Home Advanced Search
Advanced Search - Page 1
Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
- English
- Year: 2018
- Author: Alexander K. Petrenko,Andrei Voronkov (eds.)
Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
- English
- Year: 2019
- Author: Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
- English
- Year: 2010
- Author: Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
- English
- Year: 2013
- Author: Laura Kovács, Andrei Voronkov (auth.), Natasha Sharygina, Helmut Veith (eds.)
Developing an Enterprise Continuity Program
- English
- Year: 2021
- Author: Sergei Petrenko
Developing a Cybersecurity Immune System for Industry 4.0
- EPUB
- English
- Year: 2020
- Author: Sergei Petrenko;