Полное описание
Вольфенгаген, В. Э. ISBN 5-89158-102-7. - Текст : непосредственный.
ГРНТИ УДК 28.25.19 519.713
Рубрики: Автоматов теория
Кл.слова (ненормированные): АБСТРАКТНЫЙ АВТОМАТ
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д8-02/79143)
Шифр в сводном ЭК: 2495b9d457889d1801e6d4d66efe345a
Методы и средства построения систем знания : Учеб.пособие / Вольфенгаген В.Э.и др. Ч. 2 : Модели, обслуживающие базы данных и базы знаний / В.Э.Вольфенгаген,И.А.Горюнова,С.В.Косиков, 1992. - 135 с. - Текст : непосредственный. Вольфенгаген В.Э. Конструкции языков программирования : монография / В. Э. Вольфенгаген, 2001. - 276 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Вольфенгаген В.Э. Методы и средства вычислений с объектами : Аппликативные вычислительные системы / В.Э. Вольфенгаген, 2004. - 788 с. - Текст : непосредственный. Вольфенгаген В.Э. Концептуализация в аппликативных вычислительных системах : Учеб. пособие / В.Э.Вольфенгаген, 1990. - 56 c. - Текст : непосредственный. Методы и средства построения систем знания : Учеб.пособие / Вольфенгаген В.Э.и др. Ч. 1 : Модели, обслуживающие ЛИСП / В.Э.Вольфенгаген,И.А.Горюнова,С.В.Косиков, 1992. - 162 с. - Текст : непосредственный. Вольфенгаген В.Э. Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах / В.Э.Вольфенгаген, 2003. - 335 с. - Текст : непосредственный. Вольфенгаген В.Э. Комбинаторная логика в программировании (Вычисления с объектами в примерах и задачах) : Учеб.пособие / В.Э.Вольфенгаген, 1994. - 202 c. - Текст : непосредственный. Вольфенгаген В.Э. Категориальная абстрактная машина : Конспект лекций: введение в вычисления / В.Э.Вольфенгаген, 2002. - 95 с. - Текст : непосредственный. Вольфенгаген В.Э. Теория вычислений : Учеб.пособие / В.Э.Вольфенгаген, 1993. - 72 c. - Текст : непосредственный. Вольфенгаген В.Э. Проектирование языков программирования и теория вычислений : Учеб.пособие / В.Э.Вольфенгаген, 1993. - 167 c. - Текст : непосредственный. Вольфенгаген В.Э. Категориальная абстрактная машина : Учеб.пособие / В.Э.Вольфенгаген, 1993. - 72 c. - Текст : непосредственный. Исмаилова Э.Ю. Экологическое право / Э. Ю. Исмаилова, Ю. В. Трунцевский, Н. Е. Саввич, 2003. - 402 с. - Текст : непосредственный. Вольфенгаген В.Э. Конструкции языков программирования : монография / В. Э. Вольфенгаген, 2001. - 276 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Цитович П.П. Очерк основных понятий торгового права / П.П.Цитович, 2001. - 434 с. - Текст : непосредственный. Правовое регулирование банковской деятельности / Ред. Е. А. Суханов, 1997. - 441 с. - Текст : непосредственный. Вольфенгаген В.Э. Методы и средства вычислений с объектами : Аппликативные вычислительные системы / В.Э. Вольфенгаген, 2004. - 788 с. - Текст : непосредственный. Рукавишникова И.В. Вексель как объект гражданских правоотношений / И.В.Рукавишникова, 2003. - 270 с. - Текст : непосредственный. Озеров, Иван Христофорович. Основы финансовой науки. Бюджет. Формы взимания. Местные финансы. Государственный кредит / И. Х. Озеров, 2008. - 622 с. - Текст : непосредственный. Белов В.А. Вексельное законодательство России : Науч.-практ.комментарий / В.А.Белов, 1996. - 485 с. - Текст : непосредственный. Галагуза Н.Ф. Страховые посредники / Н.Ф.Галагуза, 1998. - 202 с. - Текст : непосредственный. Кучеров И.И. Бюджетное право России : Курс лекцийФедер. программа книгоиздания России / И.И.Кучеров, 2002. - 316 с. - Текст : непосредственный. Белов В.А. Практика вексельного права / В.А.Белов, 1998. - 376 с. - Текст : непосредственный. Вольфенгаген В.Э. Категориальная абстрактная машина : Конспект лекций: введение в вычисления / В.Э.Вольфенгаген, 2002. - 95 с. - Текст : непосредственный. Кучеров И.И. Международное налоговое право : учеб. для вузов / И. И. Кучеров, 2007. - 451 с. - Текст : непосредственный. Гражданский Кодекс Российской Федерации. Части 1, 2 и 3 : парал. рус. и англ. тексты: по сост. на 10 нояб. 2007 г. / пер. на англ. яз. и науч. ред. У. Э. Батлера, 2008. - 925 с. - Текст : непосредственный. Бабкин С.А. Интеллектуальная собственность в Сети "Интернет" / С.А. Бабкин, 2005. - 214 с. - Текст : непосредственный. Бабкин С.А. Основные начала организации оборота недвижимости / С.А.Бабкин, 2001. - 370 с. - Текст : непосредственный. Белов В.А. Ценные бумаги в Российском гражданском праве / В.А.Белов;Под ред.Е.А.Суханова, 1996. - 438 c. - Текст : непосредственный. Вольфенгаген В.Э. Категориальная абстрактная машина : Учеб.пособие / В.Э.Вольфенгаген, 1993. - 72 c. - Текст : непосредственный. Бабкин С.А. Право, применимое к отношениям, возникающим при использовании сети "Интернет" : основные проблемы / С. А. Бабкин, 2003. - 80 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Кузьмин Е.В. Счетчиковые машины : учеб пособие / Е. В. Кузьмин; под ред. В. А. Соколова, 2010. - 127 с. - Текст : непосредственный. Kluge W. Abstract computing machines : a lambda calculus perspective / W. Kluge, 2005 r=on-line. - Текст : электронный. Вольфенгаген В.Э. Категориальная абстрактная машина : Конспект лекций: введение в вычисления / В.Э.Вольфенгаген, 2002. - 95 с. - Текст : непосредственный. Деев Г.Е. Абстрактные вычислительные устройства / Г.Е.Деев,А.В.Ламков, 2004. - 547 с. - Текст : непосредственный. Abstract state machines, Alloy, B and Z : second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010: proceedings / SpringerLink (Online service), 2010 r=on-line. - Текст : электронный. Горбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике, 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
