Top 133 christoph wegmann holger winklbauer PDF Book Page 5

book image

What Is A Proof? What Should It Be?: Christoph Benzm Uller

['Ianjamasimanana Roger']
·4 Pages
·2019

book image

Industrial Engineering and Ergonomics: Visions, Concepts, Methods and Tools Festschrift in Honor of Professor Holger Luczak

Hans-Jörg Bullinger, Joachim Warschat (auth.), Christopher M. Schlick (eds.)
·726 Pages
·2009
·26.772 MB

book image

Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday

Brigitte Pientka (auth.), Simon Siegler, Nathan Wasser (eds.)
·151 Pages
·2010
·2.438 MB