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



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-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] [Все новости]

09.05.2008

Открылся сайт проекта GAAP (Genetics Algorithms for Automata-based Programming), выполняемого студентами кафедры КТ. Ведущие проекта - Евгений Мандриков (mandrikov@rain.ifmo.ru) и Владимир Кулев (kulev@rain.ifmo.ru).

Присоединяйтесь: http://gaap.net.ru:8080/

08.05.2008

Хотите иметь цифровую копию жизни?

06.05.2008

Чемпионы мира по программированию на приеме у губернатора Санкт-Петербурга В.И. Матвиенко

06.05.2008

My baby, the finite state machine

05.05.2008

Третий семинар по программной инженерии с Бертраном Мейером

03.05.2008

Перечень ведущих рецензируемых научных журналов и изданий, в которых должны быть опубликованы основные научные результаты диссертации на соискание ученой степени доктора и кандидата наук (редакция апрель 2008 года)

03.05.2008

Как у нас любят чужие успехи

01.05.2008

В хорошей компании!

01.05.2008

Почему Паскаль?

01.05.2008

Berry G. Synchronous Programming Techniques for Embedded Systems

01.05.2008

Доклад Е.А.Мандрикова и В.А.Кулева на V Всероссийской межвузовской конференции молодых ученых "Разработка инструментального средства для автоматической генерации конечных автоматов с использованием генетических алгоритмов"

30.04.2008

А.А. Шалыто Зачем нам чемпионы по программированию? Пятнадцать аргументов в пользу программистских олимпиад

30.04.2008

Из обсуждения статьи "Сохраним в университетах лучших!" на сайте http://www.pcweek.ru/themes/detail.php?ID=108777

30.04.2008

Чем займутся чемпионы мира по программированию

30.04.2008

Еще одна победа наших студентов

30.04.2008

R. Breukelaar, Th. Back Использование генетических алгоритмов для прослеживания поведения в многомерных клеточных автоматах

29.04.2008

Шалыто А.А. в третьей передаче "Игра ума"

28.04.2008

В. Мошников - А. Шалыто

28.04.2008

В. Б. Яковлев - А. А. Шалыто

25.04.2008

На "Вторую молодежную Всероссийскую конференцию по программной инженерии", которая будет проходить 29-30 мая 2008 г. на матмехе СПбГУ у нас приняли восемь (!) докладов и сообщений (из них семь по автоматному программированию)

25.04.2008

Долматов А.Г., Петров А.С. Утилита разработки конечных автоматов StateCAD

24.04.2008

Поздравляем А.А. Шалыто, который за лекцию "Автоматное программирование" на научной школе "Технологии высокопроизводительных вычислений и систем" получил оценку слушателей 4,75. Выше оценка только у кофебрейка - 4,82.

24.04.2008

Поздравляем Анатолия Никитина студента кафедры КТ с грандиозной победой на полуфинальных (Всероссийских) соревнованиях ImagineCup, которые проходили в Москве. А за одно - "Знай наших".

24.04.2008

Поздравляем Михаила Царева с третьим местом на конкурсе "У.М.Н.И.К." ("Участник молодежного научно-инновационного конкурса"), проводимого Фондом содействия развитию малых форм предприятий в научно-технической сфере (при поддержке Федерального агентства по науке и инновациям и Федерального агентства по образованию), который проходил в рамках V Всероссийской межвузовской конференции молодых ученых

24.04.2008

Поздравляем студентов кафедры КТ Михаила Царева и Евгения Мандрикова с награждением дипломами I степени за лучшие доклады на соответствующих секциях на V Всероссийской межвузовской конференции молодых ученых.

24.04.2008

Триумф российской школы программирования

24.04.2008

"Сохраним в университетах лучших" на сайте еженедельника PCWEEK/RE

20.04.2008

В Цюрихском политехническом институте новый ректор - женщина

20.04.2008

О национальной капитуляции

20.04.2008

Наша История

16.04.2008

Какие компьютеры делали в СССР!

15.04.2008

Новое движение для ИТ-отрасли России «Сохраним в университетах лучших»

