| Issue |
Title |
File |
| Vol 44, No 6 (2018) |
Toward Constructing a Modular Model of Distributed Intelligence |
|
|
Slovokhotov Y.L., Neretin I.S.
|
| Vol 44, No 3 (2018) |
Towards a Cloud Computing Paradigm for Big Data Analysis in Smart Cities |
|
|
Massobrio R., Nesmachnow S., Tchernykh A., Avetisyan A., Radchenko G.
|
| Vol 42, No 5 (2016) |
Towards deductive verification of C programs with shared data |
|
|
Mandrykin M.U., Khoroshilov A.V.
|
| Vol 44, No 4 (2018) |
Using Scientific Visualization Systems to Automate Monitoring of Data Generated by Lightweight Programmable Electronic Devices |
|
|
Ryabinin K.V., Chuprina S.I.
|
| Vol 43, No 5 (2017) |
Using static symbolic execution to detect buffer overflows |
|
|
Dudina I.A., Belevantsev A.A.
|
| Vol 44, No 1 (2018) |
Using Subject Area Ontology for Automating Processes in Sphere of Scientific Investigation and Education |
|
|
Shachnev D., Karpenko D.
|
| Vol 42, No 2 (2016) |
Using two types of computer algebra systems to solve maxwell optics problems |
|
|
Kulyabov D.S.
|
| Vol 43, No 6 (2017) |
Vectorization of raster mechanical drawings on the base of ternary segmentation and soft computing |
|
|
Kasimov D.R., Kuchuganov A.V., Kuchuganov V.N., Oskolkov P.P.
|
| Vol 45, No 4 (2019) |
Visualization Methods and Algorithms for Graph Representation of Functional Programs |
|
|
Kasyanov V.N., Zolotukhin T.A., Gordeev D.S.
|
| Vol 42, No 3 (2016) |
Web platforms for scientific research |
|
|
Kryukov A.P., Demichev A.P., Polyakov S.P.
|
| 201 - 210 of 210 Items |
<< < 4 5 6 7 8 9 |
