bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Engineering

« Vorige | 1,971 - 1,980 van 3,123 | Volgende »

1971. Value-Based Software Engineering

Auteur:: Biffl, Stefan; Aurum, Aybuke; Boehm, Barry; Grünbacher, Paul; Aurum, Aybüke; Biffl, Stefan; Boehm, Barry; Erdogmus, Hakan; Grünbacher, Paul
Uitgever:: Dordrecht Springer Berlin Heidelberg 2006
Type:: e-book

1972. Variations on Constants

Auteur:: Müller-Olm, Markus; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

1973. Vehicular Communications

Full text!

Uitgever:: ELSEVIER
Type:: tijdschrift

1974. Verification and Validation in Systems Engineering

Auteur:: Debbabi, Mourad; Hassaïne, Fawzi; Alawneh, Luay; Jarraya, Yosr; Soeanu, Andrei
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

1975. Verification, Induction, Termination Analysis

Auteur:: Siegler, Simon; Kanade, Takeo; Wasser, Nathan; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

1976. Verified Software: Theories, Tools, Experiments

Auteur:: Leavens, Gary T.; Kanade, Takeo; O'Hearn, Peter; Rajamani, Sriram K.
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

1977. Verified Software: Theories, Tools, Experiments

Auteur:: Hutchison, David; Kanade, Takeo; Müller, Peter; Podelski, Andreas
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

1978. VertigO

Full text!

Uitgever:: Canada Ãditions en environnement VertigO
Type:: tijdschrift

1979. Web Engineering

Auteur:: Mendes, Emilia; Mosley, Nile
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

1980. Web Services and Formal Methods

Auteur:: Bravetti, Mario; Kanade, Takeo; Nau?nez, Manuel; Núñez, Manuel; Zavattaro, Gianluigi
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book