Rajeev Alur | Booky.fi

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

Alur, Rajeev
Springer
2003
Pehmeäkantinen kirja

51,10 €

Computer Aided Verification - 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedin

Alur, Rajeev; Henzinger, Thomas
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1996
Pehmeäkantinen kirja

51,10 €

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

Alur, Rajeev; Peled, Doron A.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2004
Pehmeäkantinen kirja

100,90 €

Hybrid Systems III : Verification and Control

Alur, Rajeev; Henzinger, Thomas A.; Sontag, Eduardo D.
Springer
1996
Pehmeäkantinen kirja

100,90 €

Hybrid Systems: Computation and Control - 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proce

Alur, Rajeev; Pappas, George
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2004
Pehmeäkantinen kirja

100,90 €

Principles of Cyber-Physical Systems

Alur, Rajeev
MIT Press Ltd
2015
Kovakantinen kirja

75,70 €

Principles of Cyber-Physical Systems

Alur, Rajeev
MIT Press Ltd
2023
Pehmeäkantinen kirja

109,40 €

Contemporary Computing : Second International Conference, IC3 2009, Noida, India, August 17-19, 2009. Proceedings

Ranka, Sanjay; Aluru, Srinivas; Buyya, Rajkumar; Chung, Yeh-Ching; Gupta, Sandeep; Grama, Ananth; Kumar, Rajeev; Phoha, Vir V.;
Springer
2009
Pehmeäkantinen kirja

100,90 €