40 Jahre Informatik in München - Fakultät für Informatik - TUM

Brauer, W.; Reisig, W.; Rozenberg, G.: Petri Nets — Central Models and
their Properties. 1. Teil; Petri Nets — Applications and Relationships
to other Models of Concurrency. 2. Teil; Proc. Advanced Course on
Petri Nets, Bad Honnef, 8.–19.9.86. Springer, Berlin, 1987 (Lecture
Notes in Computer Science 254, 255)
Brauer, W.; Stetter, F.: Informatik und Schule 1989 — Zukunftsperspektiven
der Informatik für Schule und Ausbildung. GI-Fachtagung,
München, Nov. 89. Springer, Berlin, 1989 (Informatik-Fachberichte
220)
Brauer, W.; Wahlster, W.: Wissensbasierte Systeme. 2. Int. GI-Kongreß,
München, 20.–21.10.87. Springer, Berlin, 1987 (Informatik-Fachberichte
155)
Braun, S.: Algorithmische Linguistik. Berliner Union – Kohlhammer, 1974
Bredeweg, B.; Struss, P. (Eds): Qualitative Reasoning. Special issue of AI
Magazine, Winter 2003, 24(4), AAAI Press, Menlo Park, USA
Breu, R.: Algebraic Specification Techniques in Object Oriented Programming
Environments. Springer, Berlin, 1991 (Lecture Notes in Computer
Science 562)
Breuer, M.; Durst, F.; Zenger, C. (Eds.): High Performance Scientific
and Engineering Computing. Springer, Berlin, 2002 (Lecture Notes in
Computational Science and Engineering)
Brink, C.; Kahl, W.; Schmidt, G.: Relational Methods in Computer Science.
Springer, Wien – New York, 1997 (Advances in Computing Science)
Broy, M.: (Ed.): Control Flow and Data Flow: Concepts of Distributed
Programming. Springer, Berlin, 1985 (NATO ASI Ser. F 14)
Broy, M.(Ed.): Logic of Programming and Calculi of Discrete Design.
Springer, Berlin, 1987 (NATO ASI Ser. F 36)
Broy, M. (Ed.): Constructive Methods in Computing Science. Springer,
Berlin, 1989 (NATO ASI Ser. F 55)
Broy, M. (Ed.): Informatik und Mathematik — Professor Dr. Dr. h.c.
mult. F. L. Bauer zum 65. Geburtstag. Springer, Berlin, 1991
Broy, M.: Informatik — eine grundlegende Einführung. Springer, Berlin,
Teil 1. 1992, Teil 2. 1993, Teil 3. 1994, Teil 4. 1995, russ. Übers. 1997
Broy, M. (Ed.): Programming and Mathematical Method. Springer, Berlin,
1992 (NATO ASI Ser. F 88)
Broy, M. (Ed.): Program Design Calculi. Springer, Berlin, 1993 (NATO
ASI Ser. F 118)
439