Résultat de la recherche - Livres - CeDe.ch

Prendre contact avec CeDe

Vous avez des questions, des conseils, des compliments ou des critiques dont vous souhaitez nous faire part? Vos commentaires nous aident à améliorer CeDe.ch. Nous serons heureux de recevoir vos messages et nous répondons à tous les E-mails, rapidement, de manière professionnelle et avec plaisir. Merci beaucoup!

Ce site utilise des cookies. Lisez notre Déclaration de protection des données pour en savoir plus sur la façon dont nous utilisons les cookies et comment vous pouvez modifier vos préférences. OK

Meilleur service et livraison gratuite depuis 1997

Liste des désirs

Résultat de la recherche

Jea Krivine, Jean Krivine, Stefani, Stefani, Jean-Bernard Stefani - Reversible Computation

Jea Krivine, Jean Krivine, Stefani, Stefani, Jean-Bernard Stefani Reversible Computation Anglais 01.01.2015 Livre de poche Fr. 68.00 6-7 semaines

Roland Meyer, Andr Platzer, Andre Platzer, André Platzer, Heike Wehrheim - Correct System Design

Roland Meyer, Andr Platzer, Andre Platzer, André Platzer, Heike Wehrheim Correct System Design Anglais 01.01.2015 Livre de poche Fr. 68.00 6-7 semaines

Roel de Vrijer, Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Vincen van Oostrom, Vincent van Oostrom... - Processes, Terms and Cycles: Steps on the Road to Infinity

Roel de Vrijer, Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Vincen van Oostrom, Vincent van Oostrom... Processes, Terms and Cycles: Steps on the Road to Infinity Anglais 23.12.2005 Livre de poche Fr. 135.00 6-7 semaines

R. Nieuwenhuis, Robert Nieuwenhuis - Rewriting Techniques and Applications

R. Nieuwenhuis, Robert Nieuwenhuis Rewriting Techniques and Applications Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines

Edmund M. Clarke, Edmun M Clarke, Edmund M Clarke, Voronkov, Voronkov, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning

Edmund M. Clarke, Edmun M Clarke, Edmund M Clarke, Voronkov, Voronkov, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Anglais 03.11.2010 Livre de poche Fr. 70.00 6-7 semaines

Adrian-Horia Dediu, Enric Formenti, Enrico Formenti, Carlos Martín-Vide, Carlos Martín-Vide et al, Bianca Truthe - Language and Automata Theory and Applications

Adrian-Horia Dediu, Enric Formenti, Enrico Formenti, Carlos Martín-Vide, Carlos Martín-Vide et al, Bianca Truthe Language and Automata Theory and Applications Anglais 01.01.2015 Livre de poche Fr. 70.00 6-7 semaines

Alexander Bentkamp - Superposition for Higher-Order Logic

Alexander Bentkamp Superposition for Higher-Order Logic Anglais Livre de poche Fr. 146.00 Paraît le 06.12.2025