Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 16:00, 27 декабря 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Test-4.pdf»
- 16:39, 26 декабря 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Test-3.pdf»
- 21:24, 24 декабря 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Test-2.pdf»
- 21:05, 24 декабря 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Test-1.pdf»
- 20:55, 24 декабря 2016 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dfp-2016.docx»
- 17:18, 19 декабря 2016 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:Colloquium-2016.pdf»
- 17:14, 19 декабря 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:LectLog25.pdf»
- 13:12, 16 декабря 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture Verification 11.pdf»
- 12:31, 16 декабря 2016 AlekseevVB (обсуждение | вклад) загрузил «Файл:Вопросы к экзамену по курсу ВКА.docx»
- 03:15, 15 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac318 Autumn 2016 howto regular expressions boost regex.zip» (для практикума 318 группы: как работать с регулярными выражениями в c++)
- 02:01, 15 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac318 Autumn 2016 howto bdd buddy.zip» (для практикума на 3 курсе: как работать с bdd, библиотека BuDDy)
- 14:24, 14 декабря 2016 RomanovDS (обсуждение | вклад) загрузил «Файл:Программа курса ДА.doc»
- 14:16, 14 декабря 2016 RomanovDS (обсуждение | вклад) загрузил «Файл:Список вопросов к экзамену по курсу ИВТГ .doc»
- 07:45, 14 декабря 2016 DanilovB (обсуждение | вклад) загрузил «Файл:Pcst16-2.pdf»
- 07:43, 14 декабря 2016 DanilovB (обсуждение | вклад) загрузил «Файл:Cstnmmvlsi16-2.pdf»
- 07:40, 14 декабря 2016 DanilovB (обсуждение | вклад) загрузил «Файл:CYBAS-GR-MCYB.pdf»
- 07:38, 14 декабря 2016 DanilovB (обсуждение | вклад) загрузил «Файл:GR-S-MCYB.pdf.pdf»
- 07:35, 14 декабря 2016 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ЭТДУС 418.pdf»
- 16:42, 12 декабря 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:LectLog22-2.pdf»
- 18:53, 9 декабря 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 10.pdf»
- 15:55, 7 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 10 errors.zip» (математические методы верификации схем и программ; архив, прилагающийся к слайдам семинара по uppaal)
- 08:48, 7 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 10.pdf»
- 18:50, 6 декабря 2016 RomanovDS (обсуждение | вклад) загрузил «Файл:Romanovs Abstract.doc»
- 15:23, 5 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 10.pdf» (математические методы верификации схем и программ, лекция 10: алгоритм model checking для tctl и временных автоматов (регионная модель Крипке))
- 02:35, 5 декабря 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 9.pdf»
- 02:22, 5 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 9.pdf» (математические методы верификации схем и программ, лекция 9: временные автоматы)
- 22:18, 4 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 618 2 lect4.pdf» (практикум по пакетам проектирования сверхбольших интегральных схем, лекция про многотактовый процессор и виды управляющих автоматов)
- 17:34, 2 декабря 2016 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Otchet618-2016.doc»
- 17:33, 2 декабря 2016 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Otchet418-2016.doc»
- 13:53, 2 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac318 Autumn 2016 HW3 Overview.pdf» (практикум на эвм для 318 группы, третье домашнее задание: реализация графа как набора bdd; операции над bdd; регулярные выражения)
- 12:43, 2 декабря 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Uvarov 02 12 2016.pdf»
- 17:18, 30 ноября 2016 SeleznevaSN (обсуждение | вклад) загрузил «Файл:B-m-graph-theory.pdf»
- 19:02, 28 ноября 2016 Root (обсуждение | вклад) автоматически отпатрулировал версию 3215 страницы Коды и их применения
- 18:59, 28 ноября 2016 Root (обсуждение | вклад) автоматически отпатрулировал версию 3214 страницы Практикум по дискретным структурам
- 18:57, 28 ноября 2016 Root (обсуждение | вклад) переименовал страницу Программная реализация дискретных структур в Практикум по дискретным структурам без оставления перенаправления
- 13:40, 25 ноября 2016 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:Colloquium-2016.pdf»
- 13:38, 25 ноября 2016 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:Colloquium-2016.pdf»
- 13:35, 25 ноября 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture Verification 8.pdf»
- 16:51, 24 ноября 2016 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:Colloquium-2016.pdf»
- 16:48, 24 ноября 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Colloquium-2016.pdf»
- 20:15, 23 ноября 2016 RomanovDS (обсуждение | вклад) загрузил «Файл:К А Попков КС-замык.doc»
- 09:20, 18 ноября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 8.pdf»
- 07:56, 16 ноября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 8.pdf» (математические методы верификации схем и программ, семинар 8: практика Spin)
- 16:55, 14 ноября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7 spin manual.pdf»
- 16:43, 13 ноября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 618 2 Dataflows.pdf» (практикум по пакетам проектирования сверхбольших интегральных схем: dataflow для модельного процессора и разных наборов инструкций)
- 20:15, 10 ноября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 7 spin manual.pdf» (инструкция по работе со средством верификации SPIN)
- 16:35, 9 ноября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 7.pdf» (математические методы верификации схем и программ, полулекционное занятие: обзор синтаксиса и модели систем средства SPIN)
- 18:17, 8 ноября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 7.pdf»
- 09:38, 7 ноября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:P7.pdf» (расположение аудитории П-7)
- 00:32, 6 ноября 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Prac318 Autumn 2016 HW2 Overview.pdf»