А 985 Ашманов, Станислав Александрович. Теория оптимизации в задачах и упражнениях [Текст] : учебное пособие / С. А. Ашманов, А. В. Тимохов. - 2-е изд., стер. - СПб. ; М. ; Краснодар : Лань, 2012. - 448 с. : рис., табл. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 441-442. - Предм. указ.: с. 444-447. - ISBN 978-5-8114-1366-9 : 1007.60 р. Коды, Ключ.слова, Доп.точки доступа  Перейти к внешнему ресурсу http://www.e.lanbook.com Имеются экземпляры в отделах: , счз1 (1 экз.) Свободны: счз1 (1) |
М 340 Математические вопросы кибернетики : сборник статей / ред. С. В. Яблонский. - М. : Наука, 1988 - . - До 1988 Издание см. под заглавием: Проблемы кибернетики. . Вып. 4. - М. : Наука, 1992. - 239[1] с. : ил. - Библиогр. в конце ст. - ISBN 5-02-014668-4 : Б. ц. Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (1 экз.) Свободны: аунл (1) |
Шифр: К067075/2010/4 Журнал Украина. Национальная академия наук Украины (Киев). 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) |
Шифр: К067075/2010/2 Журнал Украина. Национальная академия наук Украины (Киев). 2010г. N 2 Згуровский, М. З. Метрические аспекты периодических процессов в экономике и обществе / М. З. Згуровский Кл.слова: метрические подходы, системные конфликты, экономика Терещенко, В. Н. Рекурсия и параллельные алгоритмы в задачах геометрического моделирования / В. Н. Терещенко, А. В. Анисимов Кл.слова: геометрическое моделирование, параллельные алгоритмы, сцепляемая очередь Масол, В. И. Условия единственности решения неоднородной системы нелинейных случайных уравнений над полем GF(3) / В. И. Масол, Л. А. Ромашова Кл.слова: нелинейные системы, единственность решения, случайные коэффициенты Померанцева, Т. Н. Многомерный статистический анализ влияния глобальных угроз на безопасность стран мира / Т. Н. Померанцева, А. А. Болдак Кл.слова: глобальные угрозы, Минковского норма, кластерный анализ Згуровский, М. З. Интеграция украинской науки в мировую систему данных / М. З. Згуровский, А. Д. Гвишиани, К. В. Ефремов Кл.слова: Украина, центр данных, устойчивое развитие Сергиенко, И. В. Идентификация параметров квазистационарных задач термоупругости / И. В. Сергиенко, В. С. Дейнека Кл.слова: многокомпонентные дела, идентификация параметров, градиентные методы Панкратова, Н. Д. Системная стратегия гарантированной безопасности функционирования сложных технических систем / Н. Д. Панкратова Кл.слова: многофакторные риски, нештатные режимы, системная стратегия Скопецкий, В. В. Самойленко Т. А. / В. В. Скопецкий, О. А. Марченко Кл.слова: конечные элементы, нелинейные системы, двухфазная среда Задирака, В. К. Оптимальные квадратурные вычисления интегралов от быстроосциллирующих функций в случае сильной осцилляции в интерполяционном классе Липшица / В. К. Задирака, С. С. Мельникова, Л. В. Луц Кл.слова: квадратурные вычисления, Липшица класс, оптимальные алгоритмы Дзюбенко, К. Г. Об одной задаче сближения для дискретной системы со случайными возмущениями / К. Г. Дзюбенко, А. А. Чикрий Кл.слова: случайные возмущения, многозначное отображение, Понтрягина условия Касьянов, П. О. Дифференциально-операторные включения и мультивариационные неравенства с отображениями псевдомонотонного типа / П. О. Касьянов Кл.слова: квазимонотонное отображение, Фаэдо-Галеркина метод, конечные разности Михайлюк, В. А. Общий подход к оценке сложности постоптимального анализа дискретных задач оптимизации / В. А. Михайлюк Кл.слова: полиномиальные алгоритмы, дискретные задачи, разрешимые задачи Бычков, А. С. О сходимости последовательностей нечетких перспективных элементов, заданных на разных пространствах возможностей / А. С. Бычков, Е. В. Иванов Кл.слова: нечеткая логика, сходимость последовательностей, теория возможностей Задоянчук, Н. В. Анализ и управление дифференциальным включением второго порядка С +-коэрцитивным демпфирование / Н. В. Задоянчук, П. О. Касьянов Кл.слова: оптимальное управление, вязкоупругость, многозначные отображения Ясинский, В. В. Исследование процессов самоорганизации в образовательных системах на основе метода синергетического моделирования / В. В. Ясинский Кл.слова: многозначное отображение, синергетическое моделирование, негладкие функции реакции Львов, М. С. Алгебраический подход к задаче решения систем линейных неравенств / М. С. Львов Кл.слова: многосортные алгебры , линейные неравенства, алгебраическое программирование Имеются экземпляры в отделах: всего 1 : сбо (1) Свободны: сбо (1) |