搜尋書籍

25 Years of Model Checking : H... 手動新增

edited by Joachim von zur Gathen, Jose Luis Imana, Cetin Kaya Koc.

Springer-Verlag Berlin Heidelberg

Arithmetic of Finite Fields : ... 手動新增

edited by Joachim von zur Gathen, Jose Luis Imana, Cetin Kaya Koc.

Springer-Verlag Berlin Heidelberg

Cryptographic engineering 手動新增

edited by Cetin Kaya Koc.

Springer US

The political economy of regul... 手動新增

edited by Tamer Cetin, Fuat Oguz.

Springer Science+Business Media, LLC

A century of psychology as sci... 手動新增

edited by Sigmund Koch & David E. Leary.

American Psychological Association

Body memory, metaphor and move... 手動新增

edited by Sabine C. Koch ... [et al.].

John Benjamins Pub. Co.