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

Бази даних

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

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

Редько И. В. Экспликативный базис интеграционных сред. — 2004 // Пробл. программирования.
2.

Ильина Е. П. Экспертная методология в информационно-аналитических системах. — 2001 // Пробл. программирования.
3.

Цейтлин Г. Е. Что такое алгебраическая алгоритмика?. — 2004 // Пробл. программирования.
4.

Кузьмина К. И. Цвет - от средства воздействия к способу управления. — 2002 // Пробл. программирования.
5.

Ступников С. А. Формирование базы метаинформации на основе спецификаций канонической модели. — 2002 // Пробл. программирования.
6.

Слабоспицкая О. А. Формальный аппарат экспертного решения проблемы многокритериального оценивания при учёте ряда точек зрения на проблему. — 2002 // Пробл. программирования.
7.

Грищенко В. Н. Формальные модели компонентного программирования. — 2003 // Пробл. программирования.
8.

Крывый С. Л. Формальные методы в исследовании свойств программных систем. — 2002 // Пробл. программирования.
9.

Матвеева Л. Е. Формальное представление и анализ свойств асинхронных динамических систем. — 2002 // Пробл. программирования.
10.

Ильина Е. П. Формализация и анализ рисков при управлении процессом решения экспертных проблем. — 2001 // Пробл. программирования.
11.

Антонюк А. А. Управление данными регистрации в защищенных системах. — 2001 // Пробл. программирования.
12.

Тимошенко Ю. О. Узагальнена модель негомогенного пуассонівського процесу для оцінювання надійності програмного забезпечення. — 2004 // Пробл. программирования.
13.

Вінник В. Ю. Узагальнена композиційна модель символьної обробки. — 2003 // Пробл. программирования.
14.

Антонюк А. А. Угрозы информации и услуги безопасности. — 2003 // Пробл. программирования.
15.

Григорян Р. Д. Технология имитационного моделирования процессов жизнеобеспечения на клеточном и органном уровнях. — 2004 // Пробл. программирования.
16.

Мучник М. М. Технология ввода данных с бумажных документов. — 2004 // Пробл. программирования.
17.

Булавенко О. Н. Технология анализа и синтеза предложений естественного языка в интегрированном интеллектуальном интерфейсе системы ИРМ. — 2004 // Пробл. программирования.
18.

Антонюк А. А. Теоретические и прикладные аспекты защиты информации в автоматизированных системах. — 2002 // Пробл. программирования.
19.

Грибовская Н. С. Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей. — 2004 // Пробл. программирования.
20.

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

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