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

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

ПРЕДСТАВЛЕНИЕ ЗАЙЦЕВА Михаила Владимировича, доктора физико-математических наук, профессора кафедры высшей алгебры механико-математического факультета МГУ на премию имени М.В. Ломоносова за научную деятельность На премию имени М.В. Ломоносова за научную деятельность выдвига-ется цикл работ М.В. Зайцева «Числовые инварианты полиномиальных тождеств». ... Codimensions of Algebras and Growth Functions.- ... Math. ... Codimension growth of special simple Jordan algebras.- ... J. London Math. ...

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

• http://scidep.math.msu.su/Sites/demosite1/Uploads/pred_Lom13_Sabitov.docs1.doc

... Программа курса "Атомная физика" . 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/ )

Лаборатория параллельных информационных технологий . ... РАН Воеводин Владимир Валентинович . ... Воеводин Вл.В. Теория и практика исследования параллелизма последовательных программ // Программирование. ... М.: Изд-во МГУ, 2001. ... Труды всероссийской научной конференции, 2004 г. - М: Изд-во МГУ, 2004 - С. 270. ... М.: Изд-во МГУ, 2004. - 71 с. Филамофитский М.П. Система поддержки метакомпьютерных расчетов X-Com: архитектура и технология работы // Вычислительные методы и программирование, том 5, N1. ...

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

... июль-декабрь 1998 г. ? ... Банки в очередной раз поделены на четыре группы, но по иным критериям, чем предлагалось ранее. ... Как будут эти банки спасаться, в программе не сказано. ... Одновременно руководитель ГНС подчеркнул, что речь не идет о восстановлении института уполномоченных банков. Общая сумма выданных коммерческим банкам кредитов для поддержания их ликвидности уже составила 14 млрд. руб., при том что снижение нормативов по обязательному резервированию дало банкам еще 13 млрд. руб. ...

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

Unix 2006 519.6 , . ... Unix. ... Unix, , , ; , Unix, Gnu ( gcc, gdb Gnu Make), . ... Unix' ; , , , , Windows, MacOS .. ... Ctrl-]. , , make (.§4.3), vim , gcc. make vim. , make prog, vim :make prog. , , " " . ... grep , , find (. ... name "*.c" -exec grep include {} #include <fcntl.h> #include <sys/stat.h> ./hel.c #include "stdio.h" ./kr.c .. grep ( !) -print . ... name "*.cpp" -o -name "*.c" \) -exec grep main {} \; -print int main() ./kr.c int main() ./hel.c int main() ./kr.cpp , find, , , , Unix. ...

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

• http://al.cs.msu.ru/books/avst/unix.ps

... Нормативные документы МГУ . ... Адрес: 119234, ГСП-1, Москва, Ленинские горы, МГУ, дом 1, строение 52, 2 учебный корпус, комната 146, центральная приемная комиссия. ... Адрес: 119991, ГСП-1, Москва, Ленинские горы, МГУ, Главное здание, сектор А, этаж 12, комната 1208а, приемная комиссия. ... Адрес: 119991, ГСП-1, Москва, Ленинские горы, МГУ, физический факультет, приемная комиссия. ... Адрес: 119991, ГСП-1, Москва, Ленинские горы, МГУ, дом 1, строение 12, биологический факультет, приемная комиссия. ...

431. http://www.umo.msu.ru/docs/projects/monitoring/mon_effect_fgos_8-9_12.pdf

432. New Page 1

433. Об А.Белом 1934-1999 гг.

434. 'Наследие русского философа И.А.Ильина (1883-1954)'

435. Кафедра микробиологии Биологического факультета МГУ - Конференции и семинары