Search Books

Foundations of Security Analys... 手動新增

edited by Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli.

Springer-Verlag GmbH.

Formal methods for quantitativ... 手動新增

edited by Alessandro Aldini ... [et al.].

Springer-Verlag Berlin Heidelberg

Formal aspects in security and... 手動新增

edited by Pierpaolo Degano, Joshua Guttman, Fabio Martinelli.

Springer Berlin Heidelberg

Formal Aspects in Security and... 手動新增

edited by Theo Dimitrakos, Fabio Martinelli.

International Federation for Information Processing

Italian Institutional Reforms ... 手動新增

edited by Fabio Padovano, Roberto Ricciuti.

Springer Science+Business Media, LLC

Mentor and muse : essays from ... 手動新增

edited by Blas Falconer, Beth Martinelli, and Helena Mesa.

Southern Illinois University Press