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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

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

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

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

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

Поисковый запрос: (<.>K=ИНВАРИАНТЫ<.>)

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

1-20 21-22

510
Г 554

    Глухов, Михаил Михайлович.
    Математическая логика. Дискретные функции. Теория алгоритмов [Электронный ресурс] : учебное пособие / М. М. Глухов, А. Б. Шишков ; рец.: В. Б. Алексеев, В. П. Зязин. - Электрон. текстовые дан. - СПб. : Лань, 2021. - on-line : табл. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 398-401. - ISBN 978-5-8114-1344-7 : Б. ц.

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

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

Доп.точки доступа:
Шишков, Алексей Борисович
Алексеев, В. Б. \рец.\
Зязин, В. П. \рец.\

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

517
Б 645

    Бирман, Михаил Шлемович.
    Спектральная теория самосопряженных операторов в гильбертовом пространстве [Электронный ресурс] : учебное пособие / М. Ш. Бирман, М. З. Соломяк. - 2-е изд., испр. и доп. - Электрон. текстовые дан. - СПб. : Лань, 2021. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 444-445. - Предм. указ.: с. 446-453. - ISBN 978-5-8114-1076-7 : Б. ц.

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

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

Доп.точки доступа:
Соломяк, Михаил Захарович

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

Шифр: П004589/2021/12/3
Журнал

Программная инженерия [Текст] : теоретический и прикладной научно-технический журнал/ Российская Академия Наук (М.), Отделение математических наук, Российская академия наук (М.), Отделение нанотехнологий и информационных технологий, Московский государственный университет (М.), Московский государственный технологический университет (М.), (М.). - М. : Новые технологии, сентябрь 2010 - . - ISSN 2220-3397. - Периодичность неизвестна
2021г. т.12 N 3 . - 4180.04, р.

Содержание:
Грибова, В. В. Разработка решателей задач на основе управляющих графов для систем с базами знаний / В. В. Грибова, В. А. Тимчено, Е. А. Шалфеева. - С.115-126
Кл.слова: инженерия программная, методология разработки программ, операции над информацией
Шелехов, В. И. Методы трансформации и дедуктивной верификации программы инвертирования списков / В. И. Шелехов. - С.127-139
Кл.слова: программирование функциональное, алгебраический тип данных, список односвязный
Паринов, С. И. Тематическое моделирование контекстов цитирований из научных публикаций: структура научного потребления автора / С. И. Паринов. - С.140-149
Кл.слова: проект Сиртек, топики, анализ наукометрический
Галатенко, А. В. Об одной модели безопасного функционирования компьютерных систем / А. В. Галатенко. - С.150-156
Кл.слова: автоматы конечные, языки регулярные, эксперименты кратные условные
Костенко, К. И. Инварианты ядра фундаментальной модели интеллектуальной системы / К. И. Костенко. - С.157-168
Кл.слова: формализм знаний, онтология, цель когнитивная
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

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

533
К 731

   Котельников, Игорь Александрович
    Лекции по физике плазмы [Электронный ресурс] : учебное пособие для вузов: в 2-х т. / И. А. Котельников ; ред. Н. А. Кривилёва. - 3-е изд., испр. и доп. - Электрон. текстовые дан. - СПб. : Лань, 2021. - (Высшее образование).
   Т. 1 : Основы физики плазмы / рец. Д. Д. Рютов. - on-line : рис., табл. - Библиогр. в конце разд. - Библиогр.: с. 379-392. - Предм. указ.: с. 368-375. - Имен. указ.: с. 376-378. - ISBN 978-5-8114-6958-1 : Б. ц.

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

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

Доп.точки доступа:
Кривилёва, Н. А. \ред.\
Рютов, Д. Д. \рец.\

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

681.5
С 280

    Северцев, Николай Алексеевич.
    Динамические системы: безопасность и отказоустойчивость [Электронный ресурс] : учебное пособие для вузов / Н. А. Северцев ; авт. предисл. И. Н. Коваленко ; рец.: И. В. Переездчиков, А. В. Ильичев. - 2-е изд., перераб. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис., табл., схемы. - (Высшее образование). - Библиогр.: с. 411-414. - ISBN 978-5-534-05711-9 : Б. ц.

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

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

Доп.точки доступа:
Коваленко, И. Н. \авт. предисл.\
Переездчиков, И. В. \рец.\
Ильичев, А. В. \рец.\

Перейти к внешнему ресурсу https://urait.ru/viewer/dinamicheskie-sistemy-bezopasnost-i-otkazoustoychivost-454643#page/1
Постоянная гиперссылка

51
М 340

    Математическая энциклопедия / ред. И. М. Виноградов. - М. : Советская энциклопедия, 1977 - . - (Энциклопедии. Словари. Справочники).
   Т. 2 : Д-Коо / ред.: В. И. Битюцков [и др.]. - 1979. - 1104 столбца : ил. - 15.83 р.

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

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

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

