Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных:

Сводный каталог НТЛ по Ярославской области

Электронный каталог выпускных квалификационных работ

Виды поиска:

Поиск в найденном

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=теоретическое программирование<.>)
Общее количество найденных документов : 3 Показаны документы с 1 по 3

1..3

З973.2-018.2я54
С40

Системное и теоретическое программирование [Текст] : нелитературный текст. - Кишинев : Штиинца, 1982. - 140с. - (Математические исследования.Вып.69). - 4.00 р.

ББК З973.2-018.2я54
Рубрики: Персональный компьютер
Кл.слова (ненормированные):
б-ка Русина -- системное программирование -- теоретическое программирование

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие

В12я54
М34

Соболев, С. Л.
Математическая логика и теория алгоритмов [Текст] : нелитературный текст / отв. ред. С. Л. Соболев. - Новосибирск : Наука, 1982. - 176 с. - (Труды Ин-та математики, т. 2). - 10.00 р.

ББК В12я54
Рубрики: основания математики
логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- решетки квазимногообразий -- теория алгоритмов -- теоретическое программирование

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

В18я73
К89

Кузьмин, Егор Владимирович.
Введение в теорию вычислительных процессов и структур [Текст] : учеб. пособие для вузов / Е. В. Кузьмин ; Науч.-метод. совет ун-та ; Яросл. гос. ун-т им. П. Г. Демидова. - Ярославль : [б. и.], 2006. - 138 с. - ISBN 5-8397-0437-7 : 53.86 р.

ББК В18я73
Рубрики: кибернетика
Кл.слова (ненормированные):
вычислительные процессы -- теоретическое программирование -- моделирование -- математические модели -- программы -- математическая кибернетика

Держатели документа:
ЯрГУ ЯрГУ/ОРК, ЯрГУ/СБО/НБ, ЯрГУ/ЧЗ/НБ, ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие

1..3