18 1946 . 1 § 2014 § -- .. XXI . . . . . . . . . . . . 5 .., .. . . . . . . . . 20 .. , : (. 4 2013 .) . . 47 .. - . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. : . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . .., .. .. - - : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125 .. . . . . . . . . . . . 142 .., .. - . . . 152 . . . 62 . . . 75 . . . 90 . . 106 , .. ( ) . . . . . . . . . . 174 .., .. . . . . . . . . . . . . .

Еще в разделе: (Показать все результаты (>4) - vestnik.socio.msu.ru/ )

• http://vestnik.socio.msu.ru/archive/text/Vestnik_3-2014.pdf
• http://www.socio.msu.ru/vestnik/archive/text/2011/3/03.pdf

... Кулаичев А.П., Новиков П.П. Управление посадкой самолета на основе модели принятия решений летчиком. ... Кулаичев А.П., Новиков П.П. Программная система для моделирования принятия решений в УВД. ... Кулаичев А.П., Рапуто А.Г. Программирование интерфейса "проблемная среда - база данных" в имитаторе системы УВД. ... Кулаичев А.П. Математический анализ Шри-янтры. ... М., Информатика и компьютеры, 1992, 50с. 46. ... Кулаичев А.П. Анализ данных и представление результатов в системе STADIA(5.0 (рукопис.) ...

Еще в разделе: (Показать все результаты (>18) - www.protein.bio.msu.ru/ )

• Statistics, Electra-physiology, Frequency analysis, Automation
• CONAN-m

... if (B1) { S1; } if (B1) { S1; } if (B2) { S2; } - - ...exp... int x = 1; if (x == 1) { std::cout << "Okay" << std::endl; } else { std::cout << "Error" << std::endl; } -- ­ int strlen(const char* p) { int len = 0; do { ++len; } while (*p++); return len; } «», «bbb» -- , : · ­ , , · ­ , , · ­ , · ­ . ... 1977 ­ LTL, · , 1981 ­ (CTL), · , , 1981 , , 1982 ­ model checking ( ), · , 1986 ­ model checking ( ), · , 1989 ­ SPIN. ... The Spin Model Checker: Primer and Reference Manual, Addison Wesley, 2003. ...

Еще в разделе: (Показать все результаты (>2) - savenkov.lvk.cs.msu.su/ )

• http://savenkov.lvk.cs.msu.su/mc/lect04.pdf

... Научные исследований . ... Дмитриев Владимир Иванович : Доктор физико-математических наук, профессор кафедры математической физики, . ... Научные работы : В.И. Дмитриев опубликовал более 400 научных работ, в том числе 22 монографии и учебных пособия. ... Барашков Игорь Сергеевич Кандидат физико-математических наук, старший научный сотрудник. ... Область научных интересов: математическое моделирование сложных физических явлений (плазмофизика, физика твердого тела, геофизика, физика атмосферы). ...

445. http://cluster.msu.ru/articles/kornev/rj.pdf

446. История стран Азии и Африки в ХХ в. (рекомендуемая литература к семинарам и

447. (Chlorophyll Fluorescence in vivo: A Theory

448. Полезные ссылки | hpc@cmc

449. Лаборатория углеродных материалов - Наука