|
1 |
Die ALGOL-Verschwörung Bauer, Friedrich L.. - Kiel : Inst. für Informatik und Praktische Mathematik, 1994
|
|
|
2 |
Kryptologie Bauer, Friedrich L.. - Berlin : Springer, 1994, 2., verb. Aufl.
|
|
|
3 |
Kryptologie Bauer, Friedrich L.. - Berlin : Springer, 1993
|
|
|
4 |
Logic and algebra of specification Berlin : Springer, 1993
|
|
|
5 |
Elementare Aussagenlogik Bauer, Friedrich L.. - Berlin : Springer, 1991
|
|
|
6 |
Informatik und Mathematik Berlin : Springer, 1991
|
|
|
7 |
Logic, algebra, and computation Berlin : Springer, 1991
|
|
|
8 |
"Eine Bemerkung zu Koechers Reihen für die Eulersche Konstante" Bauer, Friedrich L.. - München : Verl. der Bayerischen Akad. d. Wiss., 1989
|
|
|
9 |
Methodik des Programmierens Passau : Fak. für Mathematik u. Informatik, Univ. c/o S. Putz, 1989
|
|
|
10 |
Formal program construction by transformations computer aided, intuition guided programming München : Bibliothek d. Fak. für Mathematik u. Informatik, TUM, 1988
|
|