搜尋書籍

Algebraic Methodology and Soft... 手動新增

edited by Jose Meseguer, Grigore Rosu.

Springer-Verlag Berlin Heidelberg

Concurrency, Graphs and Models... 手動新增

edited by Pierpaolo Degano, Rocco Nicola, Jose Meseguer.

Springer-Verlag Berlin Heidelberg

Community and civil society 手動新增

Ferdinand T鋌nnies ; edited by Jose Harris ; translated by Jose Harris and Margaret Hollis.

Cambridge University Press

Trends in Partial Differential... 手動新增

edited by Jose Francisco Rodrigues, Gregory Seregin, Jose Miguel Urbano.

Birkhauser Verlag

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

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

Springer-Verlag Berlin Heidelberg

40 years of Berezinskii-Koster... 手動新增

edited by Jorge V. Jose.

World Scientific