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



Главная

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

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

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

English
 Home

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


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

Яndex



   Главная / О нас / Ссылки по теме (версия для печати)


Ссылки по теме



Диссертация в иностранном университете (PDF)

Н.Н. Непейвода Логики и стили программирования (PDF)

Н.Н. Непейвода Стили программирования как общий подход к системе понятий информатики (PDF)

ГАВРИЛОВ Михаил Александрович (внешняя ссылка: www.ipu.ru)

Автоматные методы медленно внедряются в программирование (внешняя ссылка: ershov.iis.nsk.su)

Журнал "Хакер" и Шалыто А.А. (внешняя ссылка: www.xakep.ru)

Шамгунов защитил диссертацию (внешняя ссылка: contest.ur.ru)

Трассировка конечных автоматов с помощью FSMD (внешняя ссылка: www.linux.org.ru)

Как вырастить армию хороших программистов и поднять объем экспорта ПО? Взгляд «от сохи» | Материал на сайте Компьютерра (внешняя ссылка: www.kinnet.ru)

Козаченко В.Ф. Эффективный метод программной реализации дискретных управляющих автоматов во встроенных системах управления (внешняя ссылка: www.motorcontrol.ru)

PC Week - Система образования как самоорганизующаяся среда (внешняя ссылка: www.pcweek.ru)

Высокий класс без стимула (внешняя ссылка: www.osp.ru)

Проще не получается (внешняя ссылка: www.osp.ru)

Схемная эмуляция и автоматное программирование (внешняя ссылка: www.ci.ru)

«Долой ОС, даёшь Автоматы» (внешняя ссылка: www.nedopc.org)

Подготовка молодых ИТ-специалистов: похоже, острых проблем не наблюдается! (внешняя ссылка: pcweek.ru)

Ученые, объединенные научным интересом «программная инженерия» (внешняя ссылка: teormin.ifmo.ru)

Ученые, объединенные научным интересом «теория автоматов» (внешняя ссылка: teormin.ifmo.ru)

Стили и методы программирования — Автоматное программирование (внешняя ссылка: www.intuit.ru)

Дневник Романа Химова — «Про универ» (внешняя ссылка: roman.khimov.ru)

Шалыто Анатолий Абрамович. Разработка технологии автоматного программирования (внешняя ссылка: albom.chg.ru)

SWITCH-технология (внешняя ссылка: www.natahaus.ru)

К вопросу об ИТ образовании. Иллюзии… (внешняя ссылка: itblogs.ru)

DataArt об успехах использования Автоматного программирования на пресс конференции в СПбГУ ИТМО (внешняя ссылка: www.dataart.ru)

Автоматное программирование (внешняя ссылка: www.cyberforum.ru)

[Eas-dev-rus] Построение команды (внешняя ссылка: lists.linux.ru.net)

Журнал «Наука и жизнь» и автоматное программирование (внешняя ссылка: www.nkj.ru)

Ярных А.В. Создание корпоративных информационных систем на базе модели теории автоматов (внешняя ссылка: pitis.tsure.ru)




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