馆藏书目查询系统 - 上海图书馆

141

Cover is for reference only

Frontiers in modeling and control of breathing：integration at molecular, cellular, and systems levels

Corporate Authors: Oxford Conference 2000 North Falmouth, Mass.)
Group Author: Kazemi Homayoun 1934-; Poon Chi-Sang 1952-
Published: Kluwer Academic/Plenum Publishers,
Publication Dates: c2001.
Call Number: R332-532/F935/2000

Book

142

Cover is for reference only

Medical physics：fifth Mexican symposium, Juriquilla, Querétaro, México, 21-23 March 2001

Group Author: Barrios Fernando Alejandro; Rodríguez Alfredo Odón; Brandan María-Ester
Published: American Institute of Physics,
Publication Dates: 2001.
Call Number: R312-532/M489.2/2001

Book

143

Cover is for reference only

Evolutionary multi-criterion optimization：first international conference, EMO 2001, Zurich, Switzerland, March 2001 : proceedings

Corporate Authors: International Conference on Multi-Criterion Optimization (1st 2001 Zurich, Switzerland
Group Author: Zitzler Eckart
Published: Springer,
Publication Dates: 2001.
Call Number: F270.7-532/I613/2001

Book

144

Cover is for reference only

Logic programming：17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings

Corporate Authors: International Conference on Logic Programming (17th 2001 Paphos, Cyprus
Group Author: Codognet Philippe
Published: Springer,
Publication Dates: c2001.
Call Number: TP31-532/I61.7/2001

Book

145

Cover is for reference only

Stochastic algorithms：foundations and applications : international symposium, SAGA 2001, Berlin, Germany, December 13-14, 2001 : proceedings

Corporate Authors: SAGA 2001 (2001 Berlin, Germany
Group Author: Steinhöfel Kathleen
Published: Springer,
Publication Dates: c2001.
Call Number: TP301.6-532/S864/2001

Book

146

Cover is for reference only

Fundamentals of computation theory：13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings

Corporate Authors: FCT 2001 (2001 Rīga, Latvia
Group Author: Freĭvald R. V
Published: Springer,
Publication Dates: c2001.
Call Number: TP301.6-532/F981/2001

Book

147

Cover is for reference only

Medical image computing and computer-assisted intervention-MICCAI 2001：4th International Conference, Utrecht, The Netherlands, October 14-17, 2001 : proceedings

Corporate Authors: International Conference on Medical Image Computing and Computer-Assisted Intervention (4th 2001 Utrecht, Netherlands
Group Author: Niessen Wiro J; Viergever M. A
Published: Springer,
Publication Dates: c2001.
Call Number: R445-37/M489/2001

Book

148

Cover is for reference only

Automata implementation：4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers

Corporate Authors: International Workshop on Implementing Automata (4th 1999 Potsdam, Germany
Group Author: Boldt Oliver; Jürgensen Helmut
Published: Springer,
Publication Dates: c2001.
Call Number: TP23-532/I61/1999

Book

149

Cover is for reference only

RoboCup 2000：Robot Soccer World Cup IV

Corporate Authors: RoboCup 2000 (2000 Melbourne, Vic
Group Author: Balch Tucker; Kraetzschmar Gerhard K; Stone Peter 1971-
Published: Springer,
Publication Dates: c2001.
Call Number: TP242.6-532/R666/2000

Book

150

Cover is for reference only

Software process technology：8th European Workshop, EWSPT 2001, Witten, Germany, June 19-21, 2001 : proceedings

Corporate Authors: EWSPT 2001 (2001 Witten, Germany
Group Author: Ambriola Vincenzo
Published: Springer,
Publication Dates: c2001.
Call Number: TP311.5-532/S681.2/2001

Book

151

Cover is for reference only

Theoretical aspects of computer software：4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings

Corporate Authors: TACS 2001 (4th 2001 Sendai-shi, Miyagi-ken, Japan; International Symposium on Theoretical Aspects of Computer Software 2001 Sendai-shi, Miyagi-ken, Japan)
Group Author: Pierce Benjamin C; Kobayashi Naoki
Published: Springer,
Publication Dates: c2001.
Call Number: TP311.5-532/T396/2001

Book

152

Cover is for reference only

Automated reasoning：First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings

Corporate Authors: IJCAR 2001 (2001 Siena, Italy
Group Author: Leitsch Alexander 1952-; Nipkow Tobias 1958-; Goré Rajeev
Published: Springer,
Publication Dates: c2001.
Call Number: TP181-532/I615/2001

Book

153

Cover is for reference only

Automated deduction in geometry：third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers

Corporate Authors: International Workshop on Automated Deduction in Geometry (3rd 2000 Zurich, Switzerland
Group Author: Wang Dongming; Richter-Gebert Jürgen 1963-
Published: Springer,
Publication Dates: c2001.
Call Number: O18-532/A939/2000

Book

154

Cover is for reference only

Lectures on information retrieval：Third European Summer-school, ESSIR 2000, Varenna, Italy, September 11-15, 2000 : revised lectures

Corporate Authors: European Summer School in Information Retrieval (3rd 2000 Varenna, Italy
Group Author: Agosti Maristella; Crestani Fabio; Pasi Gabriella 1961-
Published: Springer,
Publication Dates: c2001.
Call Number: G354-532/E898/2000

Book

155

Cover is for reference only

Fundamental approaches to software engineering：4th International Conference, FASE 2001 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

Corporate Authors: FASE 2001 (2001 Genoa, Italy; ETAPS 2001 (2001 Genoa, Italy)
Group Author: Hussmann Heinrich 1959-
Published: Springer,
Publication Dates: c2001.
Call Number: TP311.5-532/F981/2001

Book

156

Cover is for reference only

Artificial intelligence and symbolic computation：international conference AISC 2000, Madrid, Spain, July 17-19, 2000, revised papers

Corporate Authors: International Conference on Artificial Intelligence and Symbolic Mathematical Computation (5th 2000 Madrid, Spain
Group Author: Roanes-Lozano Eugenio; Campbell J. A 1940-
Published: Springer,
Publication Dates: c2001.
Call Number: TP18-532/A791-3/2000

Book

157

Cover is for reference only

Information and communication technologies in education：the school of the future : IFIP TC3/WG3.1 International Conference on the Bookmark of the School of the Future, April 9-14, 2000, Viña del Mar, Chile

Corporate Authors: IFIP TC3/WG3.1 International Conference on the Bookmark of the School of the Future (2000 Viña del Mar, Chile; IFIP Technical Committee 3, Education. Working Group 3.1
Group Author: Hogenbirk Pieter; Taylor Harriet G
Published: Kluwer Academic Publishers,
Publication Dates: c2001.
Call Number: G434-532/I615/2000

Book

158

Cover is for reference only

Information security and cryptology：ICISC 2000, third international conference, Seoul, Korea, December 8-9, 2000 : proceedings

Corporate Authors: International Conference on Information Security and Cryptology (3rd 2000 Seoul, Korea
Group Author: Won Dongho 1949-
Published: Springer,
Publication Dates: c2001.
Call Number: TP309-532/I613-1/2000

Book

159

Cover is for reference only

Air pollution VIII

Corporate Authors: International Conference on Air Pollution (8th 2000 Cambridge
Group Author: Longhurst James W. S (Editor); Brebbia C. A (Editor); Power H (Editor)
Published: Wit Press,
Publication Dates: c2000.
Call Number: X51-532/I61/2000

Book

160

Cultures of relatedness new approaches to the study of kinship

Cover is for reference only

Group Author: Carsten Janet
Published: Cambridge University Press,
Publication Dates: 2000.
Call Number: C913.11-532/C968/1996

Book

Narrow Search