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

... Abstract A Uniform Resource Identifier (URI) is a compact string of characters for identifying an abstract or physical resource. ... This document defines a grammar that is a superset of all valid URI, such that an implementation can parse the common components of a URI reference without knowing the scheme-specific requirements of every possible identifier type. ... URI-reference = [ absoluteURI | ... Otherwise, the reference URI's scheme is inherited from the base URI's scheme component. ...

Еще в разделе: (Показать все результаты (>4) - hea-www.harvard.edu/ )

• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/rfc1945.txt
• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/rfc1808.txt

. ПО КУ . Ссылки . Статьи и тезисы . Интернет . Литература . CVS-репозитории . Утилиты . Доступ к информации . Linux SAL Parallel Computing Page . http://suparum.rz.uni-mannheim.de/docs/ind.html . Partial evaluation for MPI optimization . Berkeley Reserach Areas . IOZone filesystem benchmark . SEL-HPC Article Archive . $Date: 2000/10/12 01:09:52 $ . Home . Andrey Slepuhin .

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

• Литература

Данный сайт предназначен в первую очередь для студентов естественных факультетов ВУЗов и призван помочь в освоении материалов разделов "Электричество и магнетизм" и "Оптика" курса общей физики, а также раздела "Мессбауровская спектроскопия" специального курса "Физика твердого тела". ... Обновлены материалы к Главе IV (Часть 1) курса "Физические основы мессбауэровской спектроскопии" . ... Обновлены материалы к Главе III курса "Физические основы мессбауэровской спектроскопии" . ... Главная . ... 2012 . ...

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

• Программа МНК

... Подготовка специалистов-химиков только на основе дистанционного обучения на химическом факультете не осуществляется. ... Дистанционные курсы подготовки абитуриентов при Химическом факультете МГУ . ... Ученики 11 класса СУНЦ МГУ работают в системе дистанционного обучения Химического факультета МГУ . ... СУНЦ МГУ имени М.В. Ломоносова . ... Возможно ли дистанционное обучение в химии? ... О средствах и возможностях электронного/ дистанционного обучения на Химическом факультете МГУ им. М.В. Ломоносова" ...

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

Economic, industry and corporate trends A report from the Economist Intelligence Unit sponsored by Cisco Systems Foresight 2020 Economic, industry and corporate trends Contents Preface Executive summary Chapter 1: The world economy Chapter 2: Industries Automotive Consumer goods and retailing Energy Financial services Healthcare and pharmaceuticals Manufacturing Public sector Telecoms Chapter 3: The company Appendix I: Survey results 2 3 6 22 24 30 36 43 50 57 62 67 74 86 Appendix II: Methodology for

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

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

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

• http://depni.sinp.msu.ru/~piskarev/science/plasma.pdf

... Поход в Турцию, 29 октября - 8 ноября 2015 . Поход в Армению, 14 - 29 августа 2015 . Поход в окрестности Нижнего Новгорода, 30 апреля - 4 мая 2015 . ... Поход в Крым, 12-21 октября 2012 года . Поход на Кавказ, 18 июля - 1 августа 2012 года . Поход в Белоруссию, 27 апреля-3 мая 2012 года . Лыжный поход в Ловозерские тундры (Кольский полуостров), 7-18 марта 2012 года . Лыжный поход на Белое море, 1-9 января 2012 года . Поход в Крым, 14-23 октября 2011 года . ...

389. Higher School of Policy in Culture and Administration in Humanities (faculty

390. Успешные примеры использования

391. http://dec1.sinp.msu.ru/~panov/Lib/Papers/CR/icrc0668.pdf