Вы здесь

Главная

абстрактный

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

Алгоритм разбиения множества на простые части
Алгоритм распознавания достаточной полноты алгебраической спецификации абстрактного типа данных
Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ
Генерация выполняемого кода для языка алгебраических спецификаций
Императивная спецификация динамических систем
Интеграция функциональных сред на основе категориальной абстрактной машины
Использование абстрактных моделей для генерации тестовых данных сложной структуры
Использование механизма абстрактной интерпретации при анализе программ
Исследования по матричной представимости абстрактных групп и матричным группам
Конструирование базы данных на основе концепции абстрактных типов данных
Критерий функциональной полноты в алгебре Дейкстры
Лекции по программированию
Методы компиляции мета-логических программ при помо и абстрактной интерпретации
Механизм абстракций в машинно-ориентированной системе программирования ВК ЭВМ
Начинаем программировать на языке Java
Об алгоритме доказательства свойств абстрактных типов данных
Объектно-ориентированное программирование на языке Oberon-2
О некоторых свойствах стуктур событий
О проектировании программного обеспечения АСУ ТП в рамках метода МСПП
О языке программирования ЯРМО-3
Последовательные машины абстрактных состояний охватывают последовательные алгоритмы
Построение смешанного вычисления на алголоподобных программах
Проблемы унифицированной реализации стандартных и произвольных типов данных
Программирование ЭВМ. Вып.5: Системное программирование и абстрактные типы данных
Система программирования Атлант (технический проект). Часть 1
Системы обработки данных: Труды вычислительного центра, вып. 49
Системы программирования баз данных и знаний. Язык DBPL
Спецификация абстрактных типов данных с помощью систем подстановок термов
Спецификация абстрактных типов данных с помо ью систем подстановок термов
Средства конструирования спецификаций абстрактных типов данных и их применение к анализу схем программ
Теоретические и прикладные аспекты алгоритмики
Терминологический словарь понятий проблематики абстрактных типов данных
Унифицированная реализация системы типов языка программирования баз данных
Унифицированная реализация системы типов языка программирования баз данных
Управление рисками - нормативный вакуум информационной безопасности
Экспертные системы и анализатор статистических зависимостей