书籍介绍
图书目录
理论计算机科学 1
Theoretical Computer Science 1
V o1.3 1
1. 并行流计算机模型1/O-CGs的弱可控制性 1
2. 随机排列序列的子序列 22
3. 约略数结构与模型区间计算 27
4. 图式程序设计语言的形式定义和设计问题 47
5. 证明网的定义和验证 60
6. Ra的递归开子集上的可计算实函数 80
7. 范畴递归实例 89
8. 关于线路复杂性 103
相关书籍
- 《理论计算机科学 3》《理论计算机科学》编委会编 1998
- 《理论计算机科学 3》《理论计算机科学》编委会编 1998
- 《理论计算机科学 1》吴文俊主编；《理论计算机科学》编辑委员会编 1992
- 《理论计算机科学 1》吴文俊主编；《理论计算机科学》编辑委员会编 1992
- 《计算机科学理论 程序设计途径》（英）布雷迪（Brady，J.M.）著；陆佑珊，陈慧清译 1988
- 《计算机科学理论 程序设计途径》（英）布雷迪（Brady，J.M.）著；陆佑珊，陈慧清译 1988
- 《可计算性复杂性语言 理论计算机科学基础》（美）戴维斯（Davis，M.D.），（美）威尤克（Weyuker，E.J.）著；张立昂等译 1989
- 《可计算性复杂性语言 理论计算机科学基础》（美）戴维斯（Davis，M.D.），（美）威尤克（Weyuker，E.J.）著；张立昂等译 1989
- 《理论计算机科学 形式语义学引论》中国科学院计算技术研究所，周巢尘著 1985
- 《理论计算机科学 形式语义学引论》中国科学院计算技术研究所，周巢尘著 1985
出版社其它书籍
- 《上海方言词汇集》（英）艾约瑟（J.Edkins）编著 2016
- 《上海方言词汇集》（英）艾约瑟（J.Edkins）编著 2016
- 《上海集邮文献史 1879-1949 1872-1949》朱勇坤著 2018
- 《上海集邮文献史 1879-1949 1872-1949》朱勇坤著 2018
- 《上海图书馆馆藏旧版日文文献总目》上海图书馆编 2001
- 《上海图书馆馆藏旧版日文文献总目》上海图书馆编 2001
- 《上海图书馆藏张元济文献及研究》上海图书馆编 2017
- 《上海图书馆藏张元济文献及研究》上海图书馆编 2017
- 《上海科学技术文献译文通报 第45辑》上海科学技术情报研究所编 1994
- 《上海科学技术文献译文通报 第45辑》上海科学技术情报研究所编 1994
