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

1

Cover is for reference only

Formal methods and software engineering：4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings

Corporate Authors: International Conference on Formal Engineering Methods (4th 2002 Shanghai, China)
Group Author: George Chris, 1947-; Miao Huaikou, 1953-
Published: Springer,
Publication Dates: c2002.
Call Number: TP311.5-532/I613-4/2002

Book

2

Cover is for reference only

Testbeds and research infrastructures for the development of networks and communications : 13th EAI International Conference, TridentCom 2018, Shanghai, China, December 1-3, 2018, Proceedings /

Corporate Authors: TridentCom Shanghai, China
Group Author: Gao, Honghao; Yin, Yuyu; Yang, Xiaoxian; Miao, Huaikou, 1953
Published: Springer,
Publication Dates: 2019.
Call Number: TP393-532/T824/2018

Book

3

Cover is for reference only

Computer and information science 2009

Corporate Authors: SpringerLink (Online service); International Conference on Computer and Information Science 2009 Shanghai, China)
Group Author: Hu G.; (Gongzhu); Miao Huaikou, 1953-; (Roger Y.)
Published: Springer,
Publication Dates: c2009.

Book

Narrow Search