-
西文图书21.Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 TP311.1/T991
馆藏复本:1
可借复本:1 TYPES 2000
Springer, c2002.
(0) 馆藏
-
西文图书22.Programming languages and systems : 11th European Symposium on Programming, ESOP 2002, held as part TP31/P964(P)
馆藏复本:1
可借复本:1 European Symposium on Programming
Springer, c2002.
(0) 馆藏
-
西文图书23.Programming in ANSI C = 标准C程序设计 / TP312C/B171
馆藏复本:3
可借复本:3 Balagurusamy, E.
Qsinghua University Press, 2006.
(0) 馆藏
-
西文图书24.Temporal logic and temporal logic programming / TP311/D812
馆藏复本:3
可借复本:3 Duan, Zhenhua.
Science Press, 2005.
(0) 馆藏
-
西文图书25.Semantics, applications, and implementation of program generation : second international workshop, S TP311/S471
馆藏复本:1
可借复本:1 SAIG 2001
Springer, c2001.
(0) 馆藏
-
西文图书26.Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Nether TP333/R454
馆藏复本:1
可借复本:1 International Conference on Rewriting Techniques and Applications
Springer, c2001.
(0) 馆藏
-
西文图书27.Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedin TP311.1/S797
馆藏复本:1
可借复本:1 International Static Analysis Symposium
Springer, c2001.
(0) 馆藏
-
西文图书28.Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part TP311/P964
馆藏复本:1
可借复本:1 European Symposium on Programming
Springer, c2001.
(0) 馆藏
-
西文图书29.Trends in network and pervasive computing--ARCS 2002 : International Conference on Architecture of C TP303/T794
馆藏复本:1
可借复本:1 ARCS 2002
Springer, c2002.
(0) 馆藏
-
西文图书30.The design and analysis of computer algorithms = 计算机算法的设计与分析 / TP312/A286
馆藏复本:3
可借复本:3 Aho, Alfred V.
China Machine Press, 2006.
(0) 馆藏
-
西文图书31.Advanced UNIX programming = 高级UNIX程序设计 / 2nd ed. TP316.81/R713=2
馆藏复本:3
可借复本:3 Rochkind, Marc J.
清华大学出版社, c2006.
(0) 馆藏
-
西文图书32.The pragmatic programmer : from journeyman to master = 程序员修炼之道 / TP311.11/H939
馆藏复本:5
可借复本:5 Hunt, Andrew,
中国电力出版社, 2003.
(0) 馆藏
-
西文图书33.Report of the 16th annual Computer Resources, Data and Configuration Management Workshop / TP3-53/C738
馆藏复本:2
可借复本:2 Computer Resources, Data and Configuration Management Workshop
s.n., 1982?]
(0) 馆藏
-
西文图书34.The design and analysis of computer algorithms = 算法设计与分析 / TP311.1/A286
馆藏复本:5
可借复本:5 Aho, Alfred V.
中国电力出版社, 2003.
(0) 馆藏
-
西文图书35.Code reading : the open source perspective / TP311.1/S757
馆藏复本:5
可借复本:5 Spinellis, Diomidis.
中国电力出版社, 2004.
(0) 馆藏
-
西文图书36.Decision tables and computer programming / TP31/W447
馆藏复本:2
可借复本:2 Welland, Ray.
Heyden, c1981.
(0) 馆藏
-
西文图书37.The practice of programming = 程序设计实践 / TP311.1/K39
馆藏复本:5
可借复本:5 Kernighan, Brian W.
China Machine Press, 2002.
(0) 馆藏
-
西文图书38.Software quality management / TP31/S681
馆藏复本:2
可借复本:2 John D. Cooper, Matthew J. Fisher, editors.
PBI, c1979.
(0) 馆藏
-
西文图书39.BASIC programming : a structured approach / TP31/C593
馆藏复本:1
可借复本:1 Clark, James F.
South-Western Pub. Co., c1983.
(0) 馆藏
-
西文图书40.The software development project : Planning and management / TP31/B887
馆藏复本:2
可借复本:2 Bruce, Phillip,
Wiley, c1982.
(0) 馆藏