bib.howest.be Zoekresultaten

U zocht naar: Auteur Zhiming Liu

« Vorige | 11 - 19 van 19 | Volgende »

11. Formal Methods and Software Engineering

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

12. Theoretical Aspects of Computing - ICTAC 2004

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

13. Automated Technology for Verification and Analysis

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

14. 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

15. 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

16. 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

17. 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

18. 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

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