Formal Modeling and Verification of Cyber-Physical Systems

1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Model Driven Engineering Languages and Systems

14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Bauwerksabdichtung in der Altbausanierung

Verfahren und juristische Betrachtungsweise

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Taschenatlas Histologie

Produktform: Buch / Einband - flex.(Paperback)

Taschenatlas Histologie

Produktform: E-Buch Text Elektronisches Buch in proprietärem

KWF-Foren auf der Interforst München 2002. Arbeitskreise und Plenarvorträge auf der 14. KWF-Tagung Gross-Umstadt 2004

Produktform: Buch / Einband - fest (Hardcover)

Einsamer Wolf 11 - Die Gefangenen der Zeit

Produktform: Buch / Einband - flex.(Paperback)

Proceedings of the 4th International Congress of the Archaeology of the Ancient Near East - Band I

1. The Reconstruction of Environment. Natural Resources and Human Interrelation through Time /2. Visual Communication

Produktform: Buch / Einband - fest (Hardcover)

Einsamer Wolf 18 - Drachendämmerung

Produktform: Buch / Einband - flex.(Paperback)

game. set. match. Deutschland

Der Weg zum Spitzenerfolg für "Normalsterbliche"

Produktform: Buch / Einband - flex.(Paperback)