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

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.

Advances in Computer Science-ASIAN 2007. Computer and Network Security [electronic resource] : 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings

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