|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A lightweight method for virtual machine introspection |
Fursova, N. I. |
2017 |
43 | 5 |
p. 307-313 |
artikel |
|
| 2 | Formal logical language to set requirements for secure code execution |
Kozachok, A. V. |
2017 |
43 | 5 |
p. 314-319 |
artikel |
|
| 3 | Incompletely described objects in decision support |
Yudin, V. N. |
2017 |
43 | 5 |
p. 294-299 |
artikel |
|
| 4 | Investigation of the restricted problem of three bodies of variable masses using computer algebra |
Prokopenya, A. N. |
2017 |
43 | 5 |
p. 289-293 |
artikel |
|
| 5 | Local search gradient algorithm based on functional voxel modeling |
Grigor’ev, S. N. |
2017 |
43 | 5 |
p. 300-306 |
artikel |
|
| 6 | Using static symbolic execution to detect buffer overflows |
Dudina, I. A. |
2017 |
43 | 5 |
p. 277-288 |
artikel |
6 gevonden resultaten