Библиотека ТУСУРа

Базы данных

База данных нормативных документов - результаты поиска

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

Область поиска

Найдено в других БД:

Основная база библиотеки (3)

Формат представления найденных документов:
полный	для рабочих программ

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

Поисковый запрос: (<.>K=теория вычислений<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

004
Б 890

    Брукшир, Дж. Гленн.
    Информатика и вычислительная техника : пер. с англ. / Д. Г. Брукшир ; пер.: Е. Мясникова, Е. Шикарева. - 7-е изд. - СПб. : Питер, 2004. - 619[5] с. : ил. - Алф. указ.: с. 604-619. - ISBN 5-94723-650-8 : 150.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004
~РУБ 004

Кл.слова (ненормированные):
информатика -- вычислительная техника -- ЭВМ -- компьютеры -- программное обеспечение -- базы данных -- искусственный интеллект -- теория вычислений
Доп.точки доступа:
Мясникова, Е. \пер.\
Шикарева, Е. \пер.\

Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

519
А 651

    Андерсон, Джеймс.
    Дискретная математика и комбинаторика : Пер. с англ. / Д. А. Андерсон ; пер. : М. М. Белова. - М. ; СПб. ; Киев : Вильямс, 2004. - 957[3] с. : ил., табл. - Библиогр.: с. 850-855. - Предм.-имен. указ.: с. 942-953. - ISBN 5-8459-0498-6 : 607.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.1(075.8)
~РУБ 519

Кл.слова (ненормированные):
учебные пособия -- дискретная математика -- комбинаторика -- математическая логика -- теория множеств -- теория графов -- теория алгоритмов -- теория чисел -- теория вероятностей -- алгебра -- теория вычислений
Доп.точки доступа:
Белова, М. М. \пер.\

Имеются экземпляры в отделах: , аунл (8 экз.), счз1 (2 экз.)
Свободны: аунл (6), счз1 (2)
Постоянная гиперссылка

681.3
В-949

    Вычислительные системы : сборник научных трудов / Российская Академия наук. Сибирское отделение, Институт математики им. С. Л. Соболева. - Новосибирск : [б. и.], 1995 - .
   Вып. 152 : Теория вычислений и языки спецификаций. - Новосибирск : [б. и.], 1995. - 220 с. - (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.324
510.6
~РУБ 681.3

Кл.слова (ненормированные):
теория вычислений -- языки спецификаций -- программирование -- семантическое программирование -- прикладная логика -- программная логика -- ресурсная динамическая логика -- RDL -- S-программы -- языки действий -- естественные языки -- СИГМА-Т3 -- теория алгоритмов -- вычислительные системы
Доп.точки доступа:
Российская Академия наук. Сибирское отделение
Институт математики им. С. Л. Соболева

Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

Статистика за 21.08.2024
Число запросов	49949
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)