Опис документа

Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету

Формуляр

Опис документа

Программирование [Текст] / РАН. – 2016. – № 5.

Складові частини документа:

Варламов, В. И. Обзор методов извлечения информации из веб-ресурсов [Текст] / В. И. Варламов, Д. Ю. Турдаков // Программирование. – 2016. – № 5. – С. 30-48.
Дворянский, Л. В. Автоматическое построение систем распределенных компонентов по моделям вложенных сетей Петри [Текст] / Л. В. Дворянский, И. А. Ломазова // Программирование. – 2016. – № 5. – С. 49-67.
Мандрыкин, М. У. Анализ регионов для дедуктивной верификации Си-прграмм [Текст] / М. У. Мандрыкин, А. В. Хорошилов // Программирование. – 2016. – № 5. – С. 3-29.
Нгуен, Чан Куок Винь Синхронное инкрементальное обновление материализованных представлений для PostgreSQL [Текст] / Ч. К. Нгуен // Программирование. – 2016. – № 5. – С.68-80.

Примірники

Місце збереження Кількість В наявностi

804 - ч/з період. видань 1 1

Статистика використання: Видач: 0