De Nicola, Rocco.

概要

作品:	2 作品在 4 項出版品 1 種語言

書目資訊

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) (書目-語言資料,印刷品)

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. (書目-語言資料,印刷品) , [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. (書目-語言資料,印刷品)

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) (書目-語言資料,印刷品)

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) (書目-語言資料,印刷品)

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. (書目-語言資料,印刷品)

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.; Bernardo, Marco. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

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. (書目-語言資料,印刷品) , [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. (書目-語言資料,印刷品)

主題