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

61

Cover is for reference only

Digital earth moving：first international symposium, DEM 2001, Manno, Switzerland, September 5-7,2001 : proceedings

Corporate Authors: DEM 2001 (2001 Manno, Switzerland
Group Author: Westort Caroline Y 1964-
Published: Springer,
Publication Dates: c2001.
Call Number: TU43-39/D574/2001

Book

62

Cover is for reference only

Large-scale scientific computing：third international conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001 : revised papers

Corporate Authors: ICLSSC 2001 (2001 Sozopol, Bulgaria)
Group Author: Margenov Svetozar; Waśniewski Jerzy 1931-; Yalamov Plamen
Published: Springer,
Publication Dates: c2001.
Call Number: N37-532/L322/2001

Book

63

Cover is for reference only

Field-programmable logic and applications：11th International Conference, FPL 2001, Belfast, Northern Ireland, UK, August 27-29, 2001 : proceedings

Corporate Authors: International Conference on Field-Programmable Logic and Applications (11th 2001 Belfast, Northern Ireland
Group Author: Brebner Gordon; Woods Roger 1963-
Published: Springer,
Publication Dates: c2001.
Call Number: TP331-532/I61/2001

Book

64

Cover is for reference only

Implementation of functional languages：12th international workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers

Corporate Authors: International Workshop on the Implementation of Functional Languages 2000 Aachen, Germany)
Group Author: Koopman Pieter; Mohnen Markus 1967-
Published: Springer,
Publication Dates: c2001.
Call Number: TP312-532/I34/2000

Book

65

Cover is for reference only

Characterization and metrology for ULSI technology, 2000：international conference, Gaithersburg, Maryland, 26-29 June 2000

Corporate Authors: International Conference on Characterization and Metrology for ULSI Technology (2000 Gaithersburg, Md.)
Group Author: Seiler David G
Published: American Institute of Physics,
Publication Dates: 2001.
Call Number: N47-532/C469/2000

Book

66

Cover is for reference only

Computing and combinatorics：7th annual international conference, COCOON 2001, Guilin, China, August 20-23, 2001 : proceedings

Corporate Authors: COCOON 2001 (2001 Guilin, China
Group Author: Wang Jie
Published: Springer,
Publication Dates: 2001.
Call Number: TP301-532/C738.1/2001

Book

67

Cover is for reference only

The nidoviruses (coronaviruses and arteriviruses)

Corporate Authors: International Symposium on Nidoviruses Coronaviruses and Arteriviruses (8th 2000 Lake Harmony, Pa
Group Author: Lavi Ehud; Weiss Susan R; Hingley Susan T
Published: Kluwer Academic/Plenum Publishers,
Publication Dates: c2001.
Call Number: Q939.4-532/C822/2000

Book

68

Cover is for reference only

Machine learning：ECML 2001 : 12th European Conference on Machine Learning, Freiburg, Germany, September 5-7, 2001 : proceedings

Corporate Authors: European Conference on Machine Learning (12th 2001 Freiburg, Germany
Group Author: Flach Peter 1956-; Raedt Luc de 1964-
Published: Springer-Verlag,
Publication Dates: c2001.
Call Number: TP18-532/E89.2/2001

Book

69

Cover is for reference only

A decade of trans-European remote sensing cooperation

Corporate Authors: EARSel Symposium 2000 Dresden, Germany).
Group Author: Buchroithner Manfred F
Published: A. A. Balkema,
Publication Dates: [2001]
Call Number: TP7-532/D291/2001

Book

70

Cover is for reference only

Information processing in medical imaging：17th International Conference, IPMI 2001, Davis, CA, USA, June 18-22, 2001 : proceedings

Corporate Authors: International Conference on Information Processing in Medical Imaging (17th 2001 Davis, CA, USA; IPMI 2001 Conference (2001 Davis, Calif.)
Group Author: Insana Michael F; Leahy Richard M
Published: Springer,
Publication Dates: c2001.
Call Number: R445-532/I43/2001

Book

71

Cover is for reference only

Spillover and mobility of species on solid surfaces

Corporate Authors: International Conference on Spillover 2001 Madrid, Spain)
Group Author: Rodríguez-Ramos I.; Guerrero-Ruiz A.
Published: Elsevier Science,
Publication Dates: 2001.
Call Number: O643.3-532/S756/2001

Book

72

Cover is for reference only

Distributed computing：15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001 : proceedings

Corporate Authors: DISC 2001 (2001 Lisbon, Portugal)
Group Author: Welch Jennifer
Published: Springer,
Publication Dates: c2001.
Call Number: TP301.6-532/D614/2001

Book

73

Cover is for reference only

Heat transfer in gas turbine systems

Group Author: Goldstein Richard J
Published: New York Academy of Sciences,
Publication Dates: 2001.
Call Number: TK471/H437

Book

74

Cover is for reference only

Combinatorial pattern matching：12th annual symposium, CPM 2001, Jerusalem, Israel, July 1-4, 2001 : proceedings

Corporate Authors: Symposium on Combinatorial Pattern Matching (12th 2001 Jerusalem
Group Author: Amir Amihood; Landau Gad M
Published: Springer,
Publication Dates: c2001.
Call Number: TP301.6-532/C731/2001

Book

75

Cover is for reference only

Information and communications security：Third International Conference, ICICS 2001, Xian, China, November 13-16, 2001 : proceedings

Corporate Authors: International Conference on Information and Communications Security (3rd 2001 Xian, China
Group Author: Qing Sihan; Okamoto Tatsuaki; Zhou Jianying
Published: Springer,
Publication Dates: c2001.
Call Number: TP309-532/I61.3/2001

Book

76

Cover is for reference only

New frontiers in artificial intelligence：joint JSAI 2001 workshop post-proceedings

Corporate Authors: Jinkō Chinō Gakkai
Group Author: Terano Takao
Published: Springer,
Publication Dates: c2001.
Call Number: TP18-532/N532/2001

Book

77

Cover is for reference only

Electronic commerce technologies：second international symposium, ISEC 2001, Hong Kong, China, April 26-28, 2001 : proceedings

Corporate Authors: ISEC 2001 2001 Hong Kong, China)
Group Author: Yesha Yelena 1962-; Tan Chung Jen 1941-; Kou Weidong
Published: Springer,
Publication Dates: c2001.
Call Number: F713.36-532/E386/2001

Book

78

Cover is for reference only

FME 2001：formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings

Corporate Authors: International Symposium of Formal Methods Europe (10th 2001 Berlin, Germany
Group Author: Oliveira José N; Zave Pamela 1948-
Published: Springer,
Publication Dates: 2001.
Call Number: TP311.52-532/I61/2001

Book

79

Cover is for reference only

Typed lambda calculi and applications：5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings

Corporate Authors: International Conference on Typed Lambda Calculi and Applications (5th 2001 Kraków, Poland
Group Author: Abramsky Samson 1953-
Published: Springer,
Publication Dates: 2001.
Call Number: TP301-532/I61/2001

Book

80

Cover is for reference only

Hybrid systems：computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings

Corporate Authors: HSCC 2001 (2001 Rome, Italy)
Group Author: Di Benedetto Maria Domenica; Sangiovanni-Vincentelli Alberto
Published: Springer,
Publication Dates: c2001.
Call Number: TP393-532/H992/2001

Book

Narrow Search