Search Results for Liu, Zhiming

15 Results Found

1 2

000000000000MAIN

Mathematical frameworks for component software : models for analysis and synthesis

Liu, Zhiming, 1961-

Author

Liu, Zhiming, 1961-, He, Jifeng, 1943-

Format:

Call Number

QA76.76.C66 M37 2006

Publisher

World Scientific,

Publication Date

2006

ISBN

9789812700179

Available:
Holds:
Copies:

Cover image for Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Jones, Cliff B.

Author

Jones, Cliff B., Liu, Zhiming, Woodcock, Jim, SpringerLink (Online service)

Format:

Call Number

EB 000687

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2007

ISBN

9783540752219

Full Text

Remote access restricted to users with a valid UTM ID via VPN

Available:
Holds:
Copies:

Cover image for Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

ICTAC Training School on Domain Modelling and Duration Calculus (2007 : Shanghai, China)

Author

ICTAC Training School on Domain Modelling and Duration Calculus (2007 : Shanghai, China), George, Chris W., Liu, Zhiming., Woodcock, Jim., SpringerLink (Online service)

Format:

Call Number

EB 001366

Publisher

Springer-Verlag Berlin Heidelberg,

Publication Date

2007

ISBN

9783540749646

http://dx.doi.org/10.1007/978-3-540-74964-6

Remote access restricted to users with a valid UTM ID via VPN

Available:
Holds:
Copies:

Encyclopaedia of ADVANCES IN IMAGE SEGMENTATION

Dai, Fengzhi, contributor

Author

Dai, Fengzhi, contributor, Sugisaka, Masanori, contributor, Zhang, Baolong, contributor, DeBuc, Delia Cabrera, contributor, Wang, Weixing, contributor

Format:

Call Number

TA1638.4 E53 2017 re v.1

Publication Date

2017

ISBN

9781785693786

Available:
Holds:
Copies:

Welding and joining of magnesium alloys

Liming, Liu

Author

Liming, Liu

Format:

Call Number

TS560 W45 2010

Publisher

Woodhead Pub Ltd.,

Publication Date

2010

ISBN

9781845696924

Available:
Holds:
Copies:

Controlling chaos : suppression, synchronization and chaotification

Zhang, Huaguang, 1959-

Author

Zhang, Huaguang, 1959-, Liu, Derong, 1963-, Wang, Zhiliang

Format:

Call Number

Q172.5 .C45 Z52 2009

Series Title

Communications and control engineering

Publisher

Springer,

Publication Date

2009

ISBN

9781848825222

Available:
Holds:
Copies:

Paper to digital : documents in the information age

Liu, Ziming

Author

Liu, Ziming

Format:

Call Number

ZA3060 L58 2008

Publisher

Libraries Unlimited,

Publication Date

2008

ISBN

9781591586203

Available:
Holds:
Copies:

The world-class university and ranking : aiming beyond status

Sadlak, Jan

Author

Sadlak, Jan, Liu, Nian Cai

Format:

Call Number

LB2331.65.M3 W67 2007

Publisher

UNESCO-CEPES,

Publication Date

2007

ISBN

5948422002132

Available:
Holds:
Copies:

Spatial reasoning and planning : geometry, mechanism, and motion

Liu, Jiming, 1962-

Author

Liu, Jiming, 1962-, Daneshmend, Laeeque K.

Format:

Call Number

Q335 L58 2004

Publisher

Springer-Verlag,

Publication Date

2004

ISBN

9783540406709

Available:
Holds:
Copies:

10.

Synthesis of chalcones catalysed by SOCI2/EtOH

Hu, Zihiguo

Author

Hu, Zihiguo, Liu, Jun, Dong, Zhibing, Guo, Lili

Format:

Call Number

MAK 18531

Publication Date

2004

Available:
Holds:
Copies:

11.

Intelligent technologies for information analysis : with 161 figures and 48 tables

Zhong, Ning

Author

Zhong, Ning, Liu, Jiming

Format:

Call Number

QA76.76.I58 I57 2004

Publisher

Springer,

Publication Date

2004

ISBN

9783540406778

Available:
Holds:
Copies:

12.

Multimedia data hiding

Wu, Min, 1974-

Author

Wu, Min, 1974-, Liu, Bede

Format:

Call Number

QA76.575 W85 2003

Publisher

Springer Verlag,

Publication Date

2003

ISBN

9780387954264

Available:
Holds:
Copies:

1 2

	{displayName}	{count}
{error}