bib.howest.be Zoekresultaten

U zocht naar: Type e-book

« Vorige | 16,491 - 16,500 van 173,163 | Volgende »

16491. Automated Software and Service Composition

Auteur:: Mohr, Felix
Uitgever:: Springer International Publishing 2016
Type:: e-book

16492. Automated Software Engineering: A Deep Learning-Based Approach

Auteur:: Satapathy; Bilgaiyan, Saurabh; Jena, Ajay Kumar; Singh, Jagannath
Uitgever:: Springer International Publishing 2020
Type:: e-book

16493. Automated Software Testing: Foundations, Applications and Challenges

Auteur:: Jena, Ajay Kumar; Das, Himansu; Mohapatra, Durga Prasad
Uitgever:: Springer Singapore 2020
Type:: e-book

16494. Automated Solution of Differential Equations by the Finite Element Method

Auteur:: Logg, Anders; Mardal, Kent-Andre; Wells, Garth
Uitgever:: Dordrecht Springer Berlin Heidelberg 2012
Type:: e-book

16495. Automated Technology for Verification and Analysis

Auteur:: Kanade, Takeo; Peled, Doran; Tsay, Yih-Kuen; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

16496. Automated Technology for Verification and Analysis

Auteur:: Graf, Susanne; Kanade, Takeo; Zhang, Wenhui; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

16497. Automated Technology for Verification and Analysis

Auteur:: Liu, Zhiming; Kanade, Takeo; Ravn, Anders P.; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

16498. Automated Technology for Verification and Analysis

Auteur:: Bultan, Tevfik; Hsiung, Pao-Ann; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

16499. Automated Technology for Verification and Analysis

Auteur:: Bouajjani, Ahmed; Chin, Wei-Ngan; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

16500. Automated Technology for Verification and Analysis

Auteur:: Artho; Legay, Axel; Peled, Doron
Uitgever:: Springer International Publishing 2016
Type:: e-book