bib.howest.be Zoekresultaten

U zocht naar: Auteur Kittler, Josef

« Vorige | 1,021 - 1,030 van 2,149 | Volgende »

1021. Verification, Model Checking, and Abstract Interpretation

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

1022. Verified Software: Theories, Tools, Experiments

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

1023. Verified Software: Theories, Tools, Experiments

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

1024. Virtual, Augmented and Mixed Reality. Applications of Virtual and Augmented Reality

Auteur:: Randall Shumaker, Stephanie Lackey; Kittler, Josef; Stephanie, Lackey
Uitgever:: Springer International Publishing 2014
Type:: e-book

1025. Virtual, Augmented and Mixed Reality. Designing and Developing Virtual and Augmented Environments

Auteur:: Randall Shumaker, Stephanie Lackey; Kittler, Josef; Stephanie, Lackey
Uitgever:: Springer International Publishing 2014
Type:: e-book

1026. Visual Saliency Computation

Auteur:: Jia Li, Wen Gao; Gao, Wen; Kittler, Josef
Uitgever:: Springer International Publishing 2014
Type:: e-book

1027. WALCOM: Algorithms and Computation

Auteur:: Das, Sandip; Kanade, Takeo; Uehara, Ryuhei; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

1028. WALCOM: Algorithms and Computation

Auteur:: Katoh, Naoki; Kanade, Takeo; Kumar, Amit; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

1029. Web Engineering

Auteur:: Gaedke, Martin; Kanade, Takeo; Lowe, David; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

1030. Web Reasoning and Rule Systems

Auteur:: Polleres, Axel; Kanade, Takeo; Swift, Terrance; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book