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

... Head of the Department (since 2006) . ... Moscow State University Shuvalov Award (1995) . ... Graduated from the Physics Department of the M.V. Lomonosov Moscow State University (1980). Research interests: Physics of Semiconductors; Physics of Narrow-Gap Semiconductors; Terahertz Radiation Detectors; Organic Semiconductors, Physics of Semiconductor Nanostructures. Main Results: A range of new effects has been observed on heavily doped lead telluride-based narrow-gap semiconductors. ...

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

• Special courses for the students of Physics Faculty, specialized at the...

Кафедра физики . СУНЦ МГУ . ... Кафедра физики готовит команды для участия в: . ... Для связи с кафедрой физики щелкните мышкой по этой строке. ... From different sources it is known that there is a potential difference between some points of human body. ... In order to measure this electric pressure it was necessary to create a special devisce that satisfies to the following conditions: a big (hundreds of MOm) resistance in input; ability for measuring of small (tens of mV) voltage. ...

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

... Жизнь факультета . ... The course will include clinical cases and lectures on general cardiology and additional knowledge of interventional cardiology, cardiovascular imaging (echocardiography, cardiac CT, CMR, nuclear and PET scan), cardiovascular intensive care, electrophysiology and device therapy, advanced heart failure and transplantation, cardiac rehabilitation and prevention, grown-up congenital heart disease (GUCH), genetic and regenerative cell treatment of cardiovascular diseases. ...

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

... A.N. Osiptsov, S.L. Veselyi, V.A. Kulikovskii, B.Y. Wang, The flow structure of dilute gasparticle suspensions behind a shock wave moving along a flat surface // Appl. ... A.N. Osiptsov, E.G. Shapiro, Heat transfer in the boundary layer of a "gas-evaporating drops" two-phase mixture // Int. J. Heat Mass Transfer. ... 1998. ... Multiphase Flow. ... Heat transfer to a stagnation region of a blunt body in a hypersonic flow with an admixture of solid particles// In: Proc. 3d Europ. ... 2008. ... 2007. ...

346. http://math.phys.msu.ru/data/283/Programme_13th_Workshop.pdf

347. Гибридные системы на основе ГПУ

348. Все публикации | Кафедра общей топологии и геометрии

349. Ученые детям

350. 5-th All-Russian Conference - Timetable