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

1

Cover is for reference only

Informing digital futures：strategies for citizen engagement

Main Authors: Damodaran Leela
Group Author: Olphert Wendy
Published: Springer,
Publication Dates: c2006.
Call Number: G20-1/D163

Book

2

Cover is for reference only

Organization and systems design：theory of deferred action

Main Authors: Patel Nandish V 1959-
Published: Palgrave Macmillan,
Publication Dates: 2006.
Call Number: C931.6/P295-1

Book

3

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

4

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

5

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

6

Cover is for reference only

Urbaniser l'entreprise et son système d'information：guide des entreprises agiles

Main Authors: Chelli Henri
Published: Vuibert,
Publication Dates: c2003.
Call Number: F270/C516

Book

7

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

8

Cover is for reference only

Systems analysis and design methods

Main Authors: Whitten Jeffrey L
Group Author: Bentley Lonnie D; Dittman Kevin C
Published: Irwin/McGraw-Hill,
Publication Dates: 2001.
Call Number: TP302/W624/5th.ed.

Book

9

Cover is for reference only

Advances in exception handling techniques

Group Author: Romanovsky Alexander 1954-
Published: Springer,
Publication Dates: c2001.
Call Number: TP311-1/A244

Book

10

Cover is for reference only

FM'99-Formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, september 20-24, 1999：proceedings.. Volume I

Corporate Authors: World Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France
Group Author: Wing Jeannette Marie (éd.); Woodcock Jim (éd.); Davies Jim 1964-
Published: Springer,
Publication Dates: c1999.
Call Number: TP311-532/W927/1999

Book

11

Cover is for reference only

La méthode GRAI：principes, outils, démarche et pratique

Main Authors: Roboam Michel
Published: Teknea,
Publication Dates: c1993
Call Number: N945.11/R666

Book

12

Cover is for reference only

IFIP WG2.6/WG8.1 working conference on the role of artificial intelligence in databases and information systems, Guangzhou, China, July 4-8, 1988.

Corporate Authors: IFIP WG2.6/WG8.1 Working Conference on the Role of Artificial Intelligence in Databases and Information Systems (1988 Guangzhou, China
Published: North-Holland Distributors for the U.S. and Canada, Elsevier Science Pub. Co.,
Publication Dates: 1988.
Call Number: TP18-532/I615-1/1988

Book

13

Cover is for reference only

System design.

Published: Pergamon Infotech Limited,
Publication Dates: c1981.
Call Number: TP302.1/S995-1

Book

14

Cover is for reference only

Information systems analysis：with an introduction to fourth-generation technologies

Main Authors: Hall V. J. (Vicki J.), 1947-
Group Author: Mosevich J. W.; (Jack Walter), 1944-
Published: Prentice-Hall Canada,
Publication Dates: c1988.
Call Number: C931.6/H179

Book

15

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-; Sekerinski E.; (Emil) 1963-; Misra Jayadev.
Published: Springer,
Publication Dates: c2006.

Book

16

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); SpringerLink (Online service)
Group Author: Shen Weiming.
Published: Springer,
Publication Dates: c2006.

Book

17

Cover is for reference only

Component deployment：third international working conference, CD 2005, Grenoble, France, November 28-29, 2005 : proceedings

Corporate Authors: Working Conference on Component Deployment (3rd 2005 Grenoble, France)
Group Author: Dearle Alan.; Eisenbach S., 1951-
Published: Springer-Verlag,
Publication Dates: c2005.
Call Number: TP311.11-532/C737/2005

Book

18