Sample records for ЗАКОНОДАТЕЛЬНЫЕ ПРОГРАММЫ (legislative programs)
from WorldWideScience.org

Sample records 1 - 20 shown. Select sample records:



1

Эффективность исследования осадков при оценке состояния программ химического анализа технических производственных вод на атомных электростанциях Deposits gage effectiveness of plant water-chemistry programs Атомные электрические станции

Thompson, R. H.

06926000156 Эффективность исследования осадков при оценке состояния программ химического анализа технических производственных вод на атомных электростанциях [Текст] / НПО ЦКТИ. - [Б. м. : б. и.]. - 20 с. : ил. . - Пер.ст. Deposits gage effectiveness of plant water-chemistry programs / R. H. Thompson из журн.: Power. - 1989. - Vol. 133, N 3. - P.11-16. - Б. ц.ГРНТИ 70.25.09 Рубрики: Атомные электрические станции Держатели документа: ГПНТБ России Доп.точки доступа: Thompson, R. H. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

2

Центр для нашего будущего (Экология/Организации)


2006-02-20

Тип неизвестно Полное название (официальное) Центр для нашего будущего Пр …

VINITI Projects Database (Russian)

3

ЦНИИ эпидемилогии МЗ РФ (Биология, Медицина, Сельское хозяйство/Организации)


2006-02-15

Типнаучно-исследовательский институтПолное название (официальное)ЦЕНТРАЛЬНЫЙ НАУЧНО-ИССЛЕДОВАТЕЛЬСКИЙ ИНСТИТУТ ЭПИДЕМИОЛОГИИ МИНИСТЕРСТВА ЗДРАВООХРАНЕНИЯ РОССИИПрофиль деятельностиРазработка теоретиче …

VINITI Projects Database (Russian)

4

Фонд по охране окружающей среды (Экология/Организации)


2006-02-20

Тип неизвестно Полное название (официальное) Фонд по охране окружающей среды …

VINITI Projects Database (Russian)

5

Уточнение программы арктических исследований на двухлетний период: 1990-1991 годы Arctic Research Plan. Biennial Revision 1990-1991Guide to Programs морские ресурсы океанография метеорология геология геофизика климат морские ресурсы погода океанография метеорология геология геофизика климат морские ресурсы погода


95/4 Уточнение программы арктических исследований на двухлетний период: 1990-1991 годы [Текст] / ВЦП. - [Б. м. : б. и.]. - 34 c. - англ. - Arctic Research Plan. Biennial Revision 1990-1991Guide to Programs / US.National Science FoundationGuide to Programs. - Washington, 1989. - P.33-55. - Б. ц.ГРНТИ 39.23УДК 91(98)(045) Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

6

Уточнение программы арктических исследований на 2-х летний период 1990-1991 годы Arctic Research Plan Biennial Revision: 1990-1991Guide to Programs Арктика гляциология экология ресурсы экономика культура Арктика гляциология экология ресурсы экономика культура


95/5 Уточнение программы арктических исследований на 2-х летний период 1990-1991 годы [Текст] / ВЦП. - [Б. м. : б. и.]. - 29 c. - англ. - Arctic Research Plan Biennial Revision: 1990-1991Guide to Programs / US.National Science FoundationGuide to Programs. - Washington, 1989. - P.56-74. - Б. ц.ГРНТИ 39.23УДК 91(98)(045) Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

8

Указатель программ ННФ Guide to Programs Fisical Year 1989Guide to programs океанология океанография бурение программа секция директор океанология океанография бурение программа секция директор


95/20 Указатель программ ННФ [Текст] / ВЦП. - [Б. м. : б. и.]. - 16 c. - англ. - Guide to Programs Fisical Year 1989Guide to programs / US.National Science FoundationGuide to programs. - Washington, 1989. - P.1-X. - Б. ц.ГРНТИ 12.41.21УДК 001(73)(03)(045) Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

10

Том 73 (Математика/Издания)


2006-09-28

Алгебра - 8     [Первая страница] Предоставление копий   Том 73. Алгебра …

VINITI Projects Database (Russian)

12

Ссылки на похожие порталы и сайты (ГСНТИ/Hidden)


2004-12-29

