搜尋書籍

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

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)
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)
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)
Logic Based Program Synthesis and Transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers 館藏
edited by Sandro Etalle.
Springer-Verlag GmbH.
2005
ISBN 9783540316831 (electronic bk.) ; 9783540266556 (paper)
International workshop on evidence-based technology enhanced learning 館藏
edited by Pierpaolo Vittorini ... [et al.].
Springer Berlin Heidelberg
2012
ISBN 9783642288012 (electronic bk.) ; 9783642288005 (paper)
查看全部 37,089 本書籍

沒有找到相關書架

請嘗試其他關鍵字