搜尋書籍

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

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

The language of fashion 手動新增

Roland Barthes ; translated by Andy Stafford ; edited by Andy Stafford and Michael Carter.

Berg