search result

Cover von Eine Methode zur formalen Verifikation von RISC-Prozessoren
Author: Tahar, Sofiene Search for this author
Year: 1994
Publisher: Karlsruhe, Universität
Media group: DISSERTATION
Cover von Zur Komplexität von Überführungsfunktionen in Zellularräumen
Author: Rust, Heinrich Search for this author
Year: 1993
Publisher: Karlsruhe, Universität
Media group: DISSERTATION
Cover von Ein integriertes Verfahren zur effizienten Planung und Ausführung von Roboterbewegungen in unscharfen Umgebungen
Author: Zhang, Jianwei Search for this author
Year: 1995
Publisher: St. Augustin, Infix
Series: Dissertationen zur künstlichen Intelligenz; 77
Media group: DISSERTATION
Cover von Wissensbasierte Bewegungsausführung für die Montageautomatisierung mit Industrierobotern
Author: Schloen, Jan Search for this author
Year: 1994
Publisher: St. Augustin, Infix
Series: Dissertationen zur künstlichen Intelligenz; 73
Media group: DISSERTATION
Cover von Einsatz von Rückkopplungen in der Bildauswertung bei einem Hand-Auge-System zur automatischen Demontage
Author: Gengenbach, Volker Search for this author
Year: 1994
Publisher: St. Augustin, Infix
Series: Dissertationen zur künstlichen Intelligenz; 72
Media group: DISSERTATION
Cover von Eine Architektur zur Anwendung symbolischer Lernverfahren in der Robotik
Author: Kreuziger, Jürgen Search for this author
Year: 1994
Publisher: St. Augustin, Infix
Series: Dissertationen zur künstlichen Intelligenz; 68
Media group: DISSERTATION
Cover von Extraktion von linienförmigen Merkmalen und Ermittlung des optischen Flusses mit seinen Ableitungen aus Voll- und Halbbildfolgen
Author: Otte, Michael Search for this author
Year: 1994
Publisher: St. Augustin, Infix
Series: Dissertationen zur künstlichen Intelligenz; 63
Media group: DISSERTATION
Cover von Modellkonstruktion in MIKE
Methoden und Werkzeuge
Author: Neubert, Susanne Search for this author
Year: 1994
Publisher: St. Augustin, Infix
Series: Dissertationen zur künstlichen Intelligenz; 60
Media group: DISSERTATION
Cover von Steuerungsansätze auf der Basis neuronaler Netze für sechsbeinige Laufmaschinen
Author: Berns, Karsten Search for this author
Year: 1994
Publisher: St. Augustin, Infix
Series: Dissertationen zur künstlichen Intelligenz; 61
Media group: DISSERTATION
Cover von Entwicklung ingenieurwissenschaftlicher Datenbankanwendungen
ein objektorientiertes Datenmodell
Author: Wallrath, Mechtild Search for this author
Year: 1994
Publisher: Berlin, Springer
Series: FZI-Berichte Informatik
Media group: DISSERTATION
OPEN V 11.1.0.0