Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


Книги- результаты поиска

Вид поиска
Книги
Авторефераты
Аудиовизуальный фонд
Фонд редкой книги
Труды преподавателей
Периодические издания
Выпускные квалификационные работы
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>S=Математика -- кибернетика<.>
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.
22.18
Г 55

    Глушков, Виктор Михайлович.
    Машина доказывает [Текст] / В. М. Глушков. - М. : Знание, 1981. - 61, [2] с. - (Новое в жизни науке, технике. Серия "Математика, кибернетика" ; вып.12). -
ББК 22.18
Рубрики: Математика--кибернетика
Кл.слова (ненормированные):
автоматизация доказательств

Свободных экз. нет
Найти похожие
2.
22.16
А 84

    Арнольд, Владимир Игоревич.
    Теория катастроф [Текст] / В. И. Арнольд. - М. : Знание, 1981. - 64 с. - (Новое в жизни, науке, технике. Серия "Математика, кибернетика". Вып. 9). - 0.11 р.
ББК 22.16
Рубрики: Математика--кибернетика
Кл.слова (ненормированные):
теория катастроф

Экземпляры всего: 1
Ч.з.1 (1)
Свободны: Ч.з.1 (1)
Найти похожие
3.
22.12
К 17

    Калашников, Владимир Вячеславович.
    Организация моделирования сложных систем [Текст] / В. В. Калашников. - М. : Знание, 1982. - 63 с. - (Новое в жизни, науке, технике : вып.3. Серия "Математика, кибернетика"). -
ББК 22.12
Рубрики: Математика--кибернетика
Кл.слова (ненормированные):
сложные системы -- модели -- алгоритмы моделирования

Свободных экз. нет
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)