bib.howest.be Zoekresultaten

U zocht naar: Auteur Hutchison, David; Kanade, Takeo; Kittler, Josef

« Vorige | 361 - 370 van 579 | Volgende »

361. Interactive Theorem Proving

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

362. Learning and Intelligent Optimization

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

363. Lectures on Logic and Computation

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

364. 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

365. 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

366. Logical Aspects of Computational Linguistics

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

367. Logical Foundations of Computer Science

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

368. Logic and Program Semantics

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

369. Logic-Based Program Synthesis and Transformation

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

370. Mathematical Foundations of Computer Science 2007

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