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

1

Cover is for reference only

Tools and algorithms for the construction and analysis of systems：16th international conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010 : proceedings

Corporate Authors: SpringerLink (Online serveice)
Group Author: Esparza Javier.; Majumdar Rupak.
Published: Springer-Verlag,
Publication Dates: 2010.

Book

2

Cover is for reference only

Architecting critical systems：first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010

Corporate Authors: International Symposium on Architecting Critical Systems. (1st June 23-25, 2010 Prague, Czech Republic); SpringerLink (Online service)
Group Author: Giese Holger.
Published: Springer,
Publication Dates: 2010.

Book

3

Cover is for reference only

Integrated formal methods：7th international conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009 ; proceedings

Corporate Authors: International Conference on Integrated Formal Methods (7th 2009 Düsseldorf, Germany); SpringerLink (Online service)
Group Author: Wehrheim Heike.; Leuschel Michael.
Published: Springer,
Publication Dates: 2009.

Book

4

Cover is for reference only

Tools and algorithms for the construction and analysis of systems：13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings

Corporate Authors: TACAS 2007 (2007 Braga, Portugal; ETAPS 2007 (2007 Braga, Portugal)
Group Author: Grumberg Orna; Huth Michael 1962-
Published: Springer,
Publication Dates: c2007.
Call Number: TP338.8-532/T671/2007

Book

5

Cover is for reference only

Tools and algorithms for the construction and analysis of systems：12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-April 2, 2006 : proceedings

Corporate Authors: TACAS 2006 (2006 Vienna, Austria); ETAPS 2006 (2006 Vienna, Austria); SpringerLink (Online service)
Group Author: Palsberg Jens.; Hermanns Holger, 1967-
Published: Springer,
Publication Dates: c2006.

Book

6

Cover is for reference only

Advanced topics in exception handling techniques

Corporate Authors: SpringerLink (Online service)
Group Author: Dony Christophe.
Published: Springer,
Publication Dates: c2006.

Book

7

Cover is for reference only

Tools and algorithms for the construction and analysis of systems：12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-April 2, 2006 : proceedings

Corporate Authors: TACAS 2006 (2006 Vienna, Austria; ETAPS 2006 (2006 Vienna, Austria)
Group Author: Hermanns Holger 1967-; Palsberg Jens
Published: Springer,
Publication Dates: c2006.
Call Number: TP338.8-532/T671/2006

Book

8

Cover is for reference only

Computer supported cooperative work in design.. II：9th International Conference, CSCWD 2005 Coventry, UK, May 24-26, 2005, revised selected papers

Corporate Authors: International Conference on Computer Supported Cooperative Work in Design (9th 2005 Coventry, England
Group Author: Shen Weiming
Published: Springer,
Publication Dates: c2006.
Call Number: TB21-532/I613-2/2005

Book

9

Cover is for reference only

Tools and algorithms for the construction and analysis of systems：11th international conference, TACAS 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: TACAS 2005 (2005 Edinburgh, Scotland); LINK (Online service); ETAPS 2005 (2005 Edinburgh, Scotland)
Group Author: Halbwachs Nicolas.; Zuck Lenore D., 1958-
Published: Springer,
Publication Dates: c2005.

Book

10

Cover is for reference only

Cooperative design, visualization and engineering：second international conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005 : proceedings

Corporate Authors: CDVE 2005 (2005 Palma de Mallorca, Spain); LINK (Online service)
Group Author: Luo Yuhua.
Published: Springer,
Publication Dates: 2005.

Book

11

Cover is for reference only

Computer supported cooperative work in design I：8th international conference, CSCWD 2004, Xiamen, China, May 26-28, 2004 : revised selected papers

Corporate Authors: International Conference on Computer Supported Cooperative Work in Design (8th 2004 Xiamen Shi, China
Group Author: Shen Weiming
Published: Springer,
Publication Dates: c2005.
Call Number: TB21-532/I613-2/2004

Book

12

Cover is for reference only

Tools and algorithms for the construction and analysis of systems：11th international conference, TACAS 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: TACAS 2005 (2005 Edinburgh, Scotland; ETAPS 2005 (2005 Edinburgh, Scotland)
Group Author: Halbwachs Nicolas; Zuck Lenore D 1958-
Published: Springer,
Publication Dates: c2005.
Call Number: TP338.8-532/T671/2005

Book

13

Cover is for reference only

FM 2005：formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings

Corporate Authors: International Symposium of Formal Methods Europe (13th 2005 Newcastle upon Tyne, England)
Group Author: Fitzgerald John, 1965-; Hayes Ian.; Tarlecki Andrzej.
Published: Springer,
Publication Dates: 2005.

Book

14

Cover is for reference only

Formal methods for mobile computing：5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures

Corporate Authors: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (5th 2005 Bertinoro, Italy); LINK (Online service)
Group Author: Bernardo Marco.; Bogliolo Alessandro.
Published: Springer,
Publication Dates: c2005.

Book

15

Cover is for reference only

FM 2005：formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings

Corporate Authors: International Symposium of Formal Methods Europe (13th 2005 Newcastle upon Tyne, England)
Group Author: Fitzgerald John, 1965-; Hayes Ian.; Tarlecki Andrzej.
Published: Springer,
Publication Dates: c2005.
Call Number: TP30-532/I61/2005

Book

16

Cover is for reference only

Teaching formal methods：CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings

Corporate Authors: CoLogNET/FME Symposium (2004 Ghent, Belgium; LINK Online service; TFM 2004 (2004 Ghent, Belgium)
Group Author: Dean C. Neville; Boute Raymond T
Published: Springer,
Publication Dates: c2004.
Call Number: TP311.52-532/T253/2004

Book

17

Cover is for reference only

From object-orientation to formal methods：essays in memory of Ole-Johan Dahl

Group Author: Dahl Ole-Johan, 1931-; Owe Olaf.; Krogdahl Stein.; Lyche Tom.
Published: Springer,
Publication Dates: c2004.
Call Number: TP311.11/F931

Book

18

Cover is for reference only

Component deployment：Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004 : proceedings

Corporate Authors: Working Conference on Component Deployment (2nd 2004 e-Science Institute)
Group Author: Emmerich Wolfgang, Dr. Rer. Nat.; Wolf Alexander L.
Published: Springer,
Publication Dates: c2004.
Call Number: TP311.11-532/C737/2004

Book

19

Cover is for reference only

Tools and algorithms for the construction and analysis of systems：9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

Corporate Authors: TACAS 2003 (2003 Warsaw, Poland; ETAPS 2003 (2003 Warsaw, Poland)
Group Author: Garavel Hubert 1963-; Hatcliff John 1966-
Published: Springer,
Publication Dates: c2003.
Call Number: TP338.8-532/T671/2003

Book

20

Cover is for reference only

Tools and algorithms for the construction and analysis of systems：8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

Corporate Authors: TACAS 2002 (2002 Grenoble, France
Group Author: Katoen Joost-Pieter; Stevens Perdita
Published: Springer,
Publication Dates: c2002.
Call Number: TP338.8-532/T671/2002

Musical Score Book

Narrow Search