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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

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

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

Поисковый запрос: (<.>K=АБСТРАКЦИЯ<.>)

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

004
К 142

    Казанский, Александр Анатольевич.
    Объектно-ориентированный анализ и программирование на Visual Basic 2013 [Электронный ресурс] : учебник для вузов / А. А. Казанский ; рец.: В. С. Варников, Е. М. Зверяев. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : табл., рис. - (Высшее образование). - Библиогр.: с. 290. - ISBN 978-5-534-01122-7 : Б. ц.

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

Кл.слова (ненормированные):
УЧЕБНИКИ -- ЛАБОРАТОРНЫЕ РАБОТЫ -- АЛГОРИТМЫ -- ЛИНЕЙНЫЕ СТРУКТУРЫ -- ТАБУЛИРОВАНИЕ -- ВЕКТОРНАЯ ГРАФИКА -- АБСТРАКЦИЯ -- ИНТЕРФЕЙСЫ -- НАСЛЕДОВАНИЕ -- ПОЛИМОРФИЗМ -- БАЗЫ ДАННЫХ

Доп.точки доступа:
Варников, В. С. \рец.\
Зверяев, Е. М. \рец.\

Перейти к внешнему ресурсу https://urait.ru/viewer/obektno-orientirovannyy-analiz-i-programmirovanie-na-visual-basic-2013-451412#page/1
Постоянная гиперссылка

004
Х 218

    Харрис, Дэвид М..
    Цифровая схемотехника и архитектура компьютера [Электронный ресурс] / Д. М. Харрис, С. Л. Харрис ; ред., худож. Д. А. Мовчан. - Электрон. текстовые дан. - М. : ДМК Пресс, 2017. - on-line : ил., портр., рис. - Пер. с англ. Imagination Technologies. - Предм. указ.: с. 772-791. - ISBN 978-5-97060-522-6 : Б. ц.

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

Кл.слова (ненормированные):
БУЛЕВА АЛГЕБРА -- КАРТЫ КАРНО -- МУЛЬТИПЛЕКСОРЫ -- ТРИГГЕРЫ -- РЕГИСТРЫ -- КОМПАРАТОРЫ -- МИКРОАРХИТЕКТУРА -- ЦИФРОВАЯ АБСТРАКЦИЯ -- ЛОГИЧЕСКИЕ ЭЛЕМЕНТЫ -- КОНЕЧНЫЕ АВТОМАТЫ

Доп.точки доступа:
Харрис, Сара Л.
Мовчан, Д. А. \ред., худож.\

Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/97336/#4
Постоянная гиперссылка

681.3
Р 181

    Райли, Дэвид Д..
    Абстракция и структуры данных. Вводный курс / Д. Д. Райли ; пер.: А. Г. Красовский, С. В. Синицын, В. С. Стрижевский ; ред. пер. Н. И. Ильинский. - М. : Мир, 1993. - 752 с. : ил. - Пер. с англ. - Предм. указ.: с. 725-743. - ISBN 5-03-001302-4 : Б. ц.

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

Кл.слова (ненормированные):
ПРОГРАММИРОВАНИЕ -- ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- БАЗЫ ДАННЫХ
Доп.точки доступа:
Красовский, А. Г. \пер.\
Синицын, С. В. \пер.\
Стрижевский, В. С. \пер.\
Ильинский, Н. И. \ред. пер.\

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

Шифр: К067075/2010/4
Журнал
Украина. Национальная академия наук Украины (Киев).

Кибернетика и системный анализ : международный научно-теоретический журнал/ Национальная академия наук Украины (Киев), Институт кибернетики им. В.М. Глушкова (Киев). - Киев, 1965 - . - ISSN 1019-5262. - Выходит раз в два месяца
2010г. N 4

Содержание:
Летичевский, А. А. Свойства предикатного трансформера системы VRS / А. А. Летичевский, А. Б. Годлевский, С. В. Потиенко
Кл.слова: верификация, символьное моделирование, трансформеры
Скобелев, В. В. О сложности анализа автоматов над конечным кольцом / В. В. Скобелев, В. Г. Скобелев
Кл.слова: автоматы, конечные кольца, симметричные поточные шифры
Шахбазян, К. В. Вхождения в моноидах треков / К. В. Шахбазян, Ю. Г. Шукурян
Кл.слова: графы зависимостей, моноид треков, сравнение образцов
Захаров, В. А. Проверка эквивалентности программ с помощью двухленточных автоматов / В. А. Захаров
Кл.слова: разрешимость, многоленточные автоматы, вычислительная сложность
Елфимова, Л. Д. Быстрые гибридные алгоритмы умножения матриц / Л. Д. Елфимова
Кл.слова: линейная алгебра, умножение матриц, клеточные методы
Чеботарев, А. Н. Преобразование спецификации автомата в языке L* в автоматно эквивалентную спецификацию в языке L / А. Н. Чеботарев
Кл.слова: двустороннее сверхслово, элиминация кванторов, язык спецификации L*
Колчин, А. В. Автоматический метод динамического построения абстракций состояний формальной модели / А. В. Колчин
Кл.слова: проверка модели, динамическое построение, абстракция
Годлевский, А. Б. Предикатные преобразователи в контексте символьного моделирования транзиционных систем / А. Б. Годлевский
Кл.слова: символьное моделирование, предикатные преобразователи
Bjorner, D. Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering / D. Bjorner
Кл.слова: domain engineering, domin modelling, software development
Глибовец, Н. Н. Расширение языка Scala средствами параллелизма и распределенности с помощью координационной системы Linda / Н. Н. Глибовец, С. С. Гороховский, М. С. Стукало
Кл.слова: расширение языка, распределенные вычисления, координационные системы
Герман, В. Н. Решение линейных ограничений над полем вещественных и рациональных чисел / В. Н. Герман
Кл.слова: верификация моделей, линейные неравенства, элиминация кванторов
Лаврищева, Е. М. Формальные основы интероперабельности компонентов в программировании / Е. М. Лаврищева
Кл.слова: гетерогенные среды, интероперабельность, компонентное программирование
Дорошенко, А. Е. Развитие инструментария алгебры алгоритмики с целью разработки параллельных программ с использованием эвристических средств / А. Е. Дорошенко, Н. В. Котюк, С. С. Николаев
Кл.слова: искусственный интеллект, алгебра алгоритмики, синтез программ
Львов, М. С. Полиномиальные инварианты линейных циклов / М. С. Львов
Кл.слова: статический анализ, полиномиальные инварианты, линейные циклы
Летичевский, А. А. Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования / А. А. Летичевский, В. Н. Герман, М. К. Мороховец
Кл.слова: алгебраическое программирование, параллельные вычисления, логические выводы
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка

Статистика за 01.07.2024
Число запросов	157358
Число заказов	0

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