bib.howest.be Zoekresultaten

U zocht naar: Auteur Kittler, Josef

« Vorige | 1,251 - 1,260 van 2,149 | Volgende »

1251. Theory and Applications of Satisfiability Testing - SAT 2011

Auteur:: Sakallah, Karem A.; Kanade, Takeo; Simon, Laurent; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

1252. Theory and Practice of Algorithms in (Computer) Systems

Auteur:: Marchetti-Spaccamela, Alberto; Kanade, Takeo; Segal, Michael; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

1253. Theory and Practice of Model Transformations

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

1254. Time for Verification

Auteur:: Manna, Zohar; Kanade, Takeo; Peled, Doron A.; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

1255. Tools and Algorithms for the Construction and Analysis of Systems

Auteur:: Ramakrishnan, C. R.; Kanade, Takeo; Rehof, Jakob; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

1256. Topics in Cryptology – CT-RSA 2005

Auteur:: Menezes, Alfred; Kanade, Takeo; Menezes, Alfred J.; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

1257. Transactions on Computational Collective Intelligence I

Auteur:: Nguyen, Ngoc Thanh; Kanade, Takeo; Kowalczyk, Ryszard; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

1258. Transactions on Computational Collective Intelligence II

Auteur:: Nguyen, Ngoc Thanh; Kanade, Takeo; Kowalczyk, Ryszard; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

1259. Transactions on Computational Collective Intelligence VII

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

1260. Transactions on Data Hiding and Multimedia Security II

Auteur:: Shi, Yun Q.; Hutchison, David; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book