Pubblicazioni

Michael Goldweber; Renzo Davoli, μMPS3 Principles of Operation, Morrisville, North Carolina, United States, lulu books, 2020, pp. 147 . [Monografia/Trattato scientifico in forma di libro]

Michael Goldweber; Renzo Davoli, Student Guide to the Pandos Project, Morrisville, North Carolina, United States, Lulu book, 2020, pp. 99 . [Monografia/Trattato scientifico in forma di libro]

Angelo Troina, Modelling biological and ecological systems with the Calculus of Wrapped Compartments, Munich, GRIN Verlag, 2019, pp. 71 . [Monografia/Trattato scientifico in forma di libro]

Michael Goldweber; Renzo Davoli; Marco Melletti, µARM Principles of Operation, Morrisville, North Carolina, United States, lulu books, 2018, pp. 80 . [Monografia/Trattato scientifico in forma di libro]

Gorrieri, Roberto, Process Algebras for Petri Nets - The Alphabetization of Distributed Systems, Cham, Springer, 2017, pp. 302 . [Monografia/Trattato scientifico in forma di libro]

Troina, Angelo, Un Approccio Algebrico Probabilistico all'Analisi di Proprietà di Sicurezza di Sistemi Crittografici, North Charleston, SC 29406, CreateSpace, 2017, pp. 138 . [Monografia/Trattato scientifico in forma di libro]

Troina, Angelo, Probabilistic Timed Automata for Security Analysis and Design, North Charleston, SC 29406, CreateSpace, 2017, pp. 146 . [Monografia/Trattato scientifico in forma di libro]

Mauro, Gaspari; Gianluigi, Roveda, Informatica per L'Impresa Tra Soluzione Proprietarie ed Open Sorce, Bologna, Pitagora Editrice, 2017, pp. 323 . [Monografia/Trattato scientifico in forma di libro]

Davoli, Renzo (trad.): Computer Science Unplugged (edizione 2015), Christchurch, Computer Science Unplugged Project, 2016, pp. 290
. Opera originale: Autore: TimBell, Ian H. Witten, Mike Fellows - Titolo: Computer Science Unplugged [Libro (Traduzione)]

Rita Marchignoli; Michael Lodi, EAS e pensiero computazionale, Brescia, ELS LA SCUOLA, 2016, pp. 160 . [Monografia/Trattato scientifico in forma di libro]

Mollona, Edoardo, Computer Simulation in Social Sciences. A Logic of Enquiry., Napoli, Editoriale Scientifica, 2015, pp. 124 . [Monografia/Trattato scientifico in forma di libro]

Brembilla, Paola; Mollona, Edoardo, Game of Strategy., Torino, G. Giappichelli Editore, 2015, pp. 183 . [Monografia/Trattato scientifico in forma di libro]

Gorrieri, Roberto; Versari, Cristian, Introduction to Concurrency Theory - Transition Systems and CCS, Springer International Publishing, Ronan Nugent, 2015, pp. 321 . [Monografia/Trattato scientifico in forma di libro]

Snyder, Lawrence; Amoroso, Alessandro, Fluency Conoscere e usare l’informatica, Milano-Torino, Pearson Italia spa, 2015, pp. 370 . [Monografia/Trattato scientifico in forma di libro]

Mauro Gaspari;Gianluigi Roveda, Informatica per l'impresa tra soluzioni proprietarie ed open source (Seconda Edizione), Bologna, Pitagora Editrice srl, 2013, pp. 308 . [Monografia/Trattato scientifico in forma di libro]

D. Sangiorgi, Introduction to bisimulation and coinduction, CAMBRIDGE, Cambridge University Press, 2012, pp. 260 . [Monografia/Trattato scientifico in forma di libro]

M. Gabbrielli; S. Martini, Linguaggi di programmazione: principi e paradigmi. Seconda Edizione, MILANO, McGraw-Hill, 2011, pp. 576 . [Monografia/Trattato scientifico in forma di libro]

Lawrence Snyder; Alessandro Amoroso, Fluency - conoscere e usare l'informatica (quarta edizione), MILANO - TORINO, Pearson Italia S.p.A., 2011, pp. 350 . [Monografia/Trattato scientifico in forma di libro]

M. Gabbrielli; S. Martini, Programming Languages: Principles and Paradigms, LONDON DORDRECHT HEIDELBERG, Springer, 2010, pp. 440 . [Monografia/Trattato scientifico in forma di libro]

M. Gaspari; G. Roveda, Informatica per l'impresa tra soluzioni proprietarie ed Open Source, BOLOGNA, PITAGORA, 2010, pp. 306 . [Monografia/Trattato scientifico in forma di libro]