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

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

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

. General Information . Media Files . Participants . Timetable . Local Information . Photos . Back to the album list . Previous . Next Click the image to view it in fullsize. Previous . Next . From Turkic "nart sane" is translated as "bogatyr's water". Old Caucasian legend says that a long time ago there was a pillar by the spring with words on it: "Stranger, stand and bow. The water gives a strength to young, returns health to elder and beauty and love to women." .

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

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

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

... This presentation is licensed for use under the terms of the Globus Toolkit Public License. ... Setting the Foundation l Strategies for the Globus Toolkit ґ Layered architecture, protocols APIs l Naming conventions ґ Functions, variables, structures, etc. l Installation tree structure ґ Where things get installed l Source tree structure ґ Where things come from March 25, 2002 Globus ToolkitTM Developer Tutorial : Basics 2 ...

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

• http://acat02.sinp.msu.ru/presentations/GGtut/Dev-08-Information1.pdf

... COMPUTATIONAL . ... Scientific description and computerization of archives . Researchers of the Rare Books and Manuscripts Department of the Scientific Library of Moscow State University, the Orthodox Svyato - Tikhonovsky University and the Laboratory for Computational Lexicography are working on the scientific description of I. A. Ilyin?s personal archives. ... The conception of scientific description and computerization of archives was developed within the framework of this project. ...

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

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

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

... Enter here your expression: Process as chemical reaction (not as a phase composition). ... Preview: . ... Кнопка "Remove redundant tags" удалит избыточные тэги sup и sub. ... In the second textbox will appear HTML-code and after the word "Preview" - chemical formula. You can also edit HTML-code in it's textbox and update Preview by "Update preview" button. Button "Copy" is more comfortable than Ctrl+C. "Remove redundant tags" button will delete redundant sup and sub tags. ... HTML-code . ...

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

• Commission on the chemistry of volcanic gases (CCVG). IAVCEI 11th Gas workshop
• Eldfell, Heimaey, Iceland

... Phys. A25 (2010) 3933 (arXiv:0908.0457 [hep-ph]) A brief reminder AdS/CFT correspondence ґ the conjectured equivalence between a string theory defined on one space and a CFT without gravity defined on conformal boundary of this space. ... At one imposes certain gauge invariant boundary conditions on the fields. Equation of motion for the scalar field Solution independent of usual 4 space-time coordinates where M is identified with the quark mass matrix and with the condensate. ...

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

• http://qfthep.sinp.msu.ru/talks/pr_Gamzova.pdf
• http://qfthep.sinp.msu.ru/talks2013/V._Kovalenko__Saint_Petersburg_State_University_.pdf
• http://qfthep.sinp.msu.ru/talks2013/QFTP-2013_Bodnya__Derkach__Kovalenko__Puchkov__Feofilov1.pdf

... Next: COM-port initialization file format Up: Scanning Probe Microscopy Image Previous: Software Installation Contents Index . File is written in text format and consists from one section. ... A record has following format: <voltage>=<temperature>; . ... Example of temperature initialization file listed below. [temperature] -3.00=27.5; -2.67=28.0; -2.33=29.0; -2.00=31.5; -1.67=33.5; -1.33=36.0; -1.00=37.0; -0.67=39.0; -0.33=42.0; 0.00=42.5; 0.33=45.0; 0.67=47.5; 1.00=49.0; 1.33=50.0; 3.00=60.0; . ...

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

• Scanning Probe Microscopy Image Processing Software User's Manual FemtoScan

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

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

... 2 Ї ґ , , Ї ґ Ї ґ , 03.12.2015 . ... 14 03.12.2015 Ї Ї Ї 03.12.2015 . ... Verifier Uni ve rsi ty of Te x as 2013 Anteater Uni ve rsi ty of Il l i noi s 2011 FlowChecker Uni ve rsi ty of North Carol i na 2010 VERMONT Network disjoint Port #02 Port #03 h2 h3 s1 Port #01 h1 Port #04 h4 main: disjoint() := Forall[x, out_x, y, out_y: !R(x, out_x) or !R(y, out_y) or x[p] == out_y[p] and out_x[p] == y[p] or x VERMONT proxy CLI Packets are delivered through the control plane We can block them! ...

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

