Электронная библиотека Попечительского совета . ... Curien P.-L. - Categorical Combinators, Sequential Algorithms, and Functional Programming . ... Название: Categorical Combinators, Sequential Algorithms, and Functional Programming . Автор: Curien P.-L. Язык: . ... Abstract algorithm 2.5.4 . ... Algorithm, sequential 2.5.1 . ... Observably sequential, algorithm 2.6.12 . ... Sequential, algorithm 2.5.1 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...

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

• Rivano N.S. - Categories Tannakiennes :: Электронная библиотека попечительского
• Ревзин И.И. - Современная структурная лингвистика :: Электронная библиотека

... Геология >> Геофизика >> Геофизические методы поисков и разведки месторождений полезных ископаемых | ... Методы глубинной геофизики и строение Земли по геофизическим данным . ... Теория дрейфа континентов Глубинное строение Земли недоступно для непосредственных исследований и может быть изучено только геофизическими методами. ... Сейсмичность Земли . ... Геофизические методы исследования земной коры . Геофизические методы исследования земной коры: Геофизические методы исследования земной коры. ...

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

• Глобальные катастрофические события и их роль при стратиграфических корреляциях

... Documentation . ... I've added in a few more things to the documentation mainly in the area of error handling. ... Thanks to Steven Schoch <schoch@sheba.arc.nasa.gov> we now have a version of telnet and telnetd that can (as long as you enable it with a new server and client option) enable a user to telnet to the telnetd and not be asked for a password if they send a certificate that is signed by a trusted CA (which you naturally configure yourself) for those users in the new /etc/ssl.users file. ...

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

... 2.1). ... 2.1.1) : (1.3) a U 3 exp - . ... max . max = const . ... 2 V c3 (2.8), , (2.3) dpxdpydpz = p2 dp sin d d : d dpx dp y dpz dx dy dz = h3 h3 dN d. , , V dpx dpy dpz V dpx dpy dpz /h3. dN = 0 sin d d = 4. 0 2 , p dp 4p2 dp. p=/c : p dp = 2 d, c 2 3 V d : dN = V 2 d . ... kT >> kT С n T >> 1 < E >= T << n exp ( - T ) << 1 < E >= exp ( - T ) << U d = 3 exp(­/T) d/( 2c3) U d = 2 T d/(2c3) . ... 3) U W T =2 c 3 3 2 f W ( x ), f W ( x) = x 3 e - x f W( x) W (7.5) xmax = 3 . ...

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

... Геология >> Геотектоника | ... Вероятно, это самый первый метод построения разреза, который получил научное обоснование. ... Суть метода изображена на рисунке 2.1. Предполагается, что нам известны элементы залегания слоев в точках A, B и C. Рисунок 2.1 Построение разреза по методу Баска-Вебера (Marshak, Mitra, 1988) . Рассмотрим последовательность действий, необходимых для построения разреза. ... Павлов Д.С. Математический алгоритм построения геологического разреза. ...

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

... What is the World Wide Web? Introduction to URIs . ... HTML 4.0 . ... Compound documents . ... Authoring documents with HTML 4.0 . ... Every resource available on the Web -- HTML document, image, video clip, program, etc. -- has an address that may be encoded by a Universal Resource Identifier , or "URI". ... This URI may be read as follows: There is a document available via the HTTP protocol (see [RFC2068] ), residing on the machine www.w3.org, accessible via the path "/TR/REC-html4/". ...

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

... 15 2.1 Stuxnet .. ... 25 2.2 Wiper .. ... IT- ( , ) , Stuxnet, Flame, Gauss, Duqu, Wiper Icefog. ... Microsoft Windows (DLL) . ... 17 ; -- Microsoft, ­ , ­ ; , ; Windows rootkit, ; ; «» Siemens, ; , , , rootkit . ... MS08-067 ( 2009 Kido, 20 ) MS10-061 (zero-day ); (zero-day ) MS10-073 (Windows 2000 XP) MS10-092 (Windows Vista, x64), , ; Stuxnet peer-to-peer (P2P) ; , , ; e SIMATIC, Siemens, , , . ... 38 - : http://www.securelist.com/ru/blog/207764003/Flame_Bunny_Frog_Munch_i_BeetleJuic e ­ Hiew. ...

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

• http://www.iisi.msu.ru/UserFiles/File/publications/Project_2015.pdf

На предыдущий раздел ] . ... Работа с документами . Создаваемые регистры ХИО базируются на мониторинге научно-технической и патентной информации, формируемой в соответствии как с указателями-регистрами обрабатываемых в ВИНИТИ источников данных, так и c рубрицированными указателями ( рис. ... При работе с регистрами ХИО рассматриваются как первичные, так и вторичные документы (экстракты/комментарии с идентифицируемым библиографическим описанием в литературных ссылках первичного документа). ...

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

• Фенолы и хиноны (Методическая разработка для студентов III курса)
• Полимерные мембраны как химически гетерогенные канальные наноструктуры

... Pavlinov INTRODUCTION TO CONTEMPORARY PHYLOGENETICS (A CLADOGENETIC ASPECT) KMK Scientific Press Ltd. ... The ontological and epistemological prerequisites of the phylogenetics proper are considered: the background evolutionary models are outlined, the structure of both phylogenesis and phylogenetic pattern is described, and the essential phylogenetic metaphors (phylogenetic tree, phylogenetic signal, etc.) are characterized. ... 4.1.1. ... Phylogenetic tree 4.2.1.1. ... character state tree) -- ., ...

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

... The source control in the problem of heat conduction" . Morozov V.A., Lezhnev V.G., Tokarev N.M. 0) temperature distribution is considered. The correctness of the problem is proved, a convergent algorithm is constructed, and an algorithm for solving the inverse problem of heat conduction is proposed. ... Keywords: heat conduction, boundary value problems, inverse problem of heat conduction, control of distributed parameters . PDF (in Russian) (121KB) . PDF. zip (in Russian) (98.7KB) . ...

11. Оптика когерентного излучения. п.2.1.

12. http://itpm.msu.su/LDP/tlk-0.8-3.html/basics/sw.html

13. Функции, классификация

14. http://mirror.msu.net/pub/gentoo-portage/www-apps/freeradius-dialupadmin/freeradius-dialupadmin-1.80.ebuild

15. http://cryst.geol.msu.ru/literature/kurs/2015_03_belik.pdf

16. http://dist.ffl.msu.ru/docu/2008/dogalben2012.doc

17. http://dist.ffl.msu.ru/docu/2008/dogaladdit_2011_12.doc

18. http://fmp.msu.ru/attachments/article/210/DOGOVOR_UCHEBNAYA_PRAKTIKA_2015.doc