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

1

Cover is for reference only

Computer safety, reliability, and security：28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 ; proceedings

Corporate Authors: SAFECOMP 2009 (2009 Hamburg, Germany); SpringerLink (Online service)
Group Author: Seyfarth Till.; Buth Bettina.; Rabe Gerd.
Published: Springer,
Publication Dates: 2009.

Book

2

Cover is for reference only

Dependable computing EDCC-5：5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005 : proceedings

Corporate Authors: European Dependable Computing Conference (5th 2005 Budapest, Hungary)
Group Author: Dal Cin Mario, 1940-; Kaaniche Mohamed.; Pataricza Andraas, 1954-
Published: Springer,
Publication Dates: c2005.
Call Number: TP301.6-532/E89/2005

Book

3

Cover is for reference only

Power-aware computer systems：4th international workshop, PACS 2004, Portland, OR, USA, December 5, 2004 : revised selected papers

Corporate Authors: PACS 2004 (2004 Portland, Or
Group Author: Falsafi Babak; Vijaykumar T. N 1967-
Published: Springer,
Publication Dates: c2005.
Call Number: TP360.3-532/P887/2004

Book

4

Cover is for reference only

Dependable computing EDCC-2005：: 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22 2005 : proceedings

Corporate Authors: European Dependable Computing Conference (5th 2005 Budapest, Hungary); SpringerLink (Online service)
Group Author: Dal Cin Mario, d1940-; Kániche Mohamed.; Pataricza Andr̀s, d1954-; Dal Cin Mario, 1940-
Published: Springer,
Publication Dates: c2005.

Book

5

Cover is for reference only

Computer safety, reliability, and security：24th international conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005 : proceedings

Corporate Authors: SAFECOMP 2005 (2005 Fredrikstad, Norway
Group Author: Winther Rune; Gran Bj2rn Axel; Dahll Gustav
Published: Springer,
Publication Dates: c2005.
Call Number: TP309-532/I61/2005

Book

6

Cover is for reference only

Dependable computing：second Latin-American symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005 : proceedings

Corporate Authors: LADC 2005 (2005 Salvador, Brazil)
Group Author: Maziero Carlos Alberto.
Published: Springer,
Publication Dates: c2005.
Call Number: TP33-532/D419/2005

Book

7

Cover is for reference only

Computer aided verification：17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings

Corporate Authors: CAV Conference (17th 2005 Edinburgh, Scotland
Group Author: Etessami Kousha; Rajamani Sriram K 1970-
Published: Springer,
Publication Dates: 2005.
Call Number: TP301-532/C738/2005

Book

8

Cover is for reference only

Computer aided verification：16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings

Corporate Authors: CAV Conference (16th 2004 Boston, MA
Group Author: Alur Rajeev 1966-; Peled Doron 1962-
Published: Springer,
Publication Dates: c2004.
Call Number: TP301-532/C738/2004

Book

9

Cover is for reference only

Computer safety, reliability, and security：23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 : proceedings

Corporate Authors: SAFECOMP 2004 (2004 Potsdam, Germany
Group Author: Heisel Maritta; Liggesmeyer Peter; Wittmann Stefan
Published: Springer,
Publication Dates: 2004.
Call Number: TP309-532/I61/2004

Book

10

Cover is for reference only

Power-aware computer systems：Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003 : revised papers

Corporate Authors: PACS 2003 (2003 San Diego, Calif
Group Author: Falsafi Babak; Vijaykumar T. N 1967-
Published: Springer,
Publication Dates: 2004.
Call Number: TP360.3-532/P887/2003

Book

11

Cover is for reference only

Computer aided verification：15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings

Corporate Authors: CAV Conference (15th 2003 Boulder, Colo
Group Author: Hunt Warren A 1958-; Somenzi Fabio
Published: Springer,
Publication Dates: c2003.
Call Number: TP301-532/C738/2003

Book

12

Cover is for reference only

Dependable computing：first Latin-American symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003 : proceedings

Corporate Authors: LADC 2003 (1st 2003 São Paulo, Brazil
Group Author: Lemos Rogério de 1961-; Weber Taisy Silva 1953-; Camargo João Batista 1958-
Published: Springer,
Publication Dates: c2003.
Call Number: TP33-532/D419/2003

Book

13

Cover is for reference only

Power-aware computer systems：Second International Workshop, PACS 2002, Cambridge, MA, USA, February 2, 2002 : revised papers

Corporate Authors: PACS 2002 (2002 Cambridge, Mass
Group Author: Falsafi Babak; Vijaykumar T. N 1967-
Published: Springer,
Publication Dates: c2003.
Call Number: TP360.3-532/P887/2002

Book

14

Cover is for reference only

Dependable computing EDCC-4：4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002 : proceedings

Corporate Authors: European Dependable Computing Conference (4th 2002 Toulouse, France
Group Author: Bondavalli Andrea
Published: Springer,
Publication Dates: 2002.
Call Number: TP301.6-532/E89/2002

Book

15

Cover is for reference only

Computer safety, reliability and security：19th international conference, SAFECOMP 2000, Rotterdam, the Netherlands, October 24-27, 2000 : proceedings

Corporate Authors: International Conference on Computer Safety, Reliability, and Security 2000 Rotterdam, Netherlands)
Group Author: Meulen Meine van der 1964-; Koornneef Floor 1950-
Published: Springer,
Publication Dates: c2000.
Call Number: TP309-532/I61/2000

Book

16

Cover is for reference only

Computer performance evaluation：modelling techniques and tools : 11th international conference, TOOLS 2000, Schaumburg, Ill., USA, March 27-31, 2000 : proceedings

Corporate Authors: International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation 2000 Schaumburg, Ill.)
Group Author: Bohnenkamp Henrik C 1967-; Smith Connie U; Haverkort Boudewijn R
Published: Springer,
Publication Dates: c2000.
Call Number: TP302.7-532/I61/2000

Book

17

Cover is for reference only

Dependable computing--EDDC-3：Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999 : proceedings

Corporate Authors: European Dependable Computing Conference (3rd 1999 Prague, Czech Republic
Group Author: Hlavička Jan 1942-; Maehle Erik; Pataricza András 1954-
Published: Springer,
Publication Dates: c1999.
Call Number: TP301.6-532/E89/1999

Book

18

Cover is for reference only

Rewriting techniques and applications：9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings

Corporate Authors: International Conference on Rewriting Techniques and Applications 1998 Tsukuba-shi, Japan)
Group Author: Nipkow Tobias, 1958-
Published: Springer,
Publication Dates: 1998.
Call Number: TP314-532/R454/1998/

Book

19

Cover is for reference only

Static analysis：4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings

Corporate Authors: International Static Analysis Symposium 1997 Paris, France)
Group Author: Van Hentenryck Pascal.
Published: Springer,
Publication Dates: c1997.
Call Number: TP301-532/S797/1997/

Book

20

Cover is for reference only

Computer aided verification：9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings

Corporate Authors: CAV Conference 1997 Haifa)
Group Author: Grumberg Orna
Published: Springer,
Publication Dates: c1997.
Call Number: TP301-532/C738/1997/

Book

Narrow Search