Полное описание
> Деев, Г. Е. Абстрактные вычислительные устройства / Г.Е.Деев,А.В.Ламков. - М. : Энергоатомиздат, 2004. - 547 с. - 500 экз. - ISBN 5-283-00791-X. - Текст : непосредственный. Библиогр.: с. 539-541 (33 назв.)
ГРНТИ УДК 28.25.19 519.713
Рубрики: Автоматов теория
Доп. точки доступа: Ламков, А.В.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ж2-04/33948)>
Шифр в сводном ЭК: 227ad65c3a68544b0f899d1d67a7f246
Лицевая сторона карточки Обратная сторона карточки
Кузьмин Е.В. Счетчиковые машины : учеб пособие / Е. В. Кузьмин; под ред. В. А. Соколова, 2010. - 127 с. - Текст : непосредственный. Kluge W. Abstract computing machines : a lambda calculus perspective / W. Kluge, 2005 r=on-line. - Текст : электронный. Вольфенгаген В.Э. Категориальная абстрактная машина : Конспект лекций: введение в вычисления / В.Э.Вольфенгаген, 2002. - 95 с. - Текст : непосредственный. Деев Г.Е. Абстрактные вычислительные устройства / Г.Е.Деев,А.В.Ламков, 2004. - 547 с. - Текст : непосредственный. Abstract state machines, Alloy, B and Z : second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010: proceedings / SpringerLink (Online service), 2010 r=on-line. - Текст : электронный. Горбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 1973. - 106 с. - Текст : непосредственный. Шалыто А.А. Switch-технология. Алгоритмизация и программирование задач логического управления / А. А. Шалыто, 1998. - 626 с. - Текст : непосредственный. Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный. Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный. Богомолов А.М. Эксперименты с автоматами, 1973. - 144 с. - Текст : непосредственный. Автоматы и разумное поведение. Опыт моделирования, 1973. - 375 с. - Текст : непосредственный. Плоткин Б.И. Элементы алгебраической теории автоматов / Б. И. Плоткин, Л. Я. Гринглаз, А. А. Гварамия, 1994. - 191 c. - Текст : непосредственный. Карпов Ю.Г. Теория автоматов / Ю. Г. Карпов, 2002. - 206 с. - Текст : непосредственный. Епифанов А.С. Анализ фазовых картин дискретных динамических систем / А. С. Епифанов, 2008. - 155 с. - Текст : непосредственный. Твердохлебов В.А. Геометрические образы законов функционирования автоматов / В. А. Твердохлебов, 2008. - 182 с. - Текст : непосредственный. Fehler in Automaten / Hrsg.: D. Bochmann, R. Ubar, 1989. - 216 S. - Текст : непосредственный. Введение в формальные языки и распознающие автоматы : выставочные материалы / В. И. Курганский, М. И. Бутаков, О. В. Курганская, В. И. Черных, 2014. - 115 с. - Текст : непосредственный. Фрид А.И. Избранные лекции по теории автоматов / А. И. Фрид, 2005. - 260 с. - Текст : непосредственный. Богомолов А.М. Автоматные модели и рекурсивный конструктивизм / А. М. Богомолов, А. А. Сытник, В. А. Твердохлебов, 1992. - 75 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Горбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 1973. - 106 с. - Текст : непосредственный. Шалыто А.А. Switch-технология. Алгоритмизация и программирование задач логического управления / А. А. Шалыто, 1998. - 626 с. - Текст : непосредственный. Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный. Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный. Илясов С.А. Распознавание некоторых свойств автоматных алгебр : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени канд. физ.-мат. наук / С. А. Илясов, 2006. - 9 с. - Текст : непосредственный. Language and automata theory and applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Пономарева А.Ю. Проблемы оптимизации обобщенных конечно-автоматных моделей с периодически меняющейся структурой : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. Ю. Пономарева, 1999. - 16 с. - Текст : непосредственный. Кучеренко И.В. Обратимые клеточные автоматы / И. В. Кучеренко, 2012. - 20 с. - Текст : непосредственный. Вашкевич Н.П. Недетерминированные автоматы и их использование для синтеза систем управления : Учеб. пособие. Ч. 1 : Эквивалентные преобразования недетерминированных автоматов, 1996. - 87 с. - Текст : непосредственный. Стащук П.В. Архитектура ЭВМ уровня цифровых автоматов : выставочные материалы / П. В. Стащук, 2016. - 138 с. - Текст : непосредственный. Воронин В.В. Основы синтеза и диагностирования автоматов / В. В. Воронин, 2002. - 235 с. - Текст : непосредственный. Богомолов А.М. Эксперименты с автоматами, 1973. - 144 с. - Текст : непосредственный. Зузанова М.Р. Некоторые алгоритмы эквивалентного преобразования недетерминированных конечных автоматов / М. Р. Зузанова, 2010. - 21 с. - Текст : непосредственный. Автоматы и разумное поведение. Опыт моделирования, 1973. - 375 с. - Текст : непосредственный. Плоткин Б.И. Элементы алгебраической теории автоматов / Б. И. Плоткин, Л. Я. Гринглаз, А. А. Гварамия, 1994. - 191 c. - Текст : непосредственный. Карпов Ю.Г. Теория автоматов / Ю. Г. Карпов, 2002. - 206 с. - Текст : непосредственный. Орлов В.А. Об особенностях асимптотического поведения сложности реализации K-значных и автоматных функций схемами в произвольном конечном базисе : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / В. А. Орлов, 1999. - 28 с. - Текст : непосредственный. Алешин С.В. Алгебраические системы автоматов : выставочные материалы / С. В. Алешин, 2016. - 190 с. - Текст : непосредственный. Епифанов А.С. Анализ фазовых картин дискретных динамических систем / А. С. Епифанов, 2008. - 155 с. - Текст : непосредственный. Твердохлебов В.А. Геометрические образы законов функционирования автоматов / В. А. Твердохлебов, 2008. - 182 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