Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Haller, Haller, Philipp Haller, Alessandr Ricci, Alessandro Ricci - Programming with Actors
Haller, Haller, Philipp Haller, Alessandr Ricci, Alessandro Ricci Programming with Actors Anglais 30.11.2018 Livre de poche Fr. 70.00 6-7 semaines
Davide Ciucci, Gabriell Pasi, Gabriella Pasi, Barbara Vantaggi - Scalable Uncertainty Management
Davide Ciucci, Gabriell Pasi, Gabriella Pasi, Barbara Vantaggi Scalable Uncertainty Management Anglais 30.11.2018 Livre de poche Fr. 70.00 6-7 semaines
David Van Horn, Hughes, Hughes, John Hughes, Davi Van Horn, David Van Horn - Trends in Functional Programming
David Van Horn, Hughes, Hughes, John Hughes, Davi Van Horn, David Van Horn Trends in Functional Programming Anglais 01.01.2019 Livre de poche Fr. 70.00 6-7 semaines
Lee Ammeraal, Leen Ammeraal, Kang Zhang - Computer Graphics for Java Programmers
Lee Ammeraal, Leen Ammeraal, Kang Zhang Computer Graphics for Java Programmers Anglais 01.01.2018 Livre de poche Fr. 93.00 6-7 semaines
Chi N Thai, Chi N. Thai - Exploring Robotics with ROBOTIS Systems
Chi N Thai, Chi N. Thai Exploring Robotics with ROBOTIS Systems Anglais 01.01.2018 Livre de poche Fr. 84.00 6-7 semaines
Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... - String Analysis for Software Verification and Security
Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... String Analysis for Software Verification and Security Anglais 01.01.2019 Livre de poche Fr. 90.00 6-7 semaines
OWENS, Owens, Scott Owens, Men Wang, Meng Wang - Trends in Functional Programming
OWENS, Owens, Scott Owens, Men Wang, Meng Wang Trends in Functional Programming Anglais 01.01.2018 Livre de poche Fr. 59.50 6-7 semaines
Marcell Bonsangue, Marcello Bonsangue, Frank de Boer, Jan Rutten - It's All About Coordination
Marcell Bonsangue, Marcello Bonsangue, Frank de Boer, Jan Rutten It's All About Coordination Anglais 01.01.2018 Livre de poche Fr. 70.00 6-7 semaines
Louis-Marti Rousseau, Louis-Martin Rousseau, Stergiou, Stergiou, Kostas Stergiou - Integration of Constraint Programming, Artificial Intelligence, and Operations Research
Louis-Marti Rousseau, Louis-Martin Rousseau, Stergiou, Stergiou, Kostas Stergiou Integration of Constraint Programming, Artificial Intelligence, and Operations Research Anglais 01.01.2019 Livre de poche Fr. 70.00 6-7 semaines
Francesco Calimeri, Nicol Leone, Nicola Leone, Marco Manna - Logics in Artificial Intelligence
Francesco Calimeri, Nicol Leone, Nicola Leone, Marco Manna Logics in Artificial Intelligence Anglais 01.01.2019 Livre de poche Fr. 133.00 6-7 semaines
Julia M. Badger, Juli M Badger, Julia M Badger, Kristin Yvonne Rozier, Yvonne Rozier, Yvonne Rozier - NASA Formal Methods
Julia M. Badger, Juli M Badger, Julia M Badger, Kristin Yvonne Rozier, Yvonne Rozier, Yvonne Rozier NASA Formal Methods Anglais 01.01.2019 Livre de poche Fr. 92.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
Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al, Marcell M Bonsangue... - Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al, Marcell M Bonsangue... Formal Methods for Components and Objects Anglais 20.12.2004 Livre de poche Fr. 70.00 6-7 semaines
Marti Steffen, Martin Steffen, Zavattaro, Zavattaro, Gianluigi Zavattaro - Formal Methods for Open Object-Based Distributed Systems
Marti Steffen, Martin Steffen, Zavattaro, Zavattaro, Gianluigi Zavattaro Formal Methods for Open Object-Based Distributed Systems Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
M. Bernardo, Marc Bernardo, Marco Bernardo, Corradini, Corradini, F. Corradini... - Formal Methods for the Design of Real-Time Systems
M. Bernardo, Marc Bernardo, Marco Bernardo, Corradini, Corradini, F. Corradini... Formal Methods for the Design of Real-Time Systems Anglais 20.12.2004 Livre de poche Fr. 70.00 6-7 semaines
H. Kreowski, Hans-Jörg Kreowski, Ug Montanari, Ugo Montanari, Fernando Orejas, Fernando Orejas et al... - Formal Methods in Software and Systems Modeling
H. Kreowski, Hans-Jörg Kreowski, Ug Montanari, Ugo Montanari, Fernando Orejas, Fernando Orejas et al... Formal Methods in Software and Systems Modeling Anglais 26.04.2005 Livre de poche Fr. 70.00 6-7 semaines
Christoph Schäfer, Christoph M. Schäfer - Schnellstart Python
Christoph Schäfer, Christoph M. Schäfer Schnellstart Python Allemand 04.07.2019 Livre de poche Fr. 22.50 6-7 semaines
Guillaum Bonfante, Guillaume Bonfante, Mourad Debbabi, Mourad Debbabi et al, Joaquin Garcia-Alfaro, Nur Zincir-Heywood - Foundations and Practice of Security
Guillaum Bonfante, Guillaume Bonfante, Mourad Debbabi, Mourad Debbabi et al, Joaquin Garcia-Alfaro, Nur Zincir-Heywood Foundations and Practice of Security Anglais 01.01.2019 Livre de poche Fr. 92.00 6-7 semaines
Gay, Gay, Gregory Gay, Shiv Nejati, Shiva Nejati - Search-Based Software Engineering
Gay, Gay, Gregory Gay, Shiv Nejati, Shiva Nejati Search-Based Software Engineering Anglais 01.01.2019 Livre de poche Fr. 70.00 6-7 semaines
García Rodríguez de Guzmán, Ignacio García Rodríguez de Guzmán, Ricardo Pérez-Castillo, Mario Piattini, Paul Rupino da Cunha, Paulo Rupino Da Cunha - Quality of Information and Communications Technology
García Rodríguez de Guzmán, Ignacio García Rodríguez de Guzmán, Ricardo Pérez-Castillo, Mario Piattini, Paul Rupino da Cunha, Paulo Rupino Da Cunha Quality of Information and Communications Technology Anglais 31.10.2019 Livre de poche Fr. 105.00 6-7 semaines