bib.howest.be Zoekresultaten

U zocht naar: Type e-book

« Vorige | 16,501 - 16,510 van 173,163 | Volgende »

16501. Automated Technology for Verification and Analysis

Auteur:: Cassez; Raskin, Jean-Francois
Uitgever:: Springer International Publishing 2014
Type:: e-book

16502. Automated Technology for Verification and Analysis

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

16503. Automated Technology for Verification and Analysis

Auteur:: Chen; Cheng, Chih-Hong; Esparza, Javier
Uitgever:: Springer International Publishing 2019
Type:: e-book

16504. Automated Technology for Verification and Analysis

Auteur:: Cha, Sungdeok (Steve); Choi, Jin-Young; Kanade, Takeo; Kim, Moonzoo; Lee, Insup; Viswanathan, Mahesh; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

16505. Automated Technology for Verification and Analysis

Auteur:: Namjoshi, Kedar S.; Higashino, Teruo; Okamura, Yoshio; Yoneda, Tomohiro
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

16506. Automated Technology for Verification and Analysis

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Kittler, Josef; Ogawa, Mizuhito
Uitgever:: Springer International Publishing 2013
Type:: e-book

16507. Automated Technology for Verification and Analysis

Auteur:: D'Souza; D'Souza, Deepak; Narayan Kumar, K.
Uitgever:: Springer International Publishing 2017
Type:: e-book

16508. Automated Technology for Verification and Analysis

Auteur:: Finkbeiner; Pu, Geguang; Zhang, Lijun
Uitgever:: Springer International Publishing 2015
Type:: e-book

16509. Automated Technology for Verification and Analysis

Auteur:: Zhe Hou; Ganesh, Vijay
Uitgever:: Springer International Publishing 2021
Type:: e-book

16510. Automated Technology for Verification and Analysis

Auteur:: Lahiri; Chao Wang; Wang, Chao
Uitgever:: Springer International Publishing 2018
Type:: e-book