臺北市立大學行動版館藏查詢

Degano Pierpaolo(作者(個人/團體)) ，共查得7 件。

Automata, languages, and programming 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings / Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.) c1997.

Computational methods in systems biology 7th international conference, CMSB 2009, Bologna, Italy, August 31 - September 1, 2009 : proceedings / edited by Pierpaolo Degano, Roberto Gorrieri 2009

Formal aspects in security and trust 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers / edited by Pierpaolo Degano, Joshua Guttman, Fabio Martinelli 2009

Formal aspects of security and trust 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers / edited by Pierpaolo Degano, Sandro Etalle, Joshua Guttman. 2011.

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 / edited by Pierpaolo Degano, Luca Vigano 2009

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 / edited by Pierpaolo Degano, Joshua D. Guttman. 2012.

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 / Pierpaolo Degano, ed. c2003.

1/1

縮小搜尋範圍

出版年區間 : 年 ~ 年
特藏 :
語文 :