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

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

системы автоматизации, автоматизированные системы , информационные системы , мобильные и встраиваемые системы , программное обеспечение, вычислительные системы , средства связи,базы данных, информационные технологии,технологии программирования, обработка изображения, параллельные вычисления, информационное моделирование,математическое моделирование, вычислительный эксперимент, информатика,методы вычислений, численный анализ, numerical ...

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

Studying at MU Programs and degrees . ... Moscow State University provides a wide range educational services and educational programmes. ... International students are offered Bachelour (4 years full time) and Master programmes (2 years full time). A number of our faculties train both domestic and international students according to Bachelour and Master programmes with granting Bachelour and Master diplomas. ... Please, contact International Students Office for information on the topics offered. ...

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

... Sternberg Astronomical Institute , Moscow University . ... Present edition unites two parts of Catalogue of interacting galaxies by B.A.Vorontsov-Velyaminov: the first part (Part 1) containing 355 systems was published in 1959 [1] and the second one (Part 2) with 497 objects - in 1976 [2].Thus two published parts of Catalogue include 852 interacting systems. ... All new of them (1162 by number) were taken from the comments to the galaxies in Morphological catalogue by Vorontsov-Velyaminov et al.[ ...

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

• Отдел внегалактической астрономии: ГАИШ Extra-galactic astronomy Group Student
• Natural Satellites Service. Ephemerides
• Absolute proper motions of open clusters

Institution: Moscow State Universiy, Institute of Nuclear Physics . Address: Moscow State University . Institute of Nuclear Physics Vorob'evy Gory Moscow 119899, Russia . ... Phone: (7-095)-939-12-57 . Fax: (7-095)-939-58-88 . ... Publications (pdf-file) . V.L. Korotkikh publications, reports et al. on cite ISTINA . To Vladimir Korotkikh Home Page . Publications after 1977 year in SLAC archive . E852 Experiment . ... To Laboratory of Strong Interactions Home Page . ...

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

• Home Page of I. Lokhtin
• Etapi- Comments 3/1/97

... High Brightness RTM . ... Fig.1a: 70-MeV pulsed race-track microtron . Many applications require compact, inexpensive and efficient source of electron beam in energy range 10-100 MeV. ... Beam is focused by accelerating structure, which acts as RF quadrupole singlet, quadrupole triplets (12) installed at the even orbits return path and by electromagnet quadrupole singlet (9) installed at common axis. ... Fig.1b: 70-MeV RTM Schematic . ... Energy gain: 4.8 MeV / orbit . Orbits: 14 . ...

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

• RTM-CS

... 001.89:004 .. , .. , .. , .. , .. , .., .. e-mail: kryukov@theory.sinp.msu.ru RESTFUL-- 2012-4/882 RESTful-- , : , , , UNIDATA Common Data Model, , , , , , . ... NCEP/NCAR [1], , ). , . ... RESTful-- , : , , , UNIDATA Common Data Model [2], , , , , , . ... UNIDATA Common Data Model (CDM) [2]. ... UNIDATA CDM 3. ... XML . ... Unidata Common Data Model. : http://www.unidata.ucar.edu/software/netcdf-java/CDM/ [3]. ... Network Common Data Form (NetCDF). : http://www.unidata.ucar.edu/software/netcdf/ [5]...

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

... Astronomy search engine . ... PhysicsWeb Home Page . ... Sternberg Astronomical Institute . ... Astro Space Center Home Page . ... Landau Institute for Theoretical Physics . ... Astronomy and Space Physics Dept of Kiev University . ... NATIONAL RADIO ASTRONOMY OBSERVATORY Home Page . University of Hawaii - Institute for Astronomy . ... Space Telescope Science Institute Home Page . ... Sky & Telescope: The Essential Magazine of Astronomy . ... Springer LINK - Physics Online Library . ... Home . ...

Еще в разделе: (Показать все результаты (>455) - astro.uni-altai.ru/ )

... О проекте . ... A prototype of laser unit for Laser Electron X-Ray Generator is constructed on the basis of the optoelectronic control. The laser system in which an optoelectronic negative feedback is realized by means of a signal reflected from an intracavity Pockels cell polarizer is proposed and tested. The design provides flexible control over pulse train time structure. ... Berlin06_Laser.pdf . ...

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

... Recreational Geography and International Tourism . ... Physical Geography and Landscape Science . ... Science . ... According to the fact that ecological conflicts has a global scale in international watersheds, transboundary location of Selenga river complicates the problem of scientific resolution of the conflicts between water consumers. ... International programme in Natural Resource Management and Law offers a unique combination of Natural and Environmental Sciences and Science of Law. ...

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

