bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Technology

« Vorige | 1,901 - 1,910 van 5,147 | Volgende »

1901. Use Case Driven Object Modeling with UML

Auteur:: Rosenberg, Doug; Rosenberg, Don; Stephens, Matt; Suscheck, Charles
Uitgever:: Apress 2007
Type:: e-book

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

1903. Variations on Constants

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

1904. Verbal and Nonverbal Communication Behaviours

Auteur:: Esposito, Anna; European Cooperation in the Field of Scientific and Technical Research (Organization).; Faundez-Zanuy, Marcos; Keller, Eric; Marinaro, Maria
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

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

1906. Verification, Induction, Termination Analysis

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

1907. Verification of Object-Oriented Software. The KeY Approach

Auteur:: Beckert, Bernhard; Carbonell, Jaime G.; Hähnle, Reiner; Schmitt, Peter H.; Siekmann, Jörg; Leino, Matti; Rustan, K.
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

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

1909. Verified Software: Theories, Tools, Experiments

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

1910. Virtual and Networked Organizations, Emergent Technologies and Tools

Auteur:: Putnik, Goran D.; Cruz-Cunha, Maria Manuela
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book