302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
程序语言－教材
2006年
2012
2007
2006
2005
2004
全部
搜索分类
程序设计语言理论基础
本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统...
2006.10
按中图号分类
中图号G634
15217
中图号G624
5180
中图号I247.5
2821
中图号G634.413
1386
中图号J222.7
1295
中图号H31
1269
中图号I267
1208
中图号TP391.41
955
中图号TP3
885
中图号I227
880
中图号TP312
877
中图号G613
789
中图号G634.303
659
中图号G624.243
646
中图号G624.203
599
中图号F270
588
中图号J214
583
中图号G634.415
559
中图号I25
543
中图号B848.4-49
524
按出版社分类
机械工业出版社
3315
清华大学出版社
2145
高等教育出版社
2077
北京教育出版社
2072
科学出版社
1773
光明日报出版社
1618
化学工业出版社
1617
电子工业出版社
1595
人民邮电出版社
1488
北京大学出版社
1314
远方出版社
1200
中国电力出版社
1103
人民卫生出版社
1095
陕西人民教育出版社
1057
内蒙古人民出版社
1050
内蒙古少年儿童出版社
1045
中国人民大学出版社
1007
中国建筑工业出版社
979
新疆人民出版社
965
中国农业出版社
948