... Faculty of Physics . ... Research Centers . ... Search Faculties Staff . Education . ... Any division Budget Depatment Center of Computer Physics (CCP) Center of Education Quality Control Center of Hydrophysical Studies Center of Information Systems and Technologies (CIST) Chair of Acoustics Chair of Astrophysics and Stellar Astronomy Chair of Atomic Physics , Plasma Physics , and Microelectronics Chair of Biophysics Chair of Celestial Mechanics, Astrometry, and Gravimetry ...

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

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

SIDA training in Sweden . Arthur R.Lyandzberg, Inna A.Novikova 22 февраля 2002 00:17:15 . ... Sida Country info Sector info Publications Training Programmes . ... Environment . Local Environment Management . ... Land Administration Geographical . ... Urban Land Management . ... Integrated Water Resources Management . ... Operational Hydrology, Technology Management . ... Contents:Hydrological problems, water management and general hydrology . Authorities, legislation and policies . ...

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

• http://www.ecocoop.ru/zoology/messages/1797.html

Information letter Dear colleagues! Faculty of Basic Medicine, Lomonosov Moscow State University and State Research Center ­ Institute for Biomedical Problems, Russian Academy of Science would like to invite you to participate in the work of the VII Russian National School with International Participation on Muscle and Exercise Physiology «New approaches to studying of classical problems». ... Abstracts of reports will be published. ... The receipt of your abstract will be confirmed by e-mail. ...

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

• http://www.fbm.msu.ru/about/struct/labs/lima/paper4.pdf
• http://www.fbm.msu.ru/sci/sno/conf/russia/IV%20FESTEM%20Symposium.pdf

... Кафедра системного анализа ВМК МГУ . ... О кафедре . ... на кафедру . ... ВМК . МГУ . ... СМУ ВМК . ... Alexandr Borisovich Kurzhanski) . In Russian . ... Kurzhanski was Elected Associate Member of USSR Academy of Sciences (now changed to Russian Academy of Sciences) in 1981 and Full Member in 1990. He is the Chairman of the Russian National Committee on Automatic Control (the IFAC NMO). ... Chairman of Russian National Committee of Automatic Control. ... 4 (8). pp. 100-118. (in russian). ...

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

Список межфакультетских учебных курсов весеннего семестра 2015/2016 . Список межфакультетских учебных курсов весеннего семестра 2014/2015 . Списки студентов, записавшихся на межфакультетские учебные курсы весеннего семестра 2014/2015 . Список межфакультетских учебных курсов осеннего семестра . Списки студентов, записавшихся на межфакультетские учебные курсы осеннего семестра . ... Новости межфакультетских учебных курсов . Видеозаписи лекций межфакультетских учебных курсов . ...

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

... Состав . ... Прежний состав . 2009-2010 . ... 2012 (весна) . 2012 (осень) . ... Студенческий совет . Механико - математического факультета . МГУ им. М.В. Ломоносова . ... 2016, Студенческий совет Механико-математического факультета МГУ им. М.В. Ломоносова . ...

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

... Unit I. Geologic Hazards and Man Unit II. ... Amazing Earth. ... Трансформируйте словосочетания в предложения. 1. geologic processes going on for millions of years 2. any geologic process can become a geologic hazard 3. some geologic hazards having resulted in disaster 4. many geologic hazards have affected the activity of man 5. a lot of earthquakes resulting in landslides 6. some naturally occurring hazards 7. many disasters are caused by geologic hazards 8. some ...

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

• Геологический факультет МГУ >> Студенту и аспиранту
• Геологический факультет МГУ >> Общее

... Если переменная "trigexpand" будет равна "true", то функция "trigexpand" будет работать до тех пор, пока выражение не перестанет меняться. trigexpand(sin(2*x+y)); =) cos(2x)sin(y) + sin(2x)cos(y) trigexpand(%); ) (cos 2 (x)-sin 2 (x))sin(y) + 2 cos(x) sin(x) cos(y) trigexpand:true; ) true trigexpand(sin(2*x+y)); =) (cos 2 (x)-sin 2 (x))sin(y) + 2 cos(x) sin(x) cos(y)  Функция trigreduce свертывает все произведения тригонометрических функций в тригоно- метрические функции от сумм. ... функцию "part"...

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

• http://tex.bog.msu.ru/numtask/max07.ps

... Взаимодействие региональных элит . ВЗАИМОДЕЙСТВИЕ РЕГИОНАЛЬНЫХ ЭЛИТ . В рассматриваемый период взаимодействие региональных элит вышло на новый уровень. ... региональных элит, новой площадкой взаимодействия которых стала структура "блока Черномырдина" (отметим в этой связи возросшее влияние самарского губернатора Константина Титова; хотя, по имеющейся информации, главы администраций не склонны считать Титова "первым среди равных", предпочитая ориентироваться на Кабинет и Черномырдина). ...

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

Космическая погода . ... Главная . ... Модели . ... Информационные сервисы ( SWX ) на Интернет-сайте центра обеспечивают доступ к актуальным данным, характеризующим уровень солнечной активности, геомагнитного и радиационного состояния магнитосферы и гелиосферы в режиме реального времени. Для анализа данных используются модели космической среды, работающие в автономном режиме. ... Одним из проявлений солнечной активности являются повторяющиеся высокоскоростные потоки солнечного ветра (ВСП СВ). ...

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

... Abstract A Uniform Resource Identifier (URI) is a compact string of characters for identifying an abstract or physical resource. ... This document defines a grammar that is a superset of all valid URI, such that an implementation can parse the common components of a URI reference without knowing the scheme-specific requirements of every possible identifier type. ... URI-reference = [ absoluteURI | ... Otherwise, the reference URI's scheme is inherited from the base URI's scheme component. ...

Еще в разделе: (Показать все результаты (>3) - hea-www.harvard.edu/ )

... Динамические задачи теории упругости . ... Методы теории упругости . ... В Московском университете читал курсы лекций: Теория упругости и пластичности , Механика сплошной среды , Теория пластического течения . Член -корреспондент АН СССР (1943); действительный член Академии артиллерийских наук МВС СССР (1947); действительный член Российской Академии Ракетных и Артиллерийских Наук (1994); член Президиума ВАК СССР; председатель Научного совета АН по проблемам прочности и пластичности ; ...