bib.howest.be Zoekresultaten

U zocht naar: Auteur Kanade, Takeo

« Vorige | 801 - 810 van 4,148 | Volgende »

801. Financial Cryptography and Data Security

Auteur:: Dietrich, Sven; Dhamija, Rachna; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

802. FM 2006: Formal Methods

Auteur:: Misra, Jayadev; Kanade, Takeo; Nipkow, Tobias; Sekerinski, Emil
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

803. FM 2011: Formal Methods

Auteur:: Butler, Michael; Kanade, Takeo; Schulte, Wolfram; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

804. FM 2012: Formal Methods

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

805. Focused Retrieval and Evaluation

Auteur:: Geva, Shlomo; Kamps, Jaap; Kanade, Takeo; Trotman, Andrew
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

806. Focused Retrieval of Content and Structure

Auteur:: Hutchison, David; Kanade, Takeo; Kamps, Jaap; Schenkel, Ralf
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

807. Formal Approaches to Software Testing

Auteur:: Grieskamp, Wolfgang; Kanade, Takeo; Weise, Carsten; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

808. Formal Aspects of Component Software

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

809. Formal Aspects of Security and Trust

Auteur:: Degano, Pierpaolo; Etalle, Sandro; Guttman, Joshua; Kanade, Takeo
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

810. Formal Aspects of Security and Trust

Auteur:: Hutchison, David; Kanade, Takeo; Datta, Anupam; Etalle, Sandro
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book