539.1
С 864

    Строковский, Евгений Афанасьевич.
    Физика атомного ядра и элементарных частиц: основы кинематики [Электронный ресурс] : учебное пособие для вузов / Е. А. Строковский. - 3-е изд., испр. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис., табл., вкл. л. 3. - (Высшее образование). - ISBN 978-5-534-03804-0 : Б. ц.

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

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

Перейти к внешнему ресурсу https://urait.ru/viewer/fizika-atomnogo-yadra-i-elementarnyh-chastic-osnovy-kinematiki-453646#page/1
Постоянная гиперссылка

534
Б 158

    Баев, Валерий Константинович.
    Теория колебаний [Электронный ресурс] : учебное пособие для вузов / В. К. Баев ; рец. Э. Я. Школьников ; Национальный исследовательский ядерный университет "МИФИ" (М.). - 2-е изд. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : ил., схемы. - (Высшее образование). - Библиогр.: с. 347-348. - ISBN 978-5-534-08527-3 : Б. ц.

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

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

Доп.точки доступа:
Школьников, Э. Я. \рец.\
Национальный исследовательский ядерный университет "МИФИ" (М.)

Перейти к внешнему ресурсу https://urait.ru/viewer/teoriya-kolebaniy-455785#page/1
Постоянная гиперссылка

Шифр: И038466/2018/12
Журнал

Физика : научный журнал. Известия ВУЗов/ Министерство образования Российской Федерации (Томск), Томский государственный университет. - Томск : СФТИ, 1958 - . - ISSN 0021-3411. - Выходит ежемесячно
2018г. N 12 . - 1866.71, р.

