Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Рига
Связанные издания:
Адаптивная система обучения с моделью
Алгоритмическая модель работы станций мини-сетей Хронос
Анализ подходов к построению сетевой файловой системы
Анализ управляю их и информационных свойств программ, ориентированный на статическую проверку их правильности
Архитектура измерительных кластеров и кластерных систем мини-сетей Хронос
Архитектура транспортных станций и межсетевых средств открытых сетей
Библиография работ по тестированию программ ЭВМ
Библиография работ по тестированию программ ЭВМ/Республ. фонд алгоритмов и программ Латвийской ССР
Верификация программ линейной алгебры
Верификация транслятора с языка БЭЙСИК
Влияние регистратора сеансовых соединений на показатели работы информационного канала
Вопросы исследования и разработки систем организации форматированно-текстовых баз данных
Вычислительные сети. Вып.4: Системное и прикладное математическое обеспечение сетевых терминальных комплексов
Вычислительные сети. Вып.5: Малые локальные сети
Гарантированная доставка сооб ений: новая коммуникационная концепция
Диалоговый конфигуратор программного обеспечения микропроцессорных систем
Инвентаризация идей тестирования программ
Инструментальные средства логического проектирования сетевых абонентских комплексов
Использование микросхемы KM183BEI для передачи речи в локальных мини-сетях
Коллективные ресурсы в системе организации взимодействия прикладных процессов, использую ей раздельную память
Комплекс сетевых аппаратных средств мини-сетей Хронос
Конструирование качественных программ методом конкретизирую их преобразований
Концепция локальных вычислительных сетей
Лингвистическое обеспечение диалоговых обучающих систем
Локальные вычислительные сети: Тезисы докладов всесоюзной конференции
Матрицы циклов и разрезов графаи их использование для плоской реализации
Методические рекомендации для практических занятий по языку ПЛ/1
Метод нахождкния раскраски вершин неориентированного графа
Метрология программного обеспечения и топологические меры сложности программ
Монитор реального времени абонентской машины локальной вычислительной сети персональных ЭВМ
Обоб енный подход к аксиоматической семантике операторов над последовательными файлами
О некоторых особенностях интервально-импульсной модуляции
Особенности реализации некоторых функций канальных протоколов "только с соединением" в мини-сетях распределенного измерения и управления
Оценка скоростных возможностей двухпроводных передаю их сред при передаче данных в основной полосе частот
Параметрическая идентификация двухпроводных передаю их сред для малых локальных сетей
Передача речи в локальных мини-сетях Хронос
Передаю ая среда с неоднородной структурой
Повышение производительности мобильной вычислительной сети
Применение и реализация языка программирования АДА: Тезисы докладов первой Всесоюзной научной конференции, Рига, 10-12 марта 1987 г.
Принципы построения мини-сетей Хронос
Принципы построения программного обеспечения информационно-библиотечной службы АН ЛатвССР
Проблемно-ориентированная система верификации программ
Проблемы совершенствования синтеза, тестирования, верификации и отладки программ. Том II : Тезисы докладов Всесоюзной научной конференции, Рига, 12-14 ноября 1986 г.
Проблемы совершенствования синтеза, тестирования, верификации и отладки программ. Том I : Тезисы докладов Всесоюзной научной конференции, Рига, 12-14 ноября 1986 г.
Протокольные тестеры и анализаторы для сетей Х.25
Распределенная система автоматизации эксперимента по лазерной локации
Сетевая архитектура распределенных многопроцессорных систем реального времени (архитектура "Хронос")
Сетевая диалоговая служба СМ ЭВМ
Сетевое программное обеспечение и технические устройства для Академсети
Синтез асинхронных конечных автоматов с использованием раскраски вершин неориентированных графов
1
2
следующая ›
последняя »