Unit Checking Output Tests under Constant Faults for Functional Elements / Kolyada S.S. // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika. ...

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

... Stepanov S.V., Shishkin A.G. Freeware static verification tools for Java code analysis are considered. Test results and an estimate for the efficiency of different tools for checking the ScopeShell system developed at the Department of Research Automation (Faculty of Computational Mathematics and Cybernetics, Moscow State University) are given. Keywords: static verification, detecting bugs in software, automated code analysis, Java programming language . PostScript (in Russian) (7.94MB) . ...

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

• "A survey of algorithms for constructing a Delaunay triangulation"

... Summ B. D., Ivanova N. I. Colloidal-Chemical Aspects of Nanochemistry: from Faraday to Progozhin . ... Many theoretical concepts of colloid chemistry can be applied successfully to nanosystems Different scale effects in colloid chemistry and physicochemical mechanics are considered and the possibility of their up to nanodimensions is analyzed. ... Moscow University Chemistry Bulletin . 2001, Vol. ... Copyright (C) Chemistry Dept., ... Copyright (C) Chemisty Department of Moscow State University . ...

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

• Moscow University Chemistry Bulletin Vol. 52, No. 4, P. 243 (2011)
• Moscow University Chemistry Bulletin Vol. 50, No. 5, P. 317 (2009)
• Moscow University Chemistry Bulletin Vol. 46, No. 3, P. 155 (2005)

... Кафедра общей экологии Биологического факультета МГУ им. М.В. Ломоносова и . ... Активные темы Список участников Поиск по форуму Помощь . ... Экологический Форум - Фундаментальная Экология : Предложения и замечания по сайту . Тема: Dyeing shoes is considered by some to be . ... Переход на форум -- Выберите форум -- О сайте "Фундаментальная экология" - Предложения и замечания по сайту Научные семинары - Научные семинары . Вы не можете публиковать новые темы в этом форуме . ...

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

• Экологический Форум - Фундаментальная Экология: considered one of a form Radar
• Экологический Форум - Фундаментальная Экология: Brogues are considered top of
• Экологический Форум - Фундаментальная Экология: check out shades made to

... Another way to fend off and detect impostors is to use call sequence checks. Call sequence checks help you protect against intruders that somehow managed to find out the password you log into your UUCP system with. ... When the attacker call your UUCP feed and steals your mail, this will increase the feeds call sequence number by one. ... If you have enabled call sequence checks, you should check your log files regularly for error messages that hint at possible attacks. ...

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

• Configuring the r Commands
• Linux Administration Made Easy: Strategies for Keeping a Secure Server
• Checking with netstat

... 13 ALLSPHINXOPTS = -d $( BUILDDIR ) /doctrees $( PAPEROPT_ $( PAPER )) $( SPHINXOPTS ) source . ... 18 @echo "Please use \`make <target>' where <target> is one of" . 19 @echo " html to make standalone HTML files" . 20 @echo " dirhtml to make HTML files named index.html in directories" . ... 23 @echo " htmlhelp to make HTML files and a HTML help project" . 24 @echo " qthelp to make HTML files and a qthelp project" . ... 64 @echo "# qcollectiongenerator $(BUILDDIR)/qthelp/allpy.qhcp" . ...

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

• allpy: 2ede0318ff95 docs/Makefile
• allpy: 6a50c2042d0e docs/Makefile
• allpy: docs/Makefile annotate

Электронная библиотека Попечительского совета . ... Becker G.F. - On the Earth Considered as a Heat Engine . ... Название: On the Earth Considered as a Heat Engine . Автор: Becker G.F. Язык: . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...

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

• Caforio G., Kummel G. - Military Missions and Their Implications Reconsidered:
• Amon C., Keele A.V., Kligerman D. - Check Point Next Generation Security
• Поиск книг, содержащих \Check :: Электронная библиотека попечительского совета

PHP Manual . Prev . Next . PHP 3 <= 3.0.18, PHP 4 >= 4.0.0) checkdate -- Validate a gregorian date/time . bool checkdate ( int month, int day, int year) . Returns TRUE if the date given is valid; otherwise returns FALSE . Checks the validity of the date formed by the arguments. A date is considered valid if: . year is between 1 and 32767 inclusive . month is between 1 and 12 inclusive . Day is within the allowed number of days for the given month . ... date ...

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

• Mcrypt Encryption Functions
• aspell_check_raw
• pspell_check

Network Working Group Request for Comment #167 NIC #6784 Socket Conventions Reconsidered Athay Bhushan (MAC) Bob Metcalfe (Harvard) Joel Winett (LL) 24 May 1971 Category: C1, C3, C8 Related RFCs: #147, #129 Related Functional Documents: #1 [Page 1] RFC 167 Socket Conventions Reconsidered The current NCP Protocol says nothing about how hosts should assign socket numbers to process ports, except that the low-order bit is to specify socket gender (i.e., send or receive). ...

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

• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/pdfrfc/rfc167.txt.pdf
• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/pdfrfc/rfc39.txt.pdf
• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/rfc39.txt

Hide Zen home . ... GIN . ... contains: value_array @> query_array . ... An example for a Gin opclass can be found in ginarayproc.c. Datum * extractValue( Datum inputValue, uint32* nentries) Returns an array of Datum of entries of the value to be indexed. nentries should contain the number of returned entries . int compareEntry( Datum a, Datum b) Compares two entries (not the indexing values) Datum * extractQuery( Datum query , uint32* nentries, StrategyNumber n) Returns an ...

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

• Light Curve Templete/Observing Form For Visual SNe Observers.
• Zen: todo
• WebMuseum: CИzanne, Paul: Le Mont Sainte-Victoire vu des Lauves

README for XFree86 on OS/2 : Checking Compatibility of Video Hardware . ... Edit your CONFIG.SYS file to contain the following line somewhere: DEVICE=Y:\XFree86\lib\xf86sup.sys Of course replace ``Y:'' with the correct drive letter. ... Refer to section Adding Variables to CONFIG.SYS below. ... Start a full screen OS/2 CMD session and enter the following command: [C:\] Y:\XFree86\bin\SuperProbe . ... SuperProbe can identify many more video cards than are supported by XFree86. ...

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

• Introductory Note about the release 3.3.6
• Image: Dreaming about thing