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

1

Cover is for reference only

Reliable Software Technologies - Ada-Europe 2009：14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

Main Authors: Hutchison David
Corporate Authors: SpringerLink (Online service)
Group Author: Steffen Bernhard.; Kittler Josef.; Nierstrasz Oscar.; Pandu Rangan C.; Sudan Madhu.; Mitchell John C.; Mattern Friedemann.; Naor Moni; Vardi Moshe Y.; Tygar Doug.; Kanade Takeo.; Kermarrec Yvon.; Kordon Fabrice.; Weikum Gerhard.; Terzopoulos Demetri.; Kleinberg Jon M.
Published: Springer Berlin Heidelberg,
Publication Dates: 2009.

Book

2

Cover is for reference only

Dependable computing：Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings

Main Authors: Andrade Aline Maria Santos.
Group Author: Maziero Carlos Alberto.; Silva Jo©Đo Gabriel; Assis Silva Fl©Łvio Morais de
Published: Springer-Verlag GmbH.,
Publication Dates: 2005

Book

3

Cover is for reference only

Functional verification of programmable embedded architectures：a top-down approach

Main Authors: Mishra Prabhat
Group Author: Dutt Nikil D.
Published: Springer Science+Business Media, Inc.,
Publication Dates: 2005.

Book

Narrow Search