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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

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

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

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

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

004
Т 396

    Тидуэлл, Дуг.
    XSLT [Текст] : научное издание / Дуг Тидуэлл ; ред. А. Галунов ; пер. Е. Матвеев. - 2-е изд. - СПб. : Символ-Плюс, 2010. - 960 с. : ил. - Пер. с англ. - Алф. указ.: с. 945. - ISBN 978-5-93286-150-9 : 400.00 р.

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

Кл.слова (ненормированные):
НАУЧНЫЕ ИЗДАНИЯ -- ТЕХНИКА -- ЭВМ -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- БАЗЫ ДАННЫХ -- ФОРМАТИРОВАНИЕ -- ПРОГРАММНАЯ ЛОГИКА -- ТАБЛИЦЫ -- КОДЫ
Доп.точки доступа:
Галунов, А. \ред.\
Матвеев, Е. \пер.\

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

681.3
В-949

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

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

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

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

Статистика за 02.07.2024
Число запросов	10647
Число заказов	0

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