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

1

Cover is for reference only

Main Authors: Amadio Roberto M.
Group Author: Curien P.-L.; (Pierre-Louis)
Published: Cambridge University Press,
Publication Dates: 1998.
Call Number: TP301/A481/

Book

2

Cover is for reference only

Foundations of software science and computational structures：11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings

Corporate Authors: FOSSACS 2008 (2008 Budapest, Hungary); ETAPS 2008 (2008 Budapest, Hungary) (Budapest, Hungary)); SpringerLink (Online service)
Group Author: Amadio Roberto M.
Published: Springer,
Publication Dates: 2008.

Book

3

Cover is for reference only

CONCUR 2003 - concurrency theory：14th international conference, Marseille, France, September 3-5, 2003 : proceedings

Corporate Authors: International Conference on Concurrency Theory (14th 2003 Marseille, France)
Group Author: Amadio Roberto M.; Lugiez Denis.
Published: Springer,
Publication Dates: c2003.
Call Number: TP338.6-532/I61.5/2003

Book

Narrow Search