search result

Cover von PROBAnD
eine Requirements-Engineering-Methode zur systematischen, domänenspezifischen Entwicklung reaktiver Systeme
Author: Queins, Stefan Search for this author
Year: 2002
Publisher: Kaiserslautern, Universität
Series: Schriftenreihe / Fachbereich Informatik, Universität Kaiserslautern; 1
Media group: DISSERTATION
Cover von Semantik und Programmverifikation
Author: Walther, Christoph Search for this author
Year: 2001
Publisher: Stuttgart, Teubner
Series: Teubner-Texte zur Informatik; 34
Media group: MONOGRAPHIE
Cover von Umweltinformatik
Informatikmethoden für Umweltschutz und Umweltforschung
Search for this author
Year: 1996
Publisher: München, Oldenbourg
Series: Handbuch der Informatik; 13.3
Media group: MONOGRAPHIE
Cover von Ein problemorienterter Ansatz zum Nachweis von Realzeiteigenschaften eingebetteter Systeme
Author: Wittich, Gunnar Search for this author
Year: 1999
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 6/99
Media group: DISSERTATION
Cover von Einsatz von Objektmigrationsstrategien zur Leistungssteigerung in verteilten Systemen
Author: Lie, Jung Sun Search for this author
Year: 1999
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 3/99
Media group: DISSERTATION
Cover von Lastverteilung in heterogenen Systemen
Author: Steiner, Maria Susanne Search for this author
Year: 1998
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 8/98
Media group: DISSERTATION
Cover von A structural approach to diophantine definability
Author: Prunescu, Mihai Search for this author
Year: 1999
Publisher: Konstanz, Universität
Series: Konstanzer Schriften in Mathematik und Informatik / Universität Konstanz / Fakultät für Mathematik und Informatik; 87
Media group: DISSERTATION
Cover von Die Auswirkungen rechtlicher Verpflichtungen auf die Softwareentwicklung
Author: Vorndamme, Juliane Search for this author
Year: 1999
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 1/99
Media group: DISSERTATION
Cover von Fuzzy-Prototyp-Klassifikatoren und deren Anwendung zur automatischen Merkmalsselektion
Author: Otte, Clemens Search for this author
Year: 1998
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 9/98
Media group: DISSERTATION
Cover von Unique tensor factorization of algebras
Author: Nüsken, Michael Search for this author
Year: 1998
Publisher: Konstanz, Universität
Series: Konstanzer Schriften in Mathematik und Informatik / Universität Konstanz / Fakultät für Mathematik und Informatik; 76
Media group: DISSERTATION
OPEN V 11.1.0.0