-
西文图书1.FST TCS 2001 : Foundations of software technology and theoretical computer science : 21st conference TP311-53/CFS
馆藏复本:1
可借复本:1 Ramesh Hariharan, Madhavan Mukund, V. Vinay (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书2.Intelligent agents VII : agent theories architectures and languages : 7th International Workshop, AT TP311-53/ATA
馆藏复本:1
可借复本:1 Cristiano Casterfranchi, Yves Lesperance (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书3.Logic based program synthesis and transformation : 10th international workshop, LOPSTR 2000, London, TP311-53/IWL
馆藏复本:1
可借复本:1 Kung-Kiu Lau (ed.).
Springer, c2001.
(0) 馆藏 -
西文图书4.Software visualization : international seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised TP311.5-53/DSS
馆藏复本:1
可借复本:1 Stephan Diehl (ed.).
Springer, c2002.
(0) 馆藏 -
西文图书5.Self-stabilizing systems : 5th international workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 TP311-53/WSS
馆藏复本:1
可借复本:1 Ajoy K. Datta, Ted Hermann (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书6.Interactive relational database design : a logic programming implementation / TP311-53/BTP
馆藏复本:1
可借复本:1 Tapan P. Bagchi, Vinay K. Chaudhri.
World Publishing Corp., 1991.
(0) 馆藏 -
西文图书7.Semantics, applications, and implementation of program generation : second international workshop, S TP311-53/SAI
馆藏复本:1
可借复本:1 Walid Taha (ed.).
Springer, c2001.
(0) 馆藏 -
西文图书8.Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July TP311-53/ICA
馆藏复本:1
可借复本:1 Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书9.Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, TP311-53/IAE
馆藏复本:1
可借复本:1 Dines Bjorner, Manfred Broy, Alexandre V. Zamulin,(eds.).
Springer, c2001.
(0) 馆藏 -
西文图书10.Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2 TP311-53/LPA
馆藏复本:1
可借复本:1 Robert Nieuwenhuis, Andrei Voronkov (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书11.ECOOP 2001 : object-oriented programming : 15th European conference, Budapest, Hungary, June 18-22, TP311-53/ECO
馆藏复本:1
可借复本:1 Jogen Lindskov Knudsen (ed.).
Springer, c2001.
(0) 馆藏 -
西文图书12.MICRO 10 : Tenth Annual Workshop on Microprogramming : proceedings / TP311-53/WM/(1977)
馆藏复本:1
可借复本:1 aSponsored by ACM Special Interest Group on Microprogramming ... [et al.]
Institute of Electrical and Electronics Engineers, 1977.
(0) 馆藏 -
西文图书13.<<UML>> 2001 : the unified modeling language, modeling languages, concepts, and tools, 4th internati TP311-53/UML
馆藏复本:1
可借复本:1 Martin Gogolla, Cris Kobryn (ed.).
Springer, c2001.
(0) 馆藏