Содержание:
Капарулин, Д. С. Мировой лист массивной спиновой частицы в d=4 пространстве Минковского / Д. С. Капарулин, С. Л. Ляхович, И. А. Ретунцев. - С.3-10
Кл.слова: условия, неприводимость, траектории
Скобелев, В. В. О среднем значении потенциальной и кинетической энергии электрона в водородоподобном атоме / В. В. Скобелев. - С.11-13
Кл.слова: произвольность, сочетания, вариации
Ющенко, А. Ю. Диоды Шоттки на гетероструктурах с двумерным электронным газом / А. Ю. Ющенко, Г. И. Айзенштат, Ф. И. Федотова. - С.14-20
Кл.слова: барьеры, высота, идеальность
Копытов, Г. Ф. Оценка агрегативной устойчивости наночастиц серебра в составе гелевой композиции / Г. Ф. Копытов, В. В. Малышко, А. И. Горячко. - С.21-26
Кл.слова: хранение, количество, доли
Нагиев, Ш. М. О нестационарных квадратичных квантовых системах / Ш. М. Нагиев, А. И. Ахмедов, В. А. Тарвердиева. - С.27-38
Кл.слова: эволюция, операторы, инварианты
Лисовская, Е. Ю. Моделирование процессов обработки данных физических экспериментов в виде немарковской многоресурсной системы массового обслуживания / Е. Ю. Лисовская, А. Н. Моисеев, С. П. Моисеева. - С.39-46
Кл.слова: математика, анализ, асимптоты
Дмитриев, Ю. Г. Непараметрическое оценивание характеристик функции надежности с учетом дополнительной информации / Ю. Г. Дмитриев, Г. М. Кошкин. - С.47-56
Кл.слова: неопределенности, адаптивность, ошибки
Лапшин, О. В. Механохимическая активация и термическая обработка низкокалорийной порошковой смеси Nb + 2Si. II. Математическая модель / О. В. Лапшин, О. А. Шкода. - С.57-64
Кл.слова: силициды, взрывы, композиты
Конева, Н. А. Влияние термосиловых воздействий на структурно-фазовое состояние жаропрочного сплава на основе Ni-Al-Co / Н. А. Конева, А. И. Потекаев, Е. Л. Никоненко. - С.65-71
Кл.слова: рений, высокотемпературность, дислокации
Липатникова, Я. Д. Прочностные свойства слоистых композитов типа металл-интерметаллид в трехмерной многоуровневой модели / Я. Д. Липатникова, А. Н. Соловьев, В. А. Старенченко. - С.72-77
Кл.слова: деформация, разрушения, сверхструктуры
Тимофеева, Е. Е. Особенности термического и механического гистерезиса при развитии B2-B19’-мартенситных превращений через R-фазу в состаренных [001]-монокристаллах Ti - 50.6 ат. %Ni / Е. Е. Тимофеева, Е. Ю. Панченко, Н. Ю. Суриков. - С.78-82
Кл.слова: эффекты, память, формы
Пячин, С. А. Плавление титанового сплава под действием электрических разрядов различной длительности / С. А. Пячин, А. А. Бурков, О. И. Каминский. - С.83-89
Кл.слова: нестационарность, источники, плотность
Матысина, З. А. Фазовые превращения в смешанном литий-магниевом имиде Li₂Mg(NH)₂ / З. А. Матысина, С. Ю. Загинайченко, Д. В. Щур. - С.90-96
Кл.слова: свойства, изотермы, изобары
Куницына, Т. С. Влияние формы [001]-монокристаллов сплава Ni₃Fe на закономерности макролокализации сдвиговой деформации при одноостном сжатии / Т. С. Куницына, Л. А. Теплякова, А. И. Потекаев. - С.97-102
Кл.слова: рельефы, фрагментация, методы
Белослудцева, Е. С. Особенности структуры и фазового состава тройных сплавов квазибинарного разреза NiMn-NiTi / Е. С. Белослудцева, Е. Б. Марченкова, А. В. Пушин. - С.103-108
Кл.слова: распад, расслоение, мартенсит
Демкин, В. П. Экспериментальное исследование распространения электрических сигналов в тканях вестибулярного органа / В. П. Демкин, С. В. Мельничук, М. В. Светлик. - С.109-112
Кл.слова: ток, импеданс, лабиринт
Корюкина, Е. В. Моделирование профилей линий в спектрах криптона, излучаемых плазмой токовых слоев / Е. В. Корюкина, В. И. Корюкин. - С.113-120
Кл.слова: диагностика, методы, матрицы
Лопатин, В. С. О воспроизводимости процесса коллективного ускорения протонов в диодной системе с плазменным анодом / В. С. Лопатин, Г. Е. Ремнев, М. В. Журавлев. - С.121-125
Кл.слова: ионы, повторяемость, пучки
Шаманаева, Л. Г. Динамика кинетической энергии в атмосферном пограничном слое по результатам минисодарных измерений / Л. Г. Шаманаева, А. И. Потекаев, Н. П. Красненко. - С.126-130
Кл.слова: зондирование, акустика, зондирование
Лобанов, Б. В. Спектр оптического поглощения металл-нитридных комплексов фуллерена C₈₀ как сильно коррелированных систем / Б. В. Лобанов, А. И. Мурзашев, Н. В. Мельникова. - С.131-134
Кл.слова: Хаббард, флуктуации, эксперименты
Тельминов, Е. Н. Тонкопленочные органические излучающие структуры желто-зеленого диапазона спектра / Е. Н. Тельминов, Е. Н. Никонова, Т. А. Солодова. - С.135-141
Кл.слова: генерация, лазеры, пиррометеном
Зятькова, А. Г. Исследование гибридной полосы v₂ + v_{.10[/d]] молекулы транс-C₂H₂D₂} / А. Г. Зятькова, А. Б. Гиниятова. - С.142-145
Кл.слова: дейтерий, этилен, изотополог
Носов, П. А. Исследование нагрева оптических элементов при формировании излучения высокомощных непрерывных волоконных лазеров / П. А. Носов, А. Ф. Ширанков, А. М. Хорохоров. - С.146-152
Кл.слова: системы, головки, технологии
Изотов, А. В. Особенности двухмагнонных процессов релаксации в нанокристаллических тонких магнитных пленках / А. В. Изотов, Б. А. Беляев, П. Н. Соловьев. - С.153-159
Кл.слова: моделирование, анизотропия, резонанс
Синявский, Н. Я. 2М-частотно-релаксационная спектроскопия ядерного квадрупольного и ядерного магнитного резонансов / Н. Я. Синявский, И. Г. Мершиев. - С.160-161
Кл.слова: распределение, время, обмены
Гуревич, Б. С. Использование метода спектроскопии для неинвазивного определения содержания глюкозы в крови / Б. С. Гуревич, С. Ю. Дудников, В. В. Шаповалов. - С.162-164
Кл.слова: глюкометр, ИК-диапазон, режимы
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

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

10.

Шифр: И643213/2016/12
Журнал

Измерительная техника : научно-технический журнал/ Комитет стандартизации и метрологии Российской Федерации (М.), Федеральное агентство по техническому регулированию и метрологии (М.), Всероссийский научно-исследовательский институт метрологии им. Д. И. Менделеева (М.), Всероссийский научно-исследовательский институт оптико-физических измерений (М.), Всероссийский научно-исследовательский институт физико-технических и радиотехнических измерений (М.), Российский научно-технический центр информации по стандартизации, метрологии и оценке соответствия (М.). - М., 1939 - . - ISSN 0368-1025. - Выходит ежемесячно
2016г. N 12 . - 933.44, р.

