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

... Find the Brillouin zone for a 2D honeycomb lattice (lattice parameter d) and transform it into a hexagon. ... Compare the energies and the RMS charge radii electrons, in units of e). 1 2 (r )d3 x thus obtained ((x) is the total charge density of two 4. Find the density profile n(r) for an atom with the nucleus charge -Z e using the Thomas­ Fermi equation. ... Introducing the wavefunction (x) containing the low-energy degrees of freedom, find the effective wave equation for it. ...

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

... Electronic journal Issue 4. 10 september 2004 Leigh E. Making Learning a Game Introduction. As a university lecturer I enjoy playing games with learning goals in mind. My students are all adults who work in many different roles. ... Their needs include learning how to design activities that will support acquisition of practical skills, extend personal understanding of emotional factors, and improve awareness of factors ­ such as economic, ecological and political aspects of society. ... Play. ...

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

• http://e-journal.spa.msu.ru/uploads/vestnik/2004/vipusk_4._sentjabr_2004_g./bonham_surin.pdf
• http://e-journal.spa.msu.ru/uploads/vestnik/2004/vipusk_4._sentjabr_2004_g./vorontchuk.pdf
• http://e-journal.spa.msu.ru/uploads/vestnik/2004/vipusk_4._sentjabr_2004_g./ulrich.pdf

... Stanley Milgram SIX DEGREES OF SEPARATION OR SMALL WORLD PHENOMENON 1998, Small world networks Steven Strogatz Duncan Watts Laszlo Barabasi and Reka Albert 1999 In 1999 American physicits Barabasi and Albert have shown that distribution of nodes by the number of links in tke most real networks is described by power law and they called such networks as scale-free networks Reprinted from Linked: The New Science of Networks by Albert-Laszlo ... Human disease network. ... disease ­ , ). ...

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

• Семинар по социофизике

... The Symposium's three breakout sessions focused on risks from different perspectives: enterprise use, resource constrained environments, and combating malicious use. ... Specifically, a DNS collaborative response, awareness, technical training, and future DNS security, stability, and resiliency collaboration should take precedence within the issues selected for further study and implementation. ... Breakout Session Overview.. ... 30 Appendix F: Combating Malicious Use Breakout Session Guide Book .. ...

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

• http://www.iisi.msu.ru/UserFiles/File/bayern2016/InfoMessageEng2.pdf
• http://www.iisi.msu.ru/UserFiles/File/bayern2014/Forum_1.pdf
• http://www.iisi.msu.ru/UserFiles/File/publications/Project_2014.pdf

Contents Curricula, and Programs. Mathematical Analysis. (The Program of Mathematical Physics Department).............................................. Algebra and Analytical Geometry.(The program of (General "Mathematics" Department)................................ Computer and Programming. (The program of Algorithmic Languages Department).................................... The practical work on Computers.( Department of Algorithmic. Languages)............................................... Discrete

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

... The RELEC experiment was specially developed for study of relativistic electrons in near-Earth space together with TLEs in order to test possible connection between these two phenomena. ... Data from RELEC mission will be processed for testing TLE models, studying of TGF light curves and spectra, testing possible connection between electron precipitations and low-frequency electromagnetic waves. ... Energy range: 0.1 - 15 MeV (for electrons) . ...

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

News from the UNESCO Chair on Global Problems Journal 1/2016 Moscow Russian Federation Lomonosov Moscow State University Faculty of Global Processes Dear colleagues, UNESCO Chairholders and members, international scientists, friends! ... When inaugurating the Chair, the Rector of the University Acad. ... The visit of the UNESCO Director General to the Moscow University represents an important milestone for the development of the multifaceted cooperation between UNESCO and the Russian Federation. ...

289. http://www.law.msu.ru/bitcache/9af64c1c38133e2400976ad6af22fd1007e46b3e?vid=21924&disposition=attachment&op=download

290. SPAW Editor documentation

291. ABOUT PARTICULARITIES OF INTENSITIES DISTRIBUTION IN CROSS-SECTION OF POWERFUL

292. http://dis.bio.msu.ru/States/Milko_Kreier_2007_en.pdf

293. http://www.biophys.msu.ru/booklet2.pdf

294. Кафедра атомной физики, физики плазмы и микроэлектороники

295. Alexander Pozdneev at the ASMS 2008 Conference | Department of the Automation

296. Alexander Pozdneev at the ASMS 2008 Conference