bib.howest.be Zoekresultaten

U zocht naar: Auteur Kittler, Josef

« Vorige | 511 - 520 van 2,149 | Volgende »

511. Aspects of Natural Language Processing

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

512. Automated Deduction in Geometry

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

513. Automated Deduction in Geometry

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

514. Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

Auteur:: Armando, Alessandro; Kanade, Takeo; Lowe, Gavin; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

515. Automated Reasoning with Analytic Tableaux and Related Methods

Auteur:: Giese, Martin; Kanade, Takeo; Waaler, Arild; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

516. Automated Technology for Verification and Analysis

Auteur:: Graf, Susanne; Kanade, Takeo; Zhang, Wenhui; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

517. Automated Technology for Verification and Analysis

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

518. B 2007: Formal Specification and Development in B

Auteur:: Julliand, Jacques; Kanade, Takeo; Kouchnarenko, Olga; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

519. Big Data Analytics

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

520. Bioinformatics for Personalized Medicine

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