Приложение
для AndroidПолное описание
519.7/С 568
Современная теория автоматов : монография / С. Алешников, Ю. Болтнев, З. Ешик [и др.] ; Балтийский федеральный университет имени Иммануила Канта (БФУ им. И. Канта). - Калининград : Изд-во Балтийского федерального ун-та им. И. Канта, 2013. - 261 с. - Авт. указ. на обороте тит. л. - Библиогр.: с. 254-261 (120 назв.). - 1000 экз. - ISBN 978-5-9971-0273-9 : 200 р. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 28.25 | 519.713 |
Рубрики:
Автоматов теория
Доп. точки доступа:
Алешников, С.
Болтнев, Ю.
Ешик, З.
Ишанов, С.
Куих, В.
Балтийский федеральный университет имени Иммануила Канта (Калининград)
Имеются экземпляры в отделах: всего 2 : ПНТ (1), ХРЦ (1)
Свободны: ХРЦ (1)
Экз.Э19-89744 (ПНТ) занят;
Балтийский регион : журнал / Балтийский федеральный университет имени Иммануила Канта (Калининград). - Журнал выходит с 2009г. - Текст : непосредственный.Прошунин М.М. Финансовый мониторинг : (противодействие легализации (отмыванию) доходов, полученных преступным путем, и финансированию терроризма) : учебник / М. М. Прошунин, М. А. Татчук, 2014. - 416, [1] с. - Текст : непосредственный.Балтийский регион - регион сотрудничества-2018: проблемы и перспективы трансграничного сотрудничества вдоль Западного порубежья России : материалы международной научной конференции, Калининград, 28-30 августа 2018 года / Балтийский федеральный университет имени И. Канта, 2018. - 370, [1] с. - Текст : непосредственный.Лизогуб А.А. Проект аналитической системы комплексной оценки экологической безопасности промышленного предприятия / А. А. Лизогуб, Г. Г. Ляхов. - Текст : непосредственный // Вестник Балтийского федерального университета им. И. Канта. Серия: Физико-математические и технические науки. - Калининград : Изд-во Балт. федер. ун-та им. И. Канта, 2018. - № 3(2018). - с. 97-102Серебренников Д.А. Динамические, термодинамические и оптические свойства каркасно-кластерных систем и функциональных материалов на их основе : 01.04.15 - Физика и технология наноструктур, атомная и молекулярная физика : автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Д. А. Серебренников, 2019. - 24 с. - Текст : непосредственный.Современная теория автоматов : монография / С. Алешников, Ю. Болтнев, З. Ешик [и др.], 2013. - 261 с. - Текст : непосредственный.Лукьянова Н.Ю. Аналитические методы исследований в цифровой экономике : учебное пособие для магистратуры / Н. Ю. Лукьянова, Е. Г. Галицкая ; под редакцией Н. Ю. Лукьяновой, 2019. - 231 с. - Текст : непосредственный.Балтийский регион - регион сотрудничества - 2019 : материалы III Международной научно-практической конференции, Калининград, 27-31 августа 2019 : [в 2 ч.] / Балтийский федеральный университет имени Иммануила Канта; редакционная коллегия Г. М. Федоров [и др.]. Ч. 2, 2020. - 468, [1] с. - Текст : непосредственный.Балтийский регион - регион сотрудничества / Балтийский федеральный университет имени Иммануила Канта. Т. 4 : Регионы в условиях глобальных изменений : материалы IV международной научно-практической конференции, Калининград, 21-23 октября 2020 годач. 2, 2020. - 190, [1] с. - Текст : непосредственный.Балтийский регион - регион сотрудничества / Балтийский федеральный университет имени Иммануила Канта. Т. 4 : Регионы в условиях глобальных изменений : материалы IV международной научно-практической конференции, Калининград, 21-23 октября 2020 годач. 1 / редакционная коллегия: Г. М. Федоров [и др.], 2020. - 319, [1] с. - Текст : непосредственный.Балтийский регион - регион сотрудничества / Балтийский федеральный университет имени Иммануила Канта. Т. 4 : Регионы в условиях глобальных изменений : материалы IV международной научно-практической конференции, Калининград, 21-23 октября 2020 годач. 3 / редакционная коллегия: Г. М. Федоров [и др.], 2020. - 154, [1] с. - Текст : непосредственный.Пакина А.А. Оценка эффективности природопользования в контексте устойчивого развития региона / А. А. Пакина. - Текст : непосредственный // Балтийский регион - регион сотрудничества / Балтийский федеральный университет имени Иммануила Канта. - Калининград : Изд-во Балтийского федерального ун-та им. И. Канта, 2020. - Т. 4 : Регионы в условиях глобальных изменений ч. 1. - с. 210-215Михневич Г.С. Субмаринная разгрузка подземных вод как источник загрязнения Балтийского моря / Г. С. Михневич. - Текст : непосредственный // Балтийский регион - регион сотрудничества / Балтийский федеральный университет имени Иммануила Канта. - Калининград : Изд-во Балтийского федерального ун-та им. И. Канта, 2020. - Т. 4 : Регионы в условиях глобальных изменений ч. 1. - с. 216-220Четвертая Зимняя школа по гуманитарной информатике, 10-11 декабря 2020 года : сборник статей / Балтийский федеральный университет им. Иммануила Канта, 2020. - 171 с. - Текст (визуальный) : непосредственный.Ястреб, Ольга Викторовна. Формирование профессиональной гибкости представителей фармацевтических компаний средствами коучинг-технологий : монография / О. В. Ястреб, 2020. - 139 с. - Текст (визуальный) : непосредственный.Оптимизация природопользования в Балтийском регионе: новые глобальные риски и геоэкологический подход / Е. В. Краснов, М. Н. Семерякова, М. В. Мартынова, Д. В. Гаева. - Текст : непосредственный // Балтийский регион - регион сотрудничества / Балтийский федеральный университет имени Иммануила Канта. - Калининград : Изд-во Балтийского федерального ун-та им. И. Канта, 2020. - Т. 4 : Регионы в условиях глобальных изменений ч. 3. - с. 119-125Шефер, Елена Викторовна. Реализация импортозамещения в машиностроительном комплексе на основе экономической коллаборации (на примере Калининградского машиностроительного комплекса) : специальность 08.00.05 - Экономика и управление народным хозяйством (экономика, организация и управление предприятиями, отраслями, комплексами: промышленность) : автореферат диссертации на соискание ученой степени кандидата экономических наук / Шефер Елена Викторовна, 2021. - 24 с. - Текст : непосредственный.Просеков, Александр Юрьевич. Бактериоцины в молочной промышленности: технологии получения и перспективы применения : монография / А. Ю. Просеков, О. О. Бабич, С. А. Сухих, 2021. - 206 с. - Текст (визуальный) : непосредственный.Проскуркин, Иван Сергеевич. Динамические режимы нейроподобных сетей импульсно связанных химических осцилляторов и создание устройства с адаптивным поведением : 01.04.03 - Радиофизика : автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Проскуркин Иван Сергеевич, 2021. - 27 с. - Текст : непосредственный.Носиков, Игорь Анатольевич. Прямой вариационный метод для расчета траекторных характеристик КВ радиотрасс в ионосфере : специальность 01.04.03 - "радиофизика" : автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Носиков Игорь Анатольевич, 2021. - 23 с. - Текст : непосредственный.
Показать все результатыСветло-темная структура интерференционных линий Косселя и анализ кристаллической структуры /II/ / ТПП УССР. - 37 c. - Текст : непосредственный.Иванова Е.А. Синтез корректных алгоритмов типа вычисления оценок : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.17 / Е. А. Иванова, 1991. - 15 с. - Текст : непосредственный.Кожевникова Г.П. Методы сборочно-конкретизирующего анализа вычислительной сложности алгоритмов и их приложения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.11 / Г. П. Кожевникова, 1991. - 33 с. - Текст : непосредственный.Куракин А.Л. Методы вероятностного расчета быстродействия апериодических автоматов и их приложения к повышению эффективности обработки экспериментальных данных.Решающие системы,океанологический мониторинг : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.04.01 / А. Л. Куракин, 1992. - 37 с. - Текст : непосредственный.Кабаве М.А. Конечно-автоматные методы преобразования и оптимизации нечетких языков : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / М. А. Кабаве, 1993. - 16 с. - Текст : непосредственный.Аль Ясин Д.А. Волновые процесcы взаимодействия звеньев однородных клеточных цепей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / Д. А. Аль Ясин, 1993. - 15 с. - Текст : непосредственный.Соловьев В.Д. Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 05.13.17 / В. Д. Соловьев, 1995. - 23 с. - Текст : непосредственный.Мох'д Гассан Изеддин Абаза.Модели и методы поиска оптимальных программных реализаций простых зацикленных алгоритмов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Мох'д Гассан Изеддин Абаза, 1995. - 15 с. - Текст : непосредственный.Адамацкий А.И. Идентификация клеточных автоматов: теория и приложения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / А. И. Адамацкий, 1996. - 19 с. - Текст : непосредственный.Осетрова Т.А. Алгоритмы исключения неизвестных, основанные на теории многомерных вычетов, и их компьютерная реализация : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.07 / Т. А. Осетрова, 1996. - 13 с. - Текст : непосредственный.Евневич Е.Л. Автоматизация выбора и синтеза комбинированных алгоритмов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / Е. Л. Евневич, 1996. - 14 с. - Текст : непосредственный.Демидов А.В. Автоволновые процессы в однородных клеточных средах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. В. Демидов, 1996. - 15 с. - Текст : непосредственный.Карасева Л.Э. Теоремы существования статических алгоритмов группового тестирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.07 / Л. Э. Карасева, 1997. - 15 с. - Текст : непосредственный.Бородай С.Ю. Эксперименты в эффективно заданных классах автоматов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / С. Ю. Бородай, 1997. - 21 с. - Текст : непосредственный.Курганский А.Н. Неотличимость конечных автоматов, взаимодействующих со средой : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. Н. Курганский, 1997. - 21 с. - Текст : непосредственный.Кац М.М. Упорядоченные автоматы : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / М. М. Кац, 1997. - 16 с. - Текст : непосредственный.Мамаев В.В. Построение корректных моделей алгоритмов ограниченной емкости : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.17 / В. В. Мамаев, 1998. - 16 с. - Текст : непосредственный.Мещерякова О.В. Методы синтеза и анализа некоторых классов автоматов-перечислителей : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.09 / О. В. Мещерякова, 1998. - 17 с. - Текст : непосредственный.Васильев Н.П. Разработка и исследование алгоритмов хэширования и генерации псевдослучайных последовательностей : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.11 / Н. П. Васильев, 1998. - 20 с. - Текст : непосредственный.Макаров В.В. О порождающих системах групп автоматных перестановок : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / В. В. Макаров, 1998. - 8 с. - Текст : непосредственный.
Показать все результатыПлоткин Б.И. Элементы алгебраической теории автоматов : Учеб.пособие для студентов вузов по направлению "Прикл.математика и информатика" / Б. И. Плоткин, Л. Я. Гринглаз, А. А. Гварамия, 1994. - 191 c. - Текст : непосредственный.Reinhardt K. Prioritatszahlerautomaten und die Synchronisation von Halbspursprachen : Diss. / K.Reinhardt, 1994. - 77 S. - Текст : непосредственный.Теория автоматов : Тр.семинара / Институт кибернетики (Киев). Вып. 5, 1969. - 111 с. - Текст : непосредственный.Левин В.И. Теория автоматов и моделирование сложных систем : Учеб.пособие / В.И.Левин, 1995. - 84 c. - Текст : непосредственный.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. - Текст : непосредственный.Jacobs B.P.F. Automata and behaviours in categories of processes / B.P.F.Jacobs, 1996. - 14 p. - Текст : непосредственный.Petersen H. Entscheidbarkeitsfragen und Hierarchieresultate fur Mehrkopfautomaten und verwandte Berechenbarkeitsmodelle : Diss. / H.Petersen, 1996. - 86 S. - Текст : непосредственный.Левин В.И. Теория динамических автоматов / В.И.Левин, 1995. - 407 c. - Текст : непосредственный.Тьюринг А. Может ли машина мыслить. Общая и логическая теория автоматов ; / Д.фон Нейман ; Пер. с англ. Ю.А.Данилова; Ред. и предисл. С.А.Яновской, 1960. - 112 с. - Текст : непосредственный.Крючкова Е.Н. Теория формальных языков и автоматов : Учеб. пособие по курсу "Теория вычисл. процессов и структур" (для подгот. специалистов по направлению "Информатика и вычисл. техника") / Е.Н.Крючкова, 1996. - 82 с. - Текст : непосредственный.Фесенко В.И. Элементы теории алгоритмов и абстрактных автоматов : Учеб. пособие / В.И.Фесенко,В.М.Шабашов, 1985. - 96 с. - Текст : непосредственный.Шалыто А.А. Switch-технология. Алгоритмизация и программирование задач логического управления / А.А.Шалыто, 1998. - 626 с. - Текст : непосредственный.Рощин, А. Г. Теория автоматов : Тексты лекций. Ч. 1, 1998. - 76 с. - Текст : непосредственный.Rutten J.J. Automata and coinduction (an exercise in coalgebra) / J.J.Rutten, 1998. - 22 p. - Текст : непосредственный.Данилин Г.Г. Учебное пособие по курсу Теоретические основы ЦВМ. Перестраиваемые автоматы и многопроцессорные системы / Г.Г.Данилин;Ред.Ю.М.Щеглов, 1991. - 79 с. - Текст : непосредственный.Баркалов А.А. PR -автоматы: функционирование, оптимизация, выбор метода синтеза / А. А. Баркалов, С. И. Юсифов, Д. К. Дас, 1991. - 25 с. - Текст : непосредственный.Богомолов А.М. Автоматные модели и рекурсивный конструктивизм : Учеб. пособие для студентов мех.-мат. фак. и фак. прикл. математики ун-тов / А. М. Богомолов, А. А. Сытник, В. А. Твердохлебов, 1992. - 75 с. - Текст : непосредственный.Rutten J.J. Automata, power series, and coinduction: taking input derivatives seriously (extended abstract) / J.J.Rutten, 1999. - 13 p. - Текст : непосредственный.Goles E. Neural and automata networks : Dynamical behavior a. applications / E.Goles,S.Martinez, 1990. - XIII,250 p. p. - Текст : непосредственный.
Показать все результатыКанеп Я.Я. Представимость языков в двусторонних конечных вероятностных автоматах : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.09 / Я. Я. Канеп, 1991. - 14 с. - Текст : непосредственный.Куракин А.Л. Методы вероятностного расчета быстродействия апериодических автоматов и их приложения к повышению эффективности обработки экспериментальных данных.Решающие системы,океанологический мониторинг : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.04.01 / А. Л. Куракин, 1992. - 37 с. - Текст : непосредственный.Сытник А.А. Методы и модели функционального восстановления поведения дискретных систем с памятью : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.13 / А. А. Сытник, 1993. - 31 с. - Текст : непосредственный.Кабаве М.А. Конечно-автоматные методы преобразования и оптимизации нечетких языков : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / М. А. Кабаве, 1993. - 16 с. - Текст : непосредственный.Кальянов Л.В. Устойчивость поведения автоматов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / Л. В. Кальянов, 1993. - 22 с. - Текст : непосредственный.Аль Ясин Д.А. Волновые процесcы взаимодействия звеньев однородных клеточных цепей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / Д. А. Аль Ясин, 1993. - 15 с. - Текст : непосредственный.Липский В.Б. Разработка и реализация алгоритмов логического проектирования управляющих автоматов, устойчивых к состязаниям : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.01 / В. Б. Липский, 1994. - 16 с. - Текст : непосредственный.Агибалов Г.П. Дискретные автоматы на полурешетках : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.01 / Г. П. Агибалов, 1993. - 40 с. - Текст : непосредственный.Ключников А.В. О синтезе автоматов по конечным фрагментам их поведения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Ключников, 1993. - 9 с. - Текст : непосредственный.Аблаев Ф.М. Коммуникационная сложность вероятностных вычислений и некоторые ее приложения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.09 / Ф. М. Аблаев, 1994. - 18 с. - Текст : непосредственный.Чирков М.К. Проблемы и методики теории обобщенных математических моделей конечно-автоматного типа : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;05.13.18 / М. К. Чирков, 1994. - 65 с. - Текст : непосредственный.Грунская В.И. О некоторых свойствах траекторий автоматов в лабиринтах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / В. И. Грунская, 1995. - 18 с. - Текст : непосредственный.Адамацкий А.И. Идентификация клеточных автоматов: теория и приложения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / А. И. Адамацкий, 1996. - 19 с. - Текст : непосредственный.Демидов А.В. Автоволновые процессы в однородных клеточных средах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. В. Демидов, 1996. - 15 с. - Текст : непосредственный.Думов А.С. О росте конфигураций в однородных структурах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. С. Думов, 1997. - 13 с. - Текст : непосредственный.Бородай С.Ю. Эксперименты в эффективно заданных классах автоматов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / С. Ю. Бородай, 1997. - 21 с. - Текст : непосредственный.Курганский А.Н. Неотличимость конечных автоматов, взаимодействующих со средой : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. Н. Курганский, 1997. - 21 с. - Текст : непосредственный.Кац М.М. Упорядоченные автоматы : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / М. М. Кац, 1997. - 16 с. - Текст : непосредственный.Мещерякова О.В. Методы синтеза и анализа некоторых классов автоматов-перечислителей : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.09 / О. В. Мещерякова, 1998. - 17 с. - Текст : непосредственный.Макаров В.В. О порождающих системах групп автоматных перестановок : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / В. В. Макаров, 1998. - 8 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