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

1

Cover is for reference only

Computer science logic：15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

Corporate Authors: CSL 2001 (2001 Paris, France; European Association for Computer Science Logic. Annual Conference 2001 Paris, France)
Group Author: Fribourg Laurent 1957-
Published: Springer,
Publication Dates: c2001.
Call Number: TP301-532/C738-1/2001

Book

2

Cover is for reference only

Formal modeling and analysis of timed systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013 : proceedings /

Corporate Authors: FORMATS (Conference) Buenos Aires, Argentina); SpringerLink (Online service)
Group Author: Braberman, Víctor; Fribourg, Laurent, 1957-
Published: Springer,
Publication Dates: 2013.

eBook

3

Cover is for reference only

Logic program synthesis and transformation：Meta-programming in Logic：4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-20, 1994 : proceedings

Corporate Authors: International Workshop on Logic Program Synthesis and Transformation (4th 1994 Pisa; META '94 (1994 Pisa, Italy)
Group Author: Fribourg Laurent 1957-; Turini Franco 1949-
Published: Springer-Verlag,
Publication Dates: c1994.
Call Number: TP311.11-532/I61/1994/

Book

Narrow Search