You are here: Home › Author › Zhiming Liu
Zhiming Liu

Zhiming Liu

46 books

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... Computer Science and General Issues)

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... Computer Science and General Issues)

by Zhiming Liu

4.00 of 2

Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

by Zhiming Liu

4.00 of 1

Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. ... (Lecture Notes in Computer Science, 7151)

Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. ... (Lecture Notes in Computer Science, 7151)

by Zhiming Liu

4.00 of 1

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings ... Notes in Computer Science Book 4260)

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings ... Notes in Computer Science Book 4260)

by Zhiming Liu

0.0 of 0

Theoretical Aspects of Computing – ICTAC 2025: 22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings (Lecture Notes in Computer Science Book 16237)

Theoretical Aspects of Computing – ICTAC 2025: 22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings (Lecture Notes in Computer Science Book 16237)

by Zhiming Liu

0.0 of 0

Theoretical Aspects of Computing – ICTAC 2025: 22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings (Lecture Notes in Computer Science Book 16237)

Theoretical Aspects of Computing – ICTAC 2025: 22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings (Lecture Notes in Computer Science Book 16237)

by Zhiming Liu

0.0 of 0

Theoretical Aspects of Computing – ICTAC 2025: 22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings (Lecture Notes in Computer Science)

Theoretical Aspects of Computing – ICTAC 2025: 22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings (Lecture Notes in Computer Science)

by Zhiming Liu

0.0 of 0

Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3407)

Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3407)

by Zhiming Liu

0.0 of 0

Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings (Lecture Notes in Computer Science Book 8049)

Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings (Lecture Notes in Computer Science Book 8049)

by Zhiming Liu

0.0 of 0

Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science Book 3407)

Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science Book 3407)

by Zhiming Liu

0.0 of 0

Environmental Catalysis and Air Pollution Control

Environmental Catalysis and Air Pollution Control

by Zhiming Liu

0.0 of 0

Modelling checkpointing and recovery within UNITY

Modelling checkpointing and recovery within UNITY

by Zhiming Liu

0.0 of 0

Phylogenetic relationships of the living chimaeroid fishes based on characters of the brain and cranial nerves.: An article from: New Mexico Journal of Science

Phylogenetic relationships of the living chimaeroid fishes based on characters of the brain and cranial nerves.: An article from: New Mexico Journal of Science

by Zhiming Liu

0.0 of 0

Mechanical and Electronics Engineering VI: Selected, Peer Reviewed Papers from the 2014 6th International Conference on Mechanical and Electronics ... China

Mechanical and Electronics Engineering VI: Selected, Peer Reviewed Papers from the 2014 6th International Conference on Mechanical and Electronics ... China

by Zhiming Liu

0.0 of 0

Formal Methods and Software Engineering

Formal Methods and Software Engineering

by Zhiming Liu

0.0 of 0

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

by Zhiming Liu

0.0 of 0

Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

by Zhiming Liu

0.0 of 0

Theoretical Aspects of Computing Ictac 2004

Theoretical Aspects of Computing Ictac 2004

by Zhiming Liu

0.0 of 0