bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Technology

« Vorige | 1,241 - 1,250 van 5,147 | Volgende »

1241. Logic and Grammar

Auteur:: Pogodalla, Sylvain; Kanade, Takeo; Quatrini, Myriam; Retoré, Christian
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

1242. Logic and Its Applications

Auteur:: Ramanujam, R.; Kanade, Takeo; Sarukkai, Sundar; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

1243. Logic and Its Applications

Auteur:: Banerjee, Mohua; Kanade, Takeo; Seth, Anil; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

1244. Logic-Based Program Synthesis and Transformation

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

1245. Logic-Based Program Synthesis and Transformation

Auteur:: Alpuente, María; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

1246. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Baader, Franz; Kanade, Takeo; Voronkov, AndreÄ; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

1247. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Kanade, Takeo; Sutcliffe, Geoff; Voronkov, AndreÄ; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

1248. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Hermann, Miki; Kanade, Takeo; Voronkov, Andrei; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

1249. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Fermüller, Christian G.; Kanade, Takeo; Voronkov, Andrei
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

1250. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Clarke, Edmund M.; Kanade, Takeo; Voronkov, Andrei; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book