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

Бази даних

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

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

Вінничук І. П. Алгебраїчні засоби проектування діалогових середовищ у системах автоматизованого створення програм. — 1998 // Пробл. программир..
2.

Зинькович В. М. Анализ инструментальных средств MetaCASE. — 2001 // Пробл. программирования.
3.

Цейтлин Г. Е. Алгебро-логическая формализация в объектно-ориентированных технологиях. — 2002 // Пробл. программирования.
4.

Петрушенко А. М. Концепція діалогових обчислень та деякі проблеми автоматизації програмування. — 2004 // Пробл. программирования.
5.

Зайцева С. В. Модель диалога по расписанию действий агента. — 2003 // Управляющие системы и машины.
6.

Приходько П. П. О возможных основаниях немонотонного дедуктивного синтеза программ. — 2003 // Пробл. программирования.
7.

Верлань А. Ф. Объектно-ориентированное моделирование когнитивных процессов. — 2002 // Электрон. моделирование.
8.

Галаган Т. Н. Один подход к автоматизации построения распределенной модели из ее сосредоточенного аналога. — 2002 // Пробл. программирования.
9.

Стеблянко В. Г. Решение задач диагностики в системах построения компиляторов. — 2002 // Пробл. программирования.
10.

Цейтлин Г. Е. Системы алгоритмических алгебр и автоматизация программирования. — 2002 // Пробл. программирования.
11.

Маторин С. И. "UFO-toolkit" - BI-инструментарий нового поколения. — 2005 // Пробл. программирования.
12.

Зинькович В. М. Создание методологии проектирования CASE-сред на базе ситуационного метода. — 2005 // Пробл. программирования.
13.

Чернухин Ю. В. Инструментальные средства импорта моделей виртуальных моделирующих сред. — 2006 // Искусств. интеллект.
14.

Зінькович В. М. Концепції та моделі інтеграції об'єктів метатехнології в середовищі Metacase. — 2006 // Пробл. програмув.
15.

Приходько П. П. О термальном аспекте автоматизации программирования. — 2006 // Пробл. програмув.
16.

Львов С. М. О технологиях построения и обработки математических моделей программ. — 2007 // Пробл. програмув.
17.

Скатков А. В. Обеспечение гарантоспособности программного обеспечения на основе автоматизации сопряжения разнородных программных сред. — 2008 // Радіоелектрон. і комп'ют. системи.
18.

Колчин А. В. Разработка инструментальных средств для проверки формальных моделей. — 2008 // Пробл. програмув.
19.

Салапатов В. І. Реляційна модель даних про внутрішнє уявлення програм. — 2007 // Вісн. Нац. техн. ун-ту України "КПІ".
20.

Дорошенко А. Е. Средства синтеза параллельных MPI-программ. — 2008 // Пробл. програмув.
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

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