-
西文图书1.Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July TP311/A939
馆藏复本:1
可借复本:1 International Colloquium on Automata, Languages, and Programming
Springer, c2001.
(0) 馆藏 -
西文图书2.Self-stabilizing systems : 5th international workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 TP311/S465
馆藏复本:1
可借复本:1 WSS 2001
Springer, c2001.
(0) 馆藏 -
西文图书3.Semantics, applications, and implementation of program generation : second international workshop, S TP311/S471
馆藏复本:1
可借复本:1 SAIG 2001
Springer, c2001.
(0) 馆藏 -
西文图书4.Genetic programming : 4th European conference, EuroGP 2001, Lake Como, Italy, April 18-20, 2001 : pr TP311/G328
馆藏复本:1
可借复本:1 EuroGP 2001
Springer, c2001.
(0) 馆藏 -
西文图书5.Logic based program synthesis and transformation : 10th international workshop, LOPSTR 2000, London, TP311.1/L832(L)
馆藏复本:1
可借复本:1 International Workshop on Logic Program Synthesis and Transformation
Springer, c2001.
(0) 馆藏 -
西文图书6.Intelligent agents VII : agent theories architectures and languages : 7th International Workshop, AT TP311/I61
馆藏复本:1
可借复本:1 ATAL 2000
Springer, c2001.
(0) 馆藏 -
西文图书7.ECOOP 2001 -- object-oriented programming : 15th European conference, Budapest, Hungary, June 18-22, TP311/E19
馆藏复本:1
可借复本:1 ECOOP 2001
Springer, c2001.
(0) 馆藏 -
西文图书8.Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, TP311/P467
馆藏复本:1
可借复本:1 International Andrei Ershov Memorial Conference
Springer, c2001.
(0) 馆藏 -
西文图书9.FST TCS 2001 : Foundations of software technology and theoretical computer science : 21st conference TP311/F948
馆藏复本:1
可借复本:1 Conference on Foundations of Software Technology and Theoretical Computer Science
Springer, c2001.
(0) 馆藏 -
西文图书10.<<UML>> 2001 : the unified modeling language, modeling languages, concepts, and tools, 4th internati TP311/U52
馆藏复本:1
可借复本:1 UML 2001
Springer, c2001.
(0) 馆藏 -
西文图书11.Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2 TP311/L832
馆藏复本:1
可借复本:1 LPAR 2001
Springer, c2001.
(0) 馆藏 -
西文图书12.selected writings on computing:a personal perspective TP311-53/D575
馆藏复本:1
可借复本:1 Dijkstra, Edsger W.
springer-verlag, c1982.
(0) 馆藏 -
中文图书13.计算机程序设计竞赛论文选编:一 TP31-53/1
馆藏复本:3
可借复本:0 吴文虎等编
科学出版社 1987
(0) 馆藏 -
中文图书14.杨芙清文集 TP311/170
馆藏复本:3
可借复本:0 杨芙清著
北京大学出版社 1998
(0) 馆藏