Jump to main content

yr 〜
yr

Search results 15

Computational methods in systems biology : 7th international conference, CMSB 2009 : Bologna, Italy, August 31-September 1, 2009 : proceedings. : Aug 2009, Bologna, Italy. (Lecture Notes in Computer Science ; 5688. Lecture Notes in Bioinformatics)

Computational methods in systems biology : 7th international conference, CMSB 2009 : Bologna, Italy, August 31-September 1, 2009 : proceedings. : Aug 2009, Bologna, Italy. (Lecture Notes in Computer Science ; 5688. Lecture Notes in Bioinformatics)
Paper図書
Springerc2009.<M17-10-1381>
National Diet Library
  • Author HeadingDegano, Pierpaolo, 1950- Gorrieri, Roberto. CMSB 2009 (2009 : Bologna, It...

Foundations of security analysis and design 5 : FOSAD 2007/2008/2009 tutorial lectures. : international school on foundations of security analysis and design : FOSAD 2007 : FOSAD 2008 : FOSAD 2009 : Bertinoro, Italy. (Lecture Notes in Computer Science ; 5705. Tutorial)

Foundations of security analysis and design 5 : FOSAD 2007/2008/2009 tutorial lectures. : international school on foundations of security analysis and design : FOSAD 2007 : FOSAD 2008 : FOSAD 2009 : Bertinoro, Italy. (Lecture Notes in Computer Science ; 5705. Tutorial)
Paper図書
Springerc2009.<M17-10-2113>
National Diet Library
  • Author Heading... Gilles, 1967- Gorrieri, Roberto. International School on Found...

Foundations of security analysis and design 4 : FOSAD 2006/2007 tutorial lectures. : FOSAD 2006 : FOSAD 2007 : 6th international school on foundations of security analysis and design : Bertinoro, Italy. (Lecture Notes in Computer Science ; 4677. Tutorial)

Foundations of security analysis and design 4 : FOSAD 2006/2007 tutorial lectures. : FOSAD 2006 : FOSAD 2007 : 6th international school on foundations of security analysis and design : Bertinoro, Italy. (Lecture Notes in Computer Science ; 4677. Tutorial)
Paper図書
Springerc2007.<M17-08-809>
National Diet Library
  • Author HeadingAldini, Alessandro. Gorrieri, Roberto. International School on Found...

Process algebras for petri nets : the alphabetization of distributed systems

Process algebras for petri nets : the alphabetization of distributed systems
Paper図書
Roberto GorrieriSpringerc2017
Other Libraries in Japan

Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006 : Bologna, Italy, June 14-16, 2006 : proceedings. : federated multiconference DisCoTec (distributed computing techniques) : Jun 2006, Bologna, Italy. (Lecture Notes in Computer Science ; 4037)

Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006 : Bologna, Italy, June 14-16, 2006 : proceedings. : federated multiconference DisCoTec (distributed computing techniques) : Jun 2006, Bologna, Italy. (Lecture Notes in Computer Science ; 4037)
Paper図書
Springerc2006.<M17-06-2599>
National Diet Library
  • Author Heading...puter Science. Gorrieri, Roberto. Wehrheim, Heike. Internationa...

Foundations of security analysis and design 2 : FOSAD 2001/2002 tutorial lectures. : international school on foundations of security analysis and design : FOSAD 2001 : FOSAD 2002 : ------. (Lecture Notes in Computer Science ; 2946. Tutorial)

Foundations of security analysis and design 2 : FOSAD 2001/2002 tutorial lectures. : international school on foundations of security analysis and design : FOSAD 2001 : FOSAD 2002 : ------. (Lecture Notes in Computer Science ; 2946. Tutorial)
Paper図書
Springerc2004.<M17-04-2493>
National Diet Library
  • Author HeadingFocardi, Riccardo, 1970- Gorrieri, Roberto. International School on Found...

Introduction to concurrency theory : transition systems and CCS : pbk

Introduction to concurrency theory : transition systems and CCS : pbk
Paper図書
Roberto Gorrieri, Cristian VersariSpringerc2015
Other Libraries in Japan

Foundations of security analysis and design V : FOSAD 2007/2008/2009 tutorial lectures : pbk

Foundations of security analysis and design V : FOSAD 2007/2008/2009 tutorial lectures : pbk
Paper図書
Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)Springerc2009
Other Libraries in Japan

Foundations of security analysis and design IV : FOSAD 2006/2007 : tutorial lectures

Foundations of security analysis and design IV : FOSAD 2006/2007 : tutorial lectures
Paper図書
Alessandro Aldini, Roberto Gorrieri (eds.)Springerc2007
Other Libraries in Japan

Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings

Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings
Paper図書
Roberto Gorrieri, Heike Wehrheim (eds.)Springerc2006
Other Libraries in Japan

Foundations of security analysis and design II : FOSAD 2001/2002 tutorial lectures

Foundations of security analysis and design II : FOSAD 2001/2002 tutorial lectures
Paper図書
Riccardo Focardi, Roberto Gorrieri (eds.)Springerc2004
Other Libraries in Japan

Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures

Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures
Paper図書
Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.)Springerc2005
Other Libraries in Japan

Foundations of security analysis and design : tutorial lectures

Foundations of security analysis and design : tutorial lectures
Paper図書
Riccardo Focardi, Roberto Gorrieri (eds.)Springerc2001
Other Libraries in Japan

Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS) : February 15-18, 1999, Florence, Italy

Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS) : February 15-18, 1999, Florence, Italy
Paper図書
edited by Paolo Ciancarini, Alessandro Fantechi, Robert GorrieriKluwer Academicc1999
Other Libraries in Japan

Automata, languages and programming : 24th International Colloquium, ICALP '97, Bologna, Italy, July 7-11, 1997 : proceedings

Automata, languages and programming : 24th International Colloquium, ICALP '97, Bologna, Italy, July 7-11, 1997 : proceedings
Paper図書
Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.)Springerc1997
Other Libraries in Japan

Reached to the end of result.

RSS