Складові частини документа:

• Bjorner D. Donain science and engineering from computer science to the sciences of informatics. Part 1: Engineering - С.100
• Колчин А.В. Автоматический метод динамического построения абстракций состояний формальной модели - С.70
• Елфимова Л.Д. Быстрые гибридные алгоритмы умножения матриц - С.49
• Шахбазян К.В., Шукурян Ю.Г. Вхождения в моноидах треков - С.31
• Скобелев В.В., Скобелев В.Г. О сложности анализа автоматов над конечным кольцом - С.17
• Летичевський А.А., Герман В.Н., Мороховец М.К. и др. Паралельный поиск вывода в логическом исчислении на основе системы алгебрического програмирования - С.169
• Львов М.С. Полиномиальные инварианты линейных циклов - С.159
• Годлевский А.Б. Предикатные преобразователи в контексте символьного моделирования транзиционных систем - С.91
• Чеботарев А.Н. Преобразование спецификации автомата в языке L* в автоматно эквивалентную спецификацию в языке L* - С.60
• Захаров В.А. Проверка эквивалентности программ с помощью двухленточных автоматов - С.39
• Дорошенко А.Е., Котюк Н.В., Николаев С.С. и др. Развитие инструментария алгебры алгоритмики с целью разработки паралельных программ с использованием эвристических средств - С.151
• Глибовец Н.Н., Гороховский С.С., Стукало М.С. Расширение языка Scala средствами параллелизма и распределенности с помощью координационной системы Linda - С.117
• Герман В.Н. Решение линейных ограничений над полем вещественных и рациональных чисел - С.123
• Летичевский А.А., Годлевский А.Б., Летичевский А.А. и др. Свойства предикатного трансформера системы VRS - С.3
• Лаврищева Е.М. Формальние основы интероперабельности компонентов в программировании - С.134

Примірники
Місце збереження	Кількість	Видано
Читальний зал	1	0