... 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/lect04.pdf

... Программа курса "Атомная физика" . Atomic Physics course syllabus . ... Atomic Physics illustrations . ... Введение в физику сверхпроводимости и одноэлектронные эффекты Introduction to superconductivity physics and single electron effects ( проф. В. К. Корнев prof. V. K. Kornev ) . ... Физика низкотемпературной плазмы Low-temperature plasma physics ( проф. А. М. Попов prof. A. M. Popov ) . ... Физика атомов и молекул Atomic and molecular physics ( проф. О. В. Тихонова prof. O. V. Tikhonova ) . ...

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

. | home | research | publication | persons | referencesdb | contacts | . Bolkova Anna Nailevna . E-mail: . bolkova@org.chem.msu.ru . | home | research | publication | persons | referencesdb | contacts | .

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

• MGUMUS -- Katya -- Photos
• MGUMUS -- Matthew V. Youdov -- Links
• MGUMUS -- Matvey V. Youdov -- More photos

... Геология >> Геоэкология >> Экология атмосферы | ... И.С. Фомин / Геологический факультет МГУ . 34-ый Международный Геологический Конгресс будет проходить с 5 по 10 августа 2012 года в городе Брисбан (Brisbane) в Австралии. К участию в конгрессе приглашаются все ученые в области геологических наук. ... 32й международный геологический конгресс Возрождение геологии. Международная конференция по проблемам Арктических окраин (International Conference on Arctic Margins, ICAM IV) . ...

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

• Возраст северной части Охотско-Чукотского вулканогенного пояса: новые данные
• Все о геологии :: Анонсы конференций - Минералогия ()
• Все о геологии :: Анонсы конференций - Геофизика ()

... О КАФЕДРЕ ? ... GENERAL INFORMATION ABOUT THE CHAIR . ... Кафедра ЮНЕСКО по изучению глобальных проблем и возникающих социальных и этических вызовов для больших городов и их населения на факультете глобальных процессов Московского государственного университета имени М.В. Ломоносова . ... Cоздание кафедры ЮНЕСКО на факультете глобальных процессов МГУ открыло новые возможности для научных исследований в области возникающих глобальных социальных и этических проблемљ и для их преподавания. ...

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

• Заведующий кафедрой Кафедра ЮНЕСКО по изучению глобальных проблем на факультете

Data are provided with the intent that they are readily available for personal and public non-commercial use and may be reproduced, in part or in whole and by any means, without charge or further permission from IWSG. However, proper reference to contributors of original data to the database must be provided in all cases, and due diligence should be exercised in ensuring the accuracy of the materials reproduced . ... Bird species report. In : ARCTIC BIRDS breeding conditions survey . ...

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

Эксперимент СФЕРА SPHERE еxperiment . Официальный сайт эксперимента . ... English . Эксперимент СФЕРА . ... Физика . ... 2011 год . 2012 год . ... Институт ядерных исследований РАН . ... Научно-исследовательский институт прикладной физики ИГУ . Научно-исследовательский институт ядерной физики имени Д.В. Скобельцына . Физический институт имени П.Н.Лебедева Российской академии наук (ФИАН) . ... RSS Записей . RSS Комментариев . ...

348. MSU Tower Webcam