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

Author Results for Laneve Cosimo, 1962-

Cover is for reference only

Theoretical computer science：8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003 : proceedings

Corporate Authors: ICTCS 2003 (2003 Bertinoro, Italy
Group Author: Blundo Carlo 1968-; Laneve Cosimo 1962-
Published: Springer,
Publication Dates: c2003.
Call Number: TP3-532/I883/2003

Book

Cover is for reference only

Web services and formal methods：6th international workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009 : revised selected papers

Corporate Authors: WS-FM 2009 (2009 Bologna, Italy); SpringerLink (Online serveice)
Group Author: Su Jianwen.; Laneve Cosimo, 1962-
Published: Springer,
Publication Dates: 2010.

Book

Narrow Search