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

Beyond Elder Law [electronic resource] : New Directions in Law and Aging

0
索取号：
作者：Doron、 Israel.、Soden、 Ann M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Time for Verification [electronic resource] : Essays in Memory of Amir Pnueli

0
索取号：
作者：Manna、 Zohar.、Peled、 Doron A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Runtime Verification [electronic resource] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

0
索取号：
作者：Bensalem、 Saddek.、Peled、 Doron A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Model Checking and Artificial Intelligence [electronic resource] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers

0
索取号：
作者：Peled、 Doron A.、Wooldridge、 Michael J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Theories on Law and Ageing [electronic resource] : The Jurisprudence of Elder Law

0
索取号：
作者：Doron、 Israel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

0
索取号：
作者：Logozzo、 Francesco.、Peled、 Doron A.、Zuck、 Lenore D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Automated Technology for Verification and Analysis [electronic resource] : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

0
索取号：
作者：Peled、 Doron A.、Tsay、 Yih-Kuen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Essential Practice Guidelines in Primary Care [electronic resource]

0
索取号：
作者：Skolnik、 Neil S.、Schneider、 Doron.、Neill、 Richard.、Kuritzky、 Lou.、SpringerLink (Online service)、
出版社：Totowa, NJ : Humana Press, 2007.

Model checking

0
索取号：TP302/E20101
作者：Clarke、 E. M.、 1945- CAL n2005044265# ba0yba0y、Grumberg、 Orna. CAL n2005093796# ba0yba0y、Peled、 Doron、 1962- CAL n2005190404# ba0yba0y、
出版社：Cambridge, Mass. : MIT Press, c1999.

A critical introduction to phonology : of sound, mind and body

0
索取号：H01/E20076
作者：Silverman、 Daniel Doron、 1963-、
出版社：London ; New York : Continuum, c2006.