bib.howest.be Zoekresultaten

U zocht naar: Auteur Kittler, Josef

« Vorige | 971 - 980 van 2,149 | Volgende »

971. Tests and Proofs

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

972. Tests and Proofs

Auteur:: Gurevich, Yuri; Kanade, Takeo; Meyer, Bertrand; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

973. The Logic of Categorial Grammars

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

974. Theorem Proving in Higher Order Logics

Auteur:: Schneider, Klaus; Brandt, Jens; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

975. Theoretical Aspects of Computing - ICTAC 2004

Auteur:: Liu, Zhiming; Araki, Keijiro; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

976. Theoretical Aspects of Computing – ICTAC 2011

Auteur:: Cerone, Antonio; Kanade, Takeo; Pihlajasaari, Pekka; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

977. Theory and Applications of Models of Computation

Auteur:: Ogihara, Mitsunori; Kanade, Takeo; Tarui, Jun; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

978. Theory and Applications of Satisfiability Testing

Auteur:: Bacchus, Fahiem; Kanade, Takeo; Walsh, Toby; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

979. Theory and Applications of Satisfiability Testing – SAT 2010

Auteur:: Strichman, Ofer; Kanade, Takeo; Szeider, Stefan; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

980. Theory and Applications of Satisfiability Testing – SAT 2012

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