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

1

Cover is for reference only

Term graph rewriting：theory and practice

Group Author: Sleep M. R.; Plasmeijer M. J.; Eekelen M. C. J. D. van.
Published: Wiley,
Publication Dates: c1993.
Call Number: TP301.6-532/T319/1991/

Book

2

Cover is for reference only

Foundational and practical aspects of resource analysis：second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised selected papers

Corporate Authors: FOPARA (Workshop) (2nd 2011 Madrid, Spain); SpringerLink (Online service)
Group Author: Eekelen M. C. J. D. van.; Shkaravska Olha.; Pena Ricardo, 1950-
Published: Springer,
Publication Dates: c2012.

Book

3

Cover is for reference only

Interactive theorem proving：second international conference, ITP 2011, Berg en Dal, the Netherlands, August 22-25, 2011, proceedings

Corporate Authors: ITP 2011 (2011 Berg en Dal, Netherlands); SpringerLink (Online service)
Group Author: Eekelen M. C. J. D. van.
Published: Springer,
Publication Dates: c2011.

Book

4

Cover is for reference only

Foundational and practical aspects of resource analysis：first international workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2009 : revised selected papers

Corporate Authors: FOPARA 2009 (2009 Eindhoven, Netherlands); SpringerLink (Online service)
Group Author: Shkaravska Olha.; Eekelen M. C. J. D. van.
Published: Springer,
Publication Dates: 2010.

Book

Related Subjects