Ссылки на похожие порталы и сайты 1. Министерство промышленности, науки и технологий России — www.mnstp.ru (http://www.mnstp.ru/) 2. Российская академия наук - www.uis.isi …

VINITI Projects Database (Russian)

13

Справочник по программам Национального научного фонда США Guide to programsGuide to Programs программные исследования финансовая поддержка национальные научные фонды программные исследования финансовая поддержка национальные научные фонды США программные исследования финансовая поддержка национальные научные фонды США


95/21 Справочник по программам Национального научного фонда США [Текст] / ВЦП. - [Б. м. : б. и.]. - 40 c. - англ. - Guide to programsGuide to Programs / US.National Science FoundationGuide to Programs. - Washington, 1989. - P.1-27. - Б. ц.ГРНТИ 12.41.21УДК 001(73)(03)(045) Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

14

Системы критических технологий Critical Engineering SystemsGuide to Programs геологические структуры программа исследований геологические структуры атмосфера программа исследований Арктика Антарктика океан Окружающая среда геологические структуры атмосфера программа исследований Арктика Антарктика океан


95/23 Системы критических технологий [Текст] / ВЦП. - [Б. м. : б. и.]. - 35 c. - англ. - Critical Engineering SystemsGuide to Programs / US.National Science FoundationGuide to Programs. - Washington, 1989. - P.28-47. - Б. ц. Библиогр.:p.29ГРНТИ 87.01.21 Рубрики: Окружающая среда Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

15

Северный совет министров (Экология/Организации)


2006-02-20

Тип неизвестно Полное название (официальное) Северный совет министров Про …

VINITI Projects Database (Russian)

17

Российские научные издательства (ГСНТИ/Hidden)


2004-12-29

Специализированные, научные и технические издательства России Название Город URL или почтовый адрес Виды издаваемой литературы Тематика (основная специализация) "Connect". Информа …

VINITI Projects Database (Russian)

19

Программа для аспирантов школы бизнеса Хаган 1990-1991, колледж Иона Graduate Programs Hagan Schod of Business 1990-1991 колледж статус степень помощь программа наука экономика информация предпринимательство искусство колледж статус степень помощь программа наука экономика информация предпринимательство искусство


06937002132 Программа для аспирантов школы бизнеса Хаган 1990-1991, колледж Иона [Текст] / ВЦП. - [Б. м. : б. и.]. - 55 c. - Пер.отчета Graduate Programs Hagan Schod of Business 1990-1991 / Jana College. New York из кн.: . - S.l., 1990. - P. 12-53. - Б. ц.ГРНТИ 14.35.07УДК 33:378(73)(045) Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

20

Принципиальная гидрометаллургическая технология рациональной переработки кжк образований (Экология/Статьи)


2006-02-22

Тип Статья в сериальном издании Авторы Иванков С.И. Название Принципиальная гидрометаллургическая технология рациональной переработки кобальтоносных железомаргонцевых корковых образований Рефера …

VINITI Projects Database (Russian)

22

Политика в области научно-технической информации США: взгляды и перспективы. Гл.9. Передача информации: информационные программы НАСА Information transfer: NASA's information programs передача информации космические исследования коммерциализация космоса передача информации США НТИ НАСА космические исследования коммерциализация космоса Космонавтика передача информации США НТИ НАСА космические исследования коммерциализация космоса

McCarthy, K. G.

06936002837 Политика в области научно-технической информации США: взгляды и перспективы. Гл.9. Передача информации: информационные программы НАСА [Текст] / ВЦП. - [Б. м. : б. и.]. - 42 c. : ил. - Пер.ст. Information transfer: NASA's information programs / K. G. McCarthy из сб.: US Scientific and Technical Information (STI) policies: views and perspectives. - S.l., 1989. - Ch. 9. - P. 241-267. - Б. ц. Библиогр.: 30 назв.ГРНТИ 89.01.17 Рубрики: Космонавтика Держатели документа: ГПНТБ России Доп.точки доступа: McCarthy, K. G. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

23

Поиск (ГСНТИ/О проекте)


2004-12-09

$query=$_GET['query']; $org=$_GET['org']; $rub=$_GET['rub']; $sq=""; $ss='/usr/local/etc/falcon/modfrs/msearch.pl "'; if($query!="")$sq=$ss."(".$query.")"; if($org!="") { if($sq!= …

VINITI Projects Database (Russian)

24

План исследования в Арктике. Гл.4 Arctic Research PlanGuide to Programs Арктика законодательство организация исследование Арктика законодательство организация исследование


95/1 План исследования в Арктике. Гл.4 [Текст] / ВЦП. - [Б. м. : б. и.]. - 37 c. : ил. - англ. - Arctic Research PlanGuide to Programs / US.National Science FoundationGuide to Programs. - Washington, 1989. - P.75-96. - Б. ц. Библиогр.:c.7 ГРНТИ 39.23УДК 91(98)(045) Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

25

План США по научным исследованиям в Арктике Arctic Research Plan Biennal Revision: 1990-1991Guide to Programs научные исследования координация работ Арктика научные исследования координация работ программа план Арктика научные исследования координация работ программа план


95/2 План США по научным исследованиям в Арктике [Текст] / ВЦП. - [Б. м. : б. и.]. - 27 c. : ил. - англ. - Arctic Research Plan Biennal Revision: 1990-1991Guide to Programs / US.National Science FoundationGuide to Programs. - Washington, 1989. - P.II-YII,1-8. - Б. ц.ГРНТИ 39.23УДК 91(98)(045) Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

26

Переработанное и исправленное издание плана арктических научных исследований на 1990-1991 гг. Arctic Research Plan. 2.Proposed Interagency Programs: Contributions to Understanding of Regional and Global processes guide to Programs научно-исследовательская программа информационная система спутниковая связь Арктика научно-исследовательская программа информационная система спутниковая связь Арктика научно-исследовательская программа информационная система спутниковая связь


95/3 Переработанное и исправленное издание плана арктических научных исследований на 1990-1991 гг. [Текст] / ВЦП. - [Б. м. : б. и.]. - 39 c. : ил. - англ. - Arctic Research Plan. 2.Proposed Interagency Programs: Contributions to Understanding of Regional and Global processes guide to Programs / US.National Science FoundationGuide to Programs. - Washington, 1989. - P.9-32. - Б. ц.ГРНТИ 39.23УДК 91(98)(045) Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

28

Организации, учреждения и органы исполнительной власти РФ (Безопасность/Ресурсы)


2004-12-16

Информационный сервер правительства Российской Федерации (http://www.government.gov.ru/index.html) Содержит актуальную информацию по органам исполнительной власти, законодательным и нормативным, п …

VINITI Projects Database (Russian)

30

Новые разработки авиационных двигателей. Ч.2. Программы США Aircraft engine developments. Part 2: US Programs двигатель авиационный программа IHPTET качества эксплуатационные двигатель авиационный истребитель программа IHPTET качества эксплуатационные ресурс конкуренция проектирование Авиационные двигатели двигатель авиационный истребитель программа IHPTET качества эксплуатационные ресурс конкуренция проектирование

Sweetman, B.

06938001650 Новые разработки авиационных двигателей. Ч.2. Программы США [Текст] / ВЦП. - [Б. м. : б. и.]. - 20 c. : ил. - Пер.ст. Aircraft engine developments. Part 2: US Programs / B. Sweetman из журн.: International Defense Review. - 1990. - N 5. - P.533-537. - Б. ц.ГРНТИ 55.42.47 Рубрики: Авиационные двигатели Держатели документа: ГПНТБ России Доп.точки доступа: Sweetman, B. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

32

Научная, техническая и международная политика.7 7.Scientific Technological and International AffairsGuide to Programs научные исследования финансирование научные исследования США финансирование научные исследования США


95/130 Научная, техническая и международная политика.7 [Текст] / ВЦП. - [Б. м. : б. и.]. - 34 c. - англ. - 7.Scientific Technological and International AffairsGuide to Programs / US. National Science FoundationGuide to Programs. - S.l., 1989. - P.77-90. - Б. ц.ГРНТИ 12.41УДК 001(73)(045) Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

35

Международная организация по стандартизации (Экология/Организации)


2006-02-20

Тип неизвестно Полное название (официальное) Международная организация по стандартизации …

VINITI Projects Database (Russian)

36

Математические и физические науки Mathematical and Physical SciencesGuide to Programs финансирование наука Научно-исследовательские институты финансирование наука


95/129 Математические и физические науки [Текст] / ВЦП. - [Б. м. : б. и.]. - 21 c. - англ. - Mathematical and Physical SciencesGuide to Programs / US. National Science FoundationGuide to Programs. - S.l., 1989. - P.49-61. - Б. ц.ГРНТИ 12.41 Рубрики: Научно-исследовательские институты Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

37

Математика в сети Интернет (Математика/Ресурсы)


2006-06-02

    • В Московском математическом обществе • The American Mathematical Society (AMS) • Санкт-Петербургское математическое обществ …

VINITI Projects Database (Russian)

38

Конференция ООН по торговле и развитию (Экология/Организации)


2006-02-20

Тип неизвестно Полное название (официальное) Конференция ООН по торговле и развитию …

VINITI Projects Database (Russian)

43

Институт Острова Земля (Экология/Организации)


2006-02-20

Тип неизвестно Полное название (официальное) Институт Острова Земля Профи …

VINITI Projects Database (Russian)

46

Европейский союз охраны побережий (Экология/Организации)


2006-02-20

Тип неизвестно Полное название (официальное) Европейский союз охраны побережий …

VINITI Projects Database (Russian)

48

ГУП "ВНИИстандарт" (ГСНТИ/Hidden)


2004-12-21

ГОСУДАРСТВЕННОЕ УНИТАРНОЕ ПРЕДПРИЯТИЕ "ВСЕРОССИЙСКИЙ НАУЧНО - ИССЛЕДОВАТЕЛЬСКИЙ ИНСТИТУТ СТАНДАРТИЗАЦИИ ГОССТАНДАРТА РОССИИ" (ГУП "ВНИИстандарт") vniistand@gost.ru (mailto:vniistand@gos …

VINITI Projects Database (Russian)

49

ГЛАВНЫЙ БОТАНИЧЕСКИЙ САД им. Н.В. ЦИЦИНА РАН (Биология, Медицина, Сельское хозяйство/Организации)


2006-02-16

ТипПолное название (официальное)ГЛАВНЫЙ БОТАНИЧЕСКИЙ САД им. Н.В. ЦИЦИНАПрофиль деятельностиОсновные направления исследований- интродукция и акклиматизация растений; сохранение генофонда растений ex s …

VINITI Projects Database (Russian)

51

Всемирная организация здравоохранения (Экология/Организации)


2006-02-20

Тип неизвестно Полное название (официальное) Всемирная организация здравоохранения …

VINITI Projects Database (Russian)

53

Ведущиеся и законченные открытые научно-исследовательские и опытно-конструкторские работы (ГСНТИ/Ресурсы)


2004-12-10

Название БД: Регистрация интеллектуального продукта Название автоматизированной системы: Содержание: реферативная информация о результатах творческой деятельности зарегистрированных во ВНТИЦ с 19 …

VINITI Projects Database (Russian)

55

Англо-русский словарь по информатике (Информатика/Ресурсы)


2005-02-11

   A B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (http://science.viniti.ru/index.php?option=com_content&task=view&id=195&Itemid=310)&nb …

VINITI Projects Database (Russian)

57

Александров Валерий Сергеевич (Информатика/Персоналии)


2006-02-21

Страна: Russian Federation Город: Санкт-Петербург Адрес: Московский пр., 19 Email: V.S.Alexandrov@vniim.ru Телефон: 7 (812) 316-90-73, Должность: Заместитель директора по науке Обл …

VINITI Projects Database (Russian)

58

Александров Валерий Сергеевич (Автоматика и радиоэлектроника/Персоналии)


2006-04-17

ФамилияАлександровИмяВалерийОтчествоСергеевичСтранаRUZIPГородСанкт-ПетербургАдресМосковский пр., 19emailV.S.Alexandrov@vniim.ru (mailto:V.S.Alexandrov@vniim.ru)Ключевые словаФаксТелефон7 (812) 316-90- …

VINITI Projects Database (Russian)

59

theory of computability: programs, machines, effectiveness and Feasibility 0 ^aТеория вычислимости: программы, машины, эффективность и возможности осуществления Addison-Wesley 0 ; вычислительные машины; программы; эффективность Библиогр.: с.429-433.-Указ.: с.435-441 0 ; вычислительные машины; программы; эффективность

Westrhenen, S.C.van

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Sommerhalder R., Westrhenen S.C.van Заглавие : The theory of computability: programs, machines, effectiveness and Feasibility . -1st print. Выходные данные : Wokingham etc.: Addison-Wesley, 1988 Колич.характеристики :XII, 441 с: ил Примечания : ; Библиогр.: с.429-433.-Указ.: с.435-441 ISBN, Цена 0-201-14214-7: Б.ц. ГРНТИ : ; 50.07.03 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; вычислительные машины; программы; эффективность Перейти к источнику в Интернете: The theory of computability: programs, machines, effectiveness and Feasibility Доп.точки доступа: Westrhenen, S.C.van PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

60

proof procedure for extended logic programs Report:Computer science Программирование для ЭВМ логическое, , лопрэв


R/16212/CS-R9359 Teusink, F. A proof procedure for extended logic programs [Text] : сборник научных трудов / F.Teusink. - Amsterdam : [s. n.], 1993. - 12 p. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9359). - 20 р. Библиогр.:с.12ГРНТИ 50.05.03УДК 004.42.047 Рубрики: Программирование для ЭВМ логическое Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

61

note on coinduction and weak bisimilarity for while programs Report:Software engineering 24427; Параллельные вычисления


R/17937/SEN-R9826 Rutten, J. J.M.M. A note on coinduction and weak bisimilarity for while programs [Text] : сборник научных трудов / J.J.M.M.Rutten. - Amsterdam : [s. n.], 1998. - 6 p. : ill. - (Report:Software engineering / CWI, ISSN 1386-369X ; SEN-R9826). - 10.00 р. Библиогр.:с.6ГРНТИ 50.44.04УДК 004.272.2 Рубрики: Параллельные вычисления Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

62

intragenerational redistributive effects of unfunded pension programs Working paper социальное обеспечение Социальное обеспечение социальное обеспечение


R/17742/WP/98/180 Cubeddu, L. The intragenerational redistributive effects of unfunded pension programs [Text] : сборник научных трудов / L.Cubeddu. - S.l. : [s. n.], 1998. - 34 p. : ill. - (Working paper / IMF ; WP/98/180). - 20.00 р. Библиогр.:с.34ГРНТИ 10.67.3382.15.21УДК 368.4 Рубрики: Социальное обеспечение Держатели документа: ГПНТБ России Экз-ры: кди(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

63

finite representation of abstract programs by automata and Petri nets 0 ^aКонечное представление абстрактных программ при помощи теории автоматов и сетей Петри:Дис 0 ; Петри сети; автоматов теория; программы абстрактные Библиогр.: с. 206-211 0 ; Петри сети; автоматов теория; программы абстрактные


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Taubner D.A Заглавие : The finite representation of abstract programs by automata and Petri nets : Diss. Dokt. Naturwiss. Univ. Munchen Выходные данные : Munchen, 1988 Колич.характеристики :215 с: ил Примечания : ; Библиогр.: с. 206-211 Цена : Б.ц. ГРНТИ : ; 27.45.17 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; петри сети; автоматов теория; программы абстрактные Перейти к источнику в Интернете: The finite representation of abstract programs by automata and Petri nets PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

64

development of magneto-optic disk operation managing programs for NS system Technical report оптический диск оптический диск


R/4916/TR-1086 Tsuchiya, M. The development of magneto-optic disk operation managing programs for NS system [Text] : сборник научных трудов / M.Tsuchiya. - S.l. : [s. n.], 1990. - 22 p. : ill. - (Technical report / Nat.aerospace lab., ISSN 0389-4010 ; TR-1086). - 1.00 р. Текст яп.Рез.англ.Библиогр.: с.22ГРНТИ 73.37.81УДК 629.78.05:681.3 Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

65

catalogue of programs and packages from the program library INTERFAP Czechoslovakia Acad. of sciences. General computing centre 0 ^aКаталог и пакеты компьютерных программ поставляемых Библиотекой программ INTERFAP в Праге 0 ; пакеты компьютерных программ; INTERFAP 0 ; пакеты компьютерных программ; INTERFAP


Вид документа : Однотомное издание Шифр издания : K Заглавие : The catalogue of programs and packages from the program library INTERFAP Выходные данные : Praha, 1987 Колич.характеристики :100 с Серия: Czechoslovakia Acad. of sciences. General computing centre Цена : Б.ц. ГРНТИ : ; 50.41.25 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; пакеты компьютерных программ; interfap Перейти к источнику в Интернете: The catalogue of programs and packages from the program library INTERFAP PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

66

analysis of loop checking mechanisms for logic programs Report:Computer science логическое программирование Программирование для ЭВМ логическое логическое программирование

Apt, K.R.; Klop, J.W.

R/16212/CS-R8942 Bol, R. N. An analysis of loop checking mechanisms for logic programs [Text] : сборник научных трудов / R.N.Bol,K.R.Apt,J.W.Klop. - Amsterdam : [s. n.], 1989. - 56 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R8942). - 1.00 р. Библиогр.:с.55-56ГРНТИ 50.05.13УДК 004.42.047 Рубрики: Программирование для ЭВМ логическое Держатели документа: ГПНТБ России Доп.точки доступа: Apt, K.R.; Klop, J.W. Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-89876 PROGRAMS$

State Public Technical Library of Russia (Russian)

67

Xiyou jinshu cailiao yu (Металлургия/Статьи)


2006-02-20

Тип Отдельный выпуск журнала Авторы Название X …

VINITI Projects Database (Russian)

68

Working paper. 379: Carbon sequestration, co-benefits, and conservation programs 1 ^aСопутствующие эколого-экономические выгоды от удержания углерода в почве при ведении с.-х. деятельности и оценка программ консервации земель в США с этой точки зрения на примере верхнего бассейна р. Миссисипи 0 ; углерод 0 ; почва 0 ; экологически безопасные технологии 0 ; программы 0 ; охрана почв 0 ; эрозия почвы 0 ; загрязнение окружающей среды 0 ; экономическая эффективность 0 ; бассейны рек 0 ; сша 0 ; углерод 0 ; почва 0 ; экологически безопасные технологии 0 ; программы 0 ; охрана почв 0 ; эрозия почвы 0 ; загрязнение окружающей среды 0 ; экономическая эффективность 0 ; бассейны рек 0 ; сша Текст англ. 0 ; углерод 0 ; почва 0 ; экологически безопасные технологии 0 ; программы 0 ; охрана почв 0 ; эрозия почвы 0 ; загрязнение окружающей среды 0 ; экономическая эффективность 0 ; бассейны рек 0 ; сша

Kling, C.L.; Gassman, P.W.

Вид документа : Однотомное издание Шифр издания : . 87.21. rugasnti Автор(ы) : Feng H., Kling C.L., Gassman P.W. Заглавие : Working paper. 379: Carbon sequestration, co-benefits, and conservation programs Выходные данные : Б.м., 2004 Колич.характеристики :9, [2] c.: карт. Примечания : ; Библиогр.: с. 9. - ; Текст англ. Цена : Б.ц. ГРНТИ : ; 87.21 + ; 68.75.21 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; углерод--0 ; почва--0 ; экологически безопасные технологии--0 ; программы--0 ; охрана почв--0 ; эрозия почвы--0 ; загрязнение окружающей среды--0 ; экономическая эффективность--0 ; бассейны рек--0 ; сша Перейти к источнику в Интернете: Working paper. 379: Carbon sequestration, co-benefits, and conservation programs, Перейти к источнику в Интернете:  Доп.точки доступа: Kling, C.L.; Gassman, P.W. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

69

Who's in charge? Ownership and conditionality in IMF-supported programs Working paper ; Финансовые организации


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Boughton J.M. Заглавие : Who's in charge? Ownership and conditionality in IMF-supported programs Выходные данные : S. l., 2003 Колич.характеристики :24 p.: ill. Серия: Working paper/ International monetary fund; WP/03/191 Примечания : ; Библиогр.: с.24 Цена : Б.ц. ГРНТИ : ; 06.73 УДК : Предметные рубрики: Финансовые организации Перейти к источнику в Интернете: Who's in charge? Ownership and conditionality in IMF-supported programs PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

70

Who benefits from farm programs: size and structure issues? AFPC staff rep./Texas A and M univ. Agr. and food policy center; 88-4 0 ^aОбзор имитационных компьютерных моделей по экономике сельского хозяйства, растениеводству, животноводству и маркетингу с.-х. продукции, разработанных кафедрой экономики сельского хозяйства Техасского с.-х. университета 0 ; экономика; сельское хозяйство; растениеводство; животноводство; маркетинг Библиогр.: л. 17-18 0 ; экономика; сельское хозяйство; растениеводство; животноводство; маркетинг

Smith, E.G.; Knutson, R.D.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Richardson J.W., Smith E.G., Knutson R.D. Заглавие : Who benefits from farm programs: size and structure issues? Выходные данные : College Station (Tex.), 1988 Колич.характеристики :18 л с.: ил Серия: AFPC staff rep./Texas A and M univ. Agr. and food policy center; 88-4 Примечания : ; Библиогр.: л. 17-18 Цена : Б.ц. ГРНТИ : ; 68.01.75 Ключевые слова (''Своб.индексиров.''): 0 ; экономика; сельское хозяйство; растениеводство; животноводство; маркетинг Перейти к источнику в Интернете: Who benefits from farm programs: size and structure issues? Доп.точки доступа: Smith, E.G.; Knutson, R.D. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

73

Verification of sequential and concurrent programs Texts and monographs in computer science Springer программа-тест Программы-тесты для ЭВМ программа-тест

Olderog, E.-R.

J2/23638 Apt, K. R. Verification of sequential and concurrent programs [Text] : материал технической информации / K.R.Apt,E.-R.Olderog. - Berlin etc. : Springer, 1991. - XIV,441 p. p. - (Texts and monographs in computer science). - ISBN 3-540-97532-2 : 89.00 р. Библиогр.в конце гл.Указ.:с.433-441ГРНТИ 50.05.13УДК 004.415.535 Рубрики: Программы-тесты для ЭВМ Держатели документа: ГПНТБ России Доп.точки доступа: Olderog, E.-R. Экз-ры: АЛГ(1), (2) Копия: мкф., Шифр MR-99652 PROGRAMS$

State Public Technical Library of Russia (Russian)

74

Verification of sequential and concurrent programs Graduate texts in computer science Springer программа Программы для ЭВМ, Верификация программа

Olderog, E.R.

J2/26716 Apt, K. R. Verification of sequential and concurrent programs [Text] : сборник / K.R.Apt,E.R.Olderog. - 2nd ed. - New York etc. : Springer, 1997. - XVII,364 p. p. - (Graduate texts in computer science). - ISBN 0-387-94896-1 : 500.00 р. Библиогр.:с.343-352.Указ.:с.353-364ГРНТИ 50.05.13УДК 004.415.535 Рубрики: Программы для ЭВМ--Верификация Держатели документа: ГПНТБ России Доп.точки доступа: Olderog, E.R. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

75

V (Информатика/Англо-русский словарь по информатике)


2005-01-06

   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

76

Using transformations to verify parallel programs Report:Computer science программа Программы для ЭВМ, Верификация программа

Apt, K.R.

R/16212/CS-R8956 Olderog, E. -R. Using transformations to verify parallel programs [Text] : сборник научных трудов / E.-R.Olderog,K.R.Apt. - Amsterdam : [s. n.], 1989. - 27 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R8956). - 5.00 р. Библиогр.в конце кн.ГРНТИ 50.05.03УДК 004.415.535 Рубрики: Программы для ЭВМ--Верификация Держатели документа: ГПНТБ России Доп.точки доступа: Apt, K.R. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

77

Using transformations to verify parallel programs Rep./Centrum voor wiskunde en informatica (Amsterdam). Computer science; CS-R8956 0 ^aИспользование преобразований для верификации параллельных программ 0 ; верификация параллельных программ Библиогр. в конце книги 0 ; верификация параллельных программ

Apt, K.R.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Olderog E.-R., Apt K.R. Заглавие : Using transformations to verify parallel programs Выходные данные : Amsterdam, 1989 Колич.характеристики :27 с: ил Серия: Rep./Centrum voor wiskunde en informatica (Amsterdam). Computer science; CS-R8956 Примечания : ; Библиогр. в конце книги Цена : Б.ц. ГРНТИ : ; 50.05.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; верификация параллельных программ Перейти к источнику в Интернете: Using transformations to verify parallel programs, Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  Доп.точки доступа: Apt, K.R. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

78

University of Würzburg. Robotics and Telematics (Машиностроение/Организации)


2006-02-17

Тип: университет Профиль деятельности: Mobile Robots, Telematics, Space exploration, Robots in medicine ГРНТИ: 55.30 Область наук: Техника Город: Würzburrg, Deutschland www …

VINITI Projects Database (Russian)

80

University of Southern California Robotics Research Laboratory (Машиностроение/Организации)


2006-02-17

Тип: научный центр Профиль деятельности: Research in autonomous robotics, biological and artificial neural systems, reinforcement learning, genetic algorithms, robotic and prosthetic hands, desig …

VINITI Projects Database (Russian)

82

University of Electro-Communications. Yamafuji and Ulyanov Lab. (Машиностроение/Организации)


2006-02-17

Тип: университет Профиль деятельности: Mechatronics, Mobile robots, Manipulators Сокр. название: EC ГРНТИ: 55.30 Область наук: Техника Город: Tokyo, Japan www.yama.mce.uec.ac.jp/ …

VINITI Projects Database (Russian)

84

University of Dortmund. Institute of Robotics Research (Машиностроение/Организации)


2006-02-17

Тип: научный центр Профиль деятельности: Multi-Robot-Systems, Space robotics, Automation, Communication, Mobile robots Сокр. название: IRF ГРНТИ: 55.30 Область наук: Техника Город: Do …

VINITI Projects Database (Russian)

86

University of Bremen. Institute for Automation (Машиностроение/Организации)


2006-02-17

Тип: научный центр Профиль деятельности: Servicerobotics, Planning, Vision, Teaching, Inverse kinematics ГРНТИ: 55.30 Область наук: Техника Город: Bremen, Deutschland http://siem …

VINITI Projects Database (Russian)

89

University Aachen. European Center for Mechatronics (Машиностроение/Организации)


2006-02-17

Тип: университет Профиль деятельности: Mechatronics, Micromechanics, Service robots, Communication, Userinterface, Sensor systems ГРНТИ: 55.30 Область наук: Техника Город: Aachen, Deutsc …

VINITI Projects Database (Russian)

90

University Aachen Prozeßsteuerung in der Schweißtechnik (Машиностроение/Организации)


2006-02-17

Тип: университет Профиль деятельности: Mobile robots, Manufacturing ГРНТИ: 55.30 Область наук: Техника Город: Aahen, Deutschland www.rwth-aahen.de (www.rwth-aahen.de) …

VINITI Projects Database (Russian)

92

Understanding federal commodity programs National food review;Vol11;iss3 0 ; производство; сбыт; продовольствие; США 0 ; производство; сбыт; продовольствие; США


Вид документа : Однотомное издание Шифр издания : Заглавие : Understanding federal commodity programs Выходные данные : Washington, 1988 Колич.характеристики :45 с: ил Серия: National food review;Vol11;iss3/ USDA. Economic research service Цена : Б.ц. ГРНТИ : ; 68.01.75 Ключевые слова (''Своб.индексиров.''): 0 ; производство; сбыт; продовольствие; сша Перейти к источнику в Интернете: Understanding federal commodity programs PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

94

Types for proofs and programs Lecture notes in computer science Springer Программы для ЭВМ, Верификация, Съезды и конференции

Barendregt, H. ed.; Nipkow, T. ed.

R/9132/806 Types for proofs and programs [Text] : intern.workshop TYPES'93,Nijmegen,The Netherlands,May 24-28 1993:Sel.papers / TYPES'93. - Berlin etc. : Springer , 1994. - 383 p. - (Lecture notes in computer science, ISSN 0302-9743 ; 806). - ISBN 3-540-58085-9 : 29473 р. Библиогр.в конце статейГРНТИ 50.05.13УДК 004.415.5(063) Рубрики: Программы для ЭВМ--Верификация--Съезды и конференции Держатели документа: ГПНТБ России Доп.точки доступа: Barendregt, H. \ed.\; Nipkow, T. \ed.\ Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-105983 PROGRAMS$

State Public Technical Library of Russia (Russian)

95

Turbo Pascal programs for scientists and engineers 0 ^aПрограммы на языке Турбо Паскаль для научных работников и инженеров. Вариан 4.0 SYBEX 0 ; язык Турбо Паскаль Указ.: с.316-322 0 ; язык Турбо Паскаль


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Miller A.R. Заглавие : Turbo Pascal programs for scientists and engineers : For version 4.0. Выходные данные : San Francisco etc: SYBEX, 1987 Колич.характеристики :XXII, 322 с: ил Примечания : ; Указ.: с.316-322 ISBN, Цена 0-89588-424-0: Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; язык турбо паскаль Перейти к источнику в Интернете: Turbo Pascal programs for scientists and engineers PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

96

Trends in state and federal funding for state forestry programs Research rep./Univ. of Georgia. College of agriculture. Georgia agr. experiment stations; 553 0 ^aДанные о финансировании программ по лесоразведению в период с 1978 по 1987 гг. 0 ; финансирование; лесоразведение Библиогр.: с.22 0 ; финансирование; лесоразведение

Cubbage, F.W.; Risbrudt, Ch.D.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Lickwar P.M., Cubbage F.W., Risbrudt Ch.D. Заглавие : Trends in state and federal funding for state forestry programs Выходные данные : Athens, Ga., 1988 Колич.характеристики :22 с: ил Серия: Research rep./Univ. of Georgia. College of agriculture. Georgia agr. experiment stations; 553 Примечания : ; Библиогр.: с.22 Цена : Б.ц. ГРНТИ : ; 68.47.75 Ключевые слова (''Своб.индексиров.''): 0 ; финансирование; лесоразведение Перейти к источнику в Интернете: Trends in state and federal funding for state forestry programs Доп.точки доступа: Cubbage, F.W.; Risbrudt, Ch.D. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

97

Translating relational queries into iterative programs Lecture notes in computer science 0 ^aТрансляция теоретико-множественных запросов в итерационных программах Springer Библиогр.: с. 127-131


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Freytag, Johann Christoph Заглавие : Translating relational queries into iterative programs Выходные данные : Berlin etc.: Springer, 1987 Колич.характеристики :XI, 131 с.: ил.; 24 см. Серия: Lecture notes in computer science Примечания : ; Библиогр.: с. 127-131 ISBN, Цена 3-540-18000-1: Б.ц. ГРНТИ : ; 50.05.03 Перейти к источнику в Интернете: Translating relational queries into iterative programs, Перейти к источнику в Интернете:  PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

98

Translating programs into delay-insensitive circuits CWI tract;56 Centrum voor wiskunde en informatica 0 ; цифровые данные; передача данных; перевод программ; схемы задержки Библиогр.: с. 211-213.-Указ.: с. 214-216 0 ; цифровые данные; передача данных; перевод программ; схемы задержки

Bakker, J.W. .; Hazewinkel, M. .; Lenstra, J.K. .

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Ebergen J.C. Заглавие : Translating programs into delay-insensitive circuits Выходные данные : Amsterdam, 1989 Колич.характеристики :10, 216 с: ил Коллективы : Centrum voor wiskunde en informatica Серия: CWI tract;56/ CWI Примечания : ; Библиогр.: с. 211-213.-Указ.: с. 214-216 ISBN, Цена 90-6196-363-X: Б.ц. ГРНТИ : ; 50.11 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; цифровые данные; передача данных; перевод программ; схемы задержки Перейти к источнику в Интернете: Translating programs into delay-insensitive circuits, Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  Доп.точки доступа: Bakker, J.W. \.\; Hazewinkel, M. \.\; Lenstra, J.K. \.\ PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

99

Translating logic programs into conditional rewriting systems Report:Probability,networks and algorithms логическое программирование вычислительная сеть алгоритм Программирование для ЭВМ логическое логическое программирование вычислительная сеть алгоритм


R/17935/PNA-R9803 Raamsdonk, F. van Translating logic programs into conditional rewriting systems [Text] : сборник научных трудов / F.vanRaamsdonk. - Amsterdam : [s. n.], 1998. - 21 p. - (Report:Probability,networks and algorithms / CWI, ISSN 1386-3711 ; PNA-R9803). - 10.00 р. Библиогр.:c.17-18ГРНТИ 50.05.03УДК 004.42.047 Рубрики: Программирование для ЭВМ логическое Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

100

Transforming acyclic programs Report:Computer science Программирование для ЭВМ логическое, , лопрэв

Etalle, S.

R/16212/CS-R9369 Bossi, A. Transforming acyclic programs [Text] : монография / A.Bossi,S.Etalle. - Amsterdam : [s. n.], 1993. - 14 p. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9369). - Б. ц. Библиогр.:с.13-14ГРНТИ 50.05.03УДК 004.42.047 Рубрики: Программирование для ЭВМ логическое Держатели документа: ГПНТБ России Доп.точки доступа: Etalle, S. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

101

Toshiba. Research and Development Center (Машиностроение/Организации)


2006-02-17

Тип: научный центр Профиль деятельности: Vision, Speech, Humanoids, Pipeline inspection, Control, Modular manipulation ГРНТИ: 55.30 Область наук: Техника Город: Tokyo www.toshiba …

VINITI Projects Database (Russian)

102

Three-valued completion for abductive logic programs Report:Computer science логическое программирование Программирование для ЭВМ логическое, , лопрэв логическое программирование


R/16212/CS-R9474 Teusink, F. Three-valued completion for abductive logic programs [Text] : сборник научных трудов / F.Teusink. - Amsterdam : [s. n.], 1994. - 32 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9474). - 200 р. Библиогр.:с.31-32ГРНТИ 50.05.03УДК 004.42.047 Рубрики: Программирование для ЭВМ логическое Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

103

The role of multilateral food aid programs World food program studies 1 ^aРоль многосторонних программ ФАО в продовольственной помощи FAO 0 ; программы 0 ; продовольственная помощь 0 ; питание человека 0 ; голод 0 ; фао 0 ; страны мира 0 ; программы 0 ; продовольственная помощь 0 ; питание человека 0 ; голод 0 ; фао 0 ; страны мира На обл. авт. не указан 0 ; программы 0 ; продовольственная помощь 0 ; питание человека 0 ; голод 0 ; фао 0 ; страны мира


Вид документа : Однотомное издание Шифр издания : . 68.75.21. rugasnti Автор(ы) : Dessau J. Заглавие : The role of multilateral food aid programs Выходные данные : Rome: FAO, 1965 Колич.характеристики :V, 38 c. Серия: World food program studies/ FAO; N 5 Примечания : ; На обл. авт. не указан; Текст англ. Цена : Б.ц. ГРНТИ : ; 68.75.21 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; программы--0 ; продовольственная помощь--0 ; питание человека--0 ; голод--0 ; фао--0 ; страны мира Перейти к источнику в Интернете: The role of multilateral food aid programs PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

104

The macroeconomic effects of ESAF-supported programs:revisiting some methodological issues Working paper макроэкономика экономика Макроэкономика, , ма Экономика, Управление, , эк макроэкономика экономика

Mecagni, M.; Schadler, S.

R/17742/WP/95/92 Dicks-Mireaux, L. The macroeconomic effects of ESAF-supported programs:revisiting some methodological issues [Text] : сборник научных трудов / L.Dicks-Mireaux,M.Mecagni,S.Schadler;Prepared by L.Dicks-Mireaux,M.Mecagni,S.Schadler. - S.l. : [s. n.], 1995. - 34 p. : ill. - (Working paper / IMF ; WP/95/92). - 10000 р. Библиогр.:с.33-34ГРНТИ 06.75УДК 338.246.027 Рубрики: МакроэкономикаЭкономика--Управление Держатели документа: ГПНТБ России Доп.точки доступа: Mecagni, M.; Schadler, S. Экз-ры: кди(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

105

The effects of forward- versus backward-looking wage indexation on price stabilization programs Working paper Финансы в зарубежных странах, , застфи


R/17742/WP/97/38 Crowley, J. The effects of forward- versus backward-looking wage indexation on price stabilization programs [Text] : сборник научных трудов / J.Crowley;Prepared by J.Crowley. - S.l. : [s. n.], 1997. - 34 p. : ill. - (Working paper / IMF ; WP/97/38). - 5000 р. Библиогр.:с.33-34ГРНТИ 06.73УДК 336.1/.7(104) Рубрики: Финансы в зарубежных странах Держатели документа: ГПНТБ России Экз-ры: кди(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

107

The Institute of Nanotechnology (Химия/Организации)


2006-02-21

Тип: институт Профиль деятельности: Развитие и продвижение всех аспектов нанотехнологии. Организация международных научных мероприятий, обучающих курсов для поощрения внедрения нанотехнологии в п …

VINITI Projects Database (Russian)

108

Termination proofs for logic programs Lecture notes in artificial intelligence Завершающие доказательства для логических программ Springer логическое программирование Программирование для ЭВМ логическое логическое программирование


R/16482/446 Pl@:umer, L. Termination proofs for logic programs [Text] : материал технической информации / L.Pl@:umer. - Berlin : Springer, 1990. - 142 p. : ill. - (Lecture notes in artificial intelligence ; n446). - ISBN 3-540-52837-7 : 10.30 р. Библиогр.: с. 132-139. Указ.: с. 140-142 Перевод заглавия: Завершающие доказательства для логических программПеревод заглавия: Завершающие доказательства для логических программГРНТИ 50.05.13УДК 004.42.047 Рубрики: Программирование для ЭВМ логическое Держатели документа: ГПНТБ России Экз-ры: АЛГ(1), (2) Копия: мкф., Шифр MR-93538 PROGRAMS$

State Public Technical Library of Russia (Russian)

109

Termination proofs for logic programs Lecture notes in artificial intelligence 0 ^aЗавершающие доказательства для логических программ Springer 0 ; доказательства для логической программы Библиогр.: с. 132-139.-Указ.: с. 140-142 0 ; доказательства для логической программы


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Plumer L. Заглавие : Termination proofs for logic programs Выходные данные : Berlin: Springer, 1990 Колич.характеристики :142 с: ил Серия: Lecture notes in artificial intelligence; N446 Примечания : ; Библиогр.: с. 132-139.-Указ.: с. 140-142 ISBN, Цена 3-540-52837-7: Б.ц. ГРНТИ : ; 50.05.03 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; доказательства для логической программы Перейти к источнику в Интернете: Termination proofs for logic programs, Перейти к источнику в Интернете:  PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

110

Technische Universität Münchenn. Theoretische Informatik und Grundlagen der KI (Машиностроение/Организации)


2006-02-17

Тип: университет Профиль деятельности: Adaptive control, Mobile robots, Distributed AI, Neural Networks ГРНТИ: 55.30 Область наук: Техника Город: Münche n,, Deutschland www. …

VINITI Projects Database (Russian)

112

Techniques for obtaining high performance in Java programs UMSI research report программирование Программирования языки, Java программирование

Kazi, I.H.; Stanley, B.; Lilja, D.J.; Verma, A.

R/17401/99/1 Techniques for obtaining high performance in Java programs [Text] : сборник научных трудов / I.H.Kazi,B.Stanley,D.J.Lilja и др. - Minneapolis(Mn) : [s. n.], 1999. - 38 p. : ill. - (UMSI research report / Univ.of Minnesota ; 99/1). - 5.00 р. Библиогр.:с.34-38ГРНТИ 50.05.09УДК 004.438 Рубрики: Программирования языки--Java Держатели документа: ГПНТБ России Доп.точки доступа: Kazi, I.H.; Stanley, B.; Lilja, D.J.; Verma, A. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

113

Technical University of Hamburg-Harburg. Department for machine tools and automation technology (Машиностроение/Организации)


2006-02-17

Тип: университет Профиль деятельности: Autonomous robots, Vision, Pattern recognition, Medical robotics, Planning, Manipulation ГРНТИ: 55.30 Область наук: Техника Город: Hamburg, Deutsch …

VINITI Projects Database (Russian)

114

Technical University Berlin. Real-Time Systems (Машиностроение/Организации)


2006-02-17

Тип: университет Профиль деятельности: Mobile robots, Human interface, Vision, Realtime ГРНТИ: 55.30 Область наук: Техника Город: Berlin, Deutschland www.tu-berlin.de (www.tu-ber …

VINITI Projects Database (Russian)

115

Tax revenue forecasts in IMF-supported programs Working paper Intern. monetary fund ; Налоги

King, J.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Golosov M., King J. Заглавие : Tax revenue forecasts in IMF-supported programs Выходные данные : S.l.: Intern. monetary fund, 2002 Колич.характеристики :23 p.: ill. Серия: Working paper/ International monetary fund; WP/02/236 Примечания : ; Библиогр.: с.22-23 Цена : Б.ц. ГРНТИ : ; 06.73.15 УДК : Предметные рубрики: Налоги Перейти к источнику в Интернете: Tax revenue forecasts in IMF-supported programs Доп.точки доступа: King, J. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

116

T (Информатика/Англо-русский словарь по информатике)


2005-01-04

   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

117

Summary of selected computer programs produced by the U.S.geological survey for simulation of ground-water flow and quality,1994 Circular подземная вода подземная вода 26060; Подземные воды, Динамика, Моделирование Подземные воды, Качество, Моделирование, , вопо подземная вода подземная вода

Reilly, T.E.

R/4375/1104 Appel, C. A. Summary of selected computer programs produced by the U.S.geological survey for simulation of ground-water flow and quality,1994 [Text] : сборник / C.A.Appel,T.E.Reilly. - Denver(Co) : [s. n.], 1994. - 98 p. : ill. - (Circular / US.Geol.survey ; 1104). - 300 р. Библиогр.:с.85-93ГРНТИ 38.61.05УДК 556.34-047.58556.31-047.58 Рубрики: Подземные воды--Динамика--МоделированиеПодземные воды--Качество--Моделирование Держатели документа: ГПНТБ России Доп.точки доступа: Reilly, T.E. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

118

Study on data processing programs using their semantic models Researches информация Информация, Обработка, , ин информация


R/1872/964 Mano, N. Study on data processing programs using their semantic models [Text] : сборник научных трудов / N.Mano. - S.l. : [s. n.], 1994. - 114 p. - (Researches / Electrotechn.lab., ISSN 0366-9106 ; n964). - 200 р. Рез.англ.Библиогр.:с.108-112ГРНТИ 20.53.19УДК 004.62 Рубрики: Информация--Обработка Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

119

Structured enrichment programs for couples and families Brunner/Mazel

Weinstein, Steven E.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : L'Abate, Luciano, Weinstein, Steven E. Заглавие : Structured enrichment programs for couples and families Выходные данные : New York: Brunner/Mazel, 1987 Колич.характеристики :XIII, 502 p.: ill. ISBN, Цена 0-87630-407-2: Б.ц. ГРНТИ : ; 76.31 УДК : + Перейти к источнику в Интернете: Structured enrichment programs for couples and families Доп.точки доступа: Weinstein, Steven E. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

120

Strengthening national research programs through training 0 ^aУсиление национальной программы исследований по улучшению сортов кукурузы и пшеницы путем повышения квалификации специалистов:Достижения за период 1966-1986 г.г. 0 ; кукуруза; пшеница; сорта 0 ; кукуруза; пшеница; сорта


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Dowswell Ch.R. Заглавие : Strengthening national research programs through training : A twenty-year progress rep. Выходные данные : Mexico, 1986 Колич.характеристики :19 с: ил Цена : Б.ц. ГРНТИ : ; 68.35.29 Ключевые слова (''Своб.индексиров.''): 0 ; кукуруза; пшеница; сорта Перейти к источнику в Интернете: Strengthening national research programs through training PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

121

Statewide forest resource planning programs Station bull./Univ. of Minnesota. Minnesota agr. experiment station; 582-1987 0 ^aПрограммы планирования использования лесных ресурсов; осуществление программ, их эффективность 0 ; лесные ресурсы; планирование; использование Библиогр.: с.79-80 0 ; лесные ресурсы; планирование; использование

Ellefson, P.W.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Gray G.J., Ellefson P.W. Заглавие : Statewide forest resource planning programs : An evaluation of program administration and effectiveness Выходные данные : St. Paul (Minn.), 1987 Колич.характеристики :6, 149 с: ил Серия: Station bull./Univ. of Minnesota. Minnesota agr. experiment station; 582-1987 Примечания : ; Библиогр.: с.79-80 Цена : Б.ц. ГРНТИ : ; 68.47.75 Ключевые слова (''Своб.индексиров.''): 0 ; лесные ресурсы; планирование; использование Перейти к источнику в Интернете: Statewide forest resource planning programs Доп.точки доступа: Ellefson, P.W. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

122

Solutions manual and computer programs for physical and computational aspects of convective heat transfer 0 ^aРешения ручных и машинных программ по физическим и вычислительным аспектам конвективного теплопереноса Springer 0 ; ручные машинные программы; физические вычислительные аспекты; конвективный теплоперенос 0 ; ручные машинные программы; физические вычислительные аспекты; конвективный теплоперенос

Bradshaw, P.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Cebeci T., Bradshaw P. Заглавие : Solutions manual and computer programs for physical and computational aspects of convective heat transfer Выходные данные : New York etc: Springer, 1989 Колич.характеристики :VII, 113 с: ил ISBN, Цена 0-387-96825-3: Б.ц. ГРНТИ : ; 30.17.35 + ; 44.31.03 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; ручные машинные программы; физические вычислительные аспекты; конвективный теплоперенос Перейти к источнику в Интернете: Solutions manual and computer programs for physical and computational aspects of convective heat transfer Доп.точки доступа: Bradshaw, P. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

123

Simultaneous replacement in normal programs Report:Computer science Программирование для ЭВМ логическое, , лопрэв

Cocco, N.; Etalle, S.

R/16212/CS-R9357 Bossi, A. Simultaneous replacement in normal programs [Text] : сборник научных трудов / A.Bossi,N.Cocco,S.Etalle. - Amsterdam : [s. n.], 1993. - 34 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9357). - 20 р. Библиогр.:с.30-31ГРНТИ 50.05.03УДК 004.42.047 Рубрики: Программирование для ЭВМ логическое Держатели документа: ГПНТБ России Доп.точки доступа: Cocco, N.; Etalle, S. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

125

Severe weather: impact on aviation and FAA programs in response Rep./AIAA 0 ^aСложные метеоусловия: влияние на полеты и их учет в программах FAA 0 ; метеоусловия; полеты 0 ; метеоусловия; полеты


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Mandel E. Заглавие : Severe weather: impact on aviation and FAA programs in response Выходные данные : New York, 1989 Колич.характеристики :6 с: ил Серия: Rep./AIAA; N89-6794 Цена : Б.ц. ГРНТИ : ; 73.37.17 Ключевые слова (''Своб.индексиров.''): 0 ; метеоусловия; полеты Перейти к источнику в Интернете: Severe weather: impact on aviation and FAA programs in response, Перейти к источнику в Интернете:  PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

126

Seventa y seis programs en BASIC Alhambra inform 0 ^a66 программ на Бейсике Alhambra 0 ; БЕЙСИК 0 ; БЕЙСИК

Rieiro, I

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Martiner A., Rieiro I Заглавие : Seventa y seis programs en BASIC : De la EGB a la univ Выходные данные : Madrid: Alhambra, 1985 Колич.характеристики :4, 360 с Серия: Alhambra inform Цена : Б.ц. ГРНТИ : ; 50.41.25 Ключевые слова (''Своб.индексиров.''): 0 ; бейсик Перейти к источнику в Интернете: Seventa y seis programs en BASIC Доп.точки доступа: Rieiro, I PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

127

SDIO electric propulsion objectives and programs Rep./AIAA 0 ^aЦели и программы разработки электрических двигателей для системы стратегической обороны 0 ; электрический двигатель Библиогр.: с. 5-6 0 ; электрический двигатель

Vondra, R.J.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Caveny L.H., Vondra R.J. Заглавие : SDIO electric propulsion objectives and programs Выходные данные : New York, 1989 Колич.характеристики :6 с Серия: Rep./AIAA; N89-2491 Примечания : ; Библиогр.: с. 5-6 Цена : Б.ц. ГРНТИ : ; 55.42.49 + ; 78.25.15 Ключевые слова (''Своб.индексиров.''): 0 ; электрический двигатель Перейти к источнику в Интернете: SDIO electric propulsion objectives and programs, Перейти к источнику в Интернете:  Доп.точки доступа: Vondra, R.J. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

128

S (Информатика/Англо-русский словарь по информатике)


2005-01-06

   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

129

Robot Books.com (Машиностроение/Ресурсы)


2006-04-13

Тип2НазваниеRobot Books.comОписаниеReviews of robotics books, plus robot kits, movies, and toy robotsКлючевые словароботы, элементы, книги, продажаПерспективы развитияТип доступасвободныйФормат данных …

VINITI Projects Database (Russian)

131

Review of the U.S. environmental protection agency's pesticide regulatory programs Serial; 100-102 0 ^aОбзор программ по регулированию применения пестицидов, разработанных Агенством по охране природной среды США:Протоколы слушания в подкомиссии по операциям департаментов, научным исследованиям и зарубежному сельскому хозяйству Комиссии по сельскому хозяйству Палаты представителей Конгресса США 100-го созыва Gov. print. off. 0 ; пестициды; охрана; природная среда 0 ; пестициды; охрана; природная среда


Вид документа : Однотомное издание Шифр издания : Заглавие : Review of the U.S. environmental protection agency's pesticide regulatory programs : Hearing before the Subcomm on Dep. operations, research, and foreign agriculture of the Comm. on agriculture, House of representatives, one hundredth congr., second sess., Apr. 21, 1988 Выходные данные : Washington: Gov. print. off., 1988 Колич.характеристики :3, 44 с Серия: Serial; 100-102 Цена : Б.ц. ГРНТИ : ; 68.37.13 Ключевые слова (''Своб.индексиров.''): 0 ; пестициды; охрана; природная среда Перейти к источнику в Интернете: Review of the U.S. environmental protection agency's pesticide regulatory programs PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

132

Review of US international food assistance programs Serial/Comm. on agriculture 0 ^aПрограммы иностранной продовольственной помощи, оказываемой США:Протокол совместного слушания в Комиссии по иностранным делам и Комиссии по сельскому хозяйству Палаты представителей Конгресса США 101-го созыва Gov. print. off. 0 ; Программы иностранной продовольственной помощи США 0 ; Программы иностранной продовольственной помощи США


Вид документа : Однотомное издание Шифр издания : Заглавие : Review of US international food assistance programs : Joint hearing before the Comm. on foreign affairs and the Comm. on agriculture, House of representatives, 101st Congress, 1st session, Nov. 1, 1989 Выходные данные : Washington: Gov. print. off., 1990 Колич.характеристики :5, 208 с Серия: Serial/Comm. on agriculture; N 101-32 Цена : Б.ц. ГРНТИ : ; 68.01.75 Ключевые слова (''Своб.индексиров.''): 0 ; программы иностранной продовольственной помощи сша Перейти к источнику в Интернете: Review of US international food assistance programs PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

133

Reusability of coordination programs Report:Computer science Параллельные вычисления, , выпа

Arbab, F.; Blom, C.L.; Burger, F.J.; Everaars, C.T.H.

R/16212/CS-R9621 Reusability of coordination programs [Text] : сборник научных трудов / F.Arbab,C.L.Blom,F.J.Burger,C.T.H.Everaars. - Amsterdam : [s. n.], 1996. - 14 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9621). - 3000 р. Библиогр.:с.14ГРНТИ 50.33.03УДК 004.272.2 Рубрики: Параллельные вычисления Держатели документа: ГПНТБ России Доп.точки доступа: Arbab, F.; Blom, C.L.; Burger, F.J.; Everaars, C.T.H. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

134

Relating state transformation semantics and predicate transformer semantics for parallel programs Report:Computer science Программирование для ЭВМ параллельное, , папрэв


R/16212/CS-R9339 Breugel, F. van Relating state transformation semantics and predicate transformer semantics for parallel programs [Text] : сборник научных трудов / F.van Breugel. - Amsterdam : [s. n.], 1993. - 20 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9339). - 10 р. Библиогр.:с.19-20ГРНТИ 50.33.04УДК 004.42.032.24 Рубрики: Программирование для ЭВМ параллельное Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

135

Regional welfare programs and labor force participation Working paper 1 ^aВлияние состояния рынка труда и различий в программах социальной помощи нуждающимся семьям на участие населения США в этих программах на примере сравнительного анализа среднезападных регионов с остальными регионами 0 ; социальная помощь 0 ; социальная защита 0 ; труд 0 ; рынок труда 0 ; социальное обеспечение 0 ; государственная политика 0 ; сша 0 ; социальная помощь 0 ; социальная защита 0 ; труд 0 ; рынок труда 0 ; социальное обеспечение 0 ; государственная политика 0 ; сша 0 ; социальная помощь 0 ; социальная защита 0 ; труд 0 ; рынок труда 0 ; социальное обеспечение 0 ; государственная политика 0 ; сша

Kilkenny, M.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Huffman S.K., Kilkenny M. Заглавие : Regional welfare programs and labor force participation Выходные данные : Ames (Iowa), 2002 Колич.характеристики :30 с.: ил., табл. Серия: Working paper/ Iowa state univ. Center for agr. and rural development; 296 Примечания : ; Библиогр.: с. 29-30 Цена : Б.ц. ГРНТИ : ; 06.77.64 + ; 06.77.02 УДК : + Ключевые слова (''Своб.индексиров.''): 0 ; социальная помощь--0 ; социальная защита--0 ; труд--0 ; рынок труда--0 ; социальное обеспечение--0 ; государственная политика--0 ; сша Перейти к источнику в Интернете: Regional welfare programs and labor force participation Доп.точки доступа: Kilkenny, M. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

136

Regional welfare programs and labor force participation Working paper 1 ^aАнализ влияния программ поддержки благосостояния населения в США на занятость последнего 0 ; население 0 ; занятость 0 ; уровень жизни 0 ; программы 0 ; сша 0 ; население 0 ; занятость 0 ; уровень жизни 0 ; программы 0 ; сша 0 ; население 0 ; занятость 0 ; уровень жизни 0 ; программы 0 ; сша

Kilkenny, M.

Вид документа : Однотомное издание Шифр издания : . 68.75.61. rugasnti Автор(ы) : Huffman S.K., Kilkenny M. Заглавие : Regional welfare programs and labor force participation Выходные данные : Ames (Iowa), 2003 Колич.характеристики :21, [2] c.: карт., табл. Серия: Working paper/ Iowa state univ. Center for agr. and rural development; 296 Примечания : ; Библиогр.: с. 20-21 Цена : Б.ц. ГРНТИ : ; 68.75.61 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; население--0 ; занятость--0 ; уровень жизни--0 ; программы--0 ; сша Перейти к источнику в Интернете: Regional welfare programs and labor force participation, Перейти к источнику в Интернете:  Доп.точки доступа: Kilkenny, M. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

137

Red book (Металлургия/Издания)


2006-02-20

Тип Книга Авторы G.Effenberg, O.I. Bodak, L.A. Petrova Название …

VINITI Projects Database (Russian)

138

Reasoning about Prolog programs:from modes through types to assertions Report:Computer science Программы для ЭВМ

Marchiori, E.

R/16212/CS-R9358 Apt, K. R. Reasoning about Prolog programs:from modes through types to assertions [Text] : сборник научных трудов / K.R.Apt,E.Marchiori. - Amsterdam : [s. n.], 1993. - 22 p. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9358). - 20 р. Библиогр.:с.22ГРНТИ 50.41.09УДК 004.422.8 Рубрики: Программы для ЭВМ Держатели документа: ГПНТБ России Доп.точки доступа: Marchiori, E. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

139

Ra (Информатика/Англо-русский словарь по информатике)


2005-01-06

   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

140

Proving termination of parallel programs Report:Computer science программа-тест Программы-тесты для ЭВМ программа-тест

Boer, F.S. de; Olderog, E.-R.

R/16212/CS-R9016 Apt, K. R. Proving termination of parallel programs [Text] : сборник научных трудов / K.R.Apt,F.S. de Boer,E.-R.Olderog. - Amsterdam : [s. n.], 1990. - 7 p. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9016). - 1.00 р. Библиогр.:с.7ГРНТИ 50.41УДК 004.415.53 Рубрики: Программы-тесты для ЭВМ Держатели документа: ГПНТБ России Доп.точки доступа: Boer, F.S. de ; Olderog, E.-R. Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-92657 PROGRAMS$

State Public Technical Library of Russia (Russian)

141

Proving termination of logic programs with delay declarations Report:Computer science Программирование для ЭВМ логическое, , лопрэв

Teusink, F.

R/16212/CS-R9641 Marchiori, E. Proving termination of logic programs with delay declarations [Text] : сборник научных трудов / E.Marchiori,F.Teusink. - Amsterdam : [s. n.], 1996. - 17 p. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9641). - 2000 р. Библиогр.:с.12-13ГРНТИ 50.05.03УДК 004.42.047 Рубрики: Программирование для ЭВМ логическое Держатели документа: ГПНТБ России Доп.точки доступа: Teusink, F. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

142

Proving termination of general Prolog programs Report:Computer science Проверка универсальных программ на языке Пролог программа Программы для ЭВМ, Верификация программа

Pedreschi, D.

R/16212/CS-R9111 Apt, K. R. Proving termination of general Prolog programs [Text] : сборник научных трудов / K.R.Apt,D.Pedreschi. - Amsterdam : [s. n.], 1991. - 23 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9111). - 1.00 р. Библиогр.: с.23 Перевод заглавия: Проверка универсальных программ на языке ПрологПеревод заглавия: Проверка универсальных программ на языке ПрологГРНТИ 50.05.13УДК 004.415.5 Рубрики: Программы для ЭВМ--Верификация Держатели документа: ГПНТБ России Доп.точки доступа: Pedreschi, D. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

143

Proving run-time properties of general programs w.r.t. constructive negation Report:Computer science Программы для ЭВМ


R/16212/CS-R9245 Marchiori, E. Proving run-time properties of general programs w.r.t. constructive negation [Text] : сборник научных трудов / E.Marchiori. - Amsterdam : [s. n.], 1992. - 28 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9245). - 20 р. Библиогр.:с.27-28ГРНТИ 50.41.17УДК 004.422.8 Рубрики: Программы для ЭВМ Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

144

Proving deadlock freedom of logic programs with dynamic scheduling Report:Computer science Программирование для ЭВМ логическое, , лопрэв

Teusink, F.

R/16212/CS-R9642 Marchiori, E. Proving deadlock freedom of logic programs with dynamic scheduling [Text] : сборник научных трудов / E.Marchiori,F.Teusink. - Amsterdam : [s. n.], 1996. - 19 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9642). - 2000 р. Библиогр.:с.14-15ГРНТИ 50.05.03УДК 004.42.047 Рубрики: Программирование для ЭВМ логическое Держатели документа: ГПНТБ России Доп.точки доступа: Teusink, F. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

145

Provably recursive programs Report:Computer science Доказательно рекурсивные программы логическое программирование Программирование для ЭВМ логическое логическое программирование


R/16212/CS-R9212 Fernando, R. T.P. Provably recursive programs [Text] : сборник научных трудов / R.T.P.Fernando. - Amsterdam : [s. n.], 1992. - 9 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9212). - 2.00 р. Библиогр.:с.8-9 Перевод заглавия: Доказательно рекурсивные программыПеревод заглавия: Доказательно рекурсивные программыГРНТИ 50.05.13УДК 004.42.047 Рубрики: Программирование для ЭВМ логическое Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

146

Programs as data objects 0 ^aТеория программирования:Труды семинара, Копенгаген, 1985 Springer-Verl. 0 ; ЭВМ; программирование; семинар Библиогр. в конце ст 0 ; ЭВМ; программирование; семинар

Ganzinger, H. .; Jones, N.D. .; Gvos, G. .

Вид документа : Однотомное издание Шифр издания : Заглавие : Programs as data objects : Proc. of a workshop, Copenhagen, Denmark, Oct. 17-19, 1985 Выходные данные : Berlin: Springer-Verl.; Heidelberg; New York, 1986 Колич.характеристики :10, 324 с Серия: Примечания : ; Библиогр. в конце ст ISBN, Цена 3-540-16446-4: Б.ц. ГРНТИ : ; 50.41 + ; 50.01.13 Ключевые слова (''Своб.индексиров.''): 0 ; эвм; программирование; семинар Перейти к источнику в Интернете: Programs as data objects, Перейти к источнику в Интернете: , Перейти к источнику в Интернете: , Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  Доп.точки доступа: Ganzinger, H. \.\; Jones, N.D. \.\; Gvos, G. \.\ PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

147

Programs and data structures in C 0 ^aПрограммы и структуры данных на языке Си Wiley 0 ; язык программирования Си Библиогр.: с.203.-Указ.: с.205-206 0 ; язык программирования Си


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Ammeraal, Leendert Заглавие : Programs and data structures in C Выходные данные : Chichester etc: Wiley, 1987 Колич.характеристики :VIII, 206 с: ил Примечания : ; Библиогр.: с.203.-Указ.: с.205-206 ISBN, Цена 0-471-91751-6: Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; язык программирования си Перейти к источнику в Интернете: Programs and data structures in C PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

148

Programs OPTMAN and SHEMMAN: coupled channels optical model and collective nuclear structure calculation Data/Code ядерная константа Атомное ядро, Модели ядерная константа

Sukhovitskii, E.Sh.; Porodzinskii, Y.V.; Iwamoto, O.; Chiba, S.

R/17606/98-019 Programs OPTMAN and SHEMMAN: coupled channels optical model and collective nuclear structure calculation [Text] : сборник научных трудов / E.Sh.Sukhovitskii,Y.V.Porodzinskii,O.Iwamoto и др. - Version 5. - S.l. : [s. n.], 1998. - IV,48 p. p. - (Data/Code / Japan atomic energy research inst. ; 98-019). - 5.00 р. Рез. яп. Библиогр.: с.47-48ГРНТИ 29.15.03УДК 539.142 Рубрики: Атомное ядро--Модели Держатели документа: ГПНТБ России Доп.точки доступа: Sukhovitskii, E.Sh.; Porodzinskii, Y.V.; Iwamoto, O.; Chiba, S. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

149

Proceedings of the workshop on single bunch and high flux synchrotron light source-AR (scientific programs),Tsukuba,16-17 Oct.,1995 KEK proceedings Workshop on single bunch and high flux synchrotron light source-AR синхротронное излучение Синхротронное излучение, Съезды и конференции, , изси синхротронное излучение

Kawata, H. ed.; Shiotani, N. ed.

R/17245/95-8 Workshop on single bunch and high flux synchrotron light source-AR (1995 ; Tsukuba). Proceedings of the workshop on single bunch and high flux synchrotron light source-AR (scientific programs),Tsukuba,16-17 Oct.,1995 [Text] : материалы временных коллективов / Workshop on single bunch and high flux synchrotron light source-AR (1995 ; Tsukuba) ; ed.: H. Kawata, N. Shiotani. - Tsukuba : [s. n.], 1995. - 116 p. : ill. - (KEK proceedings / Nat.lab.for high energy physics ; 95-8). - 3000 р. Библиогр.в конце статейГРНТИ 29.35УДК 537.531.2.08(063) Рубрики: Синхротронное излучение--Съезды и конференции Держатели документа: ГПНТБ России Доп.точки доступа: Kawata, H. \ed.\; Shiotani, N. \ed.\ Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

150

Proceedings of the IEEE/ACM international conference on developing and managing expert system programs,Sept.30-Oct.2,1991,Washington IEEE publications International conference on developing and managing expert system programs IEEE computer soc.press Экспертные системы, Съезды и конференции, , сиэк

Feinstein, J. ed.

R/6736/91CH3024-7 International conference on developing and managing expert system programs (1991 ; Washington). Proceedings of the IEEE/ACM international conference on developing and managing expert system programs,Sept.30-Oct.2,1991,Washington [Text] : материалы временных коллективов / International conference on developing and managing expert system programs (1991 ; Washington) ; ed. J. Feinstein. - Washington et al. : IEEE computer soc.press, 1991. - XIII,398 p. p. - (IEEE publications / Inst.of electrical and electronics engineers, ISSN 0149-144X ; 91CH3024-7). - ISBN 0-8186-2250-4 : 80000 р. Библиогр.в конце главГРНТИ 28.23.3528.01.13УДК 004.891(063) Рубрики: Экспертные системы--Съезды и конференции Держатели документа: ГПНТБ России Доп.точки доступа: Feinstein, J. \ed.\ Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-103989 PROGRAMS$

State Public Technical Library of Russia (Russian)