Содержание:
Кукушкин, С. С. Методы обнаружения и исправления ошибок данных, основанные на нетрадиционном представлении результатов измерений образами-остатками / С. С. Кукушкин, А. С. Супрун. - С.3 - 7
Кл.слова: помехи, инварианты, достоверность
Киртаев, Р. В. Калибровка растровых электронных микроскопов в широком диапазоне увеличений / Р. В. Киртаев, А. Ю. Кузин, В. Г. Маслов. - С.7 - 10
Кл.слова: электрон, излучение, концевая мера
Мастеренко, Д. А. Особенности цифровой обработки измерительной информации при высокоточных линейных и угловых измерениях / Д. А. Мастеренко, В. И. Телешевский. - С.11 - 14
Кл.слова: дискретность, оценка типа Питмена, диагностика
Марков, Б. Н. Поиск оптимального расположения маркеров в пространстве при калибровке камеры фотограмметрической измерительной системы / Б. Н. Марков, А. А. Хохоликов, С. Г. Конов. - С.15 - 18
Кл.слова: изображение, оценка, матрица
Давыдочкин, В. М. Измерение расстояний частотно - модулированным дальномером по спектру сигнала разностной частоты с учётом частотной дисперсии в антенно-волноводном тракте / В. М. Давыдочкин. - С.19 - 24
Кл.слова: погрешность, дисперсия, помехоустойчивость
Чернышов, Е. С. Магнитно-инерциальный метод определения относительного положения и ориентации объекта / Е. С. Чернышов, ЕН Ун Чье. - С.24 - 27
Кл.слова: акселерометр, генератор, МСП
Бехтин, Ю. С. Метод измерения геометрического шума матричных фотоприемников интеллектуальной системы обнаружения препятствий на пути движения железнодорожного состава / Ю. С. Бехтин, И. Н. Желбаков, А. С. Игнатов. - С.28 - 32
Кл.слова: датчик, безопасность, фотоприёмник
Барышев, В. Н. Малогабаритный квантовый стандарт частоты на рубидиевой газовой ячейке с импульсной оптической накачкой и микроволновым возбуждением по схеме Рэмси / В. Н. Барышев, Д. С. Купалов, А. В. Новосёлов. - С.33 - 35
Кл.слова: лазер, накачка, схема Рэмси
Григорьев, А. В. Способ бесконтактного трёхкомпонентного измерения вибрации / А. В. Григорьев, А. В. Затылкин, Н. К. Юрков. - С.36 - 39
Кл.слова: вектор, модуль, изображение
Ростами, Х. Р. Высокочувствительный магнитометр для исследования эффекта захвата магнитного потока в высокотемпературных сверхпроводниках / Х. Р. Ростами. - С.40 - 45
Кл.слова: ВТСП, магнитометр, преобразователь
Сёмкин, Н. Д. Расчёт силы тока в измерительной цепи детектора высокоскоростных микрочастиц / Н. Д. Сёмкин, А. М. Телегин. - С.45 - 48
Кл.слова: ион, микрометеороид, ток
Козочкин, М. П. Измерение пространственных вибраций для диагностики качества сборки шпиндельных узлов / М. П. Козочкин, Ф. С. Сабиров. - С.49 - 52
Кл.слова: подшипник, спектр, акселерометр
Алимурадов, А. К. Алгоритм измерения частоты основного тона речевых сигналов на основе комплементарной множественной декомпозиции на эмпирические моды / А. К. Алимурадов. - С.53 - 57
Кл.слова: частота, сигнал, моделирование
Ерошенко, Г. П. Методика обоснования идеализированной математической модели контроля влажности зерна диэлькометрическим методом / Г. П. Ерошенко, Н. К. Шаруев, Д. П. Евстафьев. - С.58 - 61
Кл.слова: диэлькометрия, электрополе, анализ
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

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

11.

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

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

