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

• http://savenkov.lvk.cs.msu.su/mc/lect02.pdf

Theory as a Lighthouse in the Electrochemical Ocean . In memory of Alexander M. Kuznetsov . ... Until his last days he continued to work on various aspects of charge transfer phenomena. ... In electrochemical kinetics the theory always outruns the experiment, and the quantum mechanical theory of charge transfer created in the famous Theoretical Department of the Frumkin Institute in Moscow (R.R. Dogonadze, A.M. Kuznetsov and co-authors) is a good example for that. ...

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

• RADEN Data Bank

Джоан Ролинг . ... Harry Potter and the Half-Blood Prince takes up the story of Harry Potter's sixth year at Hogwarts School of Witchcraft and Wizardry at this point in the midst of the storm of this battle of good and evil. ... And most importantly, the opening chapter of Harry Potter and the Half-Blood Prince has been brewing in J.K. Rowling's mind for 13 years. книга " Harry Potter and the Half-Blood Prince. Book 6 / Гарри Поттер и Принц Полукровка. Книга 6 " . ...

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

... We study the effect of high-temperature annealing on the conductivity temperature dependence of a-Si:H films. Two types of films were studied: uniform and nanolayered prepared by cyclic repetition of CVD and hydrogen plasma treatment. It is shown that for annealing temperatures above 450C, the low-temperature conductivity obeys the law ln(sigma) = const - (T 0 /T) n , where the exponent is n = 1/2 for uniform and n = 1/3 for layered films. ...

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

• EXAFS studies of the local structure of In in PbTe, SnTe and GeTe
• Influence of random fields on the ferroelectric phase transition in IV-VI

... FPGA design, architecture, means and methods of work. ... FPGA stands for Field-Programmable Gate Array, which is a semi-conductive crystal, the connections between gates of which and the logic of work can be modeled and changed repeatedly during its work. ... Each semester has 12 obligatory classes of four (4) academic hours each once a week, which totals in 48 hours per semester. ... In spring semester students have 44 hours to work on their term papers on design and then 4 hours for defending...

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

• Circuit Diagnostics
• Introduction to Linux
• Parallel Programming

Calcareous paleosols are widely distributed throughout the arid and semi arid regions of the world. These paleosols have been described from virtually every continent of the world, yet there is no internationally agreed upon nomenclature for the description of the horizons present within them. ... This abstract proposes the adoption of a universally agreed-upon system of horizon designation and gross morphological description of calcareous paleosols. ... Soil Science, 101, 347-360. ...

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

• Klumpen?a Mesoscale Level of Classification for Soil Structure: Rationale
• SPECIAL ISSUE OF CATENA ?RECONSTRUCTION AND CLIMATIC IMPLICATIONS OF PALEOSOLS?
• Root Traces and the Identification of Paleosols

... He distributes these gifts in sacks (each sack can contain from 1 to n items) and puts the sacks with gifts around the Christmas tree (only the content of the sacks and their ordering on the circle around the tree are important). ... A river falling into a sea forms a delta which is a system of branches consisting of channels without inner intersections. (a) Suppose that in a given delta there are exactly n different (i.e. differing by at least one channel) routes down the stream. ...

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

... A Primer from the Reform of Personal Income Taxation in Russia Introduction. ... However, to use the welfare function one needs to aggregate individual preferences that can also be unknown. ... The derivations lead to the conclusion that the optimal marginal income tax rate is increasing as the elasticity of labor supply increases. ... In this paper we obtain the characteristics of the labor supply for different population groups to get the elasticities of labor supply with respect to a post tax...

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

GSK-3 Inhibitors: The Dataset . ... We suppose that it will be useful for the other researchers in the field of chemoinformatics; the main peculiarity of this Dataset is wide activity range of compounds and significant diversity of the actives (true inhibitors). ... IC50 is given in nM (sic!) according to the data reported in the article. It's a text field (as well as the other raw activity data fields) and values like '>10000' are given for inactive compounds. ...

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

... 1, 119899 Moscow, Russian Federation shamolin@imec.msu.ru ABSTRACT This work is devoted to the development of qualitative methods in the theory of nonconservative systems that arise, e.g., in such fields of science as the dynamics of a rigid body interacting with a resisting medium, oscillation theory, etc. ... References [1] M.V. Shamolin, Methods of Analysis of Dynamical Systems with Variable Dissipation in Dynamics of a Rigid Body [in Russian]. ...

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

• http://shamolin2.imec.msu.ru/art-102.pdf
• http://shamolin2.imec.msu.ru/art-133-1.pdf
• http://shamolin2.imec.msu.ru/art-156-1.pdf

About BAFIZ . ... BAFIZ is a program devoted to the development of a distributed network of the knowledge and data bases for research of fundamental properties of the matter and applied nuclear physics. The project sponsored by Russian Foundation of Basic Research , RFBR reference number is 95-07-19502. ... This Page is developed at Laboratory of Computational Mathematics, . ... Last updated on 2 September 1999 . Copyright 1999 Laboratory of Computational Mathematics (DRCM) ...

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

