-
西文期刊1.Bulletin of environmental contamination and toxicology X5/BEC
馆藏复本:109
可借复本:81 LINK (Online service)
Springer-Verlag, 1966-
(0) 馆藏 -
西文期刊2.Agronomy journal. S3/ASA=B
馆藏复本:168
可借复本:111 LINK (Online service)
American Society of Agronomy, 1949-2012.
(0) 馆藏 -
西文期刊3.Algebra universalis
馆藏复本:0
可借复本:0 LINK (Online service)
Birkhser Verlag,
(0) 馆藏 -
西文期刊4.Journal of plant growth regulation. Q94/JPG
馆藏复本:30
可借复本:17 LINK (Online service)
Springer-Verlag New York, c1982-
(0) 馆藏 -
西文图书5.Developments in language theory : 5th international conference, DLT 2001, Wien, Austria, July 16-21, TP301.2-53/CDL
馆藏复本:1
可借复本:1 Werner Kuich, Grzegorz Rozenberg, Arto Salomaa (eds.).
Springer, c2002.
(0) 馆藏 -
西文图书6.Connectionist models of neurons, learning processes, and artificial intelligence : 6th International TP183-53/IWC
馆藏复本:2
可借复本:2 José Mira, Alberto Prieto (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书7.Index structures for data warehouses / TP311.131/JM
馆藏复本:1
可借复本:1 Marcus Jürgens.
Springer, c2002.
(0) 馆藏 -
西文图书8.Artificial neural networks--ICANN 2001 : International Conference, Vienna, Austria, August 21-25, 20 TP183-53/ICA
馆藏复本:1
可借复本:1 Georg Dorffner, Horst Bischof, Kurt Hornik (eds.).
Springer, 2001.
(0) 馆藏 -
西文图书9.Automata implementation : 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germ TP301.1-53/IWI
馆藏复本:1
可借复本:1 Oliver Boldt, Helmut Jürgensen (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书10.Advances in learning classifier systems : third international workshop, IWLCS 2000, Paris, France, S TP181-53/IWL
馆藏复本:1
可借复本:1 Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书11.Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, TP301-53/WCS
馆藏复本:1
可借复本:1 Laurent Fribourg (ed.).
Springer, c2001.
(0) 馆藏 -
西文图书12.Metalevel architectures and separation of crosscutting concerns : third international conference, RE TP312-53/REF
馆藏复本:1
可借复本:1 Akinori Yonezawa, Satoshi Matsuoka (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书13.Discrete geometry for computer imagery : 10th international conference, DGCI 2002, Bordeaux, France, TP391.41-53/DGC
馆藏复本:1
可借复本:1 Achille Braquelaire, Jacques-Olivier Lachaud, Anne Vialard (eds.).
Springer, c2002.
(0) 馆藏 -
西文图书14.Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 TP311.1-53/TYP
馆藏复本:1
可借复本:1 Paul Callaghan ... [et al.] (eds.).
Springer, c2002.
(0) 馆藏 -
西文图书15.Database schema evolution and meta-modeling : 9th International Workshop on Foundations of Models an TP311.132.4-53/IWF
馆藏复本:1
可借复本:1 Herman Balsters, Bert de Brock, Stefan Conrad (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书16.Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scot TP18-53/TPH
馆藏复本:1
可借复本:1 Richard J. Boulton, Paul B. Jackson (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书17.Formal and natural computing : essays dedicated to Grzegorz Rozenberg / TP301/FNC
馆藏复本:1
可借复本:1 Wilfried Brauer ... [et al.] (eds.).
Springer, c2002.
(0) 馆藏 -
西文图书18.Modular specification and verification of object-oriented programs / TP311.1/MP
馆藏复本:1
可借复本:1 Peter Müller.
Springer, c2002.
(0) 馆藏 -
西文图书19.Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part TP312-53/ESP
馆藏复本:1
可借复本:1 David Sands (ed.).
Springer, c2001.
(0) 馆藏 -
西文图书20.Evolutionary trends of the Internet : 2001 Tyrrhenian International Workshop on Digital Communicatio TN914.3-53/TIW
馆藏复本:1
可借复本:1 Sergio Palazzo (ed.).
Springer, c2001.
(0) 馆藏
上一页 1 / 3 下一页 到第 页