search result

Cover von Formal specification and verification
structures and techniques
Author: Eschbach, Robert Search for this author
Year: 2005
Publisher: Kaiserslautern, TU
Series: Schriftenreihe / Fachbereich Informatik, Universität Kaiserslautern; 24
Media group: DISSERTATION
Cover von A systematic study of Gröbner basis methods
Author: Reinert, Birgit Search for this author
Year: 2005
Publisher: Kaiserslautern, TU
Series: Schriftenreihe / Fachbereich Informatik, Universität Kaiserslautern; 20
Media group: DISSERTATION
Cover von Musterbasierte Entwicklung echtzeitfähiger Gebäudesimulatoren
Author: Riegel, Jan Peter Search for this author
Year: 2005
Publisher: Kaiserslautern, TU
Series: Schriftenreihe / Fachbereich Informatik, Universität Kaiserslautern; 22
Media group: DISSERTATION
Cover von Model-driven development of versioning systems
Author: Kovse, Jernej Search for this author
Year: 2005
Publisher: Kaiserslautern, TU
Series: Schriftenreihe / Fachbereich Informatik, Universität Kaiserslautern; 23
Media group: DISSERTATION
Cover von Software-Qualitätssicherung durch Automatisierung
ein modellbasierter Ansatz
Author: Metzger, Andreas Search for this author
Year: 2005
Publisher: Kaiserslautern, TU
Series: Schriftenreihe / Fachbereich Informatik, Universität Kaiserslautern; 21
Media group: DISSERTATION
Cover von Anpassungsunterstützung in Software-Produktfamilien
Author: Becker, Martin Search for this author
Year: 2004
Publisher: Kaiserslautern, Universität
Series: Schriftenreihe / Fachbereich Informatik, Universität Kaiserslautern; 19
Media group: DISSERTATION
Cover von From supervisory control to nonblocking controllers for discrete event systems
Author: Malik, Petra Search for this author
Year: 2003
Publisher: Kaiserslautern, Universität
Series: Schriftenreihe / Fachbereich Informatik, Universität Kaiserslautern; 16
Media group: DISSERTATION
Cover von Variabilitätsmanagement in Produktfamilien
Author: Geyer, Lars Search for this author
Year: 2003
Publisher: Universität Kaiserslautern
Series: Schriftenreihe / Fachbereich Informatik, Universität Kaiserslautern; 10
Media group: DISSERTATION
Cover von Bildbasierte Erzeugung kollisionsfreier Transferbewegungen für Industrieroboter
Author: Ebert, Dirk Search for this author
Year: 2003
Publisher: Kaiserslautern, Universität
Series: Schriftenreihe / Fachbereich Informatik, Universität Kaiserslautern; 12
Media group: DISSERTATION
Cover von Visualization of adaptive mesh refinement data and topology-based exploration of volume data
Author: Weber, Gunther H. Search for this author
Year: 2003
Publisher: Kaiserslautern, Universität
Series: Schriftenreihe / Fachbereich Informatik, Universität Kaiserslautern; 13
Media group: DISSERTATION
OPEN V 11.1.0.0