 | | | | |
| Bild | | | |
|
|
|
|
|
Springer Verlag 9783319681665 |
€ 49,99*
pro Stück |
|
|
Automated Technology for Verification and Analysis (1 Angebot) This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, I... |
Springer Verlag 9783642333859 |
€ 49,99*
pro Stück |
|
|
Automated Technology for Verification and Analysis (1 Angebot) This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022. The symp... |
Springer Verlag 9783031199912 |
€ 74,99*
pro Stück |
|
|
Automated Technology for Verification and Analysis (1 Angebot) This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposi... |
Springer Verlag 9783031453281 |
€ 79,99*
pro Stück |
|
|
Automated Technology for Verification and Analysis (1 Angebot) This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposi... |
Springer Verlag 9783031453311 |
€ 74,99*
pro Stück |
|
|
|
Springer Verlag 9783031787089 |
€ 129,99*
pro Stück |
|
|
|
Springer Verlag 9783031787492 |
€ 149,99*
pro Stück |
|
|
Automated Theorem Proving (1 Angebot) Since both the coments and the structure of the book appeared to be successful, only minor changes were made. In particular, some recent work in ATP has been incorporated so that the book continues... |
Vieweg & Teubner 9783528185206 |
€ 99,99*
pro Stück |
|
|
Automated Theorem Proving (1 Angebot) I. Natural and formal logic.- 1. Logic abstracted from natural reasoning.- 2. Logical rules.- II. The connection method in propositional logic.- 1. The language of propositional logic.- 2. The sema... |
Vieweg & Teubner 9783528085209 |
€ 51,39*
pro Stück |
|
|
Automated Theorem Proving in Software Engineering (1 Angebot) This book can mark the coming of age of automated theorem proving (ATP). The process to maturity has been a continuum, as it is for humans, but this book serves to mark the emergence of ATP into th... |
Springer Verlag 9783642087592 |
€ 49,99*
pro Stück |
|
|
Automaten Sprachen Berechenbarkeit (1 Angebot) 1 Mathematische Grundlagen.- 1.1 Mengen und Relationen.- 1.2 Funktionen und Verknüpfungen.- 1.3 Halbgruppen und Monoide.- 2 Automaten.- 2.1 Endliche Automaten.- 2.2 Kellerautomaten.- 3 Formale Spra... |
Vieweg & Teubner 9783519129370 |
€ 51,39*
pro Stück |
|
|
|
Springer Verlag 9783642180897 |
€ 30,83*
pro Stück |
|
|
|
Springer Verlag 9783540620044 |
€ 49,99*
pro Stück |
|
|
Automatic Assessment of Parkinsonian Speech (1 Angebot) This book constitutes the revised and extended papers of the First Automatic Assessment of Parkinsonian Speech Workshop, AAPS 2019, held in Cambridge, Massachusetts, USA, in September 2019. The 6 ... |
Springer Verlag 9783030656539 |
€ 49,99*
pro Stück |
|
|
|
Springer Verlag 9783319142302 |
€ 54,99*
pro Stück |
|
