• Barendregt, H.; Nipkow T. (Eds.): Types for Proofs and Programs. Springer, Heidelberg,1994 (Lecture Notes in Computer Science 806)
• 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
• 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.: Entzifferte Geheimnisse. Methoden und Maximen der Kryptologie. Springer, Berlin, 1995. 2. erw. Aufl. 1997 Engl. Übers.: Decrypted Secrets. Methods and Maxims of Cryptology. Springer, Berlin, 1997
• Bauer, F.L.; Berghammer, R.; Broy, M.; Dosch, W.; Geiselbrechtinger, F.; Gnatz, R.; Hangel, E.; Hesse, W.; Krieg-Brückner, B.; Laut, A.; Matzner, T.; Möller, B.; Nickl, F.; Partsch, H.; Pepper, P.; Samelson, K.; Wirsing, M.; Wössner, H.: The Munich Project CIP. Vol. 1: The Wide Spectrum Language CIP-L. Springer, Berlin, 1985 (Lecture Notes in Computer Science 183)
• Bauer, F.L.; Brauer, W.; Schwichtenberg, H. (Eds.): Logic and Algebra of Specification.Springer, Berlin, 1993
• Bauer, F.L.; Broy, M. (Eds.): Program construction. Springer, Berlin, 1979 (Lecture Notes in Computer Science 69)
• Bauer, F.L.; Ehler, H.; Horsch, A.; Möller, B.; Partsch, H.; Paukner, O.; Pepper, P.: The Munich Project CIP. Vol. 2: The Program Transformation System CIP-S. Springer, Berlin, 1987 (Lecture Notes in Computer Science 292)
• Bauer, F.L.; Gnatz, R.; Hill, U.: Informatik - Aufgaben und Lösungen. 1. Teil. Springer, Berlin, 1975 (Heidelberger Taschenbücher 159) 2. Teil. Springer, Berlin, 1976 (Heidelberger Taschenbücher 160)
• Bauer, F.L.; Goos, G.: Informatik - Eine einführende Übersicht. Springer, Berlin, 1. Teil. 1971 (Heidelberger Taschenbücher: Sammlung Informatik 80)

