bib.howest.be Zoekresultaten

U zocht naar: Auteur Wang, Chao Taal Engels

« Vorige | 1 - 10 van 21 | Volgende »

1. Computer Aided Verification

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

2. Computer Aided Verification

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

3. Automated Technology for Verification and Analysis

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

4. Modeling and Diagnostics of Polymer Electrolyte Fuel Cells

Auteur:: Pasaogullari, Ugur; Wang, Chao-Yang; Pasaogullari, Ugur; Wang, Chao-Yang
Uitgever:: Springer New York 2010
Type:: e-book

5. Dynamic Mechanical Behaviors and Constitutive Model of Roller Compacted Concrete

Auteur:: Zhang, Sherong.; Wang, Chao; Wang, Xiaohua
Uitgever:: Singapore Springer 2023
Type:: e-book

6. Abstraction Refinement for Large Scale Model Checking

Auteur:: Wang, Chao; Hachtel, Gary D.; Somenzi, Fabio
Uitgever:: Springer US 2006
Type:: e-book

7. Network and Parallel Computing

Auteur:: Shi; An, Hong; Jin, Hai; Kandemir, Mahmut; Wang, Chao
Uitgever:: Springer International Publishing 2017
Type:: e-book

8. Safe robot navigation among moving and steady obstacles

Auteur:: Savkin, Andrey V.; Hoy, Michael; Matveev, Alexey, S.; Wang, Chao
Uitgever:: Butterworth-Heinemann 2016
Type:: e-book

9. Theory of Translation Closedness for Time Scales: With Applications in Translation Functions and Dynamic Equations

Auteur:: Wang, Chao; Agarwal, Ravi P.; O' Regan, Donal; Sakthivel, Rathinasamy
Uitgever:: Springer International Publishing 2020
Type:: e-book

10. Technology-Inspired Smart Learning for Future Education

Auteur:: Hong; Li, Chao; Wang, Qing
Uitgever:: Springer Singapore 2020
Type:: e-book