-
西文图书21.Computational discrete mathematics : advanced lectures / TP301.6/C738(C)
馆藏复本:1
可借复本:1 Helmut Alt (ed.).
Springer, c2001.
(0) 馆藏 -
西文图书22.Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Marián TP301.6/M426
馆藏复本:1
可借复本:1 Symposium on Mathematical Foundations of Computer Science (1972- )
Springer, c2001.
(0) 馆藏 -
西文图书23.Computing and combinatorics : 7th annual international conference, COCOON 2001, Guilin, China, Augus TP301.6/C738
馆藏复本:1
可借复本:1 COCOON 2001
Springer, c2001.
(0) 馆藏 -
西文图书24.High-performance computing and networking : 9th international conference, HPCN Europe 2001, Amsterda TP301.6/H638
馆藏复本:1
可借复本:1 International Conference and Exhibition on High-Performance Computing and Networking
Springer, c2001.
(0) 馆藏 -
西文图书25.Isabelle/HOL : a proof assistant for higher-order logic / TP301.6/I74
馆藏复本:1
可借复本:1 Nipkow, Tobias,
Springer, c2002.
(0) 馆藏 -
西文图书26.Algorithm engineering and experimentation : third international workshop, ALENEX 2001, Washington, D TP301.6-532/A396
馆藏复本:1
可借复本:1 ALENEX 2001
Springer, c2001.
(0) 馆藏 -
西文图书27.Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, Ma TP301.6/T991
馆藏复本:1
可借复本:1 International Conference on Typed Lambda Calculi and Applications
Springer, c2001.
(0) 馆藏 -
西文图书28.Algorithm engineering : 4th international workshop, WAE 2000, Saarbrücken, Germany, September 2000 TP301.6/A396(ALGO)
馆藏复本:1
可借复本:1 International Workshop on Algorithm Engineering
Springer, c2001.
(0) 馆藏 -
西文图书29.Foundations of information and knowledge systems : second international symposium, FoIKS 2002, Salza TP301.6/F771
馆藏复本:1
可借复本:1 FoIKS 2002
Springer, c2002.
(0) 馆藏 -
西文图书30.Evolvable systems : from biology to hardware : 4th International Conference, ICES 2001, Tokyo, Japan TP301.6/E93
馆藏复本:1
可借复本:1 International Conference on Evolvable Systems
Springer, c2001.
(0) 馆藏 -
西文图书31.Field-programmable logic and applications : 11th International Conference, FPL 2001, Belfast, Northe TP301.6/F457
馆藏复本:1
可借复本:1 International Conference on Field-Programmable Logic and Applications
Springer, c2001.
(0) 馆藏 -
西文图书32.Algorithmic learning theory : 12th international conference, ALT 2001, Washington, DC, USA, November TP301.6/A396(ALG)
馆藏复本:1
可借复本:1 ALT 2001
Springer, c2001.
(0) 馆藏 -
西文图书33.Algorithm engineering : 5th international workshop, WAE 2001, Arhus, Denmark, August 28-21, 2001 : p TP301.6/A396(AL)
馆藏复本:1
可借复本:1 International Workshop on Algorithm Engineering
Springer, c2001.
(0) 馆藏 -
西文图书34.Large-scale scientific computing : Third International Conference, LSSC 2001, Sozopol, Bulgaria, Jun TP301.6/L322
馆藏复本:1
可借复本:1 ICLSSC 2001
Springer, c2001.
(0) 馆藏 -
西文图书35.Applications of evolutionary computing : Evo Workshops 2002 : EvoCOP, EvoIASP, EvoSTIM/EvoPLAN, Kins TP301.6/A652
馆藏复本:1
可借复本:1 Evo Workshops 2002
Springer, c2002.
(0) 馆藏 -
西文图书36.Algorithms and computation : 12th international symposium, ISAAC 2001, Christchurch, New Zealand, De TP301.6/A396(A)
馆藏复本:1
可借复本:1 ISAAC (Conference)
Springer, c2001.
(0) 馆藏 -
西文图书37.Algorithms--ESA 2001 : 9th annual European symposium, Aarhus, Denmark, August 28-31, 2001 : proceedi TP301.6/A396
馆藏复本:1
可借复本:1 ESA '2001
Springer, c2001.
(0) 馆藏 -
西文图书38.Algorithmics : the spirit of computing = 算法学 : 计算精髓 / 3rd ed. TP301.6/F312=3
馆藏复本:3
可借复本:3 Harel, David,
高等教育出版社, 2006.
(0) 馆藏 -
西文图书39.Algorithms in C. 算法I-IV (C实现) : 基础、数据结构、排序和搜索 / Parts 1-4, Fundamentals, data struc TP301.6/S448=3
馆藏复本:3
可借复本:3 Sedgewick, Robert,
中国电力出版社, 2003.
(0) 馆藏 -
西文图书40.Advances in information & computational science : Proceedings International Symposium on Computing a G202/I61
馆藏复本:3
可借复本:3 International Symposium on Computing and Its Applications in Information Science (ISCIAIS 2005)
Press of University of Science and Technology of China, 2005.
(0) 馆藏