РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
Оберіть мову
Ukrainian
Arabic
Armenian
Azerbaijani
Belarusian
Bulgarian
Chinese (Simplified)
Chinese (Traditional)
Czech
Danish
Dutch
English
Estonian
Finnish
French
Georgian
German
Greek
Hebrew
Hindi
Hungarian
Icelandic
Irish
Italian
Japanese
Korean
Latvian
Lithuanian
Norwegian
Persian
Polish
Portuguese
Romanian
Russian
Serbian
Slovak
Slovenian
Spanish
Swahili
Swedish
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР
Бази даних
Реферативна база даних - результати пошуку
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
Ключові слова (без закінчення)
Автор (тільки прізвище)
Назва
Рік видання
у знайденому
Сортувати знайдені документи за:
автором
назвою
роком видання
видом документа
Знайдено в інших БД:
Книжкові видання та компакт-диски (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 //
Радіоелектрон. і комп'ют. системи
.
...
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України
Всі права захищені ©
Національна бібліотека України імені В. І. Вернадського