Меню
x
Курсы
Проекты
Публикации
Новости
Блог
Страницы групп
Микро-ядро
Описание
Тестовое задание
Скачать
Search ...
Новости
Проекты
EMV-ядро
Платежные сервисы
Микро-ядро
Программное обеспечение для POS терминалов
Система управления автоматизированным парковочным комплексом sPARK
Генератор кода
Система временных рассуждений
Средство рассуждения на основе темпоральных прецедентов
Публикации
Курсы
Методы контроля программ
Распределенные системы и параллельные вычисления
CASE-технологии
Вычислительные машины, комплексы, системы и сети
Современные архитектуры крупных распределенных программных комплексов и систем
Блог
Информация
Информация для студентов и аспирантов
Как правильно сделать презентацию к выпускной работе
Структура пояснительной записки к выпускной работе
Страницы групп
Контакты
Главная
»
Публикации
»
Доклады
»
Краткий обзор формальных систем оперирования временем
Презентация:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59