Мы используем файлы cookies для улучшения работы сайта НИУ ВШЭ и большего удобства его использования. Более подробную информацию об использовании файлов cookies можно найти здесь, наши правила обработки персональных данных – здесь. Продолжая пользоваться сайтом, вы подтверждаете, что были проинформированы об использовании файлов cookies сайтом НИУ ВШЭ и согласны с нашими правилами обработки персональных данных. Вы можете отключить файлы cookies в настройках Вашего браузера.

✖

A
A
A

АБВ
АБВ
АБВ

А
А
А
А
А

Обычная версия сайта

11

фев

2013

Очередное заседание научного семинара лаборатории

11 февраля 2013 г. состоялось очередное заседание научного семинара. Слушался доклад Ю. Новиковой по теме «Временные автоматы (Timed Automata)».

11 февраля 2013 г. состоялось очередное заседание научного семинара. Слушался доклад Ю. Новиковой по теме «Временные автоматы (Timed Automata)».

Дата

11 февраля 2013

В статье упомянуты

Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС)