bib.howest.be Zoekresultaten

U zocht naar: Auteur Hutchison, David

« Vorige | 151 - 160 van 1,022 | Volgende »

151. Experimental Algorithms

Auteur:: Demetrescu, Camil; Hutchison, David; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

152. Financial Cryptography and Data Security

Auteur:: Hutchison, David; Kanade, Takeo; Dietrich, Sven; Sako, Kazue
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

153. FM 2012: Formal Methods

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

154. Focused Retrieval of Content and Structure

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

155. Formal Aspects of Component Software

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

156. Formal Aspects of Security and Trust

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

157. Formal Concept Analysis

Auteur:: Hutchison, David; Kanade, Takeo; Ignatov, Dmitry; Poelmans, Jonas
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

158. Formal Methods and Software Engineering

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

159. Formal Methods for Industrial Critical Systems

Auteur:: Hutchison, David; Kanade, Takeo; Pinger, Ralf; Stoelinga, Mariëlle
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

160. Formal Methods for Model-Driven Engineering

Auteur:: Hutchison, David; Kanade, Takeo; Cortellessa, Vittorio; Pierantonio, Alfonso
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book