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

... 7/8, 509-515 Article No. cb980291, available online at http://www.idealibrary.com on THE ROLE OF Ca IONS IN RESTORATION OF THE STRUCTURE OF INTERPHASE AND MITOTIC CHROMOSOMES IN PK LIVING CELLS AFTER HYPOTONIC STRESS A. A. AMCHENKOVA, I. M. BUZHURINA, L. A. GORGIDZE, I. V. KIREYEV, M. A. PANOV and V. JU. ... Similar structural complexes were revealed in mitotic chromosomes and nuclei of permeabilized cells at a gradual lowering of Ca2+ concentration in the incubation medium (Zatsepina et al., ...

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

• http://cellmotility.genebee.msu.ru/html/articles/uzbekov95.pdf
• http://cellmotility.genebee.msu.ru/html/articles/neverova99.pdf
• http://cellmotility.genebee.msu.ru/html/articles/alieva97.pdf

... At present, SDSS (ugriz), UKIRT WFCAM (YJHK), ; Johnson-Cousins (UBVRcIc), and 2MASS (J2H2Ks2) ; are supported ; redshift - redfshift of a galaxy ( floating point) ; colour_name - colour identification (string) ; colour_value - value of colour in magnitudes ( floating point) ; should be in the AB mags for ugrizYJHK ; and in Vega mags for Johnson-Cousins/2MASS colours ; ; RETURN VALUE: K-correction in the specified filter for given redshift ; and ...

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

• http://kcor.sai.msu.ru/calc_kcor.pro
• K-corrections calculator (version 2010): download IDL, Python and C code
• K-corrections calculator: download IDL, Python and C code

Title Author Key words The innovations in the theories of T. Parsons at the turn of the XX­XXI centuries E.S. Babosova, A.K. Mamedov, N.A. Panich structure, function, structural and functional analysis, the social system, societal system, social act, the ethos of science, presupposition, neofunctionalism, communication The article is dedicated to the conceptualization of the innovations in the theories of T.Parsons at the turn of the XX ­ XXI centuries. ...

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

• http://www.socio.msu.ru/vestnik/eng/archive/2014/2/06.pdf
• http://www.socio.msu.ru/vestnik/archive/2011/2/02.pdf
• http://www.socio.msu.ru/vestnik/eng/archive/2015/3/15.pdf

... Ioffe I.N., Mazaleva O.N., Sidorov L.N., Yang S., Wei T., Kemnitz E., Troyanov S.I. Cage shrinkage of fullerene via a C 2 Loss: from IPR C 90 (28)Cl 24 to nonclassical, heptagon-containing C 88 Cl 22/24 , Inorg. ... Romanova N.A., Fritz M.A., Chang K., Tamm N.B., Goryunkov A.A., Sidorov L.N., Chen C., Yang S., Kemnitz E., Troyanov S.I. Synthesis, structure, and theoretical study of trifluoromethyl derivatives of C 84 (23) fullerene , Chemistry - A European Journal (2013) 19 , 11707-11716 DOI . ...

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

Open Conference Systems . ... Conference Content Search . All Authors Title Abstract Index terms Full Text . ... January February March April May June July August September October November December 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 0 . ... By default only papers containing all terms in the query are returned (i.e., AND is implied) . Combine multiple words with OR to find papers containing either term; e.g., education OR research . ...

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

... Quaternary structure of protein is an association when new biological properties appear which are unusual in tertiary structure. ... Catalytic activity was determined by spectrophotometric method with the use of rhodamine 6G, amount of protein was assayed by Lawry method. ... This method allows to obtain an image of immobilized on mica lipase surface, and this permits to conclude an important role of quaternary structure in lipase catalytic activity regulation. abstract (PDF) . ...

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

... SUPER RATIO . ... On this page I will present the most important (on my opinion) idea on Intellegence Life in the Universe . ... On the problem of the Super Ratio in astrophysics" . ... As a matter of fact, this is the main problem of the modern natural science. ... Here I shall try to speak about the most important problem of the modern natural science, the problem which is undoubtedly, of more importance than discovery of Blacks Holes, creation of Grand Unification Theory or Artificial...

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

Sign in Register . ... Resources . Education . ... 495) 3334-65-56 . info@ecfs.msu.ru . All contacts . ... Home About The structure of the ECFS . ... Structure . ... Contacts . The Department of land resources . The ECFS is the structural division of MSU. Currently ECFS consists of the three departments - economics, land resources and information and education (see the chart below). ...

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

... Academic . ... Academic Departments . ... Partners . Conferences . ... All partners . ... The international academic conference . ETHNIC PRESS GENESIS, STRUCTURE, DEVELOPMENT TRENDS . ... Conference proceedings will be published at the endљ . of the Conference as a collection of scientific articles and available in electronicљ . ... Organizing Committee address: Department of Journalism, Room 325 A, 3d floor, Main Academic Building, 42 Kulakovskogo St., Yakutsk, 677000. ...

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

• The students of the Faculty of Journalism visited the Saxion University ::

... Program . ...

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

• Optimal Control and Differential Games. Poster session Международная
• Program International Conference Differential Equations and Topology dedicated

... VaST is a software tool for finding variable objects on a series of astronomical images. ... VaST performs object detection and aperture photometry using SExtractor on each image, cross-matches lists of detected stars, performs magnitude calibration with respect to the first (reference) image and constructs a lightcurve for each object. ... VaST FITS image viewer ./pgfv . ... Part I" PZP, vol. ... K. V. Sokolovsky, S. A. Korotkiy; "New Variable Stars Discovered by the NMW Survey" PZP, vol. ...

133. Titles of talks

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

135. http://www.socio.msu.ru/vestnik/archive/2012/2/10.pdf

136. http://angel.cmc.msu.ru/~ifed/teraflops/Popova_MPI.pdf

137. SAI OCL Catalog Structure

138. Structure/microstructure and their interplay in nanomaterials and layered

139. http://cacs.spa.msu.ru/changepassword/index/1