Авторизация
 

Базы данных


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

Вид поиска

Область поиска
в найденном
Формат представления найденных документов:
полныйдля рабочих программ
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=линейная алгебра<.>)
Общее количество найденных документов : 196
Показаны документы с 1 по 20
 1-20    21-40   41-60   61-80   81-100   101-120      
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)

Постоянная гиперссылка
2.
Шифр: К067075/2013/1
   Журнал

Украина. Национальная академия наук Украины (Киев).
Кибернетика и системный анализ : международный научно-теоретический журнал/ Национальная академия наук Украины (Киев), Институт кибернетики им. В.М. Глушкова (Киев). - Киев, 1965 - . - ISSN 1019-5262. - Выходит раз в два месяца
2013г. N 1 . - 480.81, р.
Содержание:
Чеботарев, А. Н. Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L / А. Н. Чеботарев. - С.3-10
Кл.слова: языки программирования, кванторы, фиктивные состояния
Белан, С. Н. Выделение характеристических признаков изображений с помощью преобразования Радона и возможность его аппаратной реализации в клеточных автоматах / С. Н. Белан, Р. Л. Моторнюк. - С.11-18
Кл.слова: элементы, линейность, сдвиги
Елфимова, Л. Д. Новые клеточные методы умножения матриц / Л. Д. Елфимова. - С.19-29
Кл.слова: линейная алгебра, алгоритмы, матрицы
Голодников, А. Н. Интегрированное моделирование для управления состоянием продовольственной безопасности в Украине. I. Модель для управления экономической доступностью продуктов питания / А. Н. Голодников, Ю. М. Ермольев, Т. Ю. Ермольева. - С.30-42
Кл.слова: модели спроса, регулирование, цены
Гупал, А. М. Свойства процедур сепарации для дискретных объектов в моделях байесовских сетей / А. М. Гупал, Н. А. Гупал. - С.43-48
Кл.слова: сепарация, Маркова условие, дискретные объекты
Корхин, А. С. Об использовании априорной информации в регрессионном анализе / А. С. Корхин. - С.49-64
Кл.слова: сочетания, ограничения, случайные величины
Меликов, А. З. Численный метод анализа моделей систем массового обслуживания со скачкообразными приоритетами / А. З. Меликов, Л. А. Пономаренко, Сон Ким Чи. - С.65-72
Кл.слова: очереди, буфера, каналы
Мащенко, С. О. Задача математического программирования с нечетким множеством индексов ограничений / С. О. Мащенко. - С.73-81
Кл.слова: принятие решений, множества, неравенства
Ряшко, Л. Б. Спектральный критерий стохастической устойчивости инвариантных многообразий / Л. Б. Ряшко, И. А. Башкирцева. - С.82-90
Кл.слова: конусы, формулы, векторы
Воронин, А. Н. Компромиссный метод в задачах условной оптимизации / А. Н. Воронин. - С.91-95
Кл.слова: целевые функции, схемы, программирование
Марценюк, В. П. Метод построения оценки устойчивости и компартментной модели с запаздыванием / В. П. Марценюк, Н. М. Гандзюк. - С.96-101
Кл.слова: векторы, функции, матричные формы
Емец, О. А. Доказательство сходимости итерационного метода решения задачи комбинаторной оптимизации игрового типа на размещениях / О. А. Емец, Е. В. Ольховская. - С.102-114
Кл.слова: координаты, множества, математические модели
Дунаев, Б. Б. Оптимизация роста реального валового внутреннего продукта / Б. Б. Дунаев. - С.115-128
Кл.слова: экономика, рынки, прибыли
Лаврищева, Е. М. Генерирующее и сборочное программирование. Аспекты разработки семейств программных систем / Е. М. Лаврищева. - С.129-144
Кл.слова: комплексы, вариабельность, сборки
Шелестов, А. Ю. Информационная система агромониторинга на основе геопространственных данных / А. Ю. Шелестов, А. Н. Кравченко, С. В. Скакун. - С.145-154
Кл.слова: геопорталы, спутниковые данные, интерфейсы
Скуратовский, Р. В. Метод быстрого таймерного кодирования текстов / Р. В. Скуратовский. - С.154-160
Кл.слова: блочное кодирование, архивация
Баркалов, А. А. Модификация системы адресации микрокоманд в устройстве управления с разделением кодов / А. А. Баркалов, Л. А. Титаренко, А. Н. Мирошкин. - С.161-171
Кл.слова: интегральные схемы, адресация, алгоритмы
Панченко, Б. Е. Каркасный анализ предметной области: стационарные динамические задачи теории упругости для изотропных сред с произвольными неоднородностями / Б. Е. Панченко, А. М. Назаренко. - С.172-182
Кл.слова: плотность, модули сдвига, время
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка
3.
519
И 889


   
    Исследование операций в экономике [Электронный ресурс] : учебник для вузов / Н. Ш. Кремер [и др.] ; ред. Н. Ш. Кремер ; рец. В. В. Подиновский ; Финансовый университет при Правительстве РФ. - 4-е изд., перераб. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис., табл. - (Высшее образование). - Библиогр.: с. 401-403. - Предм. указ.: с. 406-414. - ISBN 978-5-534-12800-0 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/issledovanie-operaciy-v-ekonomike-460143#page/1
