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

1

Cover is for reference only

Towards a service-based Internet -- ServiceWave 2010 workshops：International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010 : revised selected papers

Corporate Authors: ServiceWave 2010 (2010 Ghent, Belgium); SpringerLink (Online service)
Group Author: Wolfsthal Yaron.; Cezon Michel.
Published: Springer-Verlag GmbH Berlin Heidelberg,
Publication Dates: c2011.

Book

2

Cover is for reference only

Hardware and software, verification and testing：First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers

Corporate Authors: International Haifa Verification Conference (1st 2005 Haifa, Israel
Group Author: Ur Shmuel; Bin Eyal; Wolfsthal Yaron
Published: Springer,
Publication Dates: 2006.
Call Number: TP306-532/I615/2005

Book

3

Cover is for reference only

Hardware and software, verification and testing：First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers

Corporate Authors: International Haifa Verification Conference (1st 2005 Haifa, Israel); SpringerLink (Online service)
Group Author: Bin Eyal.; Wolfsthal Yaron.; Ur Shmuel.
Published: Springer,
Publication Dates: c2006.

Book

Narrow Search