Jump to main content

yr 〜
yr

Search results 9

Principles of security and trust : first international conference, POST 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7215. Advanced Research in Computing and Software Science)

Principles of security and trust : first international conference, POST 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7215. Advanced Research in Computing and Software Science)
Paper図書
Springerc2012.<M17-13-78>
National Diet Library
  • Author Heading...linn, Estonia) Degano, Pierpaolo, 1950- Guttman, Joshua D. Tallinna T...

Formal aspects in security and trust : 6th international workshop, FAST 2009 : Eindhoven, the Netherlands, November 5-6, 2009 : revised selected papers. : formal methods week 2009 : FAST09 : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5983)

Formal aspects in security and trust : 6th international workshop, FAST 2009 : Eindhoven, the Netherlands, November 5-6, 2009 : revised selected papers. : formal methods week 2009 : FAST09 : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5983)
Paper図書
Springerc2010.<M17-10-2810>
National Diet Library
  • Author HeadingDegano, Pierpaolo, 1950- Guttman, Joshua D. FAST 2009 ...

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 ...

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, J...

Formal aspects in security and trust : 5th international workshop, FAST 2008 : Malaga, Spain, October 9-10, 2008 : revised selected papers. : Oct 2008, Malaga, Spain. (Lecture Notes in Computer Science ; 5491)

Formal aspects in security and trust : 5th international workshop, FAST 2008 : Malaga, Spain, October 9-10, 2008 : revised selected papers. : Oct 2008, Malaga, Spain. (Lecture Notes in Computer Science ; 5491)
Paper図書
Springerc2009.<M17-10-388>
National Diet Library
  • Author HeadingDegano, Pierpaolo, 1950- Guttman, Joshua D. Martinelli...

Foundations and applications of security analysis : joint workshop on automated reasoning for security protocol analysis and issues in the theory of security, ARSPA-WITS 2009 : York, UK, March 28-29, 2009 : revised selected papers. : ARSPA : WITS : Mar 2009, York, UK. (Lecture Notes in Computer Science ; 5511)

Foundations and applications of security analysis : joint workshop on automated reasoning for security protocol analysis and issues in the theory of security, ARSPA-WITS 2009 : York, UK, March 28-29, 2009 : revised selected papers. : ARSPA : WITS : Mar 2009, York, UK. (Lecture Notes in Computer Science ; 5511)
Paper図書
Springerc2009.<M17-10-2112>
National Diet Library
  • Author HeadingDegano, Pierpaolo, 1950- Viganò, Luca. Joint Workshop ...

Formal methods for computational systems biology : 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 : Bertinoro, Italy, June 2-7, 2008 : advanced lectures. : Jun 2008, Bertinoro, Italy. (Lecture Notes in Computer Science ; 5016. Tutorial)

Formal methods for computational systems biology : 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 : Bertinoro, Italy, June 2-7, 2008 : advanced lectures. : Jun 2008, Bertinoro, Italy. (Lecture Notes in Computer Science ; 5016. Tutorial)
Paper図書
Springerc2008.<M17-08-1785>
National Diet Library
  • Author HeadingBernardo, Marco. Degano, Pierpaolo, 1950- Zavattaro, Gianluigi. Interna...

Programming languages and systems : 12th European symposium on programming, ESOP 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings. : Apr 2003, Warsaw, Poland. (Lecture Notes in Computer Science ; 2618)

Programming languages and systems : 12th European symposium on programming, ESOP 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings. : Apr 2003, Warsaw, Poland. (Lecture Notes in Computer Science ; 2618)
Paper図書
Springerc2003.<M17-03-1169>
National Diet Library
  • Author Heading...f Informatics. Degano, Pierpaolo, 1950- European Symposium on Program...

Integrated interactive computing systems : proceedings of the European Conference on Integrated Interactive Computing Systems, ECICS 82 Stresa, Italy, 1-3 September 1982 / edited by Pierpaolo Degano and Erik Sandewall.

Integrated interactive computing systems : proceedings of the European Conference on Integrated Interactive Computing Systems, ECICS 82 Stresa, Italy, 1-3 September 1982 / edited by Pierpaolo Degano and Erik Sandewall.
Paper図書
North-Holland Pub. Co.1983.<M15-A420>
National Diet Library
  • Author Heading...Stresa, Italy) Degano, Pierpaolo, 1950- Sandewall, Erik.

Reached to the end of result.

RSS