bib.howest.be Zoekresultaten

U zocht naar: Auteur Kanade, Takeo

« Vorige | 1,011 - 1,020 van 4,148 | Volgende »

1011. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

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

1012. Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies

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

1013. Linking Literature, Information, and Knowledge for Biology

Auteur:: Blaschke, Christian; Kanade, Takeo; Shatkay, Hagit; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

1014. Location- and Context-Awareness

Auteur:: Hazas, Mike; Kanade, Takeo; Krumm, John; Strang, Thomas
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

1015. Logical Aspects of Computational Linguistics

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

1016. Logical Foundations of Computer Science

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

1017. Logical Foundations of Computer Science

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

1018. Logic and Grammar

Auteur:: Pogodalla, Sylvain; Kanade, Takeo; Quatrini, Myriam; Retoré, Christian
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

1019. Logic and Its Applications

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

1020. Logic and Its Applications

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