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

1

Cover is for reference only

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday /

Corporate Authors: SpringerLink (Online service)
Group Author: Liu, Zhiming, 1961-; Woodcock, Jim.; Zhu, Huibiao.; He, Jifeng, 1943-
Published: Springer,
Publication Dates: 2013.

eBook

2

Cover is for reference only

Proceedings of the 2012 international conference on information technology and software engineering : software engineering & digital media technology /

Corporate Authors: International Conference on Information Technology and Software Engineering Beijing, China); SpringerLink (Online service)
Group Author: Lu, Wei, 1980-
Published: Springer,
Publication Dates: 2013.

eBook

3

Cover is for reference only

IUTAM symposium on surface effects in the mechanics of nanomaterials and heterostructures : Proceedings of the IUTAM Symposium held in Beijing, China, 8-12 August, 2010 /

Corporate Authors: IUTAM Symposium on Surface Effects in the Mechanics of Nanomaterials and Heterostructures Beijing, China); SpringerLink (Online service)
Group Author: Cocks, A. C. F.; Wang, Jianxiang.
Published: Springer,
Publication Dates: 2013.

eBook

4

Cover is for reference only

Advances in brain inspired cognitive systems : 6th International Conference, BICS 2013, Beijing, China, June 9-11, 2013 : proceedings /

Corporate Authors: Brain-inspired Cognitive Systems (Conference) Beijing, China); SpringerLink (Online service)
Group Author: Liu, Derong, 1963-; Alippi, Cesare; Zhao, Dongbin; Hussain, A. (Amir)
Published: Springer,
Publication Dates: [2013]

eBook

5

Cover is for reference only

Advances in knowledge discovery and data mining : 17th Pacific-Asia Conference, PAKDD 2013, Gold Coast, Australia, April 14-17, 2013, Proceedings. Part II /

Corporate Authors: Pacific-Asia Conference on Knowledge Discovery and Data Mining Gold Coast, Qld.); SpringerLink (Online service)
Group Author: Pei, Jian
Published: Springer,
Publication Dates: 2013.

eBook

6

Cover is for reference only

Recent progress in data engineering and internet technology. Volume 1 /

Corporate Authors: International Conference on Data Engineering and Internet Technology Bali, Indonesia); SpringerLink (Online service)
Group Author: Gaol, Ford Lumban
Published: Springer,
Publication Dates: 2013.

eBook

7

Cover is for reference only

The era of interactive media /

Corporate Authors: IEEE Pacific Rim Conference on Multimedia Sydney, N.S.W.); SpringerLink (Online service)
Group Author: Jin, Jesse S.; Xu, Changsheng; Xu, Min
Published: Springer,
Publication Dates: 2013.

eBook

8

Cover is for reference only

Proceedings of the 2012 International Conference on Information Technology and Software Engineering. Information technology /

Corporate Authors: International Conference on Information Technology and Software Engineering Beijing, China); SpringerLink (Online service)
Group Author: Lu, Wei, 1980-
Published: Springer,
Publication Dates: 2013.

eBook

Narrow Search