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

Your search for Cyber Physical Systems Series

  1. Cover: Formal Methods for Multi-Agent Feedback Control Systems - MIT Press
    Lars Lindemann | Dimos V. Dimarogonas
    Formal Methods for Multi-Agent Feedback Control Systems
    04/2025
    MIT Press
    9780262382809 (ISBN)
    E-Book
    ePUB
    Other editions
    €88.49
    Available for download
  2. Cover: Information-Driven Planning and Control - MIT Press
    Silvia Ferrari | Thomas A. Wettergren
    Information-Driven Planning and Control
    07/2021
    MIT Press
    9780262362399 (ISBN)
    E-Book
    ePUB
    Other editions
    €73.49
    Available for download
  3. Cover: Verifying Cyber-Physical Systems - MIT Press
    Sayan Mitra
    Verifying Cyber-Physical Systems
    A Path to Safe Autonomy
    07/2021
    MIT Press
    9780262370264 (ISBN)
    E-Book
    ePUB
    Other editions
    €58.99
    Available for download
  4. Cover: Model Checking, second edition - MIT Press
    Edmund M. Clarke | Orna Grumberg | Daniel Kroening
    Model Checking, second edition
    12/2018
    MIT Press
    9780262349451 (ISBN)
    E-Book
    ePUB
    Other editions
    €78.49
    Available for download
  5. Cover: Verifying Cyber-Physical Systems - MIT Press
    Sayan Mitra
    Verifying Cyber-Physical Systems
    A Path to Safe Autonomy
    02/2021
    MIT Press
    9780262044806 (ISBN)
    Book
    Hardback
    Other editions
    €70.57
    Shipment within 10-20 days
  6. Cover: Model Checking - MIT Press
    Edmund M. Clarke Jr. | Orna Grumberg | Daniel Kroening
    Model Checking
    12/2018
    2nd EDN2nd Edition
    MIT Press
    9780262038836 (ISBN)
    Book
    Hardback
    Other editions
    €89.13
    Shipment within 10-20 days
  7. Cover: Information-Driven Planning and Control - MIT Press
    Silvia Ferrari | Thomas A. Wettergren
    Information-Driven Planning and Control
    07/2021
    MIT Press
    9780262045421 (ISBN)
    Book
    Hardback
    Other editions
    €89.50
    Shipment within 10-20 days
  8. Cover: Model Checking - MIT Press
    Edmund M. Clarke Jr. | Orna Grumberg | Doron Peleg
    Model Checking
    12/1999
    MIT Press
    9780262032704 (ISBN)
    Book
    Hardback
    €76.75
    No shipping information available