Informatik-Fachberichte

• 資料種別: 図書
• タイトル: Informatik-Fachberichte
• 出版事項: Springer-Verlag
• 出版地（国名コード）: gw
• 対象利用者: 一般
• 関連情報: Datenbanken in Rechnernetzen mit Kleinrechnern : GI-Fachtagung mit Unterstützung durch das German Chapter der ACM, 11.-12. April 1978, Kernforschungszentrum Karlsruhe; https://cir.nii.ac.jp/crid/1130000793678266240; Programmiersprachen und Programmentwicklung : 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft Zürich, 8./9. März 1984; https://cir.nii.ac.jp/crid/1130000793805794688; Programmiersprachen und Programmentwicklung : 7. Fachtagung, veranstaltet vom Fachausschuss 2 der GI München, 9./10. März 1982; https://cir.nii.ac.jp/crid/1130000793836004864; GI-9. Jahrestagung : Bonn, 1.-5. Oktober 1979; https://cir.nii.ac.jp/crid/1130000793902249600; GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen : Kiel, 19.-21. März 1980; https://cir.nii.ac.jp/crid/1130000793902294912; Fehlertolerierende Rechensysteme : Automatisierungssysteme, Methoden, Anwendungen : 4. internationale GI/ITG/GMA-Fachtagung = Fault-tolerant computing systems : automation systems, methods, applications : 4th international GI/ITG/GMA conference : Baden-Baden, 20.-22. September 1989 : proceedings; https://cir.nii.ac.jp/crid/1130000793969291648; Begründungsverwaltung : Beiträge zu einem Workshop über Reason Maintenance, Berlin, 9. Oktober 1986 : Proceedings; https://cir.nii.ac.jp/crid/1130000793979147392; Künstliche Intelligenz : Repräsentation von Wissen und natürlichsprachliche Systeme, Frühjahrsschule, Dassel (Solling) 5.-16. März 1984; https://cir.nii.ac.jp/crid/1130000794212748544; Situationsmodellierung in der Bildfolgenauswertung; https://cir.nii.ac.jp/crid/1130000794227278080; Fault-tolerant computing systems : tests, diagnosis, fault treatment : 5th International GI/ITG/GMA Conference, Nürnberg, September 25-27, 1991 : proceedings; https://cir.nii.ac.jp/crid/1130000794272024192; Relationale Anfragen : Zerlegung und Optimierung; https://cir.nii.ac.jp/crid/1130000794332138496; Computer architecture : workshop of the Gesellschaft für Informatik, Erlangen, May 22-23, 1975 : [proceedings]; https://cir.nii.ac.jp/crid/1130000794372588928; Korrekte Zugriffe zu verteilten Daten; https://cir.nii.ac.jp/crid/1130000794400792704; Die Methode der Mathematik; https://cir.nii.ac.jp/crid/1130000794470247168; 3. Österreichische Artificial-Intelligence-Tagung : Wien, 22.-25. September 1987 : Proceedings; https://cir.nii.ac.jp/crid/1130000794590782080; Formale Modelle für Informationssysteme : GI-Fachtagung, 24.-26. Mai 1979, Tutzing; https://cir.nii.ac.jp/crid/1130000794651023744; Data networks with satellites; https://cir.nii.ac.jp/crid/1130000794659156864; Architektur und Betrieb von Rechensystemen : 8. GI-NTG-Fachtagung, Karlsruhe, 26.-28. März 1984; https://cir.nii.ac.jp/crid/1130000794831048192; GPSS-FORTRAN : Einführung in die Simulation diskreter Systeme mit Hilfe eines FORTRAN-Programmpaketes; https://cir.nii.ac.jp/crid/1130000794841055488; Analyse dynamischer Systeme in Medizin, Biologie und Ökologie : 4. Ebernburgerer Gespräch, Bad Münster, 5.-7. April 1990 : Proceedings; https://cir.nii.ac.jp/crid/1130000794970164864; Fehlertolerierende Rechensysteme : 3. internationale GI/ITG/GMA-Fachtagung = Fault-tolerant computing systems : 3rd international GI/ITG/GMA conference : Bremerhaven, 9.-11. September 1987 : proceedings; https://cir.nii.ac.jp/crid/1130000794980136576; GI-8. Jahrestagung; https://cir.nii.ac.jp/crid/1130000795034308608; Informatik-Grundbildung in Schule und Beruf : GI-Fachtagung, Kaiserslautern, 29. September - 1. Oktober 1986 ; proceedings; https://cir.nii.ac.jp/crid/1130000795063686400; Supercomputer '89 : Anwendungen, Architekturen, Trends : Seminar, Mannheim, 8.-10. Juni 1989 : Proceedings; https://cir.nii.ac.jp/crid/1130000795189102848; Programmiersprachen : 4. Fachtagung der GI Erlangen, 8.-10. März 1976; https://cir.nii.ac.jp/crid/1130000795289427456; GWAI-87 : 11th German Workshop on Artificial Intelligence, Geseke, September 28-October 2, 1987 : proceedings; https://cir.nii.ac.jp/crid/1130000795325892608; GI-11. Jahrestagung : in Verbindung mit Third Conference of the European Co-operation in Informatics (ECI) : München, 20.-23. Oktober 1981 : proceedings; https://cir.nii.ac.jp/crid/1130000795384055936; GWAI-84 : 8th German Workshop on Artificial Intelligence, Wingst/Stade, October 8-12, 1984; https://cir.nii.ac.jp/crid/1130000795405411840; Offene multifunktionale Büroarbeitsplätze und Bildschirmtext : Berlin, 25.-29. Juni 1984 : Proceedings; https://cir.nii.ac.jp/crid/1130000795487968256; GI-10. Jahrestagung : Saarbrücken 30. September-2. Oktober 1980; https://cir.nii.ac.jp/crid/1130000795491041280; Generierung portabler Compiler : das portable System POCO; https://cir.nii.ac.jp/crid/1130000795584859008; Sprachverarbeitung in Information und Dokumentation : Jahrestagung der Gesellschaft für Linguistische Datenverarbeitung (GLDV) in Kooperation mit der Fachgruppe 3 "Natürlichsprachliche Systeme" im FA 1.2 der Gesellschaft für Informatik (GI), Hannover, 5.-7. März 1985 : Proceedings; https://cir.nii.ac.jp/crid/1130000795618641024; Rechtsprechung und Computer in den neunziger Jahren : am Beispiel von Begriff und Typologie der Körperschaft des öffentlichen Rechts; https://cir.nii.ac.jp/crid/1130000795756242560; GI-6. Jahrestagung : Stuttgart, 29. Sept.-1. Okt. 1976; https://cir.nii.ac.jp/crid/1130000795900026112; Realistische Computergraphik : Algorithmen, Datenstrukturen und Maschinen; https://cir.nii.ac.jp/crid/1130000795967603584; Recent trends in data type specification : 3rd Workshop on Theory and Applications of Abstract Data Types : selected papers; https://cir.nii.ac.jp/crid/1130000796323962880; GWAI-83 : 7th German Workshop on Artificial Intelligence, Dassel/Solling, September 19-23, 1983; https://cir.nii.ac.jp/crid/1130000796404737664; GWAI-85 : 9th German Workshop on Artificial Intelligence, Dassel/Solling, September 23-27, 1985; https://cir.nii.ac.jp/crid/1130000796437268480; Physik und Informatik, Informatik und Physik : Arbeitsgespräch, München, 21./22. November 1991 : proceedings; https://cir.nii.ac.jp/crid/1130000796615371264; The Use of formal specification of software : June 25-27, 1979, Berlin; https://cir.nii.ac.jp/crid/1130000796738798976; Koordination von Informationen : die Bedeutung vo Informations- und Kommunikationstechnoligien in privaten und öffentlichen Verwaltungen IX. Verwaltungsseminar, Konstanz, 5.-7. Mai 1983; https://cir.nii.ac.jp/crid/1130000796956484608; GWAI-82, 6th German Workshop on Artificial Intelligence : Bad Honnef, Sep. 27-Oct. 1, 1982; https://cir.nii.ac.jp/crid/1130000796973436032; Intervall-Indexstrukturen in Datenbanksystemen; https://cir.nii.ac.jp/crid/1130000797076785280; Online-Systeme im Finanz- und Rechnungswesen : Anwendergespräch, Berlin, 29.-30. April 1980; https://cir.nii.ac.jp/crid/1130000797092787072; Datenschutz und Datensicherung im Wandel der Informationstechnologien : 1. GI-Fachtagung, München, 30. und 31. Oktober 1985 : proceedings; https://cir.nii.ac.jp/crid/1130000797361725568; Datenschutz bei riskanten Systemen : eine Konzeption entwickelt am Beispiel eines medizinischen Informatsionssystems; https://cir.nii.ac.jp/crid/1130000797464513664; GWAI-86 und 2.Österreichische Artificial-Intelligence-Tagung : Ottenstein/Niederösterreich, September 22-26, 1986; https://cir.nii.ac.jp/crid/1130000797600835200; Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation; https://cir.nii.ac.jp/crid/1130000797601644160; Systematische Software-Qualitätssicherung anhand von Qualitäts- und Produktmodellen; https://cir.nii.ac.jp/crid/1130000797648183424; First European Simulation Congress, ESC 83, Aachen, September, 12-16, 1983 : proceedings; https://cir.nii.ac.jp/crid/1130000797761696000; Organisation und Betrieb der Informationsverarbeitung : 6. GI-Fachgespräch über Rechenzentren, Kassel, 21./22. März 1985; https://cir.nii.ac.jp/crid/1130000797786522624; Kognitive Aspekte der Mensch-Computer-Interaktion : Workshop, München, 12.-13. April 1984; https://cir.nii.ac.jp/crid/1130000797827440256; Software-Bewertung : ein semantischer Ansatz für Informationsmasse; https://cir.nii.ac.jp/crid/1130000797922148736; Prinzipien piktorieller Repräsentationssysteme : Untersuchungen zur bildhaften Repräsentation von Wissen in informationsverarbeitenden Systemen; https://cir.nii.ac.jp/crid/1130000798086815616; Attributierte Grammatiken und Attributierungsalgorithmen; https://cir.nii.ac.jp/crid/1130000798093698816; Digitale Bildverarbeitung = Digital image processing : GI/NTG-Fachtagung, München, 28.-30. März 1977; https://cir.nii.ac.jp/crid/1130000798115251200; Mikroarchitekturen und Mikroprogrammierung : formale Beschreibung und Optimierung; https://cir.nii.ac.jp/crid/1130282268724440448; Mustererkennung 1984 : DAGM/ÖAGM Symposium, Graz, 2.-4. Oktober 1984 : Proceedings; https://cir.nii.ac.jp/crid/1130282268792715264; GI-7. Jahrestagung, Nürnberg, 26.-28. September 1977; https://cir.nii.ac.jp/crid/1130282268814811520; Sprachkonzepte für benutzergerechte Systeme; https://cir.nii.ac.jp/crid/1130282268942994560; Massiv parallele Programmierung mit dem Parallaxis-Modell; https://cir.nii.ac.jp/crid/1130282269033413632; GI-13. Jahrestagung : Hamburg, 3.-7. Oktober 1983 : proceedings; https://cir.nii.ac.jp/crid/1130282269077737856; Zuverlässigkeit und Leistungsfähigkeit objekt-orientierter Datenbanksysteme; https://cir.nii.ac.jp/crid/1130282269078191744; Natürlichsprachliche Argumentation in Dialogsystemen : KI-Verfahren zur Rekonstruktion und Erklärung approximativer Inferenzprozesse; https://cir.nii.ac.jp/crid/1130282269202363136; Simulationstechnik : 2. Symposium Simulationstechnik, Wien, 25.-27. September 1984 : Proceedings; https://cir.nii.ac.jp/crid/1130282269544455040; Fehlertolerante dezentrale Prozessautomatisierung; https://cir.nii.ac.jp/crid/1130282269558226304; Datenbanksystem für CAD-Arbeitsplätze; https://cir.nii.ac.jp/crid/1130282269560507008; Informatik und "Dritte Welt" : Berichte und Analysen; https://cir.nii.ac.jp/crid/1130282269669623552; Telekommunikation und multimediale Anwendungen der Informatik : GI-21. Jahrestagung, Darmstadt, 14.-18. Oktober 1991 : Proceedings; https://cir.nii.ac.jp/crid/1130282269718517376; Messung, Modellierung und Bewertung von Rechensystemen : 4. GI/ITG-Fachtagung, Erlangen, 29. Sept.-1. Okt. 1987 : proceedings; https://cir.nii.ac.jp/crid/1130282269739982208; Non-Standard Datenbanken für Anwendungen der graphischen Datenverarbeitung : GI-Fachgespräch, Dortmund, 21./22. März 1988 : proceedings; https://cir.nii.ac.jp/crid/1130282269856828544; ASST '87 : 6. Aachener Symposium für Signaltheorie : Mehrdimensionale Signale und Bildverarbeitung, Aachen, 9.-12. September 1987 : proceedings; https://cir.nii.ac.jp/crid/1130282269865036928; Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen; https://cir.nii.ac.jp/crid/1130282269939515648; Konzeption und Einsatz von Umweltinformationssystemen : Proceedings; https://cir.nii.ac.jp/crid/1130282270035570432; Die Interpretation des Verhaltens mehrerer Akteure in Szenenfolgen; https://cir.nii.ac.jp/crid/1130282270044620416; Probabilistische Verfahren für den Test hochintegrierter Schaltungen; https://cir.nii.ac.jp/crid/1130282270111527680; Datenbanksysteme in Büro, Technik und Wissenschaft : GI-Fachtagung Darmstadt, 1.-3. April 1987 : proceedings; https://cir.nii.ac.jp/crid/1130282270202596864; Ontologie und Axiomatik der Wissensbasis von LILOG : Wissensmodellierung im IBM Deutschland LILOG-Projekt; https://cir.nii.ac.jp/crid/1130282270249591552; Erklärung im Gespräch, Erklärung im Mensch-Maschine-Dialog : Proceedings; https://cir.nii.ac.jp/crid/1130282270266447744; PISA : a programming system for interactive production of application software; https://cir.nii.ac.jp/crid/1130282270307419008; Fehlertolerierende rechensysteme : 2. GI/NTG/GMR-fachtagung Bonn, September 1984 = Fault-tolent computing systems : 2nd GI/NTG/GMR conference Bonn, 19-21 September 1984; https://cir.nii.ac.jp/crid/1130282270347234560; Fachtagung Prozessrechner 1977, Augsburg, 7. und 8. März 1977; https://cir.nii.ac.jp/crid/1130282270507245952; Arbeit und Informationstechnik : Fachtagung, veranstaltet vom Fachbereich 8 "Informatik und Gesellschaft" der GI Karlsruhe, 15.-17. Juli 1986 : Proceedings; https://cir.nii.ac.jp/crid/1130282270567682432; Modelle und Strukturen : DAGM Symposium, Hamburg, 6.-8. Oktober 1981; https://cir.nii.ac.jp/crid/1130282270839223936; 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; https://cir.nii.ac.jp/crid/1130282270895784960; Automatische Synthese rekursiver Programme als Beweisverfahren; https://cir.nii.ac.jp/crid/1130282270959094912; Informatik zwischen Wissenschaft und Gesellschaft : zur Erinnerung an Reinhold Franck : proceedings; https://cir.nii.ac.jp/crid/1130282270966883072; Interaktion und Kommunikation mit dem Computer : Jahrestagung der Gesellschaft für Linguistische Datenverarbeitung (GLDV), Ulm, 8.-10. März 1989 : Proceedings; https://cir.nii.ac.jp/crid/1130282271069340288; Bibliography on abstract data types; https://cir.nii.ac.jp/crid/1130282271077220096; GWAI-89 : 13th German Workshop on Artificial Intelligence, Eringeferld, 19-22 September 1989 : proceedings; https://cir.nii.ac.jp/crid/1130282271112144256; GI-17. Jahrestagung : computerintegrierter Arbeitsplatz im Büro : München, 20.-23. Oktober 1987 : Proceedings; https://cir.nii.ac.jp/crid/1130282271220691200; Methoden der Informatik für rechnerunterstütztes Entwerfen und Konstruieren : GI-Fachtagung, München, 19.-21. Oktober 1977; https://cir.nii.ac.jp/crid/1130282271247270400; Architektur und Betrieb von Rechensystemen : 10. GI/ITG-Fachtagung, Paderborn, 9.-11. März 1988 : Proceedings; https://cir.nii.ac.jp/crid/1130282271267203968; Entscheidungsorientiertes Konfigurationsmanagement; https://cir.nii.ac.jp/crid/1130282271270257280; Überlast in Rechensystemen : Modellierung und Verhinderung; https://cir.nii.ac.jp/crid/1130282271291158272; GI-14. Jahrestagung : Braunschweug, Oktober 1984. Proceedings; https://cir.nii.ac.jp/crid/1130282271301207424; Prozeßrechensysteme '88 : Automatisierungstechnik, Leittechnik, Informations- und Kommunikationstechnik Stuttgart, 2.-4. März 1988 : Proceedings; https://cir.nii.ac.jp/crid/1130282271342784896; Prozeßrechner 1984 : Prozeßdatenverarbeitung im Wandel, 4. GI/GMR/KfK-Fachtagung, Karlsruhe, 26.-28. September 1984; https://cir.nii.ac.jp/crid/1130282271420430208; Lexikalisch verteiltes Text-Parsing : eine objektorientierte Spezifikation eines Wortexpertensystems auf der Grundlage des Aktorenmodells; https://cir.nii.ac.jp/crid/1130282271467432448; Neue Informationstechnologien und Verwaltung : Fachtagung 14.-16. September 1983; https://cir.nii.ac.jp/crid/1130282271471660800; GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, January 26-31, 1981; https://cir.nii.ac.jp/crid/1130282271602525568; Approximative public-key-kryptosysteme; https://cir.nii.ac.jp/crid/1130282271721617024; GWAI-91 : 15. Fachtagung für Künstliche Intelligenz, Bonn, 16-20 September 1991 : proceedings; https://cir.nii.ac.jp/crid/1130282271726399360; GWAI-90 : 14th German Workshop on Artificial Intelligence, Eringerfeld, 10-14 September 1990 : proceedings; https://cir.nii.ac.jp/crid/1130282271767975040; Organisation und Betrieb von Informationssystemen : 9. GI-Fachgespräch über Rechenzentren, Dortmund, 14. und 15. März 1991 : proceedings; https://cir.nii.ac.jp/crid/1130282271826163840; Forum '90 Wissenschaft und Technik : neue Anwendungen mit Hilfe aktueller Computer-Technologien : Trier, 8./9. Oktober 1990 : Proceedings; https://cir.nii.ac.jp/crid/1130282271827017856; Konzepte für eine verteilte wissensbasierte Softwareproduktionsumgebung; https://cir.nii.ac.jp/crid/1130282271836594048; Fachgespräche auf der 14. GI-Jahrestagung : Braunschweig, 1. - 2. Oktober 1984; https://cir.nii.ac.jp/crid/1130282271924215680; Rechnernetze und Datenfernverarbeitung : Fachtagung der GI und NTG, Aachen, 31.3.-2.4. 1976; https://cir.nii.ac.jp/crid/1130282271933422208; Synchronisation in zentralisierten Datenbanksystemen : Algorithmen, Realisierungsmöglichkeiten und quantitative Analyse; https://cir.nii.ac.jp/crid/1130282271974019328; Generierung natürlicher Sprache mit Generalisierten Phrasenstruktur-Grammatiken; https://cir.nii.ac.jp/crid/1130282272051760512; Parallele Algorithmen; https://cir.nii.ac.jp/crid/1130282272101708544; Informatik als Herausforderung an Schule und Ausbildung : GI-Fachtagung, Berlin, 8.-10. Oktober 1984; https://cir.nii.ac.jp/crid/1130282272162483456; Personalinformationssysteme in deutschen Großunternehmen : Ausbaustand und Rechtsprobleme; https://cir.nii.ac.jp/crid/1130282272168233984; Fehlererkennung und Fehlerbehandlung in Speicherungsstrukturen von Datenbanksystemen; https://cir.nii.ac.jp/crid/1130282272254170752; Erweiterung relationaler Datenbanksysteme für technische Anwendungen; https://cir.nii.ac.jp/crid/1130282272436920576; 7. Österreichische Artificial-Intelligence-Tagung : Seventh Austrian Conference on Artificial Intelligence : Wien, Austria, 24.-27. September 1991, proceedings; https://cir.nii.ac.jp/crid/1130282272604108288; Semantische Repräsentation komplexer Objektstrukruren : Modelle für nichtkonventionelle Databankanwendungen : Winfried Lamersdorf; https://cir.nii.ac.jp/crid/1130282272628902144; Von Datenbanken zu Expertensystemen; https://cir.nii.ac.jp/crid/1130282272658087040; GI-12. Jahrestagung : Kaiserslatern, 5.-7. Oktober 1982 : proceedings; https://cir.nii.ac.jp/crid/1130282272727506816; Betrieb von DV-Systemen in der Zukunft : 5. GI-Fachgespräch über Rechenzentren, Tübingen, 17./18. März 1983; https://cir.nii.ac.jp/crid/1130282272765889792; Aspekte der Selbstorganisation; https://cir.nii.ac.jp/crid/1130282272843182464; Application and theory of Petri nets : selected papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, 23-26 September 1980, Bad Honnef, 28-30 September 1981; https://cir.nii.ac.jp/crid/1130282272873642752; Parallele Systeme; https://cir.nii.ac.jp/crid/1130282272978558720; Requirements engineering : Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983; https://cir.nii.ac.jp/crid/1130282273172808576; Betrieb von Rechenzentren : Workshop der Gesellschaft für Informatik Karlsruhe, 23.-24. September 1975; https://cir.nii.ac.jp/crid/1130282273239107072; Datenbank-Systeme für Büro, Technik und Wissenschaft : GI-Fachtagung, Karlsruhe, 20.-22. März 1985 : Proceedings; https://cir.nii.ac.jp/crid/1130282273274551168; Öffentliche Verwaltung und Informationstechnik : neue Möglichkeiten, neue Probleme, neue Perspektiven, Fachtagung, Speyer, 26.-28. September 1984; https://cir.nii.ac.jp/crid/1130282273290497408; Virtuelle Maschinen : Nachbildung und Vervielfachung maschinenorientierter Schnittstellen : GI-Arbeitsseminar, München, 1979; https://cir.nii.ac.jp/crid/1130282273328662272; Software-Fehlertoleranz und -Zuverlässigkeit; https://cir.nii.ac.jp/crid/1130288590370908981; Programmierumgebungen : Entwicklungswerkzeuge und Programmiersprachen; https://cir.nii.ac.jp/crid/1130851540497930496
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BA00325053#entity
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA00325053 : BA00325053

目次

Datenbanken in Rechnernetzen mit Kleinrechnern : GI-Fachtagung mit Unterstützung durch das German Chapter der ACM, 11.-12. April 1978, Kernforschungszentrum Karlsruhe

Programmiersprachen und Programmentwicklung : 8. Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI und der Schweizer Informatiker Gesellschaft Zürich, 8./9. März 1984

Programmiersprachen und Programmentwicklung : 7. Fachtagung, veranstaltet vom Fachausschuss 2 der GI München, 9./10. März 1982

GI-9. Jahrestagung : Bonn, 1.-5. Oktober 1979

GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen : Kiel, 19.-21. März 1980