Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Wolfgang Ertel - Introduction to Artificial Intelligence
Wolfgang Ertel Introduction to Artificial Intelligence Anglais 16.05.2024 Livre de poche Fr. 70.00 6-7 semaines
Pankaj Jalote - A Concise Introduction to Software Engineering
Pankaj Jalote A Concise Introduction to Software Engineering Anglais 14.03.2025 Livre de poche Fr. 70.00 6-7 semaines
Eugenio Omodeo, Eugenio G Omodeo, Eugenio G. Omodeo, Albert Policriti, Alberto Policriti, Alex Tomescu... - On Sets and Graphs
Eugenio Omodeo, Eugenio G Omodeo, Eugenio G. Omodeo, Albert Policriti, Alberto Policriti, Alex Tomescu... On Sets and Graphs Anglais 30.06.2017 Livre Relié Fr. 79.00 6-7 semaines
Bernard Zygelman - A First Introduction to Quantum Computing and Information
Bernard Zygelman A First Introduction to Quantum Computing and Information Anglais 12.12.2024 Livre de poche Fr. 70.00 6-7 semaines
Hartman, Hartman, Alan Hartman, In Schieferdecker, Ina Schieferdecker - Model Driven Architecture - Foundations and Applications
Hartman, Hartman, Alan Hartman, In Schieferdecker, Ina Schieferdecker Model Driven Architecture - Foundations and Applications Anglais 01.01.2008 Livre de poche Fr. 124.00 6-7 semaines
Gorton, Gorton, Ian Gorton, Samue Kounev, Samuel Kounev, Kai Sachs - Performance Evaluation: Metrics, Models and Benchmarks
Gorton, Gorton, Ian Gorton, Samue Kounev, Samuel Kounev, Kai Sachs Performance Evaluation: Metrics, Models and Benchmarks Anglais 29.01.2013 Livre de poche Fr. 97.00 6-7 semaines
Peter Forbrig, Fabio Paterno, Fabio Paternò - Engineering Interactive Systems 2008
Peter Forbrig, Fabio Paterno, Fabio Paternò Engineering Interactive Systems 2008 Anglais 01.01.2008 Livre de poche Fr. 110.00 6-7 semaines
Chemello, Chemello, Gaetano Chemello, Claudi Sossai, Claudio Sossai - Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Chemello, Chemello, Gaetano Chemello, Claudi Sossai, Claudio Sossai Symbolic and Quantitative Approaches to Reasoning with Uncertainty Anglais 01.01.2009 Livre de poche Fr. 135.00 6-7 semaines
Francisc Herrera, Francisco Herrera, Lui Martínez, Luis Martínez, Rosa Rodriguez, Rosa M Rodriguez... - The 2-tuple Linguistic Model
Francisc Herrera, Francisco Herrera, Lui Martínez, Luis Martínez, Rosa Rodriguez, Rosa M Rodriguez... The 2-tuple Linguistic Model Anglais 31.01.2016 Livre Relié Fr. 70.00 6-7 semaines
Kuncak, Kuncak, Viktor Kuncak, Viktor Kunčak, Rupa Majumdar, Rupak Majumdar - Computer Aided Verification
Kuncak, Kuncak, Viktor Kuncak, Viktor Kunčak, Rupa Majumdar, Rupak Majumdar Computer Aided Verification Anglais 01.01.2017 Livre de poche Fr. 70.00 6-7 semaines
Kuncak, Kuncak, Viktor Kuncak, Viktor Kunčak, Rupa Majumdar, Rupak Majumdar - Computer Aided Verification
Kuncak, Kuncak, Viktor Kuncak, Viktor Kunčak, Rupa Majumdar, Rupak Majumdar Computer Aided Verification Anglais 01.01.2017 Livre de poche Fr. 70.00 6-7 semaines
Alessandr Abate, Alessandro Abate, Boldo, Boldo, Sylvie Boldo - Numerical Software Verification
Alessandr Abate, Alessandro Abate, Boldo, Boldo, Sylvie Boldo Numerical Software Verification Anglais 01.01.2017 Livre de poche Fr. 70.00 6-7 semaines
Leonard de Moura, Leonardo De Moura - Automated Deduction - CADE 26
Leonard de Moura, Leonardo De Moura Automated Deduction - CADE 26 Anglais 01.01.2017 Livre de poche Fr. 110.00 6-7 semaines
Armi Biere, Armin Biere, Bloem, Bloem, Roderick Bloem - Computer Aided Verification
Armi Biere, Armin Biere, Bloem, Bloem, Roderick Bloem Computer Aided Verification Anglais 16.06.2014 Livre de poche Fr. 135.00 6-7 semaines
Rocc De Nicola, Rocco De Nicola, Kühn, Kühn, eva Kühn, Rocco de Nicola - Software Engineering and Formal Methods
Rocc De Nicola, Rocco De Nicola, Kühn, Kühn, eva Kühn, Rocco de Nicola Software Engineering and Formal Methods Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Swara Chaudhuri, Swarat Chaudhuri, Farzan, Farzan, Azadeh Farzan - Computer Aided Verification
Swara Chaudhuri, Swarat Chaudhuri, Farzan, Farzan, Azadeh Farzan Computer Aided Verification Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Jose Julio Alferes, José Júlio Alferes, Leopold Bertossi, Leopoldo Bertossi, Paul Fodor, Guido Governatori... - Rule Technologies. Research, Tools, and Applications
Jose Julio Alferes, José Júlio Alferes, Leopold Bertossi, Leopoldo Bertossi, Paul Fodor, Guido Governatori... Rule Technologies. Research, Tools, and Applications Anglais 01.01.2016 Livre de poche Fr. 135.00 6-7 semaines
Lönn, Lönn, Henrik Lönn, Andrzej W¿sowski, Andrze Wasowski, Andrzej Wasowski... - Modelling Foundations and Applications
Lönn, Lönn, Henrik Lönn, Andrzej W¿sowski, Andrze Wasowski, Andrzej Wasowski... Modelling Foundations and Applications Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Ruy de Queiroz, Ås Hirvonen, Åsa Hirvonen, Ruy de Queiroz, Jouko Väänänen - Logic, Language, Information, and Computation
Ruy de Queiroz, Ås Hirvonen, Åsa Hirvonen, Ruy de Queiroz, Jouko Väänänen Logic, Language, Information, and Computation Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
R Kurki-Suonio, R. Kurki-Suonio, Reino Kurki-Suonio - A Practical Theory of Reactive Systems
R Kurki-Suonio, R. Kurki-Suonio, Reino Kurki-Suonio A Practical Theory of Reactive Systems Anglais 01.01.2014 Livre Relié Fr. 70.00 6-7 semaines