К 381 Кибернетический сборник. Новая серия [Текст] : сборник переводов. Вып. 5 / Академия наук СССР (М.), Научный совет по кибернетике ; ред.: А. А. Ляпунов, О. Б. Лупанов. - М. : Мир, 1968. - 208 с. : ил. - Библиогр. в конце ст. - Б. ц. Коды, Ключ.слова, Доп.точки доступа ![]() Имеются экземпляры в отделах: аунл (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) |