| title | media type | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Computer Supported Cooperative Work and Social Computing: 13th CCF Conference, ChineseCSCW 2018, Guilin, China, August 18-19, 2018, Revised Selected ... in Computer and Information Science) | Paperback | 978-981-13-3043-8 | 2018 | Yuqing Sun · Tun Lu · Liping Gao · Hongfei Fan |
| Data Science: 5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019, Guilin, China, September 20-23, ... in Computer and Information Science) | " | 978-981-15-0120-3 | 2019 | Rui Mao · Hongzhi Wang · Zeguang Lu |
| Formal Methods in Manufacturing | " | 978-1-138-07429-3 | 2017 | Javier Campos · Carla Seatzu |
| Formal Methods in Manufacturing | Hardcover | 978-1-4665-6155-7 | 2014 | Javier Campos · Carla Seatzu |
| Petri Nets: A Tool for Design and Management of Manufacturing Systems | " | 978-0-471-96770-5 | 1997 | Jean-Marie Proth |
CRC Press · Routledge · Springer · Wiley