| title | media type | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Formal Methods in Computer Science | Hardcover | 978-0-367-22570-4 | 2019 | William Tepfenhart |
| Formal Methods in Computer Science | Paperback | 978-1-4987-7532-8 | 2019 | |
| Handbook of Finite State Based Models and Applications | " | 978-1-138-19935-4 | 2016 | |
| Handbook of Finite State Based Models and Applications | Hardcover | 978-1-4398-4618-6 | 2012 | |
| Real-Time Embedded Systems | " | 978-1-118-11617-3 | 2017 | |
| Real-Time Embedded Systems | Digital | 978-1-119-42068-2 | 2017 | |
| Real-Time Embedded Systems | " | 978-1-119-42070-5 | 2017 | |
| Soft Computing and Signal Processing: Proceedings of 2nd ICSCSP 2019 | Paperback | 978-981-15-2474-5 | 2020 | V. Sivakumar Reddy · V. Kamakshi Prasad · K. T. V. Reddy |
| Soft Computing and Signal Processing: Proceedings of ICSCSP 2018, Volume 1 | " | 978-981-13-3599-0 | 2019 | G. Ram Mohana Reddy · V. Kamakshi Prasad · V. Sivakumar Reddy |
| Soft Computing and Signal Processing: Proceedings of ICSCSP 2018, Volume 2 | " | 978-981-13-3392-7 | 2019 | G. Ram Mohana Reddy · V. Kamakshi Prasad · V. Sivakumar Reddy |
| Timed Petri Nets: Theory and Application | Hardcover | 978-0-7923-8270-6 | 1998 | |
CRC Press · Routledge · Springer · Wiley