-
西文图书1.Computational discrete mathematics : advanced lectures / TP301.6/C738(C)
馆藏复本:1
可借复本:1 Helmut Alt (ed.).
Springer, c2001.
(0) 馆藏 -
西文图书2.Multi-agent systems and applications : 9th ECCAI advanced course, ACAI 2001 and agent link's 3rd Eur TP18/M961(MU)
馆藏复本:1
可借复本:1 ACAI
Springer, c2001.
(0) 馆藏 -
西文图书3.Lectures on formal methods and performance analysis : First EEF/Euro Summer School on Trends in Comp TP311.5/A471
馆藏复本:1
可借复本:1 EEF/Euro Summer School on Trends in Computer Science
Springer, c2001.
(0) 馆藏 -
西文图书4.Queueing networks with discrete time scale : explicit expressions for the steady state behavior of d O226/D121
馆藏复本:1
可借复本:1 Daduna, Hans,
Springer, c2001.
(0) 馆藏 -
西文图书5.Machine learning and its applications : advanced lectures / TP181/M149(M)
馆藏复本:1
可借复本:1 Georgios Paliouras, Vangelis Karkaletsis, Constantine D. Spyropoulos (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书6.Isabelle/HOL : a proof assistant for higher-order logic / TP301.6/I74
馆藏复本:1
可借复本:1 Nipkow, Tobias,
Springer, c2002.
(0) 馆藏 -
西文图书7.Theoretical aspects of computer science : advanced lectures / TP301/T396(T)
馆藏复本:1
可借复本:1 Summer School on Theoretical Aspects of Computer Science
Springer, c2002.
(0) 馆藏 -
西文图书8.Constraints in computational logics : theory and applications : international summer school, CCL'99, O141/C758
馆藏复本:1
可借复本:1 CCL'99
Springer, c2001.
(0) 馆藏 -
西文图书9.Digital and image geometry : advanced lectures / TP391.41/D574(D)
馆藏复本:1
可借复本:1 Gilles Bertrand, Atsushi Imiya, Reinhard Klette (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书10.Computational combinatorial optimization : optimal or provably near-optimal solutions / O221/C738
馆藏复本:1
可借复本:1 Spring School on Computational Combinatorial Optimization
Springer, c2001.
(0) 馆藏 -
西文图书11.Modeling and verification of parallel processes : 4th Summer School, MOVEP 2000, Nantes, France, Jun TP338.6/M689
馆藏复本:1
可借复本:1 MOVEP 2000
Springer, c2001.
(0) 馆藏 -
西文图书12.Embedded processor design challenges : systems, architectures, modeling, and simulation--SAMOS / TP368/E53
馆藏复本:1
可借复本:1 SAMOS 2001
Springer, c2002.
(0) 馆藏