-
1دورية أكاديمية
المؤلفون: V. P. Ivannikov, A. A. Belevantsev, A. E. Borodin, V. N. Ignatiev, D. M. Zhurikhin, A. I. Avetisyan, M. I. Leonov
المصدر: Труды Института системного программирования РАН, Vol 26, Iss 1, Pp 231-250 (2018)
مصطلحات موضوعية: статический анализ, анализ потока данных, уязвимости, межпроцедурный анализ, анализ на основе аннотаций, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: A. I. Get'man, V. P. Ivannikov, Yu. V. Markin, V. A. Padaryan, A. Yu. Tikhonov
المصدر: Труды Института системного программирования РАН, Vol 27, Iss 4, Pp 5-22 (2018)
مصطلحات موضوعية: анализ сетевого трафика, восстановление потоков данных, модель представления данных, распознавание данных, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
3دورية أكاديمية
المؤلفون: A. O. Kudryavtsev, V. K. Koshelev, A. O. Izbyshev, I. A. Dudina, Sh. F. Kurmangaleev, A. I. Avetisyan, V. P. Ivannikov, V. E. Velikhov, E. A. Ryabinkin
المصدر: Труды Института системного программирования РАН, Vol 24, Iss 0 (2018)
مصطلحات موضوعية: облачные вычисления, виртуализация, мониторы виртуальных машин, высокопроизводительные вычисления, параллельные вычисления, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
4دورية أكاديمية
المؤلفون: V. P. Ivannikov, A. K. Petrenko, V. V. Kuliamin, A. V. Maksimov
المصدر: Труды Института системного программирования РАН, Vol 24, Iss 0 (2018)
مصطلحات موضوعية: тестирование на основе моделей, спецификации, верификация, автоматизированная генерация тестов, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
5دورية أكاديمية
المؤلفون: V. P. Ivannikov, S. P. Vartanov, M. K. Ermakov
المصدر: Труды Института системного программирования РАН, Vol 24, Iss 0 (2018)
مصطلحات موضوعية: динамический анализ, поиск ошибок синхронизации, android, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
6دورية أكاديمية
المؤلفون: V. P. Ivannikov
المصدر: Труды Института системного программирования РАН, Vol 26, Iss 1, Pp 7-8 (2018)
مصطلحات موضوعية: Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
7دورية أكاديمية
المؤلفون: I. V. Savelyeva, V. E. Bezsmertnyj, V. N. Savelyev, Yu. M. Fedorov, C. M. Ivanova, V. V. Ivannikov
المصدر: Инфекция и иммунитет, Vol 3, Iss 3, Pp 285-288 (2014)
مصطلحات موضوعية: serological diagnosis, cholera, liposomal diagnosticum, direct complement fixation test, Infectious and parasitic diseases, RC109-216
وصف الملف: electronic resource
-
8دورية أكاديمية
المؤلفون: M. I. Kogan, O. N. Vasiliev, V. A. Perepichai, V. V. Ivannikov
المصدر: Медицинский вестник Юга России, Vol 0, Iss 3, Pp 38-43 (2012)
مصطلحات موضوعية: bladder cancer, radical cystectomy, orthotopic urine derivation, local recurrence, metastatic disease, survival, quality of life, Medicine (General), R5-920
وصف الملف: electronic resource
-
9
المؤلفون: V. P. Ivannikov, I. Get'man, Yu. V. Markin, V. A. Padaryan, A. Yu. Tikhonov
المصدر: Programming and Computer Software. 42:316-323
مصطلحات موضوعية: Data stream, Parsing, Theoretical computer science, Basis (linear algebra), Computer science, 05 social sciences, Contrast (statistics), 050801 communication & media studies, computer.software_genre, External Data Representation, 0508 media and communications, 0502 economics and business, Object model, 050211 marketing, Logical data model, Data mining, computer, Traffic generation model, Software
-
10
المؤلفون: V. P. Ivannikov, Andrey Belevantsev, E. A. Veselevich
المصدر: Programming and Computer Software. 42:49-53
مصطلحات موضوعية: Computer science, Programming language, Compiler, Static analysis, Android (operating system), computer.software_genre, computer, Software, Global variable