Приложение
для AndroidПолное описание
Постников, А. И. Теория автоматов : учеб. пособие / А. И. Постников. - Красноярск : ИПК СФУ, 2008 (Красноярск). - 275 с. : ил. - (Учебно-методический комплекс дисциплины). - Библиогр.: с. 271-272 (30 назв.). - 500 экз. - ISBN 978-5-7638-1156-8. - ISBN 978-5-7638-1157-5 : Б. ц. - Текст : непосредственный.
В надзаг.: Сиб. федер. ун-т
Приложение:
Сопроводительный материал :ОДМ/1886 (электрон. опт. диск (CD-ROM)-пнт)
| ГРНТИ | УДК | |
| 28.25 | 519.713 |
Рубрики:
Автоматов теория
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Лупал А.М. Теория автоматов : Учеб.пособие / А.М.Лупал, 2000. - 119 с. - Текст : непосредственный.Карпов Ю.Г. Теория автоматов / Ю.Г.Карпов, 2002. - 206 с. - Текст : непосредственный.Теория автоматов : Курс лекций / Н.В. Костромина, 2005. - 96 с. - Текст : непосредственный.Теория автоматов : учебник для студентов втузов / В. А. Горбатов, А. В. Горбатов, М. В. Горбатова, 2008. - 559 с. - Текст : непосредственный.История электротехники и электроэнергетики : учеб. пособие / Т. А. Боякова, С. А. Бояков, 2008. - 241 с. - Текст : непосредственный.Стандартизация : учеб. пособие / В. С. Секацкий, О. А. Григорьева, 2008. - 192 с. - Текст : непосредственный.Микропроцессорная техника : учеб. пособие / В. Б. Молодецкий [и др.], 2008. - 126 с. - Текст : непосредственный.Языки программирования. Ассемблер : учеб. пособие / С. Н. Титовский, Н. В. Титовская, 2008. - 125 с. - Текст : непосредственный.Компьютерные технологии в науке и производстве : учеб. пособие / А. Н. Втюрин, А. С. Крылов, Ю. В. Герасимова, 2008. - 124 с. - Текст : непосредственный.Языки программирования. Язык С : учеб. пособие: конспект лекций / Е. А. Новиков, Ю. А. Шитов, 2008. - 407 с. - Текст : непосредственный.Схемотехника аналоговых электронных устройств : учеб. пособие / А. Г. Григорьев, А. И. Громыко, В. Д. Скачко, 2008. - 167 с. - Текст : непосредственный.Управление качеством : учеб. пособие / Н. В. Мерзликина, А. А. Недбай, 2008. - 210 с. - Текст : непосредственный.Электроснабжение : конспект. лекций : учеб. пособие / Ю. П. Попов, Л. С. Синенко, Е. Ю. Сизганова, 2008. - 211 с. - Текст : непосредственный.Детали машин : учеб. пособие / Н. И. Галибей [и др.], 2008. - 229 с. - Текст : непосредственный.Технологии разработки программного обеспечения : учеб. пособие / Ю. Ю. Якунин, 2008. - 232 с. - Текст : непосредственный.Теория автоматов : учеб. пособие / А. И. Постников, 2008. - 275 с. - Текст : непосредственный.Методы и средства энерго- и ресурсосбережения : учеб. пособие / В. В. Стафиевская, А. М. Велентеенко, В. А. Фролов, 2008. - 431 с. - Текст : непосредственный.История электротехники и электроэнергетики : учеб. пособие / Т. А. Боякова, С. А. Бояков, 2008. - 1 o=электрон. опт. диск (CD-ROM).Стандартизация : учеб. пособие / В. С. Секацкий, О. А. Григорьева, 2008. - 1 o=электрон. опт. диск (CD-ROM).Высокоэнергетические методы получения ультрадисперсных и наноматериалов : учеб. пособие / А. Ю. Бабушкин, В. П. Исаков, А. И. Лямкин, 2008. - 242 с. - Текст : непосредственный.
Показать все результатыСветло-темная структура интерференционных линий Косселя и анализ кристаллической структуры /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 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