Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Doro A Peled, Doron A Peled, Doron Peled, Doron A. Peled, Tsay, Tsay... - Automated Technology for Verification and Analysis
Doro A Peled, Doron A Peled, Doron Peled, Doron A. Peled, Tsay, Tsay... Automated Technology for Verification and Analysis Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Beniamino Di Martino, Jack Dongarra, Diete Kranzlmüller, Dieter Kranzlmüller, Beniamino di Martino - Recent Advances in Parallel Virtual Machine and Message Passing Interface
Beniamino Di Martino, Jack Dongarra, Diete Kranzlmüller, Dieter Kranzlmüller, Beniamino di Martino Recent Advances in Parallel Virtual Machine and Message Passing Interface Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Chri Hankin, Chris Hankin, Siveroni, Siveroni, Igor Siveroni - Static Analysis
Chri Hankin, Chris Hankin, Siveroni, Siveroni, Igor Siveroni Static Analysis Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Uw Assmann, Uwe Aßmann, Thomas Gschwind, Oscar Nierstrasz - Software Composition
Uw Assmann, Uwe Aßmann, Thomas Gschwind, Oscar Nierstrasz Software Composition Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Masam Hagiya, Masami Hagiya, Wadler, Wadler, Philip Wadler - Functional and Logic Programming
Masam Hagiya, Masami Hagiya, Wadler, Wadler, Philip Wadler Functional and Logic Programming Anglais 14.04.2009 Livre de poche Fr. 70.00 6-7 semaines
Dov Dori - Object-Process Methodology
Dov Dori Object-Process Methodology Anglais 03.10.2013 Livre de poche Fr. 84.00 6-7 semaines
Christophe Dony, J. L. Knudsen, Jorgen Lindskov Knudsen, Jorge Lindskov Knudsen, Jorgen Lindskov Knudsen, Alexander Romanovsky... - Advanced Topics in Exception Handling Techniques
Christophe Dony, J. L. Knudsen, Jorgen Lindskov Knudsen, Jorge Lindskov Knudsen, Jorgen Lindskov Knudsen, Alexander Romanovsky... Advanced Topics in Exception Handling Techniques Anglais 20.10.2006 Livre de poche Fr. 70.00 6-7 semaines
Davi Lightfoot, David Lightfoot, Szyperski, Szyperski, Clemens Szyperski - Modular Programming Languages
Davi Lightfoot, David Lightfoot, Szyperski, Szyperski, Clemens Szyperski Modular Programming Languages Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Eugene Asarin, Patricia Bouyer - Formal Modeling and Analysis of Timed Systems
Eugene Asarin, Patricia Bouyer Formal Modeling and Analysis of Timed Systems Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
David Harel, Oscar Nierstrasz, Gianna Reggio, Jon Whittle - Model Driven Engineering Languages and Systems
David Harel, Oscar Nierstrasz, Gianna Reggio, Jon Whittle Model Driven Engineering Languages and Systems Anglais 14.04.2009 Livre de poche Fr. 135.00 6-7 semaines
Jifeng He, Zhiming Liu - Formal Methods and Software Engineering
Jifeng He, Zhiming Liu Formal Methods and Software Engineering Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines
Mats Carlsson, Francois Fages, Francois Fages et al, Brahim Hnich, Francesca Rossi - Recent Advances in Constraints
Mats Carlsson, Francois Fages, Francois Fages et al, Brahim Hnich, Francesca Rossi Recent Advances in Constraints Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
González Harbour, González Harbour, Michael González Harbour, Luí Miguel Pinho, Luís Miguel Pinho, Luis Miguel Pinho... - Reliable Software Technologies -- Ada-Europe 2006
González Harbour, González Harbour, Michael González Harbour, Luí Miguel Pinho, Luís Miguel Pinho, Luis Miguel Pinho... Reliable Software Technologies -- Ada-Europe 2006 Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Paol Ciancarini, Paolo Ciancarini, Wiklicky, Wiklicky, Herbert Wiklicky - Coordination Models and Languages
Paol Ciancarini, Paolo Ciancarini, Wiklicky, Wiklicky, Herbert Wiklicky Coordination Models and Languages Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Nabil Abdennadher, Nabi Abdennahder, Nabil Abdennahder, KORDON, Kordon, Fabrice Kordon - Reliable Software Technologies - Ada-Europe 2007
Nabil Abdennadher, Nabi Abdennahder, Nabil Abdennahder, KORDON, Kordon, Fabrice Kordon Reliable Software Technologies - Ada-Europe 2007 Anglais 05.08.2009 Livre de poche Fr. 70.00 6-7 semaines
Hubert Comon-Lundh, Claud Kirchner, Claude Kirchner, Hélène Kirchner - Rewriting, Computation and Proof
Hubert Comon-Lundh, Claud Kirchner, Claude Kirchner, Hélène Kirchner Rewriting, Computation and Proof Anglais 05.08.2009 Livre de poche Fr. 70.00 6-7 semaines
Christia Bessiere, Christian Bessiere - Principles and Practice of Constraint Programming - CP 2007
Christia Bessiere, Christian Bessiere Principles and Practice of Constraint Programming - CP 2007 Anglais 14.04.2009 Livre de poche Fr. 135.00 6-7 semaines
W. Emmerich, Wolfgan Emmerich, Wolfgang Emmerich, Tai, Tai, S. Tai... - Engineering Distributed Objects
W. Emmerich, Wolfgan Emmerich, Wolfgang Emmerich, Tai, Tai, S. Tai... Engineering Distributed Objects Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
David Aha, David W. Aha, David A. Kidwell, Davi W Aha, David W Aha, Watson... - Case-Based Reasoning Research and Development
David Aha, David W. Aha, David A. Kidwell, Davi W Aha, David W Aha, Watson... Case-Based Reasoning Research and Development Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines
Rachi Guerraoui, Rachid Guerraoui - Middleware 2001
Rachi Guerraoui, Rachid Guerraoui Middleware 2001 Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines