Вы здесь

Главная

Программирование

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

Об одном методе решения массовых задач принадлежности точек произвольным покрытиям на GPU
Об одном обоб ении регулярных выражений
Об одном подходе к анализу свойств программ
Об одном подходе к организации за иты от несанкционированного копирования программ
Об одном подходе к разрешению проблемы эквивалентности
Об одном подходе к спецификации и верификации транслятора
Об одном приложении вычислений с оракулом
Об одном расширении класса контекстно-свободных языков
Об одном формализме для представления знаний
Об однородном базисе Гребнера для тензоров
Об опорном суммировании
Об организации распределенного имитационного моделирования
Обоснование преобразования чистки циклов
Об основаниях ненавигационного языка запросов к объектно-ориентированным базам данных
Об основной семантике бестиповых функциональных программ
Об особенностях правовой охраны программ для ЭВМ и баз данных в Российской федерации
Об оценке частоты выполняемого кода последовательных программ
Обратимые преобразования Дарбу типа I
Обратная совместимость программных интерфейсов: шаги к автоматической верификации
Об универсальной магии
Об универсальной модели организации доступа к базам данных
Об унификации поведенческих эквивалентностей временных систем переходов
Обход неизвестного ориентированного графа конечным роботом
Объектная организация систем гиперпрограммирования
Объектная систематизация и парадигмы вычислительной математики
Объектно-ориентированная архитектура для приложения научной визуализации и математического моделирования
Объектно-ориентированное описание графовых структур данных
Объектно-ориентированное программирование на современном Фортране
Объектно-ориентированные базы данных
О верификации асинхронных программ продукционного типа
О взаимосвязи двух семантик параллельных вычислений
О выборе стратегии в недетерминированных антагонистических играх
О вычислении булевых инволютивных базисов
О вычислении шаблонов выражений в С++
О генерации условий корректности для императивных программ
Ограниченная монотонная рекурсия и МГ-автоматы
Один метод реализации интерпретатора аппликативного языка программирования
О задаче слияния карт памяти (mind maps) при коллективной разработке
О кольцах Оре, линейных операторах и факторизации
О комплементарных принципах объектно-ориентированного прораммирования в ограничениях
О конечных спектральных процедурах в линейной алгебре
О корректности параллельных алгоритмов
О методе коммулятивных сумм в задаче обнаружения изменения трафика компьютерных сетей
О минимальном времени реализации распределенных конкурирую их процессов в синхронных режимах
О моделировании и исследовании некоторых задач с помо ью компьютерной алгебры
О нахождении аргументов и результатов в схемах с косвенной адресацией
О некоторых задачах, возникаю их при факторизации линейных обыкновенных дифференциальных операторов
О некоторых определениях класса КС-языков видеоданных
О новом направлении подготовки специалистов "Информатика и программные системы"
Операционно-онтологический подход к формальной спецификации языков программирования