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



Главная

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

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

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

English
 Home

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


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

Яndex



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


Новости



Новости в формате RSS

Страницы: [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [Все новости]

15.09.2002

Открыт сайт кафедры

15.08.2002

Опубликована статья Шалыто А.А., Туккель Н.И., Шамгунов Н.Н. Ханойские башни и автоматы //Программист. 2002. N8.

03.07.2002

В виртуальном компьютерном музее (www.computer-museum.ru) опубликована статья Шалыто А.А. «У нас была Великая эпоха!»

25.04.2002

Опубликована статья Шалыто А.А. Реализация булевых формул и булевых функций однородными структурами //Известия РАН. Теория и системы управления. 2002. N2.

15.04.2002

Опубликована статья Шалыто А.А., Туккель Н.И. Реализация автоматов при программировании событийных систем //Программист. 2002. N4.

25.10.2001

Опубликована статья Шалыто А.А. Модули, универсальные в классе самодвойственных функций и в «близких» к ним классах //Известия РАН. Теория и системы управления. 2002. N2.

15.02.2002

Опубликована статья Шалыто А.А., Туккель Н.И. От тьюрингова программирования к автоматному //Мир ПК. 2002. N2.

10.12.2001

Опубликована статья Шалыто А.А., Туккель Н.И. Реализация вычислительных алгоритмов на основе автоматного подхода //Телекоммуникации и информатизация образования. 2001. N6.

25.10.2001

Опубликована статья Шалыто А.А., Туккель Н.И. SWITCH-технология — автоматный подход к созданию программного обеспечения «реактивных» систем //Программирование. 2001. N5.

25.09.2001

Опубликована статья Шалыто А.А., Туккель Н.И. SWITCH-технология — автоматный подход к созданию программного обеспечения «реактивных» систем //Известия высших учебных заведений. Приборостроение. 2001. N9.

15.09.2001

Опубликована статья Шалыто А.А., Туккель Н.И. Программирование с явным выделением состояний Часть 2 //Мир ПК. 2001. N9.

15.08.2001

Опубликована статья Шалыто А.А., Туккель Н.И. Программирование с явным выделением состояний Часть 1 //Мир ПК. 2001. N8.

25.01.2001

Опубликован обзор Шалыто А.А. Алгоритмизация и программирование для систем логического управления и «реактивных» систем //Автоматика и телемеханика. 2001. N1.

30.12.2000

Опубликована статья Шалыто А.А. Автоматное проектирование программ. Алгоритмизация и программирование задач логического управления //Известия РАН. Теория и системы управления. 2000. N6.

25.12.2000

Опубликована книга Шалыто А.А. Логическое управление. Методы аппаратной и программной реализации. СПб.: Наука. 2000. 780 с.

25.11.2000

Опубликована статья Шалыто А.А., Туккель Н.И. SWITCH-технология — автоматный подход к созданию программного обеспечения «реактивных» систем //Промышленные АСУ и контроллеры. 2000. N10.

10.07.2000

Создана кафедра «Информационные системы»

15.04.2000

Опубликована статья Шалыто А.А. Реализация алгоритмов логического управления программами на языке функциональных блоков //Промышленные АСУ и контроллеры. 2000. N4.

25.10.1999

Опубликована статья Киселев В.В., Шалыто А.А. Исследование переходных процессов в одноконтурных логических схемах //Известия РАН. Теория и системы управления. 1999. N5.

15.09.1999

Опубликована статья Шалыто А.А. SWITCH-технология. Алгоритмизация и программирование задач логического управления //Промышленные АСУ и контроллеры. 1999. N9.

25.09.1998

Опубликована статья Кузнецова Б.П., Шалыто А.А. Метод независимых фрагментов для построения линеаризованных структурированных граф-схем алгоритмов, реализующих системы булевых формул //Автоматика и телемеханика. 1998. N9.

15.04.1998

Опубликована книга Шалыто А.А. SWITCH-технология. Алгоритмизация и программирование задач логического управления. СПб.: Наука. 1998. 628 с.

Страницы: [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [Все новости]




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