15.04.2008

Наши студенты - Дмитрий Абдрашитов, Дмитрий Паращенко и Федор Царев (тренер - Андрей Станкевич) стали чемпионами мира и Европы по программированию! Поздравляем!

15.04.2008

Новые специалисты новой России

11.04.2008

Лучшие программисты теперь живут в Питере

11.04.2008

Д.А.Медведев, триумф российской школы программирования и сохраним в университетах лучших

11.04.2008

Еще одна российская инициатива

09.04.2008

Финал чемпионата по программированию 2008 года.

По информации из Канады, команда СПбГУ ИТМО сдала 8 задач (A,B,E,F,G,I,J,K) и стала чемпионом мира 2008 года. Команды MIT, ИжГТУ, Львовского НУ, МГУ, Stanford U, Tsinghua U, U of Zagreb, Waterloo U - 7 задач. Возможно, этот список неполон. Среди команд, решивших по 6 задач - СПбГУ, ПетрГУ, БГУ, МФТИ, Орловский ГТУ, Ставропольский ГУ, Warsaw U. У команд НГУ и УрГУ 5 задач, у команды Алтайского ГТУ 4 задачи.

Предварительный подсчёт даёт следующее распределение медалей. Золото - у СПбГУ ИТМО, и скорее всего - у МИТ, Ижевского ГТУ и Львовского НУ. Серебро - у МГУ и скорее всего, у Stanford U, Tsinghua U, U of Zagreb. Распределение бронзовых медалей зависит от "скрытых семёрок". По 6 задачам лучшее время у команды ПетрГУ, за ними следует команда СПбГУ. В случае, если приведённый список команд, решивших 7 задач, полный, бронзовые медали получит ещё одна команда, решившая 6 задач.

08.04.2008

У старшего преподавателя кафедры КТ Андрея Станкевича восьмой рейтинг в мире по спортивному программированию, у студента группы 4539 Михаила Дворкина - 27, у студента группы 6539 Павла Маврина - 37-ой. Первое место из 7238 участников, имеющих мировой рейтинг, с большим отрывом занимает другой российский программист - Петр Митричев, который в прошлом году закончил МГУ. http://www.topcoder.com/tc?module=AlgoRank

08.04.2008

Гуров В.С., Мазин М.А., Шалыто А.А. Текстовый язык автоматного программирования //Научно-технический вестник. Вып. 42. Фундаментальные и прикладные исследования информационных систем и технологий. СПбГУ ИТМО. 2007, с. 29-32

08.04.2008

Терехов А. Российская индустрия программирования

08.04.2008

Верификация моделей как основа новых методологий разработки ПО, способных гарантировать работу программ в точном соответствии с требованиями к ним

08.04.2008

Microsoft избавит программирование от написания кода

03.04.2008

Поздравляем студента группы 4539 Анатолия Никитина и возглавляемую им команду с победой в полуфинале (Северо-Западный Федеральный округ) ежегодного технологического конкурса "Кубок Технологий" ("Imagine Cup"), проводимого корпорацией Microsoft http://corp.cnews.ru/news/line/index.shtml?2008/03/18/292536

Тема работы: "Система поддержки принятия решений при борьбе с лесными пожарами "Арина" http://qd.ifmo.ru/view/projects?page=1

01.04.2008

Свидетельство о государственной регистрации программы для ЭВМ "Транслятор автоматной Unimod-модели во входной язык верификатора Spin"

01.04.2008

Свидетельство о государственной регистрации программы для ЭВМ "Расширение верификатора Bagor для верификации автоматных Unimod-моделей"

01.04.2008

Technology of Automata-based programming

01.04.2008

Попали в библиографию Вольфрама

01.04.2008

22 результата по Switch-технологии

23.03.2008

Microsoft и автоматы

22.03.2008

Нашествие безграмотности

22.03.2008

Когда у наших студентов есть потребность души, то они могут писать и такое! Статья признана хорошей! http://ru.wikipedia.org/wiki/Manowar

А на все связанное с программированием, особенно автоматным, надо загонять силой!

