bib.howest.be Zoekresultaten

U zocht naar: Auteur Liu, Zhiming Fulltext online

« Vorige | 1 - 10 van 19 | Volgende »

1. Dependable Software Engineering: Theories, Tools, and Applications

Auteur:: Li; Liu, Zhiming; Yi, Wang
Uitgever:: Springer International Publishing 2015
Type:: e-book

2. Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures

Auteur:: Bowen; Liu, Zhiming; Zhang, Zili
Uitgever:: Springer International Publishing 2020
Type:: e-book

3. Unifying Theories of Programming and Formal Engineering Methods

Auteur:: Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao; Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

4. Engineering Trustworthy Software Systems

Auteur:: Bowen; Zhiming Liu; Zili Zhang; Liu, Zhiming; Zhang, Zili
Uitgever:: Springer International Publishing 2018
Type:: e-book

5. Engineering Trustworthy Software Systems : 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

Auteur:: Bowen, Jonathan P.; Gomes, Cláudio; Liu, Zhiming
Uitgever:: Singapore Springer 2025
Type:: e-book

6. Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

Auteur:: Seidl, Helmut.; Liu, Zhiming; Pasareanu, Corina S.
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

7. Engineering Trustworthy Software Systems

Auteur:: Bowen; Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili
Uitgever:: Springer International Publishing 2019
Type:: e-book

8. Engineering Trustworthy Software Systems

Auteur:: Bowen; Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili
Uitgever:: Springer International Publishing 2017
Type:: e-book

9. Formal Methods and Software Engineering

Auteur:: Liu, Zhiming; He, Jifeng; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

10. Theoretical Aspects of Computing - ICTAC 2004

Auteur:: Liu, Zhiming; Araki, Keijiro; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book