检索条件： Computable functions ( 任意词 )

检索结果共有8条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Computational functional analysis
责任者 Ramon E. Moore

出版信息 Ellis Horwood Ltd. ,1985

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Ramon E. Moore.Computational functional analysis.Ellis Horwood Ltd.,1985.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computational functional analysis

Ramon E. Moore.Ellis Horwood Ltd.,1985.
2 图书可计算函数
责任者舍恩,韦列夏金

出版信息高等教育出版社 ,2014

ISBN 978-7-04-038692-9

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
舍恩,韦列夏金.可计算函数.高等教育出版社,2014.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

可计算函数

舍恩,韦列夏金.高等教育出版社,2014.
3 图书 Recursively enumerable set and degrees：a study of computable functions and computably generated sets
责任者 R. I. Soare

出版信息 Springer ,1987

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
R. I. Soare.Recursively enumerable set and degrees：a study of computable functions and computably generated sets.Springer,1987.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Recursively enumerable set and degrees：a study of computable functions and computably generated sets

R. I. Soare.Springer,1987.
4 图书 Recursively enumerable sets and degrees : a study of computable functions and computably generated sets = 递归可枚举集和图灵度 : 可计算函数与可计算生成集研究 /
责任者 Robert I. Soare.

出版信息科学出版社, ,2007

ISBN 978-7-03-018295-1

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Robert I. Soare..Recursively enumerable sets and degrees : a study of computable functions and computably generated sets = 递归可枚举集和图灵度 : 可计算函数与可计算生成集研究 /.科学出版社,,2007.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets = 递归可枚举集和图灵度 : 可计算函数与可计算生成集研究 /

Robert I. Soare..科学出版社,,2007.
5 图书 Conference on Functional Programming Languages and Computer Architure (5th : 1991 : MA)：Functional programming languages and computer architecture
责任者 Conference on Functional Programming Languages and Computer Architecture

出版信息 Springer ,1991

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Conference on Functional Programming Languages and Computer Architecture.Conference on Functional Programming Languages and Computer Architure (5th : 1991 : MA)：Functional programming languages and computer architecture.Springer,1991.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Conference on Functional Programming Languages and Computer Architure (5th : 1991 : MA)：Functional programming languages and computer architecture

Conference on Functional Programming Languages and Computer Architecture.Springer,1991.
6 图书 Automata, computability and complexity : theory and applications = 自动机理论与应用 /
责任者 Elaine Rich著.

出版信息清华大学出版社, ,2009.

ISBN 9787302212935

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Elaine Rich著..Automata, computability and complexity : theory and applications = 自动机理论与应用 /.清华大学出版社,,2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Automata, computability and complexity : theory and applications = 自动机理论与应用 /

Elaine Rich著..清华大学出版社,,2009..
7 图书 Computability and logic =: 可计算性与数理逻辑 /
责任者 Burgess, John P.,,Jeffrey, Richard C.

出版信息 Pub. House of Electronic Industry, ,2003.

ISBN 7-5053-8828-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Burgess, John P.,,Jeffrey, Richard C..Computability and logic =: 可计算性与数理逻辑 /.Pub. House of Electronic Industry,,2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computability and logic =: 可计算性与数理逻辑 /

Burgess, John P.,,Jeffrey, Richard C..Pub. House of Electronic Industry,,2003..
8 图书 Languages and machines : an introduction to the theory of computer science = 语言与机器 : 计算机科学理论导论 /
责任者 Thomas A. Sudkamp.

出版信息清华大学出版社, ,2007.

ISBN 978-7-302-15172-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Thomas A. Sudkamp..Languages and machines : an introduction to the theory of computer science = 语言与机器 : 计算机科学理论导论 /.清华大学出版社,,2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Languages and machines : an introduction to the theory of computer science = 语言与机器 : 计算机科学理论导论 /

Thomas A. Sudkamp..清华大学出版社,,2007..

通借成功!

预约成功!