search result

Cover von Verifikation von STATEMATE Designs
Author: Brockmeyer, Udo Search for this author
Year: 1999
Publisher: Oldenburg, Univ.
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 16/99
Media group: DISSERTATION
Cover von Custom computing
GI/ITG Workshop, 19. - 21. Juni 1996 in Schloß Dagstuhl
Search for this author
Year: 1996
Publisher: Chemnitz, TU
Series: Chemnitzer Informatik-Berichte / Technische Universität Chemnitz-Zwickau / Faultät für Informatik; 96-05
Media group: TECHNICAL REPORT
Cover von Werkzeuge für die Modellierung und Simulation im Umweltbereich
8. Workshop Witzenhausen 1998
Search for this author
Year: 1998
Publisher: Marburg, Metropolis-Verlag
Series: ASIM-Mitteilungen; 61, Umwelt-Informatik aktuell; 19
Media group: MONOGRAPHIE
Cover von Object-oriented specification of distributed systems
Author: Lechner, Ulrike Search for this author
Year: 1997
Publisher: Passau, Universität
Series: MIP / Universität Passau / Fakultät für Mathematik und Informatik; 9717
Media group: DISSERTATION
Cover von The mechanical parallelization of loop nests containing while loops
Author: Griebl, Martin Search for this author
Year: 1997
Publisher: Passau, Universität
Series: MIP / Universität Passau / Fakultät für Mathematik und Informatik; 9701
Media group: DISSERTATION
Cover von Softwaretechnik
Search for this author
Year: 1996
Publisher: Berlin, Springer
Series: Informatik Forschung und Entwicklung : 11. 1996, 4
Media group: SPECIAL ISSUE
Cover von Measurement-based feedback in a process-centered software engineering environment
Author: Lott, Christopher M. Search for this author
Year: 1996
Publisher: Kaiserslautern, Universität
Series: Interner Bericht / Universität Kaiserslautern / Fachbereich Informatik; 238/96
Media group: DISSERTATION
Cover von Sonderforschungsbereich 314 Künstliche Intelligenz - Wissensbasierte Systeme
Search for this author
Year: 1996
Publisher: Berlin, Springer
Series: Informatik : Forschung und Entwicklung : 11. 1996, 1
Media group: SPECIAL ISSUE
Cover von Spezifikationen höherer Ordnung
Author: Grünler, Thomas Search for this author
Year: 1990
Publisher: Passau, Universität
Series: MIP / Universität Passau / Fakultät für Mathematik und Informatik; 9012
Media group: DISSERTATION
Cover von Beobachtungsorientierte Spezifikationen
Author: Hennicker, Rolf Search for this author
Year: 1989
Publisher: Passau, Universität
Series: MIP / Universität Passau / Fakultät für Mathematik und Informatik; 8924
Media group: DISSERTATION
OPEN V 11.1.0.0