... Structure of Data . ... Catalog . ... The SAI OCL Catalog site provides several VO-enabled modes of operation: . VO-enabled catalog data analysis from a browser . ... Endpoint URL is http://ocl.sai.msu.ru/catalog/conesearch/ . ... VO-enabled catalog analysis from a browser . Presently, this recipe works with Firefox (Windows, MacOS, Linux), Internet Explorer (Windows) and Opera (Windows) browsers with Java plugin 1.6 installed. ... Main TOPCAT window with SAI OCL catalog loaded will appear. ...

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

Help www.sciencedirect.com www.sciencedirect.com R www.sciencedirect.com , ScienceDirect. , (licensed user). ... R PAGE 1 OF 9 www.sciencedirect.com Quick Search, Journals, Books, Reference Works and Abstract Databases Quick Search ( ), Journals (), Reference Works ( ), Books ( ) Abstract Databases ( ). Quick Search ( ) - , . ... ProCite, EndNote Reference Manager). 3a 3a R PAGE 8 OF 9 www.sciencedirect.com 1 Alerts ( ) , , : I Search Alerts ( ); I Journals Issue Alerts ( ); I Citation Alerts ( ). ...

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

A Short Course in Differential Geometry and Topology A.T. Fomenko and A.S. Mishchenko sP A Short Course in Differential Geometry and Topology A.T . ... Partition of Unity 2.4.1 Functional separability 2.4.2 Partition of unity 3 CONTENTS 51 52 54 Smoot h Manifolds (General Theory ) 57 3.1 Concept of a Manifold 59 3.1.1 Main definitions 59 3.1.2 Functions of change of coordinates. ... Frenet formulae 4.1.2 Theory of spatial curves. ... Examples and illustrations are included throughout the chapter. ...

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

• S.P.Novikov Seminar
• C*-algebras and elliptic theory

Главная О Школе СМИ о нас . The average Russian may earn Dollars 200 a month, but as the former Communist empire adapts to the market economy, there is no shortage of students entering the country's growing number of elite business schools, which charge 50 times that amount. ... Now the education sector is beginning to respond. ... When the World Bank and foreign donors come to some other business schools in Russia, they get requests to help them buy computers and desks," he says. ...

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

# # ChangeLog for / # # Generated by Trac 0.12.5 # 04/11/16 22:33:55 Sun, 19 Dec 2010 21:45:40 GMT Alex Martynov [72:abd610462b02] merge Sun, 19 Dec 2010 21:45:24 GMT Alex Martynov [71:198e91c5b94c] * engine.py (modified) some errors fixed Sun, 19 Dec 2010 21:43:36 GMT Danya Alexeyevsky <me.dendik@тАж> [70:e8eabd9530a1] * snake.py (modified) snake.Rule.load returns self for convenience

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

• http://kodomo.cmm.msu.su/trac/snake/log/?format=changelog&rev=abd610462b025cc2170d03a0052d273878b9c11a&stop_rev=70%3Ae8eabd9530a1&limit=100&mode=stop_on_copy
• http://kodomo.cmm.msu.su/trac/snake/log/?format=changelog&rev=abd610462b025cc2170d03a0052d273878b9c11a&stop_rev=e8eabd9530a16e42aa8127e18d2d2c348a2f2951&limit=100&mode=stop_on_copy
• http://kodomo.cmm.msu.su/trac/snake/log/?format=changelog&rev=e8eabd9530a16e42aa8127e18d2d2c348a2f2951&limit=100&mode=stop_on_copy

... Veselovsky, V.A., Djanumov D.A. The use of biophysical methods in the study of adaptive reactions of plants, in connection with the problem of resistance. ... Kulaeva, O.N., Mikulovich T.P., Veselova, T.V., Veselovsky, V.A., Kukina, I.M., Klyueva N.Yu. ... Veselovsky, V.A., Veselova T.V . ... Nauka, Moscow (in Russian).1990. 200 p. Veselova T.V., Veselovsky V.A., Chernavsky D.S. Stress of Plant: A Biophysical Approach. ... Veselova T.V., Veselovsky V.A. Photosynthesis and stress of plant cells. ...

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

... Site is discontinually updating by professional biologists and students of biology faculty of MSU. ... Journals began from 'L' . The search returns the following error: . No journals match your request. Try to redo the search with softer conditions. JCatalog | Journal list . All information on this site is official. ... Belozersky's Institute of Physico-Chemical Biology . ...

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

Dmitri Lukjanchikov - MSU78 slugger, who also takes a job of our coach. Usually he is a stretching and power lifting coach in the winter, but he coaches also in spring-summer-autumn. He makes on us a lot of running, stretching and throwing drills. About his playing career: He played for SKA MVS in 1997 and returned to the MSU78 in 1998. He is the best power hitter in MSU78 lineup, but he bats fifth. ... Here is Dmitri' 1997 and 1998 statistics . ... 1997 . SKA MVS .314 . ... 1998 . ...

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

• http://mguteam.chat.ru/josh1.html

... defmacro defprinter ( name args &body body ) . ... body ) ) . ... defprinter :property ( type name &rest body ) . print-statement-with-body stream body nil "public ~a ~a" type name ) ) . ... defprinter :get ( &rest body ) . print-statement-with-body stream body nil "get" ) ) . ... defprinter :constructor ( name args &rest body ) . ... defprinter :class ( name &rest body ) . print-statement-with-body stream body t "public class ~a" name ) ) . ... defprinter :namespace ( name &rest body ) . ...

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