Risultato ricerca - Libri - CeDe.ch

Il tuo contatto a CeDe

Avete domande, suggerimenti, elogi o critiche? I vostri commenti ci aiutano a migliorare ulteriormente CeDe.ch. Saremo quindi lieti di ricevere i vostri messaggi e risponderemo con piacere a tutte le e-mail in modo rapido e competente. Grazie mille!

Questo sito utilizza i cookie. Leggi la nostra dichiarazione sulla privacy per saperne di più su come utilizziamo i cookie e su come puoi modificare le tue preferenze. OK

Servizio eccellente e spedizione gratuita dal 1997

Lista dei desideri

Risultato ricerca

Christe Baier, Christel Baier, Tinelli, Tinelli, Cesare Tinelli - Tools and Algorithms for the Construction and Analysis of Systems

Christe Baier, Christel Baier, Tinelli, Tinelli, Cesare Tinelli Tools and Algorithms for the Construction and Analysis of Systems Inglese 01.01.2015 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)

Christel Baier, Christel (Technische Universitat Dresden) Baier, Christel/ Katoen Baier, Baier Christel, Christel Bair, Joost-Pieter Katoen... - Principles of Model Checking

Christel Baier, Christel (Technische Universitat Dresden) Baier, Christel/ Katoen Baier, Baier Christel, Christel Bair, Joost-Pieter Katoen... Principles of Model Checking Inglese 25.04.2008 Copertina rigida Fr. 170.00 1-3 settimane (non disponibile a breve termine)

Christel Baier, Ugo Dal Lago - Foundations of Software Science and Computation Structures

Christel Baier, Ugo Dal Lago Foundations of Software Science and Computation Structures Inglese 14.04.2018 Tascabile Fr. 70.00 6-7 settimane

Christel Baier, Luís Caires - Formal Techniques for Distributed Objects, Components, and Systems

Christel Baier, Luís Caires Formal Techniques for Distributed Objects, Components, and Systems Inglese 30.05.2018 Tascabile Fr. 70.00 6-7 settimane

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Holger Hermanns et al, Joost-Pieter Katoen, Boudewij R Haverkort... - Validation of Stochastic Systems

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Holger Hermanns et al, Joost-Pieter Katoen, Boudewij R Haverkort... Validation of Stochastic Systems Inglese 08.10.2004 Tascabile Fr. 70.00 6-7 settimane

Christe Baier, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria... SOFSEM 2017: Theory and Practice of Computer Science Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane