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

1

Cover is for reference only

Computer safety, reliability, and security：27th international conference, SAFECOMP 2008, Newcastle on Tyne, UK, September 22-25, 2008 : proceedings

Corporate Authors: International Conference on Computer Safety, Reliability, and Security (27th 2008 Newcastle on Tyne, UK); SpringerLink (Online service)
Group Author: Sujan Mark-Alexander.; Harrison M. D.; (Michael D.)
Published: Springer,
Publication Dates: 2008.

Book

2

Cover is for reference only

Formal methods in human-computer interaction

Group Author: Harrison M. D.; (Michael D.); Thimbleby Harold.
Published: Cambridge University Press,
Publication Dates: 1990.
Call Number: TP11/F723/

Book

3

Cover is for reference only

Interactive systems：design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers

Corporate Authors: DSVIS 2005 (2005 Newcastle upon Tyne, England)
Group Author: Gilroy Stephen W.; Harrison M. D.; (Michael D.)
Published: Springer,
Publication Dates: c2006.
Call Number: TP391-532/E89/2005

Book

Related Subjects