302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
形式语义学－研究
2017年
2020
2017
2014
全部
搜索分类
形式语义学引论
本书包含三个内容：操作语义学、指称语义学和公理语义学，但不包括代数语义学。本书涉及非确定性和并发性，...
2017.6
按中图号分类
中图号G634
25127
中图号G624
14837
中图号G613
5354
中图号I247.5
5295
中图号I287.8
4943
中图号I267
3960
中图号I227
3556
中图号G613.2
1863
中图号G613.3
1739
中图号G624.243
1631
中图号I287.45
1532
中图号G624.203
1532
中图号J222.7
1527
中图号G898.2
1484
中图号I287.7
1459
中图号G634.413
1413
中图号I712.85
1368
中图号G624.565
1246
中图号G613.7
1242
中图号G634.303
1232
按出版社分类
科学出版社
4806
清华大学出版社
3254
团结出版社
3254
人民邮电出版社
3142
吉林大学出版社
3001
机械工业出版社
3000
商务印书馆
2853
电子工业出版社
2817
化学工业出版社
2562
吉林出版集团股份有限公司
2555
新疆青少年出版社
2544
延边大学出版社
2532
上海交通大学出版社
2353
黑龙江美术出版社
2350
中国社会科学出版社
2255
外语教学与研究出版社
2209
高等教育出版社
2177
江苏凤凰美术出版社
2145
北京联合出版公司
2123
江苏凤凰文艺出版社
2072