bib.howest.be Zoekresultaten

U zocht naar: Auteur Kanade, Takeo

« Vorige | 171 - 180 van 4,148 | Volgende »

171. Financial Cryptography and Data Security

Auteur:: Tsudik, Gene; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

172. Formal Aspects of Component Software

Auteur:: Hutchison, David; Kanade, Takeo; Salaün, Gwen
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

173. Formal Concept Analysis

Auteur:: Ferré, Sébastien; Kanade, Takeo; Rudolph, Sebastian
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

174. Formal Concept Analysis

Auteur:: Valtchev, Petko; Jäschke, Robert; Kanade, Takeo
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

175. Formal Methods and Stochastic Models for Performance Evaluation

Auteur:: Horváth, András; Kanade, Takeo; Telek, Miklós
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

176. Formal Methods and Stochastic Models for Performance Evaluation

Auteur:: Wolter, Katinka; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

177. Formal Methods for Industrial Critical Systems

Auteur:: Salaün, Gwen; Kanade, Takeo; Schätz, Bernhard
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

178. Formal Techniques for Networked and Distributed Systems - FORTE 2005

Auteur:: Kanade, Takeo; Wang, Farn; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

179. Formal Theories of Information

Auteur:: Sommaruga, Giovanni; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

180. Formal Verification of Object-Oriented Software

Auteur:: Beckert, Bernhard; Kanade, Takeo; Marché, Claude
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book