Список файлов
Эта служебная страница показывает все загруженные файлы.
| Дата | Имя файла | Миниатюра | Размер | Описание | Версий |
|---|---|---|---|---|---|
| 00:58, 6 октября 2018 | Linearizability.png (файл) |  |
44 КБ | Линеаризуемость | 1 |
| 00:40, 6 октября 2018 | Contrexample seq agr on object.png (файл) |  |
33 КБ | Контрпример с очередью | 1 |
| 00:36, 6 октября 2018 | Seq agreed.png (файл) |  |
43 КБ | Последовательная согласованность (с указанием эквивалентного исполнения) | 2 |
| 00:09, 6 октября 2018 | Legal execution.png (файл) |  |
28 КБ | Допустимое и недопустимое исполнение | 1 |
| 23:41, 5 октября 2018 | Well formed.png (файл) |  |
29 КБ | Правильное и неправильное исполнение | 1 |
| 13:00, 3 октября 2018 | Global time modeling.png (файл) |  |
34 КБ | Модель глобального времени | 1 |
| 12:40, 3 октября 2018 | Happens before.png (файл) |  |
16 КБ | Отношение "произошло до" и параллельные операции | 1 |
| 00:23, 6 декабря 2017 | De Brujin Graph In Science.png (файл) |  |
16 КБ | Подграф графа де Брюина в алфавите из нуклеотидов | 1 |
| 00:03, 6 декабря 2017 | De brujin binary graph.png (файл) |  |
43 КБ | Граф де Брюина для алфавита размера 2 | 1 |