Содержание:
Палагин, А. В. Онтологическая концепция информатизации научных исследований / А. В. Палагин. - С.3-9
Кл.слова: ноосферогенез, трансдисциплинарность, инжиниринг
Балабанов, А. С. Индуцированная зависимость, взаимодействие факторов и дискриминация каузальных структур / А. С. Балабанов. - С.10-22
Кл.слова: провоцирование, коллайдер, связи
Марченко, А. А. Метод автоматического построения онтологических баз знаний. I. Разработка семантико-синтаксической модели естественного языка / А. А. Марченко. - С.23-33
Кл.слова: извлечение, лингвистика, факторизация
Гуляницкой, Л. Ф. Метод автоматической классификации на базе нечеткого отношения сходства / Л. Ф. Гуляницкой, И. И. Рясная. - С.34-41
Кл.слова: кластер, анализ, IFC-метод
Терлецкий, Д. А. Нечеткие объектно-ориентированные динамические сети. II / Д. А. Терлецкий, А. И. Провотар. - С.42-49
Кл.слова: модификаторы, эксплуататоры, классы
Кривонос, Ю. Г. Моделирование эволюции распространяющегося сигнала от входа до выхода с полным поглощением / Ю. Г. Кривонос, И. Т. Селезов, А. Н. Химич. - С.50-56
Кл.слова: уравнение, обобщение, преобразование
Кузнецов, Н. Ю. Ускоренное моделирование методом Монте-Карло количества "хороших" перестановок на многопроцессорном комплексе СКИТ-4 / Н. Ю. Кузнецов. - С.57-64
Кл.слова: модификация, погрешность, дисперсия
Королюк, В. С. Методы анализа многоканальной системы обслуживания с мгновенной и отсроченной обратными связями / В. С. Королюк, А. З. Меликов, Л. А. Пономаренко. - С.64-77
Кл.слова: качество, модель, эксперименты
Стецюк, П. И. Формулировки задач для кротчайшего k-вершинного пути и кратчайшего k-вершинного цикла в полном графе / П. И. Стецюк. - С.78-82
Кл.слова: программирование, коммивояжер, переменные
Трофимчук, А. Н. О сложности одной задачи оптимизации упаковок / А. Н. Трофимчук, В. А. Васянин, В. Н. Кузьменко. - С.83-92
Кл.слова: поток, перебор, трудоемкость
Лаптин, Ю. П. Точные штрафные функции и выпуклые продолжения функций в схемах декомпозиции по переменным / Ю. П. Лаптин. - С.93-104
Кл.слова: программирование, проблемы, коэффициенты
Островский, А. В. Применение статистических критериев для выбора оптимальных метапараметров в задаче распознавания фрагментов генов / А. В. Островский. - С.105-114
Кл.слова: модель, нуклеотид, экзон
Пепеляева, Т. В. Оптимальные стратегии для одной многономенклатурной модели управления запасами / Т. В. Пепеляева, Л. Б. Вовк, И. Ю. Демченко. - С.115-121
Кл.слова: критерии, процессы, Марков
Львов, М. С. Анализ линейно определенных итеративных циклов / М. С. Львов. - С.122-136
Кл.слова: статистика, программы, инварианты
Лавренюк, Н. С. Классификация больших площадей земного покрова по ретроспективным спутниковым данным / Н. С. Лавренюк, С. В. Скакун, А. Ю. Шелестов. - С.137-149
Кл.слова: геопространство, слияние, нейросети
Бабенко, Л. П. Инженерия требований и семантический веб / Л. П. Бабенко. - С.150-156
Кл.слова: аннотации, спецификация, коммуникации
Краснобаев, В. А. Метод арифметического сравнения данных, представленных в системе остаточных классов / В. А. Краснобаев, А. С. Янко, С. А. Кошман. - С.157-162
Кл.слова: обработка, точность, признаки
Шевчук, Б. М. Теоретические и алгоритмические основы повышения эффективности пакетной передачи информации в высокоскоростных и защищенных радиосетях / Б. М. Шевчук. - С.163-172
Кл.слова: сжатие, защита, последовательности
Била, Г. Д. Идентификация непараметрического сигнала при наличии случайного шума с сильной зависимостью / Г. Д. Била. - С.173-186
Кл.слова: системы, процессы, оценки
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

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

12.

Шифр: Р757294/2015/60/7
Журнал
Российская Федерация. Российская Академия Наук (М.).

Радиотехника и электроника/ Российская Академия Наук (М.). - М. : АКАДЕМКНИГА, 1956 - . - ISSN 0033-8494. - Выходит ежемесячно
2015г. т.60 N 7 . - 1740.23, р.

Содержание:
Кравченко, В. Ф. Применение семейств атомарных, WA-систем и R-функций в современных проблемах радиофизики. Часть III / В. Ф. Кравченко, О. В. Кравченко, Я. Ю. Коновалов. - С.663-694
Кл.слова: атомарные функции, уровень боковых лепестков, непараметрическая оценка плотности
Годин, А. С. Численное электродинамическое исследование диаграмм направленностей внешней задачи для элемента Гюйгенса - внешнего куба Гюйгенса / А. С. Годин, А. Б. Цай, К. Н. Климов. - С.695-704
Кл.слова: длина волны, парадокс внешнего куба, влияние граничного условия
Малышев, И. В. Метод определения проводимости киральнозависимых биологических сред в крайне высокочастотных полях / И. В. Малышев, Г. Г. Червяков, Н. В. Паршина. - С.705-708
Кл.слова: метод регистрации частот, изменение проводимости, киральнозависимые эффекты
Банков, С. Е. Теория цилиндрических решеток антенн Вивальди в одноволновом приближении / С. Е. Банков. - С.709-719
Кл.слова: периодические решетки, канал Флоке, матрица рассеяния
Булычев, Ю. Г. Комплексный метод отождествления-идентификации для многопозиционных угломерных систем пассивной локации на основе инвариантов / Ю. Г. Булычев, В. Ю. Булычев, С. С. Ивакина. - С.720-730
Кл.слова: пространственно-временные инварианты, отождествление пеленгов, полиноминальная модель движения цели
Богачев, В. М. Алгебраические критерии устойчивости комплексных полиномов и их применение в радиоэлектронике / В. М. Богачев. - С.731-741
Кл.слова: теоремы о локализации, методы синтеза двухполюсников, критерий Рауса
Коновалов, В. Н. Развитие плазменного канала плазменной вибраторной антенны, создаваемой излучением передатчика / В. Н. Коновалов, Г. П. Кузьмин, И. М. Минаев. - С.742-746
Кл.слова: характеристики плазменного слоя, радиус диэлектрической трубки, толщина скин-слоя
Гамаюнов, Ю. Г. Клинотрон в режиме усиления / Ю. Г. Гамаюнов, Е. В. Патрушева, А. В. Толстиков. - С.747-753
Кл.слова: самосогласованная нелинейная теория, статические траектории электронов, уровни входного сигнала
Абубакиров, Э. Б. О параллельном усилении в электронных системах с распределенным взаимодействием / Э. Б. Абубакиров, А. Н. Леонтьев. - С.754-758
Кл.слова: возможность одновременного усиления, модель релятивистской лампы, вращение поперечной структуры
Захаров, А. В. Полосно-пропускающие фильтры решетчатого типа на основе полуволновых резонаторов из отрезков симметричных полосковых линий передачи / А. В. Захаров, М. Е. Ильченко. - С.759-765
Кл.слова: микроволновые структуры решетчатого типа, коэффициенты связи, параметры полосковых резонаторов
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

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

