Computer-Aided Reasoning: Acl2 Case Studies (Advances in Formal Methods, 4 | Kaicus Deutschland
All categories
Kaicus
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Medien Bücher Computer-Aided Reasoning: Acl2 Case Studies (Advances in Formal Methods, 4, Band 4)
product image
product image
product image
product image

Computer-Aided Reasoning: Acl2 Case Studies (Advances in Formal Methods, 4, Band 4)

195.84 EUR 11% Off 219.99 EUR

Marke: Springer US
MPN: 13906192
ISBN: 144194981X
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
-11%

Gesponsert Computer-Aided Reasoning: Acl2 Case Studies (Advances in Formal Methods, 4, Band 4)

195.84 EUR 219.99 EUR
16-09-2026 23:34:41
Access to the deal
-3%

Gesponsert Computer-Aided Reasoning

213.99 EUR 219.99 EUR
17-09-2026 14:44:00
Access to the deal
-3%

Gesponsert Computer-Aided Reasoning, Fachbücher von Matt Kaufmann, J. Strother Moore, Panagiotis Manolios

213.99 EUR 219.99 EUR
17-09-2026 19:11:27
Access to the deal

Gesponsert Computer-Aided Reasoning

219.99 EUR 219.99 EUR
18-09-2026 09:46:12
Access to the deal

Ähnliche Produkte

Computers in Building: Proceedings of the CAADfutures'99 Conference. Proceedings of the Eighth International Conference on Computer Aided . . . ... Atlanta, Georgia, USA on June 7–8, 1999

148.74 EUR 164.99 EUR
Produkt anzeigen

Calm

17.32 EUR 19.99 EUR
Produkt anzeigen

Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, 4, Band 4)

197.54 EUR 219.99 EUR
Produkt anzeigen

Emergent Probability Computers and Insight as Information

78.99 EUR 79.00 EUR
Produkt anzeigen