Rocco De Nicola – författare
Visar alla böcker från författaren Rocco De Nicola.
8 produkter
Software, Services, and Systems
Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
Av Rocco De Nicola, Rolf Hennicker
Häftad, 2015
739 kr
Lägg i varukorg
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
Av Marco Bernardo, Rocco De Nicola m. fl.
Häftad, 2016
739 kr
Lägg i varukorg
Software Engineering and Formal Methods
14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Häftad, 2016
739 kr
Lägg i varukorg
Coordination Models and Languages
6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings
Av Rocco De Nicola, Gianluigi Ferrari m. fl.
Häftad, 2004
739 kr
Lägg i varukorg
Trustworthy Global Computing
International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
Av Rocco De Nicola, Davide Sangiorgi
Häftad, 2005
739 kr
Lägg i varukorg
Concurrency, Graphs and Models
Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Av Pierpaolo Degano, Rocco de Nicola m. fl.
Häftad, 2008
1469 kr
Lägg i varukorg
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, Braga, Portugal, March 24 - April 1, 2007, Proceedings
Häftad, 2007
1469 kr
Lägg i varukorg
Coordination Models and Languages
15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings
Av Rocco De Nicola, Christine Julien
Häftad, 2013
739 kr
Lägg i varukorg