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

1

Cover is for reference only

Computer aided verification：14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

Corporate Authors: CAV (Conference) (14th 2002 Copenhagen, Denmark)
Group Author: Brinksma Ed.; Larsen K. G.; (Kim G.), 1957-
Published: Springer,
Publication Dates: 2002.
Call Number: TP301-532/C738/2002

Book

2

Cover is for reference only

Formal modeling and analysis of timed systems：first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers

Corporate Authors: FORMATS 2003 (1st 2004 Marseille, France)
Group Author: Larsen K. G.; (Kim G.), 1957-; Niebert Peter.
Published: Springer,
Publication Dates: 2004.
Call Number: TP15-532/F723/2003

Book

3

Cover is for reference only

CONCUR 2001, concurrency theory：12th international conference, Aalborg, Denmark, August 20-25, 2001, proceedings

Corporate Authors: International Conference on Concurrency Theory (12th 2001 Aalborg, Denmark)
Group Author: Larsen K. G.; (Kim G.), 1957-; Nielsen M.; (Mogens), 1949-
Published: Springer,
Publication Dates: 2001.
Call Number: TP338.6-532/I61.5/2001

Musical Score Book

4

Cover is for reference only

The Sage handbook of qualitative research /

Group Author: Denzin, Norman K. (Editor); Lincoln, Yvonna S. (Editor)
Published: Sage,
Publication Dates: [2018]
Call Number: C91-06/S129/5th ed.

Book

5

Cover is for reference only

Applied genomics of foodborne pathogens /

Group Author: Deng, Xiangyu (Editor); Bakker, Henk C. den (Editor); Hendriksen, Rene S. (Editor)
Published: Springer,
Publication Dates: [2017]
Call Number: R155.3/A652

Book

6

Cover is for reference only

Active tectonics and seismic potential of Alaska

Group Author: Freymueller, Jeffrey T.; Haeussler, Peter J. (Peter John); Wesson, R. L. (Robert L.); Ekström, Göran.
Published:

Electronic eBook

Narrow Search