2. Aufl. 1973; 3. völlig neubearb. u. erw. Aufl. 1982; 4. Aufl. 1991
2. Teil.1971 (Heidelberger Taschenbücher: Sammlung Informatik 91)
2. Aufl. 1973; 3. völlig neubearb. u. erw. Aufl. von F. L. Bauer 1984; 4. Aufl. 1992
russ. Übers. beider Teile 1976, 1990; poln. Übers. beider Teile 1977
• Bauer, F.L.; Hahn, W.: Physikalische und elektrotechnische Grundlagen für Informatiker. Springer, Berlin, 1974 (Heidelberger Taschenbücher 147)
• Bauer, F.L.; Samelson, K. (Eds.): Language Hierarchies and Interfaces. Springer, Heidelberg, 1976 (Lecture Notes in Computer Science 46)
• Bauer, F.L.; Weinhart, K.: Informatik - Eine grundlegende Einführung. Bayer. Schulbuchverlag, München, 1974
• Bauer, F.L.; Wirsing, M.: Elementare Aussagenlogik. Springer, Berlin, 1991 (Reihe Mathematik für Informatiker)
• Bauer, F.L.; Wössner, H.: Algorithmische Sprachen und Programmentwick lung. Springer, Berlin, 1981; 2., verb. Aufl. 1984; engl. Übers. 1982
• Baumann, R. (Ed.): Fachtagung Prozeßrechner 1981. GI, VDI/VDE-GMR, KfK. München, 10.-11.3.81. Springer, Berlin, 1981 (Informatik\tr Fachberichte 39)
• Baumgarten, U.: Ada. Eine Einführung. Addison-Wesley, Bonn, 1988
• Bayer, R.; Graham, R.M.; Seegmüller, G. (Eds.): Operating Systems - an Advanced Course. Springer, Berlin, 1978 (Lecture Notes in Computer Science 60)
• Bayer, R.; Härder, T.; Lockemann, P. (Eds.): Objektbanken für Experten. Springer, Berlin, 1992 (Informatik Aktuell)
• Bayer, R. (Ed.): Neue Informations- und Kommunikationstechnologien für wissenschaftliche Bibliotheken. Bericht der IKB-Kommission / Bayerisches Staatsministerium für Unterricht, Kultus, Wissenschaft und Kunst. K.G. Saur, München, 1997
• Bemmerl, Th.: Programmierung skalierbarer Multiprozessoren. BI Wissenschaftsverlag, Mannheim, 1992 (Reihe Informatik 84)
• Bibel, W.: Automated Theorem Proving. Vieweg, Braunschweig, 1982, 2nd rev. ed. 1987
• Bibel, W.; Jantke, K. (Eds.): Mathematical Methods of Specification and Synthesis of Software Systems '85. Proc. of the Int. Spring School, Wendisch-Rietz, GDR, 22.-26.4.85. Springer, Berlin, 1986 (Lecture Notes in Computer Science 215)
• Bibel, W.; Jorrand, P. (Eds.): Fundamentals of Artificial Intelligence. An Advanced Course for AI. Vignieux, July 1985, Springer, Berlin, 1986 (Lecture Notes in Computer Science 232
• Bibel, W.; Kowalski, R. (Eds.): 5th Conf. on Automated Deduction. Springer, Berlin, 1980 (Lecture Notes in Computer Science 87)
• Bibel, W.; Petkoff, B. (Eds.): AIMSA '84. Artificial Intelligence: Methodology, Systems, Applications. Varna, Bulgaria, Sept. 1984. North-Holland, Amsterdam, 1985
• Bibel, W.; Siekmann, J. (Eds.): Künstliche Intelligenz. Frühjahrsschule, Teisendorf, März 1982. Springer, Berlin, 1982 (Informatik-Fachberichte 59)
• Björner, D.; Broy, M.; Pottosin, I.V. (Eds.): Formal Methods in Programming and their Application. Springer, Berlin, 1993 (Lecture Notes in Computer Science 735)
• Björner, B.; Broy, M.; Potosin, I.V. (Eds.): Perspectives of System Informatics. 2nd Internat. Andrei Ershov Memorial Conf. Akademgorodok, Novosibirsk, Russia, June 1996. Springer, Berlin, 1996 (Lecture Notes in Computer Science 1181)
• Bocionek, S.: Modulare Regelprogrammierung. Vieweg, Braunschweig, 1990 (Reihe Künstl. Intelligenz)
• Bode, A. (Ed.): RISC-Architekturen, Systeme, optimierende Compiler, Anwendungen, Leistungsmessung, Parallelismus. 2., überarb. u. erw. Aufl. BI Wissenschaftsverlag, Mannheim, 1990 (Reihe Informatik 60)
• Bode, A.: Lexikon Informatik und Kommunikationstechnik, Stichwörter zum Fachgebiet Rechnerarchitektur und Hardware. VDI-Verlag, Düsseldorf, 1990
• Bode, A. (Ed.): Distributed Memory Computing. Springer, Berlin, 1991 (Lecture Notes in Computer Science 487)
• Bode, A.; Dal Cin, M. (Eds.): Parallel Computer Architectures, Theory, Hardware, Software, Applications. Springer, Berlin, 1993 (Lecture Notes in Computer Science 732)
• Bode, A.; Dierstein, R.; Göbel, M.; Jaeschke, A. (Eds.): Visualisierung von Umweltdaten in Computersystemen. Springer, Berlin, 1990 (Informatik-Fachberichte 230)
• Bode, A.; Reeve, M.; Wolf, G. (Eds.): PARLE '93, Parallel Architectures and Languages Europe. Springer, Berlin, 1993 (Lecture Notes in Computer Science 694)
• Bode, A.; J. Dongarra; T. Ludwig; V. Sunderam (Eds.): 3rd European Conf. on Parallel Virtual Machine. EuroPVM '96, 7.-9.10.1996 München. Springer, Berlin, 1996 (Lecture Notes in Computer Science 1156)
• Bode, A.; M. Gerndt; R. G. Hackenberg; H. Hellwagner (Eds.): Proc. 1st Internat. Workshop on High-Level Parallel Programming Models and Supportive Environments. April 16th, Honolulu, Hawai. IEEE Press, Los Alamitos, CA, 1996
• Boecking, S.: Objektorientierte Netzwerkprotokolle. Addison Wesley Longman, Bonn, 1997
• Borghoff, U.M.: Catalogue of Distributed File Operating Systems. Springer, Berlin, 1992
• Borghoff, U.M.; Schlichter J.: Rechnergestützte Gruppenarbeit. Springer, Berlin, 1995
• Brauer, W.: Automatentheorie. Teubner, Stuttgart, 1984

russ. Übers. Vvedenije v teoriu konetchnich avtomatov. Radio i Svyaz, Moskva, 1987
• Brauer, W.: Automata, Languages and Programming.Proc. 12. Coll., ICALP, Nafplion, Griechenland, 15.-19.7.85. Springer, Berlin, 1985 (Lecture Notes in Computer Science 194)
• Brauer, W.; Freksa, C. (Eds.): Wissensbasierte Systeme. 3. Int. GI-Kongreß, München, 16.-17.10.89. Springer, Berlin, 1989 (Informatik-Fachberichte 227)
• Brauer, W.; Hern?ndez, D.: Verteilte Künstliche Intelligenz und kooperatives Arbeiten. 4. Int. GI-Kongreß, München, 23.-24.10.91. Springer, Berlin, 1991 (Informatik Fachberichte 291)
• Brauer, W.; Radig, B. (Eds.): Wissensbasierte Systeme. 1. Int. GI-Kongreß, München, 28.-29.10.85. Springer, Berlin, 1985 (Informatik-Fachberichte 112)
• 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
• Breu, R.: Algebraic Specification Techniques in Object Oriented Programming Environments. Springer, Berlin, 1991 (Lecture Notes in Computer Science 562)
• 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. 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)
• Broy, M.; Jones, C. (Eds.): Programming Concepts and Methods. IFIP Working Group 2.2/2.3 Work. Conf., Israel, 1990. North-Holland, Amsterdam, 1991
• Broy, M.; Merz, S.; Spies, K. (Eds.): Formal Systems Specification. The RPC-Memory Specification Case Study. Springer, Berlin, 1996 (Lecture Notes in Computer Science 1169)
• Broy, M.; Schieder, B. (Eds.): Mathematical Methods in Program Development. Springer, Berlin, 1997 (NATO ASI Ser. F 158
• Broy, M.; Schmidt, G. (Eds.): Theoretical Foundations of Programming Methodology. Lecture Notes of an Int. Summer School Directed by F.L. Bauer, E.W. Dijkstra and C.A.R. Hoare. Reidel, Dordrecht, 1982 (NATO ASI Ser. C 91)
• Broy, M.; Wirsing, M. (Eds.): Methods of Programming. Springer, Berlin, 1991 (Lecture Notes in Computer Science 544)
• Brown, A.; Brüggemann-Klein, A.; Feng, A. (Eds.): Proc. of the 6th Internat. Conf. on Electronic Publishing, Document Manipulation and Typography. EP '96. Wiley, New York, NY, 1996.
• Bungartz, H.-J.; Griebel, M.; Zenger, C.: Einführung in die Computergraphik: Grundlagen, Geometrische Modellierung, Algorithmen. Vieweg, Wiesbaden, 1996
• Chylla, P.; Hegering, H.-G.: Ethernet-LANs. Planung, Realisierung und Netz\tr Management. Datacom, Pulheim, 1987
• Denert, E.: Software\tr Engineering. Springer, Berlin, 1991
• Desel, J.; Esparza, J.: Free-Choice Petri Nets. Cambridge UP, Cambridge, 1995 (Cambridge Tracts in Theoretical Computer Science 40)
• Diekert, V.: Combinatorics on Traces. Springer, Berlin, 1990 (Lecture Notes in Computer Science 454)
• Dirlich, G.; Freksa, C.; Schwatlo, U.; Wimmer, K. (Eds.): Kognitive Aspekte der Mensch-Computer-Interaktion. Workshop München 12.-13.4.84, Springer, Berlin, 1986 (Informatik-Fachberichte 120)
• Donzeau-Gouge, V.; Heliard, J.-C.; Kahn, G.; Krieg-Brückner, B.; Lang, B.: Formal Definition of the Ada Programming Language (Preliminary Version). INRIA, Roquencourt, 1980
• Endres, A.; Reetz, J. (Eds.): Textverarbeitung und Bürosysteme. Informatik-Symposium 1981, Bad Neuenahr. Oldenbourg, München, 1982 (Fachberichte und Referate 13)
• Endres, A.; Weber, H. (Eds.): Software Development Environments and CASE Technology. Europ. Symp. 1991, Königswinter. Springer, Berlin, 1991 (Lecture Notes in Computer Science 509)
• Enjalbert, P.; Mayr, E.W.; Wagner, K.W. (Eds.): Proc. of the 11th Symp. on Theoretical Aspects of Computer Science, STACS '94, Caen, Februar 1994. Springer, Berlin, 1994 (Lecture Notes in Computer Science 775)
• Faltings, B.; Struß, P. (Eds.): Recent Advances in Qualitative Physics. MIT Press, Cambridge, MA, 1992
• Fößmeier, R.: Die Schnittstellen von UNIX-Programmen. Springer, Berlin, 1991
• Freksa, C.; Habel, C. (Eds.): Repräsentation und Verarbeitung räumlichen Wissens. Springer, Berlin, 1990 (Informatik-Fachberichte 254)
• Fronhöfer, B.; Wrightson, G. (Eds.): Proc. of \ Parallelization in Inference Systems. Dagstuhl, Dez. 1990. Springer, Berlin, 1992 (Lecture Notes in Artificial Intelligence 598)
• Furbach, U.: Logische und funktionale Programmierung. Vieweg, Braunschweig, 1991
• Ganzha, V.; Vorozhtsov, E.V.: Computer-Aided Analysis of Difference Schemes for Partial Differential Equations. Wiley, New York, 1996
• Ganzha, V.; Vorozhtsov, E.V.: Numerical Solutions for Partial Differential Equations: Problem Solving Using Mathematica. CRC Press, Boca Raton, Florida, 1996
• Gerner, N.; Hegering, H.-G.; Swoboda, J. (Eds.): Kommunikation in Verteilten Systemen. ITG/GI-Fachtagung. Springer, Berlin, 1993 (Informatik Aktuell)
• Greiner, M.; Tinhofer, G.: Stochastik für Studienanfänger der Informatik. C. Hanser, München, 1996
• Greiner, M.: Stochastik für Studierende der Informatik: ausgewählte Aufgaben zur Vertiefung und Prüfungsvorbereitung. CS Press, München, 1997 (Beiträge zur Informatik-Ausbildung 1)
• Griebel M.: Multilevelmethoden als Iterationsverfahren über Erzeugendensystemen. Teubner, Stuttgart, 1994 (Teubner Skripten zur Numerik)
• Griebel M.; Dornseifer Th.; Neunhöffer T.: Numerische Simulation in der Strömungsmechanik - eine praxisorientierte Einführung. Vieweg, Braunschweig, 1995
• Griebel M.; Zenger Chr. (Eds.): Numerical Simulation in Science and Engineering. Proc. of the Symp. on Scientific Computing, Munich, June 17-18 1993, Vieweg, Braunschweig, 1994, (Notes in Numerical Fluid Mechanics 48)
• Hagg, E.: Realisierung von Multisensoranwendungen mit vernetzten logischen Sensoren und Aktoren. Shaker, Aachen, 1993
• Hansen, O.: Leistungsanalyse paralleler Programme. Spektrum, Heidelberg, 1995
• Heering, J.; Meinke K.; Möller B.; Nipkow T. (Eds.): Higher-Order Algebra, Logic and Term Rewriting. Springer, Heidelberg, 1994 (Lecture Notes in Computer Science 816)
• Hegering, H.-G.: Ethernet-LANs. 2. erw. Aufl., Datacom, Pulheim, 1988
• Hegering, H.-G.; Abeck, S.: Integriertes Netz- und Systemmanagement. Addison-Wesley, Bonn, 1993. engl. Übers., Addison-Wesley, Wokingham, 1994
• Hegering, H.-G.; Läpple, A.: Ethernet. Datacom, Bergheim, 1992

engl. Übers., Addison-Wesley, Wokingham, 1993
• Hegering, H.-G.; Yemini, Y. (Eds.): Integrated Network Management III. North-Holland, Amsterdam, 1993
• Hellwagner, H. (Ed.): 2nd Internat. Workshop on High-Level Parallel Programming Models and Supportive Environments. HIPS '97, Geneva, Switzerland, April 1st. IEEE Press, Los Alamitos, CA, 1997
• Hentschel, B.; Gliss, H.; Bayer, R.; Dierstein, R.: Datenschutzfibel. J. P. Bachem, Köln, 1974
• Hern?ndez, D.: Qualitative Representation of Spatial Knowledge. Springer, Berlin, 1994 (Lecture Notes in Artificial Intelligence 804)
• Hommel, G.; Jähnichen, S.; Koster, C.H.A.: Methodisches Programmieren. de Gruyter, Berlin, 1983 (de Gruyter-Lehrbuch)
• Hommel, G.; Krönig, D. (Eds.): Requirements Engineering. Arbeitstagung der GI, Friedrichshafen 12.-14.10.83. Springer, Berlin, 1983 (Informatik-Fachberichte 74)
• Hoßfeld, F.; Maehle, E.; Mayr, E.W. (Eds.): Proc. of the 4th Workshop on Parallel Systems and Algorithms, PASA \rq 96, Jülich, April 1996. World Scientific Publishing, Singapore, 1997
• Jessen, E.: Architektur digitaler Rechenanlagen. Springer, Berlin, 1975 (Heidelberger Taschenbücher 175)
• Jessen, E.; Valk, R.: Rechensysteme - Grundlagen der Modellbildung. Springer, Berlin, 1986 (Studienreihe Informatik)
• Jüttner, G.; Güntzer, U.: Methoden der Künstlichen Intelligenz für Information Retrieval. Saur, München, 1988
• Kanal, L.; Kumar, V.; Kitano, H.; Suttner, C.B. (Eds.): Parallel Processing for AI. Elsevier, 1994
• Karl, W.: Parallele Prozessorarchitekturen, Codegenerierung für superskalare, superpipelined und VLIW-Prozessoren. BI Wissenschaftsverlag, Mannheim, 1993 (Reihe Informatik 93)
• Kitano, H.; Kumar, V.; Suttner, C.B. (Eds.): Parallel Processing for AI Bd. 2. Elsevier, 1994
• Koch, M.: Kooperation bei der Dokumentenbearbeitung: Entwicklung einer Gruppeneditorumgebung für das Internet. Deutscher Universitätsverlag, Wiesbaden, 1997
• Krickhahn, R.; Radig, B.: Die Wissensrepräsentationssprache OPS 5: Sprachbeschreibung und Einführung in die regelorientierte Programmierung. Vieweg, Braunschweig, 1987
• Kurfeß, F.: Parallelism in Logic - Its Potential for Performance and Program Development. Vieweg, Braunschweig, 1991 (Artificial Intelligence)
• Lampson, B.W.; Paul, M.; Siegert, H.-J. (Eds.): Distributed Systems - Architecture and Implementation. Springer, Berlin, 1981 (Lecture Notes in Computer Science 105)
• Ludwig, Th.: Automatische Lastverwaltung für Parallelrechner. BI Wissenschaftsverlag, Mannheim, 1993 (Reihe Informatik 94)
• Luksch, P.: Parallelisierung ereignisgetriebener Simulationsverfahren auf Mehrprozessorsystemen mit verteiltem Speicher. Kovac, Hamburg, 1993
• Mayr, E.W.: EDV-Abkürzungen. Siemens AG, 2. Aufl., 1978; 3. Aufl., 1981
• Mayr, E.W. (Ed.): Proc. of the 18th Internat. Workshop on Graph-Theoretic Concepts in Computer Science. WG \rq 92 Wiesbaden-Naurod, June 1992. Springer, Berlin, 1993 (Lecture Notes in Computer Science 657)
• Mayr, E.W.; Noltemeier, H.; Syslo, M.; Tinhofer, G. (Eds.): Computational Graph Theory. Springer, Berlin, 1990 (comp. sup. 7)
• Mayr, E.W.; Puech, C. (Eds.): Proc. of the 12th Symp. on Theoretical Aspects of Computer Science. STACS \rq 95, München März 1995. Springer, Heidelberg, 1995 (Lecture Notes in Computer Science 900)
• Mayr, E.W.; Schmidt, G.; Tinhofer, G. (Eds.): Proc. of the 20th Internat. Workshop on\break Graph-Theoretic Concepts in Computer Science. Herrsching Juni 1994. Springer, Heidelberg, 1994 (Lecture Notes in Computer Science 903)
• Mitschang, B.: Anfrageverarbeitung in Datenbanksystemen: Entwurfs- und Implementierungskonzepte. Vieweg, Braunschweig, 1995
• Neuhold, E.J.; Paul, M. (Eds.): Formal Description of Programming Concepts. Springer, Berlin, 1991 (IFIP state-of-the-art-report 9
• Nowacki, H.; Gnatz, R. (Eds.): Geometrisches Modellieren. Fachtagung der GI und der TU Berlin, Berlin 24.-26.11.82. Springer, Berlin, 1983 %, 399 S. (Informatik-Fachberichte 65)
• Paul, M. (Ed.): Computerintegrierter Arbeitsplatz im Büro. Proc. 17. GI-Jahrestagung, München. Springer, Berlin, 1987 (Informatik-Fachberichte 156).
• Paul, M. (Ed.): Computerunterstützter Arbeitsplatz. Proc. 19. GI-Jahrestagung, München 18.-20.10.89, Bd. 1 u. 2. Springer, Berlin, 1989 (Informatik-Fachberichte 222, 223)
• Paul, M.; Siegert, H.-J. (Eds.): Distributed Systems - Methods and Tools for Specification. Springer, Berlin, 1985 (Lecture Notes in Computer Science 190)
• Pepper, P. (Ed.): Program Transformation and Programming Environments. Rep. on a Workshop directed by F. L. Bauer and H. Remus, München, 12.-16.9.83, Springer, Berlin, 1984 (NATO ASI Ser. F 8)
• Radig, B. (Ed.): Modelle und Strukturen. DAGM-Symp. Hamburg, 1981, Springer, Berlin, 1981 (Informatik-Fachberichte 49)
• Radig, B. (Ed.): Mustererkennung 1991. 13. DAGM-Symp. München, Okt. 1991. Springer, Berlin, 1991 (Informatik-Fachberichte 290)
• Radig, B. (Ed.): Verarbeitung und Verstehen von Bildern. Oldenbourg, München, 1993
• Reisig, W.: Petrinetze: eine Einführung. Springer, Berlin, 1982; 2. erw. Auflage 1986

engl. Übers. 1985
• Reisig, W.: Systementwurf mit Netzen. Springer, Berlin, 1985

engl. Ausgabe: A Primer in Petri Net Design. Springer, Berlin, 1992
• Reisig, W.; Girault, C. (Eds.): Application and Theory of Petri Nets: Selected Papers from the 1st and 2nd Eur. Workshop. Straßburg 1980, Bad Honnef 1981. Springer, Berlin, 1982 (Informatik-Fachberichte 52)
• Retti, J.; Bibel, W.; et al.: Artificial Intelligence - Eine Einführung. Teubner, Stuttgart, 1984
• Riloff, E.; Scheler, G.; Wermter, S. (Eds.): Connectionist, Statistical and Symbolic Approaches to Learning for Natural Language Processing. Springer, Berlin, 1996 (Lecture Notes in Computer Science 1040)
• Röschke, D.; Sperl, M.; Voigtmann, T.: Einführung in die Programmierung unter UNIX. Akademie Verlag, Heidelberg, 1996
• Rüde, U.: Mathematical and Computational Techniques for Multilevel Adaptive Methods. SIAM, Philadelphia, PA, 1993 (Frontiers in Applied Mathematics 13)
• Schmidt, G.; Ströhlein, T.: Relationen und Graphen. Springer, Berlin, 1989 (Mathematik für Informatiker); engl. Übers. 1993
• Schnekenburger, T; Stellner, G: Dynamic Load Distribution for Parallel Applications. Teubner, Stuttgart, 1997 (Teubner-Texte zur Informatik)
• Schrott, A.: Ein Verfahren zur visuellen Unterstützung des Greifvorgangs bei Robotern basierend auf einer Greifer-Sensor-Koppelung. Shaker, Aachen, 1994 (Reihe Informatik)
• Schweiger, J.: Ein Formalismus für die Generierung von Expertensystemen zur Lösung von Konfigurationsaufgaben aus konzeptuellen Spezifikationen des Expertenwissens. Diss., Shaker, Aachen, 1994
• Siegert, H.-J.: Betriebssysteme: eine Einführung. 3. Aufl., Oldenbourg, München, 1991
• Siegert, H.-J.: Simulation zeitdiskreter Systeme. Oldenbourg, München, 1991
• Siegert, H.-J; Bocionek, S.: Robotik: Programmierung intelligenter Roboter. Springer, Berlin, 1996
• Slotosch, O.: Analogieschlüsse beim automatischen Beweisen. Kovac, Hamburg, 1992
• Sommerville, I.; Paul, M. (Eds.): Proc. of the 4th European Software Engineering Conf. - ESEC '93. Garmisch-Partenkirchen, Sept. 1993, Springer, Berlin, 1993 (Lecture Notes in Computer Science 717)
• Spies, P.P. (Ed.): Euro-Arch \rq 93, Europäischer Informatik Kongreß Architektur von Rechensystemen. München, 18.-19.10.93, Springer, Berlin, 1993 (Informatik Aktuell)
• Strampp, W.; Ganzha, V.; Vorozhtsov, E.V.: Höhere Mathematik mit Mathematica III: Differentialgleichungen und Numerik. Vieweg, Braunschweig, 1997
• Vogler, W.: Modular Construction and Partial Order Semantics of Petri Nets. Springer, Berlin, 1992 (Lecture Notes in Computer Science 625)
• Weiß, G. (Ed.): Distributed Artificial Intelligence Meets Machine Learning. Springer, Berlin, 1997 (Lecture Notes in Computer Science 1221)
• Weiß, G.; Sen, S. (Eds.): Adaption and Learning in Multi-Agent Systems. Springer, Berlin, 1996 (Lecture Notes in Computer Science 1042)

Copyright © 1998 Institut für Informatik, Technische Universität München Alexander.Bock@informatik.tu-muenchen.de
Last update: 1998-7-28