bib.howest.be Zoekresultaten

U zocht naar: Auteur Wang, Chao

« Vorige | 1 - 10 van 26 | 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. 国语辞典

Auteur:: 汪怡 - Wang Yi; 中国大辞典编纂处编; Chao Yuen Ren - 赵元任
Uitgever:: 商务印书馆, 1949. [台湾] : 商务印书馆, 1949
Jaar:: 1949
Type:: boek