... OpenVPN Windows - . VPN GNU/Linux , KNetworkManager openSUSE 11.2 x86-64. KNetworkManager Manage connections : . ... ?Use LZO compression? ?Use TCP connection?: ...
365. CV of Alexander Moskovsky
... Alexander A. Moskovsky . ... Software Designer : . ... Projects: . Janitor II, Custodian III for Matrix Logic - utilities for DOCS Open EDMS (electronic document management system), C++/Win32 platform. ~2 man-year project with 5 persons team. iBuzz - (for ibuzz.com ) large client-server system (Win32, Enterprize Java Beans, Oracle, Sun/Solaris). ... Lunch Ordering Web System. ... Software Resources International , former Digital Moscow Software Center, . ... Physical Chemistry chair, . ...
[
]
http://lcc.chem.msu.ru/moskov/se.htm -- 13.4 -- 19.11.2009
:
(
(>2) - lcc.chem.msu.ru/ )
368. http://savenkov.lvk.cs.msu.su/mc/lect01.pdf
... 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. ...
[
]
http://savenkov.lvk.cs.msu.su/mc/lect01.pdf -- 958.6 -- 23.02.2012
369. http://www.msu.net/docs/count/zmmu.txt
Yandex.Metrika counter -- div style= display:none; script type= text/ javascript ( function (w, c) { (w[c] = w[c] || []).push( function () { try { w.yaCounter7056538 = new Ya.Metrika({id: 7056538 , clickmap: true , trackLinks: true , accurateTrackBounce: true }); } catch(e) { } }); })(window, 'yandex_metrika_callbacks'); / script / div script src= // Yandex.Metrika counter --> ...
[
]
http://www.msu.net/docs/count/zmmu.txt -- 1.7 -- 23.05.2011
:
(
(>137) - www.msu.net/ )
370. . ..
... , ... ...
[
]
http://fgp.msu.ru/ -- 137.0 -- 09.04.2016
:
(
(>3064) - fgp.msu.ru/ )
371. PARALLEL.RU - , #295 [28/09/2010]
... : PARALLEL.RU - , [21/09/2010] . ... 10 . http ://hpc-russia.ru/book_superproblems2.html ------------- http :// parallel.ru /news/ + Tech-X 1.4 GPULib. http ://www.txcorp.com/pdf/ press_releases /GPULib_Press_Release-V1.4_Announce.pdf + SGI Altix UV PBS Professional ...
[
]
http://mail.parallel.ru/pipermail/par-news/2010-September/000043.html -- 9.2 -- 28.09.2010
:
(
(>19) - mail.parallel.ru/ )
372.
... 3 .. ! ... .. , . ... ?? ( ? ?) ??. ...
[
]
http://www.biotech.msu.ru/ -- 17.7 -- 10.04.2016
[
]
http://biotech.msu.ru/ -- 17.7 -- 10.04.2016
373. .::
... . ... . ... ] . ... . ... .. ... . ... . ... . . .. . . ... : .. 2007 . .., www.socio.msu.ru . ...
[
]
http://cacs.socio.msu.ru/?mnu=157 -- 33.6 -- 09.04.2016
:
(
(>2) - cacs.socio.msu.ru/ )
374. - ORM 2007
... . ... . ... 10-14 2007 . ... MS Word . ... . ...
[
]
http://io.cs.msu.ru/ORM2007/abstracts_rus.php -- 5.2 -- 09.04.2016
:
(
(>2) - io.cs.msu.ru/ )
375. |
... . ... ? ? ... ? ? ... , , . . ...
[
]
http://jess.msu.ru/o-zhurnale/ -- 19.5 -- 09.04.2016
376. - -
. ... . ... . M- . ... . ... - . ... - . ... , . ... , . ... , , . ...
[
]
http://msu.mnc.ru/?mod=1 -- 21.7 -- 09.04.2016
377. Press
Laboratory of Microfluidics and Nanofluidics . Laboratory of Physical Chemistry of Modified Surfaces . Prof. Dr. Olga I. Vinogradova . ... , elementy.ru 2015 . ... STRF, 2015 . ... 2015 . ... : , STRF 2010 . , , STRF 2007 . ... , , 2007 . ...
[
]
http://nanofluidics.phys.msu.ru/press.htm -- 9.2 -- 30.11.2015
378.
... . ... , , , " " , . : "" , "" "" (. ). " " . "" . ", !" . ... " . ...
[
]
http://www.oduvanchik.msu.ru/tea.htm -- 4.7 -- 02.07.2012
[
]
http://oduvanchik.msu.ru/tea.htm -- 4.7 -- 02.07.2012
379. |
... . ... . ... . ... . ... . . , . ... ( ) . ... . ... . ... . ... ? ... , 2009. ...
[
]
http://old.law.msu.ru/teaching/disciplines -- 31.2 -- 10.04.2016
:
(
(>2) - old.law.msu.ru/ )
380.
... ; . ... .., .., .., .., .. . ... .., .., .. . ... .. . ...
[
]
http://plantphys.bio.msu.ru/staff/glazunova.htm -- 5.7 -- 20.12.2013
:
(
(>9) - plantphys.bio.msu.ru/ )