1. Введение в распределенные алгоритмы. Тель.pdf
2841.8 KB
10 сент. 2025 г., 12:14
10. Математическая статистика. Ивченко, Медведев (1984).djvu
4189.7 KB
10 сент. 2025 г., 12:14
13. Алгоритмы. Построение и анализ. Кормен. Лейзерсон. Ривест. Штайн (3-е издание) (2013).djvu
18478.4 KB
10 сент. 2025 г., 12:14
14. Теория расписаний. Одностадийные системы. Танаев.djvu
7584.6 KB
10 сент. 2025 г., 12:14
15. Комбинаторная оптимизация. Алгоритмы и сложность. Пападимитриу. Стайглиц (1982).djvu
5734.0 KB
10 сент. 2025 г., 12:14
16. Вычислительные машины и труднорешаемые задачи. М.Гери, Д.Джонсон (1982).pdf
14913.4 KB
10 сент. 2025 г., 12:14
2. Верификация моделей программ. Model Checking. Кларк, Грамберг, Пелед (2002).djvu
4708.3 KB
10 сент. 2025 г., 12:14
3. ModelChecking верификация параллельных и распределенных программных систем. Карпов.djvu
12179.4 KB
10 сент. 2025 г., 12:14
4. Verification of sequential and concurrent programs. Apt, Olderog (3rd edition) (2010).pdf
2535.6 KB
10 сент. 2025 г., 12:14
5. Компьютерные сети. Том 1. Системы передачи данных. Р.Л. Смелянский.pdf
14285.9 KB
10 сент. 2025 г., 12:14
6. Компьютерные сети. Том 2. Сети ЭВМ. Р.Л. Смелянский.pdf
11548.1 KB
10 сент. 2025 г., 12:14
7. Введение в теорию массового обслуживания. Гнеденко, Коваленко (2-е изд) (1987).djvu
2225.0 KB
10 сент. 2025 г., 12:14
8. Системы массового обслуживания. Матвеев, Ушаков (1984).djvu
3426.7 KB
10 сент. 2025 г., 12:14
9. Основы теории случайных процессов. Карлин (1971).djvu
9882.3 KB
10 сент. 2025 г., 12:14