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

Festschrift ,,40 Jahre Informatik“
XIX: BUCHPUBLIKATIONEN
Buchpublikationen
Die Auswahl der Buchpublikationen aus dem Kreise der Münchner Informatiker
berücksichtigt im wesentlichen die Zeit der Münchner Lehr- und
Forschungstätigkeit. Dissertations- und Habilitationsschriften sind hier
nicht nachgewiesen, ebenso nicht die umfangreiche Herausgeberschaft von
Zeitschriften und Buchreihen. [Thomas Ströhlein]
Abeck, S.; Hegering, H.-G.; Neumair, B.: Integriertes Management vernetzter
Systeme — Konzepte, Architekturen und deren betrieblicher
Einsatz. dpunkt-Verlag, Heidelberg, 1999; Übers. ins Amerikanische,
Morgan Kaufmann Publ., San Francisco, 1999; Überarb. Übers. der
am. Ausg. ins Chinesische., Tsinghua Univ. Press, Peking, 2001
Aspnes, J.; Scheideler, C.; Arora, A.; Madden, S. (Eds.): DCOSS 2007:
Proc. of the 3rd IEEE Int. Conf. on Distributed Computing and Sensor
Systems, Santa Fe, NM, USA, June 18-20, 2007. Springer, Berlin, 2007
(Lecture Notes in Computer Science 4549)
Baader, F.; Nipkow, T.: Term Rewriting and All That. Cambridge University
Press, Cambridge, 1999
Barendregt, H.; Nipkow, T. (Eds.): Types for Proofs and Programs: Int.
Workshop TYPES’93. Nijmegen, The Netherlands, May 24-28, 1993
Selected Papers, Springer, Heidelberg, 1994 (Lecture Notes in Computer
Science 806)
Bauer, F.L.: Andrei und das Untier — Sechs Lektionen Informatik. Bayer.
Schulbuchverlag, München, 1972
Andrei — Eine Geschichte um Mathematik und Informatik. Privatdruck,
1991
Bauer, F.L. (Ed.): Logic, Algebra and Computation. Springer, Berlin,
1991 (NATO ASI Ser. F 79)
Bauer, F.L.: Kryptologie. Methoden und Maximen. Springer, Berlin, 1993
2. Aufl. 1994
434