Hoppa till sidans huvudinnehåll

Rocco De Nicola – författare

Visar alla böcker från författaren Rocco De Nicola.
8 produkter
Rocco De Nicola, Rolf Hennicker - Software, Services, and Systems, Häftad
Del 8950 - Lecture Notes in Computer Science

Software, Services, and Systems

Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering

AvRocco De Nicola,Rolf Hennicker

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar

Marco Bernardo, Rocco De Nicola, Jane Hillston - Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, Häftad
Del 9700 - Lecture Notes in Computer Science

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

AvMarco Bernardo,Rocco De Nicolam. fl.

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Rocco De Nicola, Eva Kühn - Software Engineering and Formal Methods, Häftad
Del 9763 - Lecture Notes in Computer Science

Software Engineering and Formal Methods

14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

AvRocco De Nicola,Eva Kühn

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Rocco De Nicola, Gianluigi Ferrari, Greg Meredith - Coordination Models and Languages, Häftad

Coordination Models and Languages

6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings

AvRocco De Nicola,Gianluigi Ferrarim. fl.

Häftad, Engelska, 2004

729 kr

Skickas inom 10-15 vardagar

Rocco De Nicola, Davide Sangiorgi - Trustworthy Global Computing, Häftad

Trustworthy Global Computing

International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

AvRocco De Nicola,Davide Sangiorgi

Häftad, Engelska, 2005

729 kr

Skickas inom 10-15 vardagar

Pierpaolo Degano, Rocco de Nicola, José Meseguer - Concurrency, Graphs and Models, Häftad

Concurrency, Graphs and Models

Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

AvPierpaolo Degano,Rocco de Nicolam. fl.

Häftad, Engelska, 2008

1 449 kr

Skickas inom 10-15 vardagar

Rocco De Nicola - Programming Languages and Systems, Häftad

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

AvRocco De Nicola

Häftad, Engelska, 2007

1 449 kr

Skickas inom 10-15 vardagar

Rocco De Nicola, Christine Julien - Coordination Models and Languages, Häftad

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

AvRocco De Nicola,Christine Julien

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar