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