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

... 4) Percolation probability: [pic] , where L is linear size of lattice. ... The presence of obstacles in a system leads to: - increase of the critical concentration value; this effect grows with increase of the full area of obstacles and falls with increase of the linear size of ones. - increase of the critical exponent ( value; this effect increase with growth both of linear size of obstacles and of their full area. - increase of the growth rate of ...

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

• http://acat02.sinp.msu.ru/presentations/ivanchenko/iv.pdf
• http://acat02.sinp.msu.ru/presentations/ohl/acat2002.pdf
• http://acat02.sinp.msu.ru/presentations/seixas/posterandre.pdf

Educational Technology & Society 10(3) 2007 ISSN 1436-4522 : .. . ... 1995). . ... Education Technology & Society 9(1) 2006 pp. 422-427. [ .., 1993] . ... Education Technology & Society 5(1) 2002, pp 222-243. ... Brusilovsky P., 1995] Brusilovsky P. Intelligent learning environments for programming: The case for integration and adaptation // In: J. Greer (ed.) Proceedings of AI-ED'95, 7th World Conference on Artificial Intelligence in Education, Washington, DC, 16-19 August 1995, AACE, pp. ...

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

• Новые поступления в Библиотеку психологической литературы им. В.В. Лучкова

QUANTUM STOCHASTIC PROCESSES This course is for 4-5th year and graduate students. ... It is dedicated to systematic account of Quantum Stochastic Processes right in the form they are actually used in theoretical calculations of Quantum Open Systems. ... LECTURE 2. ... Open systems and quantum stochastic processes. Mathematical definition of an open system and quantum stochastic process. ... Markovian quantum stochastic processes. Formal definition of quantum markovian stochastic process. ...

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

• Quantum Information Lab, Int'l Laser Ctr. and Faculty of Physics, M.V.Lomonosov

... Field of research: Extragalactic astronomy. ... NASA Astrophysics Data System (ADS) Abstract Service . ... CADC Home Page . ... CCD Images of Galaxies . ... RUSSIAN LINKS . ... UA Astronomy Personal Home Page - Bill Keel . ... The Shape of the Rotation Curves of Edge-on Galaxies, by A.V.Zasov and A.V.Khoperskov, 2003. ... A Thickness of Stellar Discs, by A.V.Zasov, and D.V.Bizyaev, 2003 . Minimum Velocity Dispersion in Stable Stellar Disks, by A.V.Khoperskov, A.V.Zasov, and N.V.Tyurina, 2003 . ...

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

• Test Page for Apache Installation
• Apache IP-based Virtual Host Support

... 3 Basic «metaphisics» Systemic nature of morphological disparity (BD) BD structure is interrelation among BD forms Structural approach to BD investigation implies analysis of interrelations among BD forms Systemic nature of BD presumes that interrelations among BD forms are in part causal At least some of BD forms could constitute a part of causulities affecting certain properties of some other BD forms 4 Basic «metaphisics» ...

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

• Igor Ya
• Seasonal changes in activity of malesв?T reproductive system in Eurasian lynx
• Vocal activity and acoustic structure of the rutting calls of Siberian wapiti

Information Security Meeting Schedule Thursday, March 30 12:00 noon Opening and Catered Lunch 1:00 R. Sekar, Stony Brook University - Ongoing Research at Secure Systems Laboratory at Stony Brook University 1:30 Scott Craver, Binghamton University - Information Hiding and Counterdeception 2:00 Sanjay Goel, University at ...

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

... Carnosine: endogenous physiological corrector of antioxidative system activity]. ... The effects of carnosine are characterized not only at the level of the whole organism but also in "in vitro" models with use of a whole series of enzymatic systems. ...

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

• Why is homocysteine toxic for the nervous and immune systems?
• Low Concentrations of Hydrogen Peroxide Activate the Antioxidant Defense System
• Expression of NMDA receptors in multipotent stromal cells of human adipose

... International Journal of Neural Systems [Inl J Neur Syst] . Common information . ... 0.415 . ... 0129-0657 . ... since 1989-01-01 till today . ... http://www.worldscinet.com/ijns/ijns.. ... 1989-01-01 . today . ... http://www.worldscinet.com/ijns/mkt/a... 1996-10-01 . ... http://elibrary.ru/issues.asp?id=3189 . ...

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

• JCatalog journal list
• JCatalog - Список журналов