Постоянная гиперссылка
4.
519
Г 231


    Гателюк, Олег Владимирович.
    Численные методы [Электронный ресурс] : учебное пособие для вузов / О. В. Гателюк, Ш. К. Исмаилов, Н. В. Манюкова ; рец.: А. Л. Поступинских, А. Н. Рыбалов. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис., табл., схемы, граф. - (Высшее образование). - Библиогр.: с. 139-140. - ISBN 978-5-534-05894-9 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/chislennye-metody-452912#page/1
Постоянная гиперссылка
5.
519
П 325


   Пименов, Владимир Германович

    Численные методы [Электронный ресурс] : учебное пособие для вузов: в 2-х ч. / В. Г. Пименов ; рец.: А. Л. Агеев, А. Ю. Вдовин ; Уральский федеральный университет имени первого Президента России Б. Н. Ельцина. - Электрон. текстовые дан. - М. : Юрайт ; Екатеринбург : Издательство Уральского университета, 2020. - (Высшее образование). - ISBN 978-5-534-10888-0(Изд-во Юрайт). - ISBN 978-5-7996-1015-9(Изд-во Урал. ун-та).
   Часть 1. - on-line. - ). - Библиогр.: с. 108. - ISBN 978-5-534-10886-6(Изд-во Юрайт). - ISBN 978-5-7996-1032-6(Изд-во Урал. ун-та) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/chislennye-metody-v-2-ch-ch-1-454052#page/1
Постоянная гиперссылка
6.
512
Б 821


    Боревич, Зенон Иванович.
    Определители и матрицы [Электронный ресурс] : учебное пособие / З. И. Боревич. - 5-е изд., стер. - Электрон. текстовые дан. - СПб. : Лань, 2021. - on-line. - (Учебники для вузов. Специальная литература). - ISBN 978-5-8114-0586-2 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/167735/#1
Постоянная гиперссылка
7.
512
Ф 151


    Фаддеев, Дмитрий Константинович.
    Задачи по высшей алгебре [Электронный ресурс] : учебное пособие / Д. К. Фаддеев, И. С. Соминский. - 17-е изд., стер. - Электрон. текстовые дан. - СПб. : Лань, 2021. - on-line. - (Учебники для вузов. Специальная литература) (Классическая учебная литература по математике). - ISBN 978-5-8114-0427-8 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/167703/#1
Постоянная гиперссылка
8.
51
С 232


    Сборник задач по высшей математике [Электронный ресурс] : учебное пособие в 4-х ч. / В. Н. Земсков [и др.] ; ред. А. С. Поспелов. - Электрон. текстовые дан. - М. : Юрайт, 2019. - (Бакалавр. Прикладной курс). - ISBN 978-5-9916-7932-9.
   Ч. 1. - on-line : ил. - ). - ISBN 978-5-534-02075-5 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/sbornik-zadach-po-vysshey-matematike-v-4-ch-chast-1-434616#page/1
Постоянная гиперссылка
9.
51
Б 744


    Богомолова, Елена Петровна.
    Сборник задач и типовых расчетов по общему и специальным курсам высшей математики [Электронный ресурс] : учебное пособие / Е. П. Богомолова, А. И. Бараненков, И. М. Петрушко ; ред. Н. В. Черезова ; рец. И. А. Соловьев. - Электрон. текстовые дан. - СПб. : Лань, 2015. - on-line : рис., табл. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 455-456. - ISBN 978-5-8114-1833-6 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/61356/#1
Постоянная гиперссылка
10.
517
С 349


    Сизиков, Валерий Сергеевич.
    Прямые и обратные задачи восстановления изображений, спектроскопии и томографии с MatLab [Электронный ресурс] : учебное пособие / В. С. Сизиков ; ред. С. В. Макаров ; рец.: Ю. Е. Воскобойников, И. В. Бойков, Д. Н. Сидоров. - Электрон. текстовые дан. - СПб. : Лань, 2017. - on-line : цв. ил., граф., рис., схемы. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 382-399. - Предм. указ.: с. 400-410. - ISBN 978-5-8114-2754-3 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/99358/#1
Постоянная гиперссылка
11.
51
Л 632


    Лисичкин, Виктор Тимофеевич.
    Математика в задачах с решениями [Электронный ресурс] : учебное пособие / В. Т. Лисичкин, И. Л. Соловейчик. - 7-е изд., стер. - Электрон. текстовые дан. - СПб. : Лань, 2020. - on-line : граф., схемы, табл. - (Учебники для вузов. Специальная литература). - ISBN 978-5-8114-4906-4 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/126952/#1
