Buchpublikationen
Die Auswahl der Buchpublikationen berücksichtigt im wesentlichen
die Zeit der Münchner Lehr- und Forschungstätigkeit. Dissertations-
und Habilitationsschriften sind in der Regel im entsprechenden Abschnitt
nachgewiesen.
-
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)
nächster Artikel
Zurück zum Inhaltsverzeichnis
Copyright © 1998 Institut für Informatik, Technische Universität
München Alexander.Bock@informatik.tu-muenchen.de
Erstellt: 1998-4-21
Letzte Änderung: 1998-4-21