Hoppa till sidans huvudinnehåll

Rajeev Alur - Böcker

Visar alla böcker från författaren Rajeev Alur.
7 produkter

Alur, R: Principles of Cyber-Physical Systems

Av Rajeev Alur

Inbunden, Engelska, 2015

859 kr

Tillfälligt slut

Principles of Cyber-Physical Systems

Av Rajeev Alur, Rajeev (University of Pennsylvania) Alur

Häftad, Engelska, 2023

1 439 kr

Skickas inom 5-8 vardagar

Embedded Software

Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings

Av Rajeev Alur

Häftad, Engelska, 2003

729 kr

Skickas inom 10-15 vardagar

Hybrid Systems: Computation and Control

7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings

Av Rajeev Alur, George Pappas

Häftad, Engelska, 2004

1 439 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

Av Rajeev Alur, Doron A. Peled

Häftad, Engelska, 2004

1 439 kr

Skickas inom 10-15 vardagar

Hybrid Systems III

Verification and Control

Av Rajeev Alur, Thomas A. Henzinger m. fl

Häftad, Engelska, 1996

1 439 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings

Av Rajeev Alur, Thomas Henzinger

Häftad, Engelska, 1996

729 kr

Skickas inom 10-15 vardagar