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

Eric Grädel, Erich Grädel, Phokion Kolaitis, Phokion G Kolaitis, Phokion G. Kolaitis, Leonid Libkin... - Finite Model Theory and Its Applications

Eric Grädel, Erich Grädel, Phokion Kolaitis, Phokion G Kolaitis, Phokion G. Kolaitis, Leonid Libkin... Finite Model Theory and Its Applications Anglais 26.04.2007 Livre Relié Fr. 124.00 6-7 semaines

Juraj Hromkovic, Juraj Hromkovič - Algorithmics for Hard Problems

Juraj Hromkovic, Juraj Hromkovič Algorithmics for Hard Problems Anglais 01.01.2004 Livre Relié Fr. 124.00 6-7 semaines

Yve Bertot, Yves Bertot, P. Casteran, Pierre Castéran - Interactive Theorem Proving and Program Development

Yve Bertot, Yves Bertot, P. Casteran, Pierre Castéran Interactive Theorem Proving and Program Development Anglais 01.01.2004 Livre Relié Fr. 147.00 6-7 semaines

Klaus Schneider - Verification of Reactive Systems

Klaus Schneider Verification of Reactive Systems Anglais 22.10.2003 Livre Relié Fr. 70.00 6-7 semaines

Fre Kröger, Fred Kröger, Stefan Merz, Stephan Merz - Temporal Logic and State Systems

Fre Kröger, Fred Kröger, Stefan Merz, Stephan Merz Temporal Logic and State Systems Anglais 31.03.2008 Livre Relié Fr. 104.00 6-7 semaines

Ari Koster, Arie Koster, Arie M. C. A. Koster, Muñoz, Muñoz, Xavier Muñoz - Graphs and Algorithms in Communication Networks

Ari Koster, Arie Koster, Arie M. C. A. Koster, Muñoz, Muñoz, Xavier Muñoz Graphs and Algorithms in Communication Networks Anglais 15.12.2009 Livre Relié Fr. 189.00 6-7 semaines

Fedor Fomin, Fedor V Fomin, Fedor V. Fomin, Dieter Kratsch - Exact Exponential Algorithms

Fedor Fomin, Fedor V Fomin, Fedor V. Fomin, Dieter Kratsch Exact Exponential Algorithms Anglais 06.10.2010 Livre Relié Fr. 104.00 6-7 semaines

Dennis Komm - An Introduction to Online Computation

Dennis Komm An Introduction to Online Computation Anglais 01.01.2016 Livre Relié Fr. 124.00 6-7 semaines

Robert Bruni, Roberto Bruni, Ugo Montanari - Models of Computation

Robert Bruni, Roberto Bruni, Ugo Montanari Models of Computation Anglais 01.01.2017 Livre Relié Fr. 84.00 6-7 semaines

Eri BADOUEL, Eric Badouel, Luc Bernardinello, Luca Bernardinello, Phili Darondeau, Philippe Darondeau - Petri Net Synthesis

Eri BADOUEL, Eric Badouel, Luc Bernardinello, Luca Bernardinello, Phili Darondeau, Philippe Darondeau Petri Net Synthesis Anglais 01.01.2015 Livre Relié Fr. 84.00 6-7 semaines

Robert Gorrieri, Roberto Gorrieri, Cristian Versari - Introduction to Concurrency Theory

Robert Gorrieri, Roberto Gorrieri, Cristian Versari Introduction to Concurrency Theory Anglais 01.01.2015 Livre Relié Fr. 70.00 6-7 semaines

Danie Kroening, Daniel Kroening, Ofer Strichman - Decision Procedures

Danie Kroening, Daniel Kroening, Ofer Strichman Decision Procedures Anglais 01.01.2017 Livre Relié Fr. 104.00 6-7 semaines

Stasys Jukna - Extremal Combinatorics

Stasys Jukna Extremal Combinatorics Anglais 01.09.2011 Livre Relié Fr. 124.00 6-7 semaines