РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР

Бази даних

Реферативна база даних - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Книжкові видання та компакт-диски (66)Журнали та продовжувані видання (6)Автореферати дисертацій (4)
Пошуковий запит: (<.>U=З973-018<.>)
Загальна кількість знайдених документів : 368
Представлено документи з 1 до 20
...
1.

Малышев О. В. Резервы программирования деятельности. Система поддержки создания и использования программ деятельности. — 2010 // Мат. машини і системи.
2.

Лупійчук Р. І. Розрішення анафор: сучасні алгоритми. — 2010 // Искусств. интеллект.
3.

Малышев О. В. Резервы программирования деятельности. 3-мерная программная метамодель системы деятельности. — 2010 // Мат. машини і системи.
4.

Погорелый С. Д. Реализация алгоритма Флойда - Уоршалла для программно-аппаратной платформы CUDA. — 2011 // Управляющие системы и машины.
5.

Редько І. В. Редукційне моделювання в середовищі інтеграції. — 2011 // Наук. вісті НТУУ "КПІ".
6.

Шкільняк С. С. Спеціальні відношення логічного наслідку в логіках квазіарних предикатів. — 2011 // Пробл. програмув.
7.

Малафеев Е. Е. Структурно-функциональный метод преобразования алгоритмических структур. — 2010 // Зб. наук. пр. Харк. ун-ту Повітр. сил.
8.

Шкільняк О. С. Семантичні властивості композиційно-номінативних модальних логік. — 2009 // Пробл. програмув.
9.

Овсяк О. В. Розширення алгебри алгоритмів аксіомами операцій циклів. — 2010 // Вісн. Нац. ун-ту "Львів. політехніка".
10.

Летичевский А. А. Свойства предикатного трансформера системи VRS. — 2010 // Кибернетика и систем. анализ.
11.

Ефимов Г. Б. Работы Д. Е. Охоцимского по символьным вычислениям на компьютере и программированию. — 2012 // Мат. машини і системи.
12.

Мельник А. О. Порівняльний аналіз способів матричного подання графу алгоритму. — 2009 // Вісн. Нац. ун-ту "Львів. політехніка".
13.

Дорошенко А. Е. Построение и преобразование операций и некоторых алгоритмических конструкций алгебры алгоритмов с данными. — 2011 // Пробл. програмув.
14.

Бармак А. В. Подход для моделирования структуры предметной области в виде n-мерного куба. — 2011 // Управляющие системы и машины.
15.

Груздо И. В. Повышение качества программного проекта за счет управления рисками. — 2009 // Системи оброб. інформації.
16.

Белоус М. В. Подсистема триангуляции слоистых тел программного комплекса Надра-3D. — 2011 // Компьют. математика.
17.

Редько І. В. Примітивна програмна алгебра обчислюваних функцій над графами. — 2011 // Наук. вісті НТУУ "КПІ".
18.

Балабанов О. С. Прискорення алгоритмів відтворення байєсових мереж. Адаптація до структур без циклів. — 2011 // Пробл. програмув.
19.

Князева М. А. Преобразование графовых структур представления информации. — 2009 // Искусств. интеллект.
20.

Годлевский О. Б. Предикатные преобразователи в контексте символьного моделирования транзиционных систем. — 2010 // Кибернетика и систем. анализ.
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

Всі права захищені © Національна бібліотека України імені В. І. Вернадського