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

... Minimal size of Clud clusters (residues) . ... An alignment of a set of structures is a set of positions , to each position some atoms from different structures correspond. ... Hydrophobic cluster of a single protein structure is a separated pool of nonpolar atoms. Usually there is the biggest cluster in the protein called hydrophobic core. ... ConClus program is able to detect of conservative hydrophobic clusters for a family of related protein domains or just for a set of aligned proteins. ...

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

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

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

• Семинар "Перспективные наноматериалы"
• Scientific conference Women in chemistry: biographical portrait, contribution
• Dmitriy Mendeleev Online

International Symposium Biological Motility: New facts and hypotheses ================================================= Pushchino , Moscow region, Russia May 12-14, 2014 Chairman of Organizing Committee Prof. Zoya Podlubnaya Institute of Theoretical and Phone (4967)739269 Experimental Biophysics RAS Fax (4967)330553 Pushchino , Moscow region E-mail: motility2014@iteb.ru 142290, Russia Preliminary information Dear colleagues, The ... Deadline for sending abstracts is 1 of March 2014. ...

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

Cloud cover and water vapor observed at Oma site,Tibet W ang Hong-shuai (National Astronomical Observatories of China) Kislovodsk 8.10.2010 Wang Hongshuai ґ Kislovodsk ґ Oct.2010 2 2008.11 Oma Site 40 m CT 2 tow er 4.5 m antenna Satellite communication w eather station 10m tow er SBIG seeing m onitor DIMM seeing dome MIR cloud m onitor R en ew al p o w er supply Wang Hongshuai ґ Kislovodsk ґ Oct.2010 3 PWV<0.5 5 .0 % 1 0 .1 % 8 .1 % Percent. ... 05 8.3% Percent . ...

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

• http://site2010.sai.msu.ru/static/doc/ATokovinin_poster_site2010.pdf
• http://site2010.sai.msu.ru/static/doc/Site2010-Summary.pdf

Home Bulletins . ... The Workshop continues a series of workshops started by the Skobeltsyn Institute of Nuclear Physics of Lomonosov Moscow State University in 1985 and conceived with the purpose of presenting topics of current interest and providing a stimulating environment for scientific discussions on new developments in theoretical and experimental high energy physics and physical programs for future colliders. ... Advisory Committee . ... J. Ellis (CERN, Geneva) . ... R. Heuer (CERN, Geneva) . ...

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

• INFORMATION BULLETIN No.1
• INFORMATION BULLETIN No.2
• Bulletins'2010

. To see a Russian version of this page click here . (Senior Researcher. Graduated from Moscow State University (MSU) in 1982, Ph.D. 1986, MSU) . A member of EAS and IAU. Fields of interest: hot massive stars, close binary systems: optical photometric and spectral observations, X-ray observations; ill-posed problems, X-ray astrophysics. My publications (ADS link) . Linux on CLEVO 8750 (old stuff) . Phones/addresses of my university mates graduated in 1982. E-mail: igor@sai.msu.ru .

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

... Many presentations concern interesting work, but are nevertheless difficult to follow because the speaker unknowingly makes a number of presentation errors. ... Time 1 Conclusion Audience Attention Introduction Various Themes Efficient Presentation Intermediate Conclusion Intermediate Conclusion Average Presentation Figure 2 Ideal attention curve of an audience when the speaker divides his talk in recognizable parts, each summarized by intermediate conclusions. ... What is a successful poster? ...

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

• Address
• Laboratory of Catalysis and Gas Electrochemistry

... VaST is a software tool for finding variable objects on a series of astronomical images. ... VaST performs object detection and aperture photometry using SExtractor on each image, cross-matches lists of detected stars, performs magnitude calibration with respect to the first (reference) image and constructs a lightcurve for each object. ... VaST FITS image viewer ./pgfv . ... Part I" PZP, vol. ... K. V. Sokolovsky, S. A. Korotkiy; "New Variable Stars Discovered by the NMW Survey" PZP, vol. ...

190. IPI_v76 - VES & VES-IP curves interpretation .

191. http://www.students.chemport.ru/materials/Philosophy/orph.pdf

192. LOCAL TSUNAMI WARNING AND MITIGATION -- Official information

193. Учебные материалы DMVN ::

194. Eduard E. Levin

195. http://www.ftv.msu.ru/hst-notes/notes_2.pdf

196. http://depni.sinp.msu.ru/~ivan_iv/sharpclass.html

197. Autobiography of Joseph Scaliger

198. http://danp.sinp.msu.ru/LIIWM/JPhys_ConfSer194_8_082007_VAKho.pdf

199. CV of N.V. Roznyatovskaya

200. http://www.radio-msu.net/serv/wwwtrace/tracelist.html