302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
工业技术
自动化技术、计算机技术
计算技术、计算机技术
一般性问题
理论、方法
形式语言理论
2003年
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
全部
搜索分类
编程语言的形式语义学
本书是计算机专业本科生研究生形式语义学教材。
2003.
形式语义学的稳定论域理论
本书系统论述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓朴方法，建立稳定论域的逻辑表示...
2003.12
按出版社分类
机械工业出版社
2790
高等教育出版社
2080
清华大学出版社
1731
科学出版社
1682
新疆人民出版社
1278
电子工业出版社
1206
南方出版社
1176
青海人民出版社
1074
延边人民出版社
1060
中国人民大学出版社
879
化学工业出版社
868
龙门书局
844
人民邮电出版社
841
法律出版社
834
外语教学与研究出版社
759
北京大学出版社
758
中国农业出版社
713
中国财政经济出版社
706
中国建筑工业出版社
701
中国铁道出版社
688
按标签分类
长篇小说－中国－当代
1495
散文－作品集－中国－当代
1446
数学课－小学－习题
943
语文课－小学－习题
821
语文课－小学－教学参考资料
731
数学课－小学－教学参考资料
701
语文课－初中－教学参考资料
639
诗歌－作品集－中国－当代
604
汉语拼音－儿童读物
561
数学课－初中－教学参考资料
556
英语课－初中－教学参考资料
539
随笔－作品集－中国－当代
534
作文课－小学－教学参考资料
443
语文课－初中－习题
424
短篇小说－作品集－中国－当代
396
中国画－作品集－中国－现代
393
英语课－初中－习题
364
物理课－初中－教学参考资料
358
英语课－高中－教学参考资料
358
数学课－初中－习题
353