РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
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
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР
Бази даних
Реферативна база даних - результати пошуку
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
Ключові слова (без закінчення)
Автор (тільки прізвище)
Назва
Рік видання
Сортувати знайдені документи за:
автором
назвою
роком видання
видом документа
Знайдено в інших БД:
Книжкові видання та компакт-диски (18)
Автореферати дисертацій (1)
Пошуковий запит:
(<.>U=З815.6$<.>)
Загальна кількість знайдених документів
:
13
Представлено документи
з 1 до 13
1.
Морозов А. О.
20 років ІПММС НАН України
. — 2012 //
Мат. машини і системи
.
2.
Ovsyak V.
The extended algebra of algorithms with multiconditional elimination
. — 2010 //
Вісн. Нац. ун-ту "Львів. політехніка"
.
3.
Гора Н. Н.
Алгоритмический метод проектирования автоматизированных систем контроля для критических приложений
. — 2006 //
Радіоелектрон. і комп'ют. системи
.
4.
Беляев А. К.
Дифференциальный оператор в системе преобразований абстрактного регистра
//
Мат. машини і системи
. - 2013. - № 1.
5.
Зайцев Д. А.
Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга
. — 2012 //
Систем. дослідж. та інформ. технології
.
6.
Анисимов А. В.
Квантовая модель вычислений. Основные принципы и достижения
. — 2000 //
Кибернетика и систем. анализ
.
7.
Жихарев В. Я.
Математические основы проектирования рекурсивных автоматов с программируемой логикой
. — Х.: Факт, 1999
8.
Таві М. Х.
Математичні та комп'ютерні моделі в квантовій інформатиці
: автореф. дис. ... канд. техн. наук : 01.05.02. — Х., 2010
9.
Барашко А. С.
Об одном типе изоморфизма линейных и нелинейных сигнатурных анализаторов
. — 2000 //
Кибернетика и систем. анализ
.
10.
Скочко В. М.
Ріст ініціальних обмежених автоматів
: автореф. дис. ... канд. фіз.-мат. наук : 01.01.08. — Київ, 2021
11.
Лужецький В. А.
Рекурентні
V
k
-послідовності
//
Вісн. Вінниц. політехн. ін-ту
. - 1999. - № 6.
12.
Лисовик Л. П.
Структурированные машины Тьюринга
. — 2004 //
Кибернетика и систем. анализ
.
13.
Таращанский М. Т.
Теория алгоритмов
: Учеб. пособие. — Луганск, 2001
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України
Всі права захищені ©
Національна бібліотека України імені В. І. Вернадського