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

... Department of Computational mathematics and cybernetics , Lomonosov Moscow State University . ... Thesis title "Machine learning approach for automatic performance tuning of parallel program", supervisor Dr. Nina N. Popova. ... High-performance computing, automatic performance tuning, machine learning algorithms, evolutionary and bio-inspired programming, parallel algorithms in VLSI design . ... Algorithms and framework for automatic selection and tuning parameters of parallel sparse linear solvers....

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

... Issues of the year 2010 . ... Instructions for Authors . ... The scientific English language journal ‘GEOGRAPHY, ENVIRONMENT, SUSTAINABILITY’ aims at informing and covering the results of research and global achievements in the sphere of geography, environmental conservation and sustainable development in the changing world. ... In the text the surname of the author and the year of publication of the reference should be given in square brackets, i.e. [Author1, Author2, 2008]. ...

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

• CONTENTS ?1 - 2010
• skyhf

... A.B. Sinelnikov, O.V. Dorokhina Matrimonial legislation, legitime reasons for divorce, illegitimate births, liberalization of the marriage and family legislation, crisis of family, values of family lifestyle Article is devoted to changes of the Russian family legislation in the XX century. ... The reforms which happened after October revolution of 1917 considerably changed all system of family values that led to strengthening of crisis of a family. ...

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

• English version - Социологический факультет МГУ
• Вестник МГУ

... Mathematical models and methods in VLSI design . ... General models and statements about the complexity of combinatorial tasks, methods for development of fast algorithms (method of dynamic programming, ?divide and conquer?, ?method of model extension?) are considered. ... Mathematical models of contemporary electronic circuits are considered and basic approaches to solving task of logic synthesis, as well as tasks of VLSI modules placement and interconnection routing are described. ...

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

• The core courses for the specialty "Applied Mathematics and Computer Science".
• zavuch's blog | Магистерское и послевузовское образование
• Master program "Enterprise Information Systems" | Магистерское и послевузовское

MOSCOW STATE UNIVERSITY -- Faculty of Biology -- Department of Human Physiology -- . ... Our interest is the secret springs of work of a brain. How can a new idea be born in the brain if the physical environment remains constant? ... What mechanisms of the brain are broken in schizophrenia? ... For this purpose we create brain-computer interfaces (BCI) based on modern methods of computational electroencephalography. ... Department of Human Physiology . ... Former Visitors . ... Former students . ...

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

• Other prospects of the change-point based analysis
• Sergei Shishkin * Сергей Шишкин
• Sergei Shishkin

Formatrpsdb: Build databases for RPS Blast Introduction ------------ Formatrpsdb is a utility that converts a collection of input sequences into a database suitable for use with Reverse Position Specific (RPS) Blast. Each input sequence, together with its position-specific scoring matrix (PSSM), is ASN.1 encoded into a PssmWithParameters (or 'scoremat') object and resides in a separate file. ... An RPS Blast database consists of two groups of files. ...

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

• TracWorkflow тАУ Tanchiki
• Функции
• Help: multirevs

... http://geo.tv-sign.ru/personal/krylov/index.html . ... http://pangea.stanford.edu/GES/GES.html . ... Программа заседания Теоретического семинара ОГГГГН РАН, 25 апреля . Приглашаю Вас принять участие в очередном заседании Теоретического семинара ОГГГГН РАН, которое состоится 25 апреля (среда) 2001 года в 15.00 в Государственном геологическом музее РАН им В.И. Вернадского. ... Сорос сокращает финансирование своего фонда в России. ... 26.11.2002 | ... Пилотный номер увидит свет в октябре 2002 года . ...

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

Клуб выпускников МГУ (Московский Государственный Университет) . ... Senior IFP Fall 2005 . The Center on Philanthropy and Civil Society's Senior International Fellows Program provides an opportunity for the professional development of Third-Sector practitioners from outside the United States who are decision makers in their professions. The program is designed to help build Third-Sector capacity in the Fellows' home countries. ... The topic for the year 2005 will be community foundations . ...

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