151

Proceedings [Electronic resource] System requirements not identified.- Title from disc label 0 ^aТруды Нац.конф. по городской ливневой воде. Программы оздоровления среды на местном уровне, Чикаго, 2003. [Электронный ресурс] National conference on urban storm water: Enhancing programs at the local level EPA 0 ; городская ливневая вода 0 ; городская ливневая вода 0 ; городская ливневая вода


Вид документа : Однотомное издание Шифр издания : K Заглавие : Proceedings [Electronic resource] : Chicago,Il, Febr.17-20, 2003 Выходные данные : Washington: EPA, 2003 Колич.характеристики :1 electr.opt.disc Коллективы : National conference on urban storm water: Enhancing programs at the local level (2003;Chicago) Серия: System requirements not identified.- Title from disc label Цена : Б.ц. ГРНТИ : ; 70.25.15 + ; 70.25.10 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; городская ливневая вода Перейти к источнику в Интернете: Proceedings [Electronic resource] PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

153

Poverty and Social Impact Analysis in PRGF-supported programs Policy discussion paper Intern. monetary fund ; Экономика


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Inchauste G. Заглавие : Poverty and Social Impact Analysis in PRGF-supported programs Выходные данные : S. l.: Intern. monetary fund, 2002 Колич.характеристики :26 p.: ill. Серия: Policy discussion paper/ International monetary fund; PDP/02/11 Примечания : ; Библиогр.:с.26 Цена : Б.ц. ГРНТИ : ; 06.71.47 УДК : Предметные рубрики: Экономика Перейти к источнику в Интернете: Poverty and Social Impact Analysis in PRGF-supported programs PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

154

Petri nets based modelling of control flow for memory-aid interactive programs in telemedicine 1 ; Сети Петри 1 ; Телемедицина 1 ; Удаленная медицинская помощь 1 ; Нарушение памяти 1 ; Сети Петри 1 ; Телемедицина 1 ; Удаленная медицинская помощь 1 ; Нарушение памяти ; Информационные технологии 1 ; Сети Петри 1 ; Телемедицина 1 ; Удаленная медицинская помощь 1 ; Нарушение памяти


Вид документа : Однотомное издание Шифр издания : . rugasnti. P Автор(ы) : Khoromskaia V.Kh., Khoromskaia V.Kh. Заглавие : Petri nets based modelling of control flow for memory-aid interactive programs in telemedicine : preprint E11-2004-81 Выходные данные : Дубна, 2004 Колич.характеристики :15 с Цена : Б.ц. УДК : Предметные рубрики: Информационные технологии Ключевые слова (''Своб.индексиров.''): 1 ; сети петри--1 ; телемедицина--1 ; удаленная медицинская помощь--1 ; нарушение памяти Перейти к источнику в Интернете: Petri nets based modelling of control flow for memory-aid interactive programs in telemedicine PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

155

Parallel processing of space propulsion system programs by automatic parallelization of SX-3R system Technical report ; Бортовые вычислительные машины

Takahashi, M.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Nakamura K., Takahashi M. Заглавие : Parallel processing of space propulsion system programs by automatic parallelization of SX-3R system Выходные данные : [Tokyo], 2001 Колич.характеристики :24 p.: ill. Серия: Technical report/ National aerospace laboratory(Tokyo); TR-1430 Примечания : ; Текст яп. Рез. англ. Библиогр.: с.24 Цена : Б.ц. ГРНТИ : ; 55.49.45 УДК : Предметные рубрики: Бортовые вычислительные машины Перейти к источнику в Интернете: Parallel processing of space propulsion system programs by automatic parallelization of SX-3R system Доп.точки доступа: Takahashi, M. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

156

Pa (Информатика/Англо-русский словарь по информатике)


2005-01-06

   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

158

Organization, programs, and activities of the geologic division, U.S. geological survey Circular Организация, программы и деятельность геологического отделения геологической службы США геологоразведочная работа Геологоразведочные работы, Научно-исследовательская работа геологоразведочная работа


R/4375/1000 Davis, R. E. Organization, programs, and activities of the geologic division, U.S. geological survey [Text] : материал технической информации / R.E.Davis. - Denver(Co) : [s. n.], 1990. - III,32 p. p. : ill. - (Circular / US.Geol.survey ; n1000). - 1.00 р. Перевод заглавия: Организация, программы и деятельность геологического отделения геологической службы СШАПеревод заглавия: Организация, программы и деятельность геологического отделения геологической службы СШАГРНТИ 38.01.2138.59.17УДК 550.8:061.6 Рубрики: Геологоразведочные работы--Научно-исследовательская работа Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

159

On the unification free Prolog programs Report:Computer science Программы для ЭВМ

Etalle, S.

R/16212/CS-R9331 Apt, K. R. On the unification free Prolog programs [Text] : сборник научных трудов / K.R.Apt,S.Etalle. - Amsterdam : [s. n.], 1993. - 16 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9331). - 10 р. Библиогр.:с.15-16ГРНТИ 50.41УДК 004.422.8 Рубрики: Программы для ЭВМ Держатели документа: ГПНТБ России Доп.точки доступа: Etalle, S. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

160

On the safe termination of PROLOG programs Report;CS-R8913 0 ^aО безопасном завершении программ на Прологе 0 ; язык программирования, Пролог Библиогр.: с.16 0 ; язык программирования, Пролог

Bol, R.W.; Klop, J.W.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Apt K.R., Bol R.W., Klop J.W. Заглавие : On the safe termination of PROLOG programs Выходные данные : Б.м., 1989 Серия: Report;CS-R8913/ Centrum voor wiskunde en informatica, Computer science, Dep. of software technology Примечания : ; Библиогр.: с.16 Цена : Б.ц. ГРНТИ : ; 50.05.09 Ключевые слова (''Своб.индексиров.''): 0 ; язык программирования, пролог Перейти к источнику в Интернете: On the safe termination of PROLOG programs Доп.точки доступа: Bol, R.W.; Klop, J.W. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

161

On the occur-check free Prolog programs Report:Computer science Программы для ЭВМ

Pellegrini, A.

R/16212/CS-R9238 Apt, K. R. On the occur-check free Prolog programs [Text] : сборник научных трудов / K.R.Apt,A.Pellegrini. - Amsterdam : [s. n.], 1992. - 36 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9238). - 3 р. Библиогр.:с.29-30.Указ.:с.30-36ГРНТИ 50.41.25УДК 004.422.8 Рубрики: Программы для ЭВМ Держатели документа: ГПНТБ России Доп.точки доступа: Pellegrini, A. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

162

On oblivious branching programs on linear length Preprint 0 ^aО некоторых ветвящихся программах линейной длины 0 ; алгоритмы; группы; теория Рез.: англ., нем.-Библиогр.: с. 22-24 0 ; алгоритмы; группы; теория

Waack, S.; Hoffmann, F. .

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Krause M., Waack S. Заглавие : On oblivious branching programs on linear length Выходные данные : Б.м., 1989 Колич.характеристики :24 с Серия: Preprint/ Akad. der Wiss. der DDR, Karl-Weierstrass-Inst. fur Mathematik, ISSN ?PBEIFM;P-MATH-01/89 Примечания : ; Рез.: англ., нем.-Библиогр.: с. 22-24 Цена : Б.ц. ГРНТИ : ; 27.17.17 + ; 27.03.17 Ключевые слова (''Своб.индексиров.''): 0 ; алгоритмы; группы; теория Перейти к источнику в Интернете: On oblivious branching programs on linear length Доп.точки доступа: Waack, S.; Hoffmann, F. \.\ PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

163

On national or supranational objectives: improving the effectiveness of targeted expenditure programs Working paper Intern. monetary fund ; Экономика

Tandberg, E.; Zhang, P.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Ahmad E., Tandberg E., Zhang P. Заглавие : On national or supranational objectives: improving the effectiveness of targeted expenditure programs Выходные данные : S. l. : Intern. monetary fund, 2002 Колич.характеристики :30 p.: ill. Серия: Working paper/ International monetary fund; WP/02/209 Примечания : ; Библиогр.:с.30 Цена : Б.ц. ГРНТИ : ; 06.71.47 УДК : Предметные рубрики: Экономика Перейти к источнику в Интернете: On national or supranational objectives: improving the effectiveness of targeted expenditure programs Доп.точки доступа: Tandberg, E.; Zhang, P. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

164

On downward closure ordinals of logic programs Rep./Centrum voor wiskunde en informatica, Computer science/Dep. of software technology; CS-R 8917 0 ^aО порядковых числах убывающего замыкания логических программ 0 ; логическое программирование Библиогр.: с. 20 0 ; логическое программирование

Bezem, M.; Emden, M.H.van

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Bagai R., Bezem M., Emden M.H.van Заглавие : On downward closure ordinals of logic programs Выходные данные : Amsterdam, 1989 Колич.характеристики :20 с: ил Серия: Rep./Centrum voor wiskunde en informatica, Computer science/Dep. of software technology; CS-R 8917 Примечания : ; Библиогр.: с. 20 Цена : Б.ц. ГРНТИ : ; 50.05.03 Ключевые слова (''Своб.индексиров.''): 0 ; логическое программирование Перейти к источнику в Интернете: On downward closure ordinals of logic programs Доп.точки доступа: Bezem, M.; Emden, M.H.van PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

165

OS and VS job control language and utility programs Prentice-Hall


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Rindfleisch, Daniel H. Заглавие : OS and VS job control language and utility programs . -2nd ed. Выходные данные : Englewood Cliffs (N.J.): Prentice-Hall, 1987 Колич.характеристики :357 p. ISBN, Цена 0-13-642901-7: Б.ц. ГРНТИ : ; 50 УДК : Перейти к источнику в Интернете: OS and VS job control language and utility programs, Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

167

Newsflash 3 (Newsflashes/Newsflash)


2004-08-09

Aoccdrnig to a rscheearch at an Elingsh uinervtisy, it deosn't mttaer in waht oredr the ltteers in a wrod are, the olny iprmoetnt tihng is taht frist and lsat ltteer is at the rghit pclae. The rset ca …

VINITI Projects Database (Russian)

169

National Nanotechnology Initiative (Химия/Ресурсы)


2006-04-05

ТипНазваниеNational Nanotechnology InitiativeОписаниеThe National Nanotechnology Initiative (NNI) is a federal R&D program established to coordinate the multiagency efforts in nanoscale science, e …

VINITI Projects Database (Russian)

170

National Institute of Advanced Industrial Science and Technology (Машиностроение/Организации)


2006-02-17

Тип: научный центр Профиль деятельности: 3-d vision, Human friendly systems, Field robotics, Intelligent transport systems, Humanoids, Auditory signal processing Сокр. название: AIST ГРНТИ: …

VINITI Projects Database (Russian)

172

Nanofactory Instruments (Химия/Организации)


2006-04-05

Типпромышленная компанияПолное название (официальное)Nanofactory InstrumentsПрофиль деятельностиNanofactory Instruments develop, manufacture and sell unique solutions for the electron microscopy marke …

VINITI Projects Database (Russian)

173

NICPRE quarterly: a newsletter from the National institute for commodity research and evaluation. Vol. 14, N 1: First quarter 2008: Measuring the effectiveness of U.S. rice export promotion programs [s. n.] 0 ; продукция сельского хозяйства 0 ; маркетинг 0 ; рынок сбыта 0 ; оценка 0 ; бюллетени 0 ; сша 0 ; продукция сельского хозяйства 0 ; маркетинг 0 ; рынок сбыта 0 ; оценка 0 ; бюллетени 0 ; сша Текст англ. 0 ; продукция сельского хозяйства 0 ; маркетинг 0 ; рынок сбыта 0 ; оценка 0 ; бюллетени 0 ; сша

Kaiser, H.M.

Вид документа : Однотомное издание Шифр издания : . 68.75.49. rugasnti Автор(ы) : Rusmevichientong P., Kaiser H.M. Заглавие : NICPRE quarterly: a newsletter from the National institute for commodity research and evaluation. Vol. 14, N 1: First quarter 2008: Measuring the effectiveness of U.S. rice export promotion programs Выходные данные : [Ithaca (New York)]: [s. n.], 2008 Колич.характеристики :[4] c. Примечания : ; Текст англ. Цена : Б.ц. ГРНТИ : ; 68.75.49 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; продукция сельского хозяйства--0 ; маркетинг--0 ; рынок сбыта--0 ; оценка--0 ; бюллетени--0 ; сша Перейти к источнику в Интернете: NICPRE quarterly: a newsletter from the National institute for commodity research and evaluation. Vol. 14, N 1: First quarter 2008: Measuring the effectiveness of U.S. rice export promotion programs Доп.точки доступа: Kaiser, H.M. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

174

NICPRE quarterly: a newsletter from the National institute for commodity research and evaluation. Vol. 12, N 3: Third quarter 2006: The United States dairy export promotion programs: an overview 1 ^aПрограммы содействия развитию экспорта молочной продукции из США и их экономическая эффективность, а также политика основных стран-игроков на мировом рынке молочных продуктов [s. n.] 0 ; молочные продукты 0 ; экспорт 0 ; программы 0 ; импорт 0 ; торговая политика 0 ; экономическая эффективность 0 ; сша 0 ; страны мира 0 ; молочные продукты 0 ; экспорт 0 ; программы 0 ; импорт 0 ; торговая политика 0 ; экономическая эффективность 0 ; сша 0 ; страны мира Текст англ. 0 ; молочные продукты 0 ; экспорт 0 ; программы 0 ; импорт 0 ; торговая политика 0 ; экономическая эффективность 0 ; сша 0 ; страны мира

Olukoya, O.

Вид документа : Однотомное издание Шифр издания : . 68.39.29. rugasnti Автор(ы) : Henneberry S.R., Olukoya O. Заглавие : NICPRE quarterly: a newsletter from the National institute for commodity research and evaluation. Vol. 12, N 3: Third quarter 2006: The United States dairy export promotion programs: an overview Выходные данные : [Ithaca (New York)]: [s. n.], 2006 Колич.характеристики :[4] c.: ил. Примечания : ; Текст англ. Цена : Б.ц. ГРНТИ : ; 68.39.29 + ; 65.63.01 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; молочные продукты--0 ; экспорт--0 ; программы--0 ; импорт--0 ; торговая политика--0 ; экономическая эффективность--0 ; сша--0 ; страны мира Перейти к источнику в Интернете: NICPRE quarterly: a newsletter from the National institute for commodity research and evaluation. Vol. 12, N 3: Third quarter 2006: The United States dairy export promotion programs: an overview Доп.точки доступа: Olukoya, O. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

175

N (Информатика/Англо-русский словарь по информатике)


2005-01-06

   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

176

Multichannel time series analysis with digital computer programs 0 ^aМногоканальный анализ временных рядов с применением программ для цифровых ЭВМ Goose Pond press 0 ; анализ временных рядов; цифровые ЭВМ 0 ; анализ временных рядов; цифровые ЭВМ Указ.: с.449-454.- Библиогр. в конце отд. глав 0 ; анализ временных рядов; цифровые ЭВМ


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Robinson E.A. Заглавие : Multichannel time series analysis with digital computer programs . -2nd ed Выходные данные : Houston (Texas): Goose Pond press, 1983 Колич.характеристики :XXVII, 454 c: ил Примечания : ; Указ.: с.449-454.- Библиогр. в конце отд. глав ISBN, Цена 0-910835-03-9: Б.ц. ГРНТИ : ; 27.43.17 Ключевые слова (''Своб.индексиров.''): 0 ; анализ временных рядов; цифровые эвм Перейти к источнику в Интернете: Multichannel time series analysis with digital computer programs PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

177

More on unfold/fold transformations of normal programs:preservation of fitting's semantics Report:Computer science Программирование для ЭВМ логическое, , лопрэв

Etalle, S.

R/16212/CS-R9447 Bossi, A. More on unfold/fold transformations of normal programs:preservation of fitting's semantics [Text] : монография / A.Bossi,S.Etalle. - Amsterdam : [s. n.], 1994. - 18 p. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9447). - 200 р. Библиогр.:с.17-18ГРНТИ 50.05.03УДК 004.42.047 Рубрики: Программирование для ЭВМ логическое Держатели документа: ГПНТБ России Доп.точки доступа: Etalle, S. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

178

More (on) unification-free Prolog programs Report:Computer science программа Программы для ЭВМ программа


R/16212/CS-R9454 Etalle, S. More (on) unification-free Prolog programs [Text] : сборник научных трудов / S.Etalle. - Amsterdam : [s. n.], 1994. - 36 p. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9454). - 1000 р. Библиогр.:с.34-36ГРНТИ 50.41УДК 004.422.8 Рубрики: Программы для ЭВМ Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

179

Modular termination proofs for logic and pure Prolog programs Report:Computer science Программирование для ЭВМ логическое, , лопрэв Программирования языки, Prolog

Pedreschi, D.

R/16212/CS-R9316 Apt, K. R. Modular termination proofs for logic and pure Prolog programs [Text] : сборник научных трудов / K.R.Apt,D.Pedreschi. - Amsterdam : [s. n.], 1993. - 35 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9316). - 10 р. Библиогр.:с.34-35ГРНТИ 50.05.1350.05.09УДК 004.42.047004.438 Рубрики: Программирование для ЭВМ логическоеПрограммирования языки--Prolog Держатели документа: ГПНТБ России Доп.точки доступа: Pedreschi, D. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

180

Modified branching programs and their computational power Lecture notes in computer science Springer программирование Программирование для ЭВМ программирование


R/9132/370 Meinel, C. Modified branching programs and their computational power [Text] : сборник научных трудов / C.Meinel. - Berlin etc. : Springer, 1989. - 132 p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; n370). - ISBN 3-540-51340-X : 9.00 р. Библиогр.:с.127-130,Указ.:с.131-132ГРНТИ 50.05.13УДК 004.42 Рубрики: Программирование для ЭВМ Держатели документа: ГПНТБ России Экз-ры: АЛГ(1), (2) Копия: мкф., Шифр MR-87897 PROGRAMS$

State Public Technical Library of Russia (Russian)

181

Miscellaneous (research, promotion; and consumer information programs) Serial 0 ^aРазное (научные программы, программы по внедрению и программы потребительской информации):Протокол слушаний в подкомиссии по внутреннему маркетингу, потребительским отношениям и питанию комиссии по сельскому хозяйству Палаты представителей конгресса США 101-го созыва Gov. print. off. 0 ; Научные программы; программы потребительской информации; внутренний маркетинг; США 0 ; Научные программы; программы потребительской информации; внутренний маркетинг; США


Вид документа : Однотомное издание Шифр издания : Заглавие : Miscellaneous (research, promotion; and consumer information programs) : Hearings before the subcomm. on domestic marketing, consumer relations, and nutrition of the Comm. on agriculture, House of representatives, 101st Congr., 1st session on H.R.1776; H.R.2187, H.R.2257, H.R.3387 Выходные данные : Washington: Gov. print. off., 1990 Колич.характеристики :4, 266 с Серия: Serial; N 101-33 Цена : Б.ц. ГРНТИ : ; 68.01.75 Ключевые слова (''Своб.индексиров.''): 0 ; научные программы; программы потребительской информации; внутренний маркетинг; сша Перейти к источнику в Интернете: Miscellaneous (research, promotion; and consumer information programs) PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

182

Microsoft С5.0 optimizing compiler for the MS-DOS operating system Microsoft 1 ; Computer programming 1 ; Programming languages 1 ; C language 1 ; Microsoft 1 ; Compiling C programs 1 ; Программирование на ЭВМ 1 ; Языки программирования 1 ; Си, язык программирования 1 ; Microsoft 1 ; Составление Си-программ 1 ; Computer programming 1 ; Programming languages 1 ; C language 1 ; Microsoft 1 ; Compiling C programs 1 ; Программирование на ЭВМ 1 ; Языки программирования 1 ; Си, язык программирования 1 ; Microsoft 1 ; Составление Си-программ На обл. загл.: User's guide and mixed-languare. Programming guide. 1 ; Computer programming 1 ; Programming languages 1 ; C language 1 ; Microsoft 1 ; Compiling C programs 1 ; Программирование на ЭВМ 1 ; Языки программирования 1 ; Си, язык программирования 1 ; Microsoft 1 ; Составление Си-программ


Вид документа : Однотомное издание Шифр издания : K Заглавие : Microsoft С5.0 optimizing compiler for the MS-DOS operating system : User's guide Выходные данные : U.S.: Microsoft, 1987 Колич.характеристики :xii,140 p.: ill. Примечания : ; На обл. загл.: User's guide and mixed-languare. Programming guide. Цена : р50-00 р. УДК : Ключевые слова (''Своб.индексиров.''): 1 ; computer programming--1 ; programming languages--1 ; c language--1 ; microsoft--1 ; compiling c programs--1 ; программирование на эвм--1 ; языки программирования--1 ; си, язык программирования--1 ; microsoft--1 ; составление си-программ Перейти к источнику в Интернете: Microsoft С5.0 optimizing compiler for the MS-DOS operating system PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

183

Methods for combining a theoretical and an empirical approusch in modelling pressure and flow control valves for CAE-programs for fluid power circuits Acta polytechnica Scandinavica. Me, Mechanical engineering series трубопроводная арматура Трубопроводная арматура трубопроводная арматура


R/4604/96 Handroos, H. Methods for combining a theoretical and an empirical approusch in modelling pressure and flow control valves for CAE-programs for fluid power circuits [Text] : diss. / H.Handroos. - Helsinki : [s. n.], 1990. - 52 p. : ill. - (Acta polytechnica Scandinavica. Me, Mechanical engineering series / Helsinki Univ.of technology, ISSN 0001-687X ; 96). - ISBN 951-666-315-X : 1.00 р. Библиогр.: с.51-52ГРНТИ 73.39.35УДК 621.646 Рубрики: Трубопроводная арматура Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

184

Methods for combining a theoretical and an empirical approach in modelling pressure and flow control valves for CAE-programs for fluid power circuits Acta polytech. scandinavica. Mechanical engineering ser. 0 ^aМетоды комбинирования теоретических и эмпирических приближений в программах моделирования на ЭВМ арматуры для регулирования и потоков в силовых гидравлических сетях. Диссертация Finn. acad. of technology Библиогр.: с.51-52


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Handroos, Heikki Заглавие : Methods for combining a theoretical and an empirical approach in modelling pressure and flow control valves for CAE-programs for fluid power circuits Выходные данные : Helsinki: Finn. acad. of technology, 1990 Колич.характеристики :52 с.: ил.; 25 см Серия: Acta polytech. scandinavica. Mechanical engineering ser., ISSN 0001-687X Примечания : ; Библиогр.: с.51-52 Цена : Б.ц. ГРНТИ : ; 55.37.31 Перейти к источнику в Интернете: Methods for combining a theoretical and an empirical approach in modelling pressure and flow control valves for CAE-programs for fluid power circuits PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

185

Manual of pharmacologic calculations with computer programs 0 ^aПособие по фармакологической калькуляции с компьютерной программой Springer 0 ; Фармакологическая калькуляция; компьютерная программа Указ.: с. 293-297 0 ; Фармакологическая калькуляция; компьютерная программа

