 |  |  |  |  |  |
| Bild | | | | Bestellen |
 |
|
100% |
|
Automated Deduction - CADE-20 (1 Angebot) What Do We Know When We Know That a Theory Is Consistent?.- Reflecting Proofs in First-Order Logic with Equality.- Reasoning in Extensional Type Theory with Equality.- Nominal Techniques in Isabell... |
Springer Verlag 9783540280057 |
€ 49,99* pro Stück |
|
100% |
|
|
|
€ 394,55* pro Stück |
|
100% |
|
Auslandseinsätze der Bundeswehr (1 Angebot) In dieser Illustration finden Sie umfangreiche Aufführungen über Patches, Brustanhänger, Feldpostkarten und eine kleinere Anzahl von Benzinfeuerzeugen und Tassen. Diese "Souvenirs" wurden bei den A... |
Books on Demand 9783759796400 |
€ 32,73* pro Stück |
|
100% |
|
|
|
€ 359,74* pro Stück |
|
100% |
|
|
|
€ 249,99* pro Stück |
|
100% |
|
|
|
€ 99,99* pro Stück |
|
100% |
|
|
|
€ 509,64* pro Stück |
|
100% |
|
|
Springer Verlag 9783030083229 |
€ 89,99* pro Stück |
|
100% |
|
|
|
€ 169,99* pro Stück |
|
100% |
|
|
|
€ 1 318,74* pro Stück |
|
100% |
|
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 |
|
100% |
|
|
|
€ 2 310,73* pro Stück |
|
100% |
|
|
Springer Verlag 9783030103729 |
€ 119,99* pro Stück |
|
100% |
|
|
|
€ 1 739,48* pro Stück |
|
100% |
|
|
|
€ 3 641,72* pro Stück |
|
|