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.)

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

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.)

Logic, Algebra, and Computation: International Summer School

PDF
English
Year: 1991
Author: J. V. Tucker (auth.), Friedrich L. Bauer (eds.)

Java kompakt: Eine Einführung in die Software-Entwicklung mit Java

PDF
German
Year: 2013
Author: Matthias Hölzl, Allaithy Raed, Martin Wirsing (auth.)

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

PDF
English
Year: 2011
Author: Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (auth.), Martin Wirsing, Matthias Hölzl (eds.)

Mathematische Hilfsmittel des Ingenieurs

PDF
German
Year: 1968
Author: Friedrich L. Bauer, Josef Stoer (auth.), R. Sauer, I. Szabó (eds.)