441. http://savenkov.lvk.cs.msu.su/mc/lect04.pdf
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 :: ( ...
[
]
http://savenkov.lvk.cs.msu.su/mc/lect04.pdf -- 977.5 -- 19.03.2012
:
(
(>2) - savenkov.lvk.cs.msu.su/ )
442. Previous
... .. - . -, 1969, .131 . ... - '-', 1997,.168. ... ', - '-', 1999,. 68-77. ... ', - ' ', , 2001.,?7, .5-18. ... ' ', ?2, - '-', 1999,. 5-17 . ... ' ', - ' ', , 2001., ?9, . 46. ...
[
]
http://lmph.cs.msu.su/Arxiv.htm -- 67.1 -- 20.01.2003
[
]
http://lmph.cmc.msu.ru/Arxiv.htm -- 67.1 -- 20.01.2003
443. Cleo - cluster batch system
... Cleo batch system is purposed to control parallel tasks on computer clusters. It controls one or more task queues. tasks sceduling (all MPI implemetations are supported, most other parallel environments are supported too) . ... controllable user limits (max used cpus, task work time, etc.) . ... Any task in main will be queued to daughter queues if there aren't enough free own cpus (not shared with daughters). When daughter queues will get enough cpus for this task, it will be runned in main . ...
[
]
http://parcon.parallel.ru/cleo-eng.html -- 10.5 -- 12.11.2009
444.
... "" "". ... , . , . ( ) , . , "delete" "backspace". ...
[
]
http://vedi.aesc.msu.ru/russian/help.php?auth= -- 4.7 -- 09.04.2016
445. http://mailybaev.imec.msu.ru/papers/MarchesinMailybaev2005.pdf
Dual-family viscous shock waves in n conservation laws with application to multi-phase flow in porous media Dan Marchesin and Alexei A. Mailybaev August 22, 2005 Abstract We consider shock waves satisfying the viscous profile criterion in general systems of n conservation laws. ... We explicitly introduce defining equations relating states and speeds of Si,j shocks, which include the RankineHugoniot conditions and additional equations resulting from the viscous profile requirement. ...
[
]
http://mailybaev.imec.msu.ru/papers/MarchesinMailybaev2005.pdf -- 267.1 -- 22.08.2005
:
(
(>12) - mailybaev.imec.msu.ru/ )
446. () ..
... | ... . ... 30.11.2015 89- , , , , " , ", " ", "", ", . ... , ' ', .. ... 2009-2014 . .. ...
[
]
http://www.ftv.msu.ru/content/news/detail.php?ID=22919 -- 25.4 -- 11.04.2016
:
(
(>19) - www.ftv.msu.ru/ )
447. XIX-XX .
.. : . .. Die Feldgemeinschaft, eine morphologische Studie. ... .. . ., ... .. . ... 1909. ... , XII 6 . 1910 . ., 1910. ... .. . ... .., .. . ... .. . ...
[
]
http://newserv.srcc.msu.ru/MIU_XIX/achuprov06.html -- 12.8 -- 24.11.2009
:
(
(>4) - newserv.srcc.msu.ru/ )
448.
... . . . 1940- . . ... . ... 1959 . ...
[
]
http://lab103.imec.msu.ru/history.html -- 16.0 -- 27.03.2016
449. http://sun.sai.msu.ru/texts/somov-1-10Lect.pdf
Introduction to PLASMA ASTROPHYSICS (Selected 10 lectures) Boris V. Somov Astronomical Institute and Faculty of Physics Moscow State University Pushino-na-Oke, 2008 Contents Ab out These Lectures 1 Particles and Fields: Exact Self-Consistent Description 1.1 Liouville's theorem . . . . . . . . . . . . . . . . . . . 1.1.1 Continuity in phase space . . . . . . . . . 1.1.2 The character of particle interactions 1.1.3 The Lorentz force, gravity . . . . . . . . . 1.1.4 Collisional friction . . . . . . . . . . . .
[
]
http://sun.sai.msu.ru/texts/somov-1-10Lect.pdf -- 1179.0 -- 18.03.2014
450. http://www.imk.msu.ru/Publications/Articles/Smyshlyaev_nyanya.doc
. . - ( , . - . (conventus) , , [1]. ,
[
]
http://www.imk.msu.ru/Publications/Articles/Smyshlyaev_nyanya.doc -- 374.0 -- 18.12.2006
451. CTF- | -
... . ... 2016 - . ... 2015 . 2015 . ... .. CTF- .pdf . ... 2016 . .. 2016 . ... - ? ... 28 03 2016 . ...
[
]
http://teacher.msu.ru/node/13171 -- 76.2 -- 09.04.2016
:
(
(>3) - teacher.msu.ru/ )
452. http://oc.cs.msu.su/smirnov/PPP/beameruserguide.pdf
The beamer class Manual for version 3.06. \begin{frame} \frametitle{There Is No Largest Prime Number} \framesubtitle{The proof uses \textit{reductio ad absurdum}.} \begin{theorem} There is no largest prime number. \end{theorem} \begin{proof} \begin{enumerate} \item<1-| alert@1> Suppose $p$ were the largest prime number. \item<2-> Let $q$ be the product of the first $p$ numbers. \item<3-> Then $q+1$ is not divisible by any of them. \item<1-> Thus $q+1$ is also prime and greater than $p$.\qedhere
[
]
http://oc.cs.msu.su/smirnov/PPP/beameruserguide.pdf -- 1742.7 -- 23.10.2005
453. - NUCLEON
... . ... .. . ... . : (495)939-18-18 . ... E-mail: : info@sinp.msu.ru . Web: http://sinp.msu.ru . ... . , JavaScript ...
[
]
http://nucleon.sinp.msu.ru/sinp.msu.html -- 26.6 -- 24.12.2015
454.
. Strict Standards : Non-static method JLoader::import() should not be called statically in /wcmc/ms/ms/libraries/joomla/import.php on line 29 . Strict Standards : Non-static method JLoader::register() should not be called statically in /wcmc/ms/ms/libraries/loader.php on line 71 . Strict Standards : Non-static method JLoader::import() should not be called statically in /wcmc/ms/ms/libraries/joomla/import.php on line 32 . Strict Standards : Non-static method JLoader::register() should not be called
[
]
http://ms.cs.msu.ru/index.php?option=com_content&view=article&id=36:2010-07-25-12-30-17&catid=6:concepts&Itemid=13 -- 215.4 -- 10.04.2016
[
]
http://ms.cmc.msu.ru/index.php?option=com_content&view=article&id=36:2010-07-25-12-30-17&catid=6:concepts&Itemid=13 -- 215.4 -- 10.04.2016
:
(
(>233) - ms.cmc.msu.ru/ )
455. http://2012.cs.msu.ru/printpdf/1
Published on -- 2012 (http://2012.cs.msu.ru) > . ... 2012 ) [6] 8 : 1. ... [7 : ] [8 : ] : [7 : 36 ] [8 : 36 ] : [7 : 36 ] [8 : 36 ] : [7 : 36 ] [8 : 36 ] : [7 : 36 ] [8 : 36 ] : [7 : ] [8 : ] Links [1] http :// 2012.cs.msu.ru / node /490 [2] http :// 2012.cs.msu.ru / sites / default / files /en_name.pdf#overlay-context= [3] http :// 2012.cs.msu.ru / sites / default / files /laters.pdf [4] http :// 2012.cs.msu.ru / sites / default / files /sk8sem.pdf [5] http :// ...
[
]
http://2012.cs.msu.ru/printpdf/1 -- 1161.7 -- 10.04.2016
456. VPN-
... OpenVPN Windows - . VPN GNU/Linux , KNetworkManager openSUSE 11.2 x86-64. KNetworkManager Manage connections : . ... ?Use LZO compression? ?Use TCP connection?: ...
[
]
http://hpc.cs.msu.ru/print/common/vpn -- 7.9 -- 28.02.2014
457. VPN-
... OpenVPN Windows - . VPN GNU/Linux , KNetworkManager openSUSE 11.2 x86-64. KNetworkManager Manage connections : . ... ?Use LZO compression? ?Use TCP connection?: ...
[
]
http://hpc.cs.msu.su/print/common/vpn -- 7.9 -- 14.02.2014
458. http://inno.cs.msu.su/printpdf/1
Published on -- 2012 (http://inno.cs.msu.su) > . ... 2012 ) [6] 8 : 1. ... [7 : ] [8 : ] : [7 : 36 ] [8 : 36 ] : [7 : 36 ] [8 : 36 ] : [7 : 36 ] [8 : 36 ] : [7 : 36 ] [8 : 36 ] : [7 : ] [8 : ] Links [1] http :// inno.cs.msu.su / node /490 [2] http :// inno.cs.msu.su / sites / default / files /en_name.pdf#overlay-context= [3] http :// inno.cs.msu.su / sites / default / files /laters.pdf [4] http :// inno.cs.msu.su / sites / default / files /sk8sem.pdf [5] http :// ...
[
]
http://inno.cs.msu.su/printpdf/1 -- 1161.7 -- 09.04.2016
:
(
(>2) - inno.cs.msu.su/ )
459.
.. . ... " " " " ( 5 ). ... , .., 16 2012 . ...
[
]
http://www.ctt.msu.ru/ -- 60.0 -- 02.02.2013
[
]
http://ctt.msu.ru/ -- 60.0 -- 02.02.2013
460. http://vestnik.socio.msu.ru/archive/text/Vestnik_1-2014.pdf
18 1946 . 1 2014 -- .. XXI . . . . . . . . . . . . 5 .., .. . . . . . . . . 20 .. , : (. 4 2013 .) . . 47 .. - . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. : . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . .., .. .. - - : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125 .. . . . . . . . . . . . 142 .., .. - . . . 152 . . . 62 . . . 75 . . . 90 . . 106 , .. ( ) . . . . . . . . . . 174 .., .. . . . . . . . . . . . . .
[
]
http://vestnik.socio.msu.ru/archive/text/Vestnik_1-2014.pdf -- 1556.6 -- 06.06.2015
:
(
(>4) - vestnik.socio.msu.ru/ )