检索
高级检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
网上办证
新书通报
中图分类查看
科图分类查看
精品图书
信息公告
全馆预约到馆通知
全馆图书催还通知
全馆预借到馆通知
所有标签
借阅分析
图书借阅排行榜
热门图书排行榜
图书专题
语言:
中文
登录
语言:
中文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=Mathematical+Foundations+of+Programming&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
Mathematical Foundations of Programming
, 检索到: 17 条结果, 检索时间: 0.078 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
Mathematical Foundations of Programming
CADAL电子资源
集群图书馆
分类导航
T 工业技术
(11)
O 数理科学与化学
(2)
P 天文学、地球科学
(2)
U 交通运输
(1)
分面检索
资源类型
显示更多..
图书馆
显示更多..
馆藏地点
显示更多..
主题
程序设计
(1)
显示更多..
著者
symposium on mathematical foundations of computer science (1972- )
(4)
ieee computer society
(3)
acm special interest group for automata and computability theory
(2)
(美)贝克曼(beckman,f.s.)著
(1)
acm symposium on theory of computing
(1)
beckman
(1)
beckman, frank s
(1)
be閏v鈇閞, j.,
(1)
blikle, andrzej
(1)
braffort, p
(1)
carberry, m. s
(1)
dembi鈔ski, piotr
(1)
espagnat, bernard d'
(1)
f.s
(1)
fizikos ir matematikos institutas (lietuvos tsr moksl駏 akademija)
(1)
gruska, jozef
(1)
hirschberg, d
(1)
international conference on the mathematical foundation of programming semantics
(1)
main, m
(1)
majthay, antal
(1)
显示更多..
出版日期
1991
(1)
显示更多..
文献类型
图书
(17)
显示更多..
语言种类
汉语
(1)
显示更多..
保存至书单:
创建新书单
共 2 页
首页
<上一页
1
2
下一页>
尾页>>
1.
Mathematical foundations of programming /
订购中
著者:
Frank S. Beckman.
出版社:
Addison-Wesley,
出版日期: c1980.
文献类型:
图书 , 索书号:
TP31/B397
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
程序设计的数学基础
订购中
著者:
(美)贝克曼(Beckman
F.S.)著
出版社:
科学出版社
出版日期: 1991.8
文献类型:
图书 , 索书号:
TP311/853
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
Mathematical foundations of programming semantics :: 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings /
订购中
著者:
M. Main ... [et al.]
eds.
出版社:
Springer-Verlag,
出版日期: c1990.
文献类型:
图书 , 索书号:
TP312-53/M426
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
Computer programming and formal systems./
订购中
著者:
Edited by P. Braffort and D. Hirschberg.
出版社:
North-Holland Pub. Co.,
出版日期: 1963.
文献类型:
图书 , 索书号:
P174/B814
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
Foundations of catastrophe theory /
订购中
著者:
Antal Majthay.
出版社:
Pitman Advanced Pub. Program,
出版日期: 1985.
文献类型:
图书 , 索书号:
O211.68/M234
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
6.
18th Annual Symposium on Foundations of Computer Science /
订购中
著者:
sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing in cooperation with the ACM Special Interest Group for Automata and Computability Theory ... [et al.]
出版社:
The Society,
出版日期: 1976.
文献类型:
图书 , 索书号:
tp3/s989
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
7.
Equational logic as a programming language /
订购中
著者:
Michael J. O'Donnell.
出版社:
MIT Press,
出版日期: c1985.
文献类型:
图书 , 索书号:
TP312/O22
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
8.
Mathematical foundations of computer science :: 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 /
订购中
著者:
edited by A. Blikle.
出版社:
Springer-Verlag,
出版日期: 1975.
文献类型:
图书 , 索书号:
024-53/S989
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
9.
Mathematical foundations of computer science, 1978 :: proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 /
订购中
著者:
edited by J. Winkowski.
出版社:
Springer-Verlag,
出版日期: 1978.
文献类型:
图书 , 索书号:
TP3/S989
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
10.
Mathematical foundations of computer science, 1980 :: proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980 /
订购中
著者:
edited by P. Dembinski.
出版社:
Springer-Verlag,
出版日期: 1980.
文献类型:
图书 , 索书号:
TP3-53/S989
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 2 页
首页
<上一页
1
2
下一页>
尾页>>