19.03.2008

Не всем нравится как люди программируют сегодня

19.03.2008

Программная инженерия в Высшей школе экономики

19.03.2008

Дети могут успешно руководить ИТ-компаниями

17.03.2008

Шалыто А.А. Автоматное программирование, водка и буква Ё

17.03.2008

Решетников О.Е. Инструментальное средство для визуального проектирования автоматных программ на основе Microsoft Domain-Specific Language Tools

16.03.2008

Конечные автоматы в JavaScript. Часть 3: Тестируем виджет (исходники)

14.03.2008

Пишем!

14.03.2008

Данилов В.Р. Технология генетического программирования для генерации автоматов управления системами со сложным поведением

14.03.2008

У нас на кафедре учится много очень способных людей, которые любят и умеют решать задачи, но задач должно быть много - 10-11 и таких, чтобы их все можно было решить часов за пять. Одной задачи, которую быть может можно решить за большее время им мало! Некоторое время Роман Анатольевич Елизаров (новость на сайте от 29.06.2007 г.) сказал многим из нaших любителей решать задачи, что ему стала известна задачка на 25 тысяч долларов в очень простой формулировке - существует ли универсальная машина Тьюринга с двумя состояниями и тремя входными символами. Никому из наших любителей решать задачи, видимо, деньги были не нужны, или одной задачи было мало, или она имела слишком простую формулировку или ... В общем, ее решил студент третьего курса Бирмингемского университета Алекс Смит, изучающий электротехнику (http://www.lenta.ru/news/2007/10/24/math/), и посмотрите как он оформил доказательство (http://www.wolframscience.com/prizes/tm23/TM23Proof.pdf). Видимо, по собственной инициативе, без насилия и понуканий!

14.03.2008

Приняли доклад "Рубинова К.В., Веденеева В.В., Шалыто А.А. Метод разработки тестов для программных интерфейсов приложений на основе конечно-автоматной модели тестирования" на конференцию "Технологии Microsoft в теории и практике программирования". Южно-Уральский государственный университет. 11-13.03.2008

14.03.2008

Гарри Львиное Сердце, или Приключения титулованной особы

14.03.2008

Между Фоменко и обезьяной

14.03.2008

Математика, которую нельзя запретить

14.03.2008

Уравнение злого духа

14.03.2008

Пикирующее крыло Нортропа

14.03.2008

Осталось пять лет

13.03.2008

Организованная лженаука

13.03.2008

Индустрия недоверия

13.03.2008

Умер Егор Летов

12.03.2008

Хазановский А.Ю., Шалыто А.А. Применение автоматного программирования в системе беспилотного управления автомобилем

12.03.2008

Дело автоматного программирования живет и медленно побеждает

12.03.2008

И вы можете сделать что-то подобное...

11.03.2008

Еще раз о поиске в раскрашенных лабиринтах

11.03.2008

Автоматы не спят!

10.03.2008

Паша Маврин и Рома Сатюков вышли в финал соревнования 2008 TopCoder Open, который пройдет Лас Вегасе. Поздравляем!

10.03.2008

А.А. Шалыто в "Игре ума" на Пятом канале. Часть 2

10.03.2008

А.А. Шалыто и Ф.Н. Царев в передаче "Игра ума" на Пятом канале

08.03.2008

В СПбГУ ИТМО появился совет, на котором можно защищать диссертации по программированию. Паспорт на каждую научную специальность один на страну

07.03.2008

Наука - дело непростое!

07.03.2008

Модели с переключением режимов (regime switching models) - это применение конечных автоматов в экономике (см. начиная со стр. 34)

05.03.2008

Переучить людей практически невозможно - их сразу надо учить создавать программы по-человечески. Сколько не убеждай народ, что программу сначала необходимо спроектировать, создав диаграммы, а потом их, по возможности, формально реализовать, большинство людей из народа поступает прямо наоборот. Этот народ может и дальше так создавать программы, только ко мне с этим не приходите!

03.03.2008

Наумов Л., Трофимов Д. Реализация клеточного автомата WireWorld с помощью инструментального средства CAME&L и его зональная оптимизация

01.03.2008

2007 год - урожайный для автоматов. Microsoft делает Windows Workflow, ACM дает премию за Statemate, а премию Тьюринга - за верификацию программ на основе моделей

01.03.2008

Красильников Н.Н., Парфенов В.Г., Царев Ф.Н., Шалыто А.А. Виртуальная лаборатория для первоначального обучения проектированию программ

01.03.2008

Царев Ф.Н., Шалыто А.А. Применение генетических алгоритмов для построения автоматов с минимальным числом состояний для задачи об "Умном муравье"

29.02.2008

Премия, которую могли бы получить мы, если бы вовремя начали вкалывать

29.02.2008

Образование, несовместимое с жизнью

29.02.2008

Второй раз присудили премию Тьюринга по верификации. В первый раз в 1996 году - за темпоральную логику, в 2007 году - за model-checking.

29.02.2008

Shalyto A.A. Logic Control and "Reactive" Systems: Algorithmization and Programming

28.02.2008

Старость излечима

28.02.2008

Классная шутка!

28.02.2008

Рыбаков Г.М., Шалыто А.А. Моделирование работы системы интеллектуального здания

28.02.2008

Клеточные автоматы и транспортные потоки

28.02.2008

Гуров В.С., Мазин М.А., Шалыто А.А. Автоматическое завершение ввода условий в диаграммах состояний

28.02.2008

Акира Накашима и его вклад в науку и технику дискретных схем

24.02.2008

Курбацкий Е.А., Шалыто А.А. Верификация программ, построенных на основе автоматного подхода

24.02.2008

Смолов В.Б., Пузанков Д.В. Шесть поколений вычислительной техники (из истории кафедры ВТ) (djvu)

23.02.2008

Наумов Р.В., Якушев А.В., Шалыто А.А. "Устройство" для карточной игры Блэкджек"

23.02.2008

Федор Царев - лауреат Молодежной премии Санкт-Петербурга за 2007 год в области информационных технологий

23.02.2008

СПбГУ ИТМО занимает четвертое место в командном зачете по спортивному программированию среди университетов мира

21.02.2008

Важнейшие ссылки по Computer Science

15.02.2008

Авдошин С.М., Белкин С.А. Фабрики приложений (djvu)

14.02.2008

13 международная конференция по реализации и применению автоматов

14.02.2008

Конференция по различным аспектам визулизации

11.02.2008

Поздравление А.А. Шалыто с Днем Российской Науки

11.02.2008

Хасянзянов Б.З. Метод создания отладчиков для доменно-ориентированных языков программирования на основе технологии Eclipse Modeling

10.02.2008

Массачусетский технологический институт предоставляет в открытом доступе лекции и материалы по Electrical Engineering and Computer Science

10.02.2008

Чем отличается автоматное программирование от программирования с применением автоматов?

10.02.2008

Свидетельство о государственной регистрации программы для ЭВМ (программная система "Генетический генератор автоматов")

09.02.2008

Статья в журнале ACM Queue о необходимости применения автоматов при построении пользовательских интерфейсов

09.02.2008

Академик А.Т. Фоменко о настоящем образовании

05.02.2008

Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. Инструментальное средство для поддержки автоматного программирования

03.02.2008

А.А. Шалыто и Ф.Н. Царев в "Игре ума" на 5 канале

02.02.2008

Двое против Google

31.01.2008

Красильников Н.Н., Парфенов В.Г., Царев Ф.Н., Шалыто А.А. Виртуальная лаборатория для первоначального обучения проектированию программ

31.01.2008

Наумов А.С. Виртуальная машина автоматного программирования

31.01.2008

Мозги есть. Думать лень

29.01.2008

Поликарпова Н.И., Шалыто А.А. Учебно-методическое пособие по дисциплине "Автоматное программирование"

27.01.2008

Никитин А.С., Чураков М.Ю., Шалыто А.А. Применение автоматного программирования для имитационного моделирования разъезда машин на нерегулируемом перекрестке равнозначных дорог

27.01.2008

Гейтс Б. Роботы в каждый дом

27.01.2008

Отчет по контракту о верификации автоматных программ. Второй этап.

27.01.2008

Отчет по контракту о применении генетических алгоритмов для генерации автоматов. Второй этап.

27.01.2008

Васильев В.Н., Казаков М.А., Корнеев Г.А., Парфенов В.Г., Шалыто А.А. Применение проектного подхода на основе автоматного программирования при подготовке разработчиков программного обеспечения

27.01.2008

Васильев В.Н., Казаков М.А., Корнеев Г.А., Парфенов В.Г., Шалыто А.А. Инновационная система поиска и подготовки высококвалифицированных разработчиков программного обеспечения на основе проектного и соревновательного подходов

26.01.2008

Шалыто А.А. Балет

26.01.2008

Мордвинцев А.С. Использование графического ускорителя вычислений для моделирования динамики жидкости методом Lattice-Boltzman

26.01.2008

Красильников Н.Н. Реализация одного класса мультиагентных систем на текстовых языках автоматного программирования (на примере системы дорожного движения)

26.01.2008

Научная конференция по программированию

26.01.2008

Призеры чемпионата мира по программированию на приеме у первого вице-премьера Правительства России Д.А. Медведева

26.01.2008

Ректор СПбГУ ИТМО В.Н. Васильев и "Игра ума"

25.01.2008

Мы против закрытия телепередачи "Игра ума"

18.01.2008

Рекорд посещаемости - 226 человек

14.01.2008

Встреча Президента РФ В.В. Путина с руководством и командой СПбГУ ИТМО - победителями студенческого командного чемпионата мира по программированию 2004 года

14.01.2008

Шалыто А.А. О милосердии

14.01.2008

Классики и русский язык

10.01.2008

Виктория Токарева. О семье

09.01.2008

Смолов В.Б., Пузанков Д.В. Шесть поколений вычислительной техники (из истории кафедры ВТ)

20.12.2007

Шалыто А.А. Что нам ждать в будущем?

19.12.2007

Сегодня исполняется 75 лет Дмитрию Александровичу Поспелову, который внес неоценимый вклад в развитие информатики в России. Дай Вам Бог здоровья, Дмитрий Александрович!

16.12.2007

Богданов М.С., Шалыто А.А. Сравнение "Sequence Diagram" и диаграмм "State Chart"

15.12.2007

Татарчевский В.А. Инструментальное средство проектирования ПО встроенных систем MicroSWITCH на основе модифицированной нотации UML

10.12.2007

Автоматы в программировании - не только мне одному они нужны!

09.12.2007

Визуальное моделирование: теория и практика

06.12.2007

Еще один наш выпускник заканчивает диссертацию по программированию

05.12.2007

Интервью с Андреем Станкевичем

03.12.2007

Доклады Шалыто А.А. и Корнеева Г.А. на конференции "Информационно-телекоммуникационные технологии - положение на сегодняшний день и пути дальнейшего развития"

02.12.2007

Шалыто А.А. Адекватны ли наши дети?

02.12.2007

Российские (советские) золотые призеры международных олимпиад по информатике

01.12.2007

Меньше народа - больше кислорода

29.11.2007

Царев Федор Николаевич стал одним из победителей открытого конкурса на предоставление грантов для студентов, аспирантов вузов и академических институтов, расположенных на территории Санкт-Петербурга

28.11.2007

Три команды ИТМО стали победителями NEERC-2007 и командного студенческого чемпионата России по программированию:
1 место - Чемпионы России Дмитрий Абдрашитов, Дмитрий Паращенко, Федор Царёв;
4 место - Максим Буздалов, Всеволод Опарин, Владислав Исенбаев
6 место - Игорь Ахметов, Владимир Данилов, Игорь Синев,
http://www.snarknews.info/trial.cgi?datanewstape&menutco07&headindex&classtco07
Поздравляем и гордимся!

26.11.2007

О нас пишут

25.11.2007

Автоматное программирование как парадигма програмирования

24.11.2007

Автоматное программирование движется по странам СНГ

23.11.2007

08.11.2007 В. Г. Парфенов и А. А. Шалыто обсуждали тему подготовки IT-специалистов в прямом эфире радио "Петербург" 1 час 35 минут вместо запланированных 50 минут

21.11.2007

Михаил Дворкин стал победителем V Всероссийской студенческой олимпиады "Информатика. Программирование. Информационные технологии"

21.11.2007

Гунич И.С., Иринев А.В., Шалыто А.А. Автоматный подход к моделированию эволюции микроорганизмов с использованием генетических алгоритмов

20.11.2007

Университет Калифорнии Berkley начал публиковать видеозаписи лекций в YouTube

20.11.2007

Лекция Сергея Брина: SIMS 141 - Search, Google, and Life: Sergey Brin - Google

19.11.2007

Это же гугль-бум!

18.11.2007

Россия: HP переманила главного разработчика Motorola

18.11.2007

Команда SPb IFMO 1 в составе Дмитрия Абдрашитова, Дмитрия Паращенко и Федора Царева заняла второе место на VIII Открытой Всесибирской олимпиаде по программированию им. И.В.Поттосина

18.11.2007

Астафуров А.А., Шалыто А.А. Декларативный подход к вложению и наследованию автоматных классов при использовании императивных языков программирования

18.11.2007

Образование и наука. 2002 год

18.11.2007

Это стоит прочесть всем

17.11.2007

DataArt рассказал на SEC(R) об автоматном программировании

15.11.2007

Убить Билла

15.11.2007

30.10.2007 Президент РФ В. В. Путин и Патриарх Алексий II посетили бутовский полигон, где похоронены жертвы массовых репрессий

13.11.2007

Красильников Н.Н. Простенький набор классов для описания автоматов

09.11.2007

09.11.2007 А.А. Шалыто и Ф.Н. Царев принимали участие в программе "Игра ума" (5 канал, Санкт-Петербург)

09.11.2007

И в Германии проблем хватает

09.11.2007

Это стоит читать

08.11.2007

23 октября на сайте было 218 хостов и 743 хита

08.11.2007

A UML Profile for Modeling Complex Real-Time Architectures

08.11.2007

Using UML for Modeling Complex Real-Time System

08.11.2007

Нас ввели в программный комитет конференции TOOLS-EUROPE 2008

07.11.2007

Первый проект, реализованный на текстовом языке автоматного программирования в среде MPS

03.11.2007

Мы попали в хорошую компанию!

02.11.2007

Кретинин А.В., Солдатов Д.В., Шалыто А.А., Шостак А.В. Диагностирование аварийных состояний турбонасосного агрегата жидкостного ракетного двигателя

02.11.2007

Наши студенты Клебанов А.А. и Законов А.Ю. допущены для участия в конкурсе SIMagine 2008

02.11.2007

Интересное применение автоматного программирования

02.11.2007

Бывают же правильные списки литературы

02.11.2007

Шалыто А.А. Уникальные женщины

02.11.2007

Шалыто А.А. Гражданская позиция

02.11.2007

Гуров В.С., Шалыто А.А., Яминов Б.Р. Технология верификации автоматных моделей программ без их трансляции во входной язык верификатора

31.10.2007

Стихи моей знакомой - Елены Булановой

28.10.2007

Команда SPb IFMO 1 в составе Дмитрия Абдрашитова, Дмитрия Паращенко и Федора Царева заняла второе место в четвертьфинале чемпионата мира по программированию

28.10.2007

Кнут Д. Искусство программирования. Т.3

28.10.2007

Шалыто А.А. Долг платежом красен

25.10.2007

Презентации лекций по верификации

25.10.2007

Редкие книги

25.10.2007

Признание комиссара полиции прокурору республики

24.10.2007

Статьи по продуктам IBM Rational

24.10.2007

О преподавании программной инженерии

24.10.2007

Наше самое высшее образование

23.10.2007

Клепиков В.И. Подчиненные сети Петри в задачах логического управления

23.10.2007

Автоматное программирование как составляющая Software Cybernetics

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




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