搜尋書籍

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

Sociolinguistics : an interna... 手動新增

edited by Ulrich Ammon, Norbert Dittmar, Klaus J. Mattheier = Soziolinguistik : ein internationales Handbuch zur Wissenschaft von Sprache und Gesellschaft / herausgegeben von Ulrich Ammon, Norbert Dittmar, Klaus J. Mattheier.

Walter de Gruyter

Computational linguistics : an... 手動新增

edited by Istv榥n S. B榥tori, Winfried Lenders, Wolfgang Putschke = Computerlinguistik : ein internationales handbuch zur computergest鋎tzten / herausgegeben von Istv榥n S. B榥tori, Winfried Lenders, Wolfgang Putschke.

Walter de Gruyter

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

edited by Tamer Cetin, Fuat Oguz.

Springer Science+Business Media, LLC