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*

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*

Model Checking Software

Lecture Notes in Computer Science -Band 14624

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,…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 54,75*

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*

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*

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*

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*

Automated Reasoning – alle Bücher

Ihre Suche nach "automated reasoning" ergab 7 Treffer

Automated Reasoning

Automated Reasoning

Model Checking Software

Advances in Automation, Mechanical and Design Engineering

Advances in Automation, Mechanical and Design Engineering

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation