Suchergebnisse für ""Manfred Morari""




Ähnliche Artikel


Hybrid Systems: Computation and Control
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Rupak Majumdar / Paulo Tabuada (Volume editor)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings
2009
27. März 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
12634446,978-3-642-00601-2

Hybrid Systems: Computation and Control
79,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Maria D. Di Benedetto / Alberto L. Sangiovanni-Vincentelli (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings
2001
14. März 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-41866-5

Hybrid Systems: Computation and Control
79,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Oded Maler / Amir Pnueli (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
2003
18. März 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00913-9

Hybrid Systems: Computation and Control
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Nancy Lynch / Bruce Krogh (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings
2000.
13. März 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
10720042,978-3-540-67259-3

Formal Modeling and Analysis of Timed Systems
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Paul Pettersson / Wang Yi (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
2005
13. Dezember 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11603009,978-3-540-30946-8

Formal Methods and Software Engineering
75,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
2009
17. November 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
12796106,978-3-642-10372-8

Hybrid Systems Biology
31,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings
1st ed. 2016
27. September 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-47150-1

Tools and Algorithms for the Construction and Analysis of Systems
77,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Susanne Graf / Michael Schwartzbach (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
2000.
15. März 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
10719978,978-3-540-67282-1

Logical Foundations of Cyber-Physical Systems
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
André Platzer
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of the original 1st ed. 2018
8. Februar 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-09697-7

FM 2016: Formal Methods
38,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
1st ed. 2016
8. November 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-48988-9



Ähnlichkeitssuche: Fact®Finder von OMIKRON