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

1

Cover is for reference only

Structured object-oriented formal language and method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, revised selected papers /

Corporate Authors: SOFL+MSVL Workshop Xi'an Shi, China
Group Author: Tian, Cong; Nagoya, Fumiko; Liu, Shaoying; Duan, Zhenhua
Published: Springer,
Publication Dates: [2018]
Call Number: TP311.11-532/S681/2017

Book

2

Cover is for reference only

Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers /

Corporate Authors: SpringerLink Online service
Group Author: Liu, Shaoying; Duan, Zhenhua; Tian, Cong; Nagoya, Fumiko
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

3

Cover is for reference only

Structured object-oriented formal language and method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, revised selected papers /

Corporate Authors: SOFL+MSVL Workshop Gold Coast, Qld
Group Author: Duan, Zhenhua; Liu, Shaoying, 1960; Tian, Cong; Nagoya, Fumiko
Published: Springer,
Publication Dates: [2019]
Call Number: TP311.11-532/S681/2018

Book

4

Cover is for reference only

郎世宁之艺术：宗教与艺术研讨会论文集

Corporate Authors: 天主教辅仁囱?9tian zhu jiao fu ren cong
Published: 幼狮文化事业公司
Publication Dates: 民国80[1991]
Call Number: J212-53/1044

Book

5

Cover is for reference only

Structured object-oriented formal language and method : second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012, revised selected papers /

Corporate Authors: SOFL (Workshop) Kyoto, Japan); SpringerLink (Online service)
Group Author: Liu, Shaoying, 1960-
Published: Springer,
Publication Dates: 2013.

eBook

6

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

7

Cover is for reference only

Computer and computing technologies in agriculture VI : 6th IFIP WG 5.14 International Conference, CCTA 2012, Zhangjiajie, China, October 19-21, 2012, revised selected papers. Part I /

Corporate Authors: CCTA 2012 Zhangjiajie Shi, China); SpringerLink (Online service)
Group Author: Li, Daoliang; Chen, Yingyi
Published: Springer,
Publication Dates: 2013.

eBook

8

Cover is for reference only

Intelligent computing theories and technology : 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013 : proceedings /

Corporate Authors: International Conference on Intelligent Computing Nanning, China); SpringerLink (Online service)
Group Author: Huang, De-Shuang; Jo, Kang-Hyun; Zhou, Yong-Quan; Han, Kyungsook
Published: Springer,
Publication Dates: 2013.

eBook

9

Cover is for reference only

Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012. Volume 1 /

Corporate Authors: International Conference on Information Engineering and Applications Chongqing, China); SpringerLink (Online service)
Group Author: Zhong, Zhicai
Published: Springer,
Publication Dates: 2013.

eBook

Narrow Search