Refine your search
Availability
-
Bibliographic level
- Книги (7)
-
Authors
- Белоусов, Алексей Иванович (2)
- Евстигнеев, Владимир Анатольевич (2)
- Касьянов, Виктор Николаевич (2)
- Крищенко, Александр Петрович (2)
- Ткачев, Сергей Борисович (2)
- Зарубин, Владимир Степанович (1)
- Зарубина, В. С. (1)
- Котов, Вадим Евгеньевич (1)
- Свиркунов, П. Н. (1)
- Сибирякова, Валентина Александровна (1)
- Шершаков, Вячеслав Михайлович (1)
- Шиханович, Юрий Александрович (1)
- Show more
- Show less
-
Locations
-
Item types
- Выдается в читальный зал (6)
- 1 неделя (2)
- 6 месяцев (1)
-
Topics
- порождающие грамматики (6)
- синтаксический анализ (4)
- учебные пособия для вузов (3)
- формальные языки (3)
- Клини теорема (2)
- МП-автоматы (2)
- Тьюринга машины (2)
- алгебраические системы (2)
- алгебраические структуры (2)
- булевы алгебры (2)
- булевы функции (2)
- дискретная математика (2)
- кватернионы (2)
- конечные автоматы (2)
- контекстно-свободные грамматики (2)
- контекстно-свободные языки (2)
- лексический анализ (2)
- множества (2)
- преобразование программ (2)
- семантика формальных языков (2)
- теория графов (2)
- B-деревья (1)
- Геделя теорема о неполноте (1)
- Норильск, город (1)
- Петри сети (1)
- Поста исчисления (1)
- Успенского исчисления (1)
- автоматизированный метеорологический комплекс (1)
- алгоритмы генерации деревьев (1)
- алгоритмы интерфейса лексического (1)
- алгоритмы кодирования (1)
- алгоритмы на графах (1)
- алгоритмы на деревьях (1)
- анализ программ (информатика) потоковый (1)
- атмосферная диффузия (1)
- биосистемы морских организмов (1)
- визуализация графов (1)
- выбросы загрязняющих веществ аварийные (1)
- граф-модели (1)
- графов теория (1)
- графы бесконтурные (1)
- графы данных (1)
- графы данных адресуемые (1)
- графы иерархические (1)
- графы неориентированные (1)
- графы планарные (1)
- графы регуляризуемые (1)
- графы сводимые (1)
- графы управляющие (1)
- группы (1)
- Show more
- Show less