Pubblicazioni

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]

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]

Pareschi, Luca, Controcampo letterario. Strategie di intermediazione e accesso all'industria editoriale, Napoli, Editoriale Scientifica srl, 2016, pp. 405 . [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]

F. Morandi; F. Vergari; A. D'Elia; L. Roffia; T. Salmon Cinotti, SMART-M3 v.0.9: A semantic event processing engine supporting information level interoperability in ambient intelligence, Bologna, ARCES-AlmaDL-Università di Bologna, 2013, pp. 27 . [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]

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, Linguaggi di programmazione: principi e paradigmi. Seconda Edizione, MILANO, McGraw-Hill, 2011, pp. 576 . [Monografia/Trattato scientifico in forma di libro]

M. Ferrara, Biometric Fingerprint Recognition Systems, SAARBRÜCKEN, Lambert Academic Publishing, 2010, pp. 148 . [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]