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

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

Accommodation Several hotels can be found near the MSU: Hotel Universitetskaya http ://www. hotel -universitet.ru/ Lomonosov hotel http ://www.hotellomonosov.ru/en/index.html Hotel Sputnik 3* http ://www.hotelsputnik.ru/ Hotel Salut 3* http ://www.hotelsalut.ru/ Hotel Astrus ­ Moscow city hotel http ://www.astrus.ru/ Contacts E-mail info@radiochemistry-msu.ru Web-page radiochemistry-msu.ru/ ... School activities will include both theoretical and practical courses. ...

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

• CURRICULUM VITAE
• Scientific conference Women in chemistry: biographical portrait, contribution
• Dmitriy Mendeleev Online

. Dubna, May 28 June 2 . по-русски . - Home . - Organizing Committee . - Program . - Abstracts . - Registration and Fee . - Accomodation . - Transport and Maps . - Files . Русская версия . Personal Office is accessable by registered site users. If you've got login and password please fill the leftmost form and press Enter ; if you heve not registered yet you may do it here . 2007 Biophysics dep., Biological fac., MSU

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

AUTOMATIC CREATION OF THE HYPSOMETRIC MAP OF VENUS. ... The hypsometric map of Venus (1:45M) created under editing of Dr. Rodionova gives the representation of the planet relief on the basis of up-to-date data. ... The requirement was to preserve contour polygons with the areas more than 10 000 sq. km at the Venus surface, which corresponded with areas approximately more than 5 sq. km at the map. ... The other side of Venus map has been prepared. ... Surface height histograms for both Venus and Earth. ...

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

• Родионова Жанна Федоровна

... CompHEP Models. ... CompHEP is based on an idea of the physical model. ComHEP Models are very simular to physical models in high energy physics, like Standards Model or MSSM. ... Two of them are versions of the Standard Model (SU(3)xSU(2)xU(1)) in the unitary and t'Hooft - Feynman gauges. ... Standard Model in Feynman gauge . ... This output can be written in LaTeX format and in the form of CompHEP model files, which allows one to start calculations of processes in the new physical model. ...

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

• downloads [CompHEP]

SUNY-MSU Partnership . ... MSU | ... The State University of New York/Moscow State University partnership dates back to the mid-1970s and owes its existence to the vision of then MSU Rektor Rem Kokhlov and SUNY Chancellor Ernest L. Boyer. ... The first students were exchanged in 1977. ... A SUNY Center on Russia and the United States opened its doors in January 2000, and a sister MSU Center on the United States and Russia was set up in Moscow at MSU?s newly built Science Park. ... suny-msu . ...

187. http://arts.msu.ru/freefiles/Faculty%20of%20Arts.pdf