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

Marco Bernardo, Alessandro Bogliolo - Formal Methods for Mobile Computing

Marco Bernardo, Alessandro Bogliolo Formal Methods for Mobile Computing Inglese 13.04.2005 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)

Marco Bernardo, Paola Inverardi - Formal Methods for Software Architectures

Marco Bernardo, Paola Inverardi Formal Methods for Software Architectures Inglese 12.09.2003 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)

Marco Bernardo, Jane Hillston - Formal Methods for Performance Evaluation

Marco Bernardo, Jane Hillston Formal Methods for Performance Evaluation Inglese 18.05.2007 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)

Marco Bernardo, Rocco De Nicola, Jane Hillston - Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Marco Bernardo, Rocco De Nicola, Jane Hillston Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems Inglese 12.06.2016 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)

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 Inglese 20.12.2004 Tascabile Fr. 70.00 6-7 settimane

Marco Bernardo, Alessandro Cimatti - Formal Methods for Hardware Verification

Marco Bernardo, Alessandro Cimatti Formal Methods for Hardware Verification Inglese 15.05.2006 Tascabile Fr. 70.00 6-7 settimane

Marco Bernardo, Pierpaol Degano, Pierpaolo Degano, Gianluigi Zavattaro - Formal Methods for Computational Systems Biology

Marco Bernardo, Pierpaol Degano, Pierpaolo Degano, Gianluigi Zavattaro Formal Methods for Computational Systems Biology Inglese 27.09.2012 Tascabile Fr. 70.00 6-7 settimane

Marco Bernardo, Eri de Vink, Erik de Vink, Erik de Vink, Alessandra Di Pierro, Alessandra Di Pierro et al... - Formal Methods for Dynamical Systems

Marco Bernardo, Eri de Vink, Erik de Vink, Erik de Vink, Alessandra Di Pierro, Alessandra Di Pierro et al... Formal Methods for Dynamical Systems Inglese 10.05.2013 Tascabile Fr. 66.00 6-7 settimane

Marco Bernardo, Ferrucci Damiani, Ferruccio Damiani, Reiner Haehnle, Reiner Haehnle et al, Einar Broch Johnsen... - Formal Methods for Executable Software Models

Marco Bernardo, Ferrucci Damiani, Ferruccio Damiani, Reiner Haehnle, Reiner Haehnle et al, Einar Broch Johnsen... Formal Methods for Executable Software Models Inglese 30.04.2014 Tascabile Fr. 70.00 6-7 settimane

Marc Bernardo, Marco Bernardo, Broch Johnsen, Broch Johnsen, Einar Broch Johnsen - Formal Methods for Multicore Programming

Marc Bernardo, Marco Bernardo, Broch Johnsen, Broch Johnsen, Einar Broch Johnsen Formal Methods for Multicore Programming Inglese 01.01.2015 Tascabile Fr. 68.00 6-7 settimane