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

1

Cover is for reference only

Colloquium on "Software Quality Management" : on Thursday, 21 April 1988 /

Corporate Authors: Colloquium on "Software Quality Management" London, England; Institution of Electrical Engineers. Computing & Control Division; Institution of Electrical Engineers. Professional Group C1 Software Engineering; Institution of Electrical Engineers
Published:
Call Number: TP31-532/C714/1988

Book

2

Cover is for reference only

Reconfigurable technology：FPGAs for computing and applications : 20-21 September 1999, Boston, Massachusetts

Corporate Authors: Society of Photo-Optical Instrumentation Engineers
Group Author: Schewel John
Published: International Society for Optical Engineering,
Publication Dates: c1999.
Call Number: TP331.2-532/R311/1999/

Book

3

Cover is for reference only

Fifth International Software Metrics Symposium：November 20-21, 1998, Bethesda, Maryland : metrics 1998 : proceedings

Corporate Authors: International Software Metrics Symposium (5th 1998 Bethesda, Maryland; IEEE Computer Society. Technical Council on Software Engineering
Published: IEEE Computer Society Press,
Publication Dates: c1998.
Call Number: TP311.1-532/I61.2/1998/

Book

4

Cover is for reference only

Model checking software : 28th International Symposium, SPIN 2022, virtual event, May 21, 2022, proceedings /

Corporate Authors: International SPIN Workshop Online)
Group Author: Legunsen, Owolabi; Roşu, Grigore
Published: Springer,
Publication Dates: [2022]
Call Number: TP311.5-532/I617-1/2022

Book

5

Cover is for reference only

Software architecture：First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004 : proceedings

Corporate Authors: EWSA 2004 (2004 St. Andrews, Scotland
Group Author: Oquendo Flavio 1958-; Warboys Brian C 1942-; Morrison Ron 1946-
Published: Springer,
Publication Dates: c2004.
Call Number: TP311-532/E899/2004

Book

6

Cover is for reference only

16th International Conference on Software Engineering：proceedings, May 16-21, 1994, Sorrento, Italy

Corporate Authors: International Conference on Software Engineering (16th 1994 Sorrento, Italy; IEEE Computer Society. Software Engineering Technical Committee; ACM Sigsoft; Associazione italiana per l'informatica e il calcolo automatico
Published: IEEE Computer Society Press,
Publication Dates: c1994.
Call Number: TP31-532/I61/1994/

Book

7

Cover is for reference only

Proceedings, the Sixteenth International Computer Software & Applications Conference : September 21-25, 1992, Chicago, Ill. /

Corporate Authors: COMPSAC Chicago, Ill; IEEE Computer Society
Published: IEEE Computer Society Press,
Publication Dates: [1992]
Call Number: TP31-532/I61.3/1992

Book

8

Cover is for reference only

Smart structures and materis 2002：Modeling, signal processing, and control, 18-21 March 2002, San Diego, Usa

Corporate Authors: Society of Photo-Optical Instrumentation Engineers
Published: SPIE,
Publication Dates: c2002.
Call Number: TP203-532/S636/2002

Book

9

Cover is for reference only

Software process technology：8th European Workshop, EWSPT 2001, Witten, Germany, June 19-21, 2001 : proceedings

Corporate Authors: EWSPT 2001 (2001 Witten, Germany
Group Author: Ambriola Vincenzo
Published: Springer,
Publication Dates: c2001.
Call Number: TP311.5-532/S681.2/2001

Book

10

Cover is for reference only

Reconfigurable technology：FPGAs and reconfigurable processors for computing and communications III : 21-22 August 2001, Denver, USA

Corporate Authors: Society of Photo-Optical Instrumentation Engineers; Colorado Photonics Industry Association
Group Author: Schewel John
Published: SPIE,
Publication Dates: c2001.
Call Number: TP331.2-532/R311/2001

Book

11

Cover is for reference only

Software process technology：7th European workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000 : proceedings

Corporate Authors: European Workshop on Software Process Technology (7th 2000 Kaprun, Austria
Group Author: Conradi Reidar
Published: Springer,
Publication Dates: c2000.
Call Number: TP311.5-532/S681.2/2000

Book

12

Cover is for reference only

Software technologies : applications and foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, revised selected papers /

Corporate Authors: STAF Federation of conferences Marburg, Germany; BigMDE Workshop Marburg, Germany; GCM Workshop Marburg, Germany; GRAND Workshop Marburg, Germany; MORSE Workshop Marburg, Germany; OCL Workshop Marburg, Germany
Group Author: Seidl, Martina; Zschaler, Steffen
Published: Springer,
Publication Dates: [2018]
Call Number: TP311-532/S681-2/2017

Book

13

Cover is for reference only

Service availability：5th International Service Availability Symposium, ISAS 2008, Tokyo, Japan, May 19-21, 2008 : proceedings

Corporate Authors: International Service Availability Symposium (5th 2008 Tokyo, Japan); SpringerLink (Online service)
Group Author: Nanya Takashi, Professor.
Published: Springer,
Publication Dates: c2008.

Book

14

Cover is for reference only

11th International Workshop on Rapid Systems Prototyping：RSP 2000 : June 21-23, 2000, Paris, France, proceedings

Corporate Authors: IEEE International Workshop on Rapid System Prototyping (11th 2000 Paris, France; IEEE Computer Society. Technical Committee on Simulation; IEEE Computer Society. Test Technology Technical Committee; IEEE Computer Society. Design Automation Technical Committee
Published: IEEE Computer Society,
Publication Dates: c2000.
Call Number: TP391-532/I59/2000/

Book

15

Cover is for reference only

Computer aided verification：6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings

Corporate Authors: CAV Conference (6th 1994 Stanford, Calif
Group Author: Dill David L
Published: Springer-Verlag,
Publication Dates: c1994.
Call Number: TP301-532/C738/1994/

Book

16

Cover is for reference only

2014 IEEE 38th Annual Computer Software and Applications Conference : (COMPSAC 2014) : Vasteras, Sweden, 21-25 July 2014 /

Corporate Authors: IEEE International Computer Software and Applications Conference Vasteras, Sweden; Institute of Electrical and Electronic Engineers
Published: IEEE ; Curran Associates, Inc,
Publication Dates: [2014]
Call Number: TP31-532/I61.3/2014

Book

17

Cover is for reference only

Computer safety, reliability, and security：26th international conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 : proceedings

Corporate Authors: International Conference on Computer Safety, Reliability, and Security (26th 2007 Nuremberg, Germany); SpringerLink (Online service)
Group Author: (Francesca); Oster Norbert.; Saglietti F.
Published: Springer,
Publication Dates: 2007.

Book

18

Cover is for reference only

Service availability：4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007 ; proceedings

Corporate Authors: International Service Availability Symposium (4th 2007 Durham, N.H.); SpringerLink (Online service)
Group Author: Reitenspiess Manfred.; Moorsel Aad van.
Published: Springer,
Publication Dates: c2007.

Book

19

Cover is for reference only

FM 2006：formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings

Corporate Authors: International Symposium of Formal Methods Europe (14th 2006 Hamilton, Ont.); SpringerLink (Online service)
Group Author: Nipkow Tobias, 1958-; (Emil) 1963-
Published: Springer,
Publication Dates: c2006.

Book

20

Cover is for reference only

FM 2006：formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings

Corporate Authors: International Symposium of Formal Methods Europe (14th 2006 Hamilton, Ont.)
Group Author: Nipkow Tobias, 1958-; Sekerinski Emil.
Published: Springer,
Publication Dates: c2006.
Call Number: TP311.52-532/I61/2006

Book

Narrow Search