| Titel | Art | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings | Taschenbuch | 978-3-319-24952-0 | 2015 | Bernd Finkbeiner · Geguang Pu |
| Discrete-Time and Discrete-Space Dynamical Systems | Gebunden | 978-3-030-25971-6 | 2019 | Kuize Zhang · Lihua Xie |
| In Pursuit of Presence or Prominence?: The Prospect of Chinese Banks' Global Expansion and Their Benchmarks | Hardcover | 978-981-10-7729-6 | 2018 | Shenglin Ben · Jiefang Yu · Yue Gu · Jiamin Lv · Huichao Gong · Hanting Gu · Qi Shuai |
| In Pursuit of Presence or Prominence?: The Prospect of Chinese Banks' Global Expansion and Their Benchmarks | Paperback | 978-981-13-3989-9 | 2018 | Shenglin Ben · Jiefang Yu · Yue Gu · Jiamin Lv · Huichao Gong · Hanting Gu · Qi Shuai |
| Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint ... Notes in Computer Science, Band 11427) | Taschenbuch | 978-3-030-17461-3 | 2019 | Tomáš Vojnar |
| Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint ... Notes in Computer Science, Band 11428) | " | 978-3-030-17464-4 | 2019 | " |