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

Моделирование баланса масс основных токсичных химикатов в Великих Озерах: результаты расчетов по модели RateCon. Mass balance modeling of priority toxic chemicals within the Great Lakes: RateCon model results / Booty W. G., Resler O., McCrimmon C. // The 45 Conference on Great Lakes Research, Winnipeg , June 2-6, 2002. ... Расчет по модели констант скорости (RateCon) проведен для целого ряда токсичных веществ (бенз-а-пирен, диэлдрин, DDE-DDT, Hg, полихлорированные бифенилы и др.) ...

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

• http://ecoinformatica.srcc.msu.ru/print_html.php?keyword=&num_records=1&theme=6&subtheme=17&from=0&ref_ind=0211000276
• http://ecoinformatica.srcc.msu.ru/print_html.php?keyword=&num_records=1&theme=5&subtheme=19&from=0&ref_ind=0211000265

... One can compare the positions of these singularities and their corresponding singular variables in the Feynman diagrams which contribute to the signal process under consideration, and to both reducible and irreducible backgrounds. ... For a standard analysis using cuts on variables, one should cut hard against the regions of singularities in the background singular variables while keeping the regions with singularities for the signal singular variables (see e.g. [8]). ...

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

• http://top.sinp.msu.ru/lev/cms5.ps

... VDNKh Medals: Bronze (1978, Tirskiy G.A.), Silver (1979, Tirskiy G.A.). The second M.V. Lomonosov Prize of Moscow State University for the work "The theoretical study of supersonic viscous nonequilibrium gas flow over bodies" (1985, Tirskiy G.A.). ... The problem of flow in the chemically non-equilibrium boundary layer at a stagnation point of blunt body had been solved by the asymptotic method and formulas for the heat and diffusion fluxes to a surface of any catalycity had been obtained. ...

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

... Объявляется прием заявок на 40-й конкурс работ молодых ученых МГУ имени М.В.Ломоносова. ... Подробнее о 40-й конкурс работ молодых ученых МГУ имени М.В.Ломоносова . ... Премии победителям Конкурса работ талантливых студентов, аспирантов и молодых ученых МГУ имени М.В.Ломоносова, учрежденного О.В. Дерипаска, за 2013 г. были выплачены факультетами, институтами, научными центрами в конце октября - начале ноября 2014 года. ... Опубликованы результаты 39-го конкурса научных работ молодых ученых МГУ . ...

266. MSU Chamber Orchestra. Concerts. Season 2000/2001.

267. Lecture course For postgraduate students (General Linguistics Department)

268. XIII International Olympiad of the Russian language for schoolchildren using

269. http://mph.cs.msu.ru/mph/arh/blank/1999pro-en.doc

270. http://www.mgubs.ru/images/Image/tn.jsp.pdf

271. http://www.edst.msu.ru/conf/docs/USA-2002%2B.doc

272. Специальные символы HTML

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

274. http://geophys.srcc.msu.ru/library/wind_stress.pdf

275. http://www.phys.msu.ru/rus/about/structure/admin/OTDEL-FOREIGN/INVITATIONS/LUT_Summer_School_2013_staff.pdf

276. http://dec1.sinp.msu.ru/~panov/Lib/Papers/CR/icrc0668.pdf