搜索包含 Doron 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 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.

	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.