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

Davide Sangiorgi, Davide Rutten Sangiorgi, SANGIORGI DAVIDE RUTTEN JAN, Jan Rutten, Jan (Stichting Centrum voor Wiskunde en Informatica (CWI) Rutten, Davide Sangiorgi - Advanced Topics in Bisimulation and Coinduction

Davide Sangiorgi, Davide Rutten Sangiorgi, SANGIORGI DAVIDE RUTTEN JAN, Jan Rutten, Jan (Stichting Centrum voor Wiskunde en Informatica (CWI) Rutten, Davide Sangiorgi Advanced Topics in Bisimulation and Coinduction Anglais 13.10.2011 Livre Relié Fr. 206.40 1-3 semaines (ne peut pas être livré de suite)

A. M. Pitts, Andrew Pitts, Andrew M. Pitts, Andrew M. (University of Cambridge) Pitts, Andrew. M Pitts - Nominal Sets

A. M. Pitts, Andrew Pitts, Andrew M. Pitts, Andrew M. (University of Cambridge) Pitts, Andrew. M Pitts Nominal Sets Anglais 30.05.2013 Livre Relié Fr. 114.00 2-3 semaines (titre imprimé sur commande)

Gerhard Brewka - Nonmonotonic Reasoning

Gerhard Brewka Nonmonotonic Reasoning Anglais 29.03.2012 Livre de poche Fr. 81.60 1-3 semaines (ne peut pas être livré de suite)

Frank de Boer, Willem-Paul Boer De Roever, de Boer Frank, Ulrich Hanneman, Willem-Paul Boer Roever, Willem-Paul De Roever... - Concurrency Verification

Frank de Boer, Willem-Paul Boer De Roever, de Boer Frank, Ulrich Hanneman, Willem-Paul Boer Roever, Willem-Paul De Roever... Concurrency Verification Anglais 26.01.2012 Livre de poche Fr. 154.90 2-3 semaines (titre imprimé sur commande)

L. M. G. Feijs, L. M. G. Jonkers Feijs, Loe M.g. Jonkers Feijs, H. B. M. Jonkers, Feijs L. M. G. - Formal Specification and Design

L. M. G. Feijs, L. M. G. Jonkers Feijs, Loe M.g. Jonkers Feijs, H. B. M. Jonkers, Feijs L. M. G. Formal Specification and Design Anglais 10.11.2005 Livre de poche Fr. 98.50 1-3 semaines (ne peut pas être livré de suite)

Flemming Nielson, Flemming (Aarhus Universitet Nielson, Flemming Nielson Nielson, Hanne Riis Nielson, C. J. van Rijsbergen, C. J. van Rijsbergen - Two-Level Functional Languages

Flemming Nielson, Flemming (Aarhus Universitet Nielson, Flemming Nielson Nielson, Hanne Riis Nielson, C. J. van Rijsbergen, C. J. van Rijsbergen Two-Level Functional Languages Anglais 22.08.2005 Livre de poche Fr. 108.00 1-3 semaines (ne peut pas être livré de suite)

Gregory J. Chaitin, Gregory. J. Chaitin, Samson Abramsky, C. J. van Rijsbergen, C. J. van Rijsbergen - Algorithmic Information Theory

Gregory J. Chaitin, Gregory. J. Chaitin, Samson Abramsky, C. J. van Rijsbergen, C. J. van Rijsbergen Algorithmic Information Theory Anglais 02.12.2004 Livre de poche Fr. 104.40 1-3 semaines (ne peut pas être livré de suite)

J. C. M. Baeten, J. C. M. (Technische Universiteit Eindhove Baeten, J. C. M. (Technische Universiteit Eindhoven Baeten, J. C. M. Basten Baeten, T. Basten, T. (Technische Universiteit Eindhoven Basten... - Process Algebra: Equational Theories of Communicating Processes

J. C. M. Baeten, J. C. M. (Technische Universiteit Eindhove Baeten, J. C. M. (Technische Universiteit Eindhoven Baeten, J. C. M. Basten Baeten, T. Basten, T. (Technische Universiteit Eindhoven Basten... Process Algebra: Equational Theories of Communicating Processes Anglais 16.12.2009 Livre Relié Fr. 175.20 1-3 semaines (ne peut pas être livré de suite)

J. -J Ch Meyer, W. Van Der Hoek, W. van der Hoek, J. -J Ch Meyer, J. -J. Ch. Meyer, J.-J Ch. Meyer... - Epistemic Logic for Ai and Computer Science

J. -J Ch Meyer, W. Van Der Hoek, W. van der Hoek, J. -J Ch Meyer, J. -J. Ch. Meyer, J.-J Ch. Meyer... Epistemic Logic for Ai and Computer Science Anglais 25.03.2004 Livre de poche Fr. 127.20 1-3 semaines (ne peut pas être livré de suite)

S. Mauw, S. (Technische Universiteit Eindhoven Mauw, Sjouke Veltink Mauw, S. Mauw, G. J. Veltink - Algebraic Specification of Communication Protocols

S. Mauw, S. (Technische Universiteit Eindhoven Mauw, Sjouke Veltink Mauw, S. Mauw, G. J. Veltink Algebraic Specification of Communication Protocols Anglais 11.12.2008 Livre de poche Fr. 87.60 1-3 semaines (ne peut pas être livré de suite)

Spivey J. M., J. M. Spivey, J. M. (University of Oxford) Spivey, J.M. Spivey - Understanding Z

Spivey J. M., J. M. Spivey, J. M. (University of Oxford) Spivey, J.M. Spivey Understanding Z Anglais 21.01.2008 Livre de poche Fr. 76.80 1-3 semaines (ne peut pas être livré de suite)

Roberto M. Amadio, Roberto M. (Universite de Provence) Amadio, Roberto M. (Universite De Provence) Curien Amadio, Roberto M. Curien Amadio, Pierre-Louis Curien, Pierre-Louis (Ecole Normale Superieure Curien... - Domains and Lambda-Calculi

Roberto M. Amadio, Roberto M. (Universite de Provence) Amadio, Roberto M. (Universite De Provence) Curien Amadio, Roberto M. Curien Amadio, Pierre-Louis Curien, Pierre-Louis (Ecole Normale Superieure Curien... Domains and Lambda-Calculi Anglais 02.07.1998 Livre Relié Fr. 252.00 1-3 semaines (ne peut pas être livré de suite)

Andrea Asperti, Andrea (Universit... Degli Studi Asperti, Andrea (Universita Degli Studi Asperti, Andrea Guerrini Asperti, Stefano Guerrini, Samson Abramsky... - Optimal Implementation of Functional Programming Languages

Andrea Asperti, Andrea (Universit... Degli Studi Asperti, Andrea (Universita Degli Studi Asperti, Andrea Guerrini Asperti, Stefano Guerrini, Samson Abramsky... Optimal Implementation of Functional Programming Languages Anglais 03.12.1998 Livre Relié Fr. 172.90 1-3 semaines (ne peut pas être livré de suite)

Jon Barwise, Jon (Indiana University) Seligman Barwise, Jon Seligman Barwise, Jerry Seligman - Information Flow

Jon Barwise, Jon (Indiana University) Seligman Barwise, Jon Seligman Barwise, Jerry Seligman Information Flow Anglais 28.08.2008 Livre de poche Fr. 116.40 1-3 semaines (ne peut pas être livré de suite)

Willem-Paul de Roever, Willem-Paul (Christian-Albrechts Univer De Roever, Willem-Paul Engelhardt De Roever, Kai Engelhardt, Willem-Paul Engelhardt Roever - Data Refinement

Willem-Paul de Roever, Willem-Paul (Christian-Albrechts Univer De Roever, Willem-Paul Engelhardt De Roever, Kai Engelhardt, Willem-Paul Engelhardt Roever Data Refinement Anglais 18.12.2008 Livre de poche Fr. 111.60 1-3 semaines (ne peut pas être livré de suite)

Frank de Boer, Frank de Boer, Willem-Paul de Roever, Willem-Paul Boer De Roever, Ulrich Hanneman, Jozef Hooman... - Concurrency Verification

Frank de Boer, Frank de Boer, Willem-Paul de Roever, Willem-Paul Boer De Roever, Ulrich Hanneman, Jozef Hooman... Concurrency Verification Anglais 26.11.2001 Livre Relié Fr. 364.80 1-3 semaines (ne peut pas être livré de suite)

David Basin, David (ETH Zentrum Basin, Alan Bundy, Alan (University of Edinburgh) Bundy, Alan (University of Edinburgh) Basin Bundy, Alan Basin Bundy... - Rippling: Meta-Level Guidance for Mathematical Reasoning

David Basin, David (ETH Zentrum Basin, Alan Bundy, Alan (University of Edinburgh) Bundy, Alan (University of Edinburgh) Basin Bundy, Alan Basin Bundy... Rippling: Meta-Level Guidance for Mathematical Reasoning Anglais 30.06.2005 Livre Relié Fr. 179.00 1-3 semaines (ne peut pas être livré de suite)

Mary E. Fissell, Mary Elizabeth Fissell, Colin Jones, Charles Rosenberg - Patients, Power and the Poor in Eighteenth-Century Bristol

Mary E. Fissell, Mary Elizabeth Fissell, Colin Jones, Charles Rosenberg Patients, Power and the Poor in Eighteenth-Century Bristol Anglais 25.10.1991 Livre Relié Fr. 170.00 3-5 semaines

Tse T. H., T. H. Tse, T. H. (The University of Hong Kong) Tse, T.H. Tse, Tse T. H. - Unifying Framework for Structured Analysis and Design Models

Tse T. H., T. H. Tse, T. H. (The University of Hong Kong) Tse, T.H. Tse, Tse T. H. Unifying Framework for Structured Analysis and Design Models Anglais 30.07.2009 Livre de poche Fr. 66.00 3-5 semaines

Marianne Winslett, Marianne (University of Illinois Winslett, Samson Abramsky, C. J. van Rijsbergen, C. J. van Rijsbergen - Updating Logical Databases

Marianne Winslett, Marianne (University of Illinois Winslett, Samson Abramsky, C. J. van Rijsbergen, C. J. van Rijsbergen Updating Logical Databases Anglais 17.02.2005 Livre de poche Fr. 76.80 2-3 semaines (titre imprimé sur commande)

1
2
3