Refine your search
Availability
-
Bibliographic level
- Книги (12)
-
Authors
- Волкова, Ирина Анатольевна (2)
- Головин, Игорь Геннадьевич (2)
- Агибалов, Геннадий Петрович (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
- Книгохранилище (7)
- Читальный зал. Депозитарий (3)
- Читальный зал 5 (2)
- Абонемент (2)
- Абонемент. Депозитарий (2)
-
Item types
- Выдается в читальный зал (7)
- 1 месяц (5)
- 6 месяцев (3)
- Выдается по месту хранения (2)
-
Topics
- грамматики формальные (9)
- математическая логика (3)
- трансляторы (3)
- КС-языки (2)
- М-языки (2)
- ПОЛИЗа, интерпретатор для модельного языка программирования (2)
- Программирование (компьют.) (2)
- Языки программирования (2)
- безопасность программ (2)
- грамматики порождающие (2)
- грамматики регулярные (2)
- грамматики формальные, классификация (2)
- интерпретаторы (2)
- исчисление высказываний (2)
- исчисление предикатов (2)
- кодирование автоматных состояний (2)
- компиляторы (2)
- конечные автоматы (2)
- математическая лингвистика (2)
- математические модели (2)
- наследование типов данных (2)
- объектно-ориентированные механизмы (языки программирования) (2)
- операции (языки программирования) (2)
- отказоустойчивость программ (2)
- параметрический полиморфизм C# (2)
- параметрический полиморфизм C++ (2)
- параметрический полиморфизм Java (2)
- программирование обобщенное (2)
- программные коды, оптимизация (2)
- программы (программирование), генерация внутреннего представления (2)
- регулярные выражения (программирование) (2)
- связывание (языки программирования) (2)
- синтез автоматов (2)
- типы данных (2)
- учебные пособия для вузов (2)
- формальные языки, анализ лексический (2)
- формальные языки, анализ синтаксический (2)
- формальные языки, классификация (2)
- языки внутреннего представления программ (2)
- языки программирования (2)
- языки программирования современные (2)
- языки формальные, теория (2)
- C#, язык программирования (1)
- C++, язык программирования (1)
- JDK-библиотека классов (1)
- Java, язык программирования объектно-ориентированный (1)
- Object Pascal, язык программирования (1)
- VCL-библиотека классов (1)
- Web-приложения серверные (1)
- Автоматы (1)
- Show more
- Show less