Вклад участника
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)
- 02:22, 5 декабря 2016 (разн. | история) . . (+146) . . Н Файл:Lecture Verification 9.pdf (математические методы верификации схем и программ, лекция 9: временные автоматы)
- 22:23, 4 декабря 2016 (разн. | история) . . (+684) . . Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 22:18, 4 декабря 2016 (разн. | история) . . (-357) . . Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 22:18, 4 декабря 2016 (разн. | история) . . (+247) . . Н Файл:Prac 618 2 lect4.pdf (практикум по пакетам проектирования сверхбольших интегральных схем, лекция про многотактовый процессор и виды управляющих автоматов) (текущая)
- 14:11, 2 декабря 2016 (разн. | история) . . (0) . . м Практикум (3 курс, осенний семестр 2016 года)
- 13:56, 2 декабря 2016 (разн. | история) . . (-31) . . м Практикум (3 курс, осенний семестр 2016 года)
- 13:55, 2 декабря 2016 (разн. | история) . . (+187) . . Практикум (3 курс, осенний семестр 2016 года)
- 13:53, 2 декабря 2016 (разн. | история) . . (+227) . . Н Файл:Prac318 Autumn 2016 HW3 Overview.pdf (практикум на эвм для 318 группы, третье домашнее задание: реализация графа как набора bdd; операции над bdd; регулярные выражения) (текущая)
- 02:46, 27 ноября 2016 (разн. | история) . . (+231) . . м Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 02:36, 27 ноября 2016 (разн. | история) . . (+1274) . . Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 09:21, 18 ноября 2016 (разн. | история) . . (+2) . . м Математические методы верификации схем и программ
- 09:20, 18 ноября 2016 (разн. | история) . . (0) . . Файл:Seminar Verification 8.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 8.pdf»)
- 19:27, 17 ноября 2016 (разн. | история) . . (+3216) . . Математические методы верификации схем и программ
- 08:48, 16 ноября 2016 (разн. | история) . . (-9) . . м Математические методы верификации схем и программ
- 07:58, 16 ноября 2016 (разн. | история) . . (+171) . . Математические методы верификации схем и программ
- 07:56, 16 ноября 2016 (разн. | история) . . (+134) . . Н Файл:Seminar Verification 8.pdf (математические методы верификации схем и программ, семинар 8: практика Spin)
- 16:55, 14 ноября 2016 (разн. | история) . . (0) . . Файл:Seminar Verification 7 spin manual.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 7 spin manual.pdf») (текущая)
- 16:57, 13 ноября 2016 (разн. | история) . . (+1334) . . м Практикум по пакетам проектирования сверхбольших интегральных схем (осенний семестр 2016 года)
- 16:43, 13 ноября 2016 (разн. | история) . . (+237) . . Н Файл:Prac 618 2 Dataflows.pdf (практикум по пакетам проектирования сверхбольших интегральных схем: dataflow для модельного процессора и разных наборов инструкций) (текущая)
- 20:16, 10 ноября 2016 (разн. | история) . . (+127) . . м Математические методы верификации схем и программ
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)