检索到 10 条 分类号=TP311-532 的结果
-
西文图书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.Intelligent agents VII : agent theories architectures and languages : 7th International Workshop, AT TP311/I61
馆藏复本：1
可借复本：1 ATAL 2000
Springer, c2001.
(0) 馆藏 -
西文图书6.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) 馆藏 -
西文图书7.Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, TP311/P467
馆藏复本：1
可借复本：1 International Andrei Ershov Memorial Conference
Springer, c2001.
(0) 馆藏 -
西文图书8.<<UML>> 2001 : the unified modeling language, modeling languages, concepts, and tools, 4th internati TP311/U52
馆藏复本：1
可借复本：1 UML 2001
Springer, c2001.
(0) 馆藏 -
西文图书9.ECOOP 2001 -- object-oriented programming : 15th European conference, Budapest, Hungary, June 18-22, TP311/E19
馆藏复本：1
可借复本：1 ECOOP 2001
Springer, c2001.
(0) 馆藏 -
西文图书10.Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2 TP311/L832
馆藏复本：1
可借复本：1 LPAR 2001
Springer, c2001.
(0) 馆藏
