Zoeken

U zocht naar: Auteur Woodcock Filter Auteur: Woodcock weghalen
| 11 - 17 van 17 | Volgende »
Aantal zoekresultaten per pagina

Zoekresultaten

11. Verified Software: Theories, Tools, Experiments
thumbnail
Full text!
Auteur:
Shankar, Natarajan; Kanade, Takeo; Woodcock, Jim; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book
12. Capacity Building in Local Authorities for Sustainable Transport Planning
thumbnail
Full text!
Auteur:
Woodcock, Andree.; Fadden-Hopper, Keelan; O'Connell, Eileen; Saunders, Janet
Uitgever:
Singapore Springer 2023
Type:
e-book
13. Design of Assistive Technology for Ageing Populations
thumbnail
Full text!
Auteur:
Woodcock; Jain, Ajita; Jain, Lakhmi C.; McDonagh, Deana; Moody, Louise
Uitgever:
Springer International Publishing 2020
Type:
e-book
14. Software Engineering for Robotics
thumbnail
Full text!
Auteur:
Cavalcanti, Ana; Dongol, Brijesh; Hierons, Rob; Timmis, Jon; Woodcock, Jim
Uitgever:
Springer International Publishing 2021
Type:
e-book
15. Theoretical Aspects of Computing – ICTAC 2010
thumbnail
Full text!
Auteur:
Cavalcanti, Ana; Deharbe, David; Gaudel, Marie-Claude; Kanade, Takeo; Woodcock, Jim
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
16. Domain Modeling and the Duration Calculus
thumbnail
Full text!
Auteur:
George, Chris W.; Kanade, Takeo; Liu, Zhiming; Woodcock, Jim; George, Chris; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book
17. Formal Methods and Hybrid Real-Time Systems
thumbnail
Full text!
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