Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-5 of 5 results for author "De Nicola, Rocco."
Coordination models and languages : 6th international conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004 : proceedings / Rocco De Nicola, Gianluigi Ferrari, Greg Meredith (Eds.).
- Text
- Berlin ; New York : Springer, c2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Text JSE 04-352 Offsite Coordination, models and languages : 6th international conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004 : proceedings / Rocco de Nicola, Gianluigi Ferrari, Greg Meredith, (Eds.)
- Text
- 2004
- 1 Item
Item details Format Call Number Item Location Text QA76.58 .C695 2004 Off-site Trustworthy global computing : international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers / Rocco De Nicola, Davide Sangiorgi (eds.).
- Text
- Berlin ; New York : Springer, [2005], ©2005.
- 2005-2005
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .T78 2005g Off-site Programming languages and systems : 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 : proceedings / Rocco de Nicola (ed).
- Text
- Berlin ; New York, NY : Springer, 2007.
- 2007
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .E976 2007g Off-site Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday / Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.).
- Text
- Berlin ; New York : Springer, [2008], ©2008.
- 2008-2008
- 1 Item
Item details Format Call Number Item Location Text QA267.3 .C66 2008g Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
Explore Digital Research Books Beta