Trefferliste "Automated Reasoning" - alle Bücher

Ihre Suche nach "Automated Reasoning" (Bücher) ergab 2 Treffer.

Model Checking Software

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.The 9 full papers, 3…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 54,75* Aktueller Preis: EUR 54,75

Artikel merken

In den Warenkorb

Menge ändern

Advances in Automation, Mechanical and Design Engineering

This book presents the proceedings of the 2022 3rd International Symposium on Automation, Mechanical and Design Engineering (SAMDE), held in Beijing, China, on December 16¿18, 2022, and organized by the H…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 240,94* Aktueller Preis: EUR 240,94

Artikel merken

In den Warenkorb

Menge ändern