bib.howest.be Zoekresultaten

U zocht naar: Auteur Kittler, Josef

« Vorige | 781 - 790 van 2,149 | Volgende »

781. Logical Foundations of Computer Science

Auteur:: Artemov, Sergei; Kanade, Takeo; Nerode, Anil; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

782. Logical Foundations of Computer Science

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

783. Logic and Its Applications

Auteur:: Ramanujam, R.; Kanade, Takeo; Sarukkai, Sundar; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

784. Logic and Its Applications

Auteur:: Banerjee, Mohua; Kanade, Takeo; Seth, Anil; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

785. Logic and Program Semantics

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

786. Logic-Based Program Synthesis and Transformation

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

787. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Baader, Franz; Kanade, Takeo; Voronkov, AndreÄ; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

788. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Kanade, Takeo; Sutcliffe, Geoff; Voronkov, AndreÄ; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

789. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Hermann, Miki; Kanade, Takeo; Voronkov, Andrei; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

790. Logic Programming

Auteur:: Gabbrielli, Maurizio; Gupta, Gopal; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book