Home Advanced Search

Advanced Search - Page 1

Elementare Aussagenlogik
  • PDF
  • German
  • Year: 1991
  • Author: Friedrich L. Bauer, Martin Wirsing (auth.)
Historische Notizen zur Informatik
  • PDF
  • German
  • Year: 2009
  • Author: Friedrich L. Bauer (auth.)
Origins and Foundations of Computing: In Cooperation with Heinz Nixdorf MuseumsForum
  • PDF
  • English
  • Year: 2010
  • Author: Friedrich L. Bauer (auth.)
Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing (auth.), Till Mossakowski, Hans-Jörg Kreowski (eds.)
Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing (auth.), Till Mossakowski, Hans-Jörg Kreowski (eds.)
Decrypted Secrets: Methods and Maxims of Cryptology
  • PDF
  • English
  • Year: 2007
  • Author: Friedrich L. Bauer
Decrypted Secrets: Methods and Maxims of Cryptology
  • DJVU
  • English
  • Year: 2009
  • Author: Friedrich L. Bauer
Decrypted Secrets: Methods and Maxims of Cryptology
  • DJVU
  • English
  • Year: 2009
  • Author: Friedrich L. Bauer
Decrypted Secrets: Methods and Maxims of Cryptology
  • PDF
  • English
  • Year: 2006
  • Author: Friedrich L. Bauer
Program Construction: International Summer School
  • PDF
  • English
  • Year: 1979
  • Author: Edsger W. Dijkstra (auth.), Prof. Dr. Dr. h. c. Friedrich L. Bauer, Dipl.-Math. Manfred Broy, E. W. Dijkstra, S. L. Gerhart, D. Gries, M. Griffiths, J. V. Guttag, J. J. Horning, S. S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner (eds.)
search