Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Johan Blieberger, Johann Blieberger, Strohmeier, Strohmeier, Alfred Strohmeier - Reliable Software Technologies - Ada-Europe 2002
Johan Blieberger, Johann Blieberger, Strohmeier, Strohmeier, Alfred Strohmeier Reliable Software Technologies - Ada-Europe 2002 Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Sophi Tison, Sophie Tison - Rewriting Techniques and Applications
Sophi Tison, Sophie Tison Rewriting Techniques and Applications Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Lubos Brim, Pet Jancar, Petr Jancar, Mojmir Kretinsky, Mojmir Kretinsky et al, Antonin Kucera - CONCUR 2002 - Concurrency Theory
Lubos Brim, Pet Jancar, Petr Jancar, Mojmir Kretinsky, Mojmir Kretinsky et al, Antonin Kucera CONCUR 2002 - Concurrency Theory Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines
Holge Hermanns, Holger Hermanns, SEGALA, Segala, Roberto Segala - Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Holge Hermanns, Holger Hermanns, SEGALA, Segala, Roberto Segala Process Algebra and Probabilistic Methods: Performance Modeling and Verification Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie - Formal Methods and Software Engineering
Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie Formal Methods and Software Engineering Anglais 14.04.2009 Livre de poche Fr. 70.00 6-7 semaines
Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay, Lenore D. Zuck - Verification, Model Checking, and Abstract Interpretation
Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay, Lenore D. Zuck Verification, Model Checking, and Abstract Interpretation Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
H. Hussmann, Heinrich Hußmann - Fundamental Approaches to Software Engineering
H. Hussmann, Heinrich Hußmann Fundamental Approaches to Software Engineering Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
S. Benferhat, Salem Benferhat, P. Besnard, Philippe Besnard - Symbolic and Quantitative Approaches to Reasoning with Uncertainty
S. Benferhat, Salem Benferhat, P. Besnard, Philippe Besnard Symbolic and Quantitative Approaches to Reasoning with Uncertainty Anglais 26.06.2009 Livre de poche Fr. 135.00 6-7 semaines
Gilles Barthe, P. Dybjer, Peter Dybjer, L. Pinto, Luis Pinto, Joao Saraiva... - Applied Semantics
Gilles Barthe, P. Dybjer, Peter Dybjer, L. Pinto, Luis Pinto, Joao Saraiva... Applied Semantics Anglais 07.10.2002 Livre de poche Fr. 70.00 6-7 semaines
Varol Akman, Paolo Bouquet, Richmond Thomason, Roger Young, Roger A. Young - Modeling and Using Context
Varol Akman, Paolo Bouquet, Richmond Thomason, Roger Young, Roger A. Young Modeling and Using Context Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Julian Bradfield - Computer Science Logic
Julian Bradfield Computer Science Logic Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines
Jack Dongarra, Peter Kacsuk, Dieter Kranzlmüller, Jens Volkert - Recent Advances in Parallel Virtual Machine and Message Passing Interface
Jack Dongarra, Peter Kacsuk, Dieter Kranzlmüller, Jens Volkert Recent Advances in Parallel Virtual Machine and Message Passing Interface Anglais 19.02.2009 Livre de poche Fr. 73.00 6-7 semaines
Pascal Van Hentenryck, Pascal Van Hentenryck - Principles and Practice of Constraint Programming - CP 2002
Pascal Van Hentenryck, Pascal Van Hentenryck Principles and Practice of Constraint Programming - CP 2002 Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines
Peter J. Stuckey - Logic Programming
Peter J. Stuckey Logic Programming Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Giorgia Ghelli, Gosta Grahne - Database Programming Languages
Giorgia Ghelli, Gosta Grahne Database Programming Languages Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Lars-Henrik Eriksson, Peter A. Lindsay - FME 2002: Formal Methods - Getting IT Right
Lars-Henrik Eriksson, Peter A. Lindsay FME 2002: Formal Methods - Getting IT Right Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines
Tobia Nipkow, Tobias Nipkow, Lawrence Paulson, Lawrence C Paulson, Lawrence C. Paulson, Markus Wenzel - Isabelle/HOL
Tobia Nipkow, Tobias Nipkow, Lawrence Paulson, Lawrence C Paulson, Lawrence C. Paulson, Markus Wenzel Isabelle/HOL Anglais 25.04.2002 Livre de poche Fr. 77.00 6-7 semaines
Farhad Arbab, Carolyn Talcott - Coordination Models and Languages
Farhad Arbab, Carolyn Talcott Coordination Models and Languages Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Irina Virbitskaite, Andrei Voronkov - Perspectives of Systems Informatics
Irina Virbitskaite, Andrei Voronkov Perspectives of Systems Informatics Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Eyal Bin, Shmuel Ur, Av Ziv, Avi Ziv - Hardware and Software, Verification and Testing
Eyal Bin, Shmuel Ur, Av Ziv, Avi Ziv Hardware and Software, Verification and Testing Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines