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

... Catalog . Publications . ... Koposov, S., Glushkova, E., Zolotukhin, I. 2008: Automated search for Galactic star clusters in large multiband surveys. ... BibTeX entry ] . ... Glushkova, E.V., Zabolotskikh, M.V., Koposov, S.E., Spiridonova, O.I, Vlasyuk, V.V., Rastorguev, A. S. 2010: Photometry of the poorly studied galactic open star clusters King 13, King 18, King 19, King 20, NGC 136, and NGC 7245 , Astronomy Letters, 36, 75 . ...

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

• SAI Open Star Clusters (SAI OCL) Catalog

... Commission Members . ... Forum . ... Commission on Paleopedology . ... PROCEEDINGS OF THE PALEOPEDOLOGY SYMPOSIUM, FLORENCE, ITALY, 7-11 JUNE 2004 (Quaternary International, 2006. ... Special issue). ... Abstracts of Symposium 49 of the XVII World Congress of Soil Science , Bangkok, Thailand, 2002 "Paleosols as a memory for understanding landscape history and environmental problems" . Abstracts of papers on paleopedology presented during the XVI INQUA Congress, Reno, Nevada, USA, 2003. ...

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

• On-line publications
• Commission on Paleopedology Discussions

... He was graduated from Moscow State University, Faculty of Mechanics and Mathematics, and post-graduate course in a speciality Theory of Probabilities and Mathematical Statistics. ... Ph.D in mathematics in 1980 (Moscow State University, Faculty of Computer Science). ... Author of Popular Textbooks on Data Analysis and Statistics. ... He was graduated from Moscow State University in 1980. Ph.D in mathematics in 1988 (Moscow State University, Faculty of Mechanics and Mathematics). ... InCo . ...

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

• InCO General Information In English
• InCo literature in English

Alexander P. Seyranian . Institute of Mechanics , . Moscow State Lomonosov University , . ... Phone: (7495) 939 2039 . Fax: (7495) 939 0165, 939 2065 . ... My field of specialization are Stability Theory, Parametric Resonance, Gyroscopic Stabilization, Mechanics of Solids, Structural Optimization, Singularities and Bifurcations. ... Technical University of Denmark . Aalborg University, Denmark . ... Institute of Engineering Mechanics and Systems, University of Tsukuba, Japan . ...

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

• Curriculum Vitae of Prof. Alexander P. Seyranian
• List of Publications of Prof. Alexander P. Seyranian

... On-line консультант . ... Место работы, должность: Преподаватель, старший научный сотрудник Лаборатории Вычислительных комплексов ВМК МГУ имени М.В.Ломоносова . ... D. Gamayunov, R. Smeliansky. ... 2002. (in Russian) . D. Gamayunov, A. Kachalin. ... In proceedings of the fifth Russian Applied and . ... detectors of computer attacks for corporate networks. ... I. Bulgakov, D. Gamayunov, E. Toroschin, Detecting network worms . ... Опыт работы по тематике магистратуры: 9 лет (руководство . ...

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

SELECT data_key, data_value FROM xf_data_registry WHERE data_key IN ('options', 'languages', 'contentTypes', 'codeEventListeners', 'cron', 'simpleCache', 'routesPublic', 'bannedIps', 'styles', 'nodeTypes', 'smilies', 'bbCode', 'displayStyles', 'trophyUserTitles', 'reportCounts', 'moderationCounts') . Run Time: 0.000535 . Select Type . ... Type . ... SIMPLE . ... PRIMARY . ... const . ... library/XenForo/ Autoloader.php . ... library/Zend/Registry.php . ... library/Zend/Db/Select.php . ...

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

• http://osk.msu.ru/forum/forums/faq.8/?_debug=1
• http://osk.msu.ru/forum/help/bb-codes?_debug=1
• http://osk.msu.ru/forum/members/aaplicagf.1452/?_debug=1

About SPAW Editor . ... As of final version 1.0 of the control you'll need to rename the file spaw_control.default.config.php in config sub-directory to spaw_control.config.php when installing control for the first time. ... All of the SPAW Editor configuration options are located in the config/spaw_control.config.php file. ... This file will be included in img_library.php (Image library dialog script). $request_uri variable will be set to the URL of the page where SPAW Editor instance resides. ...

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

Кафедра высокопроизводительных вычислений МГУ . Главная . ... Главной задачей кафедры является организация и осуществление на высоком уровне учебно-воспитательной работы по подготовке специалистов высокой профессиональной квалификации по высокопроизводительным вычислениям на многопроцессорных ЭВМ из числа студентов 2-5 курсов механико-математического факультета , физического факультета , факультета вычислительной математики и кибернетики, химического факультета и других факультетов ...

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