Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Alessandro Armando - Frontiers of Combining Systems
Alessandro Armando Frontiers of Combining Systems Anglais 20.03.2002 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
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
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
Luj Bauer, Lujo Bauer, Küsters, Küsters, Ralf Küsters - Principles of Security and Trust
Luj Bauer, Lujo Bauer, Küsters, Küsters, Ralf Küsters Principles of Security and Trust Anglais 01.01.2018 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
Mohammad Abdullah Al Faruque, Marco Aurélio Wehrmeister et al, Marcelo Götz, Achim Rettberg, Guna Schirner, Gunar Schirner... - System Level Design from HW/SW to Memory for Embedded Systems
Mohammad Abdullah Al Faruque, Marco Aurélio Wehrmeister et al, Marcelo Götz, Achim Rettberg, Guna Schirner, Gunar Schirner... System Level Design from HW/SW to Memory for Embedded Systems Anglais 01.01.2018 Livre Relié 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
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
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
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
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
Nadia Polikarpova, Steve Schneider - Integrated Formal Methods
Nadia Polikarpova, Steve Schneider Integrated Formal Methods Anglais 27.08.2017 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
Gerard Chollet, Ann Esposito, Anna Esposito, Marcos Faundez-Zanuy, Marcos Faundez-Zanuy et al, Maria Marinaro - Nonlinear Speech Modeling and Applications
Gerard Chollet, Ann Esposito, Anna Esposito, Marcos Faundez-Zanuy, Marcos Faundez-Zanuy et al, Maria Marinaro Nonlinear Speech Modeling and Applications Anglais 08.09.2005 Livre de poche Fr. 70.00 6-7 semaines
Teru Higashino, Teruo Higashino - Principles of Distributed Systems
Teru Higashino, Teruo Higashino Principles of Distributed Systems Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Rober Nieuwenhuis, Robert Nieuwenhuis - Automated Deduction - CADE-20
Rober Nieuwenhuis, Robert Nieuwenhuis Automated Deduction - CADE-20 Anglais 26.06.2009 Livre de poche Fr. 70.00 6-7 semaines