Der Perlentaucher unter den Buchläden

Genauer suchen (4 Treffer)
Filter schließen (4 Treffer)

Suchergebnis

  1. Bridging the Gap Between AI and Reality
    eng
    Bridging the Gap Between AI and Reality
    Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Selected Papers
    • Springer
    • 2025
    • Taschenbuch
    • 292 Seiten
    42,79€

    Auf Lager

  2. Formal Methods for Industrial Critical Systems
    eng
    Formal Methods for Industrial Critical Systems
    30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
    • Springer
    • 2025
    • Taschenbuch
    • 308 Seiten
    62,05€

    Auf Lager

  3. Computer Aided Verification
    eng
    Computer Aided Verification
    23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
    • Springer
    • 2011
    • Taschenbuch
    • 784 Seiten
    53,49€

    Auf Lager

    This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, U…
  4. Model-Based Testing of Reactive Systems
    eng
    Model-Based Testing of Reactive Systems
    Advanced Lectures
    • Springer
    • 2005
    • Taschenbuch
    • 652 Seiten
    53,49€

    Auf Lager