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

1

Cover is for reference only

Architecture of computing systems--ARCS 2007：20th international conference, Zurich, Switzerland, March 12-15, 2007 : proceedings

Corporate Authors: ARCS 2007 (2007 Zurich, Switzerland
Group Author: Lukowicz Paul; Thiele Lothar; Tröster Gerhard
Published: Springer-Verlag,
Publication Dates: c2007.
Call Number: TP303-532/A673/2007

Book

2

Cover is for reference only

Software quality-ECSQ 2002：quality connection--7th European Conference, Helsinki, Finland, June 9-13, 2002 : proceedings

Corporate Authors: European Conference on Software Quality (7th 2002 Helsinki, Finland
Group Author: Kontio Jyrki 1961-; Conradi Reidar
Published: Springer,
Publication Dates: c2002.
Call Number: TP311.5-532/E894/2002

Book

3

Cover is for reference only

Application and theory of Petri nets 2002：23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings

Corporate Authors: International Conference on Applications and Theory of Petri Nets (23rd 2002 Adelaide, S. Aust
Published: Springer,
Publication Dates: 2002.
Call Number: O157.5-532/A652/2002

Book

4

Cover is for reference only

Tools and algorithms for the construction and analysis of systems：7th international conference, TACAS 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: ETAPS 2001 (2001 Genoa, Italy)
Group Author: Margaria Tiziana; Yi Wang
Published: Springer,
Publication Dates: c2001.
Call Number: TP338.8-532/T671/2001

Book

5

Cover is for reference only

3D structures from images - SMILE 2000：Second European Workshop on 3D Structure from Multiple Images of Large-Scale Environments, Dublin, Ireland, July 1-2, 2000 : revised papers

Corporate Authors: European Workshop on 3D Structure from Multiple Images of Large-Scale Environments (2nd 2000 Dublin, Ireland
Group Author: Pollefeys Marc 1971-
Published: Springer,
Publication Dates: c2001.
Call Number: TP391.41-532/W926/2000

Book

6

Cover is for reference only

Cryptography and coding：8th IMA international conference, Cirencester, UK, December 17-19, 2001 : proceedings

Corporate Authors: IMA Conference on Cryptography and Coding 2001 Cirencester, England)
Group Author: Honary Bahram
Published: Springer,
Publication Dates: c2001.
Call Number: TN918-532/C957.1/2001

Book

7

Cover is for reference only

High-performance computing and networking：9th international conference, HPCN Europe, 2001, Amsterdam, The Netherlands, June 25-27, 2001 : proceedings

Corporate Authors: International Conference and Exhibition on High-Performance Computing and Networking 2001 Amsterdam, Netherlands)
Group Author: Hoekstra Alfons 1963-; Williams Roy D; Hertzberger Bob
Published: Springer,
Publication Dates: c2001.
Call Number: TP301.6-532/H638/2001

Book

8

Cover is for reference only

Technologies for E-Services：second international workshop, TES 2001, Rome, Italy, September 14-15, 2001 : proceedings

Corporate Authors: TES 2001 (2001 Rome, Italy
Group Author: Casati Fabio 1971-; Georgakopoulos Dimitrios; Shan Ming-Chien
Published: Springer,
Publication Dates: 2001.
Call Number: TP393.092-532/T255/2001

Book

9

Cover is for reference only

SOFSEM 2001, theory and practice of informatics：28th Conference on Current Trends in Theory and Practice of Informatics, Piešt̕any, Slovak Republic, November 24-December 1, 2001 : proceedings

Corporate Authors: Current Trends in Theory and Practice of Informatics (28th 2001 Piešt̕any, Slovak Republic
Group Author: Pacholski Leszek; Ružička Peter
Published: Springer,
Publication Dates: c2001.
Call Number: TP3-532/S471/2001

Book

10

Cover is for reference only

Advances in cryptology - ASIACRYPT 2001：7th International Conference on the Theory and Application of Cryptology and Information Security, Gold Coast, Australia, December 9-13, 2001 : proceedings

Corporate Authors: International Conference on the Theory and Application of Cryptology and Information Security (7th 2001 Gold Coast, Qld
Group Author: Boyd Colin
Published: Springer,
Publication Dates: c2001.
Call Number: TP309-532/I613/2001

Book

11

Cover is for reference only

Spatial information theory：foundations of geographic information science : international conference, COSIT 2001, Morro Bay, CA, USA, September 19-23, 2001 : proceedings

Corporate Authors: COSIT 2001 (2001 Morro Bay, Calif
Group Author: Montello Daniel R 1959-
Published: Springer,
Publication Dates: 2001.
Call Number: P208-532/C748/2001

Book

12

Cover is for reference only

Multiset processing：mathematical, computer science, and molecular computing points of view

Group Author: Calude Cristian 1952-
Published: Springer,
Publication Dates: c2001.
Call Number: TP3-532/M961/2000

Book

13

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

14

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

15

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

16

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

17

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

18

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

19

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

20

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

Narrow Search