Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
контроль
Связанные издания:
Run-Time Check Elimination for Ada 9X
Scheduling Algorithms for Parallel Transaction Processing Systems
Securing XML Documents
Semantic Web Rules: Proc./International Symposium, RuleML 2010, Washington,DC,USA, October 2010
Social Robotics: Proc./11th International Conference, ICSR 2019, Madrid, Spain, November 2019
Specification and Enforcement of Access Control in Heterogeneous Distributed Applications
Structural Information and Communication Complexity: Revised Selected Papers/16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 2009
Taming Concurrency in Smalltalk - the Procol Approach
Task-role-based access control model
The Architecture of a Grammar Checker
The Automated Production Control Documentation System: A Case Study in Cleanroom Software Engineering
The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties
The Impact of Write-through Procedures and Checkpointing on Real-Time Concurrency Control
The Paradigms of Programming
Tower: A Language for Role Based Access Control
Transactions on Computational Collective Intelligence X
Transactions on Computational Collective Intelligence XXVIII
Two-Step Deductive Verification of Control Software Using Reflex
Two-Step Deductive Verification of Control Software Using Reflex
Upgrading Embedded Software in the Field: Dependability and Survivability
Using SCCS to Manage APL2 Development Projects
Using Static Analysis to Derive Imperative Code from ALPHA
Verification and Modelling of Authentication Protocols
VOODOO A Tool for Orthogonal Version Management
Web-based Information Systems for Technological Process Control: Architectural Framework and Software Solutions
Windows 7: новые возможности и перспективы применения
Автоматизация проверки правильности индексирования динамических массивов
Автоматизированная система контроля параметров перезарядного электростатического ускорителя
Алгебра алгоритмов и нечеткая логика в анализе надежности систем
Аппаратный синтаксический контроль на основе метаязыка R -грамматик
Влияние регистратора сеансовых соединений на показатели работы информационного канала
Инструментальная система программирования для АСК
Исследование и разработка подсистемы автоматизированного контроля БИС
Комбинированный прибор с возможностями логического анализатора и осциллографа
Комплексное решение проблемы распределенного контроля и управления технологическими процессами
Контактные схемы, корректирующие неисправности и допускающие контроль
Контроль корректности в расширяемой инструментальной среде комфорт
К языку с рациональными контекстными условиями
Методические вопросы создания контролирую их программных средств
Метод контроля языковых стандартов
Методы и средства контроля языковых стандартов
Недремлю ее око Visual SourceSafe
Некоторые эффективные методы построения контроля ЭЦВМ
Обеспечение контроля доступа к данным
Преобразования автоматов для упрощения контроля
Программа синтаксического контроля текстов на языке Модула-2
Программное обеспечение транспортного уровня сети. Протоколы, интерфейсы, управление и контроль
Программы контрольных тестов
Профессиональный поиск в Интернете: полнота, достоверность, скорость
Разработка и исследование моделей и методов контроля систем с переменными параметрами
« первая
‹ предыдущая
1
2
3
4
следующая ›
последняя »