> Verlagsreihe
-
Informatik zwischen Wissenschaft und Gesellschaft zur Erinnerung an Reinhold Franck ; proceedings H.-J. Kreowski (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1992
-
Zuverlässigkeit und Leistungsfähigkeit objekt-orientierter Datenbanksysteme Alfons Kemper
Berlin; Heidelberg [u.a.]: Springer, 1992
-
Situationsmodellierung in der Bildfolgenauswertung Wolfgang Krüger
Berlin [u.a.]: Springer, 1992
-
Software-Bewertung ein semantischer Ansatz für Informationsmaße Peter Baumann
Berlin; Heidelberg [u.a.]: Springer, 1992
-
Automatische Synthese rekursiver Programme als Beweisverfahren Susanne Biundo
Berlin; Heidelberg [u.a.]: Springer, 1992
-
Generierung natürlicher Sprache mit generalisierten Phrasenstruktur-Grammatiken Stephan Busemann
Berlin; Heidelberg [u.a.]: Springer, 1992
-
Intervall-Indexstrukturen in Datenbanksystemen Gabriele Blankenagel
Berlin; Heidelberg [u.a.]: Springer, 1992
-
Erklärung im Gespräch - Erklärung im Mensch-Maschine-Dialog proceedings Herbert Stoyan (Hrsg.)
Berlin; Heidelberg; New York; London; Paris; Tokyo; Hong Kong; Barcelona; Budapest: Springer, 1992
-
Konzeption und Einsatz von Umweltinformationssystemen proceedings O. Günther ... (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1992
-
Prinzipien piktorieller Repräsentationssysteme Untersuchungen zur bildhaften Repräsentation von Wissen in informationsverarbeitenden Systemen Michael Mohnhaupt
Berlin; Heidelberg [u.a.]: Springer, 1992
-
Die Interpretation des Verhaltens mehrerer Akteure in Szenenfolgen Gudula Retz-Schmidt
Berlin; Heidelberg [u.a.]: Springer, 1992
-
Aspekte der Selbstorganisation W. Niegel ... (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1992
-
Entscheidungsorientiertes Konfigurationsmanagement Thomas Rose
Berlin; Heidelberg [u.a.]: Springer, 1992
-
Informationssysteme und künstliche Intelligenz: Modellierung 2. Workshop, Ulm, 24-26 Februar 1992 ; proceedings R. Studer (Hrsg.). [Veranstaltet von den GI-Fachgruppen 1.1.4 (Wissensrepräsentation), 2.5.1 (Datenbanken) und 2.5.2 (Entwicklungsmethoden für Informationssysteme und deren Anwendung)]
Berlin; Heidelberg [u.a.]: Springer, 1992
-
Messung, Modellierung und Bewertung von Rechensystemen 6. GI/ITG-Fachtagung, Neubiberg, 18. - 20. September 1991 ; proceedings Axel Lehmann; Fritz Lehmann (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1991
-
Fault-tolerant computing systems tests, diagnosis, fault treatment ; 5th International GI/ITG/GMA Conference, Nürnberg, September 25 - 27, 1991 M. Dal Cin ... (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1991
-
Telekommunikation und multimediale Anwendungen der Informatik GI-Jahrestagung, Darmstadt, 14. - 18. Oktober 1991; proceedings J. Encarnação (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1991
-
Mustererkennung 1991 13. DAGM-Symposium ... Proceedings Bernd Radig (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1991
-
Visualisierung von Umweltdaten Rostock, 20. November 1990 ; Proceedings R. Denzer ... (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1991
-
Hypertext/Hypermedia '91 Tagung [Hypertext/Hypermedia '91] der GI, SI und OCG Graz, 27./28. Mai 1991 ; proceedings H. Maurer (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1991
-
Prozeßrechensysteme '91 Automatisierungs- und Leitsysteme in den neunziger Jahren : Berlin, 25.-27. Februar 1991 : proceedings G. Hommel (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer-Verlag, [1991]
-
Analyse dynamischer Systeme in Medizin, Biologie und Ökologie 4. Ebernburgerer Gespräch Bad Münster, 5. - 7. April 1990; proceedings D. P. F. Möller ... (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1991
-
Proceedings / GWAI-91 Bonn, 16. - 20. September 1991 [veranst. vom Fachbereich 1 "Künstliche Intelligenz" der GI]. Th. Christaller (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1991
-
Information Retrieval GI-GMD-Workshop, Darmstadt, 23./24. Juni 1991; proceedings Norbert Fuhr (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1991
-
Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung Bernhard Westfechtel
Berlin; Heidelberg [u.a.]: Springer, 1991
-
Flexible, realzeitfähige Kollisionsvermeidung in Mehrroboter-Systemen Ulrich Borgolte
Berlin; Heidelberg [u.a.]: Springer, 1991
-
Die strukturierte Analyse Markovscher Modelle Peter Buchholz
Berlin; Heidelberg [u.a.]: Springer, 1991
-
Featurebasierte Integration von CAD/CAM-Systemen Thomas Ruf
Berlin; Heidelberg [u.a.]: Springer, 1991
-
Multisensordatenverarbeitung in der Robotik Jörg Raczkowsky
Berlin; Heidelberg; New York; London; Paris; Tokyo; Hong Kong; Barcelona: Springer, 1991
-
Das PLAKON-Buch ein Expertensystemkern für Planungs- und Konfigurierungsaufgaben in technischen Domänen R. Cunis ... (Hrsg.)
Berlin; Heidelberg; New York; London; Paris; Tokyo; Hong Kong; Barcelona: Springer, 1991
-
Parallele Datenverarbeitung mit dem Transputer proceedings 2. Transputer-Anwender-Treffen, TAT '90, Aachen, 17./18. September 1990. R. Grebe (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1991
-
Requirements engineering '91 "Structured Analysis" und verwandte Ansätze; Marburg, 10./11. April 1991; proceedings [Fachtagung Requirements Engineering '91]. M. Timm (Hrsg.)
Berlin; Heidelberg; New York; London; Paris; Tokyo; Hong Kong; Barcelona; Budapest: Springer, 1991
-
Organisation und Betrieb von Informationssystemen proceedings 9. GI-Fachgespräch über Rechenzentren, Dortmund, 14. und 15. März 1991. G. Schwichtenberg (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, c1991
-
Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache Rolf Stadler
Berlin; Heidelberg [u.a.]: Springer, 1991
-
Symbolische und konnektionistische Modelle der menschlichen Informationsverarbeitung eine kritische Gegenüberstellung Gerhard Helm
Berlin; Heidelberg [u.a.]: Springer, 1991
-
Modellbildung, Wissensrevision und Wissensrepräsentation im maschinellen Lernen Werner Emde
Berlin; Heidelberg [u.a.]: Springer, 1991
-
Mehrbenutzerkontrolle in Nicht-Standard-Datenbanksystemen Ulrich Herrmann
Berlin; Heidelberg; New York; London; Paris; Tokyo; Hong Kong; Barcelona: Springer, 1991
-
Proceedings / 7. Österreichische Artificial-Intelligence-Tagung Wien, Austria, 24. - 27. September 1991 Hermann Kaindl (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1991
-
Supercomputer '91 Anwendungen, Architekturen, Trends ; Seminar, Mannheim, 20. - 22. Juni 1991 ; proceedings [Seminar Supercomputer '91]. H. W. Meuer (Hrsg.). [Veranst.: Verein zur Förderung der Wissenschaftlichen Weiterbildung an der Universität Mannheim e.V.]
Berlin; Heidelberg [u.a.]: Springer, 1991
-
Informatik auf dem Weg zum Anwender 1 GI. A. Reuter (Hrsg.)
Berlin; Heidelberg: Springer, 1990
-
Informatik auf dem Weg zum Anwender 2 GI. A. Reuter (Hrsg.)
Berlin; Heidelberg: Springer, 1990
-
Hypertext und Hypermedia von theoretischen Konzepten zur praktischen Anwendung GI. P. A. Gloor ... (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1990
-
Supercomputer '90 Anwendungen, Architekturen, Trends ; Mannheim, 21. - 23. Juni 1990 ; proceedings Hans Werner Meuer (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1990
-
Sprecherunabhängigkeit und Sprecheradaption Lösungsansätze für das Problem des Sprecherwechsels bei der automatischen Spracherkennung Bernhard R. Kämmerer
Berlin; Heidelberg; New York; London; Paris; Tokyo; Hong Kong: Springer, 1990
-
Multicast-Kommunikation in verteilten Systemen Dieter Wybranietz
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1990
-
Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme GME-GI-ITG-Fachtagung, Dortmund, 1./2. Oktober 1990; proceedings B. Reusch (Hrsg.)
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1990
-
Neue Anwendungen mit Hilfe aktueller Computer-Technologien Trier, 8. - 9. Okt. 1990; proceedings Forum '90 Wissenschaft und Technik. [Veranst.: Universität Trier ...]. H.-J. Friemel ... (Hrsg.)
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1990
-
Interaktion und Kommunikation mit dem Computer Ulm, 8. - 10. März 1989; proceedings B. Endres-Niggemeyer ... (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1990
-
Parallele Datenverarbeitung mit dem Transputer 1. Transputer-Anwender-Treffen, TAT '89, Aachen, 25./26. September 1989. R. Grebe (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1990
-
Migrationssteuerung und Konfigurationsverwaltung für verteilte objektorientierte Anwendungen Alexander Schill
Berlin; Heidelberg [u.a.]: Springer, 1990
-
Lexikalisch verteiltes Text-Parsing eine objektorientierte Spezifikation eines Wortexpertensystems auf der Grundlage des Aktorenmodells Udo Hahn
Berlin; Heidelberg [u.a.]: Springer, 1990
-
Massiv parallele Programmierung mit dem Parallaxis-Modell Thomas Bräunl
Berlin; Heidelberg [u.a.]: Springer, 1990
-
Repräsentation und Verarbeitung räumlichen Wissens C. Freksa; C. Habel (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1990
-
Ausnahmebehandlung in objektorientierten Programmiersprachen Christiane Feder
Berlin; Heidelberg [u.a.]: Springer, 1990
-
Inkonsistenzen in deduktiven Datenbanken Diagnose und Reparatur Guido Moerkotte
Berlin; Heidelberg [u.a.]: Springer, 1990
-
Datenverwaltung in verteilten Systemen Grundlagen u. Lösungskonzepte Stefan Jablonski
Berlin; Heidelberg [u.a.]: Springer, 1990
-
Ein Roboteraktionsplanungssystem Bernhard J. Frommherz
Berlin; Heidelberg [u.a.]: Springer, 1990
-
Entwurf und Betrieb verteilter Systeme Fachtagung der Sonderforschungsbereiche 124 und 182, Dagstuhl, 19. - 21. September 1990; proceedings [Veranst. der Fachtagung: SFB 124 "VLSI-Entwurfsmethoden und Parallelität" an den Universitäten Kaiserslautern und Saarbrücken; SFB 182 "Multiprozessor- und Netzwerkkonfigurationen an der Universität Erlangen-Nürnberg]. T. Härder ... (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1990
-
Entwurfstransaktionen für modulare Objektsysteme Synchronisierung in objektorientierten Datenbanksystemen Henning Eckhardt
Berlin; Heidelberg [u.a.]: Springer, 1990
-
Flagorientierte Assoziativspeicher und -prozessoren Djamshid Tavangarian
Berlin; Heidelberg [u.a.]: Springer, 1990
-
Diensteintegrierende Kommunikationsnetze mit teilnehmerüberprüfbarem Datenschutz Andreas Pfitzmann
Berlin; Heidelberg [u.a.]: Springer, 1990
-
Visualisierung von Umweltdaten in Supercomputersystemen 1. Fachtagung, Karlsruhe, 8. November 1989 ; proceedings A. Bode ... (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1990
-
Parallele Implementierung funktionaler Programmiersprachen Rita Loogen
Berlin; Heidelberg [u.a.]: Springer, 1990
-
Automatische Komplexitätsanalyse funktionaler Programme Wolf Zimmermann
Berlin; Heidelberg; New York; London; Paris; Tokyo; Hong Kong; Barcelona: Springer, 1990
-
Fehlertoleranz in verteilten Realzeitsystemen anwendungsorientierte Techniken Jürgen Stoll
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1990
-
Graphik und KI GI-Fachgespräch, Königswinter, 3./4. April 1990; proceedings [GI-Fachgespräch "Graphik u. KI"]. K. Kansy ... (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1990
-
Funktionelle Analyse von Kommunikationsprotokollen Heiko Krumm
Berlin; Heidelberg [u.a.]: Springer, 1990
-
Computergestützter Arbeitsplatz 2 M. Paul (Hrsg.)
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1989
-
Computergestützter Arbeitsplatz 1 M. Paul (Hrsg.)
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1989
-
Kopplung von Rechnernetzen Techniken zu Planung, Entwurf, Vermessung und Leistungsoptimierung Martin Zieher
Berlin; Heidelberg [u.a.]: Springer, 1989
-
Spielbaum-Suchverfahren Alexander Reinefeld
Berlin; Heidelberg [u.a.]: Springer, 1989
-
Software-Entwicklung Konzepte, Erfahrungen, Perspektiven W.-M. Lippe (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1989
-
Verteilte Basisalgorithmen Friedemann Mattern
Berlin; Heidelberg [u.a.]: Springer, 1989
-
Dynamische Integrität von Datenbanken Grundlagen der Spezifikation und Überwachung Udo W. Lipeck
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1989
-
Erfahrung und Berechnung Kritik der Expertensystemtechnik Wolfgang Coy; Lena Bonsiepen
Berlin; Heidelberg; New York; London; Paris; Tokyo; Hong Kong: Springer, 1989
-
Organisation der Datenverarbeitung an der Schwelle der 90er Jahre proceedings 8. GI-Fachgespräch über Rechenzentren, Düsseldorf, März 1989. J. Knop (Hrsg.)
Berlin; Heidelberg; New York; London; Paris; Tokyo; Hong Kong: Springer, 1989
-
Informatik und Schule 1989 : Zukunftsperspektiven der Informatik für Schule und Ausbildung GI-Fachtagung, München, 15. - 17. November 1989; Proceedings [3. Fachtagung "Informatik u. Schule" veranst. vom Fachbereich 7 "Ausbildung u. Beruf" d. GI u.d. Inst. für Film u. Bild in Wiss. u. Unterricht (FWU)]. F. Stetter ... (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1989
-
FRM: ein Frame-Repräsentationsmodell und seine formale Semantik zur Integration von Datenbank- und Wissensrepräsentationsansätzen Ulrich Reimer
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1989
-
Petri-Netz-Methoden und -Werkzeuge Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen M. Leszak ; H. Eggert
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1989
-
Realistische Computergraphik Algorithmen, Datenstrukturen u. Maschinen Heinrich Müller
Berlin; Heidelberg [u.a.]: Springer, 1988
-
Künstliche Intelligenz GWAI-88, 12. Jahrestagung, Eringerfeld, 19. - 23. Sept. 1988, proceedings W. Hoeppner (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1988
-
Graphgrammatiken in der Softwaretechnik Theorie und Anwendungen Herbert Göttler
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1988
-
Begründungsverwaltung Beiträge über einem Workshop über Reason Maintenance, Berlin 9. Oktober 1986 ; proceedings H. Stoyan (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1988
-
Non-standard-Datenbanken für Anwendungen der graphischen Datenverarbeitung GI-Fachgespräch, Dortmund, 21./22. März 1988 ; proceedings H. Lutterbach (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1988
-
Testmustergenerierung und Fehlersimulation in digitalen Schaltungen mit hoher Komplexität
Berlin; Heidelberg [u.a.]: Springer, 1988
-
Attributierte Grammatiken und Attributierungsalgorithmen Ulrich Mahn
Berlin; Heidelberg [u.a.]: Springer, 1988
-
Datenbanksysteme für Software-Produktionsumgebungen Willi Gotthard
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1988
-
Generierung portabler Compiler d. portable System POCO
Berlin; Heidelberg [u.a.]: Springer, 1988
-
Innovative Informations-Infrastrukturen Ergebnisse einer Kooperation der Universität des Saarlandes und der Siemens AG; I.I.I.-Forum, Saarbrücken, 12. - 13. Oktober 1988; proceedings B. Gollan ... (Hrsg.)
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1988
-
Vernetzte und komplexe Informatik-Systeme 2 R. Valk (Hrsg.)
Berlin; Heidelberg: Springer, 1988
-
Synchronisation in Mehrrechner-Datenbanksystemen Konzepte, Realisierungsformen und quantitative Bewertung Erhard Rahm
Berlin; Heidelberg [u.a.]: Springer, 1988
-
Vernetzte und komplexe Informatik-Systeme 1 R. Valk (Hrsg.)
Berlin; Heidelberg: Springer, 1988
-
Visualisierungstechniken und Algorithmen Fachgespräch Wien, 26./27. September 1988; proceedings W. Barth (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1988
-
Planen für autonome Montageroboter Paul Levi
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1988
-
Wissensrepräsentation in Expertensystemen Workshop, Herrenberg, 16. - 18. März 1987; proceedings G. Rahmstorf (Hrsg.)
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1988
-
Wissensarten und ihre Darstellung Beiträge aus Philosophie, Psychologie, Informatik und Linguistik G. Heyer ... (Hrsg.)
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1988
-
Kollisionsfreie Bahnen für Industrieroboter ein Planungsverfahren Klaus Hörmann
Berlin; Heidelberg [u.a.]: Springer, 1988
-
Zur Logik der Logik-Programmierung ein konstruktiver Ansatz Clemens Beckstein
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1988
-
Interaktives Entwerfen großer Programmsysteme Konzepte und Werkzeuge Claus Lewerentz
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1988
-
Computerlinguistik und ihre theoretischen Grundlagen Symposium, Saarbrücken, 9. - 11. März 1988; proceedings [Veranst. d. Symposiums: Ges. für Linguist. Datenverarbeitung (GLDV) ...]. I. S. Bátori ... (Hrsg.)
Berlin; Heidelberg; New York; Tokyo: Springer, 1988
-
Computerintegrierter Arbeitsplatz im Büro München, 20. - 23. Oktober 1987; proceedings M. Paul (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1987
-
Proceedings 3 Wien, 22.-25. Sept. 1987 / hrsg. von Ernst Buchberger
Berlin; Heidelberg [u.a.]: Springer, 1987
-
Synchronisation in zentralisierten Datenbanksystemen Algorithmen, Realisierungsmöglichkeiten und quantitative Analyse Peter Peinl
Berlin, Heidelberg [u.a.]: Springer, 1987
-
Organisation und Betrieb der verteilten Datenverarbeitung 7. GI-Fachgespräch über Rechenzentren, München, 5. -6. März 1987 hrsg. von F. Peischl
Berlin; Heidelberg [u.a.]: Springer, 1987
-
Kommunikationskonzepte für verteilte transaktionsorientierte Systeme
Berlin; Heidelberg [u.a.]: Springer, 1987
-
Sprachkonzepte für benutzergerechte Systeme
Berlin; Heidelberg [u.a.]: Springer, 1987
-
Mechanismen zur Synchronisation paralleler Prozesse
Berlin; Heidelberg [u.a.]: Springer, 1987
-
Generierung von Worthypothesen in kontinuierlicher Sprache Ernst Günter Schukat-Talamazzini
Berlin; Heidelberg; New York; Tokyo: Springer, 1987
-
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen Werner Damm
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1987
-
Diagnostisches Problemlösen mit Expertensystemen Frank Puppe
Berlin; Heidelberg [u.a.]: Springer, 1987
-
Fehlertolerante dezentrale Prozeßautomatisierung Hubert Mäncher
Berlin; Heidelberg [u.a.]: Springer, 1987
-
Erweiterung relationaler Datenbanksysteme für technische Anwendungen Andreas Meier
Berlin; Heidelberg [u.a.]: Springer, 1987
-
Konzepte für eine verteilte wissensbasierte Softwareproduktionsumgebung Rudi Studer
Berlin; Heidelberg; New York; Tokyo: Springer, 1987
-
Kommunikation in verteilten Systemen 1987 Anwendungen, Betrieb, Grundlagen, GI/NTG-Fachtagung, Aachen, 16. - 20. Februar 1987; proceedings / hrsg. von N. Gerner
Berlin; Heidelberg [u.a.]: Springer, 1987
-
Informatik-Grundbildung in Schule und Beruf GI-Fachtagung, Kaiserslautern, 29. Sept. - 1. Okt. 1986 ; proceedings hrsg. von E. von Puttkamer
Berlin; Heidelberg [u.a.]: Springer, 1986
-
Kognitive Aspekte der Mensch-Computer-Interaktion Workshop, München 12. - 13. April 1984 [Workshop Kognitive Aspekte d. Mensch-Computer-Interaktion]. Hrsg. von G. Dirlich ... [Veranst. von Arbeitskreis Kognition im Fachausschuss 1.2, Künstl. Intelligenz u. Mustererkennung, Ges. für Informatik u. Münchener Arbeitskreis für Künstl. Intelligenz u. Cognitive Science]
Berlin; Heidelberg; New York; Tokyo: Springer, 1986
-
Prinzipien der Referentialität Untersuchungen zur propositionalen Repräsentation von Wissen Christopher Habel
Berlin; Heidelberg [u.a.]: Springer, 1986
-
Informatik-Anwendungen 1 GI. Hrsg. von G. Hommel u. S. Schindler
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1986
-
Informatik-Anwendungen 2 GI. Hrsg. von G. Hommel u. S. Schindler
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1986
-
Parallele Systeme Johannes Röhrich
Berlin; Heidelberg [u.a.]: Springer, 1986
-
Von Datenbanken zu Expertensystemen Hans-Jürgen Appelrath
Berlin [u.a.]: Springer, 1985
-
Datenschutz und Datensicherung im Wandel der Informationstechnologien 1. GI-Fachtagung, München, 30. und 31. Okt. 1985; proceedings hrsg. von P. P. Spies
Berlin; Heidelberg [u.a.]: Springer, 1985
-
Österreichische Artificial-Intelligence-Tagung Wien, 24. - 27. September 1985 hrsg. von Harald Trost u. Johannes Retti
Berlin; Heidelberg: Springer, 1985
-
Semantische Repräsentation komplexer Objektstrukturen Modelle für nichtkonventionelle Datenbankanwendungen Winfried Lamersdorf
Berlin; Heidelberg [u.a.]: Springer, 1985
-
Künstliche Intelligenz Repräsentation von Wissen und natürlichsprachliche Systeme ; Frühjahrsschule, Dassel (Solling) 5.-16.März 1984 herausgegeben von Christopher Habel
Berlin; Heidelberg; New York; Tokyo: Springer, 1985
-
Benutzermodellierung in Dialogsystemen Alfred Kobsa
Berlin; Heidelberg [u.a.]: Springer, 1985
-
Wissensbasierte Systeme [1] München, 28./29. Oktober 1985
Berlin; Heidelberg [u.a.]: Springer, 1985
-
Relationale Anfragen Zerlegung und Optimierung Jürgen Koch
Berlin; Heidelberg [u.a.]: Springer, 1985
-
Systematische Software-Qualitätssicherung anhand von Qualitäts- und Produktmodellen
Berlin; Heidelberg [u.a.]: Springer, 1985
-
Recent trends in data type specification 3rd Workshop on Theory and Applications of Abstract Data Types ; selected papers ed. by Hans-Jörg Kreowski
Berlin; Heidelberg [u.a.]: Springer, 1985
-
Kommunikation in verteilten Systemen 1 [Fachtagung "Kommunikation in Verteilten Systemen"]. Hrsg. von D. Heger
Berlin; Heidelberg: Springer, 1985
-
Kommunikation in verteilten Systemen 2 [Fachtagung "Kommunikation in Verteilten Systemen"]. Hrsg. von D. Heger
Berlin; Heidelberg: Springer, 1985
-
Informatik als Herausforderung an Schule und Ausbildung GI-Fachtagung Berlin, 8. - 10. Okt. 1984 hrsg. von W. Arlt
Berlin; Heidelberg [u.a.]: Springer, 1984
-
Programmierumgebungen Entwicklungswerkzeuge u. Programmiersprachen hrsg. von W. Sammer
Berlin; Heidelberg [u.a.]: Springer, 1984
-
Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation Herbert Stoyan
Berlin; Heidelberg [u.a.]: Springer, 1984
-
Mikroarchitekturen und Mikroprogrammierung formale Beschreibung und Optimierung Arndt Bode
Berlin; Heidelberg [u.a.]: Springer, 1984
-
Software-Fehlertoleranz und -Zuverlässigkeit hrsg. von F. Belli ... . [Hochschule Bremerhaven; Gesellschaft für Mathematik und Datenverarbeitung, Bonn]
Berlin; Heidelberg [u.a.]: Springer, 1984
-
Fachgespräche auf der 14. GI-Jahrestagung Braunschweig, 1. - 2. Oktober 1984 hrsg. von Hans-Dieter Ehrich
Berlin [u.a.]: Springer, 1984
-
GI-Jahrestagung 14 Braunschweig, 2
Berlin; Heidelberg; New York; Tokyo: Springer, 1984
-
Ein inhaltsadressierbares Speichersystem zur Unterstützung zeitkritischer Prozesse der Informationswiedergewinnung in Datenbanksystemen
Berlin; Heidelberg [u.a.]: Springer, 1983
-
Betrieb von DV-Systemen in der Zukunft 5. GI-Fachgespräch über Rechenzentren, Tübingen, 17./18. März 1983. Hrsg. von Martin A. Graef
Berlin; Heidelberg [u.a.]: Springer, 1983
-
Sprachen für Datenbanken Fachgespräch auf der 13. GI-Jahrestagung, Hamburg, 3. - 7. Oktober 1983 hrsg. von J. W. Schmidt
Berlin; Heidelberg [u.a.]: Springer, 1983
-
Data networks with satellites working conference of the joint GI/NTG Working Group "Computer Networks", Cologne, September 20. - 21. 1982 ed. by Joachim Majus
Berlin; Heidelberg [u.a.]: Springer, 1983
-
Parallele Algorithmen Friedel Hoßfeld
Berlin [u.a.]: Springer, 1983
-
Ein universelles Konzept zum flexiblen Informationsschutz in und mit Rechensystemen Klaus R. Dittrich
Berlin; Heidelberg [u.a.]: Springer, 1983
-
Geometrisches Modellieren Fachtagung der GI und der Technischen Universität Berlin, Berlin, 24. - 26. November 1982 hrsg. von H. Nowacki
Berlin; Heidelberg [u.a.]: Springer, 1983
-
Bibliography on abstract data types B. Kutzler; F. Lichtenberger
Berlin u.a.: Springer, 1983
-
Datenbanksystem für CAD-Arbeitsplätze W. E. Fischer
Berlin; Heidelberg [u.a.]: Springer, 1983
-
GI-Jahrestagung 13 Hamburg, 3. - 7. Oktober 1983 : Proceedings / hrsg. von I. Kupka
Berlin; Heidelberg [u.a.]: Springer, 1983
-
Korrekte Zugriffe zu verteilten Daten Heinz Bender
Berlin [u.a.]: Springer, 1983
-
Künstliche Intelligenz 1982 Frühjahrsschule, Teisendorf, 15. - 24. März 1982 / hrsg. von Wolfgang Bibel
Berlin; Heidelberg [u.a.]: Springer, 1982
-
Programmiersprachen und Programmentwicklung 7. Fachtagung veranst. vom Fachausschuß 2 d. GI, München, 9./10. März 1982 hrsg. von Hans Wössner
Berlin; Heidelberg [u.a.]: Springer, 1982
-
Modelle und Strukturen DAGM Symposium, Hamburg, 6. - 8. Okt. 1981 hrsg. von Bernd Radig
Berlin [u.a.]: Springer, 1981
-
Fachtagung Prozeßrechner 1981 Richard Baumann [Hrsg.]
Berlin: Springer, 1981
-
Organisation und Betrieb von Rechenzentren Fachgespräch d. GI, Erlangen, 12./13. März 1981 hrsg. von F. Wolf
Berlin, Heidelberg [usw.]: Springer, 1981
-
Messung, Modellierung und Bewertung von Rechensystemen [1] Jülich, 23. - 25. Februar 1981 / hrsg. von B. Mertens
Berlin, Heidelberg [u.a.]: Springer, 1981
-
Kommunikation in verteilten Systemen 1981 Berlin, 27. - 30. Januar 1981 / hrsg. von S. Schindler u. J. C. W. Schröder
Berlin [u.a.]: Springer, 1981
-
PISA a programming system for interactive production of application software Rudolf Marty
Berlin [u.a.]: Springer, 1981
-
Natürlichsprachliche Argumentation in Dialogsystemen KI-Verfahren zur Rekonstruktion und Erklärung approximativer Inferenzprozesse Wolfgang Wahlster
Berlin; Heidelberg [u.a.]: Springer, 1981
-
Werkzeuge der Programmiertechnik GI-Arbeitstagung Karlsruhe, 16. - 17. März 1981 ; proceedings hrsg. von G. Goos
Berlin [u.a.]: Springer, 1981
-
Entwicklungstendenzen wissenschaftlicher Rechenzentren Kolloquium, Göttingen, 19. - 20. Juni 1980 hrsg. von D. Wall
Berlin; Heidelberg [u.a.]: Springer, 1980
-
Kryptographische Verfahren in der Datenverarbeitung Norbert Ryska; Siegfried Herda
Berlin [u.a.]: Springer, 1980
-
Portable Methodenmonitoren Dialogsysteme zur Steuerung von Methodenbanken; softwaretechnischer Aufbau und Effizienzanalyse Karl-Heinz Hauer
Berlin; Heidelberg [u.a.]: Springer, 1980
-
CAD-Fachgespräch GI, 10. Jahrestagung, Saarbrücken, 30. Sept. - 2. Okt. 1980 hrsg. von R. Wilhelm
Berlin [u.a.]: Springer, 1980
-
Datenverarbeitung im Hochschulbereich der USA Stand und Entwicklungstendenzen Franz Gaffal
Berlin; Heidelberg [u.a.]: Springer, 1980
-
Programmiersprachen und Programmentwicklung Hrsg. von H.-J. Hoffmann
Berlin; Heidelberg [u.a.]: Springer, 1980
-
Mathematik für Informatiker 1 Die Methode der Mathematik B. Buchberger; F. Lichtenberger
Berlin; Heidelberg: Springer, 1980
-
GI-Jahrestagung 10,1 Saarbrücken 30. Sept. - 2. Okt. 1980 / hrsg. von R. Wilhelm
Berlin [u.a.]: Springer, 1980
-
CAD und Arbeitssituation Untersuchungen zu den Auswirkungen von CAD sowie zur menschengerechten Gestaltung von CAD-Systemen Michael Kühn
Berlin; Heidelberg [u.a.]: Springer, 1980
-
Textverarbeitung und Informatik Fachtagung der GI Bayreuth, 28.-30. Mai 1980 hrsg. von Peter R. Wossidlo
Berlin, Heidelberg [usw.]: Springer, 1980
-
The use of formal specification of software June 25 - 27, 1979, Berlin ed. by H. K. Berg
Berlin, Heidelberg [u.a.]: Springer, 1980
-
Angewandte Szenenanalyse DAGM Symposium, Karlsruhe 10.-12. Oktober 1979 hrsg. von J. P. Foith
Berlin; Heidelberg [u.a.]: Springer, 1979
-
Formale Modelle für Informationssysteme GI-Fachtagung, 24. - 26. Mai 1979, Tutzing hrsg. von H. C. Mayr
Berlin; Heidelberg [u.a.]: Springer, 1979
-
Kommunikation in verteilten Systemen Workshop d. Ges. für Informatik e.V., 3. - 4. Dezember 1979, Berlin hrsg. von Sigram Schindler u. Jürgen C. W. Schröder
Berlin/West [u.a.]: Springer, 1979 ; Mikrofiche-Ausg.
-
Bildverarbeitung und Mustererkennung DAGM-Symposium, Oberpfaffenhofen 11. - 13. Oktober 1978 hrsg. von E. Triendl
Berlin; Heidelberg [u.a.]: Springer, 1978
-
Datenschutz bei riskanten Systemen eine Konzeption entwickelt am Beispiel eines medizinischen Informationssystems Wilhelm Steinmüller; Leonhard Ermer; Wolfgang Schimmel
Berlin; Heidelberg [u.a.]: Springer, 1978
-
Programmiersprachen 5. Fachtagung der GI, Braunschweig, 8./9. März 1978 hrsg. von Klaus Alber
Berlin [u.a.]: Springer, 1978
-
GPSS-FORTRAN Einführung in die Simulation diskreter Systeme mit Hilfe eines FORTRAN-Programmpaketes Bernd Schmidt
Berlin [u.a.]: Springer, 1977
-
Methoden der Informatik für rechnerunterstütztes Entwerfen und Konstruieren GI-Fachtagung, München, 19. - 21. Oktober 1977 hrsg. von R. Gnatz
Berlin; Heidelberg [u.a.]: Springer, 1977
-
GI-Jahrestagung 6
1976