搜尋書籍

Engineering secure software an... 手動新增

edited by Gilles Barthe, Benjamin Livshits, Riccardo Scandariato.

Springer Berlin Heidelberg

Construction and Analysis of S... 手動新增

edited by Gilles Barthe ... [et al.].

Springer-Verlag GmbH.

Programming languages and syst... 手動新增

edited by Gilles Barthe.

Springer Berlin Heidelberg

Trustworthy Global Computing :... 手動新增

edited by Gilles Barthe, Cedric Fournet.

Springer-Verlag Berlin Heidelberg

Verification, model checking, ... 手動新增

edited by Gilles Barthe, Manuel Hermenegildo.

Springer-Verlag Berlin Heidelberg

Advanced topics on cellular se... 手動新增

edited by Riccardo Caponetto, Luigi Fortuna, Mattia Frasca.

World Scientific Pub. Co.