... Новости . Объявления . Контакты . ... Расписание . О кафедре . ... на кафедру . ... ВМК . МГУ . ... СМУ ВМК . Расписание экзаменов 415 группы. ... Кафедра системного анализа ВМК МГУ создана в 1992 году. Организатор и заведующий кафедрой - лауреат Ленинской премии, заслуженный профессор МГУ, академик РАН Александр Борисович Куржанский . ...

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

... One of the project objectives was to investigate practical efficiency of some modern iterative methods, including multigrid techniques and domain decomposition methods as well as methods for small compressible materials. ... Hence, the project research initiated because of INTAS financial support contributes in setting up modern computational techniques in tire design. ... Research on efficiency of iterative methods was conducted at the department of Mechanics of Composites about ten years ago. ...

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

... RPM gives you the tools you need to build a package on different types of computers. ... Before we get into RPM's capabilities, let's do a quick review of what is involved in developing software for different types of computer systems. ... The system software running on the computer. ... As far as package building is concerned, two systems with the same architecture running two different operating systems, are as different as two systems with different architectures running the same operating system...

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

• Meetings/Murray - UNИX
• Multi-architecture/operating system Support
• Index of /static/Illustration_System_Architecture_Simple

... Biological Faculty . Moscow State Lomonosov University . ... EDUCATION : B.S. Lomonosov Moscow State University, 1971 Physics . M.S. Lomonosov Moscow State University, 1972 Biophysics . Ph.D. Lomonosov Moscow State University, 1978 Biophysics . ... Lomonosov Moscow State University, 1990 Biophysics . ... 1972-1978 Research assistant Lomonosov State University, Moscow . ... Mathematical modelling in biology, . ... Lecturer at Biological Faculty, Lomonosov State University, Moscow . ...

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

• Stress of plant cells

The Database of Close Binary Systems . ... Team . ... This web-based interactive database is being developed and maintained by a team at the Sternberg Astronomical Institute of the Moscow State University . The project is an on-line extension of our catalogue on "Highly Evolved Close Binary Stars" (volumes I, II) published by Gordon and Breach in 1996. As of September 2009, the database (both the software and the content) is in its development/testing phase. ...

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

... Michail A. Ormont Research activity of the group is related to the theory of transport and optical properties of disordered semiconductors, in particular, the disorder effects in systems of reduced dimensionality. Studies of phonon-assisted hopping transport include the theory of hopping in quasi-one- and quasi-two-dimensional systems and hopping thermoelectric effects. ... Anisotropy in hopping conductivity of quasi-one-dimensional systems. ... Electronic Superstructures in Doped Superlattices. ...

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

• Universal theoretical description of electronic transport in disordered organic

Series on Stability, Vibration and Control of Systems, Series A - Vol. ... MULTIPARAMETER STABILITY THEORY WITH MECHANICAL APPLICATIONS . ... This book deals with fundamental problems, concepts, and methods of multiparameter stability theory with applications in mechanics. ... Introduction to Stability Theory . ... Read Full Review . ... Since Bolotin's pioneering book on nonconservation problems on the theory of elastic stability, not many books appeared at such a high level, such as this one. ...

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

• Curriculum Vitae of Dr Alexei A
• Book review by Professor Teodor M. Atanackovic
• Book review by Professor Alois Steindl

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

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

Научная Библиотека . Отдел Обслуживания Физического Факультета МГУ . ... ICES Journal of Marine Science: Journal du Conseil . ... Immunological Reviews . ... Industrial & Engineering Chemistry Research . ... International Journal of Impotence Research . ... International Journal of Management Reviews . ... International Journal of Public Opinion Research . ... International Journal of Urban and Regional Research . ... Научная Библиотека Физического факультета МГУ имени М. В. Ломоносова . ...

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

Alexandra A. Zobova . NAME: Alexandra A. Zobova . ... AFFILIATION: Associate Position, Department of Theoretical Mechanics and Mechatronics, . Faculty of Mechanics and Mathematics, . Lomonosov Moscow State University . ADDRESS: Alexandra A. Zobova , . ... Moscow State University, 2008 . ... Laboratory Training for the students of the Theoretical Mechanics and Applied Mechanics and Control Departments . Lecture Course on 'Dynamics of the Systems of Solid Bodies with Friction' . ...

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

Software on Data Processing . We Offer Statistical Software And . Software On Data Analysis And Processing. ... The package is intended for those, who doesn't have large experience in statistical analysis, but needs a quick and convenient data processing tool. ... Package provides full complex of registration and analysis methods, individual EKG monitor-analyzer, special tools for complete polygraph analysis. price: 700$ - 2200$. phone number (095) 437-3695, 155-1365 . ... InCo . ...

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

• InCo literature in English