Полное описание
Карпов, Ю. Г. ISBN 5-318-00537-3. - Текст : непосредственный.
Рубрики: Автоматов теория
Кл.слова (ненормированные): АВТОМАТ -- ТЕОРИЯ
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ж2-02/28707)
Шифр в сводном ЭК: 8670f2153604b7e5dc807fddd5f89470
Карпов Ю.Г. Теория автоматов / Ю. Г. Карпов, 2002. - 206 с. - Текст : непосредственный. Карпов Ю.Г. Model checking. Верификация параллельных и распределенных программных систем / Ю. Г. Карпов, 2010. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Законы механики и молекулярной физики в физическом эксперименте : учеб. пособие / В. Б. Демин [и др.], 2013. - 160 с. - Текст : непосредственный. Шошмина И.В. Введение в язык PROMELA и систему комплексной верификации SPIN : учеб. пособие / И. В. Шошмина, Ю. Г. Карпов, 2010. - 111 с. - Текст : непосредственный. Карпов Ю.Г. Model checking. Верификация параллельных и распределенных программных систем / Ю. Г. Карпов, 2010. - 551 с. - Текст : непосредственный. Карпов Ю.Г. Электричество и магнетизм : учеб. пособие / Ю. Г. Карпов, А. Н. Филанович, А. А. Повзнер, 2013. - 163 с. - Текст : непосредственный. Карпов Ю.Г. Автоматы и формальные языки : сб. задач / Ю. Г. Карпов, 2015. - 84 с. - Текст : непосредственный. Законы механики и молекулярной физики в физическом эксперименте : учеб. пособие / В. Б. Демин [и др.], 2015. - 160 с. - Текст : непосредственный. Карпов Ю.Г. Верификация распределенных систем : учеб. пособие / Ю. Г. Карпов, И. В. Шошмина, 2011. - 211 с. - Текст : непосредственный. Карпов Ю.Г. Технология программирования. Верификация параллельных и распределенных программных систем : учеб. пособие / Ю. Г. Карпов, 2010. - 119 с. - Текст : непосредственный. Карпов Ю.Г. Электричество и магнетизм : учеб. пособие / Ю. Г. Карпов, А. Н. Филанович, А. А. Повзнер, 2015. - 163 с. - Текст : непосредственный. Карпов Ю.Г. Теория и технология программирования. Основы построения трансляторов : Учеб. пособие / Ю.Г. Карпов, 2005. - 270 с. - Текст : непосредственный. Основы менеджмента : учебное пособие / Ред. А. И. Афоничкин, 2007. - 522 с. - Текст : непосредственный. Олейник П.П. Корпоративные информационные системы для бакалавров и специалистов : выставочные материалы / П. П. Олейник, 2012. - 175 с. - Текст : непосредственный. Экономическая теория / С. В. Мочерный, В. Н. Некрасов, В. Н. Овчинников, В. В. Секретарюк, 2003. - 416 с. - Текст : непосредственный. Гидравлика и гидропневмопривод : учебное пособие / Ю. Н. Беленков, А. В. Лепешкин, А. А. Михайлин [и др.], 2009. - 286 с. - Текст : непосредственный. Пассажирские автомобильные перевозки / В. А. Гудков, Л. Б. Миротин, А. В. Вельможин, С. А. Ширяев, 2004. - 447 с. - Текст : непосредственный. Безопасность жизнедеятельности : выставочные материалы / Л. А. Михайлов, В. П. Соломин, Т. А. Беспамятных [и др.], 2014. - 460 с. - Текст : непосредственный. Зосименко И.А. Социология массовых коммуникаций : выставочные материалы / И. А. Зосименко, 2013. - 357 с. - Текст : непосредственный. Ерофеев А.А. Теория автоматического управления / А. А. Ерофеев, 2001. - 302 с. - Текст : непосредственный. Карасев Е.И. Оборудование предприятий для производства древесных плит / Е. И. Карасев, С. Д. Каменков, 2002. - 319 с. - Текст : непосредственный. Поиски и разведка месторождений полезных ископаемых : учебное пособие / В. В. Авдонин, Г. В. Ручкин, Н. Н. Шатагин [и др.], 2007. - 539 с. - Текст : непосредственный. Сухарев О.С. Стратегия эффективного развития фирмы : учебное пособие / О. С. Сухарев, 2008. - 287 с. - Текст : непосредственный. Черняк В.З. Сборник задач по экономике : учебное пособие / В. З. Черняк, 2008. - 318 с. - Текст : непосредственный. Дорофеев Б.Ю. Валютное право России : учебное пособие / Б. Ю. Дорофеев, Н. Н. Земцов, В. А. Пушин, 2008. - 239 с. - Текст : непосредственный. Мэнкью Н.Г. Принципы экономикс / Н. Г. Мэнкью, 2003. - 623 с. - Текст : непосредственный. Михайлов Л.А. Чрезвычайные ситуации природного, техногенного и социального характера и защита от них : учебное пособие / Л. А. Михайлов, 2008. - 234 с. - Текст : непосредственный. Есипов В. Оценка бизнеса / В. Есипов, Г. Маховикова, В. Терехова, 2002. - 415 с. - Текст : непосредственный. Немнюгин С.А. Turbo Pascal. Программирование на языке высокого уровня / С. А. Немнюгин, 2003. - 543 с. - Текст : непосредственный. Кузьменко Н.Е. Начала химии. Современный курс для поступающих в вузы / Н. Е. Кузьменко, В. В. Еремин, В. А. Попков, 2005. - 831 с. - Текст : непосредственный. Ученова В.В. История рекламы / В. В. Ученова, Н. В. Старых, 2002. - 303 с. - Текст : непосредственный. Орлов А.И. Теория принятия решений / А. И. Орлов, 2006. - 574 с. - Текст : непосредственный. Показать все результаты Горбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 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
