Search Books

Automated technology for verif... 手動新增

edited by Zhiming Liu, Anders P. Ravn.

Springer-Verlag Berlin Heidelberg

Theoretical Aspects of Computi... 手動新增

edited by Keijiro Araki, Zhiming Liu.

Springer-Verlag GmbH.

University science and mathema... 手動新增

edited by Ole Skovsmose, Paola Valero, Ole Ravn Christensen.

Springer US

Differential Equations with Sy... 手動新增

edited by Dongming Wang, Zhiming Zheng.

Birkhauser Verlag

One-Dimensional Nanostructures 手動新增

edited by Zhiming M. Wang ... [et al.].

Springer Science+Business Media, LLC

Quantum dot devices 手動新增

edited by Zhiming M. Wang.

Springer New York