Language: English
Help
Login
Languages
Jump To : Overview | Titles | Subjects

De Nicola, Rocco.

Overview
Works: 2 works in 4 publications in 1 languages
Titles
Software engineering and formal methods = 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings / by: Kuhn, Eva.; Workshop on the Preservation of Stability under Discretization ((2001 :); De Nicola, Rocco.; SpringerLink (Online service) (Language materials, printed)
Software, Services, and Systems = Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering / by: Hennicker, Rolf.; SpringerLink (Online service); De Nicola, Rocco. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
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 / by: Hillston, Jane.; SpringerLink (Online service); De Nicola, Rocco.; Workshop on the Preservation of Stability under Discretization ((2001 :); Bernardo, Marco. (Language materials, printed)
Coordination models and languages = 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013 : proceedings / by: Julien, Christine.; Workshop on the Preservation of Stability under Discretization ((2001 :); De Nicola, Rocco.; SpringerLink (Online service) (Language materials, printed)
Models, languages, and tools for concurrent and distributed programming = essays dedicated to Rocco De Nicola on the occasion of his 65th birthday / by: Boreale, Michele.; De Nicola, Rocco.; SpringerLink (Online service) (Language materials, printed)
Trustworthy Global Computing : = International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers by: Workshop on the Preservation of Stability under Discretization ((2001 :); Sangiorgi, Davide.; SpringerLink (Online service); De Nicola, Rocco. (Language materials, printed)
Software Engineering and Formal Methods = 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings / by: Kühn, Eva.; SpringerLink (Online service); De Nicola, Rocco. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Coordination models and languages = 6th international conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004 : proceedings / by: Ferrari, Gianluigi.; SpringerLink (Online service); De Nicola, Rocco.; Workshop on the Preservation of Stability under Discretization ((2001 :); Meredith, Greg. (Language materials, printed)
 
 
Change password
Login