search result

Cover von Systemtechnischer Ansatz für die Entwicklung von Expertensystemen zur Überwachung und Diagnose automatisierter Anlagen
am Beispiel einer Spiegelofen-Kristallzuchtanlage
Author: Theiss, Günther Search for this author
Year: 1995
Publisher: Karlsruhe, Universität
Media group: DISSERTATION
Cover von Grafische Wissensakquisitionssysteme und ihre Generierung
Author: Gappa, Ute Search for this author
Year: 1995
Publisher: St. Augustin, Infix
Series: Dissertationen zur künstlichen Intelligenz; 100
Media group: DISSERTATION
Cover von Die Entwurfsphase in MIKE
Methode und Beschreibungssprache
Author: Landes, Dieter Search for this author
Year: 1995
Publisher: St. Augustin, Infix
Series: Dissertationen zur künstlichen Intelligenz; 84
Media group: DISSERTATION
Cover von Ein Ansatz zur Formalisierung der Echtzeit-Bildauswertung und seine Nutzung zur automatischen Erzeugung lauffähiger Maschinenprogramme
Author: Melchert, Wolfgang Search for this author
Year: 1995
Publisher: St. Augustin, Infix
Series: Dissertationen zur künstlichen Intelligenz; 87
Media group: DISSERTATION
Cover von Mustergesteuerte Strategien für das Beweisen von Gleichungen
Author: Hutter, Dieter Search for this author
Year: 1991
Publisher: Karlsruhe, Universität
Media group: DISSERTATION
Cover von Ermittlung von Verkehrsgeschehen durch Bildfolgenauswertung
Author: Kollnig, Henner Search for this author
Year: 1995
Publisher: St. Augustin, Infix
Series: Dissertationen zur künstlichen Intelligenz; 88
Media group: DISSERTATION
Cover von Wiederverwendung von Commonsense Ontologien im Knowledge Engineering
Methoden und Werkzeuge
Author: Pirlein, Thomas Search for this author
Year: 1995
Publisher: St. Augustin, Infix
Series: Dissertationen zur künstlichen Intelligenz; 85
Media group: DISSERTATION
Cover von Lastverteilung für feinkörnig parallelisiertes Branch-and-Bound
Author: Henrich, Dominik Search for this author
Year: 1995
Publisher: St. Augustin, Infix
Series: Dissertationen zur künstlichen Intelligenz; 83
Media group: DISSERTATION
Cover von Formale Programmentwicklung mit dynamischer Logik
Author: Heisel, Maritta Search for this author
Year: 1992
Publisher: Wiesbaden, Deutscher Universitätsverlag
Media group: KONGRESSBERICHT
Cover von Logiksynthese von Steuerwerken
Author: Neher, Michael Search for this author
Year: 1993
Publisher: Karlsruhe, Universität
Media group: DISSERTATION
OPEN V 11.1.0.0