bib.howest.be Zoekresultaten

U zocht naar: Auteur Liu, Zhiming

« Vorige | 11 - 19 van 19 | Volgende »

11. Automated Technology for Verification and Analysis

Auteur:: Liu, Zhiming; Kanade, Takeo; Ravn, Anders P.; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

12. Formal Aspects of Component Software

Auteur:: JosÃ© Luiz Fiadeiro, Zhiming Liu, Jinyun Xue; Fiadeiro, José Luiz; Liu, Zhiming; Xue, Jinyun
Uitgever:: Springer International Publishing 2014
Type:: e-book

13. Theoretical Aspects of Computing – ICTAC 2013

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

14. Theories of Programming and Formal Methods

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

15. Domain Modeling and the Duration Calculus

Auteur:: George, Chris W.; Kanade, Takeo; Liu, Zhiming; Woodcock, Jim; George, Chris; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

16. Theoretical Aspects of Computing – ICTAC 2007

Auteur:: Jones, Cliff B.; Kanade, Takeo; Liu, Zhiming; Woodcock, Jim; Kittler, Josef; Woodcock, Jones
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

17. Formal Methods and Hybrid Real-Time Systems

Auteur:: Jones, Cliff B.; Bjørner, Dines; Chaochen, Zhou; Kanade, Takeo; Liu, Zhiming; Woodcock, Jim; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

18. Engineering Trustworthy Software Systems

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

19. Web-Age Information Management

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Jin, Peiquan ; Zujie, Ren ; Xiao, Yingyuan ; Qiao, Shaojie; Ding, Zhiming; Jin, Peiquan; Liu, An; Qiao, Shaojie; Shim, Kyuseok; Xiao, Yingyuan; Zujie, Ren
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book