搜尋書籍

Teaching formal methods : seco... 手動新增

edited by Jeremy Gibbons, Jose Nuno Oliveira.

Springer-Verlag Berlin Heidelberg

Processing foods : quality opt... 手動新增

edited by Fernanda A.R. Oliveira, Jorge C. Oliveira, with Marc E. Hendrickx, Deitrich Knorr, Leon G.M. Gorris.

CRC Press

Generic programming : IFIP TC... 手動新增

edited by Jeremy Gibbons, Johan Jeuring.

Kluwer Academic Publishers

Biological and Medical Data An... 手動新增

edited by Jose Luis Oliveira ... [et al.].

Springer-Verlag GmbH.

Human-computer interaction : t... 手動新增

edited by Marielba Zacarias, Jose Valente de Oliveira.

Springer Berlin Heidelberg

Computational processing of th... 手動新增

edited by Nuno J. Mamede ... [et al.].

Springer