bib.howest.be Zoekresultaten

U zocht naar: Auteur Hutchison, David

« Vorige | 281 - 290 van 1,022 | Volgende »

281. Theory and Applications of Satisfiability Testing – SAT 2012

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

282. Theory of Cryptography

Auteur:: Micciancio, Daniele; Hutchison, David; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

283. Theory of Quantum Computation, Communication, and Cryptography

Auteur:: Hutchison, David; Kanade, Takeo; Kawano, Yasuhito; Murao, Mio
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

284. Theory of Security and Applications

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

285. The Semantic Web: ESWC 2011 Workshops

Auteur:: Hutchison, David; Kanade, Takeo; Antoniou, Grigoris; Fensel, Dieter
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

286. Tools for Practical Software Verification

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

287. Topics in Performance Evaluation, Measurement and Characterization

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

288. Transactions on Computational Systems Biology I

Auteur:: Hutchison, David; Kanade, Takeo; Priami, Corrado; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

289. Transactions on Large-Scale Data- and Knowledge-Centered Systems V

Auteur:: Hutchison, David; Kanade, Takeo; Küng, Josef; Wagner, Roland
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

290. Transactions on Petri Nets and Other Models of Concurrency V

Auteur:: Hutchison, David; Kanade, Takeo; Donatelli, Susanna; Kleijn, Jetty
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book