| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Электронный каталог - результаты поиска

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
В текущей базе данных найдено документов :7
 В других БД по вашему запросу найдено:Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (25)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=формальные языки<.>)
Общее количество найденных документов : 7
Показаны документы с 1 по 7
1.
Учебные отделы, A907949-ОХФ,
    Молчанов, Алексей Юрьевич.
    Системное программное обеспечение [Текст] : учеб. для студентов вузов, обучающихся по специальности "Вычислительные машины, комплексы, системы и сети" и "Автоматизированные системы обработки информации и управления. / А. Ю. Молчанов. - Москва ; Санкт-Петербург : Питер, 2003. - 395, [5] с. - (Учебник для вузов). - Библиогр. - ISBN 5-94723-562-5 (в пер.) : 120.38 р.
Издат. программа "300 лучших учебников для высшей школы в честь 300-летия Санкт-Петербурга"
УДК
004.45(075.8)

Рубрики: вычислительная техника--программирование

Кл.слова (ненормированные):
системное программное обеспечение -- генерация кода -- оптимизация кода -- программирование -- трансляторы -- формальные языки -- лексический анализатор -- синтаксический анализатор
Экземпляры всего: 10
ОХФ (1), ОУОЕН (9)
Найти похожие
2.
Учебные отделы, A966687-ОХФ, A966688-ОХФ, A966689-ОХФ,
    Пентус, Анна Евгеньевна.
    Математическая теория формальных языков [Текст] : учеб. пособие / А. Е. Пентус, М. Р. Пентус. - Москва : Интернет-Ун-т Информ. Технологий : БИНОМ. Лаб. знаний, 2006. - 247, [1] с. - (Основы информатики и математики / гл. ред. А. В. Михалев). - Библиогр.: с. 236-239. - Предм. указ.: с. 240-247. - ISBN 5-94774-512-7 (БИНОМ. ЛЗ) (в пер.). - ISBN 5-9556-0062-0 (ИНТУИТ.РУ) : 270.00 р., 300.00 р., 336.00 р.
УДК
519.713(075.8)
004(075.8)

Рубрики: автоматика.кибернетика--математическая кибернетика

   вычислительная техника--информационные технологии

Кл.слова (ненормированные):
автоматов теория -- конечные автоматы -- формальные языки -- контекстно-свободные языки (кс-языки) -- контекстно-свободные грамматики -- автоматные языки -- алгоритмические проблемы -- математическая лингвистика -- регулярные выражения


Доп. точки доступа:
Пентус, Мати Рейнович
Экземпляры всего: 27
ОХФ (3), ОУОЕН (24)
Найти похожие
3.
A970504-ОХФ
Ежегодная Неделя Финской Информатики (Петрозаводск) (2005).
    Труды НФИ'2005 [Текст] = Petroskoin yliopiston vuosittainen suomalaisen tietojenkäsittelyn viikko / Ежегодная Неделя Финской Информатики (Петрозаводск) (2005), Федер. агентство по образованию гос. образоват. учреждение высш. проф. образования Петрозав. гос. ун-т ; ред.: Т. Аланко, Ю. Богоявленский. - Петрозаводск : Изд-во ПетрГУ.
   Т. 7 : Новые методы информационных технологий. - Петрозаводск : Изд-во ПетрГУ, 2006. - 238, [2] с. - ISBN 5-8021-0356-6 : 100.00 р.
УДК
004(063)

Рубрики: вычислительная техника--информационные технологии

Кл.слова (ненормированные):
информационные технологии -- беспроводные сети -- несанкционированный доступ -- online-обучение -- имитационное моделирование -- формальные языки -- смарт-карты -- TCP/IP


Доп. точки доступа:
Аланко, Тимо \\ред.\\
Богоявленский, Юрий \\ред.\\
Экземпляры всего: 1
ОХФ (1)
Найти похожие
4.
A974990-ОХФ, A974991-ОХФ
    Тимофеева, Мария Кирилловна.
    Естественные и формальные языки. Логико-философский анализ [Текст] / М. К. Тимофеева. - Новосибирск : [б. и.], 2003. - 200, [1] с. - Библиогр.: с. 192-198 (118 назв.). - ISBN [Б. и.] : 85.00 р.
УДК
800.1

Рубрики: языкознание--общее языкознание

Кл.слова (ненормированные):
естественные языки -- формальные языки -- искусственные языки -- классификация языков -- язык -- знаки -- семиотика -- синтаксис -- семантика -- прагматика -- философия языка
Экземпляры всего: 2
ОХФ (2)
Найти похожие
5.
A983022-ОХФ
    Гавриков, Михаил Михайлович.
    Теоретические основы разработки и реализации языков программирования [Текст] : учеб. пособие / М. М. Гавриков, А. Н. Иванченко, Д. В. Гринченков ; под ред. А. Н. Иванченко. - Москва : КНОРУС, 2010. - 177, [7] с. : рис., табл. - Библиогр.: с. 178 (18 назв.). - ISBN 978-5-406-00121-9 (в пер.) : 110.00 р.
Допущено М-вом образования РФ в качестве учеб. пособия для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подгот. дипломир. специалистов "Информатика и вычислительная техника"
УДК
004.43(075.8)

Рубрики: вычислительная техника--языки программирования

Кл.слова (ненормированные):
языки программирования -- формальные языки -- синтаксический анализатор -- конструирование сканеров -- трансляторы


Доп. точки доступа:
Иванченко, Александр Николаевич
Гринченков, Дмитрий Валерьевич
Иванченко, А. Н.
Экземпляры всего: 1
ОХФ (1)
Найти похожие
6.
Учебные отделы, A915939-ОХФ,
    Молчанов, Алексей Юрьевич.
    Системное программное обеспечение [Текст] : учеб. для вузов / А. Ю. Молчанов. - 3-е изд. - Москва ; Санкт-Петербург [и др.] : Питер, 2010. - 397, [3] с. - (Учебник для вузов). - Библиогр.: с. 387-390 (82 назв.). - ISBN 978-5-49807-153-4 (в пер.) : 167.30 р., 309.21 р.
Допущено М-вом образования и науки РФ в качестве учеб. для студентов вузов, обучающихся по специальностям "Вычислительные машины, комплексы, системы и сети" и "Автоматизированные системы обработки информации и управления" направления подгот. дипломир. специалистов "Информатика и вычислительная техника"
УДК
004.45(075.8)

Рубрики: вычислительная техника--программирование

Кл.слова (ненормированные):
системное программное обеспечение -- генерация кода -- оптимизация кода -- программирование -- трансляторы -- формальные языки -- лексический анализатор -- синтаксический анализатор
Экземпляры всего: 14
ОХФ (1), ОУОЕН (4), ОУОЕН (РК) (9)
Найти похожие
7.
A987431-ОХФ
   Бондаренко, Леонид Николаевич
    Дискретная математика. Конечные автоматы и формальные языки [Текст] : учеб. пособие / Л. Н. Бондаренко ; Гос. образоват. учреждение высш. проф. образования "Пензенский государственный университет". - Пенза : Изд-во Пенз. гос. ун-та, 2009 - .
   Ч. 1. - Пенза : Изд-во Пенз. гос. ун-та, 2009. - 73, [3] с. : рис. - Библиогр.: с. 73 (15 назв.). - ISBN [Б. и.] : 223.63 р.
УДК
519.713(075.8)

Рубрики: математика--математическая кибернетика

Кл.слова (ненормированные):
конечные автоматы -- формальные языки -- дискретная математика -- Мура автоматы


Доп. точки доступа:
Экземпляры всего: 1
ОХФ (1)
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)