搜尋書籍

搜尋「edited by Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli.」的結果： 找到 37,089 本書籍， 0 個書架

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)
Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures 館藏
edited by Alessandro Aldini ... [et al.].
Springer-Verlag Berlin Heidelberg
2010
ISBN 9783642136788 (electronic bk.) ; 9783642136771 (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 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)
Italian Institutional Reforms : a public choice perspective 館藏
edited by Fabio Padovano, Roberto Ricciuti.
Springer Science+Business Media, LLC
2008
ISBN 9780387721415 (electronic bk.) ; 9780387721408 (paper)
Mentor and muse : essays from poets to poets 館藏
edited by Blas Falconer, Beth Martinelli, and Helena Mesa.
Southern Illinois University Press
2010
ISBN 9780809385874 (electronic bk.) ; 0809385872 (electronic bk.) ; 9780809329892 (pbk.) ; 0809329891 (pbk.)
查看全部 37,089 本書籍

沒有找到相關書架

請嘗試其他關鍵字