13.

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

Содержание:
Михайлюк, В. А. Подход к оценке сложности вероятностных процедур постоптимального анализа дискретных задач оптимизации / В. А. Михайлюк. - С.3-10
Кл.слова: случайные алгоритмы, внешние генераторы, односторонняя ошибка
Остапенко, В. В. Математические модели борьбы партий за электорат или компаний за рынки сбыта / В. В. Остапенко, О. С. Остапенко, Е. Н. Беляева. - С.11-19
Кл.слова: социологические процессы, конфликтные ситуации, ситуация равновесия
Лукьянова, Е. А. Исследование однотипных структурных элементов GN-сети в процессе компонентного моделирования и анализа сложной системы с параллелизмом / Е. А. Лукьянова, А. В. Дереза. - С.20-29
Кл.слова: матрицы инцидентности, инварианты, верификация моделей
Сергиенко, И. В. Решение условной задачи оптимизации дробно-линейной целевой функции на множестве размещений методом ветвей и границ / И. В. Сергиенко, О. А. Емец, О. А. Черненко. - С.30-35
Кл.слова: знаменатель, пара, линейные функции
Стоян, Ю. Г. Математическое моделирование взаимодействия неориентированных выпуклых многогранников / Ю. Г. Стоян, А. М. Чугай. - С.36-44
Кл.слова: упаковка, касание, пересечение
Ясинский, В. К. О непрерывности по параметру решений стохастических дифференциально-функциональных уравнений с пуассоновскими возмущениями / В. К. Ясинский, И. В. Малык. - С.45-61
Кл.слова: динамические системы, параметры, радиофизика
Булавацкий, В. М. Численное моделирование динамики одного локально-неравновесного во времени конвективно-диффузионного процесса / В. М. Булавацкий. - С.62-71
Кл.слова: неклассические модели, приближенные решения, краевые задачи
Левитская, А. А. Одна комбинаторная задача в классе двоичных векторов заданного веса / А. А. Левитская. - С.72-75
Кл.слова: двоичные векторы, число ступеней, координаты
Дериева, Е. Н. О задаче управления решением стохастического дифференциального уравнения на плоскости с аддитивным дробным Броуновским полем / Е. Н. Дериева, С. О. Герасименко. - С.76-84
Кл.слова: случайные поля, дробные поля, Херста параметр
Михалевич, В. М. Задачи принятия решений с денежными доходами (потерями) при сочетании принципов гарантированного и наилучшего результатов / В. М. Михалевич. - С.85-95
Кл.слова: модели системы, критерии оптимальности, подмножества
Гребенник, И. В. Генерация комбинаторных множеств с заданными свойствами / И. В. Гребенник, А. С. Литвиненко. - С.96-105
Кл.слова: отображение, множества, генерация
Ливинская, А. В. Предельная теорема для перегруженных многоканальных сетей / А. В. Ливинская, Е. А. Лебедев. - С.106-113
Кл.слова: режимы, аппроксимация, нагрузка
Гирлин, С. К. Аналитическое решение задачи оптимального распределения внешних ресурсов между подсистемами двухпродуктовой развивающейся системы / С. К. Гирлин, А. В. Билюнас. - С.114-121
Кл.слова: внешние функции, Эйлера метод
Котляр, В. Ю. Рынок ставок: анализ арбитражных ситуаций / В. Ю. Котляр, О. В. Смирнова. - С.122-133
Кл.слова: модели торгов, вероятность, беттинг
Шолохов, А. В. О получении экстремального эллипсоида, содержащегося в сумме двух эллипсоидов / А. В. Шолохов. - С.134-140
Кл.слова: оценивание, множество достижимости, аппроксимация
Сахнюк, И. А. Прогнозно - базированный подход к определению метрологической надежности средств измерений / И. А. Сахнюк. - С.140-143
Кл.слова: отказ, наработка, погрешности
Львов, М. С. Метод трапецоидов решения систем линейных неравенств и его реализация инсерционным моделированием / М. С. Львов, В. С. Песчаненко. - С.144-156
Кл.слова: семантика, сегменты, пространства
Панченко, Б. Е. Исследование доменно-ключевой схемы реляционной базы данных / Б. Е. Панченко. - С.157-172
Кл.слова: данные, каркасы, области
Била, Г. Д. Об асимптотических свойствах оценок неизвестных параметров почти периодической функции при наличии Гауссовского шума / Г. Д. Била. - С.173-183
Кл.слова: зависимость, самостоятельность, распределение
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

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

