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

Бази даних

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

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

Letichevsky A.  Agents and environments. — 1998 // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України.
2.

Kapitonova Yu.  Algorithm ochevidnosti'2000 (project). — 1998 // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України.
3.

Godlevsky A. B. Ground water flow modelling on PC cluster. — 1998 // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України.
4.

Krivoi S.  Static analysis of programs by using abstract interpretations. — 1998 // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України.
5.

Колодницький М. М. Адаптивна організація лінгвістичного забезпечення програмного комплексу "DSR Open Lab 1.0". — 1998 // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України.
6.

Винничук И. П. Алгебра алгоритмики и конструирование систем синтеза мульти-медиа приложений в среде WINDOWS. — 1999 // Кибернетика и систем. анализ.
7.

Сироджа И. Б. Анализ и синтез интеллектуальных систем управления в среде MATLAB. — 1998 // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України.
8.

Непомнящий В. А. Верификация финитной итерации над структурами данных. — 1999 // Кибернетика и систем. анализ.
9.

Машечкин И. В. Вопросы автоматизации построения средств оптимизации и преобразования программ. — 1998 // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України.
10.

Сидоров Н. А. Восстановление, повторное использование и переработка программного обеспечения. — 1998 // Управляющие системы и машины.
11.

Бабич М. Д. Вычислительный эксперимент в проблеме оптимизации вычислений. II. — 1999 // Кибернетика и систем. анализ.
12.

Бабич М. Д. Вычислительный эксперимент в проблеме оптимизации вычислений. I. — 1999 // Кибернетика и систем. анализ.
13.

Єфремов Ю. М. Життєвий цикл програмних продуктів, створених на основі синтезуючого програмування. — 1999 // Вісн. Житомир. інж.-технол. ін-ту. Техн. науки.
14.

Аксьонова Л. О. Загальна схема ПДС-алгоритму розв'язання задачі "Максимальна незалежна множина". — 2000 // Мат. машины и системы.
15.

Барановский А. И. Использование языка программирования ВИРТ для автоматического доказательства теорем. — 1999 // Кибернетика и систем. анализ.
16.

Кулаков А. Ф. Качество программных средств. Стандартизация. Сертификация. — 1998 // Перша міжнар. наук.-практ. конф. з програмув. УкрПРОГ'98 / НАН України.
17.

Цейтлин Г. Е. Критерии функциональной полноты для мета-алгебр без засылки логических констант. — 1999 // Кибернетика и систем. анализ.
18.

Лиходед Н. А. Локализация дуг в графовых моделях двухуровневых алгоритмов. — 1999 // Кибернетика и систем. анализ.
19.

Глибовець М. М. Локальний алгоритм розв'язання задачі знаходження шляху з максимальною пропускною спроможністю та його паралельні реалізації. — 2000 // Управляющие системы и машины.
20.

Старков В. Н. Методы моделирования задач интерпретации. — 2000 // Управляющие системы и машины.
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

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