Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 22:52, 2 ноября 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Fpga lecture 3.pdf»
- 22:52, 2 ноября 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Fpga lecture 2.pdf»
- 22:51, 2 ноября 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Fpga lecture 1.pdf»
- 14:12, 2 ноября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 7.pdf»
- 14:05, 2 ноября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 7.pdf» (математические методы верификации схем и программ. лекция 7: табличный и автоматный алгоритмы проверки LTL-формул и около того)
- 15:29, 1 ноября 2016 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Вопросы ЭТДУС 418.pdf»
- 08:26, 31 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 618 2 lect3.pdf» (практикум по пакетам проектирования сверхбольших интегральных схем, лекция 3: debug схем (чтение нетлистов и диаграмм Мура, симуляция))
- 04:30, 31 октября 2016 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Вопросы ЭТДУС 418.pdf»
- 13:47, 26 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 5.pdf» (математические методы верификации схем и программ. семинар 5: практические задания для работы с NuSMV)
- 13:44, 26 октября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 4.pdf» (поправлены фактические ошибки, добавлено несколько слайдов о возможностях)
- 12:41, 24 октября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Prac 618 2 lect2.pdf»
- 13:49, 23 октября 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Prac318 Autumn 2016 Part56.pdf»
- 13:25, 23 октября 2016 ShupletsovMS (обсуждение | вклад) загружена новая версия «Файл:Prac318 Autumn 2016 Part2.pdf»
- 10:41, 23 октября 2016 DanilovB (обсуждение | вклад) загрузил «Файл:MIPSfpgaMSUInfo2016.pdf»
- 17:14, 19 октября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 4.pdf»
- 16:58, 19 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 4.pdf» (математические методы верификации схем и программ, семинар 4. Обзор средства NuSMV (полулекционное занятие))
- 00:13, 18 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Mipsfpga seminar 2016 announcement.pdf» (объявление о семинаре MIPSfpga в МГУ 24.10.2016)
- 18:58, 17 октября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mipsfpga seminar 2016 program.xls»
- 18:55, 17 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Mipsfpga seminar 2016 program.xls» (предварительная программа семинара mipsfpga 24.10.2016)
- 12:10, 15 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 618 2 lect2.pdf» (практикум по пакетам проектирования сверхбольших интегральных схем, 2016. лекция 2. общая информация о модельном процессоре, описание инст…)
- 11:48, 12 октября 2016 RomanovDS (обсуждение | вклад) загрузил «Файл:Popkov.docx»
- 10:53, 12 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 3.pdf» (мат.методы верификации схем и программ, семинар 3: табличный и символьный алгоритмы верификации CTL)
- 15:55, 11 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 618 2 sem1.pdf» (практикум по пакетам проектирования сверхбольших интегральных схем, семинар 1)
- 15:54, 11 октября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Prac 618 2 lect1.pdf»
- 15:43, 11 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 618 2 lect1.pdf» (практикум по пакетам проектирования сверхбольших интегральных схем, лекция 1)
- 00:30, 11 октября 2016 ShupletsovMS (обсуждение | вклад) загружена новая версия «Файл:Prac318 Autumn 2016 Part2.pdf»
- 00:29, 11 октября 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Prac318 Autumn 2016 Part34.pdf»
- 18:43, 7 октября 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture Verification 6.pdf»
- 11:22, 6 октября 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture Verification 5.pdf»
- 16:23, 4 октября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Prac 318 cmake.pdf»
- 23:45, 3 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 318 command line in cpp.pdf» (Лекция про разбор параметров командной строки в исходном коде C/C++)
- 16:45, 3 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 318 cmake.pdf»
- 14:38, 3 октября 2016 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivdm-s.pdf»
- 14:51, 2 октября 2016 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ДГДМ Вопросы.pdf»
- 11:22, 2 октября 2016 DanilovB (обсуждение | вклад) загрузил «Файл:Igdm-book.pdf»
- 20:47, 28 сентября 2016 RomanovDS (обсуждение | вклад) загрузил «Файл:Kalavac.docx»
- 20:45, 28 сентября 2016 RomanovDS (обсуждение | вклад) загрузил «Файл:Galavac.docx»
- 17:13, 28 сентября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 2.pdf» (исправлена опечатка на последнем слайде)
- 17:08, 28 сентября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 2.pdf» (618 группа, математические методы верификации схем и программ, семинар по моделям Крипке, логикам CTL, LTL, справедливости)
- 23:11, 26 сентября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Prac 318 GNU Make.pdf»
- 01:28, 26 сентября 2016 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ОК 318-418.pdf»
- 01:24, 26 сентября 2016 DanilovB (обсуждение | вклад) загрузил «Файл:Cstnmmvlsi1617.pdf»
- 21:34, 24 сентября 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture Verification 4.pdf»
- 22:53, 21 сентября 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Prac318 Autumn 2016 Part2.pdf»
- 11:39, 21 сентября 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture Verification 3.pdf»
- 20:54, 20 сентября 2016 RomanovDS (обсуждение | вклад) загрузил «Файл:Zukov.pdf»
- 18:55, 18 сентября 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Prac318 Autumn 2016 Part1.pdf»
- 18:55, 18 сентября 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Prac318 Autumn 2016 Overview.pdf»
- 18:55, 18 сентября 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Prac 318 Autumn 2016 rules.pdf»
- 13:58, 16 сентября 2016 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-exam2-2016.docx»