Search Books

搜尋「edited by Pierpaolo Degano, Rocco Nicola, Jose Meseguer.」的結果： 找到 37,089 本書籍， 0 個書架

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 : 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)
Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings 館藏
edited by Jose Meseguer, Grigore Rosu.
Springer-Verlag Berlin Heidelberg
2008
ISBN 9783540799801 (electronic bk.) ; 9783540799795 (paper)
Trustworthy Global Computing : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers 館藏
edited by Rocco De Nicola, Davide Sangiorgi.
Springer-Verlag GmbH.
2005
ISBN 9783540314837 (electronic bk.) ; 9783540300076 (paper)
查看全部 37,089 本書籍

沒有找到相關書架

請嘗試其他關鍵字