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

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.

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.

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.

Digital signal processing : theory, design, and implementation

0
索取号：TP33/E801
作者：Peled、 Abraham.、Liu、 Bede、 joint author.、
出版社：London New York : Wiley, 1976.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院