Refine your search
Availability
-
Bibliographic level
- Книги (46)
- Статьи из сборников (3)
- Статьи из сериальных изданий (3)
-
Authors
- Бауэр, Фридрих Л. (3)
- Вирт, Никлаус (3)
- Алексеев, Владимир Евгеньевич (2)
- Белоусов, Алексей Иванович (2)
- Волкова, Ирина Анатольевна (2)
- Головин, Игорь Геннадьевич (2)
- Гооз, Герхард (2)
- Егорушкин, Олег Игоревич (2)
- Крищенко, Александр Петрович (2)
- Ларьков, Николай Семенович (2)
- Осипов, Геннадий Семенович (2)
- Рязанов, Юрий Дмитриевич (2)
- Сафонов, Константин Владимирович (2)
- Таланов, Владимир Александрович (2)
- Тимофеева, Мария Кирилловна (2)
- Ткачев, Сергей Борисович (2)
- Clark, Alexander (1)
- Drewes, Frank (1)
- Fox, Chris (1)
- Lappin, Shalom (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)
- Лавров, Святослав Сергеевич (1)
- Лапшин, Владимир Анатольевич (1)
- Show more
- Show less
-
Locations
-
Item types
- Выдается в читальный зал (35)
- 1 месяц (21)
- 6 месяцев (11)
- 1 неделя (5)
- Выдается по месту хранения (3)
-
Topics
- формальные языки (44)
- учебные пособия для вузов (11)
- алгоритмы (10)
- Тьюринга машины (8)
- формальные грамматики (8)
- трансляторы (7)
- множества (6)
- программирование (6)
- дискретная математика (5)
- информация (5)
- контекстно-свободные языки (5)
- математическая логика (5)
- данные (4)
- естественные языки (4)
- контекстно-свободные грамматики (4)
- структуры данных (4)
- языки программирования (4)
- алгебраические системы (3)
- алгоритмы на графах (3)
- булевы функции (3)
- грамматика (3)
- графы (3)
- конечные автоматы (3)
- Алгебра и математическая логика (2)
- Введение в математическую логику (2)
- Графов теория (мат.) (2)
- Дискретная математика и математическая логика (2)
- Дополнительные главы дискретной математики, математической логики (2)
- КС-языки (2)
- Клини теорема (2)
- Логика (2)
- Логика высказываний и булевы алгебры (2)
- М-языки (2)
- МП-автоматы (2)
- ПОЛИЗа, интерпретатор для модельного языка программирования (2)
- Программирование (компьют.) (2)
- Тьюринга машина (2)
- Черча тезис (2)
- Языки программирования (2)
- автоматы (2)
- алгебраические структуры (2)
- алгоритмические языки (2)
- анализ текста (искусственный интеллект) реляционно-ситуационный (2)
- безопасность программ (2)
- булевы алгебры (2)
- ввод-вывод (2)
- грамматики порождающие (2)
- грамматики регулярные (2)
- грамматики формальные, классификация (2)
- задачи (2)
- Show more
- Show less
-
Places
- ЭБС Юрайт (3)