Полное описание
Горбатов, В. А.
Рубрики: Автоматов теория
Доп. точки доступа: Московский энергетический ин-т. Кафедра вычислительной техники
Электронный ресурс
Полный текст
Полный текст
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д4/12672)
Шифр в сводном ЭК: e2848409db3bbd67c2a9d88606e92ebd
Горбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 1973. - 106 с. - Текст : непосредственный. Филд А. Функциональное программирование / А. Филд, П. Харрисон ; ред. В. А. Горбатов, 1993. - 638 c. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Горбатов В.А. Искусственный интеллект в САПР : Учеб. пособие для студентов спец. 22.03 / В. А. Горбатов, А. Г. Огиренко, М. И. Смирнов, 1994. - 183 c. - Текст : непосредственный. Логическое управление с использованием ЭВМ : Тез. докл. XIY Всесоюз. симпоз. / Московский горный ин-т, 1991. - 398 с. - Текст : непосредственный. Защита угольных шахт от самовозгорания угля / В.А.Горбатов,В.Г.Игишев,В.Б.Попов и др., 2001. - 132 с. - Текст : непосредственный. Горбатов В.А. Дискретная математика : Учебник для студентов втузов / В. А. Горбатов, А. В. Горбатов, М. В. Горбатова, 2003. - 447 с. - Текст : непосредственный. Технологические схемы профилактики, локализации и тушения эндогенных пожаров в угольных шахтах / В.А.Горбатов,В.Г.Игишев,В.Б.Попов и др., 2002. - 177 с. - Текст : непосредственный. Горбатов В.А. Логическое управление распределенными системами / В. А. Горбатов, М. И. Смирнов, И. С. Хлытчиев, 1991. - 287 с. - Текст : непосредственный. Горбатов В.А. Теория автоматов : учебник для студентов втузов / В. А. Горбатов, А. В. Горбатов, М. В. Горбатова, 2008. - 559 с. - Текст : непосредственный. Горбатов В.А. Безопасность работ при локализации пожаров на склонных к самовозгоранию пластах угля / В. А. Горбатов, И. М. Васенин, В. Г. Игишев, 2004. - 153 с. Горбатов В.А. Безопасность работ при локализации пожаров на склонных к самовозгоранию пластах угля / В. А. Горбатов, И. М. Васенин, В. Г. Игишев, 2004. - 153 с. - Текст : непосредственный. Горбатов, В. А. Дискретная математика в задачах и упражнениях : Учеб.пособие для студентов спец."Системы автоматизир.проектирования". Ч. 3, 1989. - 134 с. - Текст : непосредственный. Горбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 1973. - 106 с. - Текст : непосредственный. Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный. Основы построения информационно-измерительных систем : монография / Н. А. Винокурова, В. В. Гайдученко, А. И. Карякин [и др.], 2004. - 267 с. - Текст : непосредственный. Электроматериаловедение / Московский энергетический ин-т, 1939. - 164 с. - Текст : непосредственный. Электротехнология на рубеже ХХ-XXI вв. : материалы временных коллективов / Московский энергетический ин-т, 2005. - 167 с. - Текст : непосредственный. Радиоэлектроника, электротехника и энергетика : 9-я Междунар. науч.-техн. конф. студентов и аспирантов, Москва, 4-5 марта 2003 г. / Московский энергетический ин-т. Т. 1, 2003. - 415 с. - Текст : непосредственный. Информационные средства и технологии : тр. 18-й междунар. науч.-практ. конф., Москва, 19-21 окт. 2010 г.: в 3 т. Т. 3 : Информационные технологии в инженерном и экономическом образовании. Информатизация в энергетике и энергомашиностроении, 2010. - 360 с. - Текст : непосредственный. Информационные средства и технологии : тр. 18-й междунар. науч.-практ. конф., Москва, 19-21 окт. 2010 г.: в 3 т. Т. 2 : Новые технологии цифровой обработки сигналов. Компьютеризация процессов обучения и принятия решений. Вычислительные системы и сети, 2010. - 359 с. - Текст : непосредственный. Информационные средства и технологии : тр. 18-й междунар. науч.-практ. конф., Москва, 19-21 окт. 2010 г.: в 3 т. Т. 1 : Интеллектуализация современных информационных средств и систем. Информатизация в машиностроении. Математика и ее приложения, 2010. - 358 с. - Текст : непосредственный. Тепловые схемы и оборудование энергоэффективных систем теплоснабжения : учебное пособие / А. В. Бобряков, К. Б. Борисов, А. Б. Гаряев [и др.] ; Ред. А. Я. Шелгинский, 2008. - 230 с. - Текст : непосредственный. Сборник задач по курсу "Системы передачи информации" / В. А. Борисов, Н. С. Губонин, Л. В. Когновицкий ; Ред. Е. Е. Лазарева, 1992. - 81 с. - Текст : непосредственный. Казаков В.Н. Линейные электрические цепи : Учеб.пособие по курсу "Теорет.основы электротехники". Ч. 1 / Г.Н.Бельцевич,В.П.Герасименко,А.К.Голубев и др., 1992. - 173 с. - Текст : непосредственный. Информационные средства и технологии : труды 17 междунар. науч.-техн. конф., Москва, 20-22 октября 2009: в 3-х т. / Московский энергетический ин-т. Т. 3 : Информационные технологии в инженерном и экономическом образовании. Управление и информатика в технических системах, 2009. - 266 с. - Текст : непосредственный. Зубов В.С. Математическое обеспечение цифровых вычислительных машин и систем : выставочные материалы / В. С. Зубов, Л. П. Гайфуллина ; Ред. В. Н. Фальк, 1974. - 118 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Горбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 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. - 191 c. - Текст : непосредственный. Карпов Ю.Г. Теория автоматов / Ю. Г. Карпов, 2002. - 206 с. - Текст : непосредственный. Епифанов А.С. Анализ фазовых картин дискретных динамических систем / А. С. Епифанов, 2008. - 155 с. - Текст : непосредственный. Твердохлебов В.А. Геометрические образы законов функционирования автоматов / В. А. Твердохлебов, 2008. - 182 с. - Текст : непосредственный. Fehler in Automaten / Hrsg.: D. Bochmann, R. Ubar, 1989. - 216 S. - Текст : непосредственный. Введение в формальные языки и распознающие автоматы : выставочные материалы / В. И. Курганский, М. И. Бутаков, О. В. Курганская, В. И. Черных, 2014. - 115 с. - Текст : непосредственный. Фрид А.И. Избранные лекции по теории автоматов / А. И. Фрид, 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 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Просмотр издания или
Просмотр издания или
Просмотр издания
Приложение
для Android
