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

1

Cover is for reference only

Foundations of health informatics engineering and systems：first International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised selected papers

Corporate Authors: FHIES 2011 (2012 Johannesburg, South Africa); SpringerLink (Online service)
Group Author: Wassyng Alan.; Liu Zhiming, 1961-
Published: Springer,
Publication Dates: c2012.

Book

2

Cover is for reference only

Formal methods and software engineering：8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings

Corporate Authors: International Conference on Formal Engineering Methods (8th 2006 Macau, China)
Group Author: Liu Zhiming, 1961-; He Jifeng, 1943-
Published: Springer,
Publication Dates: c2006.
Call Number: TP311.5-532/I613-4/2006

Book

3

Cover is for reference only

Formal methods and software engineering：8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings

Corporate Authors: International Conference on Formal Engineering Methods (8th 2006 Macau, China); SpringerLink (Online service)
Group Author: Liu Zhiming, 1961-; He Jifeng, 1943-
Published: Springer,
Publication Dates: c2006.

Book

4

Cover is for reference only

Theoretical aspects of computing：ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers

Corporate Authors: ICTAC 2004 (2004 Guiyang Shi, China)
Group Author: Liu Zhiming, 1961-; Araki Keijir?o, 1954-
Published: Springer,
Publication Dates: c2005.
Call Number: TP301-532/I612/2004

Book

5

Cover is for reference only

Mathematical frameworks for component software：models for analysis and synthesis

Group Author: Liu Zhiming 1961-; He Jifeng 1943-
Published: World Scientific,
Publication Dates: c2006.
Call Number: TP311/M426

Book

6

Cover is for reference only

Theoretical aspects of computing - ICTAC 2004：first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers

Corporate Authors: ICTAC 2004 2004 Guiyang, China) (Guiyang, China)); LINK (Online service)
Group Author: Araki Keijirō, 1954-; Liu Zhiming, 1961-
Published: Springer,
Publication Dates: 2005.

Book

7

Cover is for reference only

Bioreactors：design, properties, and applications

Group Author: Liu Zhiming; Antolli Paolo G
Published: Nova Science Publishers,
Publication Dates: c2012.
Call Number: Q813.1/B616

Book

8

Cover is for reference only

Mechanical and electronics engineering VI : selected, peer reviewed papers from the 2014 6th International Conference on Mechanical and Electronics Engineering (ICMEE 2014), August 16-17, 2014, Beijing, China /

Corporate Authors: International Conference on Mechanical and Electronics Engineering Beijing, China
Group Author: Liu, Zhiming
Published: TTP,
Publication Dates: [2014]
Call Number: TH-532/M486/2014

Book

9

Cover is for reference only

Domain modeling and the duration calculus：international training school, Shanghai, China, September 17-21, 2007 : advanced lectures

Corporate Authors: International Training School on Domain Modeling and the Duration Calculus (2007 Shanghai, China); SpringerLink (Online service); ICTAC 2007 (2007 Macau, China)
Group Author: Woodcock Jim.; George Chris W.; Liu Zhiming, 1961-
Published: Springer,
Publication Dates: c2007.

Book

10

Cover is for reference only

Automated technology for verification and analysis：7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings

Corporate Authors: ATVA 2009 (2009 Macau, China); SpringerLink (Online service)
Group Author: Ravn Anders P.; Liu Zhiming, 1961-
Published: Springer-Verlag,
Publication Dates: c2009.

Book

11

Cover is for reference only

Theoretical aspects of computing：ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings

Corporate Authors: ICTAC 2007 (2007 Macau, China); SpringerLink (Online service)
Group Author: (Cliff B.), 1944-; Liu Zhiming, 1961-; Woodcock Jim.; Jones C. B.
Published: Springer,
Publication Dates: c2007.

Book

12

Cover is for reference only

Formal methods and hybrid real-time systems：essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays

Corporate Authors: SpringerLink (Online service)
Group Author: Zhou Chaochen, 1937-; Jones C. B.; (Cliff B.), 1944-; Liu Zhiming, 1961-; Woodcock Jim.; Bjørner D.; (Dines), 1937-
Published: Springer,
Publication Dates: c2007.

Book

13

Cover is for reference only

Mathematical frameworks for component software : models for analysis and synthesis /

Corporate Authors: World Scientific Firm
Group Author: Liu, Zhiming, 1961; He, Jifeng, 1943
Published: World Scientific,
Publication Dates: 2006.

eBook

14

Cover is for reference only

The village teacher : a graphic novel /

Main Authors: Zhang, Xiaoyu (Illustrator)
Group Author: Pan, Zhiming; Lu, S. Qiouyi; Liu, Cixin
Published: Head of Zeus,
Publication Dates: 2021.
Call Number: J238.2/Z634

Book

15

Cover is for reference only

Theoretical aspects of computing -- ICTAC 2013 : 10th international colloquium, Shanghai, China, September 4-6, 2013, proceedings /

Corporate Authors: ICTAC (Colloquium) Shanghai, China); SpringerLink (Online service)
Group Author: Liu, Zhiming, 1961-; Woodcock, Jim.; Zhu, Huibiao.
Published: Springer,
Publication Dates: [2013]

eBook

16

Cover is for reference only

Unifying theories of programming and formal engineering methods : International Training School on Software Engineering, held at ICTAC 2013, Shanghai, China, August 26-30, 2013, advanced lectures /

Corporate Authors: International Training School on Software Engineering Shanghai, China); SpringerLink (Online service); ICTAC (Colloquium) Shanghai, China)
Group Author: Liu, Zhiming, 1961-; Woodcock, Jim.; Zhu, Huibiao.
Published: Springer,
Publication Dates: [2013]

eBook

17

Cover is for reference only

Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /

Corporate Authors: SpringerLink Online service
Group Author: Bowen, J. P. Jonathan Peter, 1956; Liu, Zhiming; Zhang, Zili
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

18

Cover is for reference only

Engineering trustworthy software systems : 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, tutorial lectures /

Corporate Authors: SETSS International school Chongqing, China
Group Author: Bowen, J. P. Jonathan Peter, 1956; Liu, Zhiming, 1961; Zhang, Zili
Published: Springer,
Publication Dates: [2019]
Call Number: TP311.5-532/S372/2018

Book

19

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

20

Cover is for reference only

Foundations of health information engineering and systems : second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012 : revised selected papers /

Corporate Authors: FHIES (Symposium) Paris, France); SpringerLink (Online service)
Group Author: Weber, Jens (Professor of Software Engineering); Perseil, Isabelle
Published: Springer,
Publication Dates: [2013]

eBook

Narrow Search