bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Technology

« Vorige | 1,321 - 1,330 van 5,147 | Volgende »

1321. Model Checking and Artificial Intelligence

Auteur:: Edelkamp, Stefan; Lomuscio, Alessio; Siekmann, Jörg
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

1322. Model Checking Software

Auteur:: Godefroid, Patrice; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

1323. Model Checking Software

Auteur:: Valmari, Antti; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

1324. Model Checking Software

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

1325. Model Checking Software

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

1326. Model Checking Software

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

1327. Model Checking Software

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

1328. Model Checking Software

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

1329. Model Checking Software

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

1330. Model Checking Software

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