bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Information Technology Artificial Intelligence

« Vorige | 301 - 310 van 1,198 | Volgende »

301. Automata for Branching and Layered Temporal Structures

Auteur:: Puppis, Gabriele; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

302. Automated Configuration Problem Solving

Auteur:: Petrie, Charles J.
Uitgever:: Springer New York 2012
Type:: e-book

303. Automated Deduction – CADE-20

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

304. Automated Deduction – CADE-21

Auteur:: Pfenning, Frank; Siekmann, Jörg
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

305. Automated Deduction – CADE-23

Auteur:: Bjørner, Nikolaj; Kanade, Takeo; Sofronie-Stokkermans, Viorica
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

306. Automated Deduction – CADE-24

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

307. Automated Deduction in Geometry

Auteur:: Hong, Hoon; Kanade, Takeo; Wang, Dongming; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

308. Automated Deduction in Geometry

Auteur:: Sturm, Thomas; Kanade, Takeo; Zengler, Christoph; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

309. Automated Deduction in Geometry

Auteur:: Schreck; Narboux, Julien; Richter-Gebert, Jürgen
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

310. Automated Deduction in Geometry

Auteur:: Botana, Francisco; Recio, Tomas; Recio, Tómas; Tomas, Recio
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book