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

Бази даних

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

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

Сперанский Д. В. О тестировании нестационарных линейных автоматов. — 2001 // Электрон. моделирование.
2.

Барашко А. С. Обобщенная статистическая эквивалентность автоматов. — 2000 // Кибернетика и систем. анализ.
3.

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

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

Лузин С. Ю. Непереборный метод определения полярности выходов при минимизации многовыходных автоматов. — 2003 // Технология и конструирование в электрон. аппаратуре.
6.

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

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

Лисовик Л. П. Размеченные деревья. — К.: Феникс, 2006 - (Мат. мышление).
9.

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

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

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

Мартынюк А. Н. Согласование тестовых процессов. — 2009 // Електромашинобуд. та електрообладн.
13.

Левин В. И. Автоматное моделирование процессов возникновения и распада коллектива. — 2003 // Кибернетика и систем. анализ.
14.

Вагарина Н. С. Задача восстановления поведения в классе систем без потери информации. — 2004 // Искусств. интеллект.
15.

Антоненко А. С. Исследование автоматов специальных классов. — 2004 // Вестн. Херсон. гос. техн. ун-та.
16.

Баркалов А. А. Оптимизация логической схемы автомата Мура на программируемых логических устройствах и счетчиках. — 2003 // Управляющие системы и машины.
17.

Грунский И. С. Представления автоматов и анализ атак на криптосистемы. — 2004 // Искусств. интеллект.
18.

Сперанский Д. В. Связь между устойчивостью и синхронизируемостью нестационарных линейных автоматов над различными полями. — 2001 // Электрон. моделирование.
19.

Чеботарев А. Н. Синтез автомата, специфицированного множеством дизъюнктов. — 2003 // Пробл. программирования.
20.

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

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