检索
高级检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
新书通报
中图分类查看
科图分类查看
信息公告
全馆预约到馆通知
全馆图书催还通知
aaaa
所有标签
图书专题
图书荐购
历史荐购
读者荐购
征订书目
语言:
中文
登录
语言:
中文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=Manna&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
Manna
, 检索到: 3 条结果, 检索时间: 0.008 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
Manna
CADAL电子资源
集群图书馆
分类导航
T 工业技术
(3)
Q 生物科学
(1)
图书馆
天华学院
(3)
显示更多..
馆藏地点
理科书库
(2)
储存书库
(1)
显示更多..
主题
computer programming
(1)
logic, symbolic and mathematical
(1)
反应式
(1)
并发程序设计
(1)
时序控制
(1)
算法理论-计算机系统
(1)
计算机系统-算法理论
(1)
显示更多..
著者
(美) 佐哈尔·曼纳, (以) 艾米尔·伯努利著
(1)
(美)马纳(manna,z.)著
(1)
20130325ohar
(1)
manna
(1)
waldinger, richard
(1)
z
(1)
伯努利
(1)
张广泉
(1)
张广泉译
(1)
曼纳
(1)
李玉茜
(1)
李玉茜译
(1)
马纳
(1)
显示更多..
出版日期
1986
(1)
2023
(1)
显示更多..
文献类型
图书
(3)
显示更多..
语言种类
汉语
(2)
显示更多..
保存至书单:
创建新书单
共 1 页
首页
<上一页
1
下一页>
尾页>>
1.
计算的数学理论
订购中
著者:
Z. 马纳
Z. Manna
出版社:
科学出版社
出版日期: 1986
文献类型:
图书 , 索书号:
TP301.6/M111
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
The logical basis for computer programming.. Vol. 1,. Deductive reasoning /
订购中
著者:
Waldinger
Richard.
出版社:
Addison-Wesley,
出版日期: c1985.
文献类型:
图书 , 索书号:
1
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
反应式和并发系统的时序逻辑
订购中
著者:
曼纳
伯努利
出版社:
清华大学出版社
出版日期: 2023
文献类型:
图书 , 索书号:
TP311.11/M313
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 1 页
首页
<上一页
1
下一页>
尾页>>