搜尋書籍

Trustworthy Global Computing :... 手動新增

edited by Gilles Barthe, Cedric Fournet.

Springer-Verlag Berlin Heidelberg

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

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

Springer-Verlag GmbH.

Engineering secure software an... 手動新增

edited by Gilles Barthe, Benjamin Livshits, Riccardo Scandariato.

Springer Berlin Heidelberg

Programming languages and syst... 手動新增

edited by Gilles Barthe.

Springer Berlin Heidelberg

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

edited by Gilles Barthe, Manuel Hermenegildo.

Springer-Verlag Berlin Heidelberg

Entropy Methods for the Boltzm... 手動新增

by Fraydoun Rezakhanlou, Cedric Villani ; edited by Frangois Golse, Stefano Olla.

Springer-Verlag Berlin Heidelberg