Найдено документов: 181348 (178 сайтов) ---- Время поиска: 0.54сек. |
Показаны документы, содержащие фрагменты текста из документа
http://www.scientific.ru/dforum/common/1186475085.
http://www.scientific.ru/dforum/common/1186475085.
1. Actor Prolog. Programming language definition.
... Метапеременные разрешается использовать в качестве функторов только в составе предложений и только при условии, что такой же метафунктор является именем предиката в заголовке рассматриваемого предложения . ... Метапеременные разрешается использовать в качестве простых термов только в составе предложений и только при условии, что такая же метапеременная является именем предиката или атомарной формулой в заголовке рассматриваемого предложения . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/alt/02001020.html -- 20.0 Кб -- 24.09.2007
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>666) - www.cplire.ru/ )
2. ТЕЛЕСКОПЫ ASTROSIB RC ОТА
. главная . продукция . галерея . контакт . Телескоп RC360 . Телескоп RC400 . Телескоп RC500 .
[
Сохраненная копия
]
Ссылки http://www.astrosib.ru/rc_ota_rus.html -- 7.1 Кб -- 15.05.2015
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>2) - www.astrosib.ru/ )
3. Астронет > Назначение и возможности системы GTSearch
... Астронет | ... Назначение и возможности системы GTSearch . ... Поисковая машина GTSearch предназначена для работы с веб-документами (документами, доступными с веб-серверов по протоколу HTTP). Она позволяет выполнять поиск документов по заданным ключевым словам и имеет разнообразные сопутствующие функции. ... Основная функция поисковой машины GTSearch (Generic Text Search) - поиск по ключевым словам в документах, доступных по протоколу HTTP. ... Новый поиск по астросайтам России . ...
[
Сохраненная копия
]
Ссылки http://www.astronet.ru/db/msg/1194827 -- 24.5 Кб -- 12.07.1973
Похожие документы
Похожие документы
4. Scientific.ru Общий форум
Общий форум . Scientific.ru Все форумы . ... Munin (@) - 06.08.2007 21:10 . Re: Аксиоматизация и связанная с ней логика в Т-геометрии не используются . x203a; x203a; x203a; в ответ на: Re: Аксиоматизация и связанная с ней логика в Т-геометрии не используются Ю.А. Рылов . ... Re: Аксиоматизация и связанная с ней логика в Т-геометрии не используются Ю.А. Рылов, 06.08.2007 08:03 . Re: Аксиоматизация и связанная с ней логика в Т-геометрии не используются Munin, 06.08.2007 21:10 . ...
[
Сохраненная копия
]
Ссылки http://www.scientific.ru/dforum/common/1186420216 -- 12.9 Кб -- 12.04.2016
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>63944) - www.scientific.ru/ )
5. Обзор новых возможностей в Apache 2.0 - HTTP сервер Apache
... HTTP сервер Apache версии 2.2 . ... Этот документ описывает основные различия между версиями 1.3 и 2.0 HTTP сервера Apache . ... Новая система сборки . ... Также были добавлены новые функции, которые предоставляют дополнительные возможности использования модулей, избавляя от необходимости внесения каких-либо изменений в ядро сервера. ... Новый модуль в Apache 2.0. ... Этот модуль включает в себя функциональность модуля mod_mmap_static из Apache 1.3 плюс новые возможности кэширования. mod_headers . ...
[
Сохраненная копия
]
Ссылки http://www.arcetri.astro.it/manual/ru/new_features_2_0.html -- 18.2 Кб -- 21.01.2013
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>6) - www.arcetri.astro.it/ )
6. Рюкзак тактический Zentauron Standard черного цвета - Zentauron - Zentauron
... В результате поиска оптимального варианта тактического рюкзака с возможностью быстрого доступа и использования в течение 72 часов был разработан и создан данный рюкзака Standard. ... основное отделение: прибл. 50 x 30 x 20 см (прибл. 30 л), . передний карман небольшой: прибл. 30 x 17,5 x 8 см (прибл. 4 л.), . передний карман большой: прибл. 30 x 30 x 12 см (прибл. 11 л.). ... Вес: прибл. 1,3 кг. Рюкзаки . ... Цвет плафонов и подвесок: белый . ... Часы Mitya Veselkov Куранты на черном. ...
[
Сохраненная копия
]
Ссылки http://astrokuban.info/astroku5342.html -- 15.0 Кб -- 14.02.2016
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>6149) - astrokuban.info/ )
7. 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
Похожие документы
Еще в разделе:
(Показать все результаты (>1206) - jet.sao.ru/ )
8. И. М. Сидоров(ИКИ), "О возможности выполнения циклически повторяющихся
И. М. Сидоров . О возможности выполнения циклически повторяющихся гравитационных маневров на основе использования тросовых систем". ... Рассматривается динамика движения на околоземной орбите тросовой системы, которая называется пращей. ... Система вращается, относительно центра масс, в плоскости орбиты. ... Показано, что применение тросовых систем открывает возможность использования практически бесконечного источника энергии, а именно, механической энергии движения планет Солнечной системы. ...
[
Сохраненная копия
]
Ссылки http://www.iki.rssi.ru/seminar/20020124/abstract.htm -- 4.4 Кб -- 30.01.2005
[ Сохраненная копия ] Ссылки http://www.cosmos.ru/seminar/20020124/abstract.htm -- 4.4 Кб -- 30.01.2005
Похожие документы
[ Сохраненная копия ] Ссылки http://www.cosmos.ru/seminar/20020124/abstract.htm -- 4.4 Кб -- 30.01.2005
Похожие документы
9. Возможности пакета
Next: Форматы данных и соглашения Up: NICE пакет Previous: NICE пакет . Пакет NICE написан на командном языке MIDAS (MCL) и проверен в работе на версиях системы MIDAS не ниже 94NOVpl2 . При создании контекста NICE авторы использовали некоторые идеи и принципы организации процесса наблюдений и интерфейса, реализованные в NOAO в пакете ICE для стандартной системы сбора под управлением IRAF (Massey et al. 1992), что делает наблюдения на разных телескопах с разными системами сбора похожими. ...
[
Сохраненная копия
]
Ссылки http://www.sao.ru/precise/Laboratory/Dis_akn/node35.html -- 6.6 Кб -- 08.07.1999
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>371) - www.sao.ru/ )
10. Возможность поюзать Web-камеры для астросъемки [Архив] - Общая Астрономическая
Общая Астрономическая Конференция > Товары для астрономов > Менее астрономические товары > Возможность поюзать Web-камеры для астросъемки . ... Просмотр полной версии : Возможность поюзать Web-камеры для астросъемки . ... Предоставляемые Web-камеры - высшего качества и их реально можно . поюзать на предмет астрономических съемок. ... 27.10.2013, 01:28 . ... За это время вполне можно проверить и качество камеры и возможность видеокамеры на предмет астро съемки с помощью собственного телескопа. ...
[
Сохраненная копия
]
Ссылки http://www.starlab.ru/archive/index.php/t-26172.html -- 8.5 Кб -- 10.04.2016
Похожие документы
Похожие документы
11. Звездный альманах - звезда в подарок. Назвать звезду
Звездный Альманах . ... Звезды 16 величины от 5100 руб. ... 11250 руб. узнать подробнее . ... Купить Звезду любви сейчас 8600 руб. узнать подробнее . Купить Звезду . ... Несколько десятков лет назад никто и подумать не мог о возможности обладать персональным небесным телом, а тем более - назвать звезду, увековечив собственное имя, своей второй половины, товарища или партнера по бизнесу. ... Компания ?Звездный альманах? уполномочена выдавать сертификаты, подтверждающие факт наименования звезды. ...
Еще в разделе:
(Показать все результаты (>5) - www.rosastro.ru/ )
12. В СГАУ обсудили возможности использования суперкомпьютеров
... 08.04.2016 12 апреля состоится гала-концерт Студенческой весны СГАУ . 08.04.2016 Ученые СГАУ получат областную премию . ... Информация Новости В СГАУ обсудили возможности использования суперкомпьютеров . ... Специалисты обсудили, прежде всего, перспективы применения суперкомпьютеров в промышленности, обменялись практическим опытом, рассказали об уникальных возможностях различных суперкомпьютерных центров и лабораторий. ... 846) 335-18-26 Факс: (846) 335-18-36 . ... Тел.: (846) 267-44-99 . ...
[
Сохраненная копия
]
Ссылки http://www.ssau.ru/news/11419-V-SGAU-obsudili-vozmozhnosti-ispolzovaniya-superkompyuterov/ -- 24.2 Кб -- 16.04.2015
Похожие документы
Похожие документы
13. Поставлена под сомнение возможность использования "солнечного паруса"
... Сегодня: 10 апреля 2016 г. Томас Голд, физик из Корнелльского университета (Итака, штат Нью-Йорк), поставил под сомнение саму возможность использования "солнечного паруса" для полетов внутри Солнечной системы. ... Уже несколько десятилетий подряд специалистов по космической технике вдохновляет идея "солнечного паруса". Использование интенсивного потока фотонов, излучаемых ближайшей к нам звездой - так называемого "солнечного ветра" - позволило бы создать экономически выгодные космические корабли. ...
[
Сохраненная копия
]
Ссылки http://news.cosmoport.com/2003/07/09/6.htm -- 23.7 Кб -- 10.04.2016
Похожие документы
Похожие документы
14. 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
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>436) - xray.sai.msu.ru/ )
15. НОВЫЕ ВОЗМОЖНОСТИ ОК 'МИР' ПО СРАВНЕНИЮ С ПРЕДШЕСТВЕННИЦАМИ
НОВЫЕ ВОЗМОЖНОСТИ ОК 'МИР' ПО СРАВНЕНИЮ С ПРЕДШЕСТВЕННИЦАМИ . При создании бортовых систем ОК 'Мир' использовались принципиально новые научно-технические решения. Прежде всего, это относится к системе управления комплекса. ... система сближения 'Курс' использовала новые оптимальные алгоритмы и не требовала разворотов станции при сближении, что позволяло экономить топливо и время сближения (для сравнения на процесс сближения с помощью системы 'Игла' резервировалось до 120 кг топлива); . ...
[
Сохраненная копия
]
Ссылки http://www.astronaut.ru/bookcase/books/stan_mir/text/04.htm -- 4.5 Кб -- 02.06.2013
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>1269) - www.astronaut.ru/ )
16. ФГОС программа. 2.5. Математика
... научатся применять математические знания и представления для решения учебных задач, приобретут начальный опыт применения математических знаний в повседневных ситуациях; . получат представление о числе как результате счета и измерения, о десятичном принципе записи чисел; научатся выполнять устно и письменно арифметические действия с числами; находить неизвестный компонент арифметического действия; составлять числовое выражение и находить его значение; накопят опыт решения текстовых задач; . ...
[
Сохраненная копия
]
Ссылки http://www.college.ru/pages/57-2-5-matematika.html -- 51.3 Кб -- 09.04.2016
Похожие документы
Похожие документы
17. Pulkovo NEO Page: Ephemeris Support
... Пакет программ ЭПОС . ... Является эффективным инструментом для исследования и эфемеридной поддержки наблюдений объектов Солнечной системы. ... Программа вычисляет самые разнообразные по типу и точности эфемериды для наблюдений объектов Солнечной системы, а также для задач моделирования их движения. ... Программа позволяет получить представление о характере видимого движения объектов на небесной сфере, а также выявить "петли" треков, где происходит резкое изменение параметров видимого движения. ...
[
Сохраненная копия
]
Ссылки http://www.gao.spb.ru/personal/neo/rus/esupp/main.htm -- 16.3 Кб -- 06.04.2015
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>169) - www.gao.spb.ru/ )
18. (EHIPS) Совместная обработка количественной и качественной информации
Система использует, наряду с количественной, также качественную (логическую) информацию, содержащуюся в экспертных знаниях. Она применяется для коррекции данных мониторинга, для создания логических моделей влияния различных факторов на здоровье и т.д. Алгоритмы анализа должны предусматривать использование такой информации совместно с количественными данными. Логическое представление информации для ЛПР ("если - то") - часть сценария . ... Она состоит из правил логического вывода. ...
[
Сохраненная копия
]
Ссылки http://www.iki.rssi.ru/ehips/QandQ.htm -- 5.4 Кб -- 15.01.2009
Похожие документы
Похожие документы
19. Сети \ Локальные сети
Основной функцией сетевого адаптера является прием и передача информации в сети. ... Локальная сеть, объединение более двух компьютеров для совместной работы с программами, данными, а так же с периферийными устройствами (принтеры, модемы и др.) ... Тип использованных адаптеров и кабелей определяют основную характеристику локальной сети - скорость передачи информации. ... Шинная топология соответствует соединению всех компьютеров в одноранговую сеть с помощью единственного кабеля. ...
[
Сохраненная копия
]
Ссылки http://www.schools.keldysh.ru/sch1013/gv/net-loc.htm -- 14.1 Кб -- 31.10.2003
Похожие документы
Похожие документы
Еще в разделе:
(Показать все результаты (>1479) - www.schools.keldysh.ru/ )
20. Космический корабль Буран
. Русский . English . Copyrights (c) Vadim Lukashevich, 1998-2013 . Руководство проекта запрещает использовать адреса E-mail, находящиеся на сайте, для нелицензионных массовых рассылок (СПАМа) и занесения их в базы данных. Нарушители будут привлекаться к ответственности в соответствии со ст. 272 УК РФ . e-mail web-master
Еще в разделе:
(Показать все результаты (>742) - www.buran.ru/ )
Астронет | Научная сеть | ГАИШ МГУ | Поиск по МГУ | О проекте | Авторам
Комментарии, вопросы? Пишите: info@astronet.ru или сюда