Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 610371)
Контекстум
Программирование (РАН)

Программирование (РАН) №5 2016 (458,50 руб.)

0   0
Доступно в Google Play
Страниц80
458,50р Предпросмотр
ID556708
АннотацияЖурнал основан в 1975 году и публикует статьи по всем проблемам, связанным с теоретическим и практическим программированием: операционные системы, технологии программирования, языки программирования и компиляторы, параллельное программирование, верификация и тестирование программ, машинная графика, компьютерная алгебра и т. п. Журнал предназначен для исследователей, практиков и студентов.
Программирование (РАН) .— Москва : Российская академия наук (РАН), 1975 .— 2016 .— №5 .— 80 с. — URL: https://rucont.ru/efd/556708 (дата обращения: 21.04.2025)

Популярные

Введение в теорию игр: учебное пособие Введение в теорию игр: учебное пособие 110,00 руб
Этика и права человека в информационном обществе: материалы Европейской региональной конференции Этика и права человека в информационном ... 220,00 руб
Блок-схемы на основные технологические циклы ГПНТБ СО РАН. Ч. 1. Обслуживание читателей и абонентов Блок-схемы на основные технологические ц... 220,00 руб
Программирование технологических контроллеров в среде Unity Программирование технологических контрол... 200,00 руб
Современные направления развития измерительных преобразователей тока для релейной защиты и автоматики Современные направления развития измерит... 150,00 руб
Библиотековедение, библиографоведение и книговедение как единая научная специальность Библиотековедение, библиографоведение и ... 290,00 руб

Вы уже смотрели

Оценка несущей способности строительных конструкций при обследовании технического состояния зданий Оценка несущей способности строительных ... 224,00 руб
Уральский филологический вестник. Серия: Русская литература XX-XXI веков: направления и течения Уральский филологический вестник. Серия:... 1350,00 руб
Физика твердого тела Физика твердого тела 161625,00 руб
Юридическое образование и наука №2 2024 Юридическое образование и наука №2 2024 420,00 руб
Н. Бердяев. Духовное христианство и сектанство в России Н. Бердяев. Духовное христианство и сект...
Законность №10 1946 Законность №10 1946 128,60 руб

Предпросмотр (выдержки из произведения)

Программирование_№5_2016.pdf
СОДЕРЖАНИЕ Номер 5, 2016 ПРОГРАММНАЯ ИНЖЕНЕРИЯ, ТЕСТИРОВАНИЕ И ВЕРИФИКАЦИЯ ПРОГРАММ Анализ регионов для дедуктивной верификации Си-программ М.У. Мандрыкин, А.В. Хорошилов ИНФОРМАЦИОННЫЙ ПОИСК Обзор методов извлечения информации из веб-ресурсов М.И. Варламов, Д.Ю. Турдаков ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ Автоматическое построение систем распределенных компонентов по моделям вложенных сетей Петри Л.В. Дворянский, И.А. Ломазова БАЗЫ ДАННЫХ, ХРАНИЛИЩА ДАННЫХ Синхронное инкрементальное обновление материализованных представлений для PostgreSQL Нгуен Чан Куок Винь 49 _________________________________________________________________________________ 3 _________________________________________________________________________________ 30 _________________________________________________________________________________ 68 _________________________________________________________________________________
Стр.1
CONTENTS № 5, 2016 SOFTWARE ENGINEERING, TESTING AND VERIFICATION PROGRAM Region Analysis for Deductive Verification of C Programs M. U. Mandrykin and A. V. Khoroshilov INFORMATION SEARCH A Survey of Methods for the Extraction of Information from Web Resources M.I. Varlamov, D.Yu. Turdakov PROGRAMMING TECHNOLOGIES Automatic Construction of Systems of Distributed Components from Nested Petri Nets Models L. W. Dworzanski and I. A. Lomazova DATABASE, DATA WAREHOUSE Synchronous Incremental Update of Materialized Views for PostgreSQL Nguyen Tran Quoc Vinh 49 _________________________________________________________________________________ 3 _________________________________________________________________________________ 30 _________________________________________________________________________________ 68 _________________________________________________________________________________ _____________________________________________________________________ Подписано к печати 03.10.2016 Печать цифровая Усл.печ.л. 10,0 Тираж 140 экз. Дата выхода в свет 24.10.2016 Цена свободная Усл.кр.-отт. 1,4 тыс. Уч.-изд.л. 10,0 Зак. 655 Формат 60 x 88 ⅛ Бум.л. 5,0 _________________________________________________________________________________________________ Учредитель: Российская академия наук _________________________________________________________________________________________________________________________ Издатель: ФГУП «Издательство «Наука», 117997 Москва, Профсоюзная ул., 90 Отпечатано во ФГУП «Издательство «Наука» (Типография «Наука») 121099 Москва, Шубинский пер., 6
Стр.2

Облако ключевых слов *

alloc dqd dqi egw egwd ewfi fd fxd gy iad init itf oo phhpd phhtd phhwd phihd phipd phiqd phit qf sdc siiid sxd vfd wfd wve xgg
* - вычисляется автоматически