Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
средства
Связанные издания:
An Authorization Mechanism for Unix-Based Cooperative Environments
A Project Planning and Development Process for Small Teams
Clipper 5.0 - новая система программирования
Gauge: A Workbench for the Performance Analysis of Logic Programs
Inside a Software Design Team: Knowledge Acquisition, Sharing, and Integration
Logic and Programming, Artificial Intelligence, and Reasoning: Proc./18th International Conference, LPAR-18, Merida, Venezuela, March 2012
Methodology & Assembly System with Software Components Technology: MASCOT
OpenSHMEM and Related Technologies: Experiences, Implementations, and Technologies: Revised Selected Papers/2nd Workshop, OpenSHMEM 2015, Annapolis,MD,USA, August 2015
Reasoning with Contexts
Reuse, a Problem of Understanding Designs
Scheduling and IPS Mechanisms for Continuous Media
Semantic Extraction for the Automatic Verification of VHDL Descriptions
Semantic Processing of Legal Texts: Where the Language of Law Meets the Law of Language
Social Computing and Social Media: Proc./International Conference, SCSM 2015, Hald as Part of HCI International 2015, Los Angeles,CA,USA, August 2015
Software Environments for Computer Aided Education
Software Support for Parallel Computing: Where Are We Headed?
SRSGEN - A Software Reuse Tool for Lafge Scale Applications
The Role of Software Architecture and CASE Environment for Software Reuse
TQM for Technical Teams
Urgent Research Issues in Software Process Engineering
Verification of Proofs for the B Formal Development Process
Алгоритмы и средства автоматизации расчетов электронно-оптических систем
Инструментальные средства информационного моделирования
Интегрированные факс-серверы
Комплекс средств автоматизированного синтеза устройств управления на ПЛМ и ПЗУ
Комплекс средств для диагностирования дискретных устройств
Лексическая семантика. Синонимические средства языка
Логико-языковые средства описания моделей логического разграничения доступа
Метод и алгоритмические средства построения оптимизационной модели нелинейного программирования в процессе диалога
Методы недоопределенного вывода в системах продукций
Обзор средств построения экспертных систем
Организация средств физического уровня СУБД БОЯЗ-6
Программная инфраструктура для управления новым поколением инструментальных средств
Программные средства решения научных и инженерных задач
Развитие инструментальных средств автоматизации проектирования, ориентированных на разработчиков многокристальных модулей
Рынок программных средств для средней школы
Сезам, откройся!
Современные методы и средства программирования. Материалы семинара
Средства создания экспертных систем
Универсальное решение для рабочих групп
Что может новая версия Illustrator 3.0
Экспертные системы - 1990. (Классификация,состояние,проблемы,тенденции)
Языковые средства построения макетных отчетов/экранов системы информационного поиска АСПИД/ПК