bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Technology

« Vorige | 571 - 580 van 5,147 | Volgende »

571. Automated Reasoning with Analytic Tableaux and Related Methods

Auteur:: Beckert, Bernhard; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

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

573. Automated Reasoning with Analytic Tableaux and Related Methods

Auteur:: Brünnler, Kai; Kanade, Takeo; Metcalfe, George
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

574. Automated Reasoning with Analytic Tableaux and Related Methods

Auteur:: Olivetti, Nicola; Siekmann, Jörg
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

575. Automated Technology for Verification and Analysis

Auteur:: Bultan, Tevfik; Hsiung, Pao-Ann; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

576. Automated Technology for Verification and Analysis

Auteur:: Bouajjani, Ahmed; Chin, Wei-Ngan; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

577. Automated Technology for Verification and Analysis

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

578. Autonomous and Intelligent Systems

Auteur:: Kamel, Mohamed; Gueaieb, Wail; Kanade, Takeo; Karray, Fakhri; Khamis, Alaa
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

579. Autonomous and Intelligent Systems

Auteur:: Hutchison, David; Kanade, Takeo; Hagras, Hani; Karray, Fakhri
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

580. Autonomous Intelligent Systems: Agents and Data Mining

Auteur:: Gorodetski, Vladimir I.; Kanade, Takeo; Liu, Jiming; Skormin, Victor A.
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book