Полное описание
Селиванов, В. Л.
ГРНТИ УДК 16.31.31 510.567(04)
Рубрики: Формальные языки
Доп. точки доступа: Щукин, А.Г.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/49881/69)
Шифр в сводном ЭК: f094ca63118dabc3143973c0b945f5de
Селиванов В.Л. Краткий курс математической логики : Учеб.пособие / В. Л. Селиванов, А. А. Урман, А. Б. Хуторецкий, 1997. - 167 с. - Текст : непосредственный. Селиванов В.Л. Об иерархиях регулярных беззвездных языков / В.Л.Селиванов,А.Г.Щукин, 2000. - 28 с. - Текст : непосредственный. Селиванов В.Л. Alogical approach to decidability of hierarchies of regular star-free languages / В.Л.Селиванов, 2000. - 20 p. - Текст : непосредственный. Пупынин Д.Г. Основы программирования в среде Delphi : учеб. пособие / Д.Г. Пупынин, В.Л. Селиванов, В.Н. Тимкин, 2004. - 294 с. - Текст : непосредственный. Ершов, Юрий Леонидович. Топология для дискретной математики / Ю. Л. Ершов; ответственный редактор В. Л. Селиванов, 2020. - 333 с. - Текст (визуальный) : непосредственный. Аулов, Владимир Константинович. Судебная власть: институционально-правовые аспекты : Монография / В.К. Аулов, 2019. - 404 с. (Введено оглавление). - Текст : электронный. Непомнящий В.А. Язык спецификаций распределенных систем Dynamic-REAL / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов, 2007. - 42 с. - Текст : непосредственный. Тумуров Э.Г. Технология спецификации коммуникационных протоколов / Э. Г. Тумуров, 2007. - 22 с. - Текст : непосредственный. Гаранина Н.О. Аффинное представление данных для проверки моделей программ / Н. О. Гаранина, 2004. - 48 с. - Текст : непосредственный. Андреева М.В. Параллельные варианты MAY-тестовых эквивалентностей временных структур событий / М. В. Андреева, 2000. - 23 с. - Текст : непосредственный. Городняя Л.В. Банк улучшаемых компонентов информационных систем / Л. В. Городняя, 2005. - 40 с. - Текст : непосредственный. Цаценко Н.Н. Технологии работы с данными в интероперабельных средах CORBA, RMI, EJB / Н. Н. Цаценко, 2002. - 36 с. - Текст : непосредственный. Москалева Н.С. Теоретико-категорная характеризация трассовой эквивалентности временных параллельных моделей / Н. С. Москалева, 2002. - 22 с. - Текст : непосредственный. Козюра В.Е. Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток / В. Е. Козюра, 2002. - 44 с. - Текст : непосредственный. Ануреев И.С. Теория систем переписывания формул / И. С. Ануреев, 1998. - 35 с. - Текст : непосредственный. Замулин А.В. Algebraic specification language Ruslan 99 / А. В. Замулин, 1999. - 34 p. - Текст : непосредственный. Боженкова Е.Н. Исследование разрешимости временных тестовых эквивалентностей / Е. Н. Боженкова, 1999. - 31 с. - Текст : непосредственный. Евстигнеев В.А. Анализ циклов: выбор кандидатов на распараллеливание / В. А. Евстигнеев, И. Л. Мирзуитова, 1999. - 48 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный. Завьялов С.В. Стеганографические методы защиты информации : выставочные материалы / С. В. Завьялов, Ю. В. Ветров, 2012. - 189 с. - Текст : непосредственный. Деундяк В.М. Элементы теории формальных языков / В. М. Деундяк, 1997. - 68 с. - Текст : непосредственный. Bel-Enguix G. New developments in formal languages and applications / G. Bel-Enguix, M. D. Jimenez-Lopez, C. Martin-Vide, 2008 r=on-line. - Текст : электронный. Шакурский В.К. Сжимающие отображения в инвариантных преобразователях и системах стеганографии / В. К. Шакурский, М. В. Шакурский, 2014. - 158 с. - Текст : непосредственный. Семенова С.Ю. Исследование языковых средств выражения параметрической информации и алгоритмизация ее поиска в тексте : специальность 05.13.17 "Теоретические основы информатики" : автореферат диссертации на соискание ученой степени канд.филос.наук / С. Ю. Семенова, 1994. - 24 с. - Текст : непосредственный. Введение в формальные языки и распознающие автоматы : выставочные материалы / В. И. Курганский, М. И. Бутаков, О. В. Курганская, В. И. Черных, 2014. - 115 с. - Текст : непосредственный. Корхов А.В. Построение вопросно-ответной системы с использованием метода математической формализации естественных языков : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. В. Корхов, 2001. - 13 с. - Текст : непосредственный. Crespi Reghizzi R.S. Formal languages and compilation / R. S. Crespi Reghizzi, 2009 r=on-line. - Текст : электронный. Клепов А.В. Шифраторы и радиоразведка. Щит и меч информационного мира. Т. 1, 2015. - 958 с. - Текст : непосредственный. Разработка моделей криптографической защиты информации / В. Г. Шубович, В. В. Капитанчук, Н. С. Знаенко, Ю. И. Титаренко, 2013. - 127 с. - Текст : электронный. Rutten J.J.M.M. Nonwellfounded sets and programming language semantics / J. J.M.M. Rutten, 1990. - 17 p. - Текст : непосредственный. Бабаш А.В. Криптографические методы защиты информации : учеб.-метод. пособие. Т. 3, 2014. - 216 с. - Текст : непосредственный. Мельников Б.Ф. Применение свойств специальных моноидов в теории формальных языков : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / Б. Ф. Мельников, 1997. - 31 с. - Текст : непосредственный. Невзорова О.А. Формальная модель реконструкции морфологических категорий естественного языка на основе текстов : специальность 05.13.17 "Теоретические основы информатики" : автореферат диссертации на соискание ученой степени канд. техн. наук / О. А. Невзорова, 1997. - 19 с. - Текст : непосредственный. Элементарное введение в эллиптическую криптографию. Алгебраические и алгоритмические основы / А. А. Болотов, С. Б. Гашков, А. Б. Фролов, А. А. Часовских, 2012. - 355 с. - Текст : непосредственный. Цифровая стеганография и цифровые водяные знаки : [монография] / В. И. Коржик [и др.] ; под общ. ред. В. И. Коржика ; С.-Петерб. гос. ун-т телекоммуникаций им. М. А. Бонч-Бруевича. Ч. 1 : Цифровая стеганография, 2016. - 225 с. - Текст : непосредственный. Криптография и безопасность цифровых систем : выставочные материалы / В. Г. Грибунин, А. П. Мартынов, Д. Б. Николаев, В. Н. Фомченко ; Ред. А. И. Астайкин, 2011. - 410 с. - Текст : электронный. Esik Z. Recent advances in formal languages and applications / Z. Esik, C. Martin-Vide, V. Mitrana, 2006 r=on-line. - Текст : электронный. Криптографические методы защиты информации : учеб. пособие / С.-Петерб. политехн. ун-т Петра Великого. Ч. 2 : Криптосистемы с открытым ключом / Е. Б. Александрова, Е. Ю. Павленко, Н. Н. Шенец, 2016. - 67 с. - Текст : непосредственный. Показать все результаты Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный. Деундяк В.М. Элементы теории формальных языков / В. М. Деундяк, 1997. - 68 с. - Текст : непосредственный. Bel-Enguix G. New developments in formal languages and applications / G. Bel-Enguix, M. D. Jimenez-Lopez, C. Martin-Vide, 2008 r=on-line. - Текст : электронный. Введение в формальные языки и распознающие автоматы : выставочные материалы / В. И. Курганский, М. И. Бутаков, О. В. Курганская, В. И. Черных, 2014. - 115 с. - Текст : непосредственный. Esik Z. Recent advances in formal languages and applications / Z. Esik, C. Martin-Vide, V. Mitrana, 2006 r=on-line. - Текст : электронный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Будкин А.И. Элементы теории автоматов и формальных языков : учебное пособие / А. И. Будкин, 2019. - 78 с. - Текст : непосредственный. Галиев Ш.И. Теория формальных языков : Учеб.пособие / Ш.И.Галиев,Л.Ю.Емалетдинова, 1994. - 100 c. - Текст : непосредственный. Чигарина Е.И. Теория конечных автоматов и формальных языков : учеб. пособие / Е. И. Чигарина, М. А. Шамашов, 2007. - 95 с. - Текст : непосредственный. Сорокина М.М. Теория автоматов и формальных языков : учебник / М. М. Сорокина, А. Б. Еловиков, 2012. - 153 с. - Текст : непосредственный. Малявко, А. А. Системное программное обеспечение. Формальные языки и методы трансляции : учеб. пособие. Ч. 1, 2010. - 101с. - Текст : непосредственный. Сердобольский В.И. Синтаксическая теория формальных языков : Учеб.пособие / В.И.Сердобольский, 2000. - 111 с. - Текст : непосредственный. Малявко, А. А. Теория формальных языков : Учеб.пособие:В 3 ч. Ч. 2, 2002. - 99 с. - Текст : непосредственный. Бондаренко, Л. Н. Дискретная математика. Конечные автоматы и формальные языки : учеб. пособие. Ч. 1, 2009. - 74 с. - Текст : непосредственный. Бояринцева Т.Е. Формальные языки и конечные автоматы / Т.Е.Бояринцева,А.Н.Щетинин,И.К.Краснов; Под ред. В.И.Хомича, 2002. - 34 с. - Текст : непосредственный. Коротков М.А. Основы формальных логических языков : Учеб. пособие / М.А.Коротков,Е.О.Степанов, 2003. - 82 с. - Текст : непосредственный. Пентус А.Е. Математическая теория формальных языков / А. Е. Пентус, М. Р. Пентус, 2006. - 247 с. - Текст : непосредственный. Показать все результаты
Приложение
для Android
