| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Abstraction Refinement for Large Scale Model Checking | 978-0-387-34155-2 | 2006 | Gary D. Hachtel · Fabio Somenzi | |
| Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings | 978-3-030-01089-8 | 2018 | Shuvendu K. Lahiri | |
| Network and Parallel Computing: 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings | 978-3-319-68209-9 | 2017 | Xuanhua Shi · Hong An · Mahmut Kandemir · Hai Jin | |
| Reconfigurable and Adaptive Computing | 978-1-138-89419-8 | 2018 | ||
| Supramolecular Amphiphiles | 978-1-78262-542-1 | 2017 | Charl Faul · David A. Fulton · Jonathan Steed · Nobuo Kimizuka · Suhrit Ghosh · Xi Zhang | |
| Theory of Translation Closedness for Time Scales: With Applications to Translation Functions and Dynamic Equations | 978-3-030-38643-6 | 2020 | Ravi P. Agarwal · Donal O' Regan · Rathinasamy Sakthivel | |
C. W. · C. Wang · Chao-Chen Wang · Chao-cheng Wang · Chao-Fu Wang · Chao-Wei Wang · Chao-Yang Wang · Chao-Ying Wang · Chao-Yu Wang · Dr. Chao Wang · Dr Xin-Chao Wang · Li-Chao Wang · Peter Chen-Chao Wang · Professor Chao-Yang Wang · Wang Chao · Xin Chao Wang · Yu-Chao Wang
Routledge · Royal Society of Chemistry · Springer