bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Software

« Vorige | 311 - 320 van 666 | Volgende »

311. Model Checking Software

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

312. Model Checking Software

Auteur:: Groce, Alex; Kanade, Takeo; Musuvathi, Madanlal; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

313. Model Checking Software

Auteur:: Pol, Jaco; Kanade, Takeo; Weber, Michael; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

314. Model Checking Software

Auteur:: Bartocci, Ezio; Ramakrishnan, C.R.; Ramakrishnan, C. R.
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

315. Model Checking Software

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

316. Model Checking Software

Auteur:: Havelund, Klaus; Kanade, Takeo; Majumdar, Rupak; Palsberg, Jens; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

317. Model Checking Software

Auteur:: Carbonell, Jaime G.; Siekmann, Jörg; Edelkamp, Stefan; Pfenning, Frank
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

318. Model Driven Architecture and Ontology Development

Auteur:: Gasevic, Dragan; Devedzic, Vladan; Djuric, Dragan; Djuriâc, Dragan; Djuriâc, Dragan; Selic, Bran V.
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

319. Model-Driven Architecture in Practice

Auteur:: Pastor, Oscar; Molina, Juan Carlos
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

320. Model-Driven Design Using Business Patterns

Auteur:: Hruby, Pavel
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book