Automated Reasoning

Lecture Notes in Artificial Intelligence -Band 14740

Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, F…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 81,04*

Artikel ist im Warenkorb

Automated Reasoning

Lecture Notes in Artificial Intelligence -Band 14739

This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80*

Artikel ist im Warenkorb

Automated Reasoning with Analytic Tableaux and Related Methods

Lecture Notes in Artificial Intelligence -Band 14278

This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80*

Artikel ist im Warenkorb

Advances in Automation, Mechanical and Design Engineering

Mechanisms and Machine Science -Band 161

This book presents the proceedings of the 2023 4th International Symposium on Automation, Mechanical and Design Engineering (SAMDE), held in Nanjing, China, on December 8 10, 2023. It gathers contribution…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 240,94*

Artikel ist im Warenkorb

Advances in Automation, Mechanical and Design Engineering

Mechanisms and Machine Science -Band 121

This book presents the proceedings of the 2021 International Symposium on Automation, Mechanical and Design Engineering (SAMDE), held in Beijing, China, on 3 5 December 2021, and organized by the Hong Kon…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 164,28*

Artikel ist im Warenkorb

Advances in Automation, Mechanical and Design Engineering

Mechanisms and Machine Science -Band 138

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 219,03*

Artikel ist im Warenkorb

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science -Band 14499

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in Londo…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Artikel ist im Warenkorb

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science -Band 14500

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in Londo…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Artikel ist im Warenkorb

Frontiers of Combining Systems

Lecture Notes in Artificial Intelligence -Band 14279

This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-l…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80*

Artikel ist im Warenkorb

Alessandro Gianola

Verification of Data-Aware Processes via Satisfiability Modulo Theories

Lecture Notes in Business Information Processing -Band 470

This book is a revised version of the PhD dissertation written by the author at the Free University of Bozen-Bolzano in Italy. It presents a new approach to safety verification of a particular class of i…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Artikel ist im Warenkorb

Automated Reasoning – alle Bücher

Ihre Suche nach "automated reasoning" ergab 10 Treffer