本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
Springerc2013.<M17-13-3338>
国立国会図書館
  • 著者標目...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)
紙図書
Springerc2008.<M17-09-1163>
国立国会図書館
  • 著者標目Montanari, 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)
紙図書
Springerc2007.<M17-07-2104>
国立国会図書館
  • 著者標目...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)
紙図書
Springerc2005.<M17-06-732>
国立国会図書館
  • 著者標目De 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)
紙図書
Springer-Verlagc2004.<M17-04-2520>
国立国会図書館
  • 著者標目De 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
紙図書
Rocco De Nicola, Rolf Hennicker (eds.)Springerc2015
全国の図書館
  • 著者標目Wirsing, 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
紙図書
Rocco De Nicola (ed.)Springerc2007
全国の図書館
  • 著者標目...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
紙図書
Rocco De Nicola, Davide Sangiorgi (eds.)Springerc2005
全国の図書館
  • 著者標目International 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
紙図書
Rocco de Nicola, Gianluigi Ferrari, Greg Meredith (Eds.)Springerc2004
全国の図書館
  • 著者標目COORDINATION De Nicola, Rocco Ferrari, Gianluigi Meredith, ...

Testing equivalences and fully abstract models for communicating processes

Testing equivalences and fully abstract models for communicating processes
紙図書
by Rocco De NicolaLibrary Document Supply Center1985]
全国の図書館
  • 著者標目De Nicola, Rocco

Testing equivalences and fully abstract models for communicating processes

Testing equivalences and fully abstract models for communicating processes
紙図書
by Rocco De NicolaUniversity of Edinburgh, Department of Computer Science1985
全国の図書館
  • 著者標目De Nicola, Rocco

検索結果は以上です。

RSS