大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Veith 的图书(共4本)
 |
Computer Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings0索取号： 作者：Dawar、 Anuj.、Veith、 Helmut.、SpringerLink (Online service)、 出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. | |
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings0索取号： 作者：Cervesato、 Iliano.、Veith、 Helmut.、Voronkov、 Andrei.、SpringerLink (Online service)、 出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
|
25 Years of Model Checking [electronic resource] : History, Achievements, Perspectives0索取号： 作者：Grumberg、 Orna.、Veith、 Helmut.、SpringerLink (Online service)、 出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. | |
Hysteria : the history of a disease0索取号：R749.33/E701 作者：Veith、 Ilza.、 出版社：London : Chicago'Univ.Pr., Northvale, N.J. : Jason Aronson, 1965 |
最近添加的分类
粤公网安备 44030602003680号