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
4 Angebote anzeigenEUR 42,62
-
Principles of Cyber-Physical Systems
Alur, Rajeev
Artikelpreise ab
3 Angebote anzeigenEUR 93,07
Entdecken Sie auch
Neu -
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
4 Angebote anzeigenEUR 93,24
-
Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science, 1066, Band 1066)
Rajeev Alur; Thomas A. Henzinger; Eduardo D. Sontag
Artikelpreise ab
4 Angebote anzeigenEUR 100,71
