Jump to main content

yr 〜
yr

Search results 11

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 : Jun 2013, Florence, Italy. (Lecture Notes in Computer Science ; 7890)

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 : Jun 2013, Florence, Italy. (Lecture Notes in Computer Science ; 7890)
Paper図書
Springerc2013.<M17-13-3338>
National Diet Library
  • Author Heading...orence, Italy) De Nicola, Rocco. Julien, Christine. Universit...

Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday. : Jun 2008, Pisa, Italy. (Lecture Notes in Computer Science ; 5065. Festschrift)

Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday. : Jun 2008, Pisa, Italy. (Lecture Notes in Computer Science ; 5065. Festschrift)
Paper図書
Springerc2008.<M17-09-1163>
National Diet Library
  • Author HeadingMontanari, Ugo. Degano, Pierpaolo, 1950- De Nicola, Rocco. Meseguer, José.

Programming languages and systems : 16th European symposium on programming, ESOP 2007 : held as part of the joint European conferences on theory and practics [i.e. practice] of software, ETAPS 2007 : Braga, Portugal, March 24-April 1, 2007 : proceedings. : annual European symposium on programming : Mar 2007, Braga, Portugal. (Lecture Notes in Computer Science ; 4421)

Programming languages and systems : 16th European symposium on programming, ESOP 2007 : held as part of the joint European conferences on theory and practics [i.e. practice] of software, ETAPS 2007 : Braga, Portugal, March 24-April 1, 2007 : proceedings. : annual European symposium on programming : Mar 2007, Braga, Portugal. (Lecture Notes in Computer Science ; 4421)
Paper図書
Springerc2007.<M17-07-2104>
National Diet Library
  • Author Heading...e Informatica. De Nicola, Rocco. European Symposium on Progra...

Trustworthy global computing : international symposium, TGC 2005 : Edinburgh, UK, April 7-9, 2005 : revised selected papers. : Apr 2005, Edinburgh, UK. (Lecture Notes in Computer Science ; 3705)

Trustworthy global computing : international symposium, TGC 2005 : Edinburgh, UK, April 7-9, 2005 : revised selected papers. : Apr 2005, Edinburgh, UK. (Lecture Notes in Computer Science ; 3705)
Paper図書
Springerc2005.<M17-06-732>
National Diet Library
  • Author HeadingDe Nicola, Rocco. Sangiorgi, Davide. Internati...

Coordination models and languages : 6th international conference, COORDINATION 2004 : Pisa Italy, February 24-27, 2004 : proceedings. : Feb 2004, Pisa, Italy. (Lecture Notes in Computer Science ; 2949)

Coordination models and languages : 6th international conference, COORDINATION 2004 : Pisa Italy, February 24-27, 2004 : proceedings. : Feb 2004, Pisa, Italy. (Lecture Notes in Computer Science ; 2949)
Paper図書
Springer-Verlagc2004.<M17-04-2520>
National Diet Library
  • Author HeadingDe Nicola, Rocco. Ferrari, Gianluigi. Meredith...

Software, services and systems : essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering

Software, services and systems : essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering
Paper図書
Rocco De Nicola, Rolf Hennicker (eds.)Springerc2015
Other Libraries in Japan
  • Author HeadingWirsing, Martin De Nicola, Rocco Hennicker, Rolf

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

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
Paper図書
Rocco De Nicola (ed.)Springerc2007
Other Libraries in Japan
  • Author Heading...ce of Software De Nicola, Rocco

Trustworthy global computing : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers

Trustworthy global computing : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers
Paper図書
Rocco De Nicola, Davide Sangiorgi (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingInternational Workshop on Trustworthy Global Computing De Nicola, Rocco Sangiorgi, Davide

Coordination models and languages : 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004 : proceedings

Coordination models and languages : 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004 : proceedings
Paper図書
Rocco de Nicola, Gianluigi Ferrari, Greg Meredith (Eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingCOORDINATION De Nicola, Rocco Ferrari, Gianluigi Meredith, ...

Testing equivalences and fully abstract models for communicating processes

Testing equivalences and fully abstract models for communicating processes
Paper図書
by Rocco De NicolaLibrary Document Supply Center1985]
Other Libraries in Japan
  • Author HeadingDe Nicola, Rocco

Testing equivalences and fully abstract models for communicating processes

Testing equivalences and fully abstract models for communicating processes
Paper図書
by Rocco De NicolaUniversity of Edinburgh, Department of Computer Science1985
Other Libraries in Japan
  • Author HeadingDe Nicola, Rocco

Reached to the end of result.

RSS