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

Бази даних

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

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

Чеботарев А. Н. Метод раздельного резольвирования для проверки выполнимости формул языка "L". — 1998 // Кибернетика и систем. анализ.
2.

Лисовик Л. П. Алгебра и автоматы (Кн. 2). — К.: Феникс, 2005 - (Мат. мышление).
3.

Коваль В. Н. Концепторные языки. Доказательное проектирование. — К.: Наук. думка, 2001
4.

Дюбко Г. Ф. Современные теории представления формальных языков. — 2005 // Вісн. Міжнар. Слов'ян. ун-ту. Сер. Техн. науки.
5.

Лисовик Л. П. Типы языков и машин. — К.: Феникс, 2005 - (Мат. мышление).
6.

Лисовик Л. П. Функции и аппликативные системы. — К.: Феникс, 2007 - (Мат. мышление).
7.

Дюбко Г. Ф. Формальные грамматики и их приложение в процессе разработки программного обеспечения. — 2006 // Вісн. Міжнар. Слов'ян. ун-ту. Сер. Техн. науки.
8.

Лисовик Л. П. Вычисления над размеченными деревьями. — К.: Феникс, 2006
9.

Лисовик Л. П. Вычисления над размеченными деревьями. — К.: Феникс, 2006
10.

Кондратенко В. А. Логические модели синтаксически управляемых переводов. — 2002 // Пробл. программирования.
11.

Кулиева З. Ю. Применение формальных признаков языка для построения базы знаний морфосинтаксического анализатора. — 2007 // Искусств. интеллект.
12.

Акуловский В. Г. Расширенная алгебра алгоритмов. — 2007 // Пробл. програмув.
13.

Ільман В. М. Структурний підхід до проблеми відтворення граматик. — 2007 // Пробл. програмув.
14.

Потиенко С. В. Трансляция MSC сценариев в язык базовых протоколов. — 2007 // Искусств. интеллект.
15.

Булкин В. И. Формальное представление знаний в продукционных системах. — 2006 // Искусств. интеллект.
16.

Turkin I. B. Formal model of technological processes's description of complex technical systems's tests. — 2006 // Радіоелектрон. і комп'ют. системи.
17.

Кургаев А. Ф. Коммуникативные функции языка. — 2007 // Управляющие системы и машины.
18.

Палагін О. В. Розвиток та порівняльні характеристики логіко-онтологічних формальних теорій. — 2007 // Мат. машини і системи.
19.

Провотар А. И. Формализация: алгоритмический подход. — 2008 // Пробл. програмув.
20.

Iliasov A.  On combining Event-B and workflow. — 2009 // Радіоелектрон. і комп'ют. системи.
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

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