Software
| Issue | Title | |
| Vol 29, No 1 (2022) | Recursive-Parallel Algorithm for Solving the Graph-Subgraph Isomorphism Problem | Abstract PDF (Rus) |
| Vladimir V. Vasilchikov | ||
| Vol 27, No 1 (2020) | Parallel Algorithm for Solving the Graph Isomorphism Problem | Abstract PDF (Rus) |
| Vladimir Vasilyevich Vasilchikov | ||
| Vol 26, No 3 (2019) | On the Automatic Analysis of the Practical Resistance of Obfusting Transformations | Abstract PDF (Rus) |
| Petr D. Borisov, Yu. V. Kosolapov | ||
| Vol 26, No 3 (2019) | Formal Verification of Three-Valued Digital Waveforms | Abstract PDF (Rus) |
| Nina Yu. Kutsak, Vladislav V. Podymov | ||
| 1 - 4 of 4 Items | ||
