Hoppa till sidans huvudinnehåll

Zhiming Liu – författare

Visar alla böcker från författaren Zhiming Liu.
21 produkter
Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems, Häftad
Del 11174 - Lecture Notes in Computer Science

Engineering Trustworthy Software Systems

Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

AvJonathan P. Bowen,Zhiming Lium. fl.

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems, Häftad
Del 11430 - Lecture Notes in Computer Science

Engineering Trustworthy Software Systems

4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

AvJonathan P. Bowen,Zhiming Lium. fl.

Häftad, Engelska, 2019

839 kr

Skickas inom 10-15 vardagar

Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems, Häftad
Del 12154 - Lecture Notes in Computer Science

Engineering Trustworthy Software Systems

5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures

AvJonathan P. Bowen,Zhiming Lium. fl.

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Helmut Seidl, Zhiming Liu, Corina S. Pasareanu - Theoretical Aspects of Computing – ICTAC 2022, Häftad
Del 13572 - Lecture Notes in Computer Science

Theoretical Aspects of Computing – ICTAC 2022

19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings

AvHelmut Seidl,Zhiming Lium. fl.

Häftad, Engelska, 2022

729 kr

Skickas inom 10-15 vardagar

Zhiming Liu, Adnane Saoud, Heike Wehrheim - Theoretical Aspects of Computing – ICTAC 2025, Häftad
Del 16237 - Lecture Notes in Computer Science

Theoretical Aspects of Computing – ICTAC 2025

22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings

AvZhiming Liu,Adnane Saoudm. fl.

Häftad, Engelska, 2025

1 069 kr

Skickas inom 5-8 vardagar

José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue - Formal Aspects of Component Software, Häftad
Del 8348 - Lecture Notes in Computer Science

Formal Aspects of Component Software

10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

AvJosé Luiz Fiadeiro,Zhiming Lium. fl.

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

Xuandong Li, Zhiming Liu, Wang Yi - Dependable Software Engineering: Theories, Tools, and Applications, Häftad
Del 9409 - Lecture Notes in Computer Science

Dependable Software Engineering: Theories, Tools, and Applications

First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

AvXuandong Li,Zhiming Lium. fl.

Häftad, Engelska, 2015

699 kr

Skickas inom 10-15 vardagar

Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems, Häftad
Del 9506 - Lecture Notes in Computer Science

Engineering Trustworthy Software Systems

First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

AvZhiming Liu,Zili Zhang

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems, Häftad
Del 10215 - Lecture Notes in Computer Science

Engineering Trustworthy Software Systems

Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

AvJonathan P. Bowen,Zhiming Lium. fl.

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Zhiming Liu, Keijiro Araki - Theoretical Aspects of Computing - ICTAC 2004, Häftad

Theoretical Aspects of Computing - ICTAC 2004

First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

AvZhiming Liu,Keijiro Araki

Häftad, Engelska, 2005

1 449 kr

Skickas inom 10-15 vardagar

Zhiming Liu, Jifeng He - Formal Methods and Software Engineering, Häftad

Formal Methods and Software Engineering

8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

AvZhiming Liu,Jifeng He

Häftad, Engelska, 2006

1 449 kr

Skickas inom 10-15 vardagar

Chris George, Zhiming Liu, Jim Woodcock - Domain Modeling and the Duration Calculus, Häftad

Domain Modeling and the Duration Calculus

International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures

AvChris George,Zhiming Lium. fl.

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar

Cliff B. Jones, Zhiming Liu, Jim Woodcock - Formal Methods and Hybrid Real-Time Systems, Häftad

Formal Methods and Hybrid Real-Time Systems

Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

AvCliff B. Jones,Zhiming Lium. fl.

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar

Cliff B. Jones, Zhiming Liu, Jones Woodcock - Theoretical Aspects of Computing - ICTAC 2007, Häftad

Theoretical Aspects of Computing - ICTAC 2007

4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

AvCliff B. Jones,Zhiming Lium. fl.

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar

Zhiming Liu, Anders P. Ravn - Automated Technology for Verification and Analysis, Häftad

Automated Technology for Verification and Analysis

7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

AvZhiming Liu,Anders P. Ravn

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar

Zhiming Liu, Alan Wassyng - Foundations of Health Informatics Engineering and Systems, Häftad

Foundations of Health Informatics Engineering and Systems

First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

AvZhiming Liu,Alan Wassyng

Häftad, Engelska, 2012

669 kr

Skickas inom 10-15 vardagar

Zhiming Liu, Jim Woodcock, Huibiao Zhu - Theories of Programming and Formal Methods, Häftad

Theories of Programming and Formal Methods

Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

AvZhiming Liu,Jim Woodcockm. fl.

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar

Zhiming Liu, Jim Woodcock, Huibiao Zhu - Theoretical Aspects of Computing -- ICTAC 2013, Häftad

Theoretical Aspects of Computing -- ICTAC 2013

10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

AvZhiming Liu,Jim Woodcockm. fl.

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar

Zhiming Liu, Jim Woodcock, Huibiao Zhu - Unifying Theories of Programming and Formal Engineering Methods, Häftad

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

AvZhiming Liu,Jim Woodcockm. fl.

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar

Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu - Engineering Trustworthy Software Systems, Häftad
Del 15584 - Lecture Notes in Computer Science

Engineering Trustworthy Software Systems

6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures

AvJonathan P. Bowen,Cláudio Gomesm. fl.

Häftad, Engelska, 2025

719 kr

Skickas inom 10-15 vardagar

LIU ZHIMING, Zhiming Liu, Jifeng He - Mathematical Frameworks For Component Software: Models For Analysis And Synthesis, Inbunden
Del 2 - Series On Component-based Software Development

Mathematical Frameworks For Component Software: Models For Analysis And Synthesis

AvLIU ZHIMING,Zhiming Lium. fl.

Inbunden, Engelska, 2006

2 479 kr

Tillfälligt slut