... С целью обеспечения точного, недвусмысленного описания требований и утверждений конформности, точной спецификации тестовых ситуаций и сценариев разработан ряд специализированных языков. ... ADL (Assertion Definition Language) [16] - язык, предназначенный для описания поведения систем ИТ на их интерфейсах для технологии ODA. ... Estelle [32] - язык спецификаций, построенный как расширение языка программирования Pascal и предназначенный для описания поведения протокольных автоматов. ...

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

• make_smbcodepage (1)
• yaz_ccl_conf

. This diagram illustrates how the definition of a pixel depends on the users distance from the viewing surface (paper or screen). The image depicts the user looking at two planes, one 28 inches (71 cm) from the user, the second 140 inches (3.5 m) from the user. An expanding cone is projected from the user's eye onto each plane. Where the cone strikes the first plane, the projected pixel is .28 mm high. Where the cone strikes the second plane, the projected pixel is 1.4mm high. Return to image.

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

• Appendix B: Changes from CSS1
• Conformance: requirements and recommendations
• Long description of example illustrating background calculation

C-DVM . ... Language description . ... 6 Remote data specification . ... 6.2 Remote references of SHADOW type . ... 6.2.2 Specification of independent references of SHADOW type for one loop . 6.2.3 ACROSS specification of dependent references of SHADOW type for single loop . ... 6.3.2 Synchronous specification of remote references of REMOTE type . 6.3.3 Asynchronous specification of remote references of REMOTE type . ... 6.4.1 Synchronous specification of remote references of REDUCTION type . ...

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

• Fortran DVM language description
• Lib-DVM. Interface description

Description of particle interaction model in CompHEP consists of four parts. They are parameters , constrains , particles , and vertices . Subsections . Independent parameters of the model . Constraints between the parameters . Description of particles . Ghost fields in CompHEP . Faddeev-Popov ghost and anti-ghost. Goldstone ghost. Tensor ghost. Interaction vertices .

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

• rfbr:rest:jobschema [THEP]
• fcp:rest:jobschema [THEP]

previous next contents elements attributes . ... Definitions . ... User agent . A user agent is any device that interprets HTML documents. ... User agents should continue to support deprecated elements for reasons of backward compatibility. ... An obsolete element or attribute is one for which there is no guarantee of support by a user agent. ... Element and attribute names are marked within the source HTML for the specification and may be rendered specially depending on your user agent. ...

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

• MySQL Reference Manual for version 3.23.10-alpha. - H Description of MySQL
• mod_charset_lite - Apache HTTP Server
• Lists in HTML documents

... Default: . ... The name of a Data form field . ... Text shown if the field is not defined in the topic (even if it is specified in the form definition). ... Text shown if the field is defined in the topic, but the field value is empty. ... rev="n" . ... Topic where form data is located. ... Example: %FORMFIELD{"ProjectName" topic="Projects.SushiProject" default="(no project name given)" alttext="ProjectName field not found in form" }% . ... This topic: System > WebHome > Macros > VarFORMFIELD . ...

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

• AutoViewTemplatePlugin < System < Foswiki

Network Working Group K. McCloghrie, Editor Request for Comments: 2013 Cisco Systems Updates: 1213 November 1996 Category: Standards Track SNMPv2 Management Information Base for the User Datagram Protocol using SMIv2 Status of this Memo This document specifies an Internet standards track protocol for the Internet community, and requests discussion and suggestions for improvements. ... IESG Note: The IP, UDP, and TCP MIB modules currently support only IPv4. ... See RFC 1902, SMI for SNMPv2.) ...

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

• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/pdfrfc/rfc2013.txt.pdf
• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/mibs/private.mibs/scc-raid7-proxy-mib-v1-0.txt
• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/rfc6474.txt

The QLayout class is the base class of geometry specifiers. ... List of all member functions. virtual  ~QLayout  ()  . int  defaultBorder  () const . ... void  freeze  ( int w, int h )  . ... QLayout  ( QWidget * parent, int border, int autoBorder, const char * name )  . ... The concrete layout managers QBoxLayout and QGridLayout inherit from this one and make QLayout's functionality avaialble in friendly APIs. ... freeze (), which allows you to freeze the widget's size and layout. ...

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

• Qt Toolkit - QPrintDialog Class
• Using strings
• Qt Toolkit - QRegion Class

Definition of the type material of several nominal taxa of pikas (Lagomorpha: Ochotonidae) from alpina-hyperborea group. ... The original descriptions of nominal taxa of pikas of alpina-hyperborea group, described by Schrenk (1858) and Sokolov et al. (1994), so as museum collections were studied. ... Geographical variation of skull characters in pikas (Ochotona, Lagomorpha) of the alpina - hyperborea group // Acta theriologica. ...

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

... Apache HTTP Server Version 2.0 . ... Specify character set translation or recoding . ... charset_lite_module . ... CharsetDefault . ... The character set name parameters of CharsetSourceEnc and CharsetDefault must be acceptable to the translation mechanism used by APR on the system where mod_charset_lite is deployed. ... The ImplicitAdd keyword specifies that mod_charset_lite should implicitly insert its filter when the configuration specifies that the character set of content should be translated. ...

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

