Авторизация
 

Базы данных


Основная база библиотеки - результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полный для рабочих программ
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=формальные языки<.>)
Общее количество найденных документов : 10
Показаны документы с 1 по 10
1.
Бауэр, Фридрих. Информатика: Вводный курс : Пер. с нем.. - М. : Мир , 1976. - 488 с. ( 2 экз. )
2.
Бауэр, Фридрих. Информатика: Задачи и решения : Пер. с нем.. - М. : Мир , 1978. - 360 с. ( экз. )
3.
Криницкий, Николай Андреевич. Алгоритмы вокруг нас. - М. : Наука. Главная редакция физико-математической литературы , 1984. - 224 с. ( 2 экз. )
4.
Целищев, Виталий Валентинович. Философские проблемы логики (семантические аспекты) : . - М. : Высшая школа , 1984. - 126, [2] с. ( 1 экз. )
5.
Рейуорд-Смит В. Дж. Теория формальных языков. Вводный курс : Пер. с англ.. - М. : Радио и связь , 1988. - 124[1] с. ( 9 экз. )
6.
Бауэр, Фридрих. Информатика: Вводный курс [] : Пер. с нем.: в 2 ч.. Ч. 2. - М. : Мир , 1990. - 744 с. ( 5 экз. )
7.
Гордеев, Александр Владимирович. Системное программное обеспечение : Учебник для вузов. - СПб. : Питер . - СПб. : Питер , 20012002. - 736 с. ( 43 экз. )
8.
Паун, Георг. ДНК-компьютер. Новая парадигма вычислений : Пер. с англ.. - М. : Мир , 2004. - 527[1] с. ( 1 экз. )
9.
Дискретная математика : Учебник для вузов. - Томск : В-Спектр , 2006. - 288 с. ( 47 экз. )
10.
Котов, Вадим Дмитриевич. Интеллектуальная система обнаружения вредоносных интернет-страниц на основе технологий машинного обучения : автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.19. - Уфа , 2013. - 16 с. ( 1 экз. )
 
Статистика
за 27.06.2024
Число запросов 3033
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)