搜尋書籍

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

edited by Pierpaolo Degano, Joshua Guttman, Fabio Martinelli.

Springer Berlin Heidelberg

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

edited by Pierpaolo Degano, Sandro Etalle, Joshua Guttman.

Springer Berlin Heidelberg

Principles of security and tru... 手動新增

edited by Pierpaolo Degano, Joshua D. Guttman.

Springer Berlin Heidelberg

Concurrency, Graphs and Models... 手動新增

edited by Pierpaolo Degano, Rocco Nicola, Jose Meseguer.

Springer-Verlag Berlin Heidelberg

International workshop on evid... 手動新增

edited by Pierpaolo Vittorini ... [et al.].

Springer Berlin Heidelberg

Chemical genomics and proteomi... 手動新增

edited by Ferenc Darvas, Andras Guttman, Gyorgy Dorman.

CRC Press