检索到 349 条 丛书名=Lecture notes in computer science 的结果
-
西文图书1.DNA computing and molecular programming : 16th International Conference, DNA 16, Hong Kong, China, J TP384-53/ICD/(2010)/ED-11
馆藏复本：1
可借复本：1 Yasubumi Sakakibara, Yongli Mi (eds.).
Springer, c2011.
(0) 馆藏 -
西文图书2.DNA computing : 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, the Netherlands TP384-53/IWD
馆藏复本：1
可借复本：1 Anne Condon, Grzegorz Rozenberg (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书3.Tools and algorithms for the construction and analysis of systems : 8th international conference, TA TP311.5-53/TAC
馆藏复本：1
可借复本：1 Joost-Pieter Katoen, Perdita Stevens (eds.).
Springer, c2002.
(0) 馆藏 -
西文图书4.Evolutionary robotics : International Symposium, ER 2001, Tokyo, Japan, October 18-19, 2001 : procee TP242.6-53/ER
馆藏复本：1
可借复本：1 Takashi Gomi (ed.).
Springer, c2001.
(0) 馆藏 -
西文图书5.Advances in web-age information management : second international conference, WAIM 2001, Xi'an, Chin TP311.133.1-53/WAI
馆藏复本：1
可借复本：1 X. Sean Wang, Ge Yu, Hongjun Lu (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书6.New concepts for parallel object-relational query processing / TP311.132.4/JM
馆藏复本：1
可借复本：1 Michael Jaedicke.
Springer, c2001.
(0) 馆藏 -
西文图书7.High-performance computing and networking : 9th international conference, HPCN Europe 2001, Amsterda TP301.6-53/ICE:2
馆藏复本：1
可借复本：1 Bob Hertzberger, Alfons Hoekstra, Roy Williams (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书8.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) 馆藏 -
西文图书9.Extraction and exploitation of intensional knowledge from heterogeneous information sources : semi-a TP311.13/UD
馆藏复本：1
可借复本：1 Domenico Ursino.
Springer, c2002.
(0) 馆藏 -
西文图书10.Foundations of software science and computation structures : 5th international conference, FOSSACS 2 TP31-53/FOS
馆藏复本：1
可借复本：1 Mogens Nielsen, Uffe Engberg (eds.).
Springer, c2002.
(0) 馆藏 -
西文图书11.Software reuse : methods, techniques, and tools : 7th international conference, ICSR-7, Austin, TX, TP311.5-53/ICS
馆藏复本：1
可借复本：1 Cristina Gacek (ed.).
Springer, c2002.
(0) 馆藏 -
西文图书12.AI*IA 2001 : advances in artificial intelligence : 7th Congress of the Italian Association for Artif TP18-53/AIP
馆藏复本：1
可借复本：1 Floriana Esposito (ed.).
Springer, c2001.
(0) 馆藏 -
西文图书13.Artificial intelligence and symbolic computation : international conference AISC 2000, Madrid, Spain TP18-53/ICA
馆藏复本：1
可借复本：1 John A. Campbell, Eugenio Roanes-Lozano (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书14.Isabelle/HOL : a proof assistant for higher-order logic / TP301.6/NT
馆藏复本：1
可借复本：1 Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel.
Springer, c2002.
(0) 馆藏 -
西文图书15.Applied algebra, algebraic algorithms and error-correcting codes : 14th international symposium, AAE TP311.53-53/AAE
馆藏复本：1
可借复本：1 Serdar Boztas, Igor E. Shparlinski (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书16.Conceptual modeling : ER 2001 : 20th International Conference on Conceptual Modeling, Yokohama, Japa TP311.13-53/ICC
馆藏复本：1
可借复本：1 Hideko S. Kunii, Sushil Jajodia, Arne Sovberg (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书17.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) 馆藏 -
西文图书18.Field-programmable logic and applications : 11th International Conference, FPL 2001, Belfast, Northe TP301.6-53/ICF
馆藏复本：1
可借复本：1 Gordon Brebner, Roger Woods (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书19.Connectionist models of neurons, learning processes, and artificial intelligence : 6th International TP183-53/IWC
馆藏复本：2
可借复本：2 José Mira, Alberto Prieto (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书20.Information assurance in computer networks : methods, models and architectures for network security TP393.08-53/MMM
馆藏复本：1
可借复本：1 Vladimir I. Gorodetski, Victor A. Skormin, Leonard J. Popyack (eds.).
Springer, c2001.
(0) 馆藏
