Материалов:
1 081 645

Репозиториев:
30

Авторов:
761 409

По вашему запросу найдено документов: 12076

Страница 11 из 1208

Верификация моделей процессов в динамических системах по методу model checking, разработанных с помощью данного формализма, предлагается использование метода верификации Model Checking. Работа

Вопрос о доказательственном значении объяснений, полученных при проверке сообщений о преступленияхIn the article, refuting opposing view argues that the explanation received when checking.

ПРОБЛЕМЫ ИМПЛЕМЕНТАЦИИ ЗАПАДНЫХ ДЕМОКРАТИЧЕСКИХ ИНСТИТУТОВ В МЕХАНИЗМ ПУБЛИЧНОЙ ВЛАСТИ ИРАКА of these institutions faces a range of complex challenges concerning the system of checks and balances.

Разработка генератора отчетов для программного комплекса СВПД передвижной диагностической лаборатории ДВК-05

The use of private start-ups in higher education to check their non-standard ideas, 92 CVs of the workers who founded innovative startups, mainly

Лабораторный практикум для программистов по курсу "Документоведение": Учебно-методическое пособие

THE SYSTEM OF INTERMEDIATE CONTROL OF SPEECH COMPETENCE AT THE PREPARATORY FACULTYmaterials for checking and evaluation; control works (tests) ; Elementary

Automation of Dean's Office Functions in a Higher Education Institution on the Basis of Electronic Document Flow System

Combination of concurrent targeted and immune-therapy with nivolumab and cetuximab: New perspectives for squamous cell carcinoma treatment activate an antigenspecific T-cell immunity in head and neck cancer patients. Nivolumab is a check

Checking robustness of web services based on the parallel composition of partial timed finite state machinesChecking robustness of web services based on the parallel composition of partial timed finite state

Страница 11 из 1208