搜尋書籍

搜尋「edited by Pierpaolo Degano, Joshua Guttman, Fabio Martinelli.」的結果： 找到 37,089 本書籍， 0 個書架

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.
Springer Berlin Heidelberg
2009
ISBN 9783642014659 (electronic bk.) ; 9783642014642 (paper)
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.
Springer Berlin Heidelberg
2011
ISBN 9783642197512 (electronic bk.) ; 9783642197505 (paper)
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.
Springer Berlin Heidelberg
2012
ISBN 9783642286414 (electronic bk.) ; 9783642286407 (paper)
Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday 館藏
edited by Pierpaolo Degano, Rocco Nicola, Jose Meseguer.
Springer-Verlag Berlin Heidelberg
2008
ISBN 9783540686798 (electronic bk.) ; 9783540686767 (paper)
Formal Aspects in Security and Trust : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France 館藏
edited by Theo Dimitrakos, Fabio Martinelli.
International Federation for Information Processing
2005
ISBN 9780387240985 (electronic bk.) ; 9780387240503 (paper)
Foundations of Security Analysis and Design III : FOSAD 2004/2005 Tutorial Lectures 館藏
edited by Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli.
Springer-Verlag GmbH.
2005
ISBN 9783540319368 (electronic bk.) ; 9783540289555 (paper)
查看全部 37,089 本書籍

沒有找到相關書架

請嘗試其他關鍵字