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

Your search for Thao Dang

  1. Cover: Runtime Verification - Springer
    Thao Dang | Volker Stolz
    Runtime Verification
    22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings
    09/2022
    Springer
    9783031171963 (ISBN)
    E-Book
    PDF
    Other editions
    €69.54
    Available for download
  2. Cover: Hybrid Systems Biology - Springer
    Oded Maler | Ádám Halász | Thao Dang
    Hybrid Systems Biology
    Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers
    12/2015
    Springer
    9783319276564 (ISBN)
    E-Book
    PDF
    Other editions
    €42.79
    Available for download
  3. Cover: Kontinuierliche Selbstkalibrierung von Stereokameras - KIT Scientific Publishing
    Thao Dang
    Kontinuierliche Selbstkalibrierung von Stereokameras
    08/2014
    KIT Scientific Publishing
    9783866441644 (ISBN)
    Book
    Paperback/Softback
    €37.90
    Shipment within 10-15 days
  4. Cover: Hybrid Systems Biology - Springer
    Oded Maler | Ádám Halász | Thao Dang
    Hybrid Systems Biology
    Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers
    12/2015
    Springer
    9783319276557 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €42.80
    Shipment within 10-15 days
  5. Cover: Runtime Verification - Springer
    Thao Dang | Volker Stolz
    Runtime Verification
    22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings
    09/2022
    Springer
    9783031171956 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €70.61
    Shipment within 15-20 days
  6. This image is currently not available.
    Eugine Asarin | Oded Maler | Thao Dang
    Verification and Synthesis of Hybrid Systems
    06/2006
    Birkhauser
    9780817642969 (ISBN)
    Book
    Hardback
    €68.00
    Exhausted, reprint undefined