14.

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

Содержание:
Сергиенко, И. В. О развитии научных идей Б. Н. Пшеничного в области оптимизации и математической теории управления / И. В. Сергиенко, А. А. Чикрий. - С.3-28
Кл.слова: производные, отображения, экстремумы
Норкин, В. И. Оптимизация финансового портфеля на основе принципа безопасности / В. И. Норкин, С. В. Бойко. - С.29-41
Кл.слова: доходность, риски, границы
Герасин, С. Н. Качественный анализ одного класса популяционных моделей с комменсальным взаимодействием / С. Н. Герасин, С. В. Яковлев, И. Г. Яловега. - С.42-49
Кл.слова: устойчивость, анализ, состояние
Марценюк, В. П. Построение оценок решений в модели противоопухолевого иммунитета с импульсными возмущениями / В. П. Марценюк, И. Е. Андрущак, И. С. Гвоздецкая. - С.50-54
Кл.слова: системы, медицина, существование
Дунаев, Б. Б. Монетарное регулирование равновесия экономики / Б. Б. Дунаев. - С.55-68
Кл.слова: труд, капитал, инфляция
Михалевич, В. М. О двух критериях при многократном выборе решений / В. М. Михалевич. - С.68-79
Кл.слова: системы, проблемы, модели
Воронин, А. Н. Экспертные модели векторной оптимизации / А. Н. Воронин. - С.80-85
Кл.слова: полиномы, квадраты, схемы
Донской, В. И. Сложность семейств алгоритмов обучения и оценивание неслучайности извлечения эмпирических закономерностей / В. И. Донской. - С.86-96
Кл.слова: функции, сложность, размерность
Михайлюк, В. А. Реоптимизация задачи о максимальном k-покрытии: порог отношения аппроксимации / В. А. Михайлюк. - С.97-104
Кл.слова: алгоритмы, приближение, качество
Скобелев, В. В. О двух последовательностях множеств отображений абстрактных множеств в Дедекиндово кольцо / В. В. Скобелев. - С.105-112
Кл.слова: кольца, матрицы, остатки
Олейник, Ан. А. Агентные технологии для отбора информативных признаков / Ан. А. Олейник, Ал. А. Олейник, С. А. Субботин. - С.113-125
Кл.слова: агенты, интеллект, отбор
Лювов, М. С. Нелинейные инварианты линейных циклов и собственные полиномы линейных операторов / М. С. Лювов, В. А. Крекнин. - С.126-140
Кл.слова: анализ, генерация, программы
Бабенко, Л. П. Как понять программу. Характеристический анализ современных подходов к спецификации программ / Л. П. Бабенко. - С.140-150
Кл.слова: веб - сервис, интерфейсы, функциональность
Акуловский, В. Г. Алгебра алгоритмов, базирующаяся на данных / В. Г. Акуловский. - С.151-166
Кл.слова: модели ЭВМ, данные, конструкции
Левин, В. И. Синтез логических многополюсников с заданной динамикой выходных процессов / В. И. Левин. - С.167-176
Кл.слова: логика, синтез, элементы
Баркалов, А. А. Структурная декомпозиция как средство оптимизации схемы автомата Мили на ПЛИС / А. А. Баркалов, Л. А. Титаренко, А. А. (мл.) Баркалов. - С.177-187
Кл.слова: блоки, память, процессы
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

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

15.

517
А 456


    Алгебраические инварианты динамических систем [Текст] : научное издание / Академия наук Молдавской ССР, Институт математики с вычислительным центром ; ред. Б. А. Щербаков. - Кишинев : Штиинца, 1980. - 152 с. - (Математические исследования ; вып. 55). - Б. ц.

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

Кл.слова (ненормированные):
АВТОМАТИЗИРОВАННЫЕ СИСТЕМЫ -- МАТЕМАТИЧЕСКИЙ АНАЛИЗ -- ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ
Доп.точки доступа:
Щербаков, Б. А. \ред.\
Академия наук Молдавской ССР. Институт математики с вычислительным центром

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

16.

А
С 170

    Самарина, Ольга Владимировна.
    Геометрический подход к определению инвариантов изображения : Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 05.13.18 / О. В. Самарина ; науч. рук. В. В. Славский ; Югорский государственный университет. - Ханты-Мансийск, 2008. - 19 с. : ил. - Библиогр.: с. 17-19

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.932'258(043.3)
~РУБ А

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

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

