Rajeev Alur
Artículos populares por Rajeev Alur
Ver todas las ofertas-
Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings: 1102 (Lecture Notes in Computer Science, 1102)
Henzinger, Thomas; Alur, Rajeev
Precios de los artículos a partir de
Ver 9 ofertasEUR 40,84
-
Principles of Cyber-Physical Systems
Alur, Rajeev
Precios de los artículos a partir de
Ver 23 ofertasEUR 49,12
-
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings: 3114 (Lecture Notes in Computer Science, 3114)
Peled, Doron A.; Alur, Rajeev
Precios de los artículos a partir de
Ver 9 ofertasEUR 60,92
-
Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004 Philadelphia, PA, USA, March 25-27, 2004 Proceedings: 2993 (Lecture Notes in Computer Science, 2993)
Precios de los artículos a partir de
Ver 10 ofertasEUR 99,32
Encuentra también
Nuevos
