Katalog der Deutschen Nationalbibliothek

FABEL-IDEA 2, intelligente Designunterstützung für Architekten, Version 2: Fallretrieval

Knowledge engineering mit MoMo

Methoden der künstlichen Intelligenz für Grafikanwendungen

Der Designkatalog : ein erster Schritt in Richtung eines FABEL-Anwendungssystems

Der elektronische Fachinformationsmarkt in Osteuropa

1993.. Bd. 1. Datenbankverzeichnis

Der elektronische Fachinformationsmarkt in Osteuropa

1993.. Bd. 2. Struktur und Entwicklung

Technische Assistenzsysteme zur Verarbeitung ungenauen Wissens : Abschlussbericht

Handlungsplanung unter Unsicherheit - ein Einstieg in die Literatur

Infodata-Thesaurus

Arbeitspapiere der GMD. Subreihe künstliche Intelligenz

Aspects of non-monotonic reasoning

Der Software-Markt in der Bundesrepublik Deutschland

Entwurf integrierter Schaltungen

4. Im Wissenschaftszentrum Bonn, 21./22. Februar 1989

Expertensysteme in Industrie und Wissenschaft : GMD-Forum ... ; Tagungsbd.

1989.

Schriften der GMD

1984/88

Device simulation : ... workshop in the GMD

Device simulation : ... workshop in the GMD

1. Numerische Problemfelder : In der GMD, 26. - 27. Januar 1988

Expertensysteme in Industrie und Wissenschaft : GMD-Forum ... ; Tagungsbd.

Expertensysteme in Industrie und Wissenschaft : GMD-Forum ... ; Tagungsbd.

1987

Validation summary report for COBOL 85 version V1.0A of Siemens Aktiengesellschaft

Validation summary report mbp COBOL 85 V 1.51 of mbp Software & Systems GmbH

Entwurf integrierter Schaltungen

3. Im Wissenschaftszentrum Bonn, 13. - 14. Oktober 1987

Presseschau Informationswirtschaft, Informationsmanagement

Validation summary report for COB1 version V2.3A of Siemens Aktiengesellschaft

Validation summary report for FOR1 version 1.6A of Siemens Aktiengesellschaft

Validation summary report for FORTRAN 77 (Sinix) of Siemens Aktiengesellschaft

Validation summary report mbp COBOL 85 V 1.5 of mbp Software & Systems GmbH

Entwurf integrierter Schaltungen

Entwurf integrierter Schaltungen

2. Im Wissenschaftszentrum Bonn, 4. - 5. März 1986

SNA PAD system

Version 1.. Messages.

SNA PAD system

Version 1.. Operator's reference.

SNA PAD system

Version 1.. Planning and installation.

SNA PAD system

Version 1.. User's reference.

Validation summary report for NCOBOL 3.1, Nixdorf Computer AG

Validation summary report for NCOBOL 3.1, Nixdorf Computer AG

Validation summary report mbp Software-&-Systems-GmbH [Software-and-Systems-GmbH] mbp COBOL 10.1 on IBM AT

Validation summary report mbp Software-&-Systems-GmbH [Software-and-Systems-GmbH] mbp COBOL 10.1 on PCS Cadmus 9200

Validation summary report mbp Software-&-Systems-GmbH [Software-and-Systems-GmbH] mbp COBOL 10.1 on TI Business-Pro

GID GMD newsletter : Praxis d. information management in US-Behörden ; Informations-Management ; Fachinformation, Organisation, Informationstechnik

Sprachsynthese : zur Synthese von natürl. gesprochener Sprache aus Texten u. Konzepten

Validation summary report for 8832 COBOL 1.2, Nixdorf Computer AG

Validation summary report for 8832 FORTRAN 3.0, Nixdorf Computer AG

Validation summary report for COB 1 version V 2.2 A of Siemens-Aktiengesellschaft

Validation summary report for Mbp COBOL 9.0 compiler of Mathematischer Beratungs- und Programmierungsdienst

Validation summary report for NCOBOL 3.0, Nixdorf Computer AG

Approaches to Prototyping

Approaches to prototyping : proceedings of the Working Conference on Prototyping, October 25 - 28, 1983, Namur, Belgium

Ein Konzept zur Automationsunterstützung des Geschäftsbetriebs in der Justiz

Programm zur Berechnung von Reachability-Sets und Computation-Sequences RSACS, FUNKERZ

Realisierung des Teletex-Transportprotokolls in UNIX

Schieds- und Schlichtungsstellen in der Bundesrepublik : Praxisanalyse u. Perspektiven aus d. Kolloquium d. GMD

Schieds- und Schlichtungsstellen in der Bundesrepublik : Praxisanalyse u. Perspektiven aus e. Kolloquium d. GMD

Software validation : inspection, testing, verification, alternatives ; proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25 - 30, 1983

Validation summary report for COB1 version V2.11 of Siemens Aktiengesellschaft

Validation summary report for FOR 1 version 1.53, Siemens Aktiengesellschaft

Validation summary report for FOR1 version 1.51 Siemens Aktiengesellschaft

Validation summary report for mbp COBOL 7.4 compiler of Mathematischer Beratungs- und Programmierungsdienst

A fresh look at free choice nets

A lattice theoretic view of K-density

Adaptive Kontrollmechanismen in Rechnernetzen