• Клуб выпускников МГУ: Список востребованных профессий Австралии
• Клуб выпускников МГУ: Конференция "Бизнес-инкубатор"
• Клуб выпускников МГУ: КАК ОБОСНОВАТЬСЯ В КАНАДЕ: ПЕРВЫЕ ШАГИ (часть 15,

... Publications . ... Borisov A. V. , Kilin A. A. , Mamaev I. S. , Tenenev V. A. The dynamics of vortex rings: leapfrogging in an ideal and viscous fluid . ... Vetchanin E. V. , Mamaev I. S. , Tenenev V. A. The Self-propulsion of a Body with Moving Internal Masses in a Viscous Fluid . ... Vetchanin E. V., Tenenev V. A., Shaura A. S., Motion control of a rigid body in viscous fluid, Computer Research and Modeling, 2013, vol. 5, no. 4, pp. ... Institute of Computer Science Izhevsk, 2005 - 2016 . ...

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

• Institute of Computer Sciences - Conferences - International Conference "Metric
• Institute of Computer Sciences - Contacts
• Institute of Computer Sciences - Journals

.

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

... Conference Venue . ... Conference programme (PDF) . ... Stephan Kremb, HIV Full-Replication Technology for Identification of novel HIV Inhibitors from Multiple Sources . ... Irina Perminova, On the path forward to biomedical applications of natural polyfunctional compounds - humic substances . ...

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

• Humates NATO ARW Home Page
• MGUMUS -- Second International Conference of CIS IHSS on Humic Innovative
• MGUMUS -- Third Conference of CIS IHSS on Humic Innovative Technologies Humic

... hall in front of room 01, MSU, Main Building . ... room 01, MSU, Main Building . ... Silvia Chelala (Empire State College, State University of New York, Old Westbury, New York, USA) Designing and Teaching Introductory Spanish as a Foreign Language at a Distance . ... FFL, recreation hall, 3rd floor . ... FFL, room 519 . ... FFL, room 501 . ... FFL, . room 107-108 . ... Internet-Supported Teaching . ... FFL, room 106 . ... FFL, room 416 . ... FFL, room 420 . ... FFL, room 210 . ...

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

• English preparatory course.

О кафедре . Сотрудники . ... Публикуем материалы сотрудников кафедры . ... Кафедра математических и компьютерных методов анализа создана приказом ректора МГУ в 2008 году. ... Сотрудники кафедры проводят научные исследования в следующих областях: аналитическая теория чисел, математический анализ, теоретико-числовые методы в криптографии, сложность вычислений, компьютерная криптография, компьютерная геофизика. ... 2016, Кафедра математических и компьютерных методов анализа. ...

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

LUT Summer School: www.lut.fi/summerschool summerschool@lut.fi Guide for Student Advisers Greetings from your colleagues at Lappeenranta University of Technology! ... With the wide-ranging selection of courses on-offer during the LUT Summer School we aim to both challenge and inspire students. ... Lappeenranta and LUT Lappeenranta is located some 220 km northeast of Finland's capital, and about 230 km northwest of St. Petersburg, Russia. ... The fee will be given on the LUT Summer School web pages. ...

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

pic] European Commission - Press release E7 billion boost for research and innovation will create jobs and growth Brussels, 19 July 2011 - Today Commissioner MАire Geoghegan-Quinn announced nearly E7 billion to kick-start innovation through research. ... Today, Europe is again showing its commitment to putting research and innovation at the top of the political agenda for growth and jobs. ... Research and innovation for cleaner, safer and more efficient transport and mobility will get E313 million. ...

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

• http://www.msu.ru/int/newpr/7ram/7ram_napr.pdf

... Russian Pages . CDFE: Home Page . ... Numerical data, graphics, and bibliography . ... description] . Last updated: May 6th, 2014 . ... Last updated: June 15th, 2011 . ... Last updated: . ... Last updated: April 4th, 2015 . ... Last updated: February 25th, 2016 . ... Last updated: September 27th, 2011 . ... Photonuclear Data Index since 1955 . ... Last updated: September 15th, 2015 . ... Last updated: March 22th, 2010 . ... Last updated: March 19th, 2015 . ... Last updated: May 15th, 2002 . ...

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

• CDFE provides the major photonuclear databases. Online Services.
• About CDFE

... about ERC . education . research . ... contact ERC . ... address . ... MSU Nanotechnology Education and Research Center . ... Приглашение на осеннюю школу-конференцию по Органической электронике 21?26 сентября 2014 года . Заканчивается прием тезисов на XII Международную конференцию по наноструктурированным материалам NANO 2014 (Москва, 13?18 июля 2014 года) . XIII конференция студентов и аспирантов Научно-образовательного Центра по физике и химии полимеров 29 ноября 2013 года . ...

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

• International School ?Computer simulation of advanced materials?, 16?21 July
• Seminar Information. Prospective Nanomaterials | MSU Nanotechnology Education
• Fundamentals of Nanotechnology | Научно-образовательный центр по

... Home News Program Committee Organizing Committee Program Plenaries Special Sessions Registration Abstracts Accommodation Important dates Contacts Poster Links Conference Venue Video . Conference Venue . Conference Opening ceremony will take place on Tuesday, June 17 at 13:00 in the MSU Library Building . ... On other conference days registration will be possible in the room 706 of the 2-nd Educational Building. ...

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

• Timetable of plenary lectures Международная конференция Дифференциальные
• Contacts International Conference Differential Equations and Topology dedicated

... О факультете . ... Master In Ecology . ... Master (MSc) . ... A Master will be able to successfully deal with conceptual issues and practical problems related to various subflields of ecology and environmental science. ... Enables the students to develop biopolicies to deal with ecological problems caused by environmental pollution, the disruption of the ecological matrix of an area, and biodiversity-endangering factors. ... Lectures . ... Д 501.001.20 - все защиты . ... Биологический факультет МГУ ...

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

• Master In Nanobiotechnology ? Биологический факультет МГУ