Вклад участника
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)
- 16:15, 11 октября 2016 (разн. | история) . . (+63) . . м Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 16:13, 11 октября 2016 (разн. | история) . . (+2019) . . Н Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года) (Новая страница: «= Общая информация = * Занятия проходят по пятницам с 14:35 до 16:10 в аудиториях 604 и 605. * Заняти…»)
- 15:55, 11 октября 2016 (разн. | история) . . (+144) . . Н Файл:Prac 618 2 sem1.pdf (практикум по пакетам проектирования сверхбольших интегральных схем, семинар 1) (текущая)
- 15:54, 11 октября 2016 (разн. | история) . . (0) . . Файл:Prac 618 2 lect1.pdf (PodymovVV загружена новая версия «Файл:Prac 618 2 lect1.pdf») (текущая)
- 15:43, 11 октября 2016 (разн. | история) . . (+142) . . Н Файл:Prac 618 2 lect1.pdf (практикум по пакетам проектирования сверхбольших интегральных схем, лекция 1)
- 16:23, 4 октября 2016 (разн. | история) . . (0) . . Файл:Prac 318 cmake.pdf (PodymovVV загружена новая версия «Файл:Prac 318 cmake.pdf») (текущая)
- 23:46, 3 октября 2016 (разн. | история) . . (+78) . . Практикум (3 курс, осенний семестр 2016 года)
- 23:45, 3 октября 2016 (разн. | история) . . (+120) . . Н Файл:Prac 318 command line in cpp.pdf (Лекция про разбор параметров командной строки в исходном коде C/C++) (текущая)
- 16:54, 3 октября 2016 (разн. | история) . . (+356) . . Практикум (3 курс, осенний семестр 2016 года)
- 16:45, 3 октября 2016 (разн. | история) . . (0) . . Н Файл:Prac 318 cmake.pdf
- 09:54, 30 сентября 2016 (разн. | история) . . (-13) . . м Математические методы верификации схем и программ
- 17:13, 28 сентября 2016 (разн. | история) . . (+186) . . м Математические методы верификации схем и программ
- 17:13, 28 сентября 2016 (разн. | история) . . (0) . . Файл:Seminar Verification 2.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 2.pdf»)
- 17:08, 28 сентября 2016 (разн. | история) . . (+215) . . Н Файл:Seminar Verification 2.pdf (618 группа, математические методы верификации схем и программ, семинар по моделям Крипке, логикам CTL, LTL, справедливости)
- 23:15, 26 сентября 2016 (разн. | история) . . (+32) . . м Практикум (3 курс, осенний семестр 2016 года)
- 23:11, 26 сентября 2016 (разн. | история) . . (0) . . Файл:Prac 318 GNU Make.pdf (PodymovVV загружена новая версия «Файл:Prac 318 GNU Make.pdf») (текущая)
- 14:01, 14 сентября 2016 (разн. | история) . . (+267) . . м Математические методы верификации схем и программ
- 12:56, 14 сентября 2016 (разн. | история) . . (+4) . . м Математические методы верификации схем и программ
- 12:26, 14 сентября 2016 (разн. | история) . . (+736) . . м Математические методы верификации схем и программ
- 12:14, 14 сентября 2016 (разн. | история) . . (0) . . Файл:Seminar Verification 1.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 1.pdf»)
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)