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

Hendrik Decker, Abdelkader Hameurlain, Josef Küng, Roland Wagner - Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV

Hendrik Decker, Abdelkader Hameurlain, Josef Küng, Roland Wagner Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Anglais 17.10.2017 Livre de poche épuisé

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi... - Finite Model Theory and Its Applications

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi... Finite Model Theory and Its Applications Anglais 30.10.2014 Livre de poche épuisé

Peter Clote, Evangelos Kranakis - Boolean Functions and Computation Models

Peter Clote, Evangelos Kranakis Boolean Functions and Computation Models Anglais 21.10.2010 Livre de poche épuisé

Thomas Piecha, Peter Schroeder-Heister - Advances in Proof-Theoretic Semantics

Thomas Piecha, Peter Schroeder-Heister Advances in Proof-Theoretic Semantics Anglais 04.11.2015 Livre Relié épuisé

Anna Horská - Where is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals

Anna Horská Where is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals Anglais 06.11.2013 Livre de poche épuisé