• Terms Used to Describe Directives - Apache HTTP Server
• DVARP
• DPRODUCT

SMV . The SMV system is a tool for checking finite state systems against specifications in the temporal logic CTL. The input language of SMV is designed to allow the description of finite state systems that range from completely synchronous to completely asynchronous, and from the detailed to the abstract. ... http://www.cs.cmu.edu/~modelcheck/smv.html . ... None . ... User Comments: . ... SAL Home | Other Scientific Fields | Misc . ... Copyright 1995-2001 by Herng-Jeng Jou . ...

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

• xntpd - Network Time Protocol (NTP) daemon
• ntpdate - set the date and time via NTP
• SAL- Other Scientific Fields - Misc - Gnans

Электронная библиотека Попечительского совета . ... Bjorner D. - Software Engineering 3 . ... Название: Software Engineering 3 . ... Focusing only on the informal parts, this book targets undergraduate students in courses on software engineering and college lecturers in that field, while the full version of the book also targets advanced students, lecturers and researchers. ... Ascending reference, definition 246 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...

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

• Stenholm S. - On the Statistical Description of QuantumSystems :: Электронная
• Cabrera l.-F., Kurt C. - Web Services Architecture and Its Specifications:
• Ray E. - Learning XML :: Электронная библиотека попечительского совета мехмата

... The DD tag element specifies a term definition, and follows one or more DT elements. ... CLASS . ... The CLASS attribute is most commonly used to attach a different style to some element, but it is recommended that where practical class names should be picked on the basis of the element's semantics, as this will permit other uses, such as restricting search through documents by matching on element class names. ... CLEAR . ... The CLEAR attribute allows you to move down unconditionally: . ...

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

• Look-up Online Manual
• Getting a description of each command
• Checking the description of a command

... file . ... 13 def __init__ ( self , file ): . ... 16 def save_string ( self , string , name , description = '' ): . ... 19 Splits long lines to substrings of length=long_line . ... 25 """Parse fasta file, remove spaces and newlines from sequence bodies. ... 33 for name_test , description , body in self . ... 46 def __init__ ( self , file , long_line = 70 ): . ... 85 tmp_fasta = NamedTemporaryFile ( 'w' , delete = False ) . ... name , 'fasta' : tmp_fasta . ... 89 tmp_fasta = open ( tmp_fasta . ...

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

• allpy: 177f7ee1d3a1 allpy/fileio.py
• Help: revsets
• allpy: a9d4a06ed103 allpy/dna.py

... Line: 1 to 1 . ... NOTE : The result from changes script and the topic WebChanges can be different, if the changes file is deleted from a web. ... Note: The manage script can only be called via http POST method for createweb renameweb , and deleteUserAccount . ... Note: The register script can only be called via http POST method, not GET. ... Note: The rename script can only be called via http POST method, not GET. ... Note: The save script can only be called via http POST method, not GET. ...

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

• FlexWebListPlugin - TWiki - TWiki - (printable)

grdcut - Extract a subregion out of a . grd file grdcut input _ file . grd -G output _ file . grd -R west / east / south / north [ r ] [ -V ] grdcut will produce a new output _ file . grd file which is a subregion of input _ file . ... The subregion is specified with -R west / east / south / north as in other programs; the specified range must not exceed the range of input _ file . ... grd this is the input . grd format file. G output _ file . grd this is the output . ...

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

• http://xray.sai.msu.ru/~ivan/gmt/man/grdvolume.html
• http://xray.sai.msu.ru/~ivan/gmt/man/pshistogram.html
• http://xray.sai.msu.ru/~ivan/gmt/man/psrose.html

... Writing wrapper definitions . ... Wrapper definitions themselves consist of C code with special macros. ... It is suggested that all identifiers declared outside functions end with _{{fileno}}. ... forallfn fn_name}}static int {{fn_name}}_ncalls_{{fileno}}; {{endforallfn}} might expand to: . ... Use vardecl to declare variables within a wrapper definition. ... With nested wrapper definitions, this also represents the point at which to insert the code for any inner nested functions. ... Центры . ...

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

• mpirun | PARALLEL.RU - Информационно-аналитический центр по параллельным
• Semantics | PARALLEL.RU - Информационно-аналитический центр по параллельным
• Jumpshot | PARALLEL.RU - Информационно-аналитический центр по параллельным

... Siberian Lang . Minority languages of Siberia as our cultural heritage . ... The project ?Development of the web-site ?Minority languages of Siberia as our cultural heritage? (on the material of the languages of the basin Middle Yenisei and the Middle and the Upper Taz)? was realized at the Laboratory for Computational Lexicography, Research Computing Centre, Lomonosov Moscow State University, with financial support from Russian Foundation for the Humanities, grant 12-04-12049.љ ...

19. : Package ucar.netcdf

20. Multiparameter Stability Theory with Mechanical Applications