bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Software

« Vorige | 191 - 200 van 666 | Volgende »

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

192. Formal Methods and Software Engineering

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

193. Formal Methods and Software Engineering

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

194. Formal Methods and Software Engineering

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

195. Formal Methods and Software Engineering

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

196. Formal Methods and Software Engineering

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

197. Formal Methods and Software Engineering

Auteur:: Qin, Shengchao; Kanade, Takeo; Qiu, Zongyan; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

198. Formal Methods and Software Engineering

Auteur:: Liu, Shaoying; Araki, Keijiro; Kanade, Takeo; Maibaum, Tom; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

199. Formal Methods and Stochastic Models for Performance Evaluation

Auteur:: Horváth, András; Kanade, Takeo; Telek, Miklós
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

200. Formal Methods and Stochastic Models for Performance Evaluation

Auteur:: Wolter, Katinka; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book