Рубрика: Семинары

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 497
18 апреля 2000
Комната для семинаров ИСИ СО РАН
Время: 14.30
————————————————————
Мердишева Екатерина Сергеевна
Система рисования графов: интерфейс и средства визуализации
———
Мердишева Татьяна Сергеевна
Система рисования графов: внутренние функции системы
———
Логачева Светлана Анатольевна
Анализ зависимостей по данным на базе алгоритмов Шостака
———
Волянская Татьяна Александровна
Методы и средства Web-интерфейса пользователей
с информационной системой ТРАНСФОРМ
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 496
11 апреля 2000
Комната для семинаров ИСИ СО РАН
Время: 14.30
————————————————————
П.Б. Кряженков
Реализация функциональных языков:
обзор трудов 10th Int. Workshop IFL-98
(Лондон, сентябрь, 1998)
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 495
4 апреля 2000
Комната для семинаров ИСИ СО РАН
Время: 14.30
————————————————————
Э.В. Харитонов
Обзор возможностей функционального языка Haskell
(продолжение)
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 494
28 марта 2000
Комната для семинаров ИСИ СО РАН
Время: 14.30
————————————————————
Э.В. Харитонов
Обзор возможностей функционального языка Haskell
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 493
21 марта 2000
Комната для семинаров ИСИ СО РАН
Время: 14.30
————————————————————
Ф.А. Мурзин
Язык программирования REFAL:
формальная модель
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 492
14 марта 2000
Комната для семинаров ИСИ СО РАН
Время: 14.30
————————————————————
З.В. Харитонов
Обзор языка и системы программирования РЕФАЛ+
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н.Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 491
7 марта 2000
Комната для семинаров ИСИ СО РАН
Время: 14.30
————————————————————
Бирюкова Ю.В.
Язык программирования Sisal: текущее состояние
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н.Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 490
29 февраля 2000
Комната для семинаров ИСИ СО РАН
Время: 14.30
————————————————————
Шураев Игорь Александрович
Создание метафор. Графический интерфейс пользователя.
(по материалам конференции HCII-99)
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н.Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 489
21 декабря 1999
Комната 260 ИСИ СО РАН
Время:15.00
————————————————————
Зачет
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н.Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 488
14 декабря 1999
Комната для семинаров ИСИ СО РАН
Время:14.15
————————————————————
Маркин В.А.
Язык для описания графовых моделей и алгоритмов
————————————————————