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

Mart Cialdea Mayer, Marta Cialdea Mayer, Pirri, Pirri, Fiora Pirri - Automated Reasoning with Analytic Tableaux and Related Methods

Mart Cialdea Mayer, Marta Cialdea Mayer, Pirri, Pirri, Fiora Pirri Automated Reasoning with Analytic Tableaux and Related Methods Anglais 01.01.2003 Livre de poche Fr. 70.00 6-7 semaines

Bar Jacobs, Bart Jacobs, Löding, Löding, Christof Löding - Foundations of Software Science and Computation Structures

Bar Jacobs, Bart Jacobs, Löding, Löding, Christof Löding Foundations of Software Science and Computation Structures Anglais 01.01.2016 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

Wolfram Kahl, José Oliveira, Michae Winter, Michael Winter - Relational and Algebraic Methods in Computer Science

Wolfram Kahl, José Oliveira, Michae Winter, Michael Winter Relational and Algebraic Methods in Computer Science Anglais 30.11.2015 Livre de poche Fr. 70.00 6-7 semaines

Ionut Tutu, Ionu uu - Recent Trends in Algebraic Development Techniques

Ionut Tutu, Ionu uu Recent Trends in Algebraic Development Techniques Anglais 07.05.2025 Livre de poche Fr. 147.00 6-7 semaines

Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz - Principles of Formal Quantitative Analysis

Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz Principles of Formal Quantitative Analysis Anglais 21.09.2025 Livre de poche Fr. 103.00 6-7 semaines

Hartmut König - Protocol Engineering

Hartmut König Protocol Engineering Anglais 01.10.2012 Livre Relié Fr. 110.00 6-7 semaines

Hartmut König - Protocol Engineering

Hartmut König Protocol Engineering Anglais 09.11.2014 Livre de poche épuisé