Найдено документов: 143357 (202 сайтов) ---- Время поиска: 0.34сек. |
Показаны документы, содержащие фрагменты текста из документа
http://www.cplire.ru/Lab144/alt/02030136.html.
http://www.cplire.ru/Lab144/alt/02030136.html.
1. Actor Prolog. Programming language definition.
... Инициализация процесса (initialization of process) - фаза исполнения процесса , перед началом которой он находился в состоянии " сформированный ". ... Общая схема исполнения предиката включает : 1) Выбор предложения с подходящим заголовком . ... 3) Исполнение соответствующих подцелей доказательства . ... Исполнение программы начинается с доказательства конструктора процесса , заданного в определении проекта , а также формирования процесса , построенного в результате доказательства этого конструктора...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/02030136.html -- 14.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>739) - www.cplire.ru/ )
2. Космический корабль Буран
. Русский . English . Copyrights (c) Vadim Lukashevich, 1998-2013 . Руководство проекта запрещает использовать адреса E-mail, находящиеся на сайте, для нелицензионных массовых рассылок (СПАМа) и занесения их в базы данных. Нарушители будут привлекаться к ответственности в соответствии со ст. 272 УК РФ . e-mail web-master
Еще в разделе:
(Показать все результаты (>762) - www.buran.ru/ )
3. Рекомендации по использованию дисков
... Начальная школа . Средняя школа . Старшая школа . ... К 15 летию школы . Фоторепортаж с юбилея . ... Русский язык . Иностранный язык . ... Наш адрес . Назад . Вперед . ...
[
Сохраненная копия
]
Ссылки http://www.schools.keldysh.ru/ce1881/p28aa1.html -- 13.3 Кб -- 28.09.2007
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>1694) - www.schools.keldysh.ru/ )
4. how-to.ru : Русская документация : Vim Color Editor HOW-TO (Vi Улучшенный с
Home / Linux / Soft / Vim-4.html Следующий Предыдущий Содержание раздела . Вы можете использовать VIM в двух режимах - один с GUI и другой без GUI. ... vim foo.cpp или более ортодоксальную форму vi foo.cpp . ... Также, в ближайшем будущем, Vim будет включать вторую полосу меню с перечислением открытых файлов, и вы сможете переключаться между файлами щелкая на их именах,а пока вы можете использовать команды vi - :e#, :e#1, :e#2, :e#3, :e#4, ....и так далее, чтобы выбирать файлы. ...
[
Сохраненная копия
]
Ссылки http://mavr.sao.ru/hq/sts/linux/doc/vim/HOWTO/Vim-4.html -- 3.5 Кб -- 28.12.2007
[ Сохраненная копия ] Ссылки http://www.sao.ru/hq/sts/linux/doc/vim/HOWTO/Vim-4.html -- 3.5 Кб -- 11.09.2010
[ Сохраненная копия ] Ссылки http://jet.sao.ru/hq/sts/linux/doc/vim/HOWTO/Vim-4.html -- 3.5 Кб -- 02.10.2012
Похожие документы
[ Сохраненная копия ] Ссылки http://www.sao.ru/hq/sts/linux/doc/vim/HOWTO/Vim-4.html -- 3.5 Кб -- 11.09.2010
[ Сохраненная копия ] Ссылки http://jet.sao.ru/hq/sts/linux/doc/vim/HOWTO/Vim-4.html -- 3.5 Кб -- 02.10.2012
Похожие документы
5. Звездный альманах - звезда в подарок. Назвать звезду
Звездный Альманах . ... Звезды 16 величины от 5100 руб. ... 11250 руб. узнать подробнее . ... Купить Звезду любви сейчас 8600 руб. узнать подробнее . Купить Звезду . ... Несколько десятков лет назад никто и подумать не мог о возможности обладать персональным небесным телом, а тем более - назвать звезду, увековечив собственное имя, своей второй половины, товарища или партнера по бизнесу. ... Компания ?Звездный альманах? уполномочена выдавать сертификаты, подтверждающие факт наименования звезды. ...
Еще в разделе:
(Показать все результаты (>5) - www.rosastro.ru/ )
6. Роскосмос предложил использовать ГЛОНАСС для борьбы с поджигателями
... Сегодня: 10 апреля 2016 г. Роскосмос предложил использовать глобальную навигационную систему ГЛОНАСС для отслеживания поджигателей машин. Как говорится в сообщении на сайте ведомства, в связи с поджогом автомобилей на автостоянках Москвы вопрос применения электронных браслетов для осужденных и подозреваемых стал еще более актуальным. ... Заключенные, надевшие браслеты, смогут устраиваться на работу за пределами колонии. ... Роскосмос предложил использовать ГЛОНАСС для борьбы с поджигателями . ...
[
Сохраненная копия
]
Ссылки http://news.cosmoport.com/2008/06/04/2.htm -- 21.5 Кб -- 10.04.2016
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>5112) - news.cosmoport.com/ )
7. М.Б.Богданов - ИСПОЛЬЗОВАНИЕ РЕСУРСОВ СЕТИ ИНТЕРНЕТ ПРИ ИЗУЧЕНИИ АСТРОНОМИИ
... РЕШЕНИЕ ЗАДАЧ СФЕРИЧЕСКОЙ АСТРОНОМИИ . ... Вычисление точных топоцентрических эфемерид планет . ... В качестве примера в нем приведены исходные данные сервера для расчета эфемерид Марса. Ниже списка располагаются четыре кнопки для модификации исходных данных. ... Через некоторое время, которое в основном определяется скоростью передачи данных по сети, на экране появиться большая таблица рассчитанных значений параметров, снабженных многочисленными комментариями. ...
[
Сохраненная копия
]
Ссылки http://heritage.sai.msu.ru/ucheb/Bogdanov/4_4.html -- 9.3 Кб -- 02.05.2007
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>135) - heritage.sai.msu.ru/ )
8. В Адыгее намерены использовать результаты космической деятельности для
... Войти на сайт: Имя: . ... не знаю Результаты . ... Ранее вопросы участия республики в ФЦП Роскосмоса были обсуждены Асланом Тхакушиновым с представителями Федерального космического агентства. Предстоящее сотрудничество предусматривает совместную разработку проекта долгосрочной республиканской целевой программы "Использование результатов космической деятельности в интересах социально-экономического развития Республики Адыгея на 2011-2013 годы", - отметили в пресс-службе президента Адыгеи. ...
[
Сохраненная копия
]
Ссылки http://astronomy.tomsk.ru/?menu=news&task=show&id=1797 -- 19.9 Кб -- 09.04.2016
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>616) - astronomy.tomsk.ru/ )
9. Вопрос об использовании 1.25" окуляров с трубой Meade L [Архив] - Общая
Общая Астрономическая Конференция > Все про астрономическое оборудование > Астрономическое оборудование > Вопрос об использовании 1.25" окуляров с трубой Meade L . ... Просмотр полной версии : Вопрос об использовании 1.25" окуляров с трубой Meade L . ... Мог бы кто-то знакомый с конструкцией телескопа Meade LX200 12" написать какие трубе с заднего торца чтобы можно было нормально фокусировать телескоп с использованием 1.25" 20мм окуляра? ... Фокусное растояние у трубы 3048 мм. ...
[
Сохраненная копия
]
Ссылки http://www.starlab.ru/archive/index.php/t-1191.html -- 7.7 Кб -- 10.04.2016
Похожие документы
Похожие документы
10. Проект РЕЗОНАНС
В качестве инерциально-измерительного прибора применяется Бесплатформенный Измерительный Блок (БИБ), построенный на базе динамически-настраиваемых гироскопов (ДНГ) в угломерных каналах и маятникового акселерометра в канале измерения приращения скорости. Разработчик прибора НИИ ПМ им. Ак. ... В качестве звездного прибора предлагается использовать базовую разработку астроизмерительной системы (АИС), выполненную ИКИ РАН по проекту 'Спектр'. Предыдущая страница Следующая страница . ...
[
Сохраненная копия
]
Ссылки http://www.iki.rssi.ru/resonance/613.html -- 7.0 Кб -- 29.11.2002
[ Сохраненная копия ] Ссылки http://www.cosmos.ru/resonance/613.html -- 7.0 Кб -- 29.11.2002
Похожие документы
[ Сохраненная копия ] Ссылки http://www.cosmos.ru/resonance/613.html -- 7.0 Кб -- 29.11.2002
Похожие документы
11. Использование обработчиков в Apache - HTTP сервер Apache
... HTTP сервер Apache версии 2.2 . ... Этот документ описывает использование обработчиков (handlers) в Apache. ... Обработчик является внутренней структурой Apache, которая задает поведение сервера при обработке запрашиваемого файла. ... Следующие несколько директив заставят выполняться обработчик send-as-is , который используется для файлов, содержащих свои собственные HTTP-заголовки. Все файлы в каталоге /web/htdocs/asis/ будут обрабатываться обработчиком send-as-is , независимо от их расширения. ...
[
Сохраненная копия
]
Ссылки http://www.arcetri.astro.it/manual/ru/handler.html -- 13.7 Кб -- 21.01.2013
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>5122) - www.arcetri.astro.it/ )
12. Использование списка координат.
... Списки координат объектов для программы можно подготовить заранее в файлах или создавать во время работы, используя программу как редактор или коллекционируя обратные пересчеты с АСУ. ... Кнопка Get служит для переписи выделенной строчки в поля строки редактивания координат. ... Кнопка Insert наоборот переписывает поля строки редактивания координат в новую строчку списка, которая вставляется после выделенной, либо в конец списка если ничего не выделено. ... записать список в файл . ...
[
Сохраненная копия
]
Ссылки http://www.sao.ru/tb/telescope/node10.html -- 5.6 Кб -- 10.12.2010
Похожие документы
Похожие документы
13. Учителю - Стандарты образования - Среднее образование - Экономика - Профильный
... Онлайн-подготовка к ЕГЭ . ... Учителю . ... Стандарты . образования . ... Стандарты образования . ... Изучение экономики на профильном уровне среднего (полного) общего образования направлено на достижение следующих целей: . освоение системы знаний об экономической деятельности человека, организации/фирмы и государства, об экономике России, необходимых для дальнейшего изучения экономических дисциплин в системе среднего и высшего профессионального образования или самообразования; . ...
[
Сохраненная копия
]
Ссылки http://www.college.ru/pedagogam_old/308/311/158/214/index.html -- 51.5 Кб -- 09.04.2016
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>803) - www.college.ru/ )
14. (EHIPS) Предметно-специфические методики системы
... Специфика предмета "среда-здоровье" - в настройке блоков на соответствующий тип данных и в использовании предметных моделей для связи между блоками. Данные . ... Поэтому надо корректировать эти данные, решая обратную задачу восстановления источников по измерению реальных концентраций в среде. ... Поэтому данные 1 типа целесообразно использовать при анализе временных рядов, а данные 2 типа - при восстановлении параметров источника и отладке модели распространения. ... Модели . ...
[
Сохраненная копия
]
Ссылки http://www.iki.rssi.ru/ehips/Method4.htm -- 11.1 Кб -- 15.01.2009
Похожие документы
Похожие документы
15. http://xray.sai.msu.ru/~mystery/html/fed3/HTML_Rules.html
... Ограниченный список допустимых HTML-тегов. ... Специальные ссылки Поскольку публикации на сайте показываются читателям не как целые гипертекстовые страницы, а внутри страниц Астронета, набор допустимых тегов ограничен теми, которые обеспечивают нормальный показ публикации внутри страницы. ... Тег . ... name,href . Запрещается использовать параметры name и href в одном теге . ... Идентификатор каждой публикации виден в строке запроса браузера при ее прочтении. <a href="search://Квазар">Квазар</a> . ...
[
Сохраненная копия
]
Ссылки http://xray.sai.msu.ru/~mystery/html/fed3/HTML_Rules.html -- 7.1 Кб -- 28.11.2002
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>404) - xray.sai.msu.ru/ )
16. ТЕЛЕСКОПЫ ASTROSIB RC ОТА
. главная . продукция . галерея . контакт . Телескоп RC360 . Телескоп RC400 . Телескоп RC500 .
[
Сохраненная копия
]
Ссылки http://www.astrosib.ru/rc_ota_rus.html -- 7.1 Кб -- 15.05.2015
Похожие документы
Похожие документы
17. Лунные полеты
Проект транспортного корабля обслуживания 7К-ТК разрабатывался в куйбышевском Филиале ОКБ-1 для доставки на станцию 11Ф71 двух космонавтов. ... Приказом министра Общего машиностроения ?145сс от 30 марта 1966 года головным исполнителем по транспортному кораблю 11Ф72 был определен Филиал ?3. В 1966 году были выполнены исходные данные и эскизный проект транспортного корабля 7К-ТК для комплекса 'Алмаз' и началась разработка технической документации. ... Корабли и проеты . ...
[
Сохраненная копия
]
Ссылки http://www.astronaut.ru/test/ussr-7k-tk.htm -- 3.6 Кб -- 15.04.2012
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>1246) - www.astronaut.ru/ )
18. Zen: 2009-01-11
Hide Zen home . ... GiST . GIN . ... wildspeed - индексная (GIN) поддержка поиска подстрок для SQL оператора LIKE, например, '%text%'. ... Эта реализация использует алгоритм поиска на частичное соответствие GIN. ... В PostgreSQL такую поддержку имеют Btree и GiST индексы, однако, эффективность GIN индекса не зависит от того, по какому атрибуту производится поиск, что позволяет использовать один индекс как для поиска по комбинации атрибутов, так и по отдельным атрибутам. ... Расширения PostgreSQL . ...
[
Сохраненная копия
]
Ссылки http://www.sai.msu.su/~megera/wiki/relation_featur%C5s/DB/2009-01-11?action=browse;diff=2;id=2009-01-11 -- 18.2 Кб -- 11.04.2016
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>289) - www.sai.msu.su/ )
19. The RUSSLH style package.
... и запускать latex (или pdflatex ) со следующей опцией: --tcx=<my.tcx> , где <my.tcx> зависит от того, в какой кодировке написан ваш текст: . latex --tcx=win2t2 myfile.tex для кодировки Windows (cp-1251) . ... Russlh is a small package which provides a russification of LaTeX independent of babel and fontenc style packages. ... in the preamble of your document and run LaTeX with the flag --tcx=<my.tcx> , where <my.tcx> depends on the encoding of your Russian document. ...
[
Сохраненная копия
]
Ссылки http://www.mccme.ru/free-books/p_cher.htm -- 7.1 Кб -- 21.06.2010
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>2146) - www.mccme.ru/ )
20. SimpleParenting Накидка от солнца для автокресла-коляски Doona -
... Бренд: NIKE . ...
[
Сохраненная копия
]
Ссылки http://astrokuban.info/astroku2736.html -- 18.0 Кб -- 14.02.2016
Похожие документы
Похожие документы
Астронет | Научная сеть | ГАИШ МГУ | Поиск по МГУ | О проекте | Авторам
Комментарии, вопросы? Пишите: info@astronet.ru или сюда