Поисковый запрос: (<.>KL=ФОРМАЛЬНЫЕ ЯЗЫКИ<.>) |
Общее количество найденных документов : 25
Показаны документы с 1 по 20 |
|
1.
| Молчанов А. Ю. Системное программное обеспечение/А. Ю. Молчанов. - 2003
|
2.
| Соколов А. П. Системы программирования : теория, методы, алгоритмы/А. П. Соколов. - 2004
|
3.
| Лавров С. С. Программирование. Математические основы, средства, теория/С. С. Лавров. - 2001
|
4.
| Пентус А. Е. Математическая теория формальных языков/А. Е. Пентус, М. Р. Пентус. - 2006
|
5.
| Ежегодная Неделя Финской Информатики (Петрозаводск) (2005) Труды НФИ'2005. Т. 7:Новые методы информационных технологий. - 2006
|
6.
| Тимофеева М. К. Естественные и формальные языки. Логико-философский анализ/М. К. Тимофеева. - 2003
|
7.
| Молчанов А. Ю. Системное программное обеспечение/А. Ю. Молчанов. - 2010
|
8.
| Бондаренко, Леонид Николаевич Дискретная математика. Конечные автоматы и формальные языки. Ч. 1. - 2009
|
9.
| Парницкий Г. Основы статистической информатики/Г. Парницкий ; пер. с венгр. Ю. А. Данилова. - 1981
|
10.
| Глаголев В. В. Методы дискретной математики/В. В. Глаголев. - 2000
|
11.
| Саломаа А. Жемчужины теории формальных языков/А. Саломаа ; под ред. А. Л. Семенова. - 1986
|
12.
| Анкудинов Г. И. Прикладная теория цифровых автоматов/Г. И. Анкудинов. - 1991
|
13.
| Криницкий Н. А. Теоретические основы математического обеспечения/Н. А. Криницкий. - 1980
|
14.
| Кузнецов О. П. Дискретная математика для инженера/О. П. Кузнецов. - 2004
|
15.
| Тимофеева М. К. Естественные и формальные языки: логико-философский анализ/М. К. Тимофеева. - 2003
|
16.
| Манин Ю. И. Доказуемое и недоказуемое/Ю. И. Манин. - 1979
|
17.
| Мулуд Н. Анализ и смысл/Н. Мулуд ; пер. с фр. : Н. С. Автономовой, Ю. А. Муравьева ; ред. В. И. Метлов. - 1979
|
18.
| Винокуров Н. А. Практика и теория программирования. Кн. 1 Ч. 1, 2. - 2008
|
19.
| Глушков В. М. Алгебра. Языки. Программирование/В. М. Глушков, Г. Е. Цейтлин, Е. Л. Ющенко. - 1974
|
20.
| Капустинская В. И. Информатика и основы компьютерных знаний/В. И. Капустинская, Л. В. Стародубцева, А. Г. Устинов. - 2017
|
|
|
|
Электронный каталог
Стандартный (по одному полю)