Home People Activities Research Publications . Yurin's home page . ... Юрин Д.В. "Расчетно-параметрическое исследование флуктуаций сигнала обратного рассеяния при лазерном зондировании взволнованного моря " // Автореферат диссертации на соискание ученой степени кандидата физико-математических наук (специальность 01.04.03-радиофизика). ... Юрин Д.В. "Метод расчета статистических характеристик сигнала обратного рассеяния при лазерном зондировании взволнованного моря " // В кн. ...

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

European Credit Transfer System: ECTS ECTS ECTS : ECTS ( ) ґ 1. ... ECTS - - EUROPEAN CREDIT TRANSFER SYSTEM: European Credit Transfer System (ECTS) ґ , , ґ , . ... ECTS , : (, , 2000 ), ? ( ґ)? (-, 2001 ), ? ? (, 2002 ), EUA ? ґ ? (, 2002 ) . 2003 ). ... 2004 ., ECTS? 2002-2010 . ... ECTS, 30 Z, (4 ) ґ 240 Z; (5 ) ґ 300 Z; (6 ) ґ 360 Z. , , , , . ... 1 ґ ( + ) b) ґ 60 1 c) , (: ґ 120; 180; ґ 240; ґ 300; ґ 360). ... http://www.rsvpu.ru/ects/ects.htm). ... ECTS, ? ? , , (http://www.mifp.ru). ...

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

• http://www.inpro.msu.ru/files/do/Minyailov.files/outline.htm
• http://www.inpro.msu.ru/files/nmo/oop.pdf

Nanoterrorism: New Responsibility for Our World and Future in the Global TechnoScience Vitaly G. Gorokhov Institute for Philosophy of the Russian Academy of Sciences, Institute of Technology Assessment and Systems Analysis of the Research Center Karlsruhe (Germany) Vitaly.Grorokhov@itas.fzk.de "Bioterrorism and chemical warfare are not unthinkable. ... 2] But these conditions do not else exist for the time being in nanoscience and nanotechnology. ...

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

... Results of experimental and numerical investigations of a permeable round parachute with the stripe-stabilizer, the so called "SAL" parachute - Stabilization of Aerodynamic Loads, are given [1]. ... The parachute canopy attained different shapes from each other depending on the value of reefing ( Fig.1 ). ... As given below some numerical investigations of the stripe-stabilizer reefing influence on the canopy shape, its aerodynamic drag and the tension of radial ribbons are considered. ...

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

• On Square Parachute Differential Equations
• Parachute Equipment

Preliminary results of astroclimate parameters measurements at the Sternberg 2.5m telescope installation site V.Kornilov, N.Shatsky, S.Potanin, O.Voziakova, B.Safonov Moscow, 2008 Acknowledgements A.Belinskiy M.Kornilov A.Tokovinin M.Kuznetsov P.Kortunov E.Gorbovskoy SAI administration some SAI students Pulkovo solar station (KHSS) staff RFBR support MAVEG Gmbh Why to study optical turbulence and some other relevant ... Mean seeing by DIMM data for this night is 1''5. ...

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

• . The . MASS . Group .
• ASM Station

Space Weather . ... Main page . ... Data . ... Data base . Satellite trajectory viewer . ... Storage and processing of space experiments, in conjunction with the Internet access system, are the main components of the system of space monitoring. ... CORONAS-F . ... The space monitoring data base contains measurements of domestic satellites since 1983. ... Now the data base continues to be filled up in line with the operational satellites connection timetable(Meteor-M ?1, Electro-L ?1). ...

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

• SWX - Данные Satellite trajectories

... Заведующий лабораторией, доцент, к.х.н., Microsoft Certified Trainer, Microsoft Certified Systems Engineer+Internet. ... В лаборатории с 1983 г. Помимо программно-технического обеспечения проводит занятия со студентами и является tech-admin'ом сети chem.msu.su . ... Старший преподаватель, Microsoft Office Specialist. ... Младший научный сотрудник, Microsoft Office Specialist. ... Microsoft Office Specialist. с 2006 года проводит семинарские и практические занятия со студентами 1-го курса. ...

218. YaB-100 - Programme

219. Database: publications on x-ray absorption spectroscopy

220. http://hit-conf.imec.msu.ru/2012/lectures/Chernyshenko.doc