Новые поступления (книга в стадии обработки) Льюис, Ф. Теоретические основы проектирования компиляторов [Текст] : научное издание / Ф. Льюис, Д Розенкранц, Р Стирнз. - Москва : Мир, 1979. - 654, [2] с. - Библиогр. - ISBN [Б. и.] (в пер.) : 8500.00 р.
Рубрики: вычислительная техника--программирование Кл.слова (ненормированные): компиляторы -- MINI-BASIC -- конечные автоматы -- контекстно-свободные грамматики -- атрибутные грамматики Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Розенкранц, Д Стирнз, Р |
Новые поступления (книга в стадии обработки) Мангушева, Ирина Павловна. Ограниченно детерминированные функции и конечные автоматы: Решение типовых задач [Текст] : учеб. пособие / И. П. Мангушева, П. М. Хрусталев, В. И. Лаврушин ; . - Саратов : Издательство Саратовского университета, 1997. - 70, [2] с. - ISBN 5-292-02110-5 : 15.00 р.
Рубрики: автоматика.кибернетика--математическая кибернетика Кл.слова (ненормированные): автоматов теория -- конечные автоматы -- детерминированные автоматы Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Хрусталев, П. М. Хрусталёв, П. М. Лаврушин, Владимир Иванович |
Новые поступления (книга в стадии обработки) Посохина, Наталия Игоревна. Задачи синтеза и анализа перечислителей в некоторых классах конечных автоматов [Рукопись] : дис. на соиск. учен. степ. канд. физ.-мат. наук / Наталия Игоревна Посохина. - Саратов : [б. и.], 2000. - 98 л. с. + 1 Прил.(автореф.). - Библиогр. - (в пер.) : (В.00
Рубрики: автоматика.кибернетика--системы автоматического управления Кл.слова (ненормированные): автоматов теория -- конечные автоматы -- сложные системы -- дискретные системы -- математическое моделирование Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Кудрин, Александр Александрович. Автоматная сложность вычисления формул [Рукопись] : дис. на соиск. учен. степ. канд. физ.-мат. наук / А. А. Кудрин ; . - Москва : Б. и., 2000. - 99 л. с. + 1 автореф. - Библиогр. - ISBN [Б. и.] (в пер.) : [б. ц.]
Рубрики: автоматика.кибернетика--математическая кибернетика Кл.слова (ненормированные): автоматов теория -- конечные автоматы Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Отрыванкина, Татьяна Михайловна. Универсальные объекты в категориях структуризованных автоматов [Рукопись] : дис. на соиск. учен. степ. канд. физ.-мат. наук / Татьяна Михайловна Отрыванкина. - Саратов : [б. и.], 2000. - 85, [1] л. с. + 1 автореф. - Библиогр. - (в пер.) : (В.00
Рубрики: автоматика.кибернетика--математическая кибернетика Кл.слова (ненормированные): автоматов теория -- конечные автоматы Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Батраева, Инна Александровна. Свойства отображений, непредставимых частными классами конечных автоматов [Рукопись] : дис. на соиск. учен. степ. канд. физ.-мат. наук / И. А. Батраева ; . - Саратов : [б. и.], 2001. - 90 л. с. + 1 автореф. - Библиогр. - ISBN [Б. и.] (в пер.) : [б. ц.]
Рубрики: автоматика.кибернетика--математическая кибернетика Кл.слова (ненормированные): автоматов теория -- конечные автоматы -- детерминированные автоматы -- отображения Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Салий, Вячеслав Николаевич. Универсальная алгебра и автоматы [Текст] : учеб. пособ. для студентов мех.-мат. фак. / Вячеслав Николаевич Салий. - Саратов : Издательство Саратовского университета, 1988. - 71, [1] с. - Библиогр. - ISBN 5-292-00263-1 : 10.00 р.
Рубрики: математика--математическая кибернетика--алгебра Кл.слова (ненормированные): автоматов теория -- универсальная алгебра -- конечные автоматы Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Кунявская, Анна Наумовна. Распознавание конечных детерминированных автоматов методом зацикливания [Рукопись] : дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / А. Н. Кунявская ; . - Саратов : [б. и.], 2004. - 146 л. с. + 1 автореф. - Библиогр. - ISBN [Б. и.] (в пер.) : [б. ц.]
Рубрики: автоматика.кибернетика--математическая кибернетика Кл.слова (ненормированные): конечные автоматы -- конечные детерминированные автоматы -- распознавание автоматов -- зацикливания методы Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Кунявская, Анна Наумовна. Распознавание конечных детерминированных автоматов методом зацикливания [Текст] : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : 01.01.09 / А. Н. Кунявская ; . - Саратов : [б. и.], 2004. - 16, [2] с. - Библиогр. - ISBN [Б. и.] : [б. ц.]
Рубрики: автоматика.кибернетика--математическая кибернетика Кл.слова (ненормированные): конечные автоматы -- конечные детерминированные автоматы -- распознавание автоматов -- зацикливания методы Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Белоусов, Алексей Иванович. Дискретная математика [Текст] : учеб. для студентов втузов / А. И. Белоусов, С. Б. Ткачев ; под ред. В. С. Зарубина, А. П. Крищенко. - 3-е изд., стер. - Москва : Изд-во МГТУ им. Н. Э. Баумана, 2004. - 743, [1] с. - (Математика в техническом университете / под ред.: В. С. Зарубина, А. П. Крищенко ; вып. 19.). - Библиогр.: с. 720-723. - Предм. указ.: 724-740с. . - ISBN 5-7038-1769-2 (вып. 19) (в пер.). - ISBN 5-7038-1270-4 : 138.40 р.
Рубрики: математика--комбинаторный анализ--теория графов Кл.слова (ненормированные): дискретная математика -- множества -- алгебраические структуры -- графов теория -- Булевы функции -- конечные автоматы Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Ткачев, Сергей Борисович Ткачёв, Сергей Борисович Зарубин, В. С. Крищенко, Александр Петрович |
Новые поступления (книга в стадии обработки) Фомичев, Владимир Михайлович. Дискретная математика и криптология [Текст] : курс лекций / В. М. Фомичев ; общ. ред. Н. Д. Подуфалов. - Москва : ДИАЛОГ-МИФИ, 2003. - 397, [3] с. - Библиогр.: с. 386-390 (86 назв.). - ISBN 5-86404-185-8 (в пер.) : 137.54 р.
Рубрики: математика--комбинаторный анализ--теория графов наука--письменность Кл.слова (ненормированные): дискретная математика -- множества -- отображения -- алгебра логики -- конечные автоматы -- псевдослучайные последовательности -- криптология -- шифры -- криптографические генераторы Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Подуфалов, Н. Д. |
Новые поступления (книга в стадии обработки) Тихончев, Михаил Юрьевич. Автоматный анализ детерминированных графов [Рукопись] : дис. ... канд. физ.-мат. наук : 01.01.09 / М. Ю. Тихончев ; науч. рук. Д. В. Сперанский ; Фил. Ульян. гос. ун-та в г. Димитровграде. - Димитровград : [Б. и.], 2005. - 113 л. + 1 автореф. - Библиогр.: л. 109-113 (48 назв.). - ISBN [Б. и.] (в пер.) Приложение: Автоматный анализ детерминированных графов : автореф. дис. ... канд. физ.-мат. наук : 01.01.09/ М. Ю. Тихончев ; науч. рук. Д. В. Сперанский. - Саратов : [Б. и.], 2005. - 16 с. - ISBN [Б. и. Шифр 705215
Рубрики: математика--комбинаторный анализ--теория графов Кл.слова (ненормированные): детерминированные графы -- конечные автоматы -- контрольный эксперимент. - Приложение:Автоматный анализ детерминированных графов : автореф. дис. ... канд. физ.-мат. наук : 01.01.09/ М. Ю. Тихончев ; науч. рук. Д. В. Сперанский Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Сперанский, Дмитрий Васильевич |
Новые поступления (книга в стадии обработки) Тихончев, Михаил Юрьевич. Автоматный анализ детерминированных графов [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / М. Ю. Тихончев ; науч. рук. Д. В. Сперанский ; Фил. Ульян. гос. ун-та в г. Димитровграде. - Саратов : [Б. и.], 2005. - 16 с. - Библиогр.: с. 16 (8 назв.). - ISBN [Б. и.] Издание является приложением к документу: Автоматный анализ детерминированных графов : дис. ... канд. физ.-мат. наук : 01.01.09/ М. Ю. Тихончев ; науч. рук. Д. В. Сперанский. - Димитровград : [Б. и.], 2005. - 113. - ISBN [Б. и. Шифр 301473
Рубрики: математика--комбинаторный анализ--теория графов Кл.слова (ненормированные): детерминированные графы -- конечные автоматы -- контрольный эксперимент. - Является приложением к Автоматный анализ детерминированных графов : дис. ... канд. физ.-мат. наук : 01.01.09/ М. Ю. Тихончев ; науч. рук. Д. В. Сперанский\par Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Сперанский, Дмитрий Васильевич |
Новые поступления (книга в стадии обработки) Макоха, Анатолий Николаевич. Дискретная математика [Текст] : учеб. пособие / А. И. Макоха, П. А. Сахнюк, Н. И. Червяков. - Москва : ФИЗМАТЛИТ, 2005. - 368 с. : рис., табл. - Библиогр.: с. 366-368. - ISBN 5-9221-0630-9 (в пер.) : 239.36 р. Рекомендовано Учеб.-метод. об-нием по образованию в обл. приклад. математики и физики в качестве учеб. пособия для студентов, обучающихся по направлению подгот. бакалавров и магистров 511600 - "Прикладные математика и физика"
Рубрики: математика--комбинаторный анализ--теория графов Кл.слова (ненормированные): дискретная математика -- графов теория -- логические функции -- комбинационные схемы -- конечные автоматы -- модулярное кодирование Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Сахнюк, Павел Анатольевич Червяков, Николай Иванович |
Новые поступления (книга в стадии обработки) Лекции по дискретной математике [Текст] : для студентов и аспирантов вузов / Ю. В. Капитонова [и др.]. - Санкт-Петербург : БХВ-Петербург, 2004. - 614 с. : ил. - Библиогр.: с. 611-614 (83 назв.). - ISBN 5-94157-546-7 (в пер.) : 232.50 р.
Рубрики: математика--комбинаторный анализ--теория графов Кл.слова (ненормированные): дискретная математика -- графов теория -- конечные автоматы -- математическая логика -- автоматов теория -- множества -- комбинаторика -- информационные технологии Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Капитонова, Юлия Владимировна Кривой, Сергей Лукьянович Летичевский, Александр Адольфович Луцкий, Георгий Михайлович |
Новые поступления (книга в стадии обработки) Пентус, Анна Евгеньевна. Математическая теория формальных языков [Текст] : учеб. пособие / А. Е. Пентус, М. Р. Пентус. - Москва : Интернет-Ун-т Информ. Технологий : БИНОМ. Лаб. знаний, 2006. - 247, [1] с. - (Основы информатики и математики / гл. ред. А. В. Михалев). - Библиогр.: с. 236-239. - Предм. указ.: с. 240-247. - ISBN 5-94774-512-7 (БИНОМ. ЛЗ) (в пер.). - ISBN 5-9556-0062-0 (ИНТУИТ.РУ) : 270.00 р.
Рубрики: автоматика.кибернетика--математическая кибернетика вычислительная техника--информационные технологии Кл.слова (ненормированные): автоматов теория -- конечные автоматы -- формальные языки -- контекстно-свободные языки (кс-языки) -- контекстно-свободные грамматики -- автоматные языки -- алгоритмические проблемы -- математическая лингвистика -- регулярные выражения Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Пентус, Мати Рейнович |
Новые поступления (книга в стадии обработки) Скобелев, В. Г. Анализ дискретных систем [Текст] : монография / В. Г. Скобелев ; Ин-т прикл. математики и механики (Донецк). - Донецк : ИПММ НАН Украины, 2002. - 172 с. ; 21см. - ISBN 966-02-2356-0 : 70.00 р.
Рубрики: Математика--Дискретная математика Кл.слова (ненормированные): математика -- дискретная математика -- дискретные системы -- теория систем -- частично упорядоченные системы -- конечные автоматы -- булевы функции -- ДДФ-системы Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Пратт, Теренс. Языки программирования. Разработка и реализация [Текст] = Programming Languages. Desing Implementation : учебное пособие / Т. Пратт, М. Зелковиц ; под общ. ред. А. Матросова. - 4-е изд. - Москва ; Санкт-Петербург [и др.] : Питер, 2002. - 688 с. - (Классика computer science). - Библиогр.: с. 669-674 (123 назв.). - Алф. указ.: с. 675-688. - ISBN 5-318-00189-0. - ISBN 0-13-027678-2 (англ.) : 140.00 р.
Рубрики: вычислительная техника--языки программирования Кл.слова (ненормированные): языки программирования -- формальная грамматика -- конечные автоматы Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Зелковиц, Марвин Матросов, Александр В. |
Новые поступления (книга в стадии обработки) Шень, Александр. Программирование. Теоремы и задачи [Текст] : учебное пособие / А. Шень. - 2-е изд., испр. и доп. - Москва : Изд-во МЦНМО, 2004. - 294, [2] с. - ISBN 5-94057-144-1 (в пер.) : 110.00 р.
Рубрики: вычислительная техника--программирование Кл.слова (ненормированные): программирование -- комбинаторика -- конечные автоматы -- сортировка -- типы данных -- кодирование Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Тишин, Владимир Викторович. Дискретная математика в примерах и задачах [Текст] : учеб. пособие / В. В. Тишин. - Санкт-Петербург : БХВ-Петербург, 2008. - 335, [13] с. - Библиогр.: с. 337 (12 назв.). - ISBN 978-5-9775-0232-0 (в пер.) : 126.70 р. Допущено учеб.-метод. советом по приклад. математике и информатике УМО по клас. унив. образованию в качестве учеб. пособия для студентов вузов, обучающихся по специальности и направлению "Прикладная математика и информатика" и направлению "Информационные технологии"
Рубрики: математика--комбинаторный анализ--теория графов Кл.слова (ненормированные): дискретная математика -- множеств теория -- Булевы функции -- алгоритмов теория -- комбинаторика -- конечные автоматы -- предикаты Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |