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

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

Open Conference Systems . Conference Help . ... Conference Content Search . All Authors Title Abstract Index terms Full Text . ... By Conference . By Author . ... For Authors . Home . ... Home > International Conference on Laser Application in Life Sciences (LALS-2014) . No conferences are currently active. Please check the archives for past scheduled conferences. ...

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

... Simultaneous measurement of characteristics of bending and valence bands of water in D2 O solutions, KBr and KCl and using genetic algorithms in conjunction with variation methods allowed increasing accuracy of estimation of Fermi resonance coupling constant and of Fermi resonance contribution into formation of water Raman valence band. ... This energy transfer can explain existence of the shoulder in low-frequency part (in the region 3300 cm-1 ) of water Raman valence band. ...

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

• http://rswater.phys.msu.ru/en/articles/2014/Using.pdf
• http://rswater.phys.msu.ru/en/articles/2014/Application.pdf
• http://rswater.phys.msu.ru/en/articles/2013/opt%20mem.pdf

Introduction to PLASMA ASTROPHYSICS (Selected 10 lectures) Boris V. Somov Astronomical Institute and Faculty of Physics Moscow State University Pushino-na-Oke, 2008 Contents Ab out These Lectures 1 Particles and Fields: Exact Self-Consistent Description 1.1 Liouville's theorem . . . . . . . . . . . . . . . . . . . 1.1.1 Continuity in phase space . . . . . . . . . 1.1.2 The character of particle interactions 1.1.3 The Lorentz force, gravity . . . . . . . . . 1.1.4 Collisional friction . . . . . . . . . . . .

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

• Scientific seminar "Plasma Astrophysics and Solar Physics"

... Fast Facts about the Faculty of Journalism . ... Academic Departments . ... Partners . ... All partners . ... In 1940, it was named after Academician Mikhail Lomonosov (1711-1765), an outstanding Russian scientist, who greatly contributed to the establishment of the university in Moscow. ... About the Faculty of Journalism, Lomonosov Moscow State University . The history of the Faculty of Journalism, Lomonosov Moscow State University is very rich. ...

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

• The students of the Faculty of Journalism visited the Saxion University ::
• Full-time programs :: Department of Journalism, M. V. Lomonosov Moscow State
• Foreign Journalism and Literature :: Department of Journalism, M. V. Lomonosov

... An extended set of observables of the nuclear quasi-free (p, d + ) reaction including the triple differential cross-section for coincidence measurements, its analyzing power in case of polarized proton beams and, also, the parameters of the polarization of the excited recoil nucleus and the produced deuteron are considered in the framework of the distorted-wave impulse approximation using the reaction 16 O(p, d + )15 N at a proton energy of 650 MeV as an example. ...

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

... 3.6 . ... 50% 3) 3) &1 Principles of multiprocessor computer systems design on basis of FPGA I.A. Kaliaev1, I.I. Levin1, E.A. Semernikov 2 1) SRI of multiprocessor computer systems of academician A.V. Kaliaev of Southern federal university (Taganrog) 2) Southern scientific center of Russian academy of sciences (Rostov-on-Don) Abstract In the article are given principles of high-performance computer systems design on basis of reconfigurable element base. ... 3& 5 Argus v.3.0; .& ... COLAMO v.2.0; .6 ...

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

... About CIE MSU . ... Student's Life . ... Vestnik CIE (in Russian) . ... About Moscow University . ... Life . ... Students life in personal extracts presented to us by one of our students. A Normal Day, 30 Nov 2004, 11.20pm (Moscow time) . ... Since school always begins at 10am, my alarm-clock starts its attempts to wake me at 08.40am. ... But to get in time to the university I cannot sleep more then these ten extra minutes. ... As usual, I try to make all morning routines as regular as possible. ...

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

• Inscription :: Condition d??tudes :: CEI
• Video :: Sur le CEI :: CEI
• Enseignement ? distance :: Les programmes d?enseignement :: CEI

... Parameters of February: Anomalies or normal Document on Russia 's environmental policy Governmental report On the state of the environment and on environmental protection in the Russian Federation in 2010 Technologies of environmental development A window into the world of the subglacial lake New specially protected natural territories in Russia New legal acts in the field of ... This is a major problem in the environmental field in Russia," noted Sergei Bobylev. ...

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

• International conference «Bringing together Selenga-Baikal research”
• Department of Land Hydrology
• THE MAKKAVEEV LABORATORY OF SOIL EROSION AND FLUVIAL PROCESSES

... Opportunities for Research Section Financial and Legal Mechanisms for Developing Russia in the Context of Global Political and Economic Instability Chairperson: Professor Alla Bobylyova Head, Department of Financial Management, School of Public Administration Lomonosov Moscow State University Secretary: Olga Lvova Department of Russian History, School of Public Administration Lomonosov Moscow ...

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

• Содержание выпусков

... Квантовая теория . ... КВАНТОВАЯ ТЕОРИЯ ПОЛЯ [7-й-8-й семестры] (проф. СЛАВНОВ Д.А.) . ... СОВРЕМЕННЫЕ ТЕОРЕТИЧЕСКИЕ ПРОБЛЕМЫ ФИЗИКИ ВЫСОКИХ ЭНЕРГИЙ [10-й семестр] (с.н.с. САМОХИН А.П.) . ... проф. СЛАВНОВ Д.А. Квантовая теория поля описывает фундаментальные законы современной физики. ... Квантовая теория поля является теоретической основой физики высоких энергий и физики элементарных частиц. ... Квантовая теория поля и физика фундаментальных взаимодействий. ... Введение в квантовую теорию поля. ...

252. Summer school in the Institute of Mechanics of Lomonosov MSU