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

Базы данных


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

Виды поиска

Область поиска
В текущей базе данных найдено документов :7
 В других БД по вашему запросу найдено:Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (25)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=формальные языки<.>)
Общее количество найденных документов : 7
Показаны документы с 1 по 7
1.

Вид документа : Многотомное издание
Шифр издания : 657906
Автор(ы) : Бондаренко, Леонид Николаевич
Заглавие : Дискретная математика. Конечные автоматы и формальные языки: учеб. пособие/ Л. Н. Бондаренко ; Гос. образоват. учреждение высш. проф. образования "Пензенский государственный университет". Ч. 1
Выходные данные : Пенза: Изд-во Пенз. гос. ун-та, 2009
Колич.характеристики :73, [3] с.: рис.
Коллективы : Гос. образоват. учреждение высш. проф. образования "Пензенский государственный университет"
Примечания : Библиогр.: с. 73 (15 назв.)
ISBN, Цена [Б. и.]: 223.63 р.
УДК : 519.713(075.8)
Предметные рубрики: математика-- математическая кибернетика
Ключевые слова (''Своб.индексиров.''): конечные автоматы--формальные языки--дискретная математика--мура автоматы
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие

2.

Вид документа : Однотомное издание
Шифр издания : 971919
Автор(ы) : Тимофеева, Мария Кирилловна
Заглавие : Естественные и формальные языки. Логико-философский анализ
Выходные данные : Новосибирск: [б. и.], 2003
Колич.характеристики :200, [1] с
Примечания : Библиогр.: с. 192-198 (118 назв.)
ISBN, Цена [Б. и.]: 85.00 р.
УДК : 800.1
Предметные рубрики: языкознание-- общее языкознание
Ключевые слова (''Своб.индексиров.''): естественные языки--формальные языки--искусственные языки--классификация языков--язык--знаки--семиотика--синтаксис--семантика--прагматика--философия языка
Экземпляры : всего : ОХФ(2)
Свободны : ОХФ(2)
Найти похожие

3.

Вид документа : Однотомное издание
Шифр издания : 093228
62-507(075)681.142(075)/П 254
Автор(ы) : Пентус, Анна Евгеньевна, Пентус, Мати Рейнович
Заглавие : Математическая теория формальных языков : учеб. пособие
Выходные данные : Москва: Интернет-Ун-т Информ. Технологий: БИНОМ. Лаб. знаний, 2006
Колич.характеристики :247, [1] с
Серия: Основы информатики и математики/ гл. ред. А. В. Михалев
Примечания : Библиогр.: с. 236-239. - Предм. указ.: с. 240-247
ISBN, Цена 5-94774-512-7 (БИНОМ. ЛЗ) (в пер.): 270.00 р.
ISBN, Цена 5-9556-0062-0 (ИНТУИТ.РУ): Б.ц.
УДК : 519.713(075.8) + 004(075.8)
Предметные рубрики: автоматика.кибернетика-- математическая кибернетика
вычислительная техника-- информационные технологии
Ключевые слова (''Своб.индексиров.''): автоматов теория--конечные автоматы--формальные языки--контекстно-свободные языки (кс-языки)--контекстно-свободные грамматики--автоматные языки--алгоритмические проблемы--математическая лингвистика--регулярные выражения
Экземпляры : всего : ОХФ(3), ОУОЕН(24)
Свободны : ОХФ(3), ОУОЕН(24)
Найти похожие

4.

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

5.

Вид документа : Однотомное издание
Шифр издания : 023466
681.142.21/М76
Автор(ы) : Молчанов, Алексей Юрьевич
Заглавие : Системное программное обеспечение : учеб. для студентов вузов, обучающихся по специальности "Вычислительные машины, комплексы, системы и сети" и "Автоматизированные системы обработки информации и управления.
Выходные данные : Москва; Санкт-Петербург: Питер, 2003
Колич.характеристики :395, [5] с
Серия: Учебник для вузов
Примечания : Библиогр. - Издат. программа "300 лучших учебников для высшей школы в честь 300-летия Санкт-Петербурга"
ISBN (в пер.), Цена 5-94723-562-5: 120.38 р.
УДК : 004.45(075.8)
Предметные рубрики: вычислительная техника-- программирование
Ключевые слова (''Своб.индексиров.''): системное программное обеспечение--генерация кода--оптимизация кода--программирование--трансляторы--формальные языки--лексический анализатор--синтаксический анализатор
Экземпляры : всего : ОХФ(1), ОУОЕН(9)
Свободны : ОХФ(1), ОУОЕН(9)
Найти похожие

6.

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

7.

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

 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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