Полное описание
Бондаренко, Л. Н. Ч. 1 . - 2009. - 74 с. - Библиогр.: с. 73 (15 назв.). - 120 экз.
ГРНТИ УДК 28.25.15 519.713 16.31.31 510.567
Рубрики: Конечные автоматы
Формальные языки
Экз-ры полностью b690e54b876c8fa9e30206987e4f9f80 Нет сведений об экземплярах Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/64965/1)
Шифр в сводном ЭК: b690e54b876c8fa9e30206987e4f9f80
Исследование возможности хранения холодных нейтронов за счет эффекта диффузионного отражения от неоднородных сред / С. С. Арзуманов, Л. Н. Бондаренко, П. Гельтенборт [и др.], 2004. - 29 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Гравитационный спектрометр УХН с погружающимся поглотителем (элементарная теория) / С.С.Арзуманов,Л.Н.Бондаренко,Е.И.Коробкина и др., 2000. - 30 с. - Текст : непосредственный. Бондаренко Л.Н. Финансовые ТНК в Российской Федерации: становление и развитие / Л. Н. Бондаренко, М. С. Толстель, 2013. - 129 с. - Текст : непосредственный. Установка для прецизионного измерения времени жизни нейтрона методом хранения УХН с регистрацией неупруго рассеянных нейтронов / С. С. Арзуманов [и др.], 2007. - 28 с. - Текст : непосредственный. Бондаренко, Л. Н. Дискретная математика. Конечные автоматы и формальные языки : учеб. пособие. Ч. 1, 2009. - 74 с. - Текст : непосредственный. Изучение свойств тонких слоев льда с помощью УХН / Л.Н.Бондаренко,В.И.Морозов,Ю.Н.Панин,, 1996. - 11 с. - Текст : непосредственный. Бондаренко Л.Н. Разработка и исследование алгоритмов измерения параметров многоэлементных двухполюсников : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.11.05 / Л. Н. Бондаренко, 1998. - 22 с. - Текст : непосредственный. Физические особенности и перспективы использования ультрахолодных и очень холодных нейтронов в нейтрон-захватной терапии / С. С. Арзуманов [и др.], 2010. - 23 с. - Текст : непосредственный. Исследовательская система нейтронного контроля ядерно-физического состояния топливосодержащих масс 4-го блока ЧАЭС / С. С. Арзуманов, С. Т. Беляев, Л. Н. Бондаренко [и др.], 1992. - 48 с. - Текст : непосредственный. Исследование процесса взаимодействия УХН с поверхностью бериллия методом нейтрон-радиационного анализа / С.С.Арзуманов,Л.Н.Бондаренко,Е.И.Коробкина и др., 1996. - 49 с. - Текст : непосредственный. Модернизация хозяйственной системы Южного региона в условиях ВТО / Е. А. Абрамейцева [и др.], 2014. - 782 с. - Текст : непосредственный. Бондаренко Л.Н. Модели комбинаторного анализа : монография / Л. Н. Бондаренко, 2019. - 247 с. - Текст : непосредственный. Анализ возможности применения алмазных наноструктур для отражения и хранения холодных нейтронов / С. С. Арзуманов [и др.], 2005. - 24с. - Текст : непосредственный. Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный. Пономарева А.Ю. Проблемы оптимизации обобщенных конечно-автоматных моделей с периодически меняющейся структурой : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. Ю. Пономарева, 1999. - 16 с. - Текст : непосредственный. Завьялов С.В. Стеганографические методы защиты информации : выставочные материалы / С. В. Завьялов, Ю. В. Ветров, 2012. - 189 с. - Текст : непосредственный. Кучеренко И.В. Обратимые клеточные автоматы / И. В. Кучеренко, 2012. - 20 с. - Текст : непосредственный. Вашкевич Н.П. Недетерминированные автоматы и их использование для синтеза систем управления : Учеб. пособие. Ч. 1 : Эквивалентные преобразования недетерминированных автоматов, 1996. - 87 с. - Текст : непосредственный. Деундяк В.М. Элементы теории формальных языков / В. М. Деундяк, 1997. - 68 с. - Текст : непосредственный. Зузанова М.Р. Некоторые алгоритмы эквивалентного преобразования недетерминированных конечных автоматов / М. Р. Зузанова, 2010. - 21 с. - Текст : непосредственный. Bel-Enguix G. New developments in formal languages and applications / G. Bel-Enguix, M. D. Jimenez-Lopez, C. Martin-Vide, 2008 r=on-line. - Текст : электронный. Алешин С.В. Алгебраические системы автоматов : выставочные материалы / С. В. Алешин, 2016. - 190 с. - Текст : непосредственный. Шакурский В.К. Сжимающие отображения в инвариантных преобразователях и системах стеганографии / В. К. Шакурский, М. В. Шакурский, 2014. - 158 с. - Текст : непосредственный. Шабунин Л.В. Регулярные языки и конечные автоматы / Л. В. Шабунин, 1996. - 37 с. - Текст : непосредственный. Зузанова М.Р. Некоторые алгоритмы эквивалентного преобразования недетерминированных конечных автоматов / М. Р. Зузанова, 2009. - 21 с. - Текст : непосредственный. Семенова С.Ю. Исследование языковых средств выражения параметрической информации и алгоритмизация ее поиска в тексте : специальность 05.13.17 "Теоретические основы информатики" : автореферат диссертации на соискание ученой степени канд.филос.наук / С. Ю. Семенова, 1994. - 24 с. - Текст : непосредственный. Введение в формальные языки и распознающие автоматы : выставочные материалы / В. И. Курганский, М. И. Бутаков, О. В. Курганская, В. И. Черных, 2014. - 115 с. - Текст : непосредственный. Корхов А.В. Построение вопросно-ответной системы с использованием метода математической формализации естественных языков : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. В. Корхов, 2001. - 13 с. - Текст : непосредственный. Crespi Reghizzi R.S. Formal languages and compilation / R. S. Crespi Reghizzi, 2009 r=on-line. - Текст : электронный. Клепов А.В. Шифраторы и радиоразведка. Щит и меч информационного мира. Т. 1, 2015. - 958 с. - Текст : непосредственный. Разработка моделей криптографической защиты информации / В. Г. Шубович, В. В. Капитанчук, Н. С. Знаенко, Ю. И. Титаренко, 2013. - 127 с. - Текст : электронный. Серов А.А. Оценки распределений расстояний от случайной булевой функции до аффинных и квадратичных функций / А. А. Серов, 2011. - 15 с. - Текст : непосредственный. Rutten J.J.M.M. Nonwellfounded sets and programming language semantics / J. J.M.M. Rutten, 1990. - 17 p. - Текст : непосредственный. Показать все результаты Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный. Вашкевич Н.П. Недетерминированные автоматы и их использование для синтеза систем управления : Учеб. пособие. Ч. 1 : Эквивалентные преобразования недетерминированных автоматов, 1996. - 87 с. - Текст : непосредственный. Воронин В.В. Основы синтеза и диагностирования автоматов / В. В. Воронин, 2002. - 235 с. - Текст : непосредственный. Деундяк В.М. Элементы теории формальных языков / В. М. Деундяк, 1997. - 68 с. - Текст : непосредственный. Bel-Enguix G. New developments in formal languages and applications / G. Bel-Enguix, M. D. Jimenez-Lopez, C. Martin-Vide, 2008 r=on-line. - Текст : электронный. Алешин С.В. Алгебраические системы автоматов : выставочные материалы / С. В. Алешин, 2016. - 190 с. - Текст : непосредственный. Шабунин Л.В. Регулярные языки и конечные автоматы / Л. В. Шабунин, 1996. - 37 с. - Текст : непосредственный. Введение в формальные языки и распознающие автоматы : выставочные материалы / В. И. Курганский, М. И. Бутаков, О. В. Курганская, В. И. Черных, 2014. - 115 с. - Текст : непосредственный. Деев Г.Е. Конспект лекций по курсу "Теория конечных автоматов." Раздел "Умножители" (спец. 01.02) / Г. Е. Деев, 1991. - 77 c. - Текст : непосредственный. Tao R. Finite automata and application to cryptography / R. Tao, 2009 r=on-line. - Текст : электронный. Подловченко Р.И. Эквивалентные преобразования в математических моделях вычислений : выставочные материалы / Р. И. Подловченко, 2011. - 72 с. - Текст : непосредственный. Esik Z. Recent advances in formal languages and applications / Z. Esik, C. Martin-Vide, V. Mitrana, 2006 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Будкин А.И. Элементы теории автоматов и формальных языков : учебное пособие / А. И. Будкин, 2019. - 78 с. - Текст : непосредственный. Показать все результаты Горбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 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 с. - Текст : непосредственный. Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный. 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 с. - Текст : непосредственный. Деундяк В.М. Элементы теории формальных языков / В. М. Деундяк, 1997. - 68 с. - Текст : непосредственный. Зузанова М.Р. Некоторые алгоритмы эквивалентного преобразования недетерминированных конечных автоматов / М. Р. Зузанова, 2010. - 21 с. - Текст : непосредственный. Автоматы и разумное поведение. Опыт моделирования, 1973. - 375 с. - Текст : непосредственный. Bel-Enguix G. New developments in formal languages and applications / G. Bel-Enguix, M. D. Jimenez-Lopez, C. Martin-Vide, 2008 r=on-line. - Текст : электронный. Плоткин Б.И. Элементы алгебраической теории автоматов / Б. И. Плоткин, Л. Я. Гринглаз, А. А. Гварамия, 1994. - 191 c. - Текст : непосредственный. Карпов Ю.Г. Теория автоматов / Ю. Г. Карпов, 2002. - 206 с. - Текст : непосредственный. Орлов В.А. Об особенностях асимптотического поведения сложности реализации K-значных и автоматных функций схемами в произвольном конечном базисе : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / В. А. Орлов, 1999. - 28 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
