remettre à zéro Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Ew Orlowska, Ewa Orlowska, Szalas, Szalas, Andrzej Szalas - Relational Methods for Computer Science Applications
Ew Orlowska, Ewa Orlowska, Szalas, Szalas, Andrzej Szalas Relational Methods for Computer Science Applications Anglais 25.07.2013 Livre de poche Fr. 70.00 6-7 semaines
Ian Ricketts - Managing Your Software Project
Ian Ricketts Managing Your Software Project Anglais 01.01.1997 Livre de poche Fr. 69.00 6-7 semaines
Ra Earnshaw, Rae Earnshaw, VINCE, Vince, John Vince - Digital Content Creation
Ra Earnshaw, Rae Earnshaw, VINCE, Vince, John Vince Digital Content Creation Anglais 01.01.2012 Livre de poche Fr. 189.00 6-7 semaines
Marsh Chechik, Marsha Chechik, Raskin, Raskin, Jean-François Raskin - Tools and Algorithms for the Construction and Analysis of Systems
Marsh Chechik, Marsha Chechik, Raskin, Raskin, Jean-François Raskin Tools and Algorithms for the Construction and Analysis of Systems Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Flemmin Nielson, Flemming Nielson, Sands, Sands, David Sands - Principles of Security and Trust
Flemmin Nielson, Flemming Nielson, Sands, Sands, David Sands Principles of Security and Trust Anglais 01.01.2019 Livre de poche Fr. 70.00 6-7 semaines
Mike Barnett, Jim Davies, Wolfram Schulte - Formal Methods and Software Engineering
Mike Barnett, Jim Davies, Wolfram Schulte Formal Methods and Software Engineering Anglais 06.06.2005 Livre de poche Fr. 135.00 6-7 semaines
Anthony K. Hyder, Anthony K. Hyder, Shahbazian, E Shahbazian, E. Shahbazian, E Waltz... - Multisensor Fusion, 2 Bde.
Anthony K. Hyder, Anthony K. Hyder, Shahbazian, E Shahbazian, E. Shahbazian, E Waltz... Multisensor Fusion, 2 Bde. Anglais 12.04.2012 Livre de poche Fr. 238.00 6-7 semaines
D. Hutter, Diete Hutter, Dieter Hutter, Stephan, Stephan, W. Stephan... - Mechanizing Mathematical Reasoning
D. Hutter, Diete Hutter, Dieter Hutter, Stephan, Stephan, W. Stephan... Mechanizing Mathematical Reasoning Anglais 26.04.2005 Livre de poche Fr. 135.00 6-7 semaines
A Campbell, A Campbell, Brun Buchberger, Bruno Buchberger, John A. Campbell - Artificial Intelligence and Symbolic Computation
A Campbell, A Campbell, Brun Buchberger, Bruno Buchberger, John A. Campbell Artificial Intelligence and Symbolic Computation Anglais 17.08.2005 Livre de poche Fr. 70.00 6-7 semaines
Kittler Josef, Josef Kittler, Josef Kittler et al, Nikunj C. Oza, Rob Polikar, Robi Polikar... - Multiple Classifier Systems
Kittler Josef, Josef Kittler, Josef Kittler et al, Nikunj C. Oza, Rob Polikar, Robi Polikar... Multiple Classifier Systems Anglais 30.01.2013 Livre de poche Fr. 70.00 6-7 semaines
Ricardo Choren, Alessandr Garcia, Alessandro Garcia, Carlos Lucena, Carlos Lucena et al, Alexander Romanovsky - Software Engineering for Multi-Agent Systems III
Ricardo Choren, Alessandr Garcia, Alessandro Garcia, Carlos Lucena, Carlos Lucena et al, Alexander Romanovsky Software Engineering for Multi-Agent Systems III Anglais 12.04.2005 Livre de poche Fr. 70.00 6-7 semaines
Colin Atkinson, Christia Bunse, Christian Bunse, Hans-Gerhard Gross, Hans-Gerhard Gross et al, Christian Peper - Component-Based Software Development for Embedded Systems
Colin Atkinson, Christia Bunse, Christian Bunse, Hans-Gerhard Gross, Hans-Gerhard Gross et al, Christian Peper Component-Based Software Development for Embedded Systems Anglais 22.12.2005 Livre de poche Fr. 70.00 6-7 semaines
Allen Emerson, E Allen Emerson, E. Allen Emerson, Kedar S. Namjoshi, S Namjoshi, S Namjoshi - Verification, Model Checking, and Abstract Interpretation
Allen Emerson, E Allen Emerson, E. Allen Emerson, Kedar S. Namjoshi, S Namjoshi, S Namjoshi Verification, Model Checking, and Abstract Interpretation Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Liu, Liu, Yan Liu, Johan M Ph Schumann, Johann M Ph Schumann, Johann M. Ph. Schumann... - Applications of Neural Networks in High Assurance Systems
Liu, Liu, Yan Liu, Johan M Ph Schumann, Johann M Ph Schumann, Johann M. Ph. Schumann... Applications of Neural Networks in High Assurance Systems Anglais 11.05.2012 Livre de poche Fr. 189.00 6-7 semaines
Yamine Ait Ameur, Frederic Boniol, Klaus-Dieter Schewe, Virginie Wiels - ABZ 2014: The Landing Gear Case Study
Yamine Ait Ameur, Frederic Boniol, Klaus-Dieter Schewe, Virginie Wiels ABZ 2014: The Landing Gear Case Study Anglais 26.05.2014 Livre de poche Fr. 70.00 6-7 semaines
Zoltán Horváth, Zoltán Horváth - Central European Functional Programming School
Zoltán Horváth, Zoltán Horváth Central European Functional Programming School Anglais 02.10.2006 Livre de poche Fr. 70.00 6-7 semaines
Sandro Etalle - Logic Based Program Synthesis and Transformation
Sandro Etalle Logic Based Program Synthesis and Transformation Anglais 24.06.2005 Livre de poche Fr. 70.00 6-7 semaines
Francesc Toni, Francesca Toni, Torroni, Torroni, Paolo Torroni - Computational Logic in Multi-Agent Systems
Francesc Toni, Francesca Toni, Torroni, Torroni, Paolo Torroni Computational Logic in Multi-Agent Systems Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Jean-Marie Jacquet, Gian Pietro Picco - Coordination Models and Languages
Jean-Marie Jacquet, Gian Pietro Picco Coordination Models and Languages Anglais 05.04.2005 Livre de poche Fr. 70.00 6-7 semaines
Patrick Godefroid - Model Checking Software
Patrick Godefroid Model Checking Software Anglais 09.08.2005 Livre de poche Fr. 70.00 6-7 semaines