... Бобкова Мария Михаиловна . ... Болдырева Мария Александровна . ... Боринская Светлана Александровна . ... Брунова Марина Викторовна . ... Бузинова Елена Викторовна . ... Буларгина Юлия Сергеевна . ... Булгакова Юлия Викторовна . ... Булыгина Екаерина Юрьевна . ... Васильева Юлия Михайловна . ... Венгерова Евгения Юрьевна . ... Власова Мария Александровна . ... Володина Юлия Леонидовна . ... Волошина (Серебрякова) Юлия Евгеньевна . ... Гасюнас Мария Викторовна . ... Гололобова Мария Александровна . ...

Еще в разделе: (Показать все результаты (>44) - new.guru.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. ...

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

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

... Projects . ... 32-bit Microcontroller Programming . ... The project is working on creating a robot-platform which performs hopping movement, an absolutely new principle of movement for automatons. ... A robot requires a wide range of sensors and complex algorithms of position stabilization in order to keep calculations on stable position of the legs when walking on uneven surface. ... His field is the system of hop initiation while Serguey Lonchakov is working on the stabilization of the position. ...

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

• FPGA Design
• Introduction to Linux
• Parallel Programming

... Полная версия: Поздравляем Диму с Валей! 1 место в ТСК "Динамо"! Грация-МГУ::Форум > Дискуссии > Соревнования . ... Apr 23 2007, 14:54 . Поздравляем Трубенкова Дмитрия & Кондратьеву Валентину, занявших . первое место по Д классу в ТСК "Динамо" 22 апреля! 3 очка на С класс! . ... Все первые места по вальсу, венскому вальсу, квисктепу, самбе.. ... Диман супермен :) так держать! ... Дима с Валей - молодцы! ...

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

• Поздравляем Диму с Валей! 1 место в ТСК "Динамо"! - Грация-МГУ::Форум
• Грация-МГУ::Форум > Технические работы на сервере
• Грация-МГУ::Форум > Турниры ФТСР в Москве 24.01, 31.01, 06.02, 07.02

... High difference of refractive indexes of bismuth-substituted yttrium iron garnet Bi:YIG and SiO2 layers provides a strong spatial localization of the optical field in Bi:YIG layers, which leads to manifold Faraday rotation enhancement at the photonic band edges. ... Relation between the enhancement of the Faraday rotation and localization of optical field in magnetic layers is treated as a Borrmann-type effect. ... The Faraday rotation angle for the MPC pc also decreases in this spectral region. ...

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

• http://nanolab.phys.msu.ru/sites/default/files/jpd44_064014_2011.pdf
• http://nanolab.phys.msu.ru/sites/default/files/jbo21_035001_2016.pdf
• http://nanolab.phys.msu.ru/sites/default/files/jbo17_025001_2012.pdf

MOSCOW STATE UNIVERSITY The Scientific Society of students of the Law Faculty January 25, 2014 1- The flyer of the Unit `Jurisprudence' of International scientific conference "Lomonosov - 2014" 1. ... The organizers of the Unit are the law faculty of Moscow State University and the Scientific Society of students of the law faculty. ... Administrative law 2. ... The Organizing Committee: Presiding Officer ­ Kozlova Natalya Vladimirovna (Deputy Dean of Law Faculty on study, Doctor in Law, Professor). ...

247. http://ocean.phys.msu.ru/courses/stathyd/2005%20Smyth%20et%20al.%2C%20Differential%20diffusion%20in%20breaking%20Kelvin-Helmholtz%20billows.pdf

248. Amochkina

249. http://asa.guru.ru/papers/pap3.ps

250. Stress of plant cells

251. http://mguteam.chat.ru/lukich1.html

252. http://cryst.geol.msu.ru/courses/crchem/est_otb.pdf

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

254. http://shg.phys.msu.ru/ruscon/articles/pdf/04_JAP95_7330.pdf

255. http://www.fpo.msu.ru/open_files/fpo2015_eng.pdf

256. http://ofvp.phys.msu.ru/upload/iblock/d1a/2010%20apb%20silaeva.pdf

257. Факультет иностранных языков МГУ им.М.В.Ломоносова

258. http://qsar.chem.msu.ru/~dmitry_o/gskdata.html

259. "ABOUT RUSSIAN" - news about Russian language and Russia

260. http://io.cs.msu.ru/translation2.pdf