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

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

0
索取号：
作者：Barthe、 Gilles.、Hermenegildo、 Manuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Functional and Logic Programming [electronic resource] : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

0
索取号：
作者：Garrigue、 Jacques.、Hermenegildo、 Manuel V.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Practical Aspects of Declarative Languages [electronic resource] : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

0
索取号：
作者：Hermenegildo、 Manuel V.、Cabeza、 Daniel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.