Your search returned 15 results.

Results
	1.		Image from Amazon.com	Mathematical frameworks for component software [electronic resource] : models for analysis and synthesis / [edited by] Zhiming Liu, He Jifeng. by He, Jifeng, 1943- Liu, Zhiming, 1961- ebrary, Inc Series: Series on component-based software development ; v. 2. Publication details: Hackensack, NJ : World Scientific, c2006 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	2.		Image from Amazon.com	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 / edited by Zhiming Liu. by International Conference on Mechanical and Electronics Engineering (6th : 2014 : Beijing, China) Liu, Zhiming [editor.] ebrary, Inc Series: Applied mechanics and materials ; Volume 654.Publisher: Pfaffikon, Switzerland : TTP, 2014Distributor: Enfield, New Hampshire : Trans Tech Publications Ltd, [date of distribution not identified]Copyright date: �2014 Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	3.		Image from Amazon.com	Theoretical Aspects of Computing - ICTAC 2004 [electronic resource] : First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers / edited by Zhiming Liu, Keijiro Araki. by Liu, Zhiming [editor.] Araki, Keijiro [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3407Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	4.		Image from Amazon.com	Formal Methods and Software Engineering [electronic resource] : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings / edited by Zhiming Liu, Jifeng He. by Liu, Zhiming [editor.] He, Jifeng [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4260Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	5.		Image from Amazon.com	Domain Modeling and the Duration Calculus [electronic resource] : International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures / edited by Chris W. George, Zhiming Liu, Jim Woodcock. by George, Chris W [editor.] Liu, Zhiming [editor.] Woodcock, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4710Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	6.		Image from Amazon.com	Formal Methods and Hybrid Real-Time Systems [electronic resource] : Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock. by Jones, Cliff B [editor.] Liu, Zhiming [editor.] Woodcock, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4700Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	7.		Image from Amazon.com	Theoretical Aspects of Computing – ICTAC 2007 [electronic resource] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock. by Jones, Cliff B [editor.] Liu, Zhiming [editor.] Woodcock, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4711Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	8.		Image from Amazon.com	Engineering Trustworthy Software Systems [electronic resource] : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / edited by Zhiming Liu, Zili Zhang. by Liu, Zhiming [editor.] Zhang, Zili [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9506 Edition: 1st ed. 2016. Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	9.		Image from Amazon.com	Dependable Software Engineering: Theories, Tools, and Applications [electronic resource] : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / edited by Xuandong Li, Zhiming Liu, Wang Yi. by Li, Xuandong [editor.] Liu, Zhiming [editor.] Yi, Wang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 9409Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	10.		Image from Amazon.com	Formal Aspects of Component Software [electronic resource] : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers / edited by José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue. by Fiadeiro, José Luiz [editor.] Liu, Zhiming [editor.] Xue, Jinyun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8348Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	11.		Image from Amazon.com	Theories of Programming and Formal Methods [electronic resource] : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by Liu, Zhiming [editor.] Woodcock, Jim [editor.] Zhu, Huibiao [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8051Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	12.		Image from Amazon.com	Theoretical Aspects of Computing – ICTAC 2013 [electronic resource] : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by Liu, Zhiming [editor.] Woodcock, Jim [editor.] Zhu, Huibiao [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8049Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	13.		Image from Amazon.com	Unifying Theories of Programming and Formal Engineering Methods [electronic resource] : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by Liu, Zhiming [editor.] Woodcock, Jim [editor.] Zhu, Huibiao [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8050Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	14.		Image from Amazon.com	Foundations of Health Informatics Engineering and Systems [electronic resource] : First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers / edited by Zhiming Liu, Alan Wassyng. by Liu, Zhiming [editor.] Wassyng, Alan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7151Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	15.		Image from Amazon.com	Automated Technology for Verification and Analysis [electronic resource] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings / edited by Zhiming Liu, Anders P. Ravn. by Liu, Zhiming [editor.] Ravn, Anders P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5799Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email: librarian@alfaisal.edu