City:
Language:
Русский
English
About CS Club
Courses
Lecturers
Schools
Login
Registration
Courses
Autumn 2019
Spring 2020
Duality in combinatorial optimization
(
М. А. Бабенко
)
Fair division protocols
(
Д. В. Мусатов
)
Propositional proof complexity
(
Д. М. Ицыксон
)
Using C++ efficiently
(
В. М. Лесин
)
Artificial Intelligence and Self-driving Vehicles
(
А. С. Артамонов
)
Cryptoanalysis
(
Н. Н. Токарева
)
Functional programming
(
Д. Н. Москвин
)
Program Verification
(
Д. Ю. Власов
)
