Rajeev Alur
Beliebte Artikel von Rajeev Alur
Alle Angebote anzeigen-
Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science, 1102, Band 1102)
Henzinger, Thomas; Alur, Rajeev
Artikelpreise ab
9 Angebote anzeigenEUR 40,84
-
Principles of Cyber-Physical Systems (The MIT Press)
Alur, Rajeev
Artikelpreise ab
23 Angebote anzeigenEUR 49,12
-
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science, 3114, Band 3114)
Peled, Doron A.; Alur, Rajeev
Artikelpreise ab
8 Angebote anzeigenEUR 60,92
-
Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science, 1066, Band 1066)
Rajeev Alur; Thomas A. Henzinger; Eduardo D. Sontag
Artikelpreise ab
8 Angebote anzeigenEUR 80,80
-
Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings
Artikelpreise ab
4 Angebote anzeigenEUR 53,49
Entdecken Sie auch
Neu
