УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Биоинформатика
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



   Главная / Диссертации (версия для печати)


Диссертации



Некоторые требования к авторефератам и диссертациям

Шамгунов Н.Н.

Шамгунов Н.Н. Автореферат (PDF)

Шамгунов Н.Н. Диссертация на тему «Разработка методов проектирования и реализации поведения программных систем на основе автоматного подхода» (PDF)

Шопырин Д.Г.

Шопырин Д.Г. Автореферат (PDF)

Шопырин Д.Г. Диссертация на тему «Методы объектно-ориентированного проектирования и реализации программного обеспечения реактивных систем» (PDF)

Корнеев Г.А.

Автореферат кандидатской диссертации Корнеева Г.А. (PDF)

Корнеев Г.А. Диссертация на тему «Автоматизация построения визуализаторов алгоритмов дискретной математики на основе автоматного подхода» (PDF)

Наумов Л.А.

Наумов Л.А. Метод введения обобщенных координат и инструментальное средство для автоматизации проектирования программного обеспечения вычислительных экспериментов с использованием клеточных автоматов

Наумов Л.А. Метод введения обобщенных координат и инструментальное средство для автоматизации проектирования программного обеспечения вычислительных экспериментов с использованием клеточных автоматов (PDF)

Наумов Л.А. Метод введения обобщенных координат и инструментальное средство для автоматизации проектирования программного обеспечения вычислительных экспериментов с использованием клеточных автоматов — автореферат (PDF)

Лобанов П.Г.

Лобанов П.Г. Автореферат (PDF)

Лобанов П.Г. Диссертация на тему «Использование генетических алгоритмов для генерации конечных автоматов» (PDF)

Гуров В.С.

Гуров В.С. Автореферат (PDF)

Гуров В.С. Диссертация на тему «Технология проектирования и разработки объектно-ориентированных программ с явным выделением состояний (метод, инструментальное средство, верификация)» (PDF)

Кубасов С.В.

Кубасов С.В. Автореферат (PDF)

Кубасов С.В. Диссертация на тему «Верификация автоматных программ в контексте синхронного программирования» (PDF)

Степанов О.Г.

Степанов О.Г. Автореферат (PDF)

Степанов О.Г. Диссертация на тему «Методы реализации автоматных объектно-ориентированных программ» (PDF)

Князев Е.Г.

Князев Е.Г. Автореферат (PDF)

Князев Е.Г. Диссертация на тему «Автоматизированная классификация изменений исходного кода на основе кластеризации метрик в процессе разработки программного обеспечения» (PDF)

Казаков М.А.

Казаков М.А. Автореферат (PDF)

Казаков М.А. Презентация (PDF)

Казаков М.А. Диссертация на тему «Методы построения визуализаторов алгоритмов дискретной математики на основе автоматного подхода» (PDF)

Мазин М.А.

Мазин М.А. Автореферат (PDF)

Мазин М.А. Диссертация на тему «Автоматное программирование для среды языково-ориентированного программирования» (PDF)

Царев Ф.Н.

Царев Ф.Н. Автореферат (PDF)

Царев Ф.Н. Презентация (PDF)

Царев Ф.Н. Диссертация на тему «Методы построения конечных автоматов на основе эволюционных алгоритмов» (PDF)

Егоров К.В.

Егоров К.В. Автореферат (PDF)

Егоров К.В. Презентация (PDF)

Егоров К.В. Диссертация на тему «Генерация управляющих автоматов на основе генетического программирования и верификации» (PDF)

Репозиторий с верификатором (внешняя ссылка: code.google.com)

Буздалов М.В.

Буздалов М.В. Автореферат (PDF)

Буздалов М.В. Диссертация на тему «Генерация тестов для определения неэффективных решений олимпиадных задач по программированию с использованием эволюционных алгоритмов» (PDF)

Буздалов М.В. Другие документы (внешняя ссылка: fppo.ifmo.ru)

Лукин М.А.

Лукин М.А. Автореферат (PDF)

Лукин М.А. Диссертация на тему «Верификация автоматных программ» (PDF)

Лукин М.А. Другие документы (внешняя ссылка: fppo.ifmo.ru)

Чивилихин Д.С.

Чивилихин Д.С. Автореферат (PDF)

Чивилихин Д.С. Диссертация на тему «Генерация конечных автоматов на основе муравьиных алгоритмов» (PDF)

Чивилихин Д.С. Презентация (PDF)

Ульянцев В.И.

Ульянцев В.И. Автореферат (PDF)

Ульянцев В.И. Диссертация на тему «Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений» (PDF)

Ульянцев В.И. Презентация (PDF)

Сергушичев А.А.

Сергушичев А.А. Автореферат (PDF)

Сергушичев А.А. Диссертация на тему «Методы вычислительного анализа метаболических моделей для интерпретации транскриптомных и метаболомных данных» (PDF)

Сергушичев А.А. Презентация (PDF)

Отзыв Ф.И. Атауллаханова (PDF)

Отзыв С.А. Недоспасова (PDF)

Казаков С.В.

Казаков С.В. Автореферат (PDF)

Казаков С.В. Диссертация на тему «Автоматизация сборки генома и сравнительного анализа метагеномов для обучения геномной биоинформатике» (PDF)

Казаков С.В. Презентация (PDF)

Отзыв М.В. Дубины (PDF)

Казаков С.В. Другие документы (внешняя ссылка: fppo.ifmo.ru)

Работы коллег

Кузьмин Е.В. Автореферат диссертации на тему «Алгоритмические свойства формальных моделей параллельных и распределенных систем» (PDF)




© 2002—2017 По техническим вопросам сайта: vl.ulyantsev@gmail.com