کتاب های A. Petrenko
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2012
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2012
Phage nanobiotechnology
VA Petrenko, 2011
Intelligent Computer Graphics 2012
Olga Petrenko, 2013
Intelligent computer graphics 2012
Olga Petrenko, 2013
Intelligent computer graphics 2012
Olga Petrenko, 2013
Physics of Ice
Victor F. Petrenko, 2002
Intimacy On The Plate
Olga Petrenko, 2017
Schrödinger's Cat Smile
Sergey P. Suprun, Anatoly P. Suprun, Victor F. Petrenko, 2022
Applied Quantum Cryptanalysis
Alexei Petrenko, 2023
