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

1

Cover is for reference only

Interactive systems：design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers

Corporate Authors: DSV-IS 2000 2000 Limerick, Ireland)
Group Author: Paternó Fabio 1960-; Palanque Philippe 1966-
Published: Springer,
Publication Dates: c2001.
Call Number: TP391-532/E89/2000

Book

2

Cover is for reference only

Agent-oriented software engineering：first international workshop, AOSE 2000, Limerick, Ireland, June 10, 2000 : revised papers

Corporate Authors: AOSE 2000 (2000 Limerick, Ireland (Limerick, Ireland)
Group Author: Ciancarini Paolo, 1959-; Wooldridge Michael J., 1966-
Published: Springer,
Publication Dates: c2001.
Call Number: TP31-532/A265/2000

Book

3

Cover is for reference only

IUTAM Symposium on Advances in Mathematical Modelling of Atmosphere and Ocean Dynamics：proceedings of the IUTAM symposium held in Limerick, Ireland, 2-7 July, 2000

Corporate Authors: IUTAM Symposium on Advances in Mathematical Modelling of Atmosphere and Ocean Dynamics (2000 Limerick, Ireland
Group Author: Hodnett Frank
Published: Kluwer Academic Publishers,
Publication Dates: c2001.
Call Number: P732-532/I618/2000

Book

4

Cover is for reference only

Proceedings of the 2000 International Conference on Software Engineering：ICSE 2000, the new millennium : June 4-11, 2000, Limerick, Ireland

Corporate Authors: International Conference on Software Engineering (22nd 2000 Limerick, Ireland; ACM Special Interest Group in Programming Languages; IEEE Computer Society. Technical Council on Software Engineering; Irish Computer Society; ACM Sigsoft
Published: ACM,
Publication Dates: c2000.
Call Number: TP31-532/I61/2000

Book

5

Cover is for reference only

International Symposium on Software Engineering for Parallel and Distributed Systems：proceedings, 10-11 June 2000, Limerick, Ireland.

Corporate Authors: International Symposium on Software Engineering for Parallel and Distributed Systems (5th 2000 Limerick, Ireland); IEEE Computer Society
Published: IEEE Computer Society,
Publication Dates: c2000.
Call Number: TP338.8-532/I61.5/2000

Book

Narrow Search