检索条件： Hermenegildo, Manuel. ( 任意词 )

检索结果共有3条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings /
责任者 Garrigue, Jacques.,Hermenegildo, Manuel.

出版信息 Springer, ,c2008.

ISBN 9783540789680 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Garrigue, Jacques.,Hermenegildo, Manuel..Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/292661
复制引文到剪贴板

Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings /

Garrigue, Jacques.,Hermenegildo, Manuel..Springer,,c2008..
2 图书 Practical aspects of declarative languages : 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings /
责任者 Hermenegildo, Manuel.,Cabeza, Daniel.

出版信息 Springer, ,c2005.

ISBN 3-540-24362-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Hermenegildo, Manuel.,Cabeza, Daniel..Practical aspects of declarative languages : 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/218815
复制引文到剪贴板

Practical aspects of declarative languages : 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings /

Hermenegildo, Manuel.,Cabeza, Daniel..Springer,,c2005..
3 图书 Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings /
责任者 Hermenegildo, Manuel.,Puebla, Germ鈇n.

出版信息 Springer, ,c2002.

ISBN 3-540-44235-9 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Hermenegildo, Manuel.,Puebla, Germ鈇n..Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings /.Springer,,c2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/152036
复制引文到剪贴板

Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings /

Hermenegildo, Manuel.,Puebla, Germ鈇n..Springer,,c2002..

通借成功!

预约成功!