| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Mathematical and Engineering Methods in Computer Science: 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, ... Notes in Computer Science, Band 7119) | 978-3-642-25928-9 | 2012 | Zdeněk Kotásek · Jan Bouda · Ivana Cerná · Lukas Sekanina · Tomas Vojnar · David Antoš |
| Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, ... Notes in Computer Science, Band 7721) | 978-3-642-36044-2 | 2013 | Antonin Kucera · Thomas A. Henzinger · Jaroslav Nešetřil · Tomas Vojnar · David Antos |
| Mathematical and Engineering Methods in Computer Science: 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, ... Notes in Computer Science, Band 9548) | 978-3-319-29816-0 | 2016 | Jan Kofroň |
| 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) | 978-3-030-17461-3 | 2019 | Lijun Zhang |
| 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 | " |