Search Books

Automata, Languages and Progra... 手動新增

edited by Luis CairesGuiseppe F. Italiano, Luis Monteiro, Catuscia Palamidessi.

Springer-Verlag GmbH.

Logic programming : 19th Inter... 手動新增

edited by Catuscia Palamidessi.

Springer

Theory of security and applica... 手動新增

edited by Sebastian Modersheim, Catuscia Palamidessi.

Springer Berlin Heidelberg

Integrated circuit and system ... 手動新增

edited by Jose Monteiro, Rene Leuken.

Springer-Verlag Berlin Heidelberg

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

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

Springer-Verlag Berlin Heidelberg

An assessment of the global im... 手動新增

edited by Philip Arestis, Rog?aerio Sobreira and Jos?ae Luis Oreiro.

Palgrave Macmillan