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

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

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

... Полная версия: Технические работы на сервере . Грация-МГУ::Форум > Общение > Другая жизнь . ... 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. вопщем, очистка интырнетов это прекрастно во всех отношениях, ящитаю . ...

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

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

... Sun , 19 Dec 2010 19:49:53 GMT Daniil Alexeyevsky me.dendik@тАж [41:bcad0f5464bf] * snake.py ( modified ) snake.Rule.load: give reasonable error rather than crash on empty lines Sun , 19 Dec 2010 19:46:39 GMT Daniil Alexeyevsky me.dendik@тАж [40:94945f11c78d] * snake.py ( modified ) snake.Snake.fill: tail takes precedence over body head Sun , 19 Dec 2010 19:45:31 ...

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

• http://kodomo.cmm.msu.su/trac/snake/log/?format=changelog&rev=2a7b76d66e784e2c78486119e505da3fc2659494&limit=100&mode=stop_on_copy
• http://kodomo.cmm.msu.su/trac/snake/log/?format=changelog&rev=42%3A21a5779088e6&limit=100&mode=stop_on_copy
• http://kodomo.cmm.msu.su/trac/snake/log/?format=changelog&rev=21a5779088e62907f4744e16f4b1ea366ef8fa8f&limit=100&mode=stop_on_copy

... 7.1] Lectures of prof. Scrucca in Advanced quantum field theory (e.g., for the first study of the worldline formalism): http://itp.epfl.ch/webdav/site/itp/users/181759/public/aqft.pdf . ... I. Topological quantum effects Lecture 1 (Spring 2015) , The Outline Before Casimir: the van der Waals forces (presentation, pdf) . ... Lecture 5 (Fall 2015) , Lattice field theory: 'free fields' (presentation, pdf) . Lectures 6-7 (Fall 2015) , Lattice field theory: 'interacting fields'. ...

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

... There are corresponding results showing that the Poincare duals of certain totally ge odesic cycles, which we will call "special cycles", span a definite part (a refined Hodge component) of the cohomology of the locally symmetric spaces of standard arithmetic type associated to the orthogonal groups O(p, q). ... Math. ... KLM3] (with B. Leeb and M. Kapovich) The generalized triangle inequalities in symmetric spaces and buildings with applications to algebra, Memoirs of the AMS, Vol. ...

212. Факультет фундаментальной медицины МГУ

213. Кафедра математики Физического Факультета МГУ им. М.В. Ломоносова | Наши

214. Special courses for the students of Physics Faculty, specialized at the...

215. http://ocl.sai.msu.ru/catalog/dat/readme/

---

Астронет | Научная сеть | ГАИШ МГУ | Поиск по МГУ | О проекте | Авторам

Комментарии, вопросы? Пишите: info@astronet.ru или сюда