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

1

Cover is for reference only

Embedded software：third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings

Corporate Authors: EMSOFT 2003 (2003 Philadelpha, Pa
Group Author: Alur Rajeev 1966-; Lee Insup
Published: Springer,
Publication Dates: c2003.
Call Number: TP311.5-532/E532/2003

Book

2

Cover is for reference only

Hybrid systems：computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings

Corporate Authors: HSCC 2004 (2004 Philadelphia, Pa
Group Author: Alur Rajeev 1966-; Pappas George J
Published: Springer-Verlag,
Publication Dates: c2004.
Call Number: TP393-532/H992/2004

Book

3

Cover is for reference only

Computer aided verification：16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings

Corporate Authors: CAV Conference (16th 2004 Boston, MA
Group Author: Alur Rajeev 1966-; Peled Doron 1962-
Published: Springer,
Publication Dates: c2004.
Call Number: TP301-532/C738/2004

Book

4

Cover is for reference only

信息物理融合系统（CPS）原理 = Principles of cyber-physical systems

Main Authors: 美阿卢尔 Alur, Rajeev (著)
Group Author: 董云卫 (译); 张雨 (译)
Published: 机械工业出版社
Publication Dates: 2017
Call Number: TP393.02/7222

Book

5

Cover is for reference only

Computer aided verification：8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings

Group Author: Alur Rajeev, 1966-; Henzinger T. A.; (Thomas A.)
Published: Springer-Verlag,
Publication Dates: c1996.
Call Number: TP301-532/C738/1996/

Book

6

Cover is for reference only

Hybrid systems III：verification and control

Corporate Authors: DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems (1995 Rutgers University) (Rutgers University))
Group Author: Alur Rajeev, 1966-; Henzinger T. A.; (Thomas A.); Sontag Eduardo D.
Published: Springer,
Publication Dates: c1996.
Call Number: TP393-532/H992/1995/

Book

Related Subjects