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

1

Cover is for reference only

Category theory and computer science：7th international conference, CTCS 97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings

Corporate Authors: Biennial Conference on Category Theory in Computer Science 1997 Santa Margherita Ligure, Italy) (Santa Margherita Ligure, Italy))
Group Author: Rosolini G.; (Giuseppe) 1954-; Moggi Eugenio.
Published: Springer-Verlag,
Publication Dates: c1997.
Call Number: TP301-532/C357/1997/

Book

2

Cover is for reference only

Proceedings of the 10th Italian Conference on Theoretical Computer Science, ICTS'07：Rome, Italy, 3-5 October 2007

Corporate Authors: Italian Conference on Theoretical Computer Science (10th 2007 Rome, Italy
Group Author: Italiano Giuseppe F; Moggi Eugenio; Laura Luigi
Published: World Scientific,
Publication Dates: c2007.
Call Number: TP3-532/I883/2007

Book

3

Cover is for reference only

Proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming：2004, Verona, Italy, August 24-26, 2004

Corporate Authors: International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (6th 2004 Veron, Italy; ACM Digital Library; ACM Special Interest Group on Programming Languages
Group Author: Warren David S; Moggi Eugenio
Published: ACM Press,
Publication Dates: 2004.
Call Number: TP311.1-532/I613/2004

Book

4

Cover is for reference only

Proceedings of the 10th Italian Conference on Theoretical Computer Science (ICTCS '07), Rome, Italy, 3-5 October 2007 /

Corporate Authors: Italian Conference on Theoretical Computer Science Rome, Italy; World Scientific Firm
Group Author: Italiano, Giuseppe F; Moggi, Eugenio; Laura, Luigi Anton
Published: World Scientific Pub.,
Publication Dates: 2007.

eBook

Narrow Search