Dr. Oliver Niese - Bücher - alle Infos bei Yasni.de

(1 - 10 von 10

)

Internet der Dienste - Google Books

books.google.de

Die Vereinfachung des Zugangs zu Informationen im Internet als Grundlagen für die Entwicklung neuer Dienstleistungen ist wesentliches Ziel des vom...

Advances in Computers - Google Books

books.google.de

Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and...

Computer Aided Verification: 14th International Conference, CAV

books.google.de

... Uwe Nestmann Juergen Niehaus Oliver Niese Thomas Noll Abelardo Pardo Corina Pasareanu Charles Pecheur Wojciech Penczek Paul Pettersson Claudine ...

Fundamental Approaches to Software Engineering: 4th International...

books.google.de

233 Oliver Niese (METAFrame Technologies, Dortmund), Bernhard Steffen (University Oliver Niese, Markus Nagelmann, Andreas Hagerer (METAFrame ...

Model Checking Software: 9th International SPIN Workshop Grenoble,...

books.google.de

1. Test Execution: A Successful Execution Path and the Users' Views Tiziana Margaria, Oliver Niese, and Bernhard Steffen Tiziana Margaria, Oliver Niese, ...

Verification, Model Checking, and Abstract Interpretation: 4th...

books.google.de

... particular Oliver Niese, as well as to Tiziana Margaria for discussions and their fruitful comments. References 1. D. Angluin. Learning regular sets from queries ...

Static Analysis: 7th International Symposium, SAS 2000, Santa...

books.google.de

This book constitutes the refereed proceedings of the 7th International Static Analysis Symposium, SAS 2000, held in Santa Barbara, CA, USA, in June/July

Tools and Algorithms for the Construction and Analysis of Systems:...

books.google.de

... Mateescu Marius Minea Till Mossakowski Peter Mosses Laurent Mounier Leonardo de Moura Anca Muscholl Kedar Namjoshi Oliver Niese Gordon Pace Cyril ...

VMCAI Ny) Vmcai 200 (2003 New York - Google Books

books.google.de

We are very grateful to the ITE team, in particular Oliver Niese, as well as to Tiziana Margaria for discussions and their fruitful comments. References 1.

An Integrated Approach to Testing Complex Systems - Oliver Niese -...

books.google.de

Oliver Niese pages. 0 Reviewshttp://books.google.com/books/about/An_Integrated_Approach_to_Testing_Comple.html?id=ammqnQEACAAJ ...

Verwandte Suchanfragen zu Dr. Oliver Niese

Elke Heidenreich
Hardi Hungar
Georg Brune

Markus Nagelmann
Andreas Hagerer
Tiziana Margaria

Andrea Emde
Tanja Horstmann
Frank Esser

Person "Niese" (1)
Vorname "Oliver" (42674)
Name "Niese" (223)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Bücher Dr. Oliver Niese