4 SPIN. ... 0 1 Hello, world! ( ) ";" , active proctype main() { printf("Hello, world!\n") } ­ , >spin hello.pml Hello, world! 1 process created Hello, world! ... mtype = { P, C }; mtype turn = P; active proctype producer() { do :: ( turn == P) - printf( Produce\n ); turn = C od } active proctype consumer() { do :: ( turn == C) - printf( Consume\n ); turn = P od } ( 1) ­ 0, (op on sequence) (guard) ­ mtype = { P, C }; mtype turn = P; active proctype producer() { do :: ( ...

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

... Cultural Mediation of National History and Identity . ... Second International Conference in Tampere , Finland . ... This sense of national identity, of history and possible futures, is communicated by cultural and institutional forces and integrated, individually and collectively, into our sense of a common shared nationhood. ... Through a semiological analysis of television texts, it is demonstrated how, by a re-interpretation of Russian history, new cultural and national identities are...

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

• Я-концепция и теория когнитивного диссонанса: обзор зарубежной литературы

Contents Curricula, and Programs. Mathematical Analysis. (The Program of Mathematical Physics Department).............................................. Algebra and Analytical Geometry.(The program of (General "Mathematics" Department)................................ Computer and Programming. (The program of Algorithmic Languages Department).................................... The practical work on Computers.( Department of Algorithmic. Languages)............................................... Discrete

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

The History Faculty at Moscow State University is pleased to invite students from all nations and peoples to consider studying history with us here in Moscow. Moscow State University strives to offer its students as many opportunities as possible for learning more about the world ? ... The History Faculty at Moscow State University is ready to welcome all interested students to make Moscow their home for a period, to study with us, and to reap the benefits of an international education. ...

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

• Moscow State University. Faculty of History. Visiting Scholar's Program
• The Laboratory of Historical Information Sciences

... По рекомендации специалистов НИЦЭВТ на кластере предполагается использовать ядро, адаптированное для работы с аппаратурой SCI scali. ... Установка ядра на кластере МГУ и опробирование на нем базового программного обеспечения кластера и Т-системы. Внесение в ядро (версии 2.2) необходимых изменений в функцию mremap для обеспечения расширенной функциональности, которая требуется для новой версии Т-системы . ... НИЦЭВТ . ... Date: 2000/10/12 01:09:52 $ . ... Andrey Slepuhin . ...

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

• Список ссылок на работы по кластерной тематике в ЦТиТИ МГУ
• Работы по кластерной тематике в ЦТиТИ МГУ
• Организация безопасного доступа к информационно-вычислительным ресурсам через

. Показ слайдов для альбома :: Защита дипломных работ 22.12.2008 . Показ слайдов . Fullscreen applet [Современные браузеры] [Совместимые, но с ограничениями] . Галерея: Список альбомов Альбом: Защита дипломных работ 22.12.2008 . If you don't have the Java Plugin 1.4 or later, or you don't want to wait for the applet to download, you can use one of the non-fullscreen versions. Your browser doesn't support applets; you should use one of the other slideshow methods. Powered by Gallery v1.4.3-RC3 .

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

• Показ слайдов для альбома :: Cеминар Нобелевского лауреата по физике Дэвида
• Показ слайдов для альбома :: Экскурсия студентов третьего курса в Дубну. Осень
• Показ слайдов для альбома :: Картинки

. Показ слайдов для альбома :: 40-летие Филиала МГУ . Показ слайдов . Fullscreen applet [Современные браузеры] [Совместимые, но с ограничениями] . Галерея: Филиал МГУ в Дубне Альбом: 40-летие Филиала МГУ . If you don't have the Java Plugin 1.4 or later, or you don't want to wait for the applet to download, you can use one of the non-fullscreen versions. Your browser doesn't support applets; you should use one of the other slideshow methods. Powered by Gallery v1.4.3-RC3 .

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

• Показ слайдов для альбома :: Школы
• Показ слайдов для альбома :: ОИЯИ
• Показ слайдов для альбома :: В аудиториях филиала

... Bashindzhagyan G . ... Panasyuk M . ... Proc.26th ICRC, Salt Lake City , 1999, v.5, p.132-135. Bashindzhagyan G.L., Samsonov G.A., Khein L.A., Panasyuk M.I., . Voronin A.G., Zatsepin V.I., ATIC Collab .. The Advanced Thin Ionization Calorimeter (ATIC) for Studies of High . ... Proc. 26th ICRC, Salt Lake City , 1999, v.5, p.9-12. ... Silicon Matrix Detector for ATIC . ... Proc. 26th ICRC, Salt Lake City , 1999, v.5, p.453-456. ... Advanced Thin Ionization Calorimeter (ATIC) .- ...

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

... Полная версия: Технические работы на сервере . Грация-МГУ::Форум > Общение > Другая жизнь . ... Apr 14 2011, 00:01 . ... сегодня весь день на сервере будут проводиться технические работы. ... Subject: Internet cleaning.....very important.. ... hours in order to allow us to clean it. ... Internet. ... Internet users has grown dramatically. ... to other sysops and Internet users as well. ... Internet users has grown dramatically. вопщем, очистка интырнетов это прекрастно во всех отношениях, ящитаю . ...

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

• Технические работы на сервере - Грация-МГУ::Форум
• Грация-МГУ::Форум > Фигасе oO

... Начало www.99ru.ru Религия и эзотерика Христианство 3889 . ... Введите код товара из каталога. автор Winifred Gallagher . Working on God (Modern Library Paperbacks) . ... 3889 . Winifred Gallagher . ... Speaking to Americans who are skeptical about religion, but nonetheless feel a spiritual hunger, Winifred Gallagher offers a humorous and profound discussion about the state of national spirituality. ... Most important, I'm already thinking of religion as a process of working on God. ...

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

• www.99ru.ru - Елена Трегубова 1921

. Search: . Login . Preferences . About Trac . Timeline . Roadmap . Browse Source . View Tickets . Search . Reverse Diff . (No files) . Note: See TracChangeset for help on using the changeset viewer. Unified Diff . Zip Archive . Powered by Trac 0.12.5 . By Edgewall Software . Visit the Trac open source project at . http://trac.edgewall.org/

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

• screens (log) тАУ Python Battle
• snakes (log) тАУ Python Battle
• Custom Query в?' Cyclyc Cell Automata

фон--сложное комплексное поле . Download ZIP archive: viewer.ZIP (167 kB) . Download ZIP archive: generat.ZIP (204 kB) . Download ZIP archive: linza.ZIP (175 kB) . Download ZIP archive: fsincos.ZIP (kB) .

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

• ABOUT PARTICULARITIES OF INTENSITIES DISTRIBUTION IN CROSS-SECTION OF POWERFUL
• НЕСТАЦИОНАРНЫЕ РЕЖИМЫ ГЕНЕРАЦИИ В ПРОТОЧНЫХ ЛАЗЕРНЫХ СИСТЕМАХ И НОВЫЕ

... Липунов Владимир Михайлович Сайты, отмеченные наградами AstroTop of Russia: . ... На данный момент (май 2002) право на эти награды имеют те страницам, которые три и более раз вошли в первую девятку лучших сайтов в одном из архивных выпусков . ... В начале мая 2002 г. Координатор команды проекта Сергей Андреев принял решение (Указ N 1) наградить по совокупности заслуг следующие страницы из рейтингового каталога AstroTop of Russia : . ... 22) Звездный Лис - ПОСМЕРТНО, САЙТ СКОНЧАЛСЯ . ...

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

• AstroTop-100 - НАРОДНЫЙ РЕЙТИНГ

... x25BA; Courses . x25BA; Integrated course . Search courses: . Course categories: Integrated course Integrated course / Teaching with Technology Integrated course / Teaching with Technology / Курсы повышения квалификации Integrated course / Teaching with Technology / Курсы повышения квалификации / English Language Courses Разное . ... Управляющий: Алла Леонидовна Назаренко . ... Students will utilize Moodle, an online course management system, as they work to complete the project.љ ...

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

• Moodle ФИЯР МГУ

... Unit I. Geologic Hazards and Man Unit II. ... Amazing Earth. ... Трансформируйте словосочетания в предложения. 1. geologic processes going on for millions of years 2. any geologic process can become a geologic hazard 3. some geologic hazards having resulted in disaster 4. many geologic hazards have affected the activity of man 5. a lot of earthquakes resulting in landslides 6. some naturally occurring hazards 7. many disasters are caused by geologic hazards 8. some ...

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

• http://www.geol.msu.ru/vestnik/spisok_vak.pdf

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

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

• Department of the Composites Mechanics
• Pobedria Boris Efimovich

THE ROLE OF DEVELOPING NATION TOWARDS COMBATING THE CYBER CRIME Abhishek Vaish and Satya Prakash, Indian Institute of Information Technology, Allahabad. ... Highlights on the recent trends: A report of Indian computer Emergency Response Team (CERTIN) shows that more than 2500 incidents were registered and handled in the year 2008. ... Others security incidents reported in the year 2004 was 4, in the year 2005 was 18, in the year 2006 was 17, in the year 2007 was 264 and in the year 2008 was 94. ...

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

• Институт Проблем Информационной Безопасности

... Sov.Phys.-Plasma Phys.) 1978.V.4. ... Timofeev I.B., Bychkov V.L. Influence of ionizing processes on the lifetime of plasma ball in air. ... Bychkov V.L. Database on ball Lightning for PC. ... Bychkov V.L., Bychkov A.V., Stadnik S.A. Polymer Fire Balls in Discharge Plasma. ... Emelin S.E., Bychkov V.L., Astafiev A.M., Kovshik A.P., Pirozerski A.L. Role of discharge products throttling for generation of ball lightning with a condensed core from a high pressure vapor - gas phase Proc. 11-th Intern. ...

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

On the problem of the spontaneous exchange­driven electron interwell re­population in semiconductor quantum wells This article has been downloaded from IOPscience. ... It is easy to show why any N ­electron single­well state wave function in our system has this form. ... Discussion The results of the preceding section show that for any given state of our system with all electrons in one well there is another state with the symmetrical electron distribution over wells and a lower energy. ...

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

• http://lizard.phys.msu.su/home/science/redistr-sst99.pdf
• http://lizard.phys.msu.su/home/science/rec-GaN.pdf
• http://lizard.phys.msu.su/home/science/rec-GaN.ps.gz

... Python IDL download calc_kcor.pro . ... At present, SDSS (ugriz), UKIRT WFCAM (YJHK), ; Johnson-Cousins (UBVRcIc), and 2MASS (J2H2Ks2) ; are supported ; redshift - redfshift of a galaxy (floating point) ; colour_name - colour identification (string) ; colour _value - value of colour in magnitudes (floating point) ; should be in the AB mags for ugrizYJHK ; and in Vega mags for Johnson-Cousins/2MASS colours ; ; RETURN VALUE: K-correction in the specified filter for given redshift ; and ...

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

• K-corrections calculator (version 2010): download IDL, Python and C code