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

0
索取号：
作者：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. Proceedings

0
索取号：
作者：Cervesato、 Iliano.、Veith、 Helmut.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

25 Years of Model Checking [electronic resource] : History, Achievements, Perspectives

0
索取号：
作者：Grumberg、 Orna.、Veith、 Helmut.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Hysteria : the history of a disease

0
索取号：R749.33/E701
作者：Veith、 Ilza.、
出版社：London : Chicago'Univ.Pr., Northvale, N.J. : Jason Aronson, 1965