SE - RSS feed
-
Семинар (каб. А.Н. Терехова, from 2018-04-17 17:00 to 2018-04-17 18:30)
- Соломенников Дмитрий Игнатьевич
-
Flow
-
bryksin-ml
-
Семинар (каб. А.Н. Терехова, from 2018-03-27 17:00 to 2018-03-27 18:30)
- Брыксин Тимофей Александрович
-
Семинар (каб. А.Н. Терехова, from 2018-03-13 17:00 to 2018-03-13 18:30)
- Литвинов Юрий Викторович
-
realNet.pdf
-
Семинар (каб. А.Н. Терехова, from 2018-02-06 17:00 to 2018-02-06 18:30)
- Волкова М.В., Ерофеева В.А., Кижаева Н.А. (предзащиты)
-
Семинар (каб. А.Н. Терехова, from 2017-12-12 17:00 to 2017-12-12 18:30)
- Полина Соколова
-
Семинар (каб. А.Н. Терехова, from 2017-12-05 17:00 to 2017-12-05 18:30)
- Рене Хаберланд (ЛЭТИ)
-
Семинар (каб. А.Н. Терехова, from 2017-11-28 17:00 to 2017-11-28 18:30)
- Бакланвский М.В., Кривошеин Б.Н., Сибиряков А.Е., Ханов А.Р.
-
Семинар (каб. А.Н. Терехова, from 2017-11-13 17:00 to 2017-11-13 18:30)
- Амелин Константин Сергеевич
-
4. Synchronization.pdf
-
3. RosetteUnbound.pdf
-
2. JayHorn.pdf
-
1. SeaHorn.pdf
-
Семинар (каб. А.Н. Терехова, from 2017-10-13 17:00 to 2017-10-13 18:30)
- Мордвинов Дмитрий Александрович
-
Семинар (каб. А.Н. Терехова, from 2017-09-29 17:00 to 2017-09-29 18:30)
- Литвинов Юрий Викторович
-
Семинар (каб. А.Н. Терехова, from 2017-08-31 17:00 to 2017-08-31 18:30)
- Ханов Артур Рафаэльеаич
-
Заседания 2016/2017 учебного года
-
Семинар (каб. А.Н. Терехова, from 2017-05-31 17:30 to 2017-05-31 19:00)
- Баклановская Белла Максимовна