Murray, Rodney B.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Tallarida, Ronald J., Murray, Rodney B. Заглавие : Manual of pharmacologic calculations with computer programs . -2 nd ed. Выходные данные : New York etc.: Springer, 1987 Колич.характеристики :10, 297 с: табл Примечания : ; Указ.: с. 293-297 ISBN, Цена 0-387-96357-X: Б.ц. ГРНТИ : ; 76.31.29 Ключевые слова (''Своб.индексиров.''): 0 ; фармакологическая калькуляция; компьютерная программа Перейти к источнику в Интернете: Manual of pharmacologic calculations with computer programs, Перейти к источнику в Интернете:  Доп.точки доступа: Murray, Rodney B. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

186

MOLPHY Version 2.3: Programs for molecular phylogenetics based on maximum likelihood Computer science monographs Молекулярная биология, , бимо

Hasegawa, M.

R/15181/28 Adachi, J. MOLPHY Version 2.3: Programs for molecular phylogenetics based on maximum likelihood [Text] / J.Adachi,M.Hasegawa. - Tokyo : [s. n.], 1996. - 150 p. : ill. - (Computer science monographs / Inst.of statistical mathematics ; n28). - 10000 р. Библиогр.:с.140-150ГРНТИ 34.15.01УДК 577.2 Рубрики: Молекулярная биология Держатели документа: ГПНТБ России Доп.точки доступа: Hasegawa, M. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

187

MANIFOLD version 1.0 programming:Programs and problems Report:Computer science Программирования языки, , пряз


R/16212/CS-R9334 Blom, C. L. MANIFOLD version 1.0 programming:Programs and problems [Text] : сборник научных трудов / C.L.Blom. - Amsterdam : [s. n.], 1993. - 39 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9334). - 10 р. Библиогр.:с.39ГРНТИ 50.05.09УДК 004.438 Рубрики: Программирования языки Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

189

Logics of programs Springer-Verl.

Parikh, Rohit .; Gvos G. .

Вид документа : Однотомное издание Шифр издания : K Заглавие : Logics of programs : Brooklyn, June 17-19, 19851 Выходные данные : Berlin: Springer-Verl.; Heidelberg; New York, 1985 Колич.характеристики :424 p.: ill. ISBN, Цена 3-540-15648-8: Б.ц. ГРНТИ : ; 27 УДК : Перейти к источнику в Интернете: Logics of programs, Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  Доп.точки доступа: Parikh, Rohit \.\; Gvos G. \.\ PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

190

Logic programs with negation Report:Computer science логическое программирование Программирование для ЭВМ логическое логическое программирование


R/16212/CS-R8943 Turi, D. Logic programs with negation [Text] : classes, models, interpreters / D.Turi. - Amsterdam : [s. n.], 1989. - 34 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R8943). - 1.00 р. Библиогр.:с.32-33ГРНТИ 50.05.13УДК 004.42.047 Рубрики: Программирование для ЭВМ логическое Держатели документа: ГПНТБ России Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-89877 PROGRAMS$

State Public Technical Library of Russia (Russian)

191

Live data structures in logic programs Lecture notes in computer science Springer логическое программирование Программирование для ЭВМ логическое , , лопрэв логическое программирование


R/9132/675 Mulkers, A. Live data structures in logic programs [Text] : derivation by means of abstract interpretation / A.Mulkers. - Berlin etc. : Springer , 1993. - 220 p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; 675). - ISBN 3-540-56694-5 : 65774 р. Библиогр.:с.213-220ГРНТИ 50.05.03УДК 004.42.047 Рубрики: Программирование для ЭВМ логическое Держатели документа: ГПНТБ России Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-105743 PROGRAMS$

State Public Technical Library of Russia (Russian)

194

K (Информатика/Англо-русский словарь по информатике)


2005-01-03

   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

195

Journal of nanoscience and nanotechnology (Металлургия/Ресурсы)


2006-02-20

ТипОтдельный выпуск журналаАвторыНазваниеJournal of nanoscience and nanotechnologyРефератпубликуются материалы по нанотехнологиям и наноматериаламКлючевые словананотехнологии, наноматериалыПолное назв …

VINITI Projects Database (Russian)

197

JavaSpMT: A speculative thread pipelining parallelization model for Java programs UMSI research report программа многопроцессорная вычислительная система Вычислительные системы многопроцессорные программа многопроцессорная вычислительная система

Lilja, D.J.

R/17401/2000/105 Kazi, I. H. JavaSpMT: A speculative thread pipelining parallelization model for Java programs [Text] : сборник научных трудов / I.H.Kazi,D.J.Lilja. - Minneapolis(Mn) : [s. n.], 2000. - 15 p. : ill. - (UMSI research report / Univ.of Minnesota ; 2000/105). - 10.00 р. Библиогр.:с.14-15ГРНТИ 50.39.29УДК 004.272.43 Рубрики: Вычислительные системы многопроцессорные Держатели документа: ГПНТБ России Доп.точки доступа: Lilja, D.J. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

198

JavaSpMT: A speculative thread pipelining parallelization model for Java programs UMSI research report ; Программы для ЭВМ на Джава ; Вычислительные системы многопроцессорные

Lilja, D.J.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Kazi I.H., Lilja D.J. Заглавие : JavaSpMT: A speculative thread pipelining parallelization model for Java programs Выходные данные : Minneapolis(Mn), 2000 Колич.характеристики :15 p.: ill Серия: UMSI research report/ University of Minnesota(Minneapolis,Mn).Supercomputer institute; 2000/105 Примечания : ; Библиогр.:с.14-15 Цена : Б.ц. ГРНТИ : ; 50.41 + ; 50.39.29 УДК : + Предметные рубрики: Программы для ЭВМ на Джава Вычислительные системы многопроцессорные Перейти к источнику в Интернете: JavaSpMT: A speculative thread pipelining parallelization model for Java programs Доп.точки доступа: Lilja, D.J. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

199

Java programs for using Newmark's method to model slope performance during earthquakes [Electronic resource]: supersedes Open-File Rep. 01-116 Open-File Rep 0 ^aПрограммы на языке Java по использованию метода Ньюмарка для моделирования характеристик склона при землетрясениях. [Электронный ресурс]. Заменяет отчет в открытом файле 01-116. Электронные данные USGS 0 ; программы Java; метод Ньюмарка; моделирование склона; землетрясения 0 ; программы Java; метод Ньюмарка; моделирование склона; землетрясения Title from disc label 0 ; программы Java; метод Ньюмарка; моделирование склона; землетрясения

Jibson, R.W.; Jibson, M.W.

Вид документа : Однотомное издание Шифр издания : K Заглавие : Java programs for using Newmark's method to model slope performance during earthquakes [Electronic resource]: supersedes Open-File Rep. 01-116 Выходные данные : Washington: USGS, 2002 Колич.характеристики :1 electr.optic.disc Серия: Open-File Rep; 02-201 Примечания : ; Title from disc label ISBN, Цена 0-607-99026-0: Б.ц. ГРНТИ : ; 37.31.19 + ; 50.41.25 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; программы java; метод ньюмарка; моделирование склона; землетрясения Перейти к источнику в Интернете: Java programs for using Newmark's method to model slope performance during earthquakes [Electronic resource]: supersedes Open-File Rep. 01-116 Доп.точки доступа: Jibson, R.W.; Jibson, M.W. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

200

Japan Marine Science and Technology Center Deep Sea Research (Машиностроение/Организации)


2006-02-17

Тип: научный центр Профиль деятельности: Underwater robotics Сокр. название: JAMSTEC ГРНТИ: 55.30 Область наук: Техника Город: Yokosuka, Kanagawa, Japan www.jamstec.go.jp/index-e/ …

VINITI Projects Database (Russian)

202

Issues and programs affecting the competitiveness of U.S. agricultural exports Serial 0 ^aПроблемы и программы, влияющие на конкурентоспособность с.-х. экспорта США:Протокол совместных слушаний в двух подкомиссиях Комиссии по сельскому хозяйству Палаты представителей Конгресса США 100-ГО СОЗЫВА GPO 0 ; проблемы; программы; конкурентоспособность; сельскохозяйственный экспорт; США 0 ; проблемы; программы; конкурентоспособность; сельскохозяйственный экспорт; США


Вид документа : Однотомное издание Шифр издания : Заглавие : Issues and programs affecting the competitiveness of U.S. agricultural exports : Joint hearings before the Subcomm. on Dep. operations, research, and foreign agriculture and the Subcomm. on wheat, soybeans, and feed grains of the Comm. on agriculture, House of representatives, 100. Congr. 1 st sess., March 17, and 18, 1987 Выходные данные : Washington: GPO, 1988 Колич.характеристики :3, 277 с: ил Серия: Serial; N100-62 Цена : Б.ц. ГРНТИ : ; 68.01.75 Ключевые слова (''Своб.индексиров.''): 0 ; проблемы; программы; конкурентоспособность; сельскохозяйственный экспорт; сша Перейти к источнику в Интернете: Issues and programs affecting the competitiveness of U.S. agricultural exports PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

203

International University Bremen. Robotics Lab. (Машиностроение/Организации)


2006-02-17

Тип: научный центр Профиль деятельности: Robotic rescue, Embedded systems Сокр. название: IUB ГРНТИ: 55.30 Область наук: Техника Город: Bremen, Deutschland http://robotics.iu- …

VINITI Projects Database (Russian)

204

International Organization for Standardization (Автоматика и радиоэлектроника/Организации)


2006-04-17

ТипорганизацияПолное название (официальное)International Organization for Standardization - Международная организация по стандартизацииПрофиль деятельностиМетрология стандартизация международная деяте …

VINITI Projects Database (Russian)

206

Inflation targeting in the context of IMF-supported adjustment programs Working paper Инфляция

Blejer, M.I.; Leone, A.M.; Rabanal, P.; Schwartz, G.

