... Координационный совет МГУ по технологиям дистанционного образования . Центральный узел Системы дистанционного обучения и информационная среда дистанционного обучения (ИСДО) МГУ . ... В Московском университете создан Центральный узел Системы дистанционного обучения и разработана единая среда дистанционного обучения (ИСДО) МГУ http://test.sdo.msu.ru/ . ... треххузловой кластер сервера приложений и баз данных (три четырехпроцессорных (Xeon 1.9 MP) компьютера Futjitsu-Siemens); . ...

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

... Gibson's batting feats were mythical, his power was legendary. ... There's a couple of million dollars worth of baseball talent on the loose, ready for the big leagues, yet unsigned by any major league. ... and outfielders who could hit .350, infielders who could win recognition as stars, and there's at least one catcher who at this writing is probably superior to Bill Dickey --- Josh Gibson. ... Gibson didn't just destroy Negro League pitchers, he also beat up on white major leaguers. ...

Еще в разделе: (Показать все результаты (>2) - mguteam.chat.ru/ )

• http://mguteam.chat.ru/stad1.html

... О сайте . ... ФМШ.ру - обучение одаренных детей . ... Сайт был создан в декабре 2000 года группой энтузиастов. Весной 2001 года сайт был принят на хостинг фирмой Арт-Навигатор . В начале 2005 года появились сайты Дайджест ФМШ и Книги ФМШ . В конце 2005 году появился самостоятельный сайт кафедры математики . ... За годы существования сайта многое изменилось, но нам кажется правильным оставить страницу о людях, участвовавших в создании первой версии сайта: . ... архив новостей >> . ...

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

• ФМШ.ру - СУНЦ МГУ - физико-математическая школа им. А.Н.Колмогорова (ФМШ 18 при

... The linguistic aspects of the model and the properties of the semantic dictionary ensuring the content analysis with compression of the text structure are considered. Our dictionary resources serve an instru- ment for building a multilevel textual semantic structure. ... Reason (A,B), where SemF(A) = SIT or a whole semantic formula; the same for SemF(B). ... Sem(SIT)R . ... Semantic Resources for Textual Content Compression // Fourth International Conference on Meaning-Text Theory (MTT'09). ...

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

• Lexical Resources for Personal Data Recognition in Texts

... The experimental data obtained using Cherenkov light of EAS reflected from the snow surface of the Big Alma-Ata Lake (Kazakhstan) are presented. ... The balloon-borne measurements in the energy range 10 15 -10 20 eV are planned. ... SPHERE detector array was elaborated for balloon-borne experiment [3-5]. ... SPHERE detector was situated on the 160 m high mountain ledge nearby the B.Alma-Ata lake (2500 m above sea level) to detect Cherenkov light reflected from the snow surface of the lake. ...

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

... 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. ...

332. http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/rfc2396.txt

333. Chemistry Chair ? СУНЦ МГУ

---

Астронет | Научная сеть | ГАИШ МГУ | Поиск по МГУ | О проекте | Авторам

Комментарии, вопросы? Пишите: info@astronet.ru или сюда