Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-13 of 13 results for author "Gorrieri, Roberto."
Automata, languages, and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings / Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.).
- Text
- Berlin ; New York : Springer, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text JSE 97-956 Offsite Foundations of security analysis and design : tutorial lectures / Riccardo Focardi, Robert Gorrieri (eds.).
- Text
- Berlin ; New York : Springer, c2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JSE 02-85 Offsite Foundations of security analysis and design II : FOSAD 2001/2002 tutorial lectures / Riccardo Focardi, Roberto Gorrieri (eds.).
- Text
- Berlin ; New York : Springer, c2004.
- 2004
- 1 Item
Available Online
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2946Item details Format Call Number Item Location Text JSE 04-850 Offsite Automata, languages, and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings / Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.).
- Text
- Berlin ; New York : Springer, [1997], ©1997.
- 1997-1997
- 1 Item
Item details Format Call Number Item Location Text QA267 .I23 1997 Off-site Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS) : February 15-18, 1999, Florence, Italy / edited by Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri.
- Text
- Bostons : Kluwer Academic, [1999], ©1999.
- 1999-1999
- 1 Item
Item details Format Call Number Item Location Text QA76.9.D5 I573 1999 Off-site Foundations of security analysis and design : tutorial lectures / Riccardo Focardi, Roberto Gorrieri (eds.)
- Text
- Berlin ; London : Springer, [2001], ©2001.
- 2001-2001
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A25 F68 2001g Off-site Foundations of security analysis and design II : FOSAD 2001/2002 turorial lectures / Riccardo Focardi, Roberto Gorrieri (eds.).
- Text
- 2004
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A25 F67 2004 Off-site Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures / Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.).
- Text
- Berlin ; New York : Springer, 2005.
- 2005
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A25 F67 2005g Off-site Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings / Roberto Gorrieri, Heike Wehrheim (eds.).
- Text
- Berlin ; New York, NY : Springer, [2006], ©2006.
- 2006-2006
- 1 Item
Item details Format Call Number Item Location Text QA76.9.D5 I573 2006 Off-site Foundations of security analysis and design IV : FOSAD 2006/2007 tutorial lectures / Alessandro Aldini, Roberto Gorrieri (eds.).
- Text
- Berlin ; New York : Springer-Verlag, [2007], ©2007.
- 2007-2007
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A25 I5578 2006g Off-site Computational methods in systems biology : 7th international conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009 : proceedings / Pierpaolo Degano, Roberto Gorrieri (eds.).
- Text
- Berlin ; New York : Springer, [2009], ©2009.
- 2009-2009
- 1 Item
Item details Format Call Number Item Location Text QH506 .I525 2009g Off-site Foundations of security analysis and design V : FOSAD 2007/2008/2009 tutorial lectures / Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.).
- Text
- Berlin ; New York : Springer, [2009], ©2009.
- 2009-2009
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A25 F68 2009g Off-site Automata, languages, and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings / Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.).
- Text
- Berlin ; New York : Springer, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text QA267 .I23 1997 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.
