bib.howest.be Zoekresultaten

U zocht naar: Auteur Hutchison, David

« Vorige | 211 - 220 van 1,022 | Volgende »

211. Logical Foundations of Computer Science

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

212. Logic and Program Semantics

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

213. Logic-Based Program Synthesis and Transformation

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Vidal, Germán
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

214. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Hutchison, David; Kanade, Takeo; Bjørner, Nikolaj; Voronkov, Andrei
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

215. Mathematical Foundations of Computer Science 2007

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Kucera, Antonín
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

216. Mathematical Foundations of Computer Science 2009

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

217. Mathematical Foundations of Computer Science 2010

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

218. Mathematical Foundations of Computer Science 2012

Auteur:: Hutchison, David; Kanade, Takeo; Sassone, Vladimiro; Widmayer, Peter
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

219. Mathematical Modeling and Computational Science

Auteur:: Hutchison, David; Kanade, Takeo; Busa, Ján; Hnatič, Michal
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

220. Mathematics of Program Construction

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