搜尋書籍

Practical Aspects of Declarati... 手動新增

edited by Daniel Cabeza, Manuel Hermenegildo.

Springer-Verlag GmbH.

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

edited by Gilles Barthe, Manuel Hermenegildo.

Springer-Verlag Berlin Heidelberg

Advances in thermal energy sto... 手動新增

edited by Luisa F. Cabeza.

Advances in thermal energy sto... 手動新增

edited by Luisa F. Cabeza.

Elsevier/Woodhead Publishing

Eco-efficient construction and... 手動新增

edited by F. Pacheco-Torgal, L.F. Cabeza, J. Labrincha and A. de Magalhaes.

Eco-efficient construction and... 手動新增

edited by F. Pacheco-Torgal, L.F. Cabeza, J. Labrincha and A. de Magalhaes.

Woodhead Publishing