bib.howest.be Zoekresultaten

U zocht naar: Auteur Kanade, Takeo

« Vorige | 1,311 - 1,320 van 4,148 | Volgende »

1311. The Mathematics of Language

Auteur:: Ebert, Christian; Jäger, Gerhard; Kanade, Takeo; Michaelis, Jens
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

1312. Theorem Proving in Higher Order Logics

Auteur:: Schneider, Klaus; Brandt, Jens; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

1313. Theoretical Aspects of Computing - ICTAC 2004

Auteur:: Liu, Zhiming; Araki, Keijiro; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

1314. Theoretical Aspects of Computing - ICTAC 2006

Auteur:: Barkaoui, Kamel; Cavalcanti, Ana; Cerone, Antonio; Kanade, Takeo
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

1315. Theoretical Aspects of Computing – ICTAC 2011

Auteur:: Cerone, Antonio; Kanade, Takeo; Pihlajasaari, Pekka; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

1316. Theorie and Applications of Formal Argumentation

Auteur:: Hutchison, David; Kanade, Takeo; Oren, Nir; Toni, Francesca
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

1317. Theory and Applications of Models of Computation

Auteur:: Ogihara, Mitsunori; Kanade, Takeo; Tarui, Jun; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

1318. Theory and Applications of Satisfiability Testing

Auteur:: Bacchus, Fahiem; Kanade, Takeo; Walsh, Toby; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

1319. Theory and Applications of Satisfiability Testing – SAT 2010

Auteur:: Strichman, Ofer; Kanade, Takeo; Szeider, Stefan; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

1320. Theory and Applications of Satisfiability Testing – SAT 2012

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