-
西文图书1.Tools and algorithms for the construction and analysis of systems : 8th international conference, TA TP311.5/T671
馆藏复本:1
可借复本:1 TACAS 2002
Springer, c2002.
(0) 馆藏
-
西文图书2.Evolutionary trends of the Internet : 2001 Tyrrhenian International Workshop on Digital Communicatio TN914.3/E93
馆藏复本:1
可借复本:1 Tirrenia International Workshop on Digital Communications
Springer, c2001.
(0) 馆藏
-
西文图书3.Automata implementation : 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germ TP301.1/A939
馆藏复本:1
可借复本:1 International Workshop on Implementing Automata
Springer, c2001.
(0) 馆藏
-
西文图书4.Software reuse : methods, techniques, and tools : 7th international conference, ICSR-7, Austin, TX, TP311.5/S681(S)
馆藏复本:1
可借复本:1 International Conference on Software Reuse
Springer, c2002.
(0) 馆藏
-
西文图书5.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) 馆藏
-
西文图书6.Data warehousing and knowledge discovery : Third International Conference, DaWaK 2001, Munich, Germa TP311.13/D232(D)
馆藏复本:1
可借复本:1 DaWaK 2001
Springer-Verlag, 2001.
(0) 馆藏
-
西文图书7.Artificial neural networks--ICANN 2001 : International Conference, Vienna, Austria, August 21-25, 20 TP183/A791
馆藏复本:1
可借复本:1 International Conference on Artificial Neural Networks (European Neural Network Society)
Springer, 2001.
(0) 馆藏
-
西文图书8.Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, TP301/C738(C)
馆藏复本:1
可借复本:1 Workshop on Computer Science Logic
Springer, c2001.
(0) 馆藏
-
西文图书9.Medical image computing and computer-assisted intervention -- MICCAI 2001 : 4th International Confer R445/M489
馆藏复本:1
可借复本:1 International Conference on Medical Image Computing and Computer-Assisted Intervention
Springer, c2001.
(0) 馆藏
-
西文图书10.Database schema evolution and meta-modeling : 9th International Workshop on Foundations of Models an TP311.132.4/D232
馆藏复本:1
可借复本:1 International Workshop on Foundations of Models and Languages for Data and Objects
Springer, c2001.
(0) 馆藏
-
西文图书11.Extraction and exploitation of intensional knowledge from heterogeneous information sources : semi-a TP311.13/U82
馆藏复本:1
可借复本:1 Ursino, Domenico,
Springer, c2002.
(0) 馆藏
-
西文图书12.6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001, Granada, Sp TP183/I61
馆藏复本:2
可借复本:2 International Work-Conference on Artificial and Natural Neural Networks
Springer, c2001.
(0) 馆藏
-
西文图书13.Intelligent memory systems : Second International Workshop, IMS 2000, Cambridge, MA, USA, November 1 TP333/I61
馆藏复本:1
可借复本:1 IMS 2000
Springer, c2001.
(0) 馆藏
-
西文图书14.Progress in cryptology : INDOCRYPT 2001 : Second International Conference on Cryptology in India, Ch TP309/P964
馆藏复本:1
可借复本:1 International Conference in Cryptology in India
Springer, c2001.
(0) 馆藏
-
西文图书15.Fundamental approaches to software engineering : 5th international conference, FASE 2002, held as pa TP311.5/F981
馆藏复本:1
可借复本:1 FASE 2002
Springer, c2002.
(0) 馆藏
-
西文图书16.Protocols for multimedia systems : 6th international conference, PROMS 2001, Enschede, the Netherlan TP37-53/P967
馆藏复本:1
可借复本:1 PROMS 2001
Springer, c2001.
(0) 馆藏
-
西文图书17.Formal and natural computing : essays dedicated to Grzegorz Rozenberg / TP301/F723
馆藏复本:1
可借复本:1 Wilfried Brauer ... [et al.] (eds.).
Springer, c2002.
(0) 馆藏
-
西文图书18.Energy minimization methods in computer vision and pattern recognition : Third International Worksho TP391.41/E56
馆藏复本:1
可借复本:1 EMMCVPR 2001
Springer, c2001.
(0) 馆藏
-
西文图书19.Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scot TP18-532/T396
馆藏复本:1
可借复本:1 TPHOLs 2001
Springer, c2001.
(0) 馆藏
-
西文图书20.Algorithm engineering and experimentation : third international workshop, ALENEX 2001, Washington, D TP301.6-532/A396
馆藏复本:1
可借复本:1 ALENEX 2001
Springer, c2001.
(0) 馆藏
上一页 1 / 2 下一页 到第 页