bib.howest.be Zoekresultaten

U zocht naar: Auteur Kittler, Josef

« Vorige | 641 - 650 van 2,149 | Volgende »

641. Formal Approaches to Software Testing

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

642. Formal Aspects of Component Software

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

643. Formal Concept Analysis

Auteur:: Ganter, Bernhard; Godin, Robert; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

644. Formal Methods and Software Engineering

Auteur:: Liu, Zhiming; He, Jifeng; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

645. Formal Methods and Software Engineering

Auteur:: Breitman, Karin; Cavalcanti, Ana; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

646. Formal Methods and Software Engineering

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

647. Formal Methods and Software Engineering

Auteur:: Qin, Shengchao; Kanade, Takeo; Qiu, Zongyan; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

648. Formal Methods for Eternal Networked Software Systems

Auteur:: Bernardo, Marco; Issarny, Valérie; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

649. Formal Methods for Hardware Verification

Auteur:: Bernardo, Marco; Cimatti, Alessandro; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

650. Formal Methods for Industrial Critical Systems

Auteur:: Cofer, Darren; Fantechi, Alessandro; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book