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

1

Cover is for reference only

Computer safety, reliability, and security : SAFECOMP 2022 Workshops : DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6-9, 2022, proceedings /

Corporate Authors: SAFECOMP (Conference) Munich, Germany); DECSoS (Workshop) Munich, Germany); DepDevOps (Workshop) Munich, Germany); SASSUR (Workshop) Munich, Germany); SENSEI (Workshop) Munich, Germany); USDAI (Workshop) Munich, Germany); WAISE (Workshop) Munich, Germany)
Group Author: Trapp, Mario; Schoitsch, Erwin; Guiochet, Jérémie; Bitsch, Friedemann
Published: Springer,
Publication Dates: [2022]
Call Number: TP309-532/I61/2022

Book

2

Cover is for reference only

Transactions on pattern languages of programming III /

Corporate Authors: SpringerLink (Online service)
Group Author: Noble, James, 1967-; Johnson, Ralph E. (Professor of computer science); Zdun, Uwe; Wallingford, Eugene
Published: Springer,
Publication Dates: [2013]

eBook

3

Cover is for reference only

Practical aspects of declarative languages：9th international symposium, PADL 2007, Nice, France, January 14-15, 2007 : proceedings

Corporate Authors: PADL 2007 (2007 Nice, France)
Group Author: Hanus Michael. 1959-
Published: Springer,
Publication Dates: c2007.
Call Number: TP312-532/P895/2007

Book

4

Cover is for reference only

Static analysis：13th international symposium, SAS 2006, Seoul, Korea, August 29-31, 2006 : proceedings

Corporate Authors: International Static Analysis Symposium (13th 2006 Seoul, Korea)
Group Author: Yi Kwangkeun.
Published: Springer,
Publication Dates: c2006.
Call Number: TP301-532/S797/2006

Book

5

Cover is for reference only

Languages and compilers for parallel computing：18th international workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005 : revised selected papers

Corporate Authors: Workshop on Languages and Compilers for Parallel Computing (18th 2005 Hawthorne, N.Y.); SpringerLink (Online service)
Group Author: Ayguadé Eduard.
Published: Springer,
Publication Dates: c2006.

Book

6

Cover is for reference only

Programming languages and systems：15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings

Corporate Authors: European Symposium on Programming (15th 2006 Vienna, Austria); SpringerLink (Online service)
Group Author: Sestoft Peter.
Published: Springer,
Publication Dates: c2006.

Book

7

Cover is for reference only

Static analysis：13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006 : proceedings

Corporate Authors: International Symposium on Static Analysis (13th 2006 Seoul, Korea); SpringerLink (Online service)
Group Author: Yi Kwangkeun.
Published: Springer,
Publication Dates: c2006.

Book

8

Cover is for reference only

Programming languages and systems：15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 ; proceedings

Corporate Authors: European Symposium on Programming (15th 2006 Vienna, Austria); ETAPS 2006 (2006 Vienna, Austria)
Group Author: Sestoft Peter.
Published: Springer,
Publication Dates: 2006.
Call Number: TP31-532/E89.1/2006

Book

9

Cover is for reference only

Practical aspects of declarative languages：8th international symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006 : proceedings

Corporate Authors: PADL 2006 (2006 Charleston, S.C.)
Group Author: Van Hentenryck Pascal.
Published: Springer,
Publication Dates: c2006.
Call Number: TP312-532/P895/2006

Book

10

Cover is for reference only

Languages and compilers for parallel computing：18th international workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005 : revised selected papers

Corporate Authors: Workshop on Languages and Compilers for Parallel Computing (18th 2005 Hawthorne, N.Y.)
Group Author: Ayguadé Eduard.
Published: Springer,
Publication Dates: c2006.
Call Number: TP312-532/L287/2005

Book

11

Cover is for reference only

Static analysis：12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings

Corporate Authors: International Static Analysis Symposium (12th 2005 London, England)
Group Author: Hankin Chris.; Siveroni Igor.
Published: Springer,
Publication Dates: c2005.
Call Number: TP301-532/S797/2005

Book

12

Cover is for reference only

Programming languages and systems：third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005 : proceedings

Corporate Authors: APLAS 2005 (2005 Tsukuba Kenkyū Gakuen Toshi, Japan); LINK (Online service)
Group Author: Yi Kwangkeun.
Published: Springer,
Publication Dates: c2005.

Book

13

Cover is for reference only

Practical Aspects of Declarative Languages：7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings

Corporate Authors: PADL 2005 (2005 Long Beach, Calif.); LINK (Online service)
Group Author: Hermenegildo Manuel.; Cabeza Daniel.
Published: Springer,
Publication Dates: 2005.

Book

14

Cover is for reference only

Scenarios：models, transformations and tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers

Corporate Authors: LINK (Online service)
Group Author: Leue Stefan.; Systä Tarja Johanna.
Published: Springer,
Publication Dates: c2005.

Book

15

Cover is for reference only

Database programming languages：10th International Symposium, DBPL 2005 : Trondheim, Norway, August 28-29, 2005 : revised selected papers

Corporate Authors: International Symposium on Database Programming Languages (10th 2005 Trondheim, Norway); LINK (Online service)
Group Author: Bierman Gavin.; Koch Christoph, 1975-
Published: Springer,
Publication Dates: c2005.

Book

16

Cover is for reference only

Programming languages and systems：14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 : proceedings

Corporate Authors: European Symposium on Programming (14th 2005 Edinburgh, UK)
Group Author: Sagiv Mooly.
Published: Springer,
Publication Dates: c2005.
Call Number: TP31-532/E89.1/2005

Book

17

Cover is for reference only

Journal on data semantics II

Corporate Authors: LINK (Online service)
Group Author: Spaccapietra S.
Published: Springer,
Publication Dates: 2005.

Book

18

Cover is for reference only

Practical aspects of declarative languages：7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings

Corporate Authors: PADL 2005 (2005 Long Beach, Calif.)
Group Author: Hermenegildo Manuel.; Cabeza Daniel.
Published: Springer,
Publication Dates: 2005.
Call Number: TP312-532/P895/2005

Book

19

Cover is for reference only

Static analysis：12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings

Corporate Authors: International Static Analysis Symposium (12th 2005 London, England); LINK (Online service)
Group Author: Hankin Chris.; Siveroni Igor.
Published: Springer,
Publication Dates: 2005.

Book

20

Cover is for reference only

Programming languages and systems：14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings

Corporate Authors: European Symposium on Programming (14th 2005 Edinburgh, Scotland); ETAPS 2005 (2005 Edinburgh, Scotland); LINK (Online service)
Group Author: Sagiv Mooly.
Published: Springer,
Publication Dates: c2005.

Book

Narrow Search