... When embedded within a base document, a URL in its absolute form may contain a great deal of information which is already known from the context of that base document's retrieval, including the scheme, network location, and parts of the url-path. ... Introduction This document describes the syntax and semantics for "relative" Uniform Resource Locators (relative URLs): a compact representation of the location of a resource relative to an absolute base URL. ... 3.1) Base URL embedded in the | ...

Еще в разделе: (Показать все результаты (>4) - hea-www.harvard.edu/ )

• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/rfc2396.txt

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

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

Список межфакультетских учебных курсов весеннего семестра 2015/2016 . Список межфакультетских учебных курсов весеннего семестра 2014/2015 . Списки студентов, записавшихся на межфакультетские учебные курсы весеннего семестра 2014/2015 . Список межфакультетских учебных курсов осеннего семестра . Списки студентов, записавшихся на межфакультетские учебные курсы осеннего семестра . ... Новости межфакультетских учебных курсов . ... Трудоемкость: 24 аудиторных часа. Корпус: 2 гум.. ...

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

153­161 Contents lists available at ScienceDirect Electrochimica Acta jo u r n al hom ep age: www.elsevier.com/locate/electacta Charge transfer processes on electrodes modified by polymer films of metal complexes with Schiff bases O.V. Levin a , M.P. Karushev b , A.M. Timonov b , E.V. Alekseeva a , Shuanghua Zhang V.V. Malev a,d,,1 a b c d ... Fig. ... Low frequency capacities of polymer films. (a) Poly-[Ni(CH3 O-SalPhen)] film. (b) Poly-[Ni(CH3 O-SaltmEn)] film. ...

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

• http://www.elch.chem.msu.ru/rus/novogilova.pdf
• http://www.elch.chem.msu.ru/rus/mfti/mfti09_5.pdf

Homotopy types of moment-angle complexes based on joint work with Jelena Grbic, Stephen Theriault and Jie Wu Taras Panov Lomonosov Moscow State University The 39th Symposium on Transformation Groups Tokyo University of Science, Japan, 23­25 November 2012 Taras Panov (MSU) Homotopy typ es of m-a complexes Tokyo 24 Nov 2012 1 / 15 1. ... Taras Panov (MSU) Homotopy typ es of m-a complexes Tokyo 24 Nov 2012 2 / 15 2. ... The number of commutators of length Taras Panov (MSU) is equal to ( - 1) . ...

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

• http://higeom.math.msu.su/~asmish/Lichnaja-2010/Version2010-11-20/Trudy/Publications/2004/ICME10-Proceedings.pdf
• http://higeom.math.msu.su/people/taras/TTC/slides/zara.pdf
• Abstracts (Russian)

... For the past years I have been working on the problem of synthesis of light curves of close binary systems, consisting of a normal star and a compact object (point object with fixed X-ray luminosity). ... Possible existence of a bright spot on the disk's lateral surface is taken into account. ... The last of then will be published in Gordon and Breach Publishers ( Cherepashchuk A.M., Katysheva N.A., Khruzina T.S., Shugarov S.Yu. ... Cherepashchuk A.M., Katysheva N.A., Khruzina T.S., Shugarov S.Yu. ...

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

• Linux on CLEVO 8750

Home Search Collections Journals About Contact us My IOPscience On the problem of the spontaneous exchange-driven electron interwell re-population in semiconductor quantum wells This article has been downloaded from IOPscience. ... The wave function for an electron in the second well has a similar form. ... Now our goal is to prove that for any electron state with all electrons in one well one can build another state with electrons equally populating both wells, which is lower in energy. ...

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

• http://lizard.phys.msu.su/home/science/redistr-sst99.ps.gz
• http://lizard.phys.msu.su/home/science/sust-2003-17-443.pdf
• http://lizard.phys.msu.su/home/science/Dmitriev-Zvyagin-10-Uspekhi-final.pdf

... In this case both the medium and the electric field depend on two space coordinates only. ... The classical modeling presentation is in apparent resistivity which reflects an electric field distribution on the earth's surface. ... An expression can be derived for the potential value in point M ([pic]): [pic], (4) where [pic] is the potential of the primary electric field, [pic] is the potential of the secondary electric field, defined by the surface charge distribution. ... pic] |[pic] | ...

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

• TES. C-effect
• Near-surface electrical prospecting laboratory at Moscow University
• Researchs

About BAFIZ . BAFIZ at SINP MSU . Bafiz' Information Resources at SINP . ... Information Services . ... Space Physics Information Home Page . The Centre for Photonuclear Experiments Data (Centr Dannykh Fotoyadernykh Eksperimentov, CDFE)" . Data Services . Data Base of Low Altitude Space Radiation Environment (DB LASRE SINP MSU) . Space Physics Data Archives . Space Physics Data On-Line Services . ... This Page is developed at Laboratory of Computational Mathematics, . ...

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