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

1

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

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

Automata, languages, and programming：25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings

Corporate Authors: International Colloquium on Automata, Languages, and Programming (1998 Aalborg, Denmark); European Association for Theoretical Computer Science.
Group Author: Larsen Kim G.; Skyum Sven; Winskel Glynn.
Published: Springer,
Publication Dates: c1998.
Call Number: TP23-532/A939/1998

Book

4

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

5

Cover is for reference only

Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings /

Corporate Authors: Symposium on Mathematical Foundations of Computer Science (1972- ) Klosterneuburg, Austria); SpringerLink (Online service)
Group Author: Chatterjee, Krishnendu.; Sgall, Jiří, 1965-
Published: Springer,
Publication Dates: [2013]

eBook

6

Cover is for reference only

Taurine 8. Volume 2, Nutrition and metabolism, protective role, and role in reproduction, development, and differentiation /

Corporate Authors: SpringerLink (Online service)
Group Author: El Idrissi, Abdeslem.; L'Amoreaux, William J.
Published: Springer,
Publication Dates: 2013.

eBook

7

Cover is for reference only

Recent trends in algebraic development techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers /

Corporate Authors: WADT (Workshop) Salamanca, Spain); SpringerLink (Online service)
Group Author: Marti -Oliet, N.; Palomino, Miguel
Published: Springer,
Publication Dates: ?013.

eBook

Narrow Search