519.1(075)
Г 67


    Горбатов, В. А.
    Фундаментальные основы дискретной математики. Информационная математика [Текст] : учебник для втузов / Горбатов, В. А. - М. : Наука : Физматлит, 1999. - 544 с. : ил., табл. - Библиогр.: с. 533-535.- Предм. указ.: с. 536-540. - ISBN 5-02-015238-2 (в пер.) : 165-00 р.
УДК
Рубрики: МАТЕМАТИКА--ТЕОРИЯ ГРАФОВ--МАТЕМАТИЧЕСКАЯ ТЕОРИЯ ИНФОРМАЦИИ
Кл.слова (ненормированные):
характеризационный анализ -- анализ характеризационный -- дискретная математика -- теория графов -- теория автоматов -- информационная математика -- алгоритмы -- компьютерные арифметики -- множества -- математическая логика -- Булевы функции -- мографы -- формальные грамматики -- компьютерно-информационная математика

Экземпляры всего: 12
ОХиИФ (1), ООЛ (11)
Свободны: ОХиИФ (1), ООЛ (11)

681.3.06(075)
С 59


    Соколов, А. П.
    Системы программирования [Text] : теория, методы, алгоритмы : учеб. пособие для вузов / Соколов, А. П. - М. : Финансы и статистика, 2004. - 320 с. : ил. - Библиогр.: с. 309-310. - Предм. указ. : с. 313-320. - ISBN 5-279-02770-7 : 130-00 р.
УДК
Рубрики: АВТОМАТИКА И ТЕЛЕМЕХАНИКА.ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ПРОГРАММИРОВАНИЯ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ
Кл.слова (ненормированные):
программирование -- языки программирования -- конечные автоматы -- формальные грамматики -- алгоритмы трансляции -- Ассемблер -- верификация программ -- системы программирования

Экземпляры всего: 1
ОХФ (1)
Свободны: ОХФ (1)