> Detailanzeige

Gesellschaft für Informatik

Informatik-Fachberichte : IFB

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Als RIS exportieren Als BibTeX exportieren Als EndNote exportieren

Schließen

Merkliste

Medientyp: Schriftenreihe; Monographische Schriftenreihe
Titel: Informatik-Fachberichte : IFB
Weitere Titel: Kurztitel: Inf.-Fachber.
Körperschaft: Gesellschaft für Informatik
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 1976-1992
Erscheinungsverlauf: 1.1976 - 313.1992
Sprache: Deutsch
RVK-Notation: SS 4680 : Informatik-Fachberichte (Springer-Verl.)
Schlagwörter: Informatik
Entstehung:
Anmerkungen: Ersch. teils in ungezählten Unterreihen wie z.B. Subreihe Künstliche Intelligenz u.a
Forts. als ungez. Reihe u.d.T.: Informatik aktuell

> Verlagsreihe

Günther, Oliver [HerausgeberIn]; Kuhn, Helmut [Sonstige Person, Familie und Körperschaft]
301: Konzeption und Einsatz von Umweltinformationssystemen proceedings O. Günther ... (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1992

Krüger, Wolfgang [VerfasserIn]
311 : Subreihe Künstliche Intelligenz: Situationsmodellierung in der Bildfolgenauswertung Wolfgang Krüger
Berlin [u.a.]: Springer, 1992

Studer, Rudi [HerausgeberIn]
303: 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

Biundo-Stephan, Susanne [VerfasserIn] ; Biundo, Susanne [Sonstige Person, Familie und Körperschaft]
302: Automatische Synthese rekursiver Programme als Beweisverfahren Susanne Biundo
Berlin; Heidelberg [u.a.]: Springer, 1992

Busemann, Stephan [VerfasserIn]
313 : Subreihe Künstliche Intelligenz: Generierung natürlicher Sprache mit generalisierten Phrasenstruktur-Grammatiken Stephan Busemann
Berlin; Heidelberg [u.a.]: Springer, 1992

Blankenagel, Gabriele [VerfasserIn]
312: Intervall-Indexstrukturen in Datenbanksystemen Gabriele Blankenagel
Berlin; Heidelberg [u.a.]: Springer, 1992

Stoyan, Herbert [HerausgeberIn]
310 : Subreihe Künstliche Intelligenz: 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

Mohnhaupt, Michael [VerfasserIn]
300 : Subreihe Künstliche Intelligenz: Prinzipien piktorieller Repräsentationssysteme Untersuchungen zur bildhaften Repräsentation von Wissen in informationsverarbeitenden Systemen Michael Mohnhaupt
Berlin; Heidelberg [u.a.]: Springer, 1992

Niegel, Wolfgang [HerausgeberIn]
304: Aspekte der Selbstorganisation W. Niegel ... (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1992

Klose, Gudrun [HerausgeberIn]
307 : Subreihe Künstliche Intelligenz: Ontologie und Axiomatik der Wissensbasis von LILOG Wissensmodellierung im IBM Deutschland LILOG-Projekt G. Klose ... (Hrsg.)
Berlin [u.a.]: Springer, 1992

Rose, Thomas [VerfasserIn]
305: Entscheidungsorientiertes Konfigurationsmanagement Thomas Rose
Berlin; Heidelberg [u.a.]: Springer, 1992

Baumann, Peter [VerfasserIn]
299: Software-Bewertung ein semantischer Ansatz für Informationsmaße Peter Baumann
Berlin; Heidelberg [u.a.]: Springer, 1992

Kroenig, Dirk [HerausgeberIn]; Lang, M. [HerausgeberIn]
306: Physik und Informatik - Informatik und Physik Arbeitsgespräch, München, 21./22. November 1991; proceedings ITG. D. Krönig ... (Hrsg.)
Berlin [u.a.]: Springer, 1992

Kreowski, Hans-Jörg [HerausgeberIn]; Franck, Reinhold [GefeierteR]
Bd. 309: Informatik zwischen Wissenschaft und Gesellschaft zur Erinnerung an Reinhold Franck ; proceedings H.-J. Kreowski (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1992

Kemper, Alfons [VerfasserIn]
298: Zuverlässigkeit und Leistungsfähigkeit objekt-orientierter Datenbanksysteme Alfons Kemper
Berlin; Heidelberg [u.a.]: Springer, 1992

Retz-Schmidt, Gudula [VerfasserIn]
308 : Subreihe Künstliche Intelligenz: Die Interpretation des Verhaltens mehrerer Akteure in Szenenfolgen Gudula Retz-Schmidt
Berlin; Heidelberg [u.a.]: Springer, 1992

Raczkowsky, Jörg [VerfasserIn]
268: Multisensordatenverarbeitung in der Robotik Jörg Raczkowsky
Berlin; Heidelberg; New York; London; Paris; Tokyo; Hong Kong; Barcelona: Springer, 1991

Cunis, Roman [HerausgeberIn]; Günter, Andreas [Sonstige Person, Familie und Körperschaft]
266 : Subreihe künstliche Intelligenz: 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

Effelsberg, Wolfgang [HerausgeberIn]
267: Kommunikation in verteilten Systemen Grundlagen, Anwendungen, Betrieb; GI/ITG-Fachtagung Mannheim, 20.- 22. Februar 1991; proceedings [Fachtagung "Kommunikation in Verteilten Systemen"]. W. Effelsberg... (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1991

Stadler, Rolf [VerfasserIn]
284: Ausführbare Spezifikation von Directory-Systemen in einer logischen Sprache Rolf Stadler
Berlin; Heidelberg [u.a.]: Springer, 1991

Grebe, Reinhard [HerausgeberIn]; Ziemann, Christian [Sonstige Person, Familie und Körperschaft]
272: 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

Buchholz, Peter [VerfasserIn]
282: Die strukturierte Analyse Markovscher Modelle Peter Buchholz
Berlin; Heidelberg [u.a.]: Springer, 1991

Meuer, Hans W. [Sonstige Person, Familie und Körperschaft]; Meuer, Hans-Werner [HerausgeberIn]
278: 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

Kaindl, Hermann [HerausgeberIn]
287 : Subreihe Künstliche Intelligenz: Proceedings / 7. Österreichische Artificial-Intelligence-Tagung Wien, Austria, 24. - 27. September 1991 Hermann Kaindl (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1991

Denzer, Ralf [HerausgeberIn]
274: Visualisierung von Umweltdaten Rostock, 20. November 1990 ; Proceedings R. Denzer ... (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1991

Hommel, Günter [HerausgeberIn]
269: 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]

Dal Cin, Mario [HerausgeberIn]
283: 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

Appelrath, Hans-Jürgen [HerausgeberIn]
270: Datenbanksysteme in Büro, Technik und Wissenschaft proceedings; Kaiserslautern, 6. - 8. März 1991 GI-Fachtagung [Datenbanksysteme in Büro, Technik und Wissenschaft (BTW)]. H.-J. Appelrath (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1991

Encarnação, José L. [HerausgeberIn]
293: Telekommunikation und multimediale Anwendungen der Informatik GI-Jahrestagung, Darmstadt, 14. - 18. Oktober 1991; proceedings J. Encarnação (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1991

Lehmann, Axel [HerausgeberIn]; Lehmann, Fritz [Sonstige Person, Familie und Körperschaft]
286: 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

Halang, Wolfgang A. [HerausgeberIn]
295: Proceedings / PEARL 91 - Workshop über Realzeitsysteme 12. Fachtagung des PEARL-Vereins e.V. unter Mitwirkung von GI und GMA : Boppard, 28./29. November 1991 W. A. Halang (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1991

Maurer, Hermann [HerausgeberIn]
276: 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

Radig, Bernd [HerausgeberIn]
290: Mustererkennung 1991 13. DAGM-Symposium ... Proceedings Bernd Radig (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1991

Schwichtenberg, Günter [Sonstige Person, Familie und Körperschaft]
279: 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

Westfechtel, Bernhard [VerfasserIn]
280: Revisions- und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung Bernhard Westfechtel
Berlin; Heidelberg [u.a.]: Springer, 1991

Borgolte, Ulrich [VerfasserIn]
277: Flexible, realzeitfähige Kollisionsvermeidung in Mehrroboter-Systemen Ulrich Borgolte
Berlin; Heidelberg [u.a.]: Springer, 1991

Ruf, Thomas [VerfasserIn]
297: Featurebasierte Integration von CAD/CAM-Systemen Thomas Ruf
Berlin; Heidelberg [u.a.]: Springer, 1991

Christaller, Thomas [HerausgeberIn]
285 : Subreihe Künstliche Intelligenz: 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

Gorny, Peter [HerausgeberIn]
292: Informatik und Schule 1991 Informatik: Wege zur Vielfalt beim Lehren und Lernen; GI-Fachtagung, Oldenburg, 7. - 9. Oktober 1991; proceedings Peter Gorny (Hrsg.). [4. Fachtagung "Informatik u. Schule"]
Berlin; Heidelberg [u.a.]: Springer, 1991

Möller, Reinhard [HerausgeberIn]
294: Proceedings / 2. Workshop Sichtsysteme - Visualisierung in der Simulationstechnik Bremen, 18./19. November 1991 Reinhard Möller (Hrsg.). [Tagungsveranst. Gesellschaft für Informatik, FG 4.1.4.: Animation und Graphische Simulation]
Berlin; Heidelberg [u.a.]: Springer, 1991

Hälker, Margret [HerausgeberIn]
296: Informatik für den Umweltschutz proceedings = Computer science for environmental protection 6. Symposium [Informatik für den Umweltschutz] München, 4. - 6. Dezember 1991. M. Hälker ... (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1991

Möller, Dietmar [HerausgeberIn]; Richter, O. [Sonstige Person, Familie und Körperschaft]
275: 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

Fuhr, Norbert [HerausgeberIn]
289: Information Retrieval GI-GMD-Workshop, Darmstadt, 23./24. Juni 1991; proceedings Norbert Fuhr (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1991

Brauer, Wilfried [HerausgeberIn]
291 : Subreihe Künstliche Intelligenz: Verteilte künstliche Intelligenz und kooperatives Arbeiten München, 23. - 24. Oktober 1991; proceedings W. Brauer ... (Hrsg.). 4. Internationaler GI-Kongreß Wissensbasierte Systeme
Berlin; Heidelberg [u.a.]: Springer, 1991

Helm, Gerhard [VerfasserIn]
288 : Subreihe künstliche Intelligenz: Symbolische und konnektionistische Modelle der menschlichen Informationsverarbeitung eine kritische Gegenüberstellung Gerhard Helm
Berlin; Heidelberg [u.a.]: Springer, 1991

Emde, Werner [VerfasserIn]
281 : Subreihe künstliche Intelligenz: Modellbildung, Wissensrevision und Wissensrepräsentation im maschinellen Lernen Werner Emde
Berlin; Heidelberg [u.a.]: Springer, 1991

Herrmann, Ulrich [VerfasserIn]
265: Mehrbenutzerkontrolle in Nicht-Standard-Datenbanksystemen Ulrich Herrmann
Berlin; Heidelberg; New York; London; Paris; Tokyo; Hong Kong; Barcelona: Springer, 1991

Pfitzmann, Andreas [HerausgeberIn]
271: Verläßliche Informationssysteme GI-Fachtagung, Darmstadt, 13. - 15. März 1991; proceedings VIS '91. [Fachgruppe "Verläßliche Informationssysteme " der GI]. A. Pfitzmann ... (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1991

Timm, Michael [HerausgeberIn]
273: 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

Pillmann, Werner [HerausgeberIn]
256: Informatik für den Umweltschutz 5. Symposium, Wien, Österreich, 19. - 21. September 1990 ; proceedings [Veranst. Gesellschaft für Informatik (GI) ...]. W. Pillmann ... (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1990

Eckhardt, Henning [VerfasserIn]
263: Entwurfstransaktionen für modulare Objektsysteme Synchronisierung in objektorientierten Datenbanksystemen Henning Eckhardt
Berlin; Heidelberg [u.a.]: Springer, 1990

Krumm, Heiko [VerfasserIn]
247: Funktionelle Analyse von Kommunikationsprotokollen Heiko Krumm
Berlin; Heidelberg [u.a.]: Springer, 1990

Friemel, Hans-Jürgen [HerausgeberIn]
259: 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

Marburger, Heinz [HerausgeberIn]
251 : Subreihe künstliche Intelligenz: Proceedings / GWAI 90 Eringerfeld, 10. - 14. September 1990 14th German Workshop on Artificial Intelligence. H. Marburger (Hrsg.). [Veranst. vom Fachbereich 1 "Künstl. Intelligenz" d. Ges. für Informatik e.V.]
Berlin; Heidelberg [u.a.]: Springer, 1990

Ameling, Walter [HerausgeberIn]
253: Modellgestützte Signalverarbeitung Aachen, 12. - 14. September 1990; proceedings ASST '90, 7. Aachener Symposium für Signaltheorie. W. Ameling (Hrsg.). [Veranst.- u. Organisationsleitung: Rhein.-Westfäl. Techn. Hochsch. (RWTH) Aachen]
Berlin; Heidelberg [u.a.]: Springer, 1990

Wybranietz, Dieter [VerfasserIn]
242: Multicast-Kommunikation in verteilten Systemen Dieter Wybranietz
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1990

Freksa, Christian [HerausgeberIn]; Habel, Christopher [Sonstige Person, Familie und Körperschaft]
245 : Subreihe künstliche Intelligenz: Repräsentation und Verarbeitung räumlichen Wissens C. Freksa; C. Habel (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1990

Hahn, Udo [VerfasserIn]
243 : Subreihe künstliche Intelligenz: Lexikalisch verteiltes Text-Parsing eine objektorientierte Spezifikation eines Wortexpertensystems auf der Grundlage des Aktorenmodells Udo Hahn
Berlin; Heidelberg [u.a.]: Springer, 1990

Gerth, Wilfried [HerausgeberIn]; Baacke, Per [HerausgeberIn]
262: PEARL 90 - Workshop über Realzeitsysteme 11. Fachtagung des PEARL-Vereins e.V. unter Mitwirkung von GI und GMA, Boppard, 29./30. November 1990 : Proceedings Workshop über Realzeitsysteme. W. Gerth, P Baacke (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1990

258: Informatik auf dem Weg zum Anwender 2 GI. A. Reuter (Hrsg.)
Berlin; Heidelberg: Springer, 1990

257: Informatik auf dem Weg zum Anwender 1 GI. A. Reuter (Hrsg.)
Berlin; Heidelberg: Springer, 1990

Großkopf, Rudolf E. [HerausgeberIn]
254: Mustererkennung 12 12. DAGM-Symposium, Oberkochen-Aalen, 24. - 26. September 1990, proceedings / R. E. Großkopf (Hrsg.)
1990

Meuer, Hans Werner [Sonstige Person, Familie und Körperschaft]; Meuer, Hans-Werner [HerausgeberIn]
250: Supercomputer '90 Anwendungen, Architekturen, Trends ; Mannheim, 21. - 23. Juni 1990 ; proceedings Hans Werner Meuer (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1990

Gloor, Peter A. [HerausgeberIn]
249: Hypertext und Hypermedia von theoretischen Konzepten zur praktischen Anwendung GI. P. A. Gloor ... (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1990

Kämmerer, Bernhard R. [VerfasserIn]
244 : Subreihe künstliche Intelligenz: 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

Grebe, Reinhard [HerausgeberIn]
237: 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

Schill, Alexander [VerfasserIn]
241: Migrationssteuerung und Konfigurationsverwaltung für verteilte objektorientierte Anwendungen Alexander Schill
Berlin; Heidelberg [u.a.]: Springer, 1990

Dorffner, Georg [HerausgeberIn]
252 : Subreihe Künstliche Intelligenz: Konnektionismus in Artificial Intelligence und Kognitionsforschung Salzburg, Österreich, 18.-21. September 1990 ; proceedings 6. Österreichische Artificial-Intelligence-Tagung (KONNAI). G. Dorffner (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1990

Bräunl, Thomas [VerfasserIn]
246: Massiv parallele Programmierung mit dem Parallaxis-Modell Thomas Bräunl
Berlin; Heidelberg [u.a.]: Springer, 1990

Reusch, Bernd [HerausgeberIn]
255: 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

Endres-Niggemeyer, Brigitte [HerausgeberIn]
238 : Subreihe künstliche Intelligenz: Interaktion und Kommunikation mit dem Computer Ulm, 8. - 10. März 1989; proceedings B. Endres-Niggemeyer ... (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1990

Feder, Christiane [VerfasserIn]
235: Ausnahmebehandlung in objektorientierten Programmiersprachen Christiane Feder
Berlin; Heidelberg [u.a.]: Springer, 1990

Moerkotte, Guido [VerfasserIn]
248: Inkonsistenzen in deduktiven Datenbanken Diagnose und Reparatur Guido Moerkotte
Berlin; Heidelberg [u.a.]: Springer, 1990

Härder, Theo [HerausgeberIn]
264: 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

Tavangarian, Djamshid [VerfasserIn]
240: Flagorientierte Assoziativspeicher und -prozessoren Djamshid Tavangarian
Berlin; Heidelberg [u.a.]: Springer, 1990

Jablonski, Stefan [VerfasserIn]
233: Datenverwaltung in verteilten Systemen Grundlagen u. Lösungskonzepte Stefan Jablonski
Berlin; Heidelberg [u.a.]: Springer, 1990

Kansy, Klaus [HerausgeberIn]
239 : Subreihe künstliche Intelligenz: 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

Frommherz, Bernhard J. [VerfasserIn]
260 : Subreihe künstliche Intelligenz: Ein Roboteraktionsplanungssystem Bernhard J. Frommherz
Berlin; Heidelberg [u.a.]: Springer, 1990

Bode, A. [HerausgeberIn]; Bode, Arndt [HerausgeberIn]
230: Visualisierung von Umweltdaten in Supercomputersystemen 1. Fachtagung, Karlsruhe, 8. November 1989 ; proceedings A. Bode ... (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1990

Zimmermann, Wolf [VerfasserIn]
261: Automatische Komplexitätsanalyse funktionaler Programme Wolf Zimmermann
Berlin; Heidelberg; New York; London; Paris; Tokyo; Hong Kong; Barcelona: Springer, 1990

Stoll, Jürgen J. [VerfasserIn]
236: Fehlertoleranz in verteilten Realzeitsystemen anwendungsorientierte Techniken Jürgen Stoll
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1990

Pfitzmann, Andreas [VerfasserIn]
234: Diensteintegrierende Kommunikationsnetze mit teilnehmerüberprüfbarem Datenschutz Andreas Pfitzmann
Berlin; Heidelberg [u.a.]: Springer, 1990

Loogen, Rita [VerfasserIn]
232: Parallele Implementierung funktionaler Programmiersprachen Rita Loogen
Berlin; Heidelberg [u.a.]: Springer, 1990

Knop, Jan von [HerausgeberIn]
207: 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

Stetter, Franz [HerausgeberIn]
220: 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

Zieher, Martin [VerfasserIn]
217: Kopplung von Rechnernetzen Techniken zu Planung, Entwurf, Vermessung und Leistungsoptimierung Martin Zieher
Berlin; Heidelberg [u.a.]: Springer, 1989

Schelhowe, Heidi [HerausgeberIn]
221: Frauenwelt - Computerräume Fachtagung, veranstaltet von der Fachgruppe "Frauenarbeit und Informatik" im Fachbereich 8 der GI, Bremen, 21. - 24. September 1989 ; proceedings H. Schelhowe (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1989

Mattern, Friedemann [VerfasserIn]
226: Verteilte Basisalgorithmen Friedemann Mattern
Berlin; Heidelberg [u.a.]: Springer, 1989

Reinefeld, Alexander [VerfasserIn]
200: Spielbaum-Suchverfahren Alexander Reinefeld
Berlin; Heidelberg [u.a.]: Springer, 1989

Lippe, Wolfram-Manfred [HerausgeberIn]
212: Software-Entwicklung Konzepte, Erfahrungen, Perspektiven W.-M. Lippe (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1989

Luck, Kai von [Sonstige Person, Familie und Körperschaft]
203 : Subreihe Künstliche Intelligenz: Künstliche Intelligenz 1989 7. Frühjahrsschule, KIFS-89, Günne, 11. - 19. März 1989 ; proceedings / Kai von Luck (Hrsg.)
1989

Meuer, Hans-Werner [HerausgeberIn]
211: Supercomputer 1989 Supercomputer '89 : Anwendungen, Architekturen, Trends; Seminar, Mannheim, 8. - 10. Juni 1989; Proceedings / H. W. Meurer (Hrsg.)
1989

Härder, Theo [HerausgeberIn]
204: Datenbanksysteme in Büro, Technik und Wissenschaft 1989 Zürich, 1. - 3. März 1989 / T. Härder (Hrsg.)
1989

223: Computergestützter Arbeitsplatz 2 M. Paul (Hrsg.)
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1989

Retti, Johannes [Sonstige Person, Familie und Körperschaft]
208 : Subreihe künstliche Intelligenz: Proceedings 5 Igls/Tirol, 28
1989

205: Kommunikation in verteilten Systemen 1989 Grundlagen, Anwendungen, Betrieb, ITG/GI-Fachtagung, Stuttgart, 22
1989

Christaller, Thomas [Sonstige Person, Familie und Körperschaft]
202 : Subreihe künstliche Intelligenz: Künstliche Intelligenz 1987 5. Frühjahrsschule, KIFS-87, Günne, 28. März - 5. April 1987
1989

Stiege, Günther [Sonstige Person, Familie und Körperschaft]
218: Messung, Modellierung und Bewertung von Rechensystemen 5 Braunschweig, 26. - 28. Sept. 1989
1989

219: Mustererkennung 11 Hamburg, 2.-4. Oktober 1989
1989

Jaeschke, Andreas [HerausgeberIn]
228: Informatik im Umweltschutz 4 4. Symposium, Karlsruhe, 6. - 8. Nov. 1989 / A. Jaeschke ... (Hrsg.)
1989

Metzing, Dieter [Sonstige Person, Familie und Körperschaft]
216 : Subreihe künstliche Intelligenz: Proceedings 13 Eringerfeld, 18
1989

Görke, Winfried [Sonstige Person, Familie und Körperschaft]
214: Fehlertolerierende Rechensysteme 4 Baden-Baden, 20-22. Sept. 1989
1989

Brauer, Wilfried [Sonstige Person, Familie und Körperschaft]
227 : Subreihe künstliche Intelligenz: Wissensbasierte Systeme 3 München, 16.-17. Oktober 1989
1989

222: Computergestützter Arbeitsplatz 1 M. Paul (Hrsg.)
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1989

Lipeck, Udo W. [VerfasserIn]
209: Dynamische Integrität von Datenbanken Grundlagen der Spezifikation und Überwachung Udo W. Lipeck
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1989

Reimer, Ulrich [VerfasserIn]
198: 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

Leszak, Marek [VerfasserIn]; Eggert, Horst [VerfasserIn]
197: 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

Coy, Wolfgang [VerfasserIn]; Bonsiepen, Lena [VerfasserIn]
229 : Subreihe Künstliche Intelligenz: Erfahrung und Berechnung Kritik der Expertensystemtechnik Wolfgang Coy; Lena Bonsiepen
Berlin; Heidelberg; New York; London; Paris; Tokyo; Hong Kong: Springer, 1989

Gollan, Bernhard [HerausgeberIn]; Paul, Wolfgang J. [HerausgeberIn]
184: 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

Schulz, Michael H. [VerfasserIn]
173: Testmustergenerierung und Fehlersimulation in digitalen Schaltungen mit hoher Komplexität
Berlin; Heidelberg [u.a.]: Springer, 1988

Rahm, Erhard [VerfasserIn]
186: Synchronisation in Mehrrechner-Datenbanksystemen Konzepte, Realisierungsformen und quantitative Bewertung Erhard Rahm
Berlin; Heidelberg [u.a.]: Springer, 1988

Heyer, Gerhard [HerausgeberIn]
169 : Subreihe Künstliche Intelligenz: Wissensarten und ihre Darstellung Beiträge aus Philosophie, Psychologie, Informatik und Linguistik G. Heyer ... (Hrsg.)
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1988

Hörmann, Klaus [VerfasserIn]
166: Kollisionsfreie Bahnen für Industrieroboter ein Planungsverfahren Klaus Hörmann
Berlin; Heidelberg [u.a.]: Springer, 1988

Beckstein, Clemens [VerfasserIn]
199: Zur Logik der Logik-Programmierung ein konstruktiver Ansatz Clemens Beckstein
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1988

167: Prozeßrechensysteme [5] Stuttgart, 2. - 4. März 1988
1988

179: Simulationstechnik 5 Aachen, 28. - 30. September 1988
1988

Stoyan, Herbert [HerausgeberIn]
162 : Subreihe künstliche Intelligenz: Begründungsverwaltung Beiträge über einem Workshop über Reason Maintenance, Berlin 9. Oktober 1986 ; proceedings H. Stoyan (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1988

Müller, Heinrich [VerfasserIn]
163: Realistische Computergraphik Algorithmen, Datenstrukturen u. Maschinen Heinrich Müller
Berlin; Heidelberg [u.a.]: Springer, 1988

188: Vernetzte und komplexe Informatik-Systeme 2 R. Valk (Hrsg.)
Berlin; Heidelberg: Springer, 1988

Göttler, Herbert [VerfasserIn]
178: Graphgrammatiken in der Softwaretechnik Theorie und Anwendungen Herbert Göttler
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1988

Hoeppner, Wolfgang [HerausgeberIn]
181 : Subreihe Künstliche Intelligenz: Künstliche Intelligenz GWAI-88, 12. Jahrestagung, Eringerfeld, 19. - 23. Sept. 1988, proceedings W. Hoeppner (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1988

Bátori, István [HerausgeberIn]
195: 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

Christaller, Thomas [Sonstige Person, Familie und Körperschaft]
159 : Subreihe Künstliche Intelligenz: Künstliche Intelligenz 1985/86 Theoretische Grundlagen und Anwendungsfelder : Frühjahrsschulen, Dassel 8. - 16. März 1986 / Th. Christaller ... (Hrsg.)
1988

180: Mustererkennung 10 Zürich, 27. - 29. September 1988
1988

187: Vernetzte und komplexe Informatik-Systeme 1 R. Valk (Hrsg.)
Berlin; Heidelberg: Springer, 1988

Wolfinger, Bernd E. [Sonstige Person, Familie und Körperschaft]
189: Vernetzte und komplexe Informatik-Systeme 3 Industrieprogramm zur 18. Jahrestagung der Gesellschaft für Informatik: Hamburg 18./19. Oktober 1988 R. Valk (Hrsg.)
Berlin; Heidelberg: Springer, 1988

168: Architektur und Betrieb von Rechensystemen 10 GI/ITG-Fachtagung, Paderborn, 9.-11. März 1988
1988

Jaeschke, Andreas [Sonstige Person, Familie und Körperschaft]
170: Informatikanwendungen im Umweltbereich 2 2. Symposium, Karlsruhe, 9./10. Nov. 1987 / A. Jaeschke ... (Hrsg.)
1988

Trost, Harald [Sonstige Person, Familie und Körperschaft]
176 : Subreihe künstliche Intelligenz: Proceedings 4 Wien, 29
1988

Lewerentz, Claus [VerfasserIn]
194: Interaktives Entwerfen großer Programmsysteme Konzepte und Werkzeuge Claus Lewerentz
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1988

Mahn, Ulrich [VerfasserIn]
157: Attributierte Grammatiken und Attributierungsalgorithmen Ulrich Mahn
Berlin; Heidelberg [u.a.]: Springer, 1988

Barth, Wilhelm [HerausgeberIn]
182: Visualisierungstechniken und Algorithmen Fachgespräch Wien, 26./27. September 1988; proceedings W. Barth (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1988

Gotthard, Willi [VerfasserIn]
193: Datenbanksysteme für Software-Produktionsumgebungen Willi Gotthard
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1988

Lutterbach, Herbert [HerausgeberIn]
171: 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

Eulenstein, Michael [VerfasserIn]
164: Generierung portabler Compiler d. portable System POCO
Berlin; Heidelberg [u.a.]: Springer, 1988

Levi, Paul [VerfasserIn]
191: Planen für autonome Montageroboter Paul Levi
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1988

Rahmstorf, Gerhard [HerausgeberIn]
172 : Subreihe künstliche Intelligenz: Wissensrepräsentation in Expertensystemen Workshop, Herrenberg, 16. - 18. März 1987; proceedings G. Rahmstorf (Hrsg.)
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1988

Freisleben, Bernhard [VerfasserIn]
133: Mechanismen zur Synchronisation paralleler Prozesse
Berlin; Heidelberg [u.a.]: Springer, 1987

Peischl, Ferdinand [HerausgeberIn]
134: 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

Damm, Werner [VerfasserIn]
146: Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen Werner Damm
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1987

Gerner, Nina [HerausgeberIn]
130: Kommunikation in verteilten Systemen Anwendungen, Betrieb, Grundlagen; GI/NTG-Fachtagung, Aachen, 16. - 20. Februar 1987 [Fachtagung "Kommunikation in Verteilten Systemen"]. Hrsg. von N. Gerner
Berlin; Heidelberg [u.a.]: Springer, 1987

136: Datenbanksysteme in Büro, Technik und Wissenschaft 1987 Darmstadt, 1. - 3. April 1987 / H-J.Schek und G. Schlageter (Hrsg.)
1987

Buchberger, Ernst [HerausgeberIn]
151 : Subreihe künstliche Intelligenz: Proceedings 3 Wien, 22.-25. Sept. 1987 / hrsg. von Ernst Buchberger
Berlin; Heidelberg [u.a.]: Springer, 1987

Morik, Katharina [Sonstige Person, Familie und Körperschaft]
152 : Subreihe künstliche Intelligenz: Proceedings 11 Geseke, Sept. 28 - Oct. 2, 1987
1987

Meier, Andreas [VerfasserIn]
135: Erweiterung relationaler Datenbanksysteme für technische Anwendungen Andreas Meier
Berlin; Heidelberg [u.a.]: Springer, 1987

Peinl, Peter [VerfasserIn]
161: Synchronisation in zentralisierten Datenbanksystemen Algorithmen, Realisierungsmöglichkeiten und quantitative Analyse Peter Peinl
Berlin, Heidelberg [u.a.]: Springer, 1987

Paul, Manfred [HerausgeberIn]
156: Computerintegrierter Arbeitsplatz im Büro München, 20. - 23. Oktober 1987; proceedings M. Paul (Hrsg.)
Berlin; Heidelberg [u.a.]: Springer, 1987

149: Mustererkennung 9 Braunschweig, 29.9. - 1.10.1987
1987

Halin, Jürgen [Sonstige Person, Familie und Körperschaft]
150: Simulationstechnik 4 Zürich, 9. - 11. September 1987
1987

Brauer, Wilfried [Sonstige Person, Familie und Körperschaft]
155 : Subreihe künstliche Intelligenz: Wissensbasierte Systeme 2 München, 20.-21. Okt. 1987
1987

Gerner, Nina [Sonstige Person, Familie und Körperschaft]
130: 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

Herzog, Ulrich [HerausgeberIn]
154: Messung, Modellierung und Bewertung von Rechensystemen 4 Erlangen, 29. September - 1. Oktober 1987 / U. Herzog ... (Hrsg.)
1987

Belli, Fevzi [HerausgeberIn]
147: Fehlertolerierende Rechensysteme 3 Bremerhaven, 9.-11. September 1987 / F. Belli ... (Hrsg.)
1987

Puppe, Frank [VerfasserIn]
148 : Subreihe Künstliche Intelligenz: Diagnostisches Problemlösen mit Expertensystemen Frank Puppe
Berlin; Heidelberg [u.a.]: Springer, 1987

Mäncher, Hubert [VerfasserIn]
160: Fehlertolerante dezentrale Prozeßautomatisierung Hubert Mäncher
Berlin; Heidelberg [u.a.]: Springer, 1987

Studer, Rudi [VerfasserIn]
132: Konzepte für eine verteilte wissensbasierte Softwareproduktionsumgebung Rudi Studer
Berlin; Heidelberg; New York; Tokyo: Springer, 1987

Oberquelle, Horst [VerfasserIn]
144: Sprachkonzepte für benutzergerechte Systeme
Berlin; Heidelberg [u.a.]: Springer, 1987

Schukat-Talamazzini, Ernst Günter [VerfasserIn]
141: Generierung von Worthypothesen in kontinuierlicher Sprache Ernst Günter Schukat-Talamazzini
Berlin; Heidelberg; New York; Tokyo: Springer, 1987

Rothermel, Kurt [VerfasserIn]
145: Kommunikationskonzepte für verteilte transaktionsorientierte Systeme
Berlin; Heidelberg [u.a.]: Springer, 1987

Dirlich, Gerhard [HerausgeberIn]; Dirlich, G. [HerausgeberIn]
120 : Subreihe Künstliche Intelligenz: 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

Hartmann, Georg [Sonstige Person, Familie und Körperschaft]
125: Mustererkennung 8 Paderborn, 30. Sept. - 2. Okt. 1986
1986

Puttkamer, Ewald von [HerausgeberIn]; Puttkamer, E. von [HerausgeberIn]
129: 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

126: Informatik-Anwendungen 1 GI. Hrsg. von G. Hommel u. S. Schindler
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1986

127: Informatik-Anwendungen 2 GI. Hrsg. von G. Hommel u. S. Schindler
Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1986

Röhrich, Johannes [VerfasserIn]
117: Parallele Systeme Johannes Röhrich
Berlin; Heidelberg [u.a.]: Springer, 1986

124 : Subreihe künstliche Intelligenz: GWAI ... und ... Österreichische Artificial-Intelligence-Tagung 10 Ottenstein/Niederösterreich, Sept. 22-26, 1986
1986

Schröder, Klaus Theo [HerausgeberIn]
123: Arbeit und Informationstechnik Fachtagung Karlsruhe, 15. - 17. Juli 1986; proceedings veranstaltet vom Fachbereich 8 Informatik und Gesellschaft der GI. Hrsg. von Klaus Theo Schröder
Berlin; Heidelberg [u.a.]: Springer, 1986

Habel, Christopher [VerfasserIn]
122 : Subreihe Künstliche Intelligenz: Prinzipien der Referentialität Untersuchungen zur propositionalen Repräsentation von Wissen Christopher Habel
Berlin; Heidelberg [u.a.]: Springer, 1986

Koch, Jürgen [VerfasserIn]
101: Relationale Anfragen Zerlegung und Optimierung Jürgen Koch
Berlin; Heidelberg [u.a.]: Springer, 1985

Willmer, Heidemarie [VerfasserIn]
97: Systematische Software-Qualitätssicherung anhand von Qualitäts- und Produktmodellen
Berlin; Heidelberg [u.a.]: Springer, 1985

95: Kommunikation in verteilten Systemen 1 [Fachtagung "Kommunikation in Verteilten Systemen"]. Hrsg. von D. Heger
Berlin; Heidelberg: Springer, 1985

111: Kommunikation in verteilten Systemen 2 [Fachtagung "Kommunikation in Verteilten Systemen"]. Hrsg. von D. Heger
Berlin; Heidelberg: Springer, 1985

Lamersdorf, Winfried [VerfasserIn]
100: Semantische Repräsentation komplexer Objektstrukturen Modelle für nichtkonventionelle Datenbankanwendungen Winfried Lamersdorf
Berlin; Heidelberg [u.a.]: Springer, 1985

95: Kommunikation in verteilten Systemen 1985,1 Anwendungen, Betrieb, Grundlagen : GI/NTG-Fachtagung, Karlsruhe, 13. - 15. März 1985; proceedings I
1985

110: Messung, Modellierung und Bewertung von Rechensystemen 3 Dortmund, 1. - 3. Oktober 1985
1985

Trost, Harald [HerausgeberIn]
106: Österreichische Artificial-Intelligence-Tagung Wien, 24. - 27. September 1985 hrsg. von Harald Trost u. Johannes Retti
Berlin; Heidelberg: Springer, 1985

Laubsch, Joachim [Sonstige Person, Familie und Körperschaft]
103: German Workshop on Artificial Intelligence 8 Wingst/Stade, October 8 - 12, 1984
1985

Appelrath, Hans-Jürgen [VerfasserIn]
102: Von Datenbanken zu Expertensystemen Hans-Jürgen Appelrath
Berlin [u.a.]: Springer, 1985

Spies, Peter Paul [HerausgeberIn]
113: 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

Habel, Christopher [HerausgeberIn]
93 : Subreihe Künstliche Intelligenz: 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

106: Österreichische Artificial-Intelligence-Tagung 1 Wien, 24.-27. Sept. 1985
1985

Brauer, Wilfried [Sonstige Person, Familie und Körperschaft]
112 : Subreihe künstliche Intelligenz: Wissensbasierte Systeme [1] München, 28./29. Oktober 1985
Berlin; Heidelberg [u.a.]: Springer, 1985

Kreowski, Hans-Jörg [HerausgeberIn]
116: 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

Hansen, Hans Robert [HerausgeberIn]
108: Übersichtsbeiträge und Fachgespräche zu den Themenschwerpunkten Softwaretechnologie, Standardsoftware, Büroautomation, Bildschirmtext GI/OCG/ÖGI-Jahrestagung 1985 Wirtschaftsuniv. Wien. Hrsg. von Hans Robert Hansen
Berlin; Heidelberg [u.a.]: Springer, 1985

Kobsa, Alfred [VerfasserIn]
115: Benutzermodellierung in Dialogsystemen Alfred Kobsa
Berlin; Heidelberg [u.a.]: Springer, 1985

Belli, Fevzi [HerausgeberIn]
83: Software-Fehlertoleranz und -Zuverlässigkeit hrsg. von F. Belli ... . [Hochschule Bremerhaven; Gesellschaft für Mathematik und Datenverarbeitung, Bonn]
Berlin; Heidelberg [u.a.]: Springer, 1984

Ammann, Urs [HerausgeberIn]
77: Programmiersprachen und Programmentwicklung 8. Fachtagung veranst. vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft, Zürich, 8./9. März 1984. Hrsg. von Urs Ammann
Berlin; Heidelberg [u.a.]: Springer, 1984

Bode, Arndt [VerfasserIn]
82: Mikroarchitekturen und Mikroprogrammierung formale Beschreibung und Optimierung Arndt Bode
Berlin; Heidelberg [u.a.]: Springer, 1984

Arlt, Wolfgang [HerausgeberIn]
90: Informatik als Herausforderung an Schule und Ausbildung GI-Fachtagung Berlin, 8. - 10. Okt. 1984 hrsg. von W. Arlt
Berlin; Heidelberg [u.a.]: Springer, 1984

Stoyan, Herbert [VerfasserIn]
91: Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation Herbert Stoyan
Berlin; Heidelberg [u.a.]: Springer, 1984

Sammer, Werner [HerausgeberIn]
79: Programmierumgebungen Entwicklungswerkzeuge u. Programmiersprachen hrsg. von W. Sammer
Berlin; Heidelberg [u.a.]: Springer, 1984

Ehrich, Hans-Dieter [Sonstige Person, Familie und Körperschaft]
89: Fachgespräche auf der ... GI-Jahrestagung 14 14. Jahrestagung : Braunschweig, 1.-2. Oktober 1984 / Hrsg. von H. D. Ehrich
1984

88: GI-Jahrestagung 14 Braunschweig, 2
1984

Großpietsch, Karl-Erwin [Sonstige Person, Familie und Körperschaft]
84: Fehlertolerierende Rechensysteme 2 Bonn, 19. - 21. Sept. 1984
1984

78: Architektur und Betrieb von Rechensystemen 8 GI-NTG-Fachtagung, Karlsruhe, 26. - 28. März 1984
1984

Breitenecker, Felix [Sonstige Person, Familie und Körperschaft]
85: Simulationstechnik 2 Wien, 25. - 27. September 1984
1984

Kropatsch, Walter G. [Sonstige Person, Familie und Körperschaft]
87: Mustererkennung [6] Graz, 2. - 4. Okt. 84
1984

Trauboth, Heinz [HerausgeberIn]
86: Prozeßrechner 1984 Prozeßdatenverarbeitung im Wandel ; 4. GI/GMR/KfK-Fachtagung, Karlsruhe, 26. - 28. September 1984 ; [Fachtagung Prozeßrechner] hrsg. von H. Trauboth und A. Jaeschke
Berlin [u.a.]: Springer, 1984

Ehrich, Hans-Dieter [Sonstige Person, Familie und Körperschaft]
89: Fachgespräche auf der 14. GI-Jahrestagung Braunschweig, 1. - 2. Oktober 1984 hrsg. von Hans-Dieter Ehrich
Berlin [u.a.]: Springer, 1984

Hommel, Günter [HerausgeberIn]; Kroenig, D. [Sonstige Person, Familie und Körperschaft]
74: Requirements engineering Arbeitstagung der GI, Friedrichshafen, 12. - 14. Oktober 1983 hrsg. von G. Hommel ... [... vom Fachausschuß 4.3 "Requirements Engineering" der Gesellschaft für Informatik ...]
Berlin [u.a.]: Springer, 1983

Kupka, Ingbert [HerausgeberIn]
73: GI-Jahrestagung 13 Hamburg, 3. - 7. Oktober 1983 : Proceedings / hrsg. von I. Kupka
Berlin; Heidelberg [u.a.]: Springer, 1983

60: Kommunikation in verteilten Systemen 1983 Anwendungen und Betrieb, GI-NTG-Fachtagung, Berlin, 19 - 21. Januar 1983
1983

Majus, Joachim [HerausgeberIn]; Spaniol, Otto [HerausgeberIn]
67: 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

Neumann, Bernd [HerausgeberIn]
76: GWAI-83 7th German Workshop on Artificial Intelligence, Dassel/Solling, September 19 - 23, 1983 edited by Bernd Neumann
Berlin: Springer, 1983

61: Messung, Modellierung und Bewertung von Rechensystemen 2 Stuttgart, 21. - 23. Februar 1983
1983

Pagnoni, Anastasia [HerausgeberIn]
66: Applications and theory of Petri nets selected papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27 - 30, 1982 ... ed. by Anastasia Pagnoni
Berlin [u.a.]: Springer, 1983

Graef, Martin [HerausgeberIn]
69: 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

Schmidt, Jochen W. [Sonstige Person, Familie und Körperschaft]; Schmidt, Joachim W. [HerausgeberIn]
72: 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

Hoßfeld, Friedel [VerfasserIn]
64: Parallele Algorithmen Friedel Hoßfeld
Berlin [u.a.]: Springer, 1983

Nowacki, Horst [HerausgeberIn]
65: 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

Fischer, Wolf E. [VerfasserIn]
70: Datenbanksystem für CAD-Arbeitsplätze W. E. Fischer
Berlin; Heidelberg [u.a.]: Springer, 1983

Malms, Michael [VerfasserIn]
62: Ein inhaltsadressierbares Speichersystem zur Unterstützung zeitkritischer Prozesse der Informationswiedergewinnung in Datenbanksystemen
Berlin; Heidelberg [u.a.]: Springer, 1983

Dittrich, Klaus R. [VerfasserIn]
75: Ein universelles Konzept zum flexiblen Informationsschutz in und mit Rechensystemen Klaus R. Dittrich
Berlin; Heidelberg [u.a.]: Springer, 1983

Kutzler, B. [VerfasserIn]; Kutzler, Bernhard [VerfasserIn]; Lichtenberger, Franz [VerfasserIn]
68: Bibliography on abstract data types B. Kutzler; F. Lichtenberger
Berlin u.a.: Springer, 1983

57: GI-Jahrestagung 12 Kaiserslautern, 5
1982

Wössner, Hans [HerausgeberIn]
53: 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

Girault, Claude [HerausgeberIn]
52: Application and theory of Petri nets selected papers from the 1. and 2. European Workshop on Application and Theory of Petri Nets, Strasbourg, 23. - 26. Sept. 1980, Bad Honnef, 28. - 30. Sept. 1981 ed. by Claude Girault
Berlin; Heidelberg [u.a.]: Springer, 1982

Goller, Manuel [Sonstige Person, Familie und Körperschaft]
56: Simulationstechnik 1 Erlangen, 26. - 28. April 1982
1982

Bibel, Wolfgang [HerausgeberIn]
59: Künstliche Intelligenz 1982 Frühjahrsschule, Teisendorf, 15. - 24. März 1982 / hrsg. von Wolfgang Bibel
Berlin; Heidelberg [u.a.]: Springer, 1982

Bender, Heinz [VerfasserIn]
63: Korrekte Zugriffe zu verteilten Daten Heinz Bender
Berlin [u.a.]: Springer, 1983

Kowalk, Wolfgang Peter [VerfasserIn]
55: Verkehrsanalyse in endlichen Zeiträumen Grundlagen und Erweiterungen der operationalen Analyse Wolfgang Kowalk
Berlin [u.a.]: Springer, 1982 ; Hamburg, 1982

Wahlster, Wolfgang [HerausgeberIn]
58: GWAI-82 6th German Workshop on Artificial Intelligence, Bad Honnef, Sept. 27 - Oct.1, 1982 edited by Wolfgang Wahlster
Berlin: Springer, 1982

Pfeiffer, Guido [VerfasserIn]
51: Erzeugung interaktiver Bildverarbeitungssysteme im Dialog Konzepte, Entwurf und Implementierung eines Dialogsystems für die Bildverarbeitung in der Medizin Guido Pfeiffer
Berlin; Heidelberg [u.a.]: Springer, 1982

Nett, Edgar [HerausgeberIn]
54: Fehlertolerierende Rechnersysteme GI-Fachtagung München, 11.-12. März 1982 hrsg. von E. Nett ... [Hrsg.]. Gesellschaft für Informatik, Fachausschuss Methoden der Informatik für Spezielle Anwendungen
Berlin [u.a.]: Springer, 1982

Baumann, Richard [HerausgeberIn]
39: Fachtagung Prozeßrechner 1981 Richard Baumann [Hrsg.]
Berlin: Springer, 1981

Radig, Bernd [HerausgeberIn]
49: Modelle und Strukturen DAGM Symposium, Hamburg, 6. - 8. Okt. 1981 hrsg. von Bernd Radig
Berlin [u.a.]: Springer, 1981

50: GI-Jahrestagung 11 München, 20.-23. Okt. 1981
1981

Mertens, Burkhard [HerausgeberIn]
41: Messung, Modellierung und Bewertung von Rechensystemen [1] Jülich, 23. - 25. Februar 1981 / hrsg. von B. Mertens
Berlin, Heidelberg [u.a.]: Springer, 1981

Schindler, Sigram [Sonstige Person, Familie und Körperschaft]; Schröder, J. C. W. [Sonstige Person, Familie und Körperschaft]
40: 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

Siekmann, Jörg [Sonstige Person, Familie und Körperschaft]
47 : Subreihe künstliche Intelligenz: German Workshop on Artificial Intelligence 5 Bad Honnef, January 26 - 31, 1981
1981

Wolf, Franz [HerausgeberIn]
46: Organisation und Betrieb von Rechenzentren Fachgespräch d. GI, Erlangen, 12./13. März 1981 hrsg. von F. Wolf
Berlin, Heidelberg [usw.]: Springer, 1981

Goos, Gerhard [HerausgeberIn]
43: Werkzeuge der Programmiertechnik GI-Arbeitstagung Karlsruhe, 16. - 17. März 1981 ; proceedings hrsg. von G. Goos
Berlin [u.a.]: Springer, 1981

Marty, Rudolf [VerfasserIn]
45: PISA a programming system for interactive production of application software Rudolf Marty
Berlin [u.a.]: Springer, 1981

Wahlster, Wolfgang [VerfasserIn]
48: Natürlichsprachliche Argumentation in Dialogsystemen KI-Verfahren zur Rekonstruktion und Erklärung approximativer Inferenzprozesse Wolfgang Wahlster
Berlin; Heidelberg [u.a.]: Springer, 1981

Wossidlo, Peter Rütger [HerausgeberIn]
30: Textverarbeitung und Informatik Fachtagung der GI Bayreuth, 28.-30. Mai 1980 hrsg. von Peter R. Wossidlo
Berlin, Heidelberg [usw.]: Springer, 1980

Kühn, Michael [VerfasserIn]
32: 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

Berg, Helmut K. [HerausgeberIn]
36: The use of formal specification of software June 25 - 27, 1979, Berlin ed. by H. K. Berg
Berlin, Heidelberg [u.a.]: Springer, 1980

Wilhelm, Reinhard [Sonstige Person, Familie und Körperschaft]
33: GI-Jahrestagung 10,1 Saarbrücken 30. Sept. - 2. Okt. 1980 / hrsg. von R. Wilhelm
Berlin [u.a.]: Springer, 1980

Buchberger, Bruno [VerfasserIn]; Lichtenberger, Franz [VerfasserIn]
35: Mathematik für Informatiker 1 Die Methode der Mathematik B. Buchberger; F. Lichtenberger
Berlin; Heidelberg: Springer, 1980

Ryska, Norbert [VerfasserIn]; Herda, Siegfried [VerfasserIn]
24: Kryptographische Verfahren in der Datenverarbeitung Norbert Ryska; Siegfried Herda
Berlin [u.a.]: Springer, 1980

Pöppl, Siegfried J. [HerausgeberIn]
29: Erzeugung und Analyse von Bildern und Strukturen DGaO - DAGM Tagung, Essen, 27.-31. Mai 1980 hrsg. von S. J. Pöppl ... Deutsche Gesellschaft für Angewandte Optik; Deutsche Arbeitsgemeinschaft für Mustererkennung$hherausgegeben von S. J. Pöppl; H. Platzer
Berlin; Heidelberg [u.a.]: Springer, 1980

Hauer, Karl-Heinz [VerfasserIn]
23: Portable Methodenmonitoren Dialogsysteme zur Steuerung von Methodenbanken; softwaretechnischer Aufbau und Effizienzanalyse Karl-Heinz Hauer
Berlin; Heidelberg [u.a.]: Springer, 1980

Giloi, Wolfgang [HerausgeberIn]
31: Firmware engineering Seminar veranstaltet von d. gemeinsamen Fachgruppe 'Mikroprogrammierung' d.GI-Fachausschusses 3/4 u. d. NTG-Fachausschusses 6 v. 12. - 14. März 1980 in Berlin hrsg. von W. K. Giloi
Berlin; Heidelberg [u.a.]: Springer, 1980

Zimmermann, Gerhard [HerausgeberIn]
27: GI-NTG-Fachtagung Struktur und Betrieb von Rechensystemen Kiel, 19. - 21. März 1980 hrsg. von G. Zimmermann
Berlin: Springer, 1980

Wilhelm, Reinhard [HerausgeberIn]
34: CAD-Fachgespräch GI, 10. Jahrestagung, Saarbrücken, 30. Sept. - 2. Okt. 1980 hrsg. von R. Wilhelm
Berlin [u.a.]: Springer, 1980

Wall, Dieter [HerausgeberIn]
37: Entwicklungstendenzen wissenschaftlicher Rechenzentren Kolloquium, Göttingen, 19. - 20. Juni 1980 hrsg. von D. Wall
Berlin; Heidelberg [u.a.]: Springer, 1980

Stahlknecht, Peter [HerausgeberIn]
28: Online-Systeme im Finanz- und Rechnungswesen Anwendergespräch Berlin, 29.-30. April 1980 hrsg. von Peter Stahlknecht. Gesellschaft für Informatik. Verband der Hochschullehrer für Betriebswirtschaft e. V
Berlin [u.a.]: Springer, 1980

Gaffal, Franz [VerfasserIn]
26: Datenverarbeitung im Hochschulbereich der USA Stand und Entwicklungstendenzen Franz Gaffal
Berlin; Heidelberg [u.a.]: Springer, 1980

Hoffmann, Hans-Jürgen [HerausgeberIn]
25: Programmiersprachen und Programmentwicklung Hrsg. von H.-J. Hoffmann
Berlin; Heidelberg [u.a.]: Springer, 1980

Schindler, Sigram [HerausgeberIn]; Schröder, Jürgen C. W. [HerausgeberIn]
22: 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.

Mayr, Heinrich Christian [HerausgeberIn]; Meyer, Bernd E. [Sonstige Person, Familie und Körperschaft]
21: Formale Modelle für Informationssysteme GI-Fachtagung, 24. - 26. Mai 1979, Tutzing hrsg. von H. C. Mayr
Berlin; Heidelberg [u.a.]: Springer, 1979

Schindler, Sigram [HerausgeberIn]
22: Kommunikation in verteilten Systemen Workshop der Gesellschaft für Informatik e.V., 3. - 4. Dezember 1979, Berlin [Workshop "Kommunikation in Verteilten Systemen"]. Hrsg. von Sigram Schindler
Berlin; Heidelberg [u.a.]: Springer, 1979

Siegert, Hans-Jürgen [HerausgeberIn]
18: Virtuelle Maschinen Nachbildung u. Vervielfachung maschinenorientierter Schnittstellen; GI- Arbeitsseminar, München 1979 hrsg. von H. J. Siegert
Berlin [u.a.]: Springer, 1979

Foith, Jörgen P. [HerausgeberIn]
20: Angewandte Szenenanalyse DAGM Symposium, Karlsruhe 10.-12. Oktober 1979 hrsg. von J. P. Foith
Berlin; Heidelberg [u.a.]: Springer, 1979

Steinmüller, Wilhelm [VerfasserIn]; Ermer, Leonhard [VerfasserIn]; Schimmel, Wolfgang [VerfasserIn]
13: 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

Triendl, Ernst [HerausgeberIn]
17: Bildverarbeitung und Mustererkennung DAGM-Symposium, Oberpfaffenhofen 11. - 13. Oktober 1978 hrsg. von E. Triendl
Berlin; Heidelberg [u.a.]: Springer, 1978

Stucky, Wolffried [HerausgeberIn]
14: Datenbanken in Rechnernetzen mit Kleinrechnern GI-Fachtagung mit Unterstützung durch das German Chapter der ACM, 11./12. April 1978, Kernforschungszentrum Karlsruhe hrsg. von W. Stucky
Berlin; Heidelberg [u.a.]: Springer, 1978

16: GI-Jahrestagung 8 Berlin 1978
1978

Alber, Klaus [HerausgeberIn]
12: Programmiersprachen 5. Fachtagung der GI, Braunschweig, 8./9. März 1978 hrsg. von Klaus Alber
Berlin [u.a.]: Springer, 1978

Wall, Dieter [HerausgeberIn]
15: Organisation von Rechenzentren Workshop der Gesellschaft für Informatik, Göttingen, 11./12. Oktober 1977 hrsg. von D. Wall
Berlin [u.a.]: Springer, 1978

10: GI-Jahrestagung 7 Nürnberg, 26. - 28. Sept. 1977
1977

Spies, Peter Paul [HerausgeberIn]
9: Modelle für Rechensysteme workshop der GI Bonn, 31. 3. - 1. 4. 1977 hrsg. von P. P. Spies. Gesellschaft für Informatik
Berlin: Springer, 1977

Schmidt, Günther [HerausgeberIn]
7: Fachtagung Prozessrechner 1977 Augsburg, 7. und 8. März 1977 Fachtagung Prozessrechner <1977, Augsburg>. Hrsg. von G. Schmidt
Berlin: Springer, 1977

Nagel, Hans-Hellmut [HerausgeberIn]
8: Digitale Bildverarbeitung GI/NTG-Fachtagung, München, 28. - 30. März 1977 = Digital image processing [Conference on Digitized Image Processing]. Hrsg. von H.-H. Nagel
Berlin [u.a.]: Springer, 1977

Schmidt, Bernd [VerfasserIn]
6: GPSS-FORTRAN Einführung in die Simulation diskreter Systeme mit Hilfe eines FORTRAN-Programmpaketes Bernd Schmidt
Berlin [u.a.]: Springer, 1977

Gnatz, Rupert [HerausgeberIn]
11: 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

Schneider, Hans-Jürgen [HerausgeberIn]
1: Programmiersprachen 4 4. Fachtagung der GI: Erlangen, 8.-10. März 1976 / hrsg. von H.-J. Schneider
1976

5: GI-Jahrestagung 6
1976

Haupt, Dieter [HerausgeberIn]; Petersen, Heinz [Sonstige Person, Familie und Körperschaft]
3: Rechnernetze und Datenfernverarbeitung Fachtagung der GI und NTG, Aachen, 31.3. - 2.4.1976 hrsg. von D. Haupt und H. Petersen
Berlin [u.a]: Springer, 1976

Schreiner, Adolf [HerausgeberIn]
2: Betrieb von Rechenzentren Workshop der Gesellschaft für Informatik, Karlsruhe, 23. - 24. September 1975 hrsg. von A. Schreiner
Berlin [u.a.]: Springer, 1976

Nur in Feld suchen:

Zuletzt gesuchte Begriffe: