Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Alessandro Antonucci, Laurenc Cholvy, Laurence Cholvy, Odile Papini - Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Alessandro Antonucci, Laurenc Cholvy, Laurence Cholvy, Odile Papini Symbolic and Quantitative Approaches to Reasoning with Uncertainty Anglais 31.07.2017 Livre de poche Fr. 70.00 6-7 semaines
Sergiy Bogomolov, Matthie Martel, Matthieu Martel, Pavithra Prabhakar - Numerical Software Verification
Sergiy Bogomolov, Matthie Martel, Matthieu Martel, Pavithra Prabhakar Numerical Software Verification Anglais 31.03.2017 Livre de poche Fr. 70.00 6-7 semaines
Matthe England, Matthew England, Herman Geuvers, Osman Hasan, Osman Hasan et al, Florian Rabe... - Intelligent Computer Mathematics
Matthe England, Matthew England, Herman Geuvers, Osman Hasan, Osman Hasan et al, Florian Rabe... Intelligent Computer Mathematics Anglais 31.07.2017 Livre de poche Fr. 70.00 6-7 semaines
Pepita Barnard, Pepita Barnard et al, John Robert Bautista, Gema Bello-Orgaz, Santanu Dash, Arya Farahi... - Testing Software and Systems
Pepita Barnard, Pepita Barnard et al, John Robert Bautista, Gema Bello-Orgaz, Santanu Dash, Arya Farahi... Testing Software and Systems Anglais 19.01.2025 Livre de poche Fr. 92.00 6-7 semaines
Erika Ábrahám, Marcell Bonsangue, Marcello Bonsangue, Einar Broch Johnsen, Einar Broch Johnsen - Theory and Practice of Formal Methods
Erika Ábrahám, Marcell Bonsangue, Marcello Bonsangue, Einar Broch Johnsen, Einar Broch Johnsen Theory and Practice of Formal Methods Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Matthia Hölzl, Matthias Hölzl, Nora Koch, Nora Koch et al, Philip Mayer, Martin Wirsing - Software Engineering for Collective Autonomic Systems
Matthia Hölzl, Matthias Hölzl, Nora Koch, Nora Koch et al, Philip Mayer, Martin Wirsing Software Engineering for Collective Autonomic Systems Anglais 01.01.2015 Livre de poche Fr. 70.00 6-7 semaines
Christian Berger, Mohammad Reza Mousavi, Mohamma Reza Mousavi, Mohammad Reza Mousavi, Rafael Wisniewski - Cyber Physical Systems. Design, Modeling, and Evaluation
Christian Berger, Mohammad Reza Mousavi, Mohamma Reza Mousavi, Mohammad Reza Mousavi, Rafael Wisniewski Cyber Physical Systems. Design, Modeling, and Evaluation Anglais 01.01.2017 Livre de poche Fr. 70.00 6-7 semaines
Sushil Jajodia, Barbar Kordy, Barbara Kordy, Sjouke Mauw - Graphical Models for Security
Sushil Jajodia, Barbar Kordy, Barbara Kordy, Sjouke Mauw Graphical Models for Security Anglais 01.01.2016 Livre de poche Fr. 59.50 6-7 semaines
Sotiris Batsakis, Heinric C Mayr, Heinrich C Mayr, Heinrich C. Mayr, Mykola Nikitchenko, Mykola Nikitchenko et al... - Information and Communication Technologies in Education, Research, and Industrial Applications
Sotiris Batsakis, Heinric C Mayr, Heinrich C Mayr, Heinrich C. Mayr, Mykola Nikitchenko, Mykola Nikitchenko et al... Information and Communication Technologies in Education, Research, and Industrial Applications Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Roberto Giacobazzi, Gorla, Alessandra Gorla - Static Analysis
Roberto Giacobazzi, Gorla, Alessandra Gorla Static Analysis Anglais 01.12.2024 Livre de poche Fr. 103.00 6-7 semaines
Maksim Jenihhin, Maksim et al Jenihhin, Artur Jutman, Jaan Raik, Raimund Ubar - Structural Decision Diagrams in Digital Test
Maksim Jenihhin, Maksim et al Jenihhin, Artur Jutman, Jaan Raik, Raimund Ubar Structural Decision Diagrams in Digital Test Anglais 12.02.2025 Livre de poche Fr. 262.00 6-7 semaines
Donal Sannella, Donald Sannella, Andrzej Tarlecki - Foundations of Algebraic Specification and Formal Software Development
Donal Sannella, Donald Sannella, Andrzej Tarlecki Foundations of Algebraic Specification and Formal Software Development Anglais 03.04.2014 Livre de poche Fr. 110.00 6-7 semaines
Juan Tapiador - The Computer Security Workbook
Juan Tapiador The Computer Security Workbook Anglais Livre de poche Fr. 69.00 Paraît le 26.08.2025
Irene Rothe - Informatik für alle
Irene Rothe Informatik für alle Allemand Livre de poche Fr. 58.50 Paraît le 10.11.2025
Markus Junker - Logik für die Informatik
Markus Junker Logik für die Informatik Allemand Livre de poche Fr. 49.90 Paraît le 29.04.2025
Ping-Qi Pan - Face Method
Ping-Qi Pan Face Method Anglais, Allemand Livre Relié Fr. 206.00 Paraît le 29.09.2025
Torben Ægidius Mogensen - Programming Language Design and Implementation
Torben Ægidius Mogensen Programming Language Design and Implementation Anglais, Allemand Livre Relié Fr. 103.00 En réédition, pas disponible actuellement
Ionut Tutu, Ionu uu - Recent Trends in Algebraic Development Techniques
Ionut Tutu, Ionu uu Recent Trends in Algebraic Development Techniques Anglais Livre de poche Fr. 146.00 Paraît le 07.05.2025