Бейсбольная команда Государственного университета штата Нью-Йорк (СУНИ) возвращается в Россию . State University of New York Baseball Returns to Russia . ... СУНИ гордится своим университетским партнерством, старейшим как для США, так и для России. С целью развития и распространения студенческих обменов, научных исследований и прочих инициатив в области высшего образования между СУНИ и МГУ три года тому назад в Олбани был открыт Центр по России и Соединенным Штатам. ... мгу-суни . ...

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

• Center on Russia and the United States :: Summary of SUNY/MSU Center Activities

... IPI program works with group of sounding curves (from 1 to 100) in one data file. ... If Type of Array is =+3 or +4, then: 7 line : Name of VES (from 1 to 8 symbols) 8 line : number of distances for this VES . 9 line : dV values (in mV or V) 10 line : I values (in mA or A) Examples of *.dtg file : Example 1 for stabilized current AMN array Bilibino-90, VES from 24.5 to 43.0. 1 2 lines - description of data profile 4 1 0 17 1 -3 S { VES number , KeyIP, ?ax.nAB, ...

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

• TES. Modeling example.
• TES. Field example.
• TES tecnology. MSU.

... Submit a Paper . Before submitting your paper for the ICONO/LAT 2013 please read the guidelines for preparation of the conference papers. We manage all paper submissions for the ICONO/LAT 2013 with the help of the Lomonosov Scientific Portal developed at the Lomonosov Moscow State University specifically for the conferences needs. Pushing the button below you will leave the conference site and go to the Lomonosov portal for papers submission. ... Program overview . ... Registration info . ...

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

• Invited speakers

... However, our studies show that Prosilica EC650 has very good p erformance to use as DIMM image detector. ... The sub-directories /opt/dimm/data/out for the output data file, /opt/dimm/data/log for the output log file yymmdd-dimm.log and /opt/dimm/etc for the configuration file must b e created. ... Pictures mode The Pictures mode provides grabbing of the star b ox images and storing their sequence as one output file "b oxrecord.fits" in /opt/dimm/data/images/ sub directory. ...

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

• http://curl.sai.msu.ru/mass/download/doc/infrasoft_eng.pdf
• http://curl.sai.msu.ru/mass/download/doc/new_details_v2.pdf
• http://curl.sai.msu.ru/mass/download/doc/eso_details.pdf

DESCRIPTION OF THE 3d SOLAR EVENT MAP . ... This date coincides with central day of the map marked by solid vertical line (in the present example - 13 July, 2000). ... The following phenomena are presented on the map: coronal holes, filaments, solar flares and the distribution of the solar magnetic field on the source surface (2.5 solar radii). The coronal holes are drawn by irregular solid curves with colors according to the day of observation (light blue, orange and violet). ...

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

• Catalogue of Space Storms
• 1d Map Description

... История курсов . ... close this panel . ... Выпускной класс . Старшие классы . Младшие классы . ... Прием на курсы . ... График мероприятий . ... Телефоны, адреса . График работы . ... Приветствуем вас на сайте Общеуниверситетских подготовительных курсов.  ... Обращаясь на курсы через форму "Задать вопрос", будьте внимательны при написании своего электронного адреса.  . ... Сайт общеуниверситетских . подготовительных курсов  . ...

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

... Data . ... Services . ... Solar energetic particles . ... N -d SW Conditions : Time profiles of the key geomagnetic ( Ap and Dst indices), solar wind (velocity V , density n and temperature T ) and IMF ( B , Bx , By , Bz in GSM) parameters observed in the N day vicinity of the geomagnetic disturbed day. N -d Map of Solar Events : Map of solar surface events occurred within N day vicinity of the moment when the solar wind expansion (which causes the geomagnetic event) started. ... WIND . ...

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

• Space monitoring data center

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

. Posted by Michael J. Singer 17 Sen 2003 11:19:03 . Hello All, . I just returned from the Polish soil Science meetings in Krakow where . I met with Don Sparks, Professor Blume and others about the . paleopedology issue. We agree that IUSS is an appropriate venue for . a paleopedology commission and we will push for this at the meeting . in April in Philadelphia. I see a bright future for paleopedology . within IUSS. All the best, . Mike .

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

• http://www.paleopedology.msu.ru/discussions/messages/51.html
• An International Consensus on Calcareous Paleosol Classification
• NEW FARM RESOLUTION (From RUSAG conference)