R/17742/WP/01/31 Inflation targeting in the context of IMF-supported adjustment programs [Text] : сборник научных трудов / M.I.Blejer,A.M.Leone,P.Rabanal,G.Schwartz. - S.l. : [s. n.], 2001. - 24 p. : ill. - (Working paper / Intern. monetary fund ; WP/01/31). - 10.00 р. Библиогр.: с.23ГРНТИ 06.73.45УДК 336.748.12 Рубрики: Инфляция Держатели документа: ГПНТБ России Доп.точки доступа: Blejer, M.I.; Leone, A.M.; Rabanal, P.; Schwartz, G. Экз-ры: кди(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

207

Inflation targeting in the context of IMF-supported adjustment programs Working paper ; Инфляция в зарубежных странах

Leone, A.M.; Rabanal, P.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Blejer M.I., Leone A.M., Rabanal P. Заглавие : Inflation targeting in the context of IMF-supported adjustment programs Выходные данные : S.l., 2001 Колич.характеристики :24 p.: ill. Серия: Working paper/ International monetary fund; WP/01/31 Примечания : ; Библиогр.: с.23 Цена : Б.ц. ГРНТИ : ; 06.73.45 УДК : Предметные рубрики: Инфляция в зарубежных странах Перейти к источнику в Интернете: Inflation targeting in the context of IMF-supported adjustment programs Доп.точки доступа: Leone, A.M.; Rabanal, P. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

208

Indonesia: implementing national policies in decentralized context: special purpose programs to protect the poor Working paper экономика 42717; Экономика в зарубежных странах, Индонезия экономика

Leruth, L.

R/17742/WP/00/102 Ahmad, E. Indonesia: implementing national policies in decentralized context: special purpose programs to protect the poor [Text] : сборник научных трудов / E.Ahmad,L.Leruth. - S.l. : [s. n.], 2000. - 29 p. : ill. - (Working paper / IMF ; WP/00/102). - 10.00 р. Библиогр.:с.29ГРНТИ 06.91УДК 338(910) Рубрики: Экономика в зарубежных странах--Индонезия Держатели документа: ГПНТБ России Доп.точки доступа: Leruth, L. Экз-ры: кди(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

209

Indonesia: implementing national policies in decentralized context: special purpose programs to protect the poor Working paper ; Экономика

Leruth, L.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Ahmad E., Leruth L. Заглавие : Indonesia: implementing national policies in decentralized context: special purpose programs to protect the poor Выходные данные : S.l., 2000 Колич.характеристики :29 p.: ill. Серия: Working paper/ International monetary fund; WP/00/102 Примечания : ; Библиогр.:с.29 Цена : Б.ц. ГРНТИ : ; 06.91 УДК : Предметные рубрики: Экономика Перейти к источнику в Интернете: Indonesia: implementing national policies in decentralized context: special purpose programs to protect the poor Доп.точки доступа: Leruth, L. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

210

Increased role for U.S. farm export programs Agriculture inform. bull./USDA. Economic research service 0 ^aВлияние экспортных программ на развитие с.-х. производства США 0 ; экспортные программы; США 0 ; экспортные программы; США


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Smith M. Заглавие : Increased role for U.S. farm export programs Выходные данные : Washington, 1987 Колич.характеристики :7 с Серия: Agriculture inform. bull./USDA. Economic research service; N 515 Цена : Б.ц. ГРНТИ : ; 68.01.75 Ключевые слова (''Своб.индексиров.''): 0 ; экспортные программы; сша Перейти к источнику в Интернете: Increased role for U.S. farm export programs PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

211

Impact of government farm programs on Texas rice acreage, 1976-1987, and results of a projection model for rice acreage in 1988 Misc. publ./Texas A and M univ. system. Texas agr. experiment station; 1707 0 ^aВлияние правительственных программ регулирования с.-х. производства на площади под рисом в шт. Техас, США, за 1976-1987 гг.; модель для прогнозирования изменений в структуре площадей под рисом в 1988 г. 0 ; Структура площадей под рисом; США Библиогр.: с.18 0 ; Структура площадей под рисом; США

Rister, M.E. .; Grant, W.R. .; Harper, J.K. .

Вид документа : Однотомное издание Шифр издания : Заглавие : Impact of government farm programs on Texas rice acreage, 1976-1987, and results of a projection model for rice acreage in 1988 Выходные данные : College Station (Tex.), 1990 Колич.характеристики :30, 6 с: ил Серия: Misc. publ./Texas A and M univ. system. Texas agr. experiment station; 1707 Примечания : ; Библиогр.: с.18 Цена : Б.ц. ГРНТИ : ; 68.35.29 Ключевые слова (''Своб.индексиров.''): 0 ; структура площадей под рисом; сша Перейти к источнику в Интернете: Impact of government farm programs on Texas rice acreage, 1976-1987, and results of a projection model for rice acreage in 1988 Доп.точки доступа: Rister, M.E. \.\; Grant, W.R. \.\; Harper, J.K. \.\ PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

212

IMF conditionality and country ownership of programs Working paper ; Кредит

Sharma, S.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Khan M.S., Sharma S. Заглавие : IMF conditionality and country ownership of programs Выходные данные : S.l., 2001 Колич.характеристики :31 p. Серия: Working paper/ International monetary fund; WP/01/142 Примечания : ; Библиогр.: с.29-31 Цена : Б.ц. ГРНТИ : ; 06.73.75 УДК : Предметные рубрики: Кредит Перейти к источнику в Интернете: IMF conditionality and country ownership of programs Доп.точки доступа: Sharma, S. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

213

I (Информатика/Англо-русский словарь по информатике)


2005-01-03

   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

215

How to write parallel programs The MIT Press Программирование для ЭВМ параллельное, , папрэв

Gelernter, D.

J2/25280 Carriero, N. How to write parallel programs [Text] : a first course / N.Carriero,D.Gelernter. - Cambridge(Ma) ; London : The MIT Press, 1990. - 232 p. - ISBN 0-262-03171-X : 20000 р. Библиогр.:с.223-227.Указ.:с.229-232ГРНТИ 50.33.04УДК 004.42.032.24 Рубрики: Программирование для ЭВМ параллельное Держатели документа: ГПНТБ России Доп.точки доступа: Gelernter, D. Экз-ры: АЛГ(1), (2) Копия: мкф., Шифр MR-104857 PROGRAMS$

State Public Technical Library of Russia (Russian)

217

Hand-rearing bobcats for research and breeding programs Research rep./Mississippi state univ. Mississippi agr. and forestry experiment station; Vol. 15, N 3 0 ^aИспользование рыжих рысей ручного выращивания для исследований и программ разведения:Листовка 0 ; Рыжая рысь; ручного выращивания исследования; США Библиогр.: с.6 0 ; Рыжая рысь; ручного выращивания исследования; США

Woshner, V.M.; Leopold, B.D.; Woody, B.J.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Jackson D.L., Woshner V.M., Leopold B.D., Woody B.J. Заглавие : Hand-rearing bobcats for research and breeding programs Выходные данные : Mississippi State (Miss.), 1990 Колич.характеристики :1 л с Серия: Research rep./Mississippi state univ. Mississippi agr. and forestry experiment station; Vol. 15, N 3 Примечания : ; Библиогр.: с.6 Цена : Б.ц. ГРНТИ : ; 68.45.37 Ключевые слова (''Своб.индексиров.''): 0 ; рыжая рысь; ручного выращивания исследования; сша Перейти к источнику в Интернете: Hand-rearing bobcats for research and breeding programs Доп.точки доступа: Woshner, V.M.; Leopold, B.D.; Woody, B.J. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

219

Guidelines for the preparation of plans for programs of bovine tuberculosis eradication and principles and technical criteria for the conduct and evaluation of bovine tuberculosis eradication programs Techn. note/Centro panamericano de zoonosis 0 ^aРуководство для подготовки программ по искоренению туберкулеза крупного рогатого скота 0 ; руководство; туберкулез; крупный рогатый скот 0 ; руководство; туберкулез; крупный рогатый скот


Вид документа : Однотомное издание Шифр издания : Заглавие : Guidelines for the preparation of plans for programs of bovine tuberculosis eradication and principles and technical criteria for the conduct and evaluation of bovine tuberculosis eradication programs Выходные данные : Buenos Aires, 1989 Колич.характеристики :44 с Серия: Techn. note/Centro panamericano de zoonosis; N 15, rev. 1 Цена : Б.ц. ГРНТИ : ; 68.41.53 Ключевые слова (''Своб.индексиров.''): 0 ; руководство; туберкулез; крупный рогатый скот Перейти к источнику в Интернете: Guidelines for the preparation of plans for programs of bovine tuberculosis eradication and principles and technical criteria for the conduct and evaluation of bovine tuberculosis eradication programs PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

221

Generating FORTRAN programs from decision tables 0 ; ФОРТРАН; таблицы решений; программирование Библиогр.: с. 309-310.-Указ.: с. 311-312 0 ; ФОРТРАН; таблицы решений; программирование

Ioachim, Alexandru

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Dumitrascu, Liviu, Ioachim, Alexandru Заглавие : Generating FORTRAN programs from decision tables Выходные данные : Bucuresti, 1990 Колич.характеристики :VIII, 312 с: ил., табл Примечания : ; Библиогр.: с. 309-310.-Указ.: с. 311-312 ISBN, Цена 973-27-0231-1: Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; фортран; таблицы решений; программирование Перейти к источнику в Интернете: Generating FORTRAN programs from decision tables, Перейти к источнику в Интернете: , Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  Доп.точки доступа: Ioachim, Alexandru PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

223

G (Информатика/Англо-русский словарь по информатике)


2005-01-03

   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

224

Functional dependencies of variables in waitfree programs Rep./Centrum voor wiskunde en informatica. Computer science/Dep. of software technology; CS-R8808 0 ^aФункциональная зависимость переменных в свободных от ожидания программах Stichting math. centrum 0 ; зависимость переменной 0 ; зависимость переменной


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Kranakis E. Заглавие : Functional dependencies of variables in waitfree programs Выходные данные : Amsterdam: Stichting math. centrum, 1988 Колич.характеристики :15 с: ил Серия: Rep./Centrum voor wiskunde en informatica. Computer science/Dep. of software technology; CS-R8808 Цена : Б.ц. ГРНТИ : ; 50.05.03 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; зависимость переменной Перейти к источнику в Интернете: Functional dependencies of variables in waitfree programs, Перейти к источнику в Интернете:  PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

225

Functional dependencies of variables in wait-free programs Report;CS-R8808 0 ^aФункциональная зависимость переменной в программе свободного ожидания Stichting math. centrum 0 ; процессоры; переменная величина; функциональная зависимость; программы Библиогр.: с. 15 0 ; процессоры; переменная величина; функциональная зависимость; программы


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Kranakis E. Заглавие : Functional dependencies of variables in wait-free programs Выходные данные : Amsterdam: Stichting math. centrum, 1988 Колич.характеристики :15 с Серия: Report;CS-R8808/ Centrum voor wiskunde en informatica Примечания : ; Библиогр.: с. 15 Цена : Б.ц. ГРНТИ : ; 50.33 Ключевые слова (''Своб.индексиров.''): 0 ; процессоры; переменная величина; функциональная зависимость; программы Перейти к источнику в Интернете: Functional dependencies of variables in wait-free programs, Перейти к источнику в Интернете:  PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

227

Four decades of fund arrangements:macroeconomic stylized facts before the adjustment programs Working paper валютная система Валютная система, организации, , ваорси валютная система


R/17742/WP/95/74 Santaella, J. A. Four decades of fund arrangements:macroeconomic stylized facts before the adjustment programs [Text] : сборник научных трудов / J.A.Santaella;Prepared by J.A.Santaella. - S.l. : [s. n.], 1995. - 36 p. : ill. - (Working paper / IMF ; WP/95/74). - 10000 р. Библиогр.:с.35-36ГРНТИ 06.75.39УДК 336.74(09) Рубрики: Валютная система, организации Держатели документа: ГПНТБ России Экз-ры: кди(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

228

Foster-Miller, Inc. (Химия/Организации)


2006-04-05

Типпромышленная компанияПолное название (официальное)Foster-Miller, Inc.Профиль деятельностиNanotechnology company providing system design and integration, microelectronics services, biomedical techno …

VINITI Projects Database (Russian)

229

Formulas as programs Report:Probability,networks and algorithms логическое программирование вычислительная сеть алгоритм Программирование для ЭВМ логическое логическое программирование вычислительная сеть алгоритм

Bezem, M.A.

R/17935/PNA-R9809 Apt, K. R. Formulas as programs [Text] : сборник / K.R.Apt,M.A.Bezem. - Amsterdam : [s. n.], 1998. - 26 p. - (Report:Probability,networks and algorithms / CWI, ISSN 1386-3711 ; PNA-R9809). - 10.00 р. Библиогр.:с.21ГРНТИ 50.05.13УДК 004.42.047 Рубрики: Программирование для ЭВМ логическое Держатели документа: ГПНТБ России Доп.точки доступа: Bezem, M.A. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

230

Formal specification techniques for engineering modular C programs The Kluwer international series in software engineering Kluwer Программы для ЭВМ, Спецификация, , прэв


R/17933/1 Tan, Y. M. Formal specification techniques for engineering modular C programs [Text] : монография / Y.M.Tan. - Boston (Ma) etc. : Kluwer, 1996. - XVI,213 p. p. : ill. - (The Kluwer international series in software engineering / Ed.:V.R.Basin ; 1). - ISBN 0-7923-9653-7 : 450000 р. Библиогр.:с205-208.Указ.:с.209-213ГРНТИ 50.05.09УДК 004.415.28 Рубрики: Программы для ЭВМ--Спецификация Держатели документа: ГПНТБ России Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-107397 PROGRAMS$

State Public Technical Library of Russia (Russian)

231

Formal development of programs and proofs The UT year of programming ser. Addison-Wesley программирование искусственный интеллект Программирование для ЭВМ Искусственный интеллект программирование искусственный интеллект

Dijkstra, E.W. ed.

J2/23713 Formal development of programs and proofs [Text] : сборник научных трудов / ed. E. W. Dijkstra. - reading(ma) [etc.] : Addison-Wesley, 1990. - 242 p. : ill. - (The UT year of programming ser.). - ISBN 0-201-17237-2 : 52.23 р. Библиогр.в конце гл.ГРНТИ 28.2350.01.13УДК 004.42004.832.2 Рубрики: Программирование для ЭВМИскусственный интеллект Держатели документа: ГПНТБ России Доп.точки доступа: Dijkstra, E.W. \ed.\ Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-99960 PROGRAMS$

State Public Technical Library of Russia (Russian)

232

Forest resources policy: process, participants, and programs McGraw-Hill ser. in forest resources 0 ^aПолитика в отношении лесных ресурсов: процесс, участники и программы McGraw-Hill 0 ; политика; лесные ресурсы 0 ; политика; лесные ресурсы Библиогр. в конце гл.- Указ.: с.495-504.- Рез. англ 0 ; политика; лесные ресурсы


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Ellefson P.V. Заглавие : Forest resources policy: process, participants, and programs Выходные данные : New York etc: McGraw-Hill, 1992 Колич.характеристики :XXIV, 504 c: ил Серия: McGraw-Hill ser. in forest resources Примечания : ; Библиогр. в конце гл.- Указ.: с.495-504.- Рез. англ ISBN, Цена 0-07-019415-7: Б.ц. ГРНТИ : ; 68.47.75 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; политика; лесные ресурсы Перейти к источнику в Интернете: Forest resources policy: process, participants, and programs PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

233

Fiscal year 1989 programs - fiscal year 1990 projections NOAA 0 ^aПрограмма на 1989 финансовый год - проект на 1990 финансовый год Отдела исследований ураганов Hurricane research division 0 ; ураганы 0 ; ураганы 0 ; ураганы


Вид документа : Однотомное издание Шифр издания : K Заглавие : Fiscal year 1989 programs - fiscal year 1990 projections Выходные данные : Miami,Fl., 1990 Колич.характеристики :53 c Коллективы : Hurricane research division Серия: NOAA Цена : Б.ц. ГРНТИ : ; 37.21.31 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; ураганы Перейти к источнику в Интернете: Fiscal year 1989 programs - fiscal year 1990 projections PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

234

FirstBots Home (Машиностроение/Ресурсы)


2006-04-13

Тип2НазваниеFirstBots HomeОписаниеFeaturing the simple mobile robot that most hobbyists can build in a weekend. Also containe links to uzer groups, publications, suppliers and other robotics topics.Кл …

VINITI Projects Database (Russian)

235

Farm programs slow technology-induced decline in land's importanse Techn. bull./USDA. Econ. research service 0 ^aВлияние технологических изменений на удельный вес земельных фондов в с.-х. производстве 0 ; земельные фонды; США Библиогр.: с.5 0 ; земельные фонды; США

Shoemaker, R.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Offutt S., Shoemaker R. Заглавие : Farm programs slow technology-induced decline in land's importanse Выходные данные : Washington, 1988 Колич.характеристики :5 с Серия: Techn. bull./USDA. Econ. research service; N 1745 Примечания : ; Библиогр.: с.5 Цена : Б.ц. ГРНТИ : ; 68.01.75 Ключевые слова (''Своб.индексиров.''): 0 ; земельные фонды; сша Перейти к источнику в Интернете: Farm programs slow technology-induced decline in land's importanse Доп.точки доступа: Shoemaker, R. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

236

FORTRAN programs to solve the stedy-state matrix,ricatti equations arising in Kalman filtering theory NWC technical publication Калмана фильтры, , кафи

Hewer, G.A.

MF-16134 Lucas, L. W. FORTRAN programs to solve the stedy-state matrix,ricatti equations arising in Kalman filtering theory [Text] : мфиша / L.W.Lucas,G.A.Hewer. - S.l. : [s. n.], 1971. - Pag.var. : ill.(1 мфиша). - (NWC technical publication / NWC ; n5180). - 800 р.ГРНТИ 28.15.23УДК 681.5.015.44(086.2) Рубрики: Калмана фильтры Держатели документа: ГПНТБ России Доп.точки доступа: Hewer, G.A. Экз-ры: ХР(2), (1) PROGRAMS$

State Public Technical Library of Russia (Russian)

237

FORTRAN programs to solve the steady-state matrix Riccati equations arising in Kalman filtering theory Калмана фильтры, , кафи

Hewer, G.A.

MF-16146-94 Lucas, L. W. FORTRAN programs to solve the steady-state matrix Riccati equations arising in Kalman filtering theory [Text] : сборник научных трудов / L.W.Lucas,G.A.Hewer. - S.l. : [s. n.], S. a. - Pag var. var. : ill. - 400 р. Библиогр.в книгеГРНТИ 50.43УДК 681.5.015.44(086.2) Рубрики: Калмана фильтры Держатели документа: ГПНТБ России Доп.точки доступа: Hewer, G.A. Экз-ры: ХР(1), (1) PROGRAMS$

State Public Technical Library of Russia (Russian)

238

FAO irrigation and drainage paper / FAO. 62: Guidelines and computer programs for the planning and design of land drainage systems 1 ^aОсновы расчета и компьютерные программы по планированию и конструкциям дренажных систем. (ФАО) FAO, [Communication div., Electronic publ. policy and support branch] 0 ; компьютерные программы 0 ; дренаж 0 ; конструкции 0 ; проектирование 0 ; расчет 0 ; италия 0 ; компьютерные программы 0 ; дренаж 0 ; конструкции 0 ; проектирование 0 ; расчет 0 ; италия На обл. авт. не указаны 0 ; компьютерные программы 0 ; дренаж 0 ; конструкции 0 ; проектирование 0 ; расчет 0 ; италия

Martinez Beltran, J.; Ochs, W.J.

Вид документа : Однотомное издание Шифр издания : . 68.85.31. rugasnti Автор(ы) : Molen W.H.vander, Martinez Beltran J., Ochs W.J. Заглавие : FAO irrigation and drainage paper / FAO. 62: Guidelines and computer programs for the planning and design of land drainage systems Выходные данные : Rome: FAO, [Communication div., Electronic publ. policy and support branch], 2007 Колич.характеристики :XVIII, 228 c.: ил., карт. Примечания : ; Библиогр. на с. 109-113 и в конце отд. разд. - ; На обл. авт. не указаны; Текст англ. ISBN, Цена 978-92-5-105670-7: Б.ц. ГРНТИ : ; 68.85.31 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компьютерные программы--0 ; дренаж--0 ; конструкции--0 ; проектирование--0 ; расчет--0 ; италия Содержание : Перейти к источнику в Интернете: FAO irrigation and drainage paper / FAO. 62: Guidelines and computer programs for the planning and design of land drainage systems, Перейти к источнику в Интернете:  Доп.точки доступа: Martinez Beltran, J.; Ochs, W.J. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

240

Extensionality of simply typed logic programs Report:Probability,networks and algorithms логическое программирование вычислительная сеть алгоритм Программирование для ЭВМ логическое логическое программирование вычислительная сеть алгоритм


R/17935/PNA-R9907 Bezem, M. A. Extensionality of simply typed logic programs [Text] : сборник / M.A.Bezem. - Amsterdam : [s. n.], 1999. - 13 p. - (Report:Probability,networks and algorithms / CWI, ISSN 1386-3711 ; PNA-R9907). - 10.00 р. Библиогр.:с.13ГРНТИ 50.05.13УДК 004.42.047 Рубрики: Программирование для ЭВМ логическое Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

241

Extensionality of simply typed logic programs Report. PNA 0 ^aРасширяемость просто типизированных логических программ. [Б.и.] Парал. загл. сер. : гол.


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Bezem Marc A. Заглавие : Extensionality of simply typed logic programs Выходные данные : Amsterdam: [Б.и.], 1999 Колич.характеристики :13 c Серия: Report. PNA: Probability, networks a. algorithms/ Centrum voor wiskunde en informatica, ISSN 1386-3711; PNA-R9907 Примечания : ; Библиогр. : с. 13. - ; Парал. загл. сер. : гол. Цена : Б.ц. ГРНТИ : ; 50.05.03 УДК : Перейти к источнику в Интернете: Extensionality of simply typed logic programs, Перейти к источнику в Интернете:  PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

242

Extending single assertion specification approach nondeterministic programs; total correctness Pr.IPI PAN 0 ^aРасширение подхода к спецификации на основе логики одного утверждения для недерминистских программ; суммарная корректность Inst.of computer science Pol.acad.of sciences 0 ; спецификация программ 0 ; спецификация программ Рез.англ.,пол.-Библиогр.:с.21 0 ; спецификация программ


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Borzyszkowski A.M. Заглавие : Extending single assertion specification approach nondeterministic programs; total correctness Выходные данные : Warszawa: Inst.of computer science Pol.acad.of sciences, 1995 Колич.характеристики :36 c Серия: Pr.IPI PAN, ISSN 0138-0648; 790 Примечания : ; Рез.англ.,пол.-Библиогр.:с.21 Цена : Б.ц. ГРНТИ : ; 50.05.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; спецификация программ Перейти к источнику в Интернете: Extending single assertion specification approach nondeterministic programs; total correctness PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

243

Extending S-interpretations to logic programs with negation Report:Computer science логическое программирование Программирование для ЭВМ логическое логическое программирование


R/16212/CS-R8948 Turi, D. Extending S-interpretations to logic programs with negation [Text] : сборник научных трудов / D.Turi. - Amsterdam : [s. n.], 1989. - 14 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R8948). - 0.50 р. Библиогр.:с.14ГРНТИ 50.05.13УДК 004.42.047 Рубрики: Программирование для ЭВМ логическое Держатели документа: ГПНТБ России Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-89882 PROGRAMS$

State Public Technical Library of Russia (Russian)

244

Exploiting loop level parallelism in nonprocedural dataflow programs NASA contractor rep. ICASE report;N87-23 0 ^aИсследование параллелизма циклического уровня в непроцедурной программе, управляемого потоком данных 0 ; циклический уровень Библиогр.: с.16-17 0 ; циклический уровень


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Gokhale M.B. Заглавие : Exploiting loop level parallelism in nonprocedural dataflow programs Выходные данные : Washington, 1987 Колич.характеристики :17 с: ил Серия: NASA contractor rep.; N 178277 . ICASE report;N87-23/ Inst. for computer applications in sciences a. engineering Примечания : ; Библиогр.: с.16-17 Цена : Б.ц. ГРНТИ : ; 50.05.03 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; циклический уровень Перейти к источнику в Интернете: Exploiting loop level parallelism in nonprocedural dataflow programs PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

245

Exploiting loop level parallelism in nonprocedural dataflow programs Contractor report параллельное вычисление Параллельные вычисления параллельное вычисление


R/6893/178277 Gokhale, M. B. Exploiting loop level parallelism in nonprocedural dataflow programs [Text] : сборник научных трудов / M.B.Gokhale. - Washington : [s. n.], 1987. - 17 p. : ill. - (Contractor report / US.Nat.aeronautics and space administration ; n178277). - 10.00 р. Библиогр.:с.16-17ГРНТИ 50.33.03УДК 004.272.2 Рубрики: Параллельные вычисления Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

246

Explanation-based transformation of logic programs Report series 28200; Программирование для ЭВМ логическое


R/17400/93-029 Bostr@:om, H. Explanation-based transformation of logic programs [Text] : diss / H.Bostr@:om. - Stockholm : [s. n.], 1993. - 178 p. : ill. - (Report series / Stockholm univ., ISSN 1101-8526 ; n93-029). - ISBN 91-7153-167-X : 10 р. Библиогр.в конце книгиГРНТИ 50.05.13УДК 004.42.047(043) Рубрики: Программирование для ЭВМ логическое Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

247

Exchange rate uncertainty in money-based stabilization programs Working paper валютная система Валютная система, , васи валютная система


R/17742/WP/98/3 Morales, R. A. Exchange rate uncertainty in money-based stabilization programs [Text] : сборник научных трудов / R.A.Morales. - S.l. : [s. n.], 1998. - 18 p. : ill. - (Working paper / IMF ; WP/98/3). - 10.00 р. Библиогр.:с.18ГРНТИ 06.73УДК 336.74 Рубрики: Валютная система Держатели документа: ГПНТБ России Экз-ры: кди(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

248

Event synchronization analysis for debugging parallel programs CSRD Rpt./Center for supercomputing research a. development, Univ. of Ilinois 0 ^aАнализ синхронизации событий для отладки параллельных программ Center for supercomputing research a. development 0 ; параллельная программа; отладка Библиогр.: с.17-18 0 ; параллельная программа; отладка

Ghosh, S.; Padua, D.A.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Emrath P.A., Ghosh S., Padua D.A. Заглавие : Event synchronization analysis for debugging parallel programs Выходные данные : Urbana (Ill.): Center for supercomputing research a. development, 1988 Колич.характеристики :18 с: 3 л., ил Серия: CSRD Rpt./Center for supercomputing research a. development, Univ. of Ilinois; N 839 Примечания : ; Библиогр.: с.17-18 Цена : Б.ц. ГРНТИ : ; 50.05.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; параллельная программа; отладка Перейти к источнику в Интернете: Event synchronization analysis for debugging parallel programs Доп.точки доступа: Ghosh, S.; Padua, D.A. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

249

Evalution of groundwater monitoring programs at hazardous waste disposal facilities in Illinois Environmental geology notes;129

Hensel, Bruce R.; Mehnert, Edward

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Herzog, Beverly L., Hensel, Bruce R., Mehnert, Edward Заглавие : Evalution of groundwater monitoring programs at hazardous waste disposal facilities in Illinois Выходные данные : Б.м.,Б.г. Колич.характеристики :XII, 86 p.: ill. Серия: Environmental geology notes;129 Цена : Б.ц. ГРНТИ : ; 87.19 УДК : Перейти к источнику в Интернете: Evalution of groundwater monitoring programs at hazardous waste disposal facilities in Illinois, Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  Доп.точки доступа: Hensel, Bruce R.; Mehnert, Edward PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

250

Evaluation of groundwater monitoring programs at hazardous waste disposal facilities in Illinois Enviconmental geology notes, 109 0 ^aОценка программ мониторинга подземных вод в местах удаления вредных отходов в штате Иллинойс Illinois state geol. survey 0 ; подземные воды; вредные отходы; Иллинойс 0 ; подземные воды; вредные отходы; Иллинойс

Hensel, B.R.; Mehnert, E.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Herzog B.L., Hensel B.R., Mehnert E. Заглавие : Evaluation of groundwater monitoring programs at hazardous waste disposal facilities in Illinois Выходные данные : Champaign (Ill): Illinois state geol. survey, 1988 Колич.характеристики :XII, 86 с: ил Серия: Enviconmental geology notes, 109 Цена : Б.ц. ГРНТИ : ; 87.19.81 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; подземные воды; вредные отходы; иллинойс Перейти к источнику в Интернете: Evaluation of groundwater monitoring programs at hazardous waste disposal facilities in Illinois Доп.точки доступа: Hensel, B.R.; Mehnert, E. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

251

European Cooperation in Legal Metrology (Автоматика и радиоэлектроника/Организации)


2006-04-17

ТипОрганизацияПолное название (официальное)European Cooperation in Legal Metrology - Европейское сотрудничество в области законодательной метрологииПрофиль деятельностиМетрология стандартизация междун …

VINITI Projects Database (Russian)

252

European Committee for Standardization - Европейский Комитет по стандартизации (Автоматика и радиоэлектроника/Организации)


2006-04-17

ТипОрганизацияПолное название (официальное)European Committee for Standardization - Европейский Комитет по стандартизацииПрофиль деятельностиМетрология стандартизация международная деятельностьСокращё …

VINITI Projects Database (Russian)

255

Equations, models, and programs Prentice-Hall intern. ed Prentice-Hall software ser 0 ^aУправления, модели и программы. Математическое введение в теорию ЭВМ Prentice-Hall intern 0 ; модели; программы; теория ЭВМ 0 ; модели; программы; теория ЭВМ Библиогр.: с.505-506 0 ; модели; программы; теория ЭВМ


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Myers Th.J. Заглавие : Equations, models, and programs : A math. introd. to computer science Выходные данные : Englewood Cliffs (N.J.): Prentice-Hall intern, 1988 Колич.характеристики :XVI, 512 c: ил Серия: Prentice-Hall intern. ed . Prentice-Hall software ser Примечания : ; Библиогр.: с.505-506 ISBN, Цена 0-13-283284-4: Б.ц. ГРНТИ : ; 27.47.23 + ; 50.05.03 Ключевые слова (''Своб.индексиров.''): 0 ; модели; программы; теория эвм Перейти к источнику в Интернете: Equations, models, and programs, Перейти к источнику в Интернете:  PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

256

Epson. Industrial Robots-Devision (Машиностроение/Организации)


2006-02-17

Тип: хозяйственная Профиль деятельности: Manufacturing, Manipulation, Control ГРНТИ: 55.30 Область наук: Техника Email: robot.infos@epson.de Город: Deutschland www.epson.de/en …

VINITI Projects Database (Russian)

258

Eastern Canada and national and general programs Paper Current research Текущие исследования Геологической службы США. 1989, ч.Д. Внутренние равнины и Арктическая Канада.Восточная Канада и национальные и генеральные программы Canada. Geological survey Геология


R/1703/92-1/D Canada. Geological survey. Current research [Text] / Canada.Geol.survey. - Ottawa : [s. n.].Pt. D : Eastern Canada and national and general programs. - 1992. - 275 p. : ill. - (Paper / Canada.Geological survey ; 92-1). - ISBN 0-660-57065-3 : 30.00 р. Библиогр. в конце статей Перевод заглавия: Текущие исследования Геологической службы США. 1989, ч.Д. Внутренние равнины и Арктическая Канада.Восточная Канада и национальные и генеральные программыПеревод заглавия: Текущие исследования Геологической службы США. 1989, ч.Д. Внутренние равнины и Арктическая Канада.Восточная Канада и национальные и генеральные программыГРНТИ 38УДК 55(05) Рубрики: Геология Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

259

Eastern Canada and national and general programs Paper Current research Геология


R/1703/N 93-1/D Eastern Canada and national and general programs [Text] : сборник научных трудов. - [S. l. : s. n.], 1993. - 213 p. : ill. - (Paper / Canada.Geological survey ; n 93-1) (Current research / Canada.Geol.survey ; pt.D). - ISBN 0-660-57951-0 : 40 р. Парал.загл.фр.Рез.фр.Библиогр.в конце статей.ГРНТИ 38УДК 55(71) Рубрики: Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

260

Eastern Canada and national and general programs Paper Current research Canada. Geological survey геология Геология геология


R/1703/91-1/D Canada. Geological survey. Current research [Text] / Canada.Geol.survey. - Ottawa : [s. n.].Pt. D : Eastern Canada and national and general programs. - 1991. - 190 p. : ill. - (Paper / Canada.Geological survey ; 91-1). - ISBN 0-660-56284-7 : 10.00 р. Парал.загл.фр.Рез.англ.Библиогр.в конце ст.Указ.в конце кн.ГРНТИ 3838УДК 55(05) Рубрики: Геология Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

261

Eastern Canada and national and general programs Current research Canada. Geological survey Геология


R/1703/1994-D Canada. Geological survey. Current research [Text] / Canada.Geol.survey. - Ottawa : [s. n.].1994-D : Eastern Canada and national and general programs. - Ottawa : [s. n.], 1994. - 189 p. : ill. - ISBN 0-660-58988-5 : 200 р. Парал.загл.фр.Рез.англ.,фр.Библиогр.в конце статей.Указ.:с.189ГРНТИ 38УДК 55(05) Рубрики: Геология Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

262

Eastern Canada and national and general programs Current research 0 ^aВосточная Канада и национальные и общие программы 0 ; геология; Канада 0 ; геология; Канада Рез.фр.-Библиогр.в конце ст.-Указ.:с.71 0 ; геология; Канада


Вид документа : Однотомное издание Шифр издания : Заглавие : Eastern Canada and national and general programs Выходные данные : Ottawa, 1997 Колич.характеристики :71 c: ил Серия: Current research; 1997-ВD Примечания : ; Рез.фр.-Библиогр.в конце ст.-Указ.:с.71 Цена : Б.ц. ГРНТИ : ; 38.21.25 Ключевые слова (''Своб.индексиров.''): 0 ; геология; канада Перейти к источнику в Интернете: Eastern Canada and national and general programs PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

263

E (Информатика/Англо-русский словарь по информатике)


2005-01-03

   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca (h …

VINITI Projects Database (Russian)

264

Do food assistance programs improve household food security? Recent evidence from the United States Working paper 1 ^aАнализ влияния государственных программ продовольственной помощи низкообеспеченным слоям населения в США на уровень их продовольственной обеспеченности 0 ; продовольственная помощь 0 ; программы 0 ; население 0 ; занятость 0 ; прибыль 0 ; доходы населения 0 ; экономический анализ 0 ; сша 0 ; продовольственная помощь 0 ; программы 0 ; население 0 ; занятость 0 ; прибыль 0 ; доходы населения 0 ; экономический анализ 0 ; сша 0 ; продовольственная помощь 0 ; программы 0 ; население 0 ; занятость 0 ; прибыль 0 ; доходы населения 0 ; экономический анализ 0 ; сша

Jensen, H.H.

Вид документа : Однотомное издание Шифр издания : . 68.75.02. rugasnti Автор(ы) : Huffman S.K., Jensen H.H. Заглавие : Do food assistance programs improve household food security? Recent evidence from the United States Выходные данные : Ames (Iowa), 2003 Колич.характеристики :18, [2] c.: табл. Серия: Working paper/ Iowa state univ. Center for agr. and rural development; 335 Примечания : ; Библиогр.: с. 17-18 Цена : Б.ц. ГРНТИ : ; 68.75.02 + ; 68.75.85 + ; 68.75.91 УДК : + Ключевые слова (''Своб.индексиров.''): 0 ; продовольственная помощь--0 ; программы--0 ; население--0 ; занятость--0 ; прибыль--0 ; доходы населения--0 ; экономический анализ--0 ; сша Перейти к источнику в Интернете: Do food assistance programs improve household food security? Recent evidence from the United States, Перейти к источнику в Интернете:  Доп.точки доступа: Jensen, H.H. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

265

Do IMF-supported programs work? A survey of the cross-country empirial evidence Working paper валютная система Валютная система, организации валютная система

Khan, M.S.

R/17742/WP/98/169 Haque, N. U. Do IMF-supported programs work? A survey of the cross-country empirial evidence [Text] : сборник научных трудов / N.U.Haque,M.S.Khan. - S.l. : [s. n.], 1998. - 28 p. - (Working paper / IMF ; WP/98/169). - 20.00 р. Библиогр.:с.26-28ГРНТИ 06.73.45УДК 336.74:061 Рубрики: Валютная система, организации Держатели документа: ГПНТБ России Доп.точки доступа: Khan, M.S. Экз-ры: кди(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

266

Do IMF-supported programs help make fiscal adjustment more durable? Working paper IMF ; Налоги

Moon, S.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Bulir A., Moon S. Заглавие : Do IMF-supported programs help make fiscal adjustment more durable? Выходные данные : S.l.: IMF, 2003 Колич.характеристики :44 p. Серия: Working paper/ International monetary fund; WP/03/38 Примечания : ; Библиогр.:с.41-44 Цена : Б.ц. ГРНТИ : ; 06.73.15 УДК : Предметные рубрики: Налоги Перейти к источнику в Интернете: Do IMF-supported programs help make fiscal adjustment more durable? Доп.точки доступа: Moon, S. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

267

Do IMF-supported programs boost private capital inflows? The role of program size and policy adjustment Working paper ; Финансовые организации


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Benelli R. Заглавие : Do IMF-supported programs boost private capital inflows? The role of program size and policy adjustment Выходные данные : S. l., 2003 Колич.характеристики :34 p.: ill. Серия: Working paper/ International monetary fund; WP/03/231 Примечания : ; Библиогр.: с.32-34 Цена : Б.ц. ГРНТИ : ; 06.73 УДК : Предметные рубрики: Финансовые организации Перейти к источнику в Интернете: Do IMF-supported programs boost private capital inflows? The role of program size and policy adjustment PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

268

Disaster assistance. Crop insurance can provide assistance more effectively than other programs 0 ^aВспомоществование при стихийных бедствиях:Возможности повышения эффективности страхования урожая с.-х. культур по сравнению с другими программами помощи:Доклад председателя комиссии по сельскому хозяйству Палаты представителей Конгресса США 0 ; Повышение эффективности страхования урожая; США 0 ; Повышение эффективности страхования урожая; США


Вид документа : Однотомное издание Шифр издания : Заглавие : Disaster assistance. Crop insurance can provide assistance more effectively than other programs : Rep. of the chairman, Com. on agriculture, House of representatives Выходные данные : Б.м., 1989 Колич.характеристики :10-36 с: ил Цена : Б.ц. ГРНТИ : ; 68.01.75 Ключевые слова (''Своб.индексиров.''): 0 ; повышение эффективности страхования урожая; сша Перейти к источнику в Интернете: Disaster assistance. Crop insurance can provide assistance more effectively than other programs PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

269

Differential logic programs:semantics and programming methodologies Report:Computer science Программирование для ЭВМ логическое, , лопрэв

Bossi, A.; Bugliesi, M.; Gabbrielli, M.; Levi, G.

R/16212/CS-R9363 Differential logic programs:semantics and programming methodologies [Text] : сборник научных трудов / A.Bossi,M.Bugliesi,M.Gabbrielli и др. - Amsterdam : [s. n.], 1993. - 49 p. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9363). - 20 р. Библиогр.:с.32-34ГРНТИ 50.05.03УДК 004.42.047 Рубрики: Программирование для ЭВМ логическое Держатели документа: ГПНТБ России Доп.точки доступа: Bossi, A.; Bugliesi, M.; Gabbrielli, M.; Levi, G. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

270

Designing structured programs workshop Семинар по разработке структурированных программ Prentice Hall структурное программирование Программирование для ЭВМ структурное структурное программирование

Scott, D.G.

J2/23054 Higgins, D. A. Designing structured programs workshop [Text] : сборник / D.A.Higgins,D.G.Scott. - Englewood Cliffs(NJ) : Prentice Hall, 1989. - X,230 p. p. - ISBN 0-13-201468-8 : 14.50 р. Библиогр.:с.183 Перевод заглавия: Семинар по разработке структурированных программПеревод заглавия: Семинар по разработке структурированных программГРНТИ 50.05.13УДК 004.42.043 Рубрики: Программирование для ЭВМ структурное Держатели документа: ГПНТБ России Доп.точки доступа: Scott, D.G. Экз-ры: АЛГ(1), (2) Копия: мкф., Шифр MR-95077 PROGRAMS$

State Public Technical Library of Russia (Russian)

271

Designing structured programs workshop 0 ^aСеминар по разработке структурированных программ Prentice Hall 0 ; разработка структурированной программы Библиогр.: с. 183 0 ; разработка структурированной программы

Scott, D.G.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Higgins D.A., Scott D.G. Заглавие : Designing structured programs workshop Выходные данные : Englewood Cliffs (NJ): Prentice Hall, 1989 Колич.характеристики :10, 230 с Примечания : ; Библиогр.: с. 183 ISBN, Цена 0-13-201468-8: Б.ц. ГРНТИ : ; 50.05.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; разработка структурированной программы Перейти к источнику в Интернете: Designing structured programs workshop Доп.точки доступа: Scott, D.G. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

272

Darmstadt University of Technology. Control Systems Theory & Robotics Department (Машиностроение/Организации)


2006-02-17

Тип: университет Профиль деятельности: Control, Manipulaion, Mobile robots ГРНТИ: 55.30 Область наук: Техника Город: Darmstadt, Deutschland www.rt.e-technik.tu-darmstadt.de/index …

VINITI Projects Database (Russian)

274

Dairy feeding programs 0 ^aПрограммы кормления молочных коров для условий сев.-вост. штатов США 0 ; кормление; молочные коровы; США 0 ; кормление; молочные коровы; США


Вид документа : Однотомное издание Шифр издания : Заглавие : Dairy feeding programs Выходные данные : Б.м., 1987 Колич.характеристики :4, 59 с Цена : Б.ц. ГРНТИ : ; 68.39.29 Ключевые слова (''Своб.индексиров.''): 0 ; кормление; молочные коровы; сша Перейти к источнику в Интернете: Dairy feeding programs PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

275

Daimler Chrysler Research & Technology. Cognition and Robotics Group, Sensor-based and... (Машиностроение/Организации)


2006-02-17

Тип: научный центр Профиль деятельности: Mobile robots, Manufacturing assistants, Learning, Human/robot interaction ГРНТИ: 55.30 Область наук: Техника Город: Berlin, Deutschland …

VINITI Projects Database (Russian)

277

Constructing a. calculus of programs Rep./Centrum voor wiskunde en inform. Computer science; CS-R8914 0 ^aПостроение и вычисление программ 0 ; построение; вычисление; программы Библиогр.: с. 25 0 ; построение; вычисление; программы


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Meertens L.G.L.T. Заглавие : Constructing a. calculus of programs Выходные данные : Amsterdam, 1989 Колич.характеристики :25 с: ил Серия: Rep./Centrum voor wiskunde en inform. Computer science; CS-R8914 Примечания : ; Библиогр.: с. 25 Цена : Б.ц. ГРНТИ : ; 50.05.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; построение; вычисление; программы Перейти к источнику в Интернете: Constructing a. calculus of programs PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

278

Conscious and unconscious programs in the brain Psychobiology of human behavior/Benjamin Kissin; Vol. 1 0 ^aСознательные и бессознательные программы в головном мозгу Plenum med. book 0 ; Головной мозг Библиогр.: с. 357-370.-Указ.: с. 371-384 0 ; Головной мозг


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Kissin B. Заглавие : Conscious and unconscious programs in the brain Выходные данные : New York: Plenum med. book; London, 1986 Колич.характеристики :22, 384 с Серия: Psychobiology of human behavior/Benjamin Kissin; Vol. 1 Примечания : ; Библиогр.: с. 357-370.-Указ.: с. 371-384 ISBN, Цена 0-306-42243-3: Б.ц. ГРНТИ : ; 34.39.23 Ключевые слова (''Своб.индексиров.''): 0 ; головной мозг Перейти к источнику в Интернете: Conscious and unconscious programs in the brain PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

279

Computer viruses worms, data diddlers, killer programs and other threats your system 0 ^aВирусы в персональных ЭВМ St. Martin's press Указ.

Haynes, Colin

Вид документа : Однотомное издание Шифр издания : Автор(ы) : McAffee, John, Haynes, Colin Заглавие : Computer viruses worms, data diddlers, killer programs and other threats your system : What they are, how they work, a. how to defend your PC, mac, or mainframe Выходные данные : New York: St. Martin's press, 1989 Колич.характеристики :XIX, 235 с. ; 21 см. Примечания : ; Указ. ISBN, Цена 0-312-02889-X: Б.ц. ГРНТИ : ; 50.33 Перейти к источнику в Интернете: Computer viruses worms, data diddlers, killer programs and other threats your system Доп.точки доступа: Haynes, Colin PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

280

Computer programs in clinical and laboratory medicine 0 ^aКомпьютерные программы в клинической и лабораторной медицине Springer-Verl 0 ; Компьютерная программа; Клиническая; Лабораторная медицина Библиогр. в конце ст 0 ; Компьютерная программа; Клиническая; Лабораторная медицина


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Doyle D.J. Заглавие : Computer programs in clinical and laboratory medicine Выходные данные : New York: Springer-Verl, 1989 Колич.характеристики :11, 189 с Примечания : ; Библиогр. в конце ст ISBN, Цена 0-387-96879-2: Б.ц. ГРНТИ : ; 76.29 + ; 76.35.33 Ключевые слова (''Своб.индексиров.''): 0 ; компьютерная программа; клиническая; лабораторная медицина Перейти к источнику в Интернете: Computer programs in clinical and laboratory medicine PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

281

Computer programs for data reduction and interpretation in plutonium and uranium analysis by gamma ray spectrometry Publication Компьютерные программы для сокращения и интерпретации данных в анализе плутония и урана с помощью гамма-лучевой спектрометрии отработанное ядерное топливо Ядерное топливо отработанное, Регенерация отработанное ядерное топливо

Singh, R.K.; Moorthy, A.D.; Babbar, R.K.; Udagatti, S.V.

R/6140/1478 Computer programs for data reduction and interpretation in plutonium and uranium analysis by gamma ray spectrometry [Text] : сборник / R.K.Singh,A.D.Moorthy,R.K.Babbar,S.V.Udagatti. - Bombay : [s. n.], 1989. - 13 p. : 8 l.ill. - (Publication / BARC ; 1478). - 1.00 р. Библиогр.: с. 13 Перевод заглавия: Компьютерные программы для сокращения и интерпретации данных в анализе плутония и урана с помощью гамма-лучевой спектрометрииПеревод заглавия: Компьютерные программы для сокращения и интерпретации данных в анализе плутония и урана с помощью гамма-лучевой спектрометрииГРНТИ 58.91УДК 621.039.59 Рубрики: Ядерное топливо отработанное--Регенерация Держатели документа: ГПНТБ России Доп.точки доступа: Singh, R.K.; Moorthy, A.D.; Babbar, R.K.; Udagatti, S.V. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

282

Computer Methods and Programs in Biomedicine Elsevier Science Publishers


Вид документа : Журнал Шифр издания : Заглавие : Computer Methods and Programs in Biomedicine Выходные данные : Amsterdam: Elsevier Science Publishers,Б.г. ISSN: 01692607 Цена : Б.ц. ГРНТИ : ; 76.03.59 + ; 34.55 Перейти к источнику в Интернете: Computer Methods and Programs in Biomedicine, Перейти к источнику в Интернете: , Перейти к источнику в Интернете: , Перейти к источнику в Интернете: , Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

283

Comparing projections and outcomes of IMF-supported programs Working paper ; Финансовые организации

Phillips, S.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Musso A., Phillips S. Заглавие : Comparing projections and outcomes of IMF-supported programs Выходные данные : S.l., 2001 Колич.характеристики :34 p.: ill. Серия: Working paper/ International monetary fund; WP/01/45 Примечания : ; Библиогр.: с.33-34 Цена : Б.ц. ГРНТИ : ; 06.73 УДК : Предметные рубрики: Финансовые организации Перейти к источнику в Интернете: Comparing projections and outcomes of IMF-supported programs Доп.точки доступа: Phillips, S. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

284

Commodity promotion programs in the United States R.B.[research bull.]/Cornell univ.College of agriculture and life sciences.Dep.of agr.,resource,and managerial economics;1999,03).-(NICPRE-[publ.] 0 ^aЦели, задачи и источники финансирования программ в области продвижения с.-х. продукции на рынки в США 0 ; продукция сельского хозяйства; сбыт; финансирование; сша; программы 0 ; продукция сельского хозяйства; сбыт; финансирование; сша; программы 0 ; продукция сельского хозяйства; сбыт; финансирование; сша; программы

Kaiser, H.M.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Vande Kamp P.R., Kaiser H.M. Заглавие : Commodity promotion programs in the United States Выходные данные : Ithaca (N.Y.), 1999 Колич.характеристики :33 c Серия: R.B.[research bull.]/Cornell univ.College of agriculture and life sciences.Dep.of agr.,resource,and managerial economics;1999,03).-(NICPRE-[publ.]/ Nat.inst.for commodity promotion research & evaluation; 1999,01 Цена : Б.ц. ГРНТИ : ; 68.75.61 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; продукция сельского хозяйства; сбыт; финансирование; сша; программы Перейти к источнику в Интернете: Commodity promotion programs in the United States Доп.точки доступа: Kaiser, H.M. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

286

Climatological summary programs F6, CLIMAT, SUMMARY, GETCS NWS CRCP;N14 0 ^aПрограммы климатических сводок 0 ; климатическая сводка 0 ; климатическая сводка


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Schwein T.F. Заглавие : Climatological summary programs F6, CLIMAT, SUMMARY, GETCS Выходные данные : Springfield, 1985 Колич.характеристики :86 с Серия: NWS CRCP;N14/ NOAA Цена : Б.ц. ГРНТИ : ; 37.23.31 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; климатическая сводка Перейти к источнику в Интернете: Climatological summary programs F6, CLIMAT, SUMMARY, GETCS PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

287

Climatological summary programs F6, CLIMAT, SUMMARY, GETCS NWS CRCP;N14 0 ^aПрограммы климатических сводок 0 ; климатическая сводка 0 ; климатическая сводка


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Schwein T.F. Заглавие : Climatological summary programs F6, CLIMAT, SUMMARY, GETCS Выходные данные : Springfield, 1985 Колич.характеристики :86 с Серия: NWS CRCP;N14/ NOAA Цена : Б.ц. ГРНТИ : ; 37.23.31 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; климатическая сводка Перейти к источнику в Интернете: Climatological summary programs F6, CLIMAT, SUMMARY, GETCS PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

288

Characterizing termination of logic programs with level mappings Report.Computer science of dep. of software technology;CSR 8912 0 ^aХарактеристика завершения логических программ с использованием отображения уровня 0 ; логические программы; характеристика завершения Библиогр.: с. 10 0 ; логические программы; характеристика завершения


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Bezem M. Заглавие : Characterizing termination of logic programs with level mappings Выходные данные : Amsterdam, 1989 Колич.характеристики :10 с: ил Серия: Report.Computer science of dep. of software technology;CSR 8912/ Centrum voor wiskunde en informatica Примечания : ; Библиогр.: с. 10 Цена : Б.ц. ГРНТИ : ; 50.05.03 Ключевые слова (''Своб.индексиров.''): 0 ; логические программы; характеристика завершения Перейти к источнику в Интернете: Characterizing termination of logic programs with level mappings PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

289

Characterizing termination of logic programs with level mappings Rep./Centrum voor wishunde en inform. Computer science; CS-R8912 0 ^aОконечная характеристическая нагрузка логических программ с уровневым отображением 0 ; нагрузка логических программ Библиогр.: с. 10 0 ; нагрузка логических программ


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Bezem M. Заглавие : Characterizing termination of logic programs with level mappings Выходные данные : Amsterdam, 1989 Колич.характеристики :10 с: ил Серия: Rep./Centrum voor wishunde en inform. Computer science; CS-R8912 Примечания : ; Библиогр.: с. 10 Цена : Б.ц. ГРНТИ : ; 50.05.03 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; нагрузка логических программ Перейти к источнику в Интернете: Characterizing termination of logic programs with level mappings, Перейти к источнику в Интернете:  PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

290

Characterization of communication patterns in message-passing parallel scientific application programs UMSI research report научно-исследовательская работа Научно-исследовательская работа, Автоматизация научно-исследовательская работа

Lilja, D.J.

R/17401/98/152 Kim, J. S. Characterization of communication patterns in message-passing parallel scientific application programs [Text] : сборник научных трудов / J.S.Kim,D.J.Lilja. - Minneapolis(Mn) : [s. n.], 1998. - 14 p. : ill. - (UMSI research report / Univ.of Minnesota ; 98/152). - 10.00 р. Библиогр.:с.13-14ГРНТИ 12.51.85УДК 001.89:65.011.56 Рубрики: Научно-исследовательская работа--Автоматизация Держатели документа: ГПНТБ России Доп.точки доступа: Lilja, D.J. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

292

Catalyzing capital flows: do IMF-supported programs work as commitment devices? Working paper Intern. monetary fund ; Денежное обращение

Saravia, D.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Mody A., Saravia D. Заглавие : Catalyzing capital flows: do IMF-supported programs work as commitment devices? Выходные данные : S. l.: Intern. monetary fund, 2003 Колич.характеристики :37 p. Серия: Working paper/ International monetary fund; WP/03/100 Примечания : ; Библиогр.:с.34-37 Цена : Б.ц. ГРНТИ : ; 06.73.45 УДК : Предметные рубрики: Денежное обращение Перейти к источнику в Интернете: Catalyzing capital flows: do IMF-supported programs work as commitment devices? Доп.точки доступа: Saravia, D. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

293

Cambridge Scientific Abstracts (Металлургия/Организации)


2006-02-19

ТипбиблиотекаПолное название (официальное)Cambridge Scientific AbstractsПрофиль деятельностиинформационное обеспечение в области металлургииСокращённое официальное названиеCSAДата создания1966ГРНТИРФФ …

VINITI Projects Database (Russian)

294

Ca (Информатика/Англо-русский словарь по информатике)


2004-12-31

   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B (http://science.viniti.ru/index.php?option=com_content&task=view&id=197&Itemid=310) Ca&nb …

VINITI Projects Database (Russian)

296

Building Pascal programs Little, Brown computer science ser 0 ^aСоздание программ на языке Паскаль Brown 0 ; языки программирования; Паскаль; программы Указ.: с.661-667 0 ; языки программирования; Паскаль; программы


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Reges, Stuart Заглавие : Building Pascal programs : An introd. to computer science Выходные данные : Boston: Brown; Toronto, 1987 Колич.характеристики :20, 667 с.: рис Серия: Little, Brown computer science ser Примечания : ; Указ.: с.661-667 ISBN, Цена 0-316-73854-9: Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; языки программирования; паскаль; программы Перейти к источнику в Интернете: Building Pascal programs PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

297

Boolean functions with engineering applications and computer programs 0 ^aБулевы функции с техническим применением и компьютерные программы Springer 0 ; Булевы функции; компьютерные программы Библиогр.: с. 261-262.-Указ.: с. 263-264 0 ; Булевы функции; компьютерные программы


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Schneeweiss W.G. Заглавие : Boolean functions with engineering applications and computer programs Выходные данные : Berlin etc: Springer, 1989 Колич.характеристики :12, 264 с: ил Примечания : ; Библиогр.: с. 261-262.-Указ.: с. 263-264 ISBN, Цена 3-540-18892-4: Б.ц. ГРНТИ : ; 27.03.17 + ; 27.39.25 + ; 50.05.03 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; булевы функции; компьютерные программы Перейти к источнику в Интернете: Boolean functions with engineering applications and computer programs, Перейти к источнику в Интернете:  PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

298

Basic fishery science programs Developments in aquaculture a. fisheries science,ISBN 0-444-41709-5 0 ^aЭВМ в промысловом рыболовстве Elsevier Указ.-Библиогр. в конце докл.

Recksiek, Conrad W; Prager, Michael H

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Saila, Saul B, Recksiek, Conrad W, Prager, Michael H Заглавие : Basic fishery science programs : A compendium of microcomputer progr. a. man. of operation Выходные данные : Amsterdam etc.: Elsevier, 1988 Колич.характеристики :230 с.: ил.; 25 см. Серия: Developments in aquaculture a. fisheries science,ISBN 0-444-41709-5 Примечания : ; Указ.-Библиогр. в конце докл. ISBN, Цена 0-444-43031-8: Б.ц. ГРНТИ : ; 69.31.15 Перейти к источнику в Интернете: Basic fishery science programs, Перейти к источнику в Интернете:  Доп.точки доступа: Recksiek, Conrad W; Prager, Michael H PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

299

B (Информатика/Англо-русский словарь по информатике)


2005-01-03

   A (http://science.viniti.ru/index.php?option=com_content&task=view&id=196&Itemid=310) B Ca (http://science.viniti.ru/index.php?option=com_content&task=view&id=195&Itemid=310)&nb …

VINITI Projects Database (Russian)

300

Automatic performance prediction of parallel programs Kluwer Программирование для ЭВМ параллельное, , папрэв


J2/26412 Fahringer, T. Automatic performance prediction of parallel programs [Text] : монография / T.Fahringer. - Boston (Ma) etc. : Kluwer, 1996. - XIX,271 p. p. : ill. - ISBN 0-7923-9708-8 : 500000 р. Библиогр.:с.253-265.Указ.:с.267-271ГРНТИ 50.33.04УДК 004.42.032.24 Рубрики: Программирование для ЭВМ параллельное Держатели документа: ГПНТБ России Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-107403 PROGRAMS$

State Public Technical Library of Russia (Russian)

301

Assessing programs which predict the thermal performance of buildings Information paper строительная теплотехника Строительная теплотехника, Моделирование строительная теплотехника

Lomas, K.J.; Marthin, C.J.

R/14148/7/92 Bloomfield, D. P. Assessing programs which predict the thermal performance of buildings [Text] : сборник научных трудов / D.P.Bloomfield,K.J.Lomas,C.J.Marthin. - Garston,Watford] : [s. n.], 1992. - 3 p. : ill. - (Information paper / BRE ; 7/92). - 2.00 р. Библиогр.в конце книгиГРНТИ 67.53.21УДК 697.1.001.57 Рубрики: Строительная теплотехника--Моделирование Держатели документа: ГПНТБ России Доп.точки доступа: Lomas, K.J.; Marthin, C.J. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

302

Aspects of fiscal performance in some transition economies under fund-supported programs Working paper экономическая реформа Экономические реформы, , реэк экономическая реформа


R/17742/WP/97/31 Buiter, W. Aspects of fiscal performance in some transition economies under fund-supported programs [Text] : сборник научных трудов / W.Buiter;Prepared by W.Buiter. - S.l : [s. n.], 1997. - 57 p. : ill. - (Working paper / IMF ; WP/97/31). - 5000 р. Библиогр.:с.54-57ГРНТИ 06.75УДК 338.24.021.8 Рубрики: Экономические реформы Держатели документа: ГПНТБ России Экз-ры: кди(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

304

Arithmetic classification of perfect models stratified programs CWI reports.Computer science;R8810

Blair, H.A.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Apt, Krzysztof R., Blair H.A. Заглавие : Arithmetic classification of perfect models stratified programs Выходные данные : Б.м.,Б.г. Колич.характеристики :13 p. Серия: CWI reports.Computer science;R8810 Цена : Б.ц. ГРНТИ : ; 27 УДК : Перейти к источнику в Интернете: Arithmetic classification of perfect models stratified programs Доп.точки доступа: Blair, H.A. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

305

Arithmetic classification of perfect models of stratified programs Report;CS-R8810 0 ^aАрифметическая классификация модели перфекта в стратифицированных программах Stichting math. centrum 0 ; стратификация; логическое программирование; иерархия математических представлений Библиогр.: с. 12-13 0 ; стратификация; логическое программирование; иерархия математических представлений

Blair, H.A.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Apt K.R., Blair H.A. Заглавие : Arithmetic classification of perfect models of stratified programs Выходные данные : Amsterdam: Stichting math. centrum, 1988 Колич.характеристики :13 с Серия: Report;CS-R8810/ Centrum voor wiskunde en informatica Примечания : ; Библиогр.: с. 12-13 Цена : Б.ц. ГРНТИ : ; 50.05 Ключевые слова (''Своб.индексиров.''): 0 ; стратификация; логическое программирование; иерархия математических представлений Перейти к источнику в Интернете: Arithmetic classification of perfect models of stratified programs Доп.точки доступа: Blair, H.A. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

306

Arithmetic ckassification of perfect models of stratified programs (Extended version) Report:Computer science логическое программирование Программирование для ЭВМ логическое логическое программирование

Blair, H.A.

R/16212/CS-R8928 Apt, R. R. Arithmetic ckassification of perfect models of stratified programs (Extended version) [Text] : сборник научных трудов / R.R.Apt,H.A.Blair. - Amsterdam : [s. n.], 1989. - 17 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R8928). - 1.00 р. Библиогр.:с.16-17ГРНТИ 50.05.13УДК 004.42.047 Рубрики: Программирование для ЭВМ логическое Держатели документа: ГПНТБ России Доп.точки доступа: Blair, H.A. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

307

Anna: a language for annotating Ada programs Lecture notes in computer science; Vol. 260 0 ^aАнна: язык для комментирования программ на языке Ада:Справочное руководство Springer 0 ; язык программирования; анна Библиогр.: с.139-140.-Указ.: с.141-143 0 ; язык программирования; анна

Henke, F.W.von; Krieg-Bruckner, B.; Owe, O.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Luckham D.C., Henke F.W.von, Krieg-Bruckner B., Owe O. Заглавие : Anna: a language for annotating Ada programs : Ref. man. Выходные данные : Berlin etc.: Springer, 1987 Колич.характеристики :5, 143 с Серия: Lecture notes in computer science; Vol. 260 Примечания : ; Библиогр.: с.139-140.-Указ.: с.141-143 ISBN, Цена 3-540-17980-1: Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; язык программирования; анна Перейти к источнику в Интернете: Anna: a language for annotating Ada programs, Перейти к источнику в Интернете:  Доп.точки доступа: Henke, F.W.von; Krieg-Bruckner, B.; Owe, O. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

308

Analysis of magnetic field and estimation of circuit inductances of electrical machine with NISA/EMAG (FEM) programs on a convex supercomputer UMSI research report Электрические машины, Проектирование, Автоматизация, , маэл

Bednarek, S.; Glowacz, Z.; Noga, M.; Skwarczynski, J.

R/17401/96/182 Analysis of magnetic field and estimation of circuit inductances of electrical machine with NISA/EMAG (FEM) programs on a convex supercomputer [Text] : сборник научных трудов / S.Bednarek,Z.Glowacz,M.Noga и др. - Minneapolis(Mn) : [s. n.], 1996. - 11 p. : ill. - (UMSI research report / Univ.of Minnesota ; 96/182). - 1000 р. Библиогр.:с.11ГРНТИ 45.29УДК 621.313.001.2-52 Рубрики: Электрические машины--Проектирование--Автоматизация Держатели документа: ГПНТБ России Доп.точки доступа: Bednarek, S.; Glowacz, Z.; Noga, M.; Skwarczynski, J. Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

309

Algorithms and programs of the critical-component method of inversion of tridiagonal matrices and solution of systems of linear equations Препринт 1639; Алгебраические уравнения линейные, Решение на вычислительных машинах

Rakhmonov, T.T.; Dushanov, E.B.; Emel'yanenko G.A.

Н/2509/Е11-96-106 Емельяненко, Г. А. Algorithms and programs of the critical-component method of inversion of tridiagonal matrices and solution of systems of linear equations [Text] : препринт / Г. А. Емельяненко, T. T. Rakhmonov, E. B. Dushanov. - Dubna, 1996. - 35 p. : il. - (Препринт / Объединенный ин-т ядерных исследований(Дубна) ; Е11-96-106). - 360 экз. - 4212 р.ГРНТИ 27.41.23УДК 519.612(04) Рубрики: Алгебраические уравнения линейные--Решение на вычислительных машинах Держатели документа: ГПНТБ России Доп.точки доступа: Rakhmonov, T.T.; Dushanov, E.B.; Emel'yanenko G.A. Экз-ры: хр(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

311

Agricultural stability and farm programs: concepts, evidence, and implications Westview spec. studies in agriculture science and policy 0 ^aУстойчивость сельского хозяйства и с.-х. программы:Труды одноименного симпозиума, состоявшегося 7 мая 1987 г. в г. Роли, шт. Северная Каролина, США Westviev press 0 ; сельское хозяйство; устойчивость; сельскохозяйственные программы; симпозиум; США Библиогр. в конце ст 0 ; сельское хозяйство; устойчивость; сельскохозяйственные программы; симпозиум; США

Sumner, D.A. .

Вид документа : Однотомное издание Шифр издания : Заглавие : Agricultural stability and farm programs: concepts, evidence, and implications Выходные данные : Boulder: Westviev press; London, 1988 Колич.характеристики :13, 177 с: ил Серия: Westview spec. studies in agriculture science and policy Примечания : ; Библиогр. в конце ст ISBN, Цена 0-8133-7606-8: Б.ц. ГРНТИ : ; 68.01.13 Ключевые слова (''Своб.индексиров.''): 0 ; сельское хозяйство; устойчивость; сельскохозяйственные программы; симпозиум; сша Перейти к источнику в Интернете: Agricultural stability and farm programs: concepts, evidence, and implications Доп.точки доступа: Sumner, D.A. \.\ PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

312

Acyclic programs (extended abstract) Report:Computer science программа Программы для ЭВМ программа

Bezem, M.

R/16212/CS-R9010 Apt, K. R. Acyclic programs (extended abstract) [Text] : путеводитель / K.R.Apt,M.Bezem. - Amsterdam : [s. n.], 1990. - 16 p. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9010). - 1.00 р. Библиогр.:с.15-16ГРНТИ 50.41УДК 004.422.8 Рубрики: Программы для ЭВМ Держатели документа: ГПНТБ России Доп.точки доступа: Bezem, M. Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-92652 PROGRAMS$

State Public Technical Library of Russia (Russian)

313

Abstracts with Programs Geological Society of America


Вид документа : Журнал Шифр издания : Заглавие : Abstracts with Programs : Geological Society of America Выходные данные : Boudler, CO: Geological Society of America,Б.г. ISSN: 00167592 Цена : Б.ц. ГРНТИ : ; 38 Перейти к источнику в Интернете: Abstracts with Programs, Перейти к источнику в Интернете: , Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

314

A vertebrate faunal analysis coding system with North American taxonomy and dBase support programs and procedures (Version 3.3) Techn. rep. / Univ. of Michigan. Museum of anthropology 0 ^aСистема кодирования для анализа фауны позвоночных с северо-американской таксономией и программы, и процедуры с использованием базы данных 0 ; фауна позвоночных 0 ; фауна позвоночных Библиогр.: с.103-110 0 ; фауна позвоночных

Baker, B.W.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Shaffer B.S, Baker B.W. Заглавие : A vertebrate faunal analysis coding system with North American taxonomy and dBase support programs and procedures (Version 3.3) Выходные данные : Ann Arbor, 1992 Колич.характеристики :XI, 110 c Серия: Techn. rep. / Univ. of Michigan. Museum of anthropology; 23 Примечания : ; Библиогр.: с.103-110 ISBN, Цена 0-915703-28-9: Б.ц. ГРНТИ : ; 34.33.27 Ключевые слова (''Своб.индексиров.''): 0 ; фауна позвоночных Перейти к источнику в Интернете: A vertebrate faunal analysis coding system with North American taxonomy and dBase support programs and procedures (Version 3.3) Доп.точки доступа: Baker, B.W. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

315

A survey of verification techniques for parallel programs Springer-Verl.

Gvos, G. .

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Barringer, Howard Заглавие : A survey of verification techniques for parallel programs Выходные данные : Berlin: Springer-Verl.; Heidelberg; New York, 1985 Колич.характеристики :114 p. ISBN, Цена 3-540-15239-3: Б.ц. ГРНТИ : ; 50 УДК : Перейти к источнику в Интернете: A survey of verification techniques for parallel programs, Перейти к источнику в Интернете:  Доп.точки доступа: Gvos, G. \.\ PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

316

A structured approach to building programs Yourdon computing ser. Prentice-Hall


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Wells, Timothy D. Заглавие : A structured approach to building programs : BASIC Выходные данные : Englewood Cliffs: Prentice-Hall, 1985 Колич.характеристики :XIII, 314 p. Серия: Yourdon computing ser. ISBN, Цена 0-13-854076-4: Б.ц. ГРНТИ : ; 50.41 УДК : Перейти к источнику в Интернете: A structured approach to building programs PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

317

A structured approach to building programs Yourdon Press computing series


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Wells, Timothy D. Заглавие : A structured approach to building programs : Pascal Выходные данные : Englewood Cliffs (N.J.), 1987 Колич.характеристики :XIII, 365 p.: ill. Серия: Yourdon Press computing series ISBN, Цена 0-13-851536-0: Б.ц. ГРНТИ : ; 50.41 УДК : Перейти к источнику в Интернете: A structured approach to building programs, Перейти к источнику в Интернете:  PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

318

A structured approach to building programs Yourdon


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Wells, Timothy D. Заглавие : A structured approach to building programs : COBOL Выходные данные : New York: Yourdon; London, 1986 Колич.характеристики :XIII, 342 p.: ill. ISBN, Цена 0-917072-44-8: Б.ц. ГРНТИ : ; 50.41 УДК : Перейти к источнику в Интернете: A structured approach to building programs PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

319

A methodology for proving termination of general logic programs Report:Computer science Программирование для ЭВМ логическое, , лопрэв


R/16212/CS-R9540 Marchiori, E. A methodology for proving termination of general logic programs [Text] : сборник / E.Marchiori. - Amsterdam : [s. n.], 1995. - 26 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9540). - 500 р. Библиогр.:с.25-26ГРНТИ 50.05.03УДК 004.42.047 Рубрики: Программирование для ЭВМ логическое Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

320

A logic for variable aliasing in logic programs Report:Computer science Программирование для ЭВМ логическое, , лопрэв


R/16212/CS-R9446 Marchiori, E. A logic for variable aliasing in logic programs [Text] : монография / E.Marchiori. - Amsterdam : [s. n.], 1994. - 16 p. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9446). - 200 р. Библиогр.:с.15-16ГРНТИ 50.05.03УДК 004.42.047 Рубрики: Программирование для ЭВМ логическое Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

321

A description of forest service programs and responsibilities General techn. rep./USDA. Forest service. Rocky Mountain forest and range experiment station; RM-176 0 ^aО деятельности службы леса в США 0 ; лес; США 0 ; лес; США


Вид документа : Однотомное издание Шифр издания : Заглавие : A description of forest service programs and responsibilities : A techn. document supporting the 1989 USDA Forest service RPA assessment Выходные данные : Fort Collins (Colo.), 1989 Колич.характеристики :47 с: карт Серия: General techn. rep./USDA. Forest service. Rocky Mountain forest and range experiment station; RM-176 Цена : Б.ц. ГРНТИ : ; 68.47.41 Ключевые слова (''Своб.индексиров.''): 0 ; лес; сша Перейти к источнику в Интернете: A description of forest service programs and responsibilities PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

322

A curriculum content analysis of master's degree programs in agricultural economics: a study of selecte Canadian and U.S. schools Rural economy staff paper/Univ. of Alberta. Fac. of agriculture and forestry. Dep. of rural economy 0 ^aАнализ содержания учебных программ для аспирантов по защите диссертаций на степень магистра по экономике сельского хозяйства в некоторых вузах США и Канады 0 ; магистр; экономика; сельское хозяйство 0 ; магистр; экономика; сельское хозяйство

Galabawa, J.C.J.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Ahmadi-Esfahani F.Z., Galabawa J.C.J. Заглавие : A curriculum content analysis of master's degree programs in agricultural economics: a study of selecte Canadian and U.S. schools Выходные данные : Edmonton (Canada), 1989 Колич.характеристики :28 с Серия: Rural economy staff paper/Univ. of Alberta. Fac. of agriculture and forestry. Dep. of rural economy; N 89-10 Цена : Б.ц. ГРНТИ : ; 68.01.79 Ключевые слова (''Своб.индексиров.''): 0 ; магистр; экономика; сельское хозяйство Перейти к источнику в Интернете: A curriculum content analysis of master's degree programs in agricultural economics: a study of selecte Canadian and U.S. schools Доп.точки доступа: Galabawa, J.C.J. PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

324

85th. annu. meet. Cordilleran sect; 42nd annu. meet. Rocky Mountain sect. Spokane (Wa), May 8-11, 1989 Abstracts with Programs 0 ^a85-я ежегодная конф., секция Кордильер; 42-я ежегодная конф., секция Роки Маунтен, Спокан, 1989 Geological Society of America 0 ; геология 0 ; геология


Вид документа : Однотомное издание Шифр издания : K Заглавие : 85th. annu. meet. Cordilleran sect; 42nd annu. meet. Rocky Mountain sect. Spokane (Wa), May 8-11, 1989 Выходные данные : Boudler, CO: Geological Society of America, 1989 Колич.характеристики :168 с Серия: Abstracts with Programs, ISSN 00167592;Vol.21;N5 Цена : Б.ц. ГРНТИ : ; 38.01.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; геология Перейти к источнику в Интернете: 85th. annu. meet. Cordilleran sect; 42nd annu. meet. Rocky Mountain sect. Spokane (Wa), May 8-11, 1989 PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

325

85th annu.meet.Cordilleran sect.42nd annu.meet.,Rocky Mountain sect.,Spokane(Wa),May 8-11,1989 Abstracts with programs Geological society of America(Boudler(Co)) геология Геология геология


Q/3868/21,N 5 Geological society of America(Boudler(Co)). Abstracts with programs [Text] / Geological society of America(Boudler(Co)). - Boudler(Co) : [s. n.].Vol. 21,N 5 : 85th annu.meet.Cordilleran sect.42nd annu.meet.,Rocky Mountain sect.,Spokane(Wa),May 8-11,1989. - 1989. - 168 p. - 2.00 р. Указ.:с.154-168ГРНТИ 38УДК 55(05) Рубрики: Геология Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

326

38th annu.meet.Southeastern sect.,Atlanta(Ga),Apr.6-7,1989 Abstracts with programs Geological society of America(Boudler(Co)) геология Геология геология


Q/3868/21,N 3 Geological society of America(Boudler(Co)). Abstracts with programs [Text] / Geological society of America(Boudler(Co)). - Boudler(Co) : [s. n.].Vol. 21,N 3 : 38th annu.meet.Southeastern sect.,Atlanta(Ga),Apr.6-7,1989. - 1989. - 68 p. : ill. - 1ю50 р. Указ.:с.67-68ГРНТИ 38УДК 55(05) Рубрики: Геология Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

327

38th annu. meet. South-eastern. sect. Atlanta (Ga), Apr. 6-7, 1989 Abstracts with Programs 0 ^a38-я ежегодная конф., юго-восточная секция, Атланта, 1989 Geological Society of America 0 ; геология 0 ; геология


Вид документа : Однотомное издание Шифр издания : K Заглавие : 38th annu. meet. South-eastern. sect. Atlanta (Ga), Apr. 6-7, 1989 Выходные данные : Boudler, CO: Geological Society of America, 1989 Колич.характеристики :68 с: ил Серия: Abstracts with Programs, ISSN 00167592;Vol.21;N3 Цена : Б.ц. ГРНТИ : ; 38.01.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; геология Перейти к источнику в Интернете: 38th annu. meet. South-eastern. sect. Atlanta (Ga), Apr. 6-7, 1989 PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

328

24th annu.meet.Northeastern sect.,New Brunswick(NJ),Mar.23-25, 1989 Abstracts with programs Geological society of America(Boudler(Co)) геология Геология геология


Q/3868/21,N 2 Geological society of America(Boudler(Co)). Abstracts with programs [Text] / Geological society of America(Boudler(Co)). - Boudler(Co) : [s. n.].Vol. 21,N 2 : 24th annu.meet.Northeastern sect.,New Brunswick(NJ),Mar.23-25, 1989. - 1989. - 81 p. : ill. - 2.00 р. Указ.:с.79-81ГРНТИ 38УДК 55(05) Рубрики: Геология Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

329

24th annu.meet.,Apr.26-27,1990,Macomb(Il) Abstracts with programs Geological society of America(Boudler(Co)) геология Геология геология


Q/3868/22,N 5 Geological society of America(Boudler(Co)). Abstracts with programs [Text] / Geological society of America(Boudler(Co)). - Boudler(Co) : [s. n.].Vol 22,N 5 : 24th annu.meet.,Apr.26-27,1990,Macomb(Il). - 1990. - 51 p. : ill. - 4.00 р. Указ.:с.50-51ГРНТИ 38УДК 55(05) Рубрики: Геология Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

330

24th annu. meet. Nort-heastern sect. New Brunswick (NJ), Mar. 23-25, 1989 Abstracts with Programs 0 ^a24-я ежегодная конф., северо-восточная секция, Нью-Брунсвик, 1989 Geological Society of America 0 ; геология 0 ; геология


Вид документа : Однотомное издание Шифр издания : K Заглавие : 24th annu. meet. Nort-heastern sect. New Brunswick (NJ), Mar. 23-25, 1989 Выходные данные : Boudler, CO: Geological Society of America, 1989 Колич.характеристики :81 с: ил Серия: Abstracts with Programs, ISSN 00167592;Vol.21;N2 Цена : Б.ц. ГРНТИ : ; 38.01.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; геология Перейти к источнику в Интернете: 24th annu. meet. Nort-heastern sect. New Brunswick (NJ), Mar. 23-25, 1989 PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

331

23th annu.meet.North-central sect.,Notre Dame(In),Apr.20-21,1989 Abstracts with programs Geological society of America(Boudler(Co)) геология Геология геология


Q/3868/21,N 4 Geological society of America(Boudler(Co)). Abstracts with programs [Text] / Geological society of America(Boudler(Co)). - Boudler(Co) : [s. n.].Vol. 21,N 4 : 23th annu.meet.North-central sect.,Notre Dame(In),Apr.20-21,1989. - 1989. - 55 p. : ill. - 1.50 р. Указ.:с.54-55ГРНТИ 38УДК 55(05) Рубрики: Геология Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

332

23rd annu. meet. South-centr. sect.Arlington(Tx), Mar.12-14,1989 Abstracts with programs Geological society of America(Boudler(Co)) геология Геология геология


Q/3868/21,N 1 Geological society of America(Boudler(Co)). Abstracts with programs [Text] / Geological society of America(Boudler(Co)). - Boudler(Co) : [s. n.].Vol. 21,N 1 : 23rd annu. meet. South-centr. sect.Arlington(Tx), Mar.12-14,1989. - 1989. - 46 p. : ill. - 1.50 р. Указ.:с.45-46ГРНТИ 38УДК 55(05) Рубрики: Геология Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

333

23rd annu. meet. South-centr. sect. Arlington (Tx), Mar. 12-14, 1989 Abstracts with Programs 0 ^a23-я ежегодная конф., юго-центр. секция, Арлингтон, 1989 Geological Society of America 0 ; геология 0 ; геология


Вид документа : Однотомное издание Шифр издания : K Заглавие : 23rd annu. meet. South-centr. sect. Arlington (Tx), Mar. 12-14, 1989 Выходные данные : Boudler, CO: Geological Society of America, 1989 Колич.характеристики :46 с: ил Серия: Abstracts with Programs, ISSN 00167592;Vol.21;N1 Цена : Б.ц. ГРНТИ : ; 38.01.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; геология Перейти к источнику в Интернете: 23rd annu. meet. South-centr. sect. Arlington (Tx), Mar. 12-14, 1989 PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

334

23rd annu. meet. North-centr. sect. Notre Dame (In), Apr. 20-21, 1989 Abstracts with Programs 0 ^a23-я ежегодная конф., северо-центр. секция, Нотр-Дам, 1989 Geological Society of America 0 ; геология 0 ; геология


Вид документа : Однотомное издание Шифр издания : K Заглавие : 23rd annu. meet. North-centr. sect. Notre Dame (In), Apr. 20-21, 1989 Выходные данные : Boudler, CO: Geological Society of America, 1989 Колич.характеристики :55 с: ил Серия: Abstracts with Programs, ISSN 00167592;Vol.21;N4 Цена : Б.ц. ГРНТИ : ; 38.01.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; геология Перейти к источнику в Интернете: 23rd annu. meet. North-centr. sect. Notre Dame (In), Apr. 20-21, 1989 PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)

336

1989 annu.meet.,St.Louis(Mo), Nov.6-9,1989 Abstracts with programs Geological society of America(Boudler(Co)) геология Геология геология


Q/3868/21,N 6 Geological society of America(Boudler(Co)). Abstracts with programs [Text] / Geological society of America(Boudler(Co)). - Boudler(Co) : [s. n.].Vol. 21,N 6 : 1989 annu.meet.,St.Louis(Mo), Nov.6-9,1989. - 1989. - VI,391 p. p. : ill. - 20.00 р. Указ.:с.377-391ГРНТИ 38УДК 55(05) Рубрики: Геология Держатели документа: ГПНТБ России Экз-ры: ХР(1) PROGRAMS$

State Public Technical Library of Russia (Russian)

337

1989 annu. meet. St. Louis (Mc), Nov., 6-9, 1989 Abstracts with Programs 0 ^a1989 ежегодн. конф., Сент-Луис, 1989 Geological Society of America 0 ; геология 0 ; геология


Вид документа : Однотомное издание Шифр издания : K Заглавие : 1989 annu. meet. St. Louis (Mc), Nov., 6-9, 1989 Выходные данные : Boudler, CO: Geological Society of America, 1989 Колич.характеристики :6, 391 с: ил Серия: Abstracts with Programs, ISSN 00167592;Vol.21;N6 Цена : Б.ц. ГРНТИ : ; 38.01.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; геология Перейти к источнику в Интернете: 1989 annu. meet. St. Louis (Mc), Nov., 6-9, 1989 PROGRAMS$

The Russian Union Catalog of Scientific Literature (Russian)