Вы здесь

Главная

Киев

Связанные издания:

Некоторые вопросы совершенствования математического обеспечения систем моделирования дискретных процессов
Некоторые вопросы создания математического обеспечения неоднородного комплекса ЭВМ для автоматизации научного эксперимента
Некоторые вопросы теории алгоритмических языков и автоматизации программирования
Некоторые вопросы эквивалентных преобразований алгоритмов
Некоторые применения теории массового обслуживания к проектированию комплексов ЦВМ
Некоторые разрешимые случаи проблемы построения полной системы примеров и формализованное проектирование функциональных тестов блоков ЭВМ
Некоторые эквивалентные преобразования схем алгоритмов
Некоторые эффективные методы построения контроля ЭЦВМ
Неоднородная сортировка и её применения
Неоднородные вычислительные системы
Оазработка метода потроения диалоговых систем программирования на основе использования одного класса грамматик распознающего типа
Об автоматическом конструировании качественных программ, основанном на преобразовании
Об алгоритмизации перевода
Об изоморфизме и кодировании абстрактных автоматов
Обогащение алгоритмических языков параллельными функциями
Об одном способе определения количества разбиений целого положительного числа
Объектно-ориентированная система накопления знаний в экспертной системе технической диагностики
Об эквивалентных преобразованиях схем адресных алгоритмов
О выборе внутреннего языка цифровой вычислительной машины
О корректности математических текстов и её проверке с помощью ЭВМ
О методах распознавания эквивалентности и остановки алгоритмов
О моделировании языка на базе конечного проанализированного текста
О некоторых вопросах автоматизации исследований в алгебре и теории чисел (на примере изучения n-мерных коммутативных формальных групп над кольцами целых локальных полей)
О некоторых особенностях природных циклов и их моделировании
Операционные задачи анализа параллельных вычислений и их реализация
Операционные системы
Оптимизация автоматов с заключительным состоянием по быстродействию
Оптимизация вычислений в автоматизированных системах обработки данных
Оптимизация дискретных преобразователей по быстродействию и практический метод конструирования специальных моделирующих систем
Оптимизация управления ресурсами запасных частей в системах технического обслуживания ЭВМ в составе АСУ и в отраслях народного хозяйства
Оптимизирую ие преобразования для процедур
Оптимизирую ие преобразования линейных участков
Опыт использования Р-технологии для решения прикладных задач. (Инструкция пользователю)
О распознавании свойств дискретных преобразователей в многоленточных многоголовочных автоматов
Организация вычислений в системах обработки данных на многопроцессорных вычислительных комплексах с перестраиваемой архитектурой
Организация мультиобработки на серийных ЭВМ
Организация проблемно-ориентированного программного обеспечения в моделирующем комплексе
Организация управления вычислениями в распределенных многопроцессорных системах с макроконвейерной обработкой данных
Основы анализа макропреобразователей над размеченными деревьями
Основы программирования на Java для World Wide Web
Основы теории и методы проектирования автоматизированных обучающих и обслуживающих систем
От программирую их программ к системам программирования (Российский опыт)
Оценка научных результатов по оптимальному критерию
Оценка сложности распознавания равносильности операторных схем Янова на машинах Тьюринга
Очерки по истории компьютерной науки и техники в Украине
Параллельная обработка информации. В пяти томах. Том 1. Распараллеливание алгоритмов обработки информации
Параллельное программирование в среде управляющих пространств
Параллельное программирование и высокопроизводительные системы. Тезисы докладов V Всесоюзной школы-семинара. Часть 1: Формальные основы структурного параллельного программирования
Параллельное программирование и высокопроизводительные системы. Тезисы докладов V Всесоюзной школы-семинара. Часть 2: Средства параллельного программирования и их реализация
Параллельное программирование и высокопроизводительные системы. Тезисы докладов V Всесоюзной школы-семинара. Часть 3: Методы параллельных вычислений и их сложность