bib.howest.be Zoekresultaten

U zocht naar: Auteur Kittler, Josef

« Vorige | 281 - 290 van 2,149 | Volgende »

281. Model Checking Software

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

282. Models in Software Engineering

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

283. Modular Algorithms in Symbolic Summation and Symbolic Integration

Auteur:: Gerhard, Jürgen; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

284. Object-Oriented Technology. ECOOP 2008 Workshop Reader

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

285. Objects, Models, Components, Patterns

Auteur:: Vitek, Jan; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

286. OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]

Auteur:: Kohlhase, Michael; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

287. Online Communities and Social Computing

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

288. Ontologies-Based Databases and Information Systems

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

289. Operational Semantics for Timed Systems

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

290. Parallel Computing Technologies

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