Вклад участника
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)
- 09:16, 6 апреля 2016 (разн. | история) . . (0) . . Н Файл:SAT SMT Vijay Ganesh LRB2016.pdf (текущая)
- 09:15, 6 апреля 2016 (разн. | история) . . (0) . . Н Файл:SAT SMT Vijay Ganesh HVC2015.pdf (текущая)
- 09:15, 6 апреля 2016 (разн. | история) . . (0) . . Н Файл:SAT SMT Vijay Ganesh lecture 2 ML.pdf (текущая)
- 09:14, 6 апреля 2016 (разн. | история) . . (0) . . Н Файл:SAT SMT Vijay Ganesh lecture 2 VSIDS.pdf (текущая)
- 09:14, 6 апреля 2016 (разн. | история) . . (+600) . . м Boolean SAT/SMT Solvers for Software Engineering (→Week 1 Lectures)
- 11:08, 5 апреля 2016 (разн. | история) . . (+3) . . м Boolean SAT/SMT Solvers for Software Engineering (→Расписание занятий)
- 11:08, 5 апреля 2016 (разн. | история) . . (+2) . . м Шаблон:Important Announcements
- 11:07, 5 апреля 2016 (разн. | история) . . (+413) . . м Шаблон:Important Announcements (→Объявления)
- 11:04, 5 апреля 2016 (разн. | история) . . (0) . . Н Файл:SAT SMT Vijay Ganesh lecture 1.pdf (текущая)
- 11:04, 5 апреля 2016 (разн. | история) . . (0) . . Н Файл:SAT SMT Vijay Ganesh intro.pdf (текущая)
- 11:03, 5 апреля 2016 (разн. | история) . . (+135) . . м Boolean SAT/SMT Solvers for Software Engineering
- 11:00, 5 апреля 2016 (разн. | история) . . (+1197) . . м Boolean SAT/SMT Solvers for Software Engineering
- 10:57, 5 апреля 2016 (разн. | история) . . (+2486) . . Н Boolean SAT/SMT Solvers for Software Engineering (Новая страница: «Спецкурс на английском языке для студентов магистратуры. Лектор курса - профессор униве…»)
- 08:03, 28 марта 2016 (разн. | история) . . (0) . . Н Файл:2016 Proseminar FPGA.pdf (текущая)
- 08:03, 28 марта 2016 (разн. | история) . . (+75) . . м Просеминар для 2-го курса (→Проблемы сложности булевых функций. Задачи синтеза, надежности и контроля дискретных управляющих систем.)
- 13:02, 22 марта 2016 (разн. | история) . . (+1269) . . м Просеминар для 2-го курса (→Проблемы сложности булевых функций. Задачи синтеза, надежности и контроля дискретных управляющих систем.)
- 10:30, 18 марта 2016 (разн. | история) . . (+25) . . м Математические модели и методы синтеза СБИС(семинар) (→Семинар 4. Синхронные логические схемы, временной анализ схем)
- 10:28, 18 марта 2016 (разн. | история) . . (0) . . Н Файл:VLSI FPGA Timequest 2016.pdf (текущая)
- 10:28, 18 марта 2016 (разн. | история) . . (0) . . Н Файл:VLSI Class Lab 4 2016.pdf (текущая)
- 10:22, 18 марта 2016 (разн. | история) . . (0) . . Н Файл:VLSI FPGA sync circuits 2016.pdf (текущая)
- 10:21, 18 марта 2016 (разн. | история) . . (+499) . . м Математические модели и методы синтеза СБИС(семинар) (→Предварительный план семинарских занятий)
- 10:17, 18 марта 2016 (разн. | история) . . (+263) . . м Математические модели и методы синтеза СБИС(семинар) (→Семинар 4. Синхронные логические схемы, временной анализ схем)
- 16:46, 14 марта 2016 (разн. | история) . . (0) . . Н Файл:Discrete Control Systems and Applications.pdf (текущая)
- 16:45, 14 марта 2016 (разн. | история) . . (+295) . . м Просеминар для 2-го курса
- 10:09, 14 марта 2016 (разн. | история) . . (0) . . Н Файл:VLSI 2016 318 HW1 students.pdf (текущая)
- 01:13, 14 марта 2016 (разн. | история) . . (+68) . . м Просеминар для 2-го курса (→Программа просеминара)
- 00:52, 14 марта 2016 (разн. | история) . . (+1282) . . м Просеминар для 2-го курса
- 13:49, 10 марта 2016 (разн. | история) . . (+2) . . м Математические модели и методы синтеза СБИС(семинар) (→Домашняя работа №3. Аппаратная реализация алгоритмов на пример ПЛИС)
- 13:46, 10 марта 2016 (разн. | история) . . (+27) . . м Математические модели и методы синтеза СБИС(семинар) (→Домашняя работа №3. Аппаратная реализация алгоритмов)
- 13:46, 10 марта 2016 (разн. | история) . . (+271) . . м Математические модели и методы синтеза СБИС(семинар) (→Домашние задания)
- 13:41, 10 марта 2016 (разн. | история) . . (+63) . . м Математические модели и методы синтеза СБИС(семинар) (→Домашняя работа №1. Моделирование простых дискретных устройств на языке Verilog.)
- 13:38, 10 марта 2016 (разн. | история) . . (0) . . Н Файл:VLSI 2016 318 HW1.pdf (текущая)
- 13:38, 10 марта 2016 (разн. | история) . . (-203) . . м Математические модели и методы синтеза СБИС(семинар) (→Домашние задания)
- 17:01, 4 марта 2016 (разн. | история) . . (+41) . . м Математические модели и методы синтеза СБИС(семинар) (→Предварительный план семинарских занятий)
- 16:59, 4 марта 2016 (разн. | история) . . (+227) . . м Математические модели и методы синтеза СБИС(семинар) (→Семинар 3. Логические схемы с памятью (защелки, триггеры).)
- 13:25, 4 марта 2016 (разн. | история) . . (0) . . Н Файл:VLSI Class Lab 3 2016.pdf (текущая)
- 13:24, 4 марта 2016 (разн. | история) . . (0) . . Н Файл:VLSI FPGA latches triggers 2016.pdf (текущая)
- 13:24, 4 марта 2016 (разн. | история) . . (+66) . . м Математические модели и методы синтеза СБИС(семинар) (→Предварительный план семинарских занятий)
- 11:36, 26 февраля 2016 (разн. | история) . . (+2) . . м Математические модели и методы синтеза СБИС(семинар) (→Семинар 3. Моделирование элементов задержки. Защелки, триггеры. Управление тактовой частотой ПЛИС)
- 11:35, 26 февраля 2016 (разн. | история) . . (+371) . . м Математические модели и методы синтеза СБИС(семинар) (→Предварительный план семинарских занятий)
- 11:28, 26 февраля 2016 (разн. | история) . . (+268) . . м Математические модели и методы синтеза СБИС(семинар) (→Семинар 2. Программируемые логические интегральные схемы (ПЛИС).)
- 11:24, 26 февраля 2016 (разн. | история) . . (0) . . Н Файл:DE0 Nano.txt (текущая)
- 11:24, 26 февраля 2016 (разн. | история) . . (0) . . м Математические модели и методы синтеза СБИС(семинар) (→Семинар 2. Программируемые логические интегральные схемы (ПЛИС).)
- 11:23, 26 февраля 2016 (разн. | история) . . (0) . . Н Файл:DE0-Nano User manual.pdf (текущая)
- 11:22, 26 февраля 2016 (разн. | история) . . (0) . . Н Файл:VLSI Class Lab 2 2016.pdf (текущая)
- 11:22, 26 февраля 2016 (разн. | история) . . (-2) . . м Математические модели и методы синтеза СБИС(семинар) (→Семинар 2. Программируемые логические интегральные схемы (ПЛИС).)
- 11:22, 26 февраля 2016 (разн. | история) . . (0) . . Н Файл:VLSI FPGA intro 2016.pdf (текущая)
- 11:21, 26 февраля 2016 (разн. | история) . . (+385) . . м Математические модели и методы синтеза СБИС(семинар) (→Предварительный план семинарских занятий)
- 14:14, 21 февраля 2016 (разн. | история) . . (0) . . м Математические модели и методы синтеза СБИС(семинар)
- 14:14, 21 февраля 2016 (разн. | история) . . (+310) . . м Математические модели и методы синтеза СБИС
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)