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

Author Results for International Institute for Software Technology.

Cover is for reference only

APSEC 2001：Eighth Asia-Pacific Software Engineering Conference : proceedings : 4-7 December, 2001, Macao, China

Corporate Authors: Asia-Pacific Software Engineering Conference (8th 2001 Macao, China); Aomen da xue.; Macau (China : Special Administrative Region). Gabinete para o Desenvolvimento das Telecomunicações e Tecnologias da Informação.; International Institute for Software Technology.; Centro de Produtividade e Transferência de Tecnologia de Macau.
Published: IEEE Computer Society Press,
Publication Dates: c2001.
Call Number: TP311.11-532/A832/2001

Book

Cover is for reference only

Formal methods at the crossroads：from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers

Corporate Authors: International Institute for Software Technology
Group Author: Aichernig Bernhard K 1969-; Maibaum Thomas S. E 1947-
Published: Springer-Verlag,
Publication Dates: 2003.
Call Number: TP311.5-532/F723/2002

Book

Narrow Search