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

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

... Moscow State University Belozersky Institute of Physico-Chemical Biology . The Department of Electron Microscopy offers positions in the area of molecular biology of the cell for excellent and highly motivated biologists at under-graduate or post-graduate level. Students : We are constantly offering diploma thesis and PhD thesis projects for students in cell biology and biophysics. The applicant is expected to have a strong interest in either experimental activity or computer modeling. ...

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

... Download NPG-explorer . ... Build nucleotide pangenome . ... Here we provide a table for 3 Brucella genomes: all: embl :CP002459 BRUMM chr1 c Brucella melitensis M28 chromosome 1 all: embl :CP002460 BRUMM chr2 c Brucella melitensis M28 chromosome 2 all: embl :CP003176 BRUAO chr1 c Brucella abortus A13334 chromosome 1 all: embl :CP003177 BRUAO chr2 c Brucella abortus A13334 chromosome 2 all: embl :CP002078 BRUPB chr1 c Brucella pinnipedialis B2/94 chromosome 1 all: ... Fix bugs....

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

• Geometrical core

... Miklukho-Maklaya 16/10, Moscow, 117997, Russia, +7(495)3366455, alexei@nmr.ru . ... Analysis of PS microdistribution in tissues as a function of time after PS injection (topical or oral application) helps to characterize a selectivity of PS accumulation in tumor cells and other tissue structures; to reveal correctly a maximum of time profile of its tumor accumulation and to recognize the features of PS tissue distribution (spatial and temporal) at different ways of PS application. ...

Еще в разделе: (Показать все результаты (>40) - www.msm.biophys.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. ...

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

... 000, 1­13 (2010) Printed 21 September 2011 A (MN L TEX style file v2.2) A universal ultraviolet-optical colour­colour­magnitude relation of galaxies I1gor V. Chilingarian1,2, and Ivan Yu. ... Received 2011 Sep 15; in original form 2011 Feb 6 ABSTRACT The bimodal galaxy distribution in the optical colour­magnitude diagram (CMD) comprises a narrow "red sequence" populated mostly by early-type galaxies and a broad "blue cloud" dominated by star-forming systems. ...

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

• http://kcor.sai.msu.ru/arXiv1002.2360.pdf

Buffer phenomenon in mathematical mo dels of natural sciences Mishchenko E. F. Steklov Institute of Mathematics, Russian Academy of Science e-mail: mishch@mi.ras.ru Kolesov A. Yu. Demidov Yaroslavl State University e-mail: kolesov@uniyar.ac.ru Rozov N. Kh. ... 3] Kolesov A.Yu., Mishchenko E.F., and Rozov N.Kh., ... Math., ... 6] Kolesov A.Yu., and Rozov N.Kh., ... The Buffer Phenomenon in Combustion Theory", Dokl. ... 13] Mishchenko E.F., Sadovnichii V.A., Kolesov A.Yu., and Rozov N.Kh., ...

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

• http://pont2008.cs.msu.ru/files/en/abstracts/Ray.pdf
• Optimal Control and Differential Games. Poster session Международная

MGU Botanic Garden . ... Schedule of excursions for the first half April is published. ... New season of botanical excursions will start on April, 19. Schedule of excursions for the middle of April is published. 06 November 2014 . ... The main excursion season of 2014 for individual visitors on the territory of the Garden on Vorobievi Gori is finished. ... Schedule of excursions for 14-19 of May is published. 30 April 2014 . ... Schedule of excursions for the end of April is published. ...

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

... SPAND- `TO LIBATE': ONE MORE CASE OF LUVIAN INFLUENCE ON NEW HITTITE It is well-known that the syllabic cuneiform writing is not fit for the unambiguous representation of word-initial consonant clusters.1 The phonological sequence /C1C2-/ can only be represented as either C1V-C2V- or VC1-C2V- in syllabic orthography, and in neither of the two cases can one be a priori sure whether the vocalic component of the first syllabic sign is phonetically real. ... On initial *sm- in Hittite, cf. ...

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

• http://www.imk.msu.ru/Structure/Linguistics/yakubovich/download/refl-ucla.pdf
• http://www.imk.msu.ru/Structure/Linguistics/yakubovich/download/Hieroglyphs.pdf
• http://www.imk.msu.ru/Structure/Linguistics/yakubovich/download/luwian.pdf

... В.Е.Юрасова, Современные теории катодного распыления и микрорельеф распыляемой поверхности металла, ЖТФ, 1958, 28, ?9, 1966-1970. ... V.I.Shulga, I.G.Bunin, V.E.Yurasova, V.V.Andreev, B.M.Mamaev, Influence of surface semichannels on ion scattering by crystals, Phys. Lett., ... Рентгеновские, синхротронные и нейтронные исследования, 2000, ? ... Особенности распыления сплавов Ni-Pd с разным содержанием компонент, Поверхность - рентгеновские, синхротронные и нейтронные исследования, 2006, ?7, 13- 17. ...

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

... Dr. G. Koptsik . ... Aim of this project is to develop a tool to quantify the risks of excess inputs of heavy metals to agricultural and forest ecosystems. ... Geographically the accent will be put on agricultural and forest ecosystems of the Northern (Kola Peninsula) and Central (Upper Oka-river basin) parts of Russia. ... Koptsik G.N., Nalbandyan K.F. 2002. ... Koptsik, S., Koptsik, G., and Eruslankina, L. Heavy metals in subarctic forest ecosystems: soil pollution and impacts on plant diversity. ...

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

• Forest ecosystem data in Norwegian-Russian border area
• Norwegian-Russian cooperation in the border area

... PHYSICAL INSTRUMENTS FOR ECOLOGY, MEDICINE, AND BIOLOGY Laser­Electron X-Ray Source for Medical Applications E. G. Bessonov, A. V. Vinogradov, and A. G. Tourianskii Lebedev Physical Institute, Russian Academy of Sciences, Leninskii pr. ... It includes two electron storage rings (E 50 MeV) placed in the vertical plane and two laser resonators located in the horizontal and vertical planes. ... Electrons can be injected into the storage rings singly or during several cycles through the injectors. ...

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

• http://miles.sinp.msu.ru/files/Berlin06_Source.pdf

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

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

Координатор семинара : академик РАН и Academia Europaea Алексей Ремович Хохлов . ... Заседания семинара проводятся в Конференц-зале Института элементоорганических соединений им. А.Н. Несмеянова РАН ( ИНЭОС РАН , г. Москва, ул. Вавилова, 28). ... Скачать объявление о семинаре . ... Б.М. Графов (Интститут физической химии и электрохимии имени А.Н. Фрумкина РАН, Москва) . ... После доклада предполагается обсуждение целесообразности организации Общемосковского семинара по электрохимии. ...

255. CURRICULUM VITAE

256. MSU Chamber Orchestra. Hystory.

257. The Second White Sea Molecular Zoology Summer School ? Биологический факультет

258. online journals

259. http://genhis.philol.msu.ru/uploads/america_s_story.pdf

260. http://hit-conf.imec.msu.ru/2012/lectures/Yakhot-abstract.doc