大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Zhiming 的图书(共15本)

Differential Equations with Symbolic Computation [electronic resource]

0
索取号：
作者：Wang、 Dongming.、Zheng、 Zhiming.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2005.

Foundations of Health Informatics Engineering and Systems [electronic resource] : First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

0
索取号：
作者：Liu、 Zhiming.、Wassyng、 Alan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Automated Technology for Verification and Analysis [electronic resource] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings

0
索取号：
作者：Liu、 Zhiming.、Ravn、 Anders P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Theoretical Aspects of Computing-ICTAC 2007 [electronic resource] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

0
索取号：
作者：Jones、 Cliff B.、Liu、 Zhiming.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Methods and Hybrid Real-Time Systems [electronic resource] : Essays in Honor of Dines Bj酶rner and Chaochen Zhou on the Occasion of Their 70th Birthdays

0
索取号：
作者：Jones、 Cliff B.、Liu、 Zhiming.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Domain Modeling and the Duration Calculus [electronic resource] : International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

0
索取号：
作者：George、 Chris W.、Liu、 Zhiming.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Methods and Software Engineering [electronic resource] : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings

0
索取号：
作者：Liu、 Zhiming.、He、 Jifeng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Theoretical Aspects of Computing - ICTAC 2004 [electronic resource] : First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

0
索取号：
作者：Liu、 Zhiming.、Araki、 Keijiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Quantum Dot Devices [electronic resource]

0
索取号：
作者：Wang、 Zhiming M.、SpringerLink (Online service)、
出版社：New York, NY : Springer New York : Imprint: Springer, 2012.

Nanoscale Photonics and Optoelectronics [electronic resource] : Science and Technology

0
索取号：
作者：Wang、 Zhiming M.、Neogi、 Arup.、SpringerLink (Online service)、
出版社：New York, NY : Springer New York, 2010.

Toward Functional Nanomaterials [electronic resource]

0
索取号：
作者：Wang、 Zhiming M.、SpringerLink (Online service)、
出版社：New York, NY : Springer US, 2009.

Self-Assembled Quantum Dots [electronic resource]

0
索取号：
作者：Wang、 Zhiming M.、SpringerLink (Online service)、
出版社：New York, NY : Springer New York, 2008.

One-Dimensional Nanostructures [electronic resource]

0
索取号：
作者：Wang、 Zhiming M.、SpringerLink (Online service)、
出版社：New York, NY : Springer New York, 2008.

Selected topics in finite element methods = 有限元方法选讲

0
索取号：O241.82/E20111
作者：Chen、 Zhiming.、Wu、 Haijun.、
出版社：Beijing : Science Press, 2010.

Romance as strategy : a study of Winnifred Eaton's fiction / Pan Zhiming = 作为策略的罗曼司 : 温妮弗蕾德•伊顿小说研究

0
索取号：I711.074/E20091
作者：Pan、 Zhiming、
出版社：Beijing : Foreign Language Teaching and Research Press, 2008.