11 results
Type of media (2)
Availability (2)
Classification (5)
Year
Persons
Publishers
Sort by
Results per page
Filter
11 results

Your search for Rajeev Alur

  1. Cover: Principles of Cyber-Physical Systems - MIT Press
    Rajeev Alur
    Principles of Cyber-Physical Systems
    04/2015
    MIT Press
    9780262328463 (ISBN)
    E-Book
    ePUB
    Other editions
    €78.49
    Available for download
  2. Cover: Computer Aided Verification - Springer
    Rajeev Alur | Doron A. Peled
    Computer Aided Verification
    16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
    07/2004
    Springer
    9783540278139 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  3. Cover: Hybrid Systems: Computation and Control - Springer
    Rajeev Alur | George Pappas
    Hybrid Systems: Computation and Control
    7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings
    02/2004
    Springer
    9783540247432 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  4. Cover: Embedded Software - Springer
    Rajeev Alur
    Embedded Software
    Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings
    10/2003
    Springer
    9783540452126 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Principles of Cyber-Physical Systems - MIT Press
    Rajeev Alur
    Principles of Cyber-Physical Systems
    08/2023
    MIT Press
    9780262548922 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €73.30
    Exhausted; check different version
  6. Cover: Principles of Cyber-Physical Systems - MIT Press
    Rajeev Alur
    Principles of Cyber-Physical Systems
    04/2015
    MIT Press
    9780262029117 (ISBN)
    Book
    Hardback
    Other editions
    €89.13
    Exhausted; check different version
  7. Cover: Computer Aided Verification - Springer
    Rajeev Alur | Doron A. Peled
    Computer Aided Verification
    16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
    06/2004
    Springer
    9783540223429 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  8. Cover: Embedded Software - Springer
    Rajeev Alur
    Embedded Software
    Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings
    09/2003
    Springer
    9783540202233 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  9. Cover: Hybrid Systems: Computation and Control - Springer
    Rajeev Alur | George Pappas
    Hybrid Systems: Computation and Control
    7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings
    03/2004
    Springer
    9783540212591 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  10. Cover: Hybrid Systems III - Springer
    Rajeev Alur | Thomas A. Henzinger | Eduardo D. Sontag
    Hybrid Systems III
    Verification and Control
    04/1996
    1st EDN1st Edition
    Springer
    9783540611554 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  11. Cover: Computer Aided Verification - Springer
    Rajeev Alur | Thomas Henzinger
    Computer Aided Verification
    8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
    07/1996
    Springer
    9783540614746 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days