|
|
 |
| Результат поиска |
Поиск книг, содержащих: Алфавит (alphabet)
| Книга | Страницы для поиска | | Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 2. Компиляция) | 27 | | Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 1. Синтаксический анализ) | 27 | | Гис Э., де ля Арп П. — Гиперболические группы по Михаилу Громову | 160 | | Ту Дж., Гонсалес Р. — Принципы распознавания образов | 337, 379 | | Гинзбург С. — Математическая теория контекстно-свободных языков | 13 | | Клини С.К. — Введение в метаматематику | 67, 232, 339 | | Оллонгрен А. — Математическое обеспечение ЭВМ. Определение языков программирования интерпретирующими автоматами | 34 | | Бауэр Ф.Л., Гооз Г. — Информатика | 42 | | Грис Д. — Конструирование компиляторов для цифровых вычислительных машин | 32 | | Кларк Э.М., Грамберг О., Пелед Д. — Верификация моделей программ: Model Checking | 172, 345 | | Ухов Л.В. (пер.) — Программные системы | 159 |
|
|
|
|
О проекте