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

1

Cover is for reference only

Fundamental approaches to software engineering：8th international conference, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings

Corporate Authors: FASE 2005 (2005 Edinburgh, Scotland; ETAPS 2005 (2005 Edinburgh, Scotland)
Group Author: Cerioli Maura
Published: Springer-Verlag,
Publication Dates: 2005.
Call Number: TP311.5-532/F981/2005

Book

2

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

3

Cover is for reference only

Foundations of software science and computation structures：8th international conference, FOSSACS 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: FOSSACS 2005 (2005 Edinburgh, Scotland; ETAPS 2005 (2005 Edinburgh, Scotland)
Group Author: Sassone Vladimiro
Published: Springer,
Publication Dates: c2005.
Call Number: TP31-532/F771/2005

Book

4

Cover is for reference only

Software composition：4th international workshop, SC 2005, Edinburgh, UK, April 9, 2005 : revised selected papers

Corporate Authors: SC 2005 (4th 2005 Edinburgh, Scotland; ETAPS 2005 (2005 Edinburgh, Scotland)
Group Author: Gschwind Thomas; Assmann Uwe 1963-; Nierstrasz Oscar Marius 1957-
Published: Springer,
Publication Dates: c2005.
Call Number: TP311-532/S681/2005

Book

Narrow Search