-
中文图书1.计算系统的形式语义.下 TP301.2/11-2
馆藏复本:2
可借复本:1 陆汝钤著
清华大学出版社 2017
(0) 馆藏
-
中文图书2.计算系统的形式语义.上 TP301.2/11-1
馆藏复本:2
可借复本:1 陆汝钤著
清华大学出版社 2017
(0) 馆藏
-
中文图书3.知识科学与计算科学 TP3/298
馆藏复本:6
可借复本:6 陆汝钤主编
清华大学出版社 2003
(0) 馆藏
-
中文图书4.算法语言 ALGOL68 修改报告 TP312/18
馆藏复本:25
可借复本:25 ()范维恩加登(VanWijngaardn,A.)编
科学出版社 1982
(0) 馆藏
-
中文图书5.世纪之交的知识工程与知识科学 TP182/2
馆藏复本:5
可借复本:5 陆汝钤编著
清华大学出版社 2001
(0) 馆藏
-
中文图书6.计算机语言的形式语义 TP301.2/2
馆藏复本:4
可借复本:4 陆汝钤编著
科学出版社 1992.12
(0) 馆藏
-
中文图书7.算法语言 ALGOL68 修改报告 TP312/225#1
馆藏复本:3
可借复本:3 ()范维恩加登(VanWijngaardn,A.)编
科学出版社 1982
(0) 馆藏