Постоянная гиперссылка
12.
517
Л 476


    Леонова, Наталья Алексеевна.
    Математические модели физических явлений в техносферной безопасности [Электронный ресурс] : учебное пособие / Н. А. Леонова, М. Р. Бортковская ; ред. С. В. Макаров ; рец.: В. И. Антонов, М. В. Чернышов. - 2-е изд., испр. и доп. - Электрон. текстовые дан. - СПб. : Лань, 2019. - on-line : рис., табл. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 162. - ISBN 978-5-8114-3596-8 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/116358/#1
Постоянная гиперссылка
13.
51
К 891


    Кузнецов, Леонид Антонович.
    Сборник заданий по высшей математике. Типовые расчеты [Электронный ресурс] : учебное пособие / Л. А. Кузнецов. - 13-е изд., стер. - Электрон. текстовые дан. - СПб. : Лань, 2015. - on-line. - (Учебники для вузов. Специальная литература). - ISBN 978-5-8114-0574-9 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/4549/#1
Постоянная гиперссылка
14.


   
    Инженерные расчеты. Книга-билингва [Электронный ресурс] : учебное пособие для вузов / В. Ф. Очков [и др.] ; ред. Т. С. Спирина. - Электрон. текстовые дан. - СПб. : Лань, 2021. - on-line : рис., схемы. - (Высшее образование). - Библиогр.: с. 286-287. - ISBN 978-5-8114-7708-1 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/179028/#1
Постоянная гиперссылка
15.
51
К 795


    Кремер, Наум Шевелевич.
    Математика для экономистов: от арифметики до эконометрики. Учебно-справочное пособие [Электронный ресурс] : учебник для вузов / Н. Ш. Кремер, Б. А. Путко, И. М. Тришин ; ред. Н. Ш. Кремер ; рец.: В. С. Мхитарян, А. И. Самыловский. - 5-е изд., испр. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2021. - on-line : табл., рис., граф. - (Высшее образование). - Библиогр.: с. 702-709. - Предм. указ.: с. 724-760. - ISBN 978-5-534-14218-1 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/matematika-dlya-ekonomistov-ot-arifmetiki-do-ekonometriki-uchebno-spravochnoe-posobie-477391#page/1
Постоянная гиперссылка
16.
51
М 967


    Мышкис, Анатолий Дмитриевич.
    Математика для технических вузов: Специальные курсы [Электронный ресурс] : учебное пособие / А. Д. Мышкис. - 3-е изд., стер. - Электрон. текстовые дан. - СПб. : Лань, 2021. - on-line : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 621-625. - Алф. указ.: с. 626-632. - ISBN 978-5-8114-0395-0 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://reader.lanbook.com/book/167766#1
Постоянная гиперссылка
17.
51
Б 241


    Бараненков, Александр Иванович.
    Сборник задач и типовых расчетов по высшей математике [Электронный ресурс] : учебное пособие / А. И. Бараненков, Е. П. Богомолова, И. М. Петрушко. - Электрон. текстовые дан. - СПб. : Лань, 2021. - on-line : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 231. - ISBN 978-5-8114-0930-3 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://reader.lanbook.com/book/167775#1
Постоянная гиперссылка
18.
51
К 891


    Кузнецов, Леонид Антонович.
    Сборник заданий по высшей математике. Типовые расчеты [Электронный ресурс] : учебное пособие для вузов / Л. А. Кузнецов. - 14-е изд., стер. - Электрон. текстовые дан. - СПб. : Лань, 2022. - on-line. - (Высшее образование). - ISBN 978-5-8114-9032-5 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://reader.lanbook.com/book/183616#1
Постоянная гиперссылка
19.
51
Б 135


    Баврин, Иван Иванович.
    Курс высшей математики : учебник для вузов / И. И. Баврин. - 2-е изд., перераб. и доп. - М. : ВЛАДОС, 2004. - 560 с. : ил., табл. - (Учебник для вузов). - Библиогр.: с. 556. - ISBN 5-691-00117-5 : 350.00 р., 380.00 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (4 экз.)
Свободны: аунл (4)
Постоянная гиперссылка
20.
512
П701


    Прасолов, Виктор Васильевич.
    Задачи и теоремы линейной алгебры : монография / Виктор Васильевич Прасолов. - М. : Наука, 1996. - 304 с. - Библиогр.: с. 295-299. -Предм. указ.: с. 300-302. - ISBN 5-02-014727-3 (в пер.) : 25.00 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка
 1-20    21-40   41-60   61-80   81-100   101-120      
 
Статистика
за 01.07.2024
Число запросов 135976
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)