bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Software engineering

« Vorige | 161 - 170 van 636 | Volgende »

161. Formal Aspects of Component Software

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Lumpe, Markus
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

162. Formal Aspects of Component Software

Auteur:: Hutchison, David; Kanade, Takeo; Ölveczky, Peter Csaba
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

163. Formal Aspects of Component Software

Auteur:: Hutchison, David; Kanade, Takeo; Salaün, Gwen
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

164. Formal Foundations of Reuse and Domain Engineering

Auteur:: Edwards, Stephen H.; Kanade, Takeo; Kulczycki, Gregory; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

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

166. Formal Methods and Software Engineering

Auteur:: Banach, Richard; Kanade, Takeo; Lau, Kung-Kiu; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

167. Formal Methods and Software Engineering

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

168. Formal Methods and Software Engineering

Auteur:: Breitman, Karin; Cavalcanti, Ana; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

169. Formal Methods and Software Engineering

Auteur:: Dong, Jin Song; Kanade, Takeo; Zhu, Huibiao; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

170. Formal Methods and Software Engineering

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Taguchi, Kenji
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book