Приложение
для AndroidПолное описание
Reinhardt, K. Prioritatszahlerautomaten und die Synchronisation von Halbspursprachen : Diss. / K.Reinhardt. - Stuttgart : [s. n.], 1994. - 77 S. : Ill. - Текст : непосредственный.
Библиогр.:с.70-74
| ГРНТИ | УДК | |
| 28.25 | 519.713(043) |
Рубрики:
Автоматов теория
Кл.слова (ненормированные): автомат
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Светло-темная структура интерференционных линий Косселя и анализ кристаллической структуры /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.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 с. - Текст : непосредственный.Бабин Д.Н. Решение проблемы классификации автоматных базисов поста по разрешимости свойств полноты и А-полноты : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.09 / Д. Н. Бабин, 1999. - 19 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