bib.howest.be Zoekresultaten

U zocht naar: Auteur Kanade, Takeo

« Vorige | 1,371 - 1,380 van 4,148 | Volgende »

1371. Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments

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

1372. User Modeling 2005

Auteur:: Ardissono, Liliana; Brna, Paul; Kanade, Takeo; Mitrovic, Antonija
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

1373. User Modeling, Adaptation, and Personalization

Auteur:: Bra, Paul; Chin, David; Kanade, Takeo; Kobsa, Alfred
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

1374. Verification, Induction, Termination Analysis

Auteur:: Siegler, Simon; Kanade, Takeo; Wasser, Nathan; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

1375. Verification, Model Checking, and Abstract Interpretation

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

1376. Verification, Model Checking, and Abstract Interpretation

Auteur:: Hutchison, David; Kanade, Takeo; Berdine, Josh; Mastroeni, Isabella
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

1377. Verification, Model Checking, and Abstract Interpretation

Auteur:: Cook, Byron; Kanade, Takeo; Podelski, Andreas; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

1378. Verified Software: Theories, Tools, Experiments

Auteur:: Hutchison, David; Kanade, Takeo; Müller, Peter; Podelski, Andreas
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

1379. Verified Software: Theories, Tools, Experiments

Auteur:: Meyer, Bertrand; Kanade, Takeo; Woodcock, Jim; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

1380. Verified Software: Theories, Tools, Experiments

Auteur:: Shankar, Natarajan; Kanade, Takeo; Woodcock, Jim; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book