检索条件： Abramsky, Samson, ( 著者 )

检索结果共有2条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Typed lambda calculi and applications : 5th international conference, TLCA 2001, Krak鈕w, Poland, May 2-5, 2001 : proceedings /
责任者 Abramsky, Samson,

出版信息 Springer, ,c2001.

ISBN 3-540-41960-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Abramsky, Samson,.Typed lambda calculi and applications : 5th international conference, TLCA 2001, Krak鈕w, Poland, May 2-5, 2001 : proceedings /.Springer,,c2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Typed lambda calculi and applications : 5th international conference, TLCA 2001, Krak鈕w, Poland, May 2-5, 2001 : proceedings /

Abramsky, Samson,.Springer,,c2001..
2 图书信息流的数学基础：英文
责任者阿布拉姆斯基,梅丝洛夫

出版信息哈尔滨工业大学出版社 ,2025

ISBN 978-7-5767-1899-7

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
阿布拉姆斯基,梅丝洛夫.信息流的数学基础：英文.哈尔滨工业大学出版社,2025.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

信息流的数学基础：英文

阿布拉姆斯基,梅丝洛夫.哈尔滨工业大学出版社,2025.

通借成功!

预约成功!