новости и события11.12.2006 18:00:00О формализации проектирования информационных систем<div class="smn-ict"><div class="smn-author">Ковалёв Сергей Протасович</div><div class="smn-speaker">Ковалёв Сергей Протасович</div><div class="smn-institute">ИВТ СО РАН</div><div class="smn-city">Новосибирск</div><div class="smn-title"></div><div class="smn-abstract">В докладе будет представлен ряд результатов в области применения методов алгебры и логики к задачам проектирования распределенных информационных систем. Результаты получены докладчиком в 2006 г.</div><div class="smn-e_mail">kovalyov@nsc.ru</div></div>новости и событияО формализации проектирования информационных систем<tags><tag>og:description</tag><value>Ковалёв Сергей ПротасовичКовалёв Сергей ПротасовичИВТ СО РАННовосибирскВ докладе будет представлен ряд результатов в области применения методов алгебры и логики к задачам проектирования распределенных</value><tag>og:image</tag><value>http://news.sbras.ru/ru/NewsPictures/seminar1.jpg</value></tags>12.12.2006

 Источники

 

 

 Видео

 

 

 

 

 Файлы

 

 

 Новости

 

 


Академик Алексей Конторович рассказал о центре трудно извлекаемых запасов углеводородов (ТРИЗ) на заседании Научно-технического совета «Росгеологии»
Минобрнауки изменило оценку качества работы ученых по фундаментальным исследованиям
Правительство Новосибирской области направило в федеральный центр предложения о создании в регионе научно-образовательного центра
Малые гранты 2019 года для выпускников программы Фулбрайта
России есть что показать в сфере передовых технологий
О роли общественности в реализации проекта «Академгородок 2.0»
XI Международной конференции молодых ученых и студентов «Современные техника и технологии в научных исследованиях»
Заседание Президиума СО РАН 17 января 2019 года
Открытый семинар лаборатории (обсерватории) солнечно-земной физики 577
XIII Международная конференция «Арктические рубежи - 2019»