bib.howest.be Zoekresultaten

U zocht naar: Auteur Hutchison, David

« Vorige | 201 - 210 van 1,022 | Volgende »

201. Intelligent Robotics and Applications

Auteur:: Hutchison, David; Kanade, Takeo; Honghai, Liu; Rakheja, Subhash
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

202. Intelligent Robotics and Applications

Auteur:: Hutchison, David; Kanade, Takeo; Honghai, Liu; Rakheja, Subhash
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

203. Interactive Theorem Proving

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

204. Internet of Things, Smart Spaces, and Next Generation Networking

Auteur:: Hutchison, David; Kanade, Takeo; Balandin, Sergey; Koucheryavy, Yevgeni
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

205. Languages Alive

Auteur:: Hutchison, David; Kanade, Takeo; Kutrib, Martin; Truthe, Bianca
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

206. Learning and Intelligent Optimization

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

207. Lectures on Logic and Computation

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

208. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

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

209. Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies

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

210. Logical Aspects of Computational Linguistics

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