Zoeken

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

Zoekresultaten

11. Theoretical Aspects of Computing – ICTAC 2007
thumbnail
Full text!
Auteur:
Jones, Cliff B.; Kanade, Takeo; Liu, Zhiming; Woodcock, Jim; Kittler, Josef; Woodcock, Jones
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book
12. 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
13. 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