Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Mercede G Merayo, Mercedes G Merayo, Mercedes G. Merayo, Montes de Oca, Montes de Oca, Edgardo Montes de Oca - Testing Software and Systems
Mercede G Merayo, Mercedes G Merayo, Mercedes G. Merayo, Montes de Oca, Montes de Oca, Edgardo Montes de Oca Testing Software and Systems Anglais 01.01.2014 Livre de poche Fr. 70.00 6-7 semaines
Jett Kleijn, Jetty Kleijn, Maciej Koutny, Wojciech Penczek, Wojciech Penczek et al, Mingmin Zhang - Transactions on Petri Nets and Other Models of Concurrency XII
Jett Kleijn, Jetty Kleijn, Maciej Koutny, Wojciech Penczek, Wojciech Penczek et al, Mingmin Zhang Transactions on Petri Nets and Other Models of Concurrency XII Anglais 01.01.2017 Livre de poche Fr. 70.00 6-7 semaines
Bruno Berstel-Da Silva - Verification of Business Rules Programs
Bruno Berstel-Da Silva Verification of Business Rules Programs Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Xavie Rival, Xavier Rival - Static Analysis
Xavie Rival, Xavier Rival Static Analysis Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Jör Desel, Jörg Desel, Jetty Kleijn, Maciej Koutny - Transactions on Petri Nets and Other Models of Concurrency XI
Jör Desel, Jörg Desel, Jetty Kleijn, Maciej Koutny Transactions on Petri Nets and Other Models of Concurrency XI Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Kim Guldstrand Larsen, Kim Gulstrand Larsen, Igo Potapov, Igor Potapov, Ji¿í Srba, Jirí Srba... - Reachability Problems
Kim Guldstrand Larsen, Kim Gulstrand Larsen, Igo Potapov, Igor Potapov, Ji¿í Srba, Jirí Srba... Reachability Problems Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Parosh Aziz Abdulla, Paros Aziz Abdulla, Parosh Aziz Abdulla, Carole Delporte, Delporte-Gallet, Delporte-Gallet... - Networked Systems
Parosh Aziz Abdulla, Paros Aziz Abdulla, Parosh Aziz Abdulla, Carole Delporte, Delporte-Gallet, Delporte-Gallet... Networked Systems Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Ana Rosa Cavalli, An Rosa Cavalli, Ana Rosa Cavalli, Hüsnü Yenigün, Nina Yevtushenko - Testing Software and Systems
Ana Rosa Cavalli, An Rosa Cavalli, Ana Rosa Cavalli, Hüsnü Yenigün, Nina Yevtushenko Testing Software and Systems Anglais 01.01.2017 Livre de poche Fr. 70.00 6-7 semaines
Nicolás Marín, Serafin Moral, Serafín Moral, Olivie Pivert, Olivier Pivert, Daniel Sánchez... - Scalable Uncertainty Management
Nicolás Marín, Serafin Moral, Serafín Moral, Olivie Pivert, Olivier Pivert, Daniel Sánchez... Scalable Uncertainty Management Anglais 01.01.2017 Livre de poche Fr. 70.00 6-7 semaines
Bruno Berstel-Da Silva - Verification of Business Rules Programs
Bruno Berstel-Da Silva Verification of Business Rules Programs Anglais 25.07.2013 Livre Relié Fr. 70.00 6-7 semaines
Fernand Castor, Fernando Castor, David Liu, David Liu, Yu David Liu - Programming Languages
Fernand Castor, Fernando Castor, David Liu, David Liu, Yu David Liu Programming Languages Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Friedemann Bitsch, Jérémi Guiochet, Jérémie Guiochet, Amund Skavhaug - Computer Safety, Reliability, and Security
Friedemann Bitsch, Jérémi Guiochet, Jérémie Guiochet, Amund Skavhaug Computer Safety, Reliability, and Security Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Friedemann Bitsch, Jérémi Guiochet, Jérémie Guiochet, Erwin Schoitsch, Erwin Schoitsch et al, Amund Skavhaug - Computer Safety, Reliability, and Security
Friedemann Bitsch, Jérémi Guiochet, Jérémie Guiochet, Erwin Schoitsch, Erwin Schoitsch et al, Amund Skavhaug Computer Safety, Reliability, and Security Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Pari Avgeriou, Paris Avgeriou, Zdun, Zdun, Uwe Zdun - Software Architecture
Pari Avgeriou, Paris Avgeriou, Zdun, Zdun, Uwe Zdun Software Architecture Anglais 21.07.2014 Livre de poche Fr. 70.00 6-7 semaines
Andrea Bondavalli, Andre Ceccarelli, Andrea Ceccarelli, Frank Ortmeier - Computer Safety, Reliability, and Security
Andrea Bondavalli, Andre Ceccarelli, Andrea Ceccarelli, Frank Ortmeier Computer Safety, Reliability, and Security Anglais 01.01.2014 Livre de poche Fr. 70.00 6-7 semaines
Renat A Schmidt, Renate A Schmidt, Nalon, Nalon, Cláudia Nalon, Renate A. Schmidt - Automated Reasoning with Analytic Tableaux and Related Methods
Renat A Schmidt, Renate A Schmidt, Nalon, Nalon, Cláudia Nalon, Renate A. Schmidt Automated Reasoning with Analytic Tableaux and Related Methods Anglais 01.01.2017 Livre de poche Fr. 90.00 6-7 semaines
Matthe Hague, Matthew Hague, Potapov, Potapov, Igor Potapov - Reachability Problems
Matthe Hague, Matthew Hague, Potapov, Potapov, Igor Potapov Reachability Problems Anglais 01.01.2017 Livre de poche Fr. 70.00 6-7 semaines
Friedemann Bitsch, Barbara Gallina, Erwin Schoitsch, Erwin Schoitsch et al, Amun Skavhaug, Amund Skavhaug - Computer Safety, Reliability, and Security
Friedemann Bitsch, Barbara Gallina, Erwin Schoitsch, Erwin Schoitsch et al, Amun Skavhaug, Amund Skavhaug Computer Safety, Reliability, and Security Anglais 01.01.2018 Livre de poche Fr. 113.00 6-7 semaines
Nathali Bertrand, Nathalie Bertrand, Bortolussi, Bortolussi, Luca Bortolussi - Quantitative Evaluation of Systems
Nathali Bertrand, Nathalie Bertrand, Bortolussi, Bortolussi, Luca Bortolussi Quantitative Evaluation of Systems Anglais 01.01.2017 Livre de poche Fr. 70.00 6-7 semaines
Heinric Wansing, Heinrich Wansing - Dag Prawitz on Proofs and Meaning
Heinric Wansing, Heinrich Wansing Dag Prawitz on Proofs and Meaning Anglais 01.01.2016 Livre de poche Fr. 135.00 6-7 semaines