Авторизация
Фамилия
Пароль
Электронный каталог
Научной библиотеки ВСГУТУ
Базы данных
Книги- результаты поиска
Вид поиска
Книги
Статьи
Электронные издания ВСГУТУ
Статьи преподавателей ВСГУТУ
Вестник ВСГУТУ
Материалы конференций ВСГУТУ
Диссертации
Авторефераты
ГОСТЫ
Статьи о Бурятии
Выберите поиск:
Ключевые слова
Автор
Заглавие
Год издания
Что искать:
Найдено в других БД:
Статьи (1)
Электронные издания ВСГУТУ (2)
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=Формальные языки<.>)
Общее количество найденных документов
:
7
Показаны документы
с 1 по 7
>
1.
004.4
Г681
Гордеев, Александр Владимирович
.
Системное программное обеспечение : Учебник для вузов по специальностям "Вычислительные машины, комплексы, системы и сети", "Автоматизированные системы обработки информации и управления" направления подготовки дипломированных специалистов "Информатика и вычислительная техника" / А. В. Гордеев, А. Ю. Молчанов. - Санкт-Петербург : Питер, 2002. - 734 с. : ил. -
ISBN
5-272-00341-1 : 138.00 р., 182.25 р.
Допущено МО РФ
ГРНТИ
50.41
УДК
004.4(075.8)
Рубрики:
Программное обеспечение системное--Учебники
Кл.слова (ненормированные):
системное программное обеспечение
--
микропроцессоры
--
файловые системы
--
архитектура операционных систем
--
интерфейсы прикладного программирования
--
параллельные взаимодействующие процессы
--
тупиковые ситуации
--
трансляторы
--
формальные
языки
--
грамматики
--
регулярные
языки
--
контекстно-свободные
языки
--
генерация кода
--
системы программирования
--
учебники
Доп.точки доступа:
Молчанов, Алексей Юрьевич
Учебная литература:
ЭтФ / ЭВС / 09.03.01 / Многомашинные и многопроцессорные системы / 7 / Осн
Экземпляры всего:
20
чз (5), аб (15)
Свободны:
чз (5), аб (15)
Найти похожие
>
2.
51
Б 614
Бильгаева, Надежда Цанжиевна
.
Теория алгоритмов,
формальных
языков
, грамматик и автоматов : Учеб. пособие для вузов по спец. 220400 "Программное обеспечение выч. техники и автоматизир. систем" / Н. Ц. Бильгаева ; Вост.-Сиб. гос. технол. ун-т. - Улан-Удэ : Издательство ВСГТУ, 2000. - 99 с. : ил. - 15.00 р.
ГРНТИ
28.25
УДК
510.5(075.8)
Рубрики:
Кибернетика--Учебные пособия
Математика--Теория алгоритмов--Вычислимые функции
Кл.слова (ненормированные):
Теория алгоритмов
--
Теория автоматов
--
Формальные
языки
--
Рекурсивные функции
--
Машины Тьюринга
--
Вычислимые функции
--
Формальные
грамматики
--
Алгоритмы
--
Автоматы
--
Автоматы Мили
--
Автоматы Мура
--
Учебные пособия
Перейти к внешнему ресурсу:
полный текст
,
Перейти к внешнему ресурсу:
полный текст в ЭБС bookonlime
Доп.точки доступа:
Восточно-Сибирский государственный технологический университет (Улан-Удэ)
Учебная литература:
ЭтФ / ТК / 09.02.03 11кл / Теория алгоритмов / 1 / Доп
ЭтФ / ЭВС / 09.04.01 / Аппликативные вычислительные системы / 3 / Осн
ЭтФ / ТК / 09.02.03 9кл / Теория алгоритмов / 3 / Доп
СФ / Сопр / 09.03.02 / Теория алгоритмов / 4 / Осн
ЭтФ / ЭВС / 09.03.01 / Цифровые автоматы / 5 / Осн
ЭтФ / СИ / 09.03.04 / Логика и теория алгоритмов / 5 / Доп
ЭтФ / СИ / 02.03.03 / Рекурсивно-логическое программирование / 7 / Доп
Экземпляры всего:
40
чз (2), аб (38)
Свободны:
чз (2), аб (38)
Найти похожие
>
3.
004.4
О-425
Одинцов, Игорь
.
Профессиональное программирование [] : системный подход / И.О. Одинцов. - СПб. : BHV, 2002. - 510 с. : ил. - (Мастер). -
ISBN
5941571313 : 125.40 р.
ГРНТИ
50.35.37
УДК
004.42(075.8)
Рубрики:
Программирование
Кл.слова (ненормированные):
программирование
--
языки
программирования
--
императивное программирование
--
объектно-ориентированное программирование
--
функциональное программирование
--
логическое программирование
--
языки
моделирования
--
формальные
языки
--
архитектурная платформа
--
операционная платформа
--
карьера программиста
--
информационные системы
Экземпляры всего:
2
кх (2)
Свободны:
кх (2)
Найти похожие
>
4.
004.4
О-60
Опалева, Эльвира Александровна
.
Языки
программирования и методы трансляции [] : учеб. пособие для вузов по спец. 220400 "Программное обеспечение вычисл. техн. и автоматизир. систем" / Э.А. Опалева, В.П. Самойленко. - СПб. : БХВ-Петербург, 2005. - 476 с. -
ISBN
5-94157-327-8 : 191.00 р.
Рек. УМО
ГРНТИ
50.05.09
УДК
004.43(075.8)
Рубрики:
Языки
программирования--Учебные пособия
Кл.слова (ненормированные):
программирование
--
языки
программирования
--
трансляция
--
методы трансляции
--
компиляция
--
синтаксис
языков
программирования
--
формальные
языки
--
формальные
грамматики
--
теории автоматов
--
распознающие автоматы
--
синтаксический анализ
--
синтаксически управляемые переводы
--
синтаксический анализ
--
методы синтаксического анализа
--
учебные пособия
Доп.точки доступа:
Самойленко, Владимир Петрович
Учебная литература:
ЭтФ / СИ / 02.03.03 / Теория
формальных
грамматик / 5 / Доп
ЭтФ / СИ / 09.03.04 / Теория
формальных
грамматик и автоматов / 7 / Осн
Экземпляры всего:
2
кх (2)
Свободны:
кх (2)
Найти похожие
>
5.
6П2.154
Р355
Рейуорд-Смит, В. Дж.
Теория
формальных
языков
: Ввод. курс / В. Рейуорд-Смит; Пер. с англ. Б. А. Кузьмина ; Под ред. И. Г. Шестакова. - М. : Радио и связь, 1988. - 129 с. : ил. -
ISBN
5-256-00159-0 : 0.55 р.
ГРНТИ
50.05.09
УДК
004.43
Рубрики:
Языки
программирования--
Формальные
языки
Кл.слова (ненормированные):
языки
программирования
--
формальные
языки
--
теория
формальных
языков
Доп.точки доступа:
Кузьмин, Б.А. \пер.\; Шестаков, И.Г. \ред.\
Экземпляры всего:
22
кх (3), чз (3), аб (16)
Свободны:
кх (3), чз (3), аб (16)
Найти похожие
>
6.
518
С165
Саломаа, А.
Жемчужины теории
формальных
языков
/ А. Саломаа ; пер. с англ. А. А. Мучника ; под ред. А. Л. Семенова. - Москва : Мир, 1986. - 159 с. : ил. - Б. ц.
ГРНТИ
27.47.19
УДК
519.68
Рубрики:
Математическое программирование--
Формальные
языки
Кл.слова (ненормированные):
математическое программирование
--
формальные
языки
Доп.точки доступа:
Мучник, А. А. \пер.\; Семенов, А. Л. \ред.\
Экземпляры всего:
2
кх (2)
Свободны:
кх (2)
Найти похожие
>
7.
Ишакова, Е. Н.
Теория
формальных
языков
, грамматик и автоматов [] : методические указания к лабораторному практикуму / Е. Н. Ишакова . - Оренбург : ГОУ ОГУ, 2005. - 55 с. - Б. ц.
Рубрики:
Информатика--Методические указания
Кл.слова (ненормированные):
формальные
языки
--
языки
программирования
--
автоматизированные системы
--
методические указания
Перейти к внешнему ресурсу:
полный текст в ЭБС "Руконт"
Учебная литература:
ЭтФ / СИ / 09.03.04 / Теория
формальных
грамматик и автоматов / 7 / Осн
ЭтФ / СИ / 09.03.04 / Машинно-зависимые
языки
программирования / 7 / Осн
Свободных экз. нет
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
ссылка на мобильную версию электронного каталога