bib.howest.be Zoekresultaten

U zocht naar: Auteur Woodcock Fulltext online

« Vorige | 1 - 10 van 16 | Volgende »

1. Families and Individuals Living with Trauma : A Guide for Therapists, Relatives, and Friends

Auteur:: Woodcock, Jeremy.
Uitgever:: Cham Springer International Publishing AG 2021
Type:: e-book

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

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

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

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

6. Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings

Auteur:: Qin, Shengchao.; Woodcock, Jim; Zhang, Wenhui
Uitgever:: Cham Springer International Publishing AG 2021
Type:: e-book

7. Formal Methods: Foundations and Applications

Auteur:: Oliveira, Marcel Vinícius Medeiros; Kanade, Takeo; Woodcock, Jim
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

8. Refinement Techniques in Software Engineering

Auteur:: Cavalcanti, Ana; Kanade, Takeo; Sampaio, Augusto; Woodcock, Jim
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

9. Verified Software: Theories, Tools, Experiments

Auteur:: Meyer, Bertrand; Kanade, Takeo; Woodcock, Jim; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

10. Verified Software: Theories, Tools, Experiments

Auteur:: Shankar, Natarajan; Kanade, Takeo; Woodcock, Jim; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book