bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Engineering

« Vorige | 1,451 - 1,460 van 3,123 | Volgende »

1451. FM 2005: Formal Methods

Auteur:: Fitzgerald, John; Hayes, Ian; Kanade, Takeo; Tarlecki, Andrzej; Hayes, Ian J.; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

1452. FM 2006: Formal Methods

Auteur:: Misra, Jayadev; Kanade, Takeo; Nipkow, Tobias; Sekerinski, Emil
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

1453. FM 2008: Formal Methods

Auteur:: Cuellar, Jorge; Kanade, Takeo; Maibaum, Thomas S. E.; Maibaum, Tom; Sere, Kaisa; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

1454. FM 2009: Formal Methods

Auteur:: Cavalcanti, Ana; Dams, Dennis R.; Kanade, Takeo; Dams, Dennis; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

1455. FM 2011: Formal Methods

Auteur:: Butler, Michael; Kanade, Takeo; Schulte, Wolfram; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

1456. FM 2012: Formal Methods

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

1457. Formal Approaches to Software Testing

Auteur:: Hutchison, David; Grabowski, Jens; Kanade, Takeo; Nielsen, Brian; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

1458. Formal Approaches to Software Testing

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

1459. Formal Approaches to Software Testing and Runtime Verification

Auteur:: Havelund, Klaus; Kanade, Takeo; NÃºÃ±ez, Manuel; RoÅu, Grigore; Wolff, Burkhart
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

1460. Formal Aspects of Component Software

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