Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

August Sampaio, Augusto Sampaio, Wang, Wang, Farn Wang - Theoretical Aspects of Computing - ICTAC 2016
August Sampaio, Augusto Sampaio, Wang, Wang, Farn Wang Theoretical Aspects of Computing - ICTAC 2016 Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2014 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
Bruno Berstel-Da Silva - Verification of Business Rules Programs
Bruno Berstel-Da Silva Verification of Business Rules Programs Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Xavie Rival, Xavier Rival - Static Analysis
Xavie Rival, Xavier Rival Static Analysis Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
Bruno Berstel-Da Silva - Verification of Business Rules Programs
Bruno Berstel-Da Silva Verification of Business Rules Programs Inglese 25.07.2013 Copertina rigida Fr. 70.00 6-7 settimane
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 Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Pari Avgeriou, Paris Avgeriou, Zdun, Zdun, Uwe Zdun - Software Architecture
Pari Avgeriou, Paris Avgeriou, Zdun, Zdun, Uwe Zdun Software Architecture Inglese 21.07.2014 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2014 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2017 Tascabile Fr. 91.00 6-7 settimane
Matthe Hague, Matthew Hague, Potapov, Potapov, Igor Potapov - Reachability Problems
Matthe Hague, Matthew Hague, Potapov, Potapov, Igor Potapov Reachability Problems Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2018 Tascabile Fr. 113.00 6-7 settimane
Jerom Durand-Lose, Jerome Durand-Lose, Jonoska, Jonoska, Natasa Jonoska - Unconventional Computation and Natural Computation
Jerom Durand-Lose, Jerome Durand-Lose, Jonoska, Jonoska, Natasa Jonoska Unconventional Computation and Natural Computation Inglese 25.07.2012 Tascabile Fr. 65.00 6-7 settimane