bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Engineering

« Vorige | 1,471 - 1,480 van 3,123 | Volgende »

1471. Formal Methods and Software Engineering

Auteur:: Liu, Shaoying; Araki, Keijiro; Kanade, Takeo; Maibaum, Tom; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

1472. 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

1473. Formal Methods and Stochastic Models for Performance Evaluation

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

1474. Formal Methods and Testing

Auteur:: Hierons, Robert M.; Bowen, Jonathan P.; Bowen, Jonathan Peter; Harman, Mark; Kanade, Takeo
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

1475. Formal Methods: Applications and Technology

Auteur:: Brim, LuboÅ¡; Haverkort, Boudewijn; Haverkort, Boudewijn R.; Leucker, Martin; Pol, Jaco; Pol, J. van den; Pol, Jaco van de
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

1476. Formal Methods for Components and Objects

Auteur:: Hutchison, David; Boer, Frank S. de; Kanade, Takeo; de Boer, Frank S.; de Roever, Willem-Paul; Graf, Susanne; Bonsangue, Marcello M.
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

1477. Formal Methods for Components and Objects

Auteur:: Boer, Frank S.; Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; Kanade, Takeo; Roever, Willem-Paul; de Roever, Willem-Paul
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

1478. Formal Methods for Components and Objects

Auteur:: Boer, Frank S.; Bonsangue, Marcello M.; Kanade, Takeo; Madelaine, Eric; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

1479. Formal Methods for Components and Objects

Auteur:: Boer, Frank S.; Bonsangue, Marcello M.; Hallerstede, Stefan; Kanade, Takeo; Leuschel, Michael
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

1480. Formal Methods for Components and Objects

Auteur:: Hutchison, David; Kanade, Takeo; Bonsangue, Marcello M.; de Boer, Frank S.
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book