Rocco De Nicola – författare
Visar alla böcker från författaren Rocco De Nicola. Handla med fri frakt och snabb leverans.
16 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
566 kr
Lägg i varukorg
This book is dedicated to Professor Martin Wirsing on the occasion of his emeritation from Ludwig-Maximilians-Universität in Munich, Germany. The volume is a reflection, with gratitude and admiration, on Professor Wirsing’s life highly creative, remarkably fruitful and intellectually generous life. …
Software, Services, and Systems
Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
Av Rolf Hennicker, Rocco De Nicola
E-bok, 2015
739 kr
Lägg i varukorg
This book is dedicated to Professor Martin Wirsing on the occasion of his emeritation from Ludwig-Maximilians-Universität in Munich, Germany. The volume is a reflection, with gratitude and admiration, on Professor Wirsing’s life highly creative, remarkably fruitful and intellectually generous life. …
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
566 kr
Lägg i varukorg
This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016. SFM 2016 was devoted to the Quantitative Evaluation …
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 Jane Hillston, Rocco De Nicola m. fl.
E-bok, 2016
710 kr
Lägg i varukorg
This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016. SFM 2016 was devoted to the Quantitative Evaluation …
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
566 kr
Lägg i varukorg
This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 …
Software Engineering and Formal Methods
14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
E-bok, 2016
732 kr
Lägg i varukorg
This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 …
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
566 kr
Lägg i varukorg
This book constitutes the refereed proceeding of the 6th International Conference on Coordination Models and Languages, COORDINATION 2004, held in Pisa, Italy in February 2004.The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected …
Coordination Models and Languages
6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings
Av Greg Meredith, Gianluigi Ferrari m. fl.
E-bok, 2004
755 kr
Lägg i varukorg
This book constitutes the refereed proceeding of the 6th International Conference on Coordination Models and Languages, COORDINATION 2004, held in Pisa, Italy in February 2004. The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected …
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
566 kr
Lägg i varukorg
Computing technology has become ubiquitous, from global applications to - nuscule embedded devices. Trust in computing is vital to help protect public safety,nationalsecurity,andeconomicprosperity.Anewareaofresearch,known as global computing, has recently emerged that aims at de?ning new models of …
Trustworthy Global Computing
International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
Av Davide Sangiorgi, Rocco De Nicola
E-bok, 2005
755 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
1126 kr
Lägg i varukorg
This volume contains the 43 papers written by close collaboratorsand friends of UgoMontanariincelebrationofhis65thbirthday.Insomesense,thevolumeisa re?ection, with gratitude and admiration, on Ugo's highly creative, remarkably fruitful and intellectually generous life, which is thriving as strongly …
Concurrency, Graphs and Models
Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Av Jose Meseguer, Rocco de Nicola m. fl.
E-bok, 2008
1455 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
1126 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal in March/April 2007. It covers models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static …
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
E-bok, 2007
1459 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
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Conference on Coordination Models and Languages, COORDINATION 2013, held in Firenze, Italy, in June 2013, within the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec 2013). The 17 revised …
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 Christine Julien, Rocco De Nicola
E-bok, 2013
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Conference on Coordination Models and Languages, COORDINATION 2013, held in Firenze, Italy, in June 2013, within the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec 2013). The 17 revised …
