| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised ... Notes in Computer Science, Band 8974) | 978-3-662-46822-7 | 2015 | Andrei Voronkov |
| Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised ... in Computer Science , Band 11964) | 978-3-030-37486-0 | 2020 | Nikolaj Bjørner · Andrei Voronkov |
| Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised ... Notes in Computer Science , Band 4378) | 978-3-540-70880-3 | 2010 | Andrei Voronkov |
| Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers | 978-3-642-11485-4 | 2010 | Amir Pnueli · Andrei Voronkov |
| Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, ... Notes in Computer Science, Band 7162) | 978-3-642-29708-3 | 2012 | Edmund Clarke · Andrei Voronkov |
| Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers | 978-3-642-29710-6 | 2012 | Edmund Clarke · Andrei Voronkov |