Приложение
для AndroidПолное описание
Богомолов, А. М. Автоматные модели и рекурсивный конструктивизм / А. М. Богомолов, А. А. Сытник, В. А. Твердохлебов. - Саратов : Изд-во Сарат. ун-та, 1992. - 75 с. - 500 экз. - ISBN 5-292-01592-X. - Текст : непосредственный.
Библиогр.: с. 74 (16 назв.).
| ГРНТИ | УДК | |
| 28.25 | 519.713 | |
| 519.716.37 |
Рубрики:
Автоматов теория
Рекурсия
Доп. точки доступа:
Сытник, А.А.
Твердохлебов, В.А.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д8-92/1994)
Шифр в сводном ЭК: a3152ed8cb23529305574b3e9d9a4e18
Богомолов А.М. Договоры жилищно-коммунального хозяйства / А. М. Богомолов, Н. А. Голощапов, С. И. Помазкова, 1999. - 254 с. - Текст : непосредственный.Богомолов А.М. Эксперименты с автоматами, 1973. - 144 с. - Текст : непосредственный.Твердохлебов В.А. Дифференциация вещества в планетарных условиях, 1973. - 83 с. - Текст : непосредственный.Твердохлебов В.А. Геометрические образы законов функционирования автоматов / В. А. Твердохлебов, 2008. - 182 с. - Текст : непосредственный.Сытник А.А. Повышение эффективности алмазного шлифования многогранных пластин из режущей керамики : специальность 05.03.01 "" : автореферат диссертации на соискание ученой степени канд.техн.наук / А. А. Сытник, 1992. - 16 с. - Текст : непосредственный.Богомолов А.М. Автоматные модели и рекурсивный конструктивизм / А. М. Богомолов, А. А. Сытник, В. А. Твердохлебов, 1992. - 75 с. - Текст : непосредственный.
Богомолов А.М. Судовая полупроводниковая электроника / А. М. Богомолов, В. Б. Никитин, 1974. - 217 с. - Текст : непосредственный.Богомолов А.М. Внутренний аудит : Словарь-справ. / А.М.Богомолов, 2002. - 330 с. - Текст : непосредственный.Краев А.В. Аудит. Внутрифирменные стандарты / А. В. Краев, О. А. Краева, А. М. Богомолов, 2002. - 159 с. - Текст : непосредственный.Сытник А.А. Организационно-экономические аспекты развития технологического уклада в формирующейся рыночной экономике (на примере Российской Федерации) : автореф. дис. .. д-ра экон. наук: 08.00.05 / А. А. Сытник, 2012. - 35 с. - Текст : непосредственный.Богомолов, А. М. От теории - к практике бухгалтерского учета : Учеб.-практ.пособие для студентов и слушателей курсов повышения квалификации по экон.спец. Ч. 1 : Теория, словарь, нормативные акты, 1997. - 257 с. - Текст : непосредственный.Богомолов А.М. Административные правонарушения и ответственность в области финансов, налогов и сборов : Коммент. и обзор норматив.-правовых актов по материалам гл. 15 Кодекса Рос. Федерации об административ. правонарушениях и Налогового кодекса Рос. Федерации / А.М.Богомолов, 2004. - 278 с. - Текст : непосредственный.Сытник А.А. Динамика конкурентных отношений в процессе становления информационного общества России : автореф. дис. .. канд. экон. наук: 08.00.01 / А. А. Сытник, 2005. - 18 с. - Текст : непосредственный.Аргентина / А.М.Богомолов,А.В.Бедин,М.М.Воронежцев и др., 1993. - 152 c. - Текст : непосредственный.Резчиков А.Ф. Принцип причинно-следственной декомпозиции динамических систем / А. Ф. Резчиков, В. А. Твердохлебов, 2013. - 55 с. - Текст : непосредственный.Твердохлебов В.А. Представление автоматных отображений геометрическими структурами / В. А. Твердохлебов, А. С. Епифанов, 2013. - 203 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Горбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 1973. - 106 с. - Текст : непосредственный.Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный.Шалыто А.А. 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 с. - Текст : непосредственный.Encyclopedia of algorithms / Ed. M.-Y. Kao, 2008. - LIII, 1166 p. - Текст : электронный.Language and automata theory and applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Пономарева А.Ю. Проблемы оптимизации обобщенных конечно-автоматных моделей с периодически меняющейся структурой : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. Ю. Пономарева, 1999. - 16 с. - Текст : непосредственный.Труды Института системного программирования. Т. 12 : Методы синтеза и анализа алгоритмов, 2006. - 122 с. - Текст : непосредственный.Триханов А.В. Алгоритмизация и микропрограммирование операций ЭВМ (множества, графы, кубы, кубические покрытия) / А. В. Триханов, 1995. - 107 c. - Текст : непосредственный.Фоккинк У. Распределенные алгоритмы: интуитивный подход / У. Фоккинк ; Пер. К. Русецкий, 2017. - 269 с. - Текст : непосредственный.Кучеренко И.В. Обратимые клеточные автоматы / И. В. Кучеренко, 2012. - 20 с. - Текст : непосредственный.Вашкевич Н.П. Недетерминированные автоматы и их использование для синтеза систем управления : Учеб. пособие. Ч. 1 : Эквивалентные преобразования недетерминированных автоматов, 1996. - 87 с. - Текст : непосредственный.Воеводин, Валентин Васильевич. Информационная структура алгоритмов / В. В. Воеводин, 1997. - 139 с. - Текст : непосредственный.Кирнос В.Н. Информатика II. Основы алгоритмизации и программирования на языке C++ : методический материал / В. Н. Кирнос, 2013. - 158 с. - Текст : непосредственный.Ульянов М.В. Классификация и методы сравнительного анализа вычислительных алгоритмов / М. В. Ульянов, 2004. - 211 с. - Текст : непосредственный.Рахманова И.О. Информатика: основы алгоритмизации и программирования : учебное пособие / И. О. Рахманова, 2007. - 116 с. - Текст : непосредственный.Основы алгоритмизации и программирования : выставочные материалы / Хакасский гос. ун-т им. Н. Ф. Катанова (Абакан), 2014. - 113 с. - Текст : непосредственный.Стащук П.В. Архитектура ЭВМ уровня цифровых автоматов : выставочные материалы / П. В. Стащук, 2016. - 138 с. - Текст : непосредственный.
Показать все результатыГорбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 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. - 396 c. - Текст : непосредственный.Плоткин Б.И. Элементы алгебраической теории автоматов / Б. И. Плоткин, Л. Я. Гринглаз, А. А. Гварамия, 1994. - 191 c. - Текст : непосредственный.Карпов Ю.Г. Теория автоматов / Ю. Г. Карпов, 2002. - 206 с. - Текст : непосредственный.Епифанов А.С. Анализ фазовых картин дискретных динамических систем / А. С. Епифанов, 2008. - 155 с. - Текст : непосредственный.Твердохлебов В.А. Геометрические образы законов функционирования автоматов / В. А. Твердохлебов, 2008. - 182 с. - Текст : непосредственный.Шумова Л.В. Частично-рекурсивные функции и алгоритмы : материалы временных коллективов / Л. В. Шумова, О. Б. Воронина, А. А. Шпонько, 2004. - 58 с. - Текст : непосредственный.Fehler in Automaten / Hrsg.: D. Bochmann, R. Ubar, 1989. - 216 S. - Текст : непосредственный.Введение в формальные языки и распознающие автоматы : выставочные материалы / В. И. Курганский, М. И. Бутаков, О. В. Курганская, В. И. Черных, 2014. - 115 с. - Текст : непосредственный.Дегтев А.Н. Рекурсивно перечислимые множества и сводимости табличного типа / А. Н. Дегтев, 1998. - 176 с. - Текст : непосредственный.Fredholm D. Intensional aspects of function definitions / D. Fredholm, 1994. - 80 p. - Текст : непосредственный.Фрид А.И. Избранные лекции по теории автоматов / А. И. Фрид, 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 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