Home Advanced Search

Advanced Search - Page 1

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

PDF
English
Year: 2016
Author: Marco Bernardo, Rocco De Nicola, Jane Hillston (eds.)

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

PDF
English
Year: 2008
Author: Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)

Coordination Models and Languages: 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings

PDF
English
Year: 2004
Author: Gérard Boudol (auth.), Rocco De Nicola, Gian-Luigi Ferrari, Greg Meredith (eds.)

Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers

PDF
English
Year: 2011
Author: Jie Ding, Jane Hillston (auth.), Michael Johnson, Dusko Pavlovic (eds.)

I pretoriani. Soldati e cospiratori nel cuore di Roma

PDF
Italian
Year: 2021
Author: Marco Rocco

I pretoriani. Soldati e cospiratori nel cuore di Roma

PDF
Italian
Year: 2021
Author: Marco Rocco

Nominale Wortbildung des älteren Irischen.

PDF
English
Year: 2011
Author: Bernardo Stempel, Patrizia de (eds.)

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

PDF
English
Year: 2012
Author: Bran Selic (auth.), Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (eds.)

Islam and Christianity in Medieval Anatolia

PDF
English
Year: 2016
Author: A.C.S. Peacock, Bruno De Nicola (eds)

Analytical Chemistry for Cultural Heritage

PDF
English
Year: 2017
Author: Rocco Mazzeo (eds.)