17.

51
Г 547

    Глобус : общематематический семинар / Независимый московский университет (М.); ред.: М. А. Цфасман, В. В. Прасолов. - М. : [б. и.], 2004 - . - ISBN 5-94057-064-X.
   Вып. 1. - М. : МЦНМО, 2004. - 264 с. : ил. - Библиогр. в конце ст. - ISBN 5-94057-068-2 : 80.00 р.

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

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

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

18.

51
К 482

   Клейн, Феликс
    Лекции о развитии математики в XIX столетии : пер. с нем. / Феликс Клейн. - Ижевск : Институт компьютерных исследований, 2003 - .
   Т. 2 / пер. В. А. Антонов. - Ижевск : Институт компьютерных исследований, 2003. - 240 с. : ил. - Имен. указ.: с. 238-239. - (в пер.) : 50.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
51(091)
514.82
530.12:51
~РУБ 51

Кл.слова (ненормированные):
ТЕОРИЯ ОТНОСИТЕЛЬНОСТИ -- ГЕОМЕТРИЯ -- линейные инварианты -- Лоренца группы -- римановы многообразия -- точечные преобразования -- математика
Доп.точки доступа:
Антонов, Вадим Анатольевич \пер.\

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

19.

Шифр: Р757294/2011/56/1
Журнал
Российская Федерация. Российская Академия Наук (М.).

Радиотехника и электроника/ Российская Академия Наук (М.). - М. : АКАДЕМКНИГА, 1956 - . - ISSN 0033-8494. - Выходит ежемесячно
2011г. т.56 N 1

Содержание:
Захарова, Л. Н. Совместный анализ данных оптических и радиолокационных сенсоров: возможности, ограничения и перспективы. / Л. Н. Захарова, А. И. Захаров, М. В. Сорочинский
Кл.слова: дистанционное зондирование, радиолокатор, оптические инструменты
Шалин, А. С. Оптические свойства нанокристаллических слоев, внедренных в среду-носитель. / А. С. Шалин
Кл.слова: нанокомпозит, среда- матрица, численное моделирование
Левин, Б. М. Поля линейных излучателей в ближней зоне. / Б. М. Левин
Кл.слова: электрические вибраторы, уравнение Кирхгофа, антенны
Осовицкий, А. Н. Интегральный подход к измерению параметров шероховатости поверхности по рассеянию света в диэлектрических волноводах. / А. Н. Осовицкий
Кл.слова: соотношение Рэлея, модели, волноводные волны
Бородин, Л. Ф. Варианты и инварианты групповых кодов над полем действительных чисел. / Л. Ф. Бородин
Кл.слова: модульно-разностные уравнения, алгоритмы, мультипликативное декодирование
Хуанг, Чин-Пак. Совместное использование секретных изображений с применением обычных вейвлетов и мультивейвлетов. / Чин-Пак Хуанг
Кл.слова: схема Шамира, этап восстановления, целочисленные вейвлет-преобразования
Котов, В. М. Оконтуривание изображений посредством брэгговской акустооптической дифракции в два порядка. / В. М. Котов, Г. Н. Шкердин, Д. Г. Шкердин
Кл.слова: нулевой порядок, звуковые волны, фурье-образы
Емельянов, Р. Ю. Компенсация узкополосной помехи в сверхширокополосной схеме связи на хаотических радиоимпульсах. / Р. Ю. Емельянов, Л. В. Кузьмин
Кл.слова: математическая модель, УП-сигналы, детектор огибающий
Богинская, И. А. Структура и электропроводность пленочных металлополимерных нанокомпозитов полипараксилилен-серебро. / И. А. Богинская, А. В. Гусев, К. А. Маилян
Кл.слова: композитные пленки, наночастицы, электроводимость
Власов, В. С. Вынужденная нелинейная прецессия вектора намагниченности в условиях ориентационного перехода. / В. С. Власов, Л. Н. Котов, В. Г. Шавров
Кл.слова: векторные модели, машинное моделирование, переменный ток
Балакирев, В. А. Автоколебания в убитрон-генераторе с задержанной обратной связью. / В. А. Балакирев, А. В. Бородкин
Кл.слова: магнитное поле, автогенератор, микроволны
Волошин, В. В. Потери на поглощении света при высоких температурах в оптических волокнах с покрытием из алюминия или меди. / В. В. Волошин, И. Л. Воробьев, Г. А. Иванов
Кл.слова: оптические потери, диффузия, отжиг
Сыровой, В. А. Геометризованная теория узких электронных пучков с эллиптическим сечением. / В. А. Сыровой
Кл.слова: магнитное сопротивление, алгоритмы, коллектор
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

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

20.

Шифр: К067075/2010/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)

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

1-20 21-22

Статистика за 16.07.2024
Число запросов	65537
Число заказов	0

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