Suchresultat - Bücher - CeDe.ch

Nimm mit uns Kontakt auf!

Hast du Fragen, Tipps, Lob oder Kritik? Deine Rückmeldung hilft uns, CeDe.ch noch besser zu machen. Wir freuen uns deshalb über jede Nachricht und beantworten alle E-Mails schnell, kompetent und gerne. Vielen Dank!

Diese Seite verwendet Cookies. Erfahren Sie in unserer Datenschutzerklärung mehr darüber, wie wir Cookies einsetzen und wie Sie Ihre Einstellungen ändern können. OK

Portofreier Versand aus Winterthur seit 1997

Suchresultat

Renate A Schmidt, Christoph Benzmüller, Marijn Heule, Marijn J. H. Heule, Marijn J.H. Heule, Marijn J H Heule... - Automated Reasoning

Renate A Schmidt, Christoph Benzmüller, Marijn Heule, Marijn J. H. Heule, Marijn J.H. Heule, Marijn J H Heule... Automated Reasoning Englisch 05.09.2024 Taschenbuch Fr. 56.90 6-7 Wochen

Antonsen, Roger Antonsen - Logical Methods: The Art of Thinking Abstractly and Mathematically

Antonsen, Roger Antonsen Logical Methods: The Art of Thinking Abstractly and Mathematically Englisch 24.01.2021 Taschenbuch Fr. 56.90 6-7 Wochen

Wolfgang Schreiner - Thinking Programs

Wolfgang Schreiner Thinking Programs Englisch 05.09.2025 Fester Einband Fr. 97.00 6-7 Wochen

Alexander Bentkamp - Superposition for Higher-Order Logic

Alexander Bentkamp Superposition for Higher-Order Logic Englisch Taschenbuch Fr. 146.00 Erscheint am 06.12.2025

José Bacelar Almeida, Maria João Frade, Simão Melo de Sousa, Jor Pinto, Jorge Sousa Pinto - Rigorous Software Development

José Bacelar Almeida, Maria João Frade, Simão Melo de Sousa, Jor Pinto, Jorge Sousa Pinto Rigorous Software Development Englisch Taschenbuch Fr. 146.00 In Neuauflage, zurzeit nicht erhältlich