Sample records for ПРОВЕРКА СООТВЕТСТВИЯ (validation)
from WorldWideScience.org

Sample records 1 - 20 shown. Select sample records:



1

Проверка и утверждение программ реального времени Verification and validation of real-time software Наук. думка программа; ЭВМ; отладка Программы для ЭВМ, Отладка программа; ЭВМ; отладка

Болонья, С.; Эренбергер, У.; Пур-Вестерхейд, П.; Никитин, А.И. ред.; Стукаленко, А.А. пер.

Д7-90/76409 Проверка и утверждение программ реального времени [Текст] : монография / С.Болонья,У.Эренбергер,П.Пур-Вестерхейд и др.;Пер. с англ. А. А. Стукаленко; Под ред. А. И. Никитина. - Киев : Наук. думка, 1990. - 213 c. : ил. - Пер. изд. : Verification and validation of real-time software . - 1986. - Berlin et аl. - 1400 экз. - ISBN 5-12-000381-8 : 3 р. Авт. указаны перед вып. дан. Библиогр.: с. 194-210ГРНТИ 50.05.13УДК 004.416.2 Рубрики: Программы для ЭВМ--Отладка Держатели документа: ГПНТБ России Доп.точки доступа: Болонья, С.; Эренбергер, У.; Пур-Вестерхейд, П.; Никитин, А.И. \ред.\; Стукаленко, А.А. \пер.\ Экз-ры: хр(2), фо17(1), фо18(1), фо19(1), фо20(1), фо24(1), фо25(1) VALIDATION$

State Public Technical Library of Russia (Russian)

2

Проверка вычислений получаемых органами доз с использованием voxel-фантомов и монте-карловских методов, применяемых к точечным и водно-погруженным источникам. The validation of organ dose calculations using voxel phantoms and Monte Carlo methods applied to point and water immersion sources

Hunt J. G.; da Silva F. C. A.; Mauricio C. L. P.; dos Santos D. S.
2004-01-01

Монте-карловская программа VMC-dc (Visual Monte Carlo-dose calculation) использует voxel-фантом для моделирования органов и тканей тела человека, переноса фотонов через этот фантом и вычисления поглощенных доз, полученных каждым органом и тканью, относящихся к вычислению эффективной дозы, как определено в ICRD-публикации 60. В этой статье показана проверка VMC-dc путем сравнения с EGSnrc и с физич. фантомом, содержащим ТЛД. Сравнение с EGSnrc проведено для коллимированного пучка 0,662-МэВ фотонов, облучающих куб воды. Для сравнения с физич. фантомом рассмотрено облучение всего тела точечным 137Cs-источником, размещенным на расстоянии 1 м от грудной клетки фантома Alderson-RANDO. Результаты показывают хорошее согласие для доз, полученных в вычислениях VMC-dc и EGSnrc и из VMC-dc и ТЛД-измерений. Программа VMC-dc затем была применена для вычисления доз от погруженных в воду 'гамма'-излучателей. Коэф. конверсии доз для водного погружения сравнены с их эквивалентами в литературе

VINITI Earth Sciences and Environmental Management Projects (Russian)

3

Ada compiler validation summary report:certificate number:880610W1.09096 TELESOFT Macintosh TeleCen2 Ada,version 1.2 Macintosh II 0 ^aКраткий отчет о проверке компилятора языка Ада:сертификац.номер:880610W1.09096 TELESOFT Macintosh TeleCen2 Ada,version 1.2 Macintosh II 0 ; проверка компилятора 0 ; проверка компилятора


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report:certificate number:880610W1.09096 TELESOFT Macintosh TeleCen2 Ada,version 1.2 Macintosh II Выходные данные : Washington, 1989 Колич.характеристики :Разд.паг с Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; проверка компилятора Перейти к источнику в Интернете: Ada compiler validation summary report:certificate number:880610W1.09096 TELESOFT Macintosh TeleCen2 Ada,version 1.2 Macintosh II VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

4

Validation of cotton quality model Paper/Amer. soc. of agr. engineers 0 ^aЭкспериментальная проверка компьютерной модели анализа качества хлопкового волокна GINCUAL после машинной очистки хлопка-сырца 0 ; хлопковое волокно; качество; GINQUAL; машинная очистка; хлопок-сырец Библиогр.: л. 6-7 0 ; хлопковое волокно; качество; GINQUAL; машинная очистка; хлопок-сырец

Baker, R.V.; Laird, J.W.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Barker G.L., Baker R.V., Laird J.W. Заглавие : Validation of cotton quality model : Ginqual Выходные данные : St. Joseph (Mich.), 1988 Колич.характеристики :12 л с.: ил Серия: Paper/Amer. soc. of agr. engineers; N 88-1619 Примечания : ; Библиогр.: л. 6-7 Цена : Б.ц. ГРНТИ : ; 68.85.35 Ключевые слова (''Своб.индексиров.''): 0 ; хлопковое волокно; качество; ginqual; машинная очистка; хлопок-сырец Перейти к источнику в Интернете: Validation of cotton quality model Доп.точки доступа: Baker, R.V.; Laird, J.W. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

5

A finite element model for wave propagation in an inhomogeneous material including experimental validation Rep./AIAA 0 ^aКонечноэлементная модель распространения волн в негомогенном материале и экспериментальная проверка 0 ; распространение волн Библиогр.: с.7-8 0 ; распространение волн

Dahl, M.D.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Baumeister K.J., Dahl M.D. Заглавие : A finite element model for wave propagation in an inhomogeneous material including experimental validation Выходные данные : New York, 1987 Колич.характеристики :10 с: ил Серия: Rep./AIAA; N87-2741, AIAA 11th aeroacoustics conf., Oct. 19-21, 1987/Palo Alto(Ca) Примечания : ; Библиогр.: с.7-8 Цена : Б.ц. ГРНТИ : ; 29.37.03 + ; 55.47.29 Ключевые слова (''Своб.индексиров.''): 0 ; распространение волн Перейти к источнику в Интернете: A finite element model for wave propagation in an inhomogeneous material including experimental validation Доп.точки доступа: Dahl, M.D. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

6

Guidance and control systems simulation and validation techniques Monogr./AGARDograph/Advisory group for aeronautical research a. development 0 ^aМоделирование систем навигации и управления и проверка достоверности 0 ; навигация Библиогр. в конце ст 0 ; навигация

Albritton, W.P. .

Вид документа : Однотомное издание Шифр издания : K Заглавие : Guidance and control systems simulation and validation techniques Выходные данные : Neuilly sur Seine, 1988 Колич.характеристики :136 с: ил Серия: Monogr./AGARDograph/Advisory group for aeronautical research a. development; N273 Примечания : ; Библиогр. в конце ст ISBN, Цена 92-835-0472-0: Б.ц. ГРНТИ : ; 55.47.29 + ; 78.25 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; навигация Перейти к источнику в Интернете: Guidance and control systems simulation and validation techniques Доп.точки доступа: Albritton, W.P. \.\ VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

7

Fabrication of beryllium spheres and its validation tests Rep.JAERI/Japan atomic energy research inst.;92-116 0 ^aПроизводство бериллиевых сфенр и проверка их пригодности 0 ; бериллиевы сферы Библиогр.:с.93 0 ; бериллиевы сферы

Edoeda M.; Nakamura H.; Naruse Y.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Yoshida H., Edoeda M., Nakamura H., Naruse Y. Заглавие : Fabrication of beryllium spheres and its validation tests Выходные данные : Tokyo, 1992 Колич.характеристики :108 c: ил Серия: Rep.JAERI/Japan atomic energy research inst.;92-116 Примечания : ; Библиогр.:с.93 Цена : Б.ц. ГРНТИ : ; 58.34.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; бериллиевы сферы Перейти к источнику в Интернете: Fabrication of beryllium spheres and its validation tests, Перейти к источнику в Интернете:  Доп.точки доступа: Edoeda M.; Nakamura H.; Naruse Y. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

8

Оценки неопределенностей в разных картах океанских осадков и валидация спутниковых данных. Uncertainties in oceanic radar rain maps at Kwajalein and implications for satellite validation

Houze Robert A.; Brodzik Stacy; Schumacher Courtney; Yuter Sandra E.; Williams Christopher R.
2004-01-01

Радар, установленный в Kwajalein (Марилловы о-ва) позволяет получать трехмерные ряды данных об осадках в Тихом океане. Описаны методы калибровки и валидации радарных данных без помощи дождемеров. Оценена надежность карт осадков, построенных по радарным данным. Выявлены основные источники ошибок при радарных изменениях осадков. Обсуждена применимость предложенных методик для валидации спутниковых измерений

VINITI Earth Sciences and Environmental Management Projects (Russian)

9

Определение степени устранения биологической нагрузки Technical report: bioburden recovery validation биологическая нагрузка лекарственные средства процедура устранения эффективность способов биологическая нагрузка лекарственные средства микроорганизмы процедура устранения эффективность способов Химико-фармацевтическое производство биологическая нагрузка лекарственные средства микроорганизмы процедура устранения эффективность способов


06925002257 Определение степени устранения биологической нагрузки [Текст] : технический отчет / ВЦП. - [Б. м. : б. и.]. - 21 c. - Пер.ст. Technical report: bioburden recovery validation из журн.: Journal of parenteral science and technology. - 1990. - Vol. 44, N 6. - P.324-331. - Б. ц.ГРНТИ 61.45.39 Рубрики: Химико-фармацевтическое производство Держатели документа: ГПНТБ России Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

10

Обоснование методов асептического наполнения стерильными фармацевтическими продуктами. Ч.2 Validation of Aseptic Filling of Sterile Pharmaceutical Products. Part 2 фармацевтические продукты асептическое заполнение фармацевтические продукты фармакопея стерильность стерилизация асептическое заполнение Лекарственные средства фармацевтические продукты фармакопея стерильность стерилизация асептическое заполнение

Seyfarth, H.

06923003832 Обоснование методов асептического наполнения стерильными фармацевтическими продуктами. Ч.2 [Текст] / ВЦП. - [Б. м. : б. и.]. - 19 c. : ил. - англ. - Пер.ст. Validation of Aseptic Filling of Sterile Pharmaceutical Products. Part 2 / H. Seyfarth, Barnickel из журн.: Drugs made in Germany. - 1990. - Vol. 33, N 3. - P.96-101. - Б. ц. Библиогр.:35 назв.ГРНТИ 61.45.33 Рубрики: Лекарственные средства Держатели документа: ГПНТБ России Доп.точки доступа: Seyfarth, H. Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

11

Обоснование методов асептического наполнения стерильными фармацевтическими продуктами. Ч.1 Validation of Aseptic Filling of Sterile Pharmaceutical Products. Part 1 асептическое наполнение производство лекарств фармакология фармакопея асептика асептическое наполнение производство лекарств Лекарственные средства фармакология фармакопея асептика асептическое наполнение производство лекарств

Seyfarth, H.; Barnickel, H.

06924003831 Обоснование методов асептического наполнения стерильными фармацевтическими продуктами. Ч.1 [Текст] / ВЦП. - [Б. м. : б. и.]. - 19 c. : ил. - англ. - Пер.ст. Validation of Aseptic Filling of Sterile Pharmaceutical Products. Part 1 / H. Seyfarth, H. Barnickel из журн.: Drugs made in Germany. - 1990. - Vol. 33, N 2. - P.58-63. - Б. ц.ГРНТИ 61.45.33 Рубрики: Лекарственные средства Держатели документа: ГПНТБ России Доп.точки доступа: Seyfarth, H. ; Barnickel, H. Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

12

Вализация внутренней устойчивости данных GOMOS об NO3, NO2 и O3 с помощью усвоения химических данных. Validation of the self-consistency of GOMOS NO3, NO2 and O3 data using chemical data assimilation

Marchand Marion; Bekki Slimane; Hauchecorne Alain; Bertaux Jean-Loup
2004-01-01

Исследована внутренняя согласованность (ВС) ночных измерений O3, NO2 и NO3 апертурой GOMOS на борту спутника ENVISAT на высотах от 25 до 55 км. Сравнение с результатами усвоения химических данных показали, что ВС достаточно высока для всех рассмотренных соединений. Подтверждено, что точная химия NO3 изучена достаточно хорошо

VINITI Earth Sciences and Environmental Management Projects (Russian)

14

Атмосферная коррекция изображений, полученных при помощи спутника Landsat ETM+, по данным наземных наблюдений на сети ключевых станций валидации на суше для обработки данных спутников системы EOS. Atmospherically corrected landsat ETM+imagery for the EOS Land Validation Core Sites

Morisette Jeffrey T.; Nickeson Jaime; Vermote Eric; Pedelty Jeff
2004-01-01

Для контроля функционирования спутниковой аппаратуры дистанционного зондирования в рамках программы наблюдений суши при помощи аппаратуры, установленной на спутниках системы EOS была создана наземная сеть 26 пунктов наблюдений в различных регионах земного шара. На примере обработки 43 "сцен", полученных по данным Landsat ETM+, проанализированы результаты атмосферной коррекции с использованием результатов наблюдений яркости неба с помощью солнечных фотометров на 14 из 26 станций наземной сети валидации спутниковых данных. Главной целью коррекции было восстановление яркости подстилающей поверхности с учетом результатов спутниковых и наземных наблюдений, а также теоретических оценок

VINITI Earth Sciences and Environmental Management Projects (Russian)

15

Асептическая ратификация формы (наполнение) герметическая сборка: принципы и практика Aseptic validation of a form/fill/seal installation : principles and practice наполнение стерильность ратификация инкубация рост Химико-фармацевтическое производство наполнение стерильность ратификация инкубация рост

Sharp, J.

06927001879 Асептическая ратификация формы (наполнение) герметическая сборка: принципы и практика [Текст] / ВЦП. - [Б. м. : б. и.]. - 11 с. - Пер.ст. Aseptic validation of a form/fill/seal installation : principles and practice / J. Sharp из журн.: Journal of parenteral science and technology. - 1990. - Vol. 44, N 5. - P.289-292. - Б. ц. Библиогр.:12 назв.ГРНТИ 61.45.01 Рубрики: Химико-фармацевтическое производство Держатели документа: ГПНТБ России Доп.точки доступа: Sharp, J. Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

16

Анализ смешанной смазки и ее экспериментальное исследование на юбке поршня двигателя внутреннего сгорания. Mixed lubrication analysis and experiment validation of internal combustion piston skirt

Yang Jun-wei; Yu Xu-dong; Wang Cheng-tao; Xie You-bai
2004-01-01

Модель смешанной смазки составлена для юбки поршня. Она включает определяющие уравнения движения и осредненное уравнение Рейнольдса. В модели учитываются шероховатость и профиль поверхности. Составлены программы, позволяющие рассчитывать вибрационное движение поршня по полной траектории. Разработано экспериментальное оборудование для измерения толщины пленки между поршнем и гильзой цилиндра методом лазерной флуоресценции

VINITI Earth Sciences and Environmental Management Projects (Russian)

17

Анализ радиационных форсирований и микрофизических процессов при взаимодействиях твердых аэрозолей в атмосфере. Валидация результатов эксперимента INDOEX. A theoretical investigation of radiative effects and microphysical processes involved in the interaction of aerosol particulates in the atmosphere and validation of the theoretical results with the INDOEX observations

Begum Z. N.
2003-01-01

Теоретическое приближение, основанное на ряде физических предположений было обобщено для анализа радиационных эффектов и микрофизических свойств, относящихся к взаимодействию твердых аэрозолей в атмосфере, существенно влияющему на климат. Теоретические результаты использованы для валидации ряда наблюдений в период эксперимента INDOEX в 1998 и 1999 гг. Рассчитывались величины оптической толщины аэрозолей и радиационных форсирований на поверхности и на верхней границе атмосферы. Выявлено хорошее согласование с результатами INDOEX

VINITI Earth Sciences and Environmental Management Projects (Russian)

18

world feed-grains trade model: specification, estimation, and validation Techn. rep./Center for agr. and rural development, 91-tr 18 0 ^aСистемная модель мировой торговли кормовым зерном: спецификация, прогнозирование и экспериментальный анализ 0 ; 68.35.47 0 ; 68.35.47 0 ; Системная модель мировой торговли кормовым зерном; США Библиогр.: с. 151-152 0 ; 68.35.47 0 ; Системная модель мировой торговли кормовым зерном; США

Devadoss, S.; Meyers, W.H.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Helmar M., Devadoss S., Meyers W.H. Заглавие : The world feed-grains trade model: specification, estimation, and validation Выходные данные : Ames (Iowa), 1991 Колич.характеристики :6, 152 с Серия: Techn. rep./Center for agr. and rural development, 91-tr 18 Примечания : ; Библиогр.: с. 151-152 Цена : Б.ц. ГРНТИ : ; 68.01.75 Ключевые слова (''Своб.индексиров.''): 0 ; 68.35.47--0 ; системная модель мировой торговли кормовым зерном; сша Перейти к источнику в Интернете: The world feed-grains trade model: specification, estimation, and validation Доп.точки доступа: Devadoss, S.; Meyers, W.H. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

19

finite element model for wave propagation in an inhomogeneous material including experimental validation [Reports] American institute of aeronautics and astronautics(New York)

Dahl, M.D.; Amer.inst.of aeronautics and astronautics(New York)

R/2668/87-2741 American institute of aeronautics and astronautics(New York). [Reports] [Text] / Amer.inst.of aeronautics and astronautics. - Washington : [s. n.].N 87-2741 : A finite element model for wave propagation in an inhomogeneous material including experimental validation : papers presented at AIAA 11th aeroacoustics conf., Oct.19-21, 1987, Palo Alto(Ca) / K.J.Baumeister,M.D.Dahl. - New York : [s. n.], 1987. - 10 p. : ill. - 1.50 р.ГРНТИ 89.0173.37УДК 629.73(05)629.78(05) Держатели документа: ГПНТБ России Доп.точки доступа: Dahl, M.D.; Amer.inst.of aeronautics and astronautics(New York) Экз-ры: ХР(1) Копия: мкф., Шифр MR-87639 VALIDATION$

State Public Technical Library of Russia (Russian)

20

code PHYSURA.Objectifs,description et validation Rapp.CEA/France.CEA 0 ^aКод PHYSURA.Предмет,описание и утверждение


Вид документа : Однотомное издание Шифр издания : K Заглавие : Le code PHYSURA.Objectifs,description et validation Выходные данные : Б.м., 1983 Колич.характеристики :108 с Серия: Rapp.CEA/France.CEA; N R-5200 Цена : Б.ц. ГРНТИ : ; 58.35 УДК : Перейти к источнику в Интернете: Le code PHYSURA.Objectifs,description et validation VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

21

Verification and validation of complex systems:Human factors issues NATO ASI(advanced science institutes)series. Ser.F, Computer and systems sciences Springer Система

Wise, J.A. ed.

R/14525/110 Verification and validation of complex systems:Human factors issues [Text] : proc.of the NATO advanced study inst.on verification and validation of complex and integrated human-machine systems,July 6-17 1992,Vimeiro,Portugal / сост.ed. J. A. Wise. - Berlin etc. : Springer , 1993. - 705 p. : ill. - (NATO ASI(advanced science institutes)series. Ser.F, Computer and systems sciences ; vol.110). - ISBN 3-540-56574-4 : 139000 р. Библиогр.в конце статейГРНТИ 50.4350.01.13УДК 007.51(063) Рубрики: Система "человек-машина"--Съезды и конференции Держатели документа: ГПНТБ России Доп.точки доступа: Wise, J.A. \ed.\ Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-105231 VALIDATION$

State Public Technical Library of Russia (Russian)

22

Verification and validation of complex systems:Human factors issues NATO ASI (Advanced science inst.) series.Computer and systems sciences;Ser. F;Vol.110 Springer Библиогр.в конце статей ; Система

Wise, J.A. .

Вид документа : Однотомное издание Шифр издания : K Заглавие : Verification and validation of complex systems:Human factors issues : Proc.of the NATO advanced study inst.on verification and validation of complex and integrated human-machine systems,July 6-17 1992,Vimeiro,Portugal Выходные данные : Berlin etc.: Springer, 1993 Колич.характеристики :705 p.: ill. Серия: NATO ASI (Advanced science inst.) series.Computer and systems sciences;Ser. F;Vol.110 Примечания : ; Библиогр.в конце статей ISBN, Цена 3-540-56574-4: Б.ц. ГРНТИ : ; 50.43 + ; 50.01.13 УДК : Предметные рубрики: Система "Человек-машина" Перейти к источнику в Интернете: Verification and validation of complex systems:Human factors issues, Перейти к источнику в Интернете:  Доп.точки доступа: Wise, J.A. \.\ VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

23

Validation tests of TOPSIM IV ESA sci.a.techn.memoranda/Europ.space agency 0 ^aПроверочные тесты TOPSIM IV 0 ; иммитатор коммукационной системы Библиогр.: с.12 0 ; иммитатор коммукационной системы

Rasmussen S.; Lo Cigno R.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Bayha E., Rasmussen S., Lo Cigno R. Заглавие : Validation tests of TOPSIM IV Выходные данные : Paris, 1993 Колич.характеристики :VI,27 c: ил Серия: ESA sci.a.techn.memoranda/Europ.space agency, ISSN 0379-4967;ESA STM-249 Примечания : ; Библиогр.: с.12 ISBN, Цена 92-9092-216-8: Б.ц. ГРНТИ : ; 49.03.07 Ключевые слова (''Своб.индексиров.''): 0 ; иммитатор коммукационной системы Перейти к источнику в Интернете: Validation tests of TOPSIM IV Доп.точки доступа: Rasmussen S.; Lo Cigno R. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

24

Validation tests for standard Pascal and extended Pascal Reports Аттестационные испытания стандартного и расширенного языка Паскаль программа-тест язык программирования Программы-тесты для ЭВМ Программирования языки, Pascal программа-тест язык программирования


MF-90-14865 Idema, A. W. Validation tests for standard Pascal and extended Pascal [Text] : материал технической информации / A.W.Idema. - S.l : [s. n.], 1988. - 42 p. : ill. - (Reports / Nat.phys.lab., ISSN 0262-5369 ; n108/88). - 7.83 р. Библиогр.: с. 42 Перевод заглавия: Аттестационные испытания стандартного и расширенного языка ПаскальПеревод заглавия: Аттестационные испытания стандартного и расширенного языка ПаскальГРНТИ 50.05.09УДК 004.415.53(086.2)004.438(086.2) Рубрики: Программы-тесты для ЭВМПрограммирования языки--Pascal Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

25

Validation tests for standard Pascal and extended Pascal Rep./Nat. physical lab. 0 ^aАттестационные испытания стандартного и расширенного языка Паскаль 0 ; язык, Паскаль Библиогр.: с. 42 0 ; язык, Паскаль


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Idema A.W. Заглавие : Validation tests for standard Pascal and extended Pascal Выходные данные : Б.м., 1988 Колич.характеристики :42 с: ил Серия: Rep./Nat. physical lab.; N108/88 Примечания : ; Библиогр.: с. 42 Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; язык, паскаль Перейти к источнику в Интернете: Validation tests for standard Pascal and extended Pascal VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

26

Validation requirements for a rocket engine control and monitoring system [Reports] ракетный двигатель Ракетные двигатели, Контроль, Аппаратура ракетный двигатель

Maram, J.; Weiss, A.

R/2668/90-2138 Norman, A. M.(jr.) Validation requirements for a rocket engine control and monitoring system [Text] : rep.presented at AIAA/SAE/ASME/ASEE 26th joint propulsion conf.,July 16-18,1990,Orlando,Fl / A.M.(jr.)Norman,J.Maram,A.Weiss. - Washington : [s. n.], 1990. - 3 p. - ([Reports] / Amer.inst.of aeronautics and astronautics ; n90-2138). - 1.50 р.ГРНТИ 55.42.49УДК 621.453/.457.002.56 Рубрики: Ракетные двигатели--Контроль--Аппаратура Держатели документа: ГПНТБ России Доп.точки доступа: Maram, J.; Weiss, A. Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-95568 VALIDATION$

State Public Technical Library of Russia (Russian)

27

Validation of two-dimensional viscous flow simulation codes around thin airfoils Technical report of national aerospace laboratory Investigation of ATP blades крыло Крыло самолета, Аэродинамика крыло

Hirose, N.; Kawai, N.

R/4916/TR-1046/2 Fukuda, M. Investigation of ATP blades [Text] / Fukuda M.,Hirose N.,Kawai N. - Tokyo : [s. n.].Pt. 2 : Validation of two-dimensional viscous flow simulation codes around thin airfoils. - 1989. - 61 p. : ill. - (Technical report of national aerospace laboratory / National aerospace laboratory(Tokyo), ISSN ISSN 0389-4010 ; TR-1046). - 1.00 р. Текст яп. Рез.англ. Библиогр.:с.24ГРНТИ 55.47.03УДК 533.692 Рубрики: Крыло самолета--Аэродинамика Держатели документа: ГПНТБ России Доп.точки доступа: Hirose, N.; Kawai, N. Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

28

Validation of turbulence models in the computer code FLUTAN for a free hot sodium jet in different buoyancy flow regimes Wissenschaftliche Berichte ядерный реактор Ядерные реакторы, Тепловой режим, Моделирование ядерный реактор

Gr@:otzbach, G.

R/17669/6600 Wissenschaftliche Berichte [Text] / FZKA. - Karlsruhe : [s. n.]. - ISSN 0947-8620.6600 : Validation of turbulence models in the computer code FLUTAN for a free hot sodium jet in different buoyancy flow regimes / L.N.Carteciano,G.Gr@:otzbach. - Karlsruhe : [s. n.], 2003. - 34 p. : ill. - 20.00 р. Библиогр.:с. 19-23ГРНТИ 58.33.05УДК 621.039.517.001.57 Рубрики: Ядерные реакторы--Тепловой режим--Моделирование Держатели документа: ГПНТБ России Доп.точки доступа: Gr@:otzbach, G. Экз-ры: ХР(1) Копия: мкф., Шифр MR-110040 VALIDATION$

State Public Technical Library of Russia (Russian)

29

Validation of turbulence models in the computer code FLUTAN for a free hot sodium jet in different buoyancy flow regimes Wissenschaftliche Berichte ; Ядерные реакторы

Grotzbach, G.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Carteciano L.N., Grotzbach G. Заглавие : Validation of turbulence models in the computer code FLUTAN for a free hot sodium jet in different buoyancy flow regimes Выходные данные : Karlsruhe, 2003 Колич.характеристики :34 p.: ill Серия: Wissenschaftliche Berichte/ Forschungszentrum(Karlsruhe), ISSN 0947-8620; 6600 Примечания : ; Библиогр.:с. 19-23 Цена : Б.ц. ГРНТИ : ; 58.33.05 УДК : Предметные рубрики: Ядерные реакторы Перейти к источнику в Интернете: Validation of turbulence models in the computer code FLUTAN for a free hot sodium jet in different buoyancy flow regimes Доп.точки доступа: Grotzbach, G. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

30

Validation of trajectory surface hopping methods against accurate quantum mechanical dynamics and semiclassical analysis of electronic-to-vibrational energy transfer IBM shared research report химическая реакция Химические реакции, Расчеты, , рехи химическая реакция

Topaler, M.S.; Hack, M.D.; Allison, T.C.; Liu, Y-P.

R/17789/97/4 Validation of trajectory surface hopping methods against accurate quantum mechanical dynamics and semiclassical analysis of electronic-to-vibrational energy transfer [Text] : сборник / M.S.Topaler,M.D.Hack,T.C.Allison и др. - Minneapolis(Mn) : [s. n.], 1997. - 22 p. : 15 l.ill. - (IBM shared research report / UM-IBM ; 97/4). - 2000 р. Библиогр.:с.15-18ГРНТИ 31.15.27УДК 541.124.001.2541.5 Рубрики: Химические реакции--Расчеты Держатели документа: ГПНТБ России Доп.точки доступа: Topaler, M.S.; Hack, M.D.; Allison, T.C.; Liu, Y-P. Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

31

Validation of the turbulence models in the DLR TAU code for transonic flows - a best practice guide Forschungsbericht 1 ^aУтверждение турбулентных моделей в коде исследования околозвуковых потоков - лучшие практические рекомендации. DLR ; Околозвуковые летательные аппараты. турбулентное обтекание. математическое моделирование


Вид документа : Однотомное издание Шифр издания : . rugasnti. 55.47.03 Автор(ы) : Knopp, Tobias Заглавие : Validation of the turbulence models in the DLR TAU code for transonic flows - a best practice guide Выходные данные : Koln: DLR, 2006 Колич.характеристики :IX,106 p.: ill.; 20 cm Серия: Forschungsbericht/ Deutsches Zentrum fur Luft- und Raumfahrt, ISSN 1434-8454; 2006-01 Примечания : ; Bibliogr.: p. 102-104 Цена : Б.ц. ГРНТИ : ; 55.47.03 Предметные рубрики: Околозвуковые летательные аппараты Перейти к источнику в Интернете: Validation of the turbulence models in the DLR TAU code for transonic flows - a best practice guide, Перейти к источнику в Интернете:  VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

32

Validation of the reflood model of the RELAP5/MOD3.2.2. gamma using experimental data from the integral facility PKL-LIB.5 Wissenschaftliche Berichte Forschungszentrum(Karlsruhe) Ядерные реакторы с водяным охлаждением, Расхолаживание

Forschungszentrum(Karlsruhe)

R/17669/6676 Sanchez-Espinoza, V. H. Validation of the reflood model of the RELAP5/MOD3.2.2. gamma using experimental data from the integral facility PKL-LIB.5 [Text] : сборник научных трудов / V.H.Sanchez-Espinoza. - Karlsruhe : [s. n.], 2002. - 41 p. : ill. - (Wissenschaftliche Berichte / FZKA ; 6676). - 20.00 р. Рез.нем. Библиогр.:с.38-39ГРНТИ 58.33.37УДК 621.039.517.6 Рубрики: Ядерные реакторы с водяным охлаждением--Расхолаживание Держатели документа: ГПНТБ России Доп.точки доступа: Forschungszentrum(Karlsruhe) Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-109638 VALIDATION$

State Public Technical Library of Russia (Russian)

33

Validation of the reflood model of the RELAP5/MOD3.2.2 gamma usingexperimental data from the integral facility LOFT LP-LB-1 Wissenschaftliche Berichte Forschungszentrum(Karlsruhe) Ядерные реакторы с водяным охлаждением, Расхолаживание

Forschungszentrum(Karlsruhe)

R/17669/6426 Sanchez-Espinoza, V. H. Validation of the reflood model of the RELAP5/MOD3.2.2 gamma usingexperimental data from the integral facility LOFT LP-LB-1 [Text] : сборник научных трудов / V.H.Sanchez-Espinoza. - Karlsruhe : [s. n.], 2001. - 39 p. : ill. - (Wissenschaftliche Berichte / FZKA ; 6426). - 20.00 р. Рез.нем.Библиогр.:с.36-37ГРНТИ 58.33.37УДК 621.039.517.6 Рубрики: Ядерные реакторы с водяным охлаждением--Расхолаживание Держатели документа: ГПНТБ России Доп.точки доступа: Forschungszentrum(Karlsruhe) Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-109634 VALIDATION$

State Public Technical Library of Russia (Russian)

34

Validation of the reactor dynamicscode TRAB Tutkimuksia/Valtion tekn.tutkimuskeskus 0 ^aУтверждение программы TRAB для расчета динамики реактора 0 ; динамика; реактора Библиогр.:с.27-31 0 ; динамика; реактора

Kyrki-Rajamaki R.; Ramajaki M.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Raty H., Kyrki-Rajamaki R., Ramajaki M. Заглавие : Validation of the reactor dynamicscode TRAB Выходные данные : Espoo, 1991 Колич.характеристики :31 с: ил Серия: Tutkimuksia/Valtion tekn.tutkimuskeskus, ISSN 0358-50077;N 729 Примечания : ; Библиогр.:с.27-31 ISBN, Цена 951-38-3976-1: Б.ц. ГРНТИ : ; 58.33.05 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; динамика; реактора Перейти к источнику в Интернете: Validation of the reactor dynamicscode TRAB, Перейти к источнику в Интернете:  Доп.точки доступа: Kyrki-Rajamaki R.; Ramajaki M. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

35

Validation of the reactor dynamicscode TRAB Tutkimuksia Утверждение программы TRAB для расчета динамики реактора ядерный реактор Ядерные реакторы, Кинетика и устойчивость ядерный реактор

Kyrki-Rajamaki, R.; Ramajaki, M.

R/13514/729 Raty, H. Validation of the reactor dynamicscode TRAB [Text] : сборник научных трудов / H.Raty,R.Kyrki-Rajamaki,M.Ramajaki. - Espoo : [s. n.], 1991. - 31 p. : ill. - (Tutkimuksia / VTT, ISSN 0358-5077 ; n729). - ISBN 951-38-3976-1 : 2.00 р. Библиогр.:с.27-31 Перевод заглавия: Утверждение программы TRAB для расчета динамики реактораПеревод заглавия: Утверждение программы TRAB для расчета динамики реактораГРНТИ 29.15.53УДК 621.039.514 Рубрики: Ядерные реакторы--Кинетика и устойчивость Держатели документа: ГПНТБ России Доп.точки доступа: Kyrki-Rajamaki, R.; Ramajaki, M. Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

36

Validation of target parameters of ENVISAT chemistry instruments with correlative balloon observations obtained by MIPAS-B Wissenschaftliche Berichte FZKA Forschungszentrum (Karlsruhe) 2765; Атмосфера, Состав, Определение 34318; Спутниковая метеорология


R/17669/7242 Forschungszentrum (Karlsruhe). Wissenschaftliche Berichte [Text] / FZKA. - Karlsruhe : [s. n.], 199 - . - ISSN 0947-8620.7242 : Validation of target parameters of ENVISAT chemistry instruments with correlative balloon observations obtained by MIPAS-B : diss. / G.Zhang. - Karlsruhe : FZKA, 2006. - X,168 p. : ill. - 70.00 р.ГРНТИ 89.53.4137.21.03УДК 551.508.953(043)551.501.7:629.78(043) Рубрики: Атмосфера--Состав--ОпределениеСпутниковая метеорология Держатели документа: ГПНТБ России Экз-ры: ХР(1) Копия: мкф., Шифр MR-110891 VALIDATION$

State Public Technical Library of Russia (Russian)

37

Validation of satellite solar occultation measurements 1975-1988 Rep./AIAA 0 ^aПризнание справедливости измерений в 1975-1988 г.г. солнечных покрытий (солнечного излучения, аэрозоли и газа стратосферы) спутником 0 ; солнечное покрытие Библиогр. в конце книги 0 ; солнечное покрытие

McCormick, M.; McMaster, L.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Maddrea G., McCormick M., McMaster L. Заглавие : Validation of satellite solar occultation measurements 1975-1988 Выходные данные : New York, 1989 Колич.характеристики :4 с: ил Серия: Rep./AIAA; N89-0856 Примечания : ; Библиогр. в конце книги Цена : Б.ц. ГРНТИ : ; 41.51.25 + ; 89.51.15 Ключевые слова (''Своб.индексиров.''): 0 ; солнечное покрытие Перейти к источнику в Интернете: Validation of satellite solar occultation measurements 1975-1988, Перейти к источнику в Интернете:  Доп.точки доступа: McCormick, M.; McMaster, L. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

38

Validation of models over Europe 0 ^aТруды семинара по валидации моделей над Европой, 1992 0 ; валидация 0 ; валидация


Вид документа : Многотомное издание Шифр издания : K Заглавие : Validation of models over Europe : Seminar proc., 7-11 Sept. 1992 Выходные данные : Reading, 1992 Колич.характеристики :279 с Цена : Б.ц. ГРНТИ : ; 37.21.77 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; валидация Перейти к источнику в Интернете: Validation of models over Europe VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

39

Validation of models over Europe 0 ^aТруды семинара по валидации моделей над Европой, 1992 0 ; валидация 0 ; валидация


Вид документа : Многотомное издание Шифр издания : K Заглавие : Validation of models over Europe : Seminar proc., 7-11 Sept. 1992 Выходные данные : Reading, 1992 Колич.характеристики :285 с Цена : Б.ц. ГРНТИ : ; 37.21.77 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; валидация Перейти к источнику в Интернете: Validation of models over Europe VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

40

Validation of methodology for selecting Charpy toughness criteria for old thin low strength steels Publications Ферритная сталь, Физико-механические свойства, , стфе


R/11634/216 Wallin, K. Validation of methodology for selecting Charpy toughness criteria for old thin low strength steels [Text] : сборник научных трудов / K.Wallin. - Espoo : [s. n.], 1995. - 17 p. : ill. - (Publications / Valtion teknillinen tutkimuskeskus(Helsinki), ISSN 0358-5069 ; 216). - ISBN 951-38-4654-7 : 1000 р. Библиогр.:с.17ГРНТИ 53.49.13УДК 669.15-194.57 Рубрики: Ферритная сталь--Физико-механические свойства Держатели документа: ГПНТБ России Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

41

Validation of gunsight accuracy through limited flight testing Rep./AIAA 0 ^aПроверка точности пушечного прицела в летных испытаниях ограниченного объема: ночной полет с трассером V nadzag. takze: AIAA/AHS/IES/SETP/SFTE/DGLR 2nd flight testing conf., Nov. 16-18, 1983, Las Vegas (Nv)


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Burke P.K Заглавие : Validation of gunsight accuracy through limited flight testing : The night tracer flight Выходные данные : New York, 1983 Колич.характеристики :6 с Серия: Rep./AIAA; N 83-2692 Примечания : ; V nadzag. takze: AIAA/AHS/IES/SETP/SFTE/DGLR 2nd flight testing conf., Nov. 16-18, 1983, Las Vegas (Nv) Цена : Б.ц. ГРНТИ : ; 78.25.13 УДК : Перейти к источнику в Интернете: Validation of gunsight accuracy through limited flight testing VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

42

Validation of computer models of cable system dynamics Contractor rep./US. Dep. of the navy. Naval civil eng. lab. 0 ^aОбоснование вычислительных моделей динамики кабельных систем


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Dillon D.B Заглавие : Validation of computer models of cable system dynamics Выходные данные : Б.м., 1982 Колич.характеристики :Разд.паг с Серия: Contractor rep./US. Dep. of the navy. Naval civil eng. lab.; CR 82.015 Цена : Б.ц. ГРНТИ : ; 45.47.33 УДК : Перейти к источнику в Интернете: Validation of computer models of cable system dynamics VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

43

Validation of braided-stream models: spatial state-space plots, self-affine scaling and island shapes UMSI research report русловый процесс Русловые процессы, , прру русловый процесс

Sapozhnikov, V.B.; Murray, A.B.; Paola, C.; Foufoula-Georgiou, E.

R/17401/97/241 Validation of braided-stream models: spatial state-space plots, self-affine scaling and island shapes [Text] : сборник научных трудов / V.B.Sapozhnikov,A.B.Murray,C.Paola,E.Foufoula-Georgiou. - Minneapolis(Mn) : [s. n.], 1997. - 28 p. : 11 l.ill. - (UMSI research report / Univ.of Minnesota ; 97/241). - 3-00 р. Библиогр.:с.24-26ГРНТИ 37.27.25УДК 556.536 Рубрики: Русловые процессы Держатели документа: ГПНТБ России Доп.точки доступа: Sapozhnikov, V.B.; Murray, A.B.; Paola, C.; Foufoula-Georgiou, E. Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

44

Validation of an interior noise prediction model for a composite cylinder [Reports] American institute of aeronautics and astronautics(New York)

Grosveld, F.W.; Amer.inst.of aeronautics and astronautics(New York)

R/2668/87-0529 American institute of aeronautics and astronautics(New York). [Reports] [Text] / Amer.inst.of aeronautics and astronautics. - Washington : [s. n.].N 87-0529 : Validation of an interior noise prediction model for a composite cylinder : papres presented at AIAA 25th aerospace sci.meet., Jan.12-15, 1987, Reno(Nv) / T.B.Beyer,F.W.Grosveld. - New York : [s. n.], 1987. - 9 p. : ill. - 1.50 р.ГРНТИ 89.0173.37УДК 629.73(05)629.78(05) Держатели документа: ГПНТБ России Доп.точки доступа: Grosveld, F.W.; Amer.inst.of aeronautics and astronautics(New York) Экз-ры: ХР(2) Копия: мкфш., Шифр mf-u-68595-87 VALIDATION$

State Public Technical Library of Russia (Russian)

45

Validation of an interior noise prediction model for a composite cylinder Rep./AIAA 0 ^aПроверка модели расчета внутреннего шума для композиционного цилиндра V nadzag. takze: AIAA 25th aerospace sciences meet., Jan. 12-15, 1987, Reno, Nv. Библиогр.: с. 5,6

Grosveld, F.W

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Beyer T.B, Grosveld F.W Заглавие : Validation of an interior noise prediction model for a composite cylinder Выходные данные : New York, USA,Б.г. Колич.характеристики :9 с Серия: Rep./AIAA; N 87-0529 Примечания : ; V nadzag. takze: AIAA 25th aerospace sciences meet., Jan. 12-15, 1987, Reno, Nv. Библиогр.: с. 5,6 Цена : Б.ц. ГРНТИ : ; 29.37.33 УДК : Перейти к источнику в Интернете: Validation of an interior noise prediction model for a composite cylinder Доп.точки доступа: Grosveld, F.W VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

46

Validation of an integrated flight and propulsion control design for fighter aircraft Rep./AIAA 0 ^aОбоснование схемы комплексного управления полетом и силовой установкой самолета-истребителя V nadzag. takze: AIAA/SAE/ASME/ASEE 23rd joint propulsion conf., June 29-July 2, 1987, San Diego (Ca).Библиогр.: с. 13

Haiges, K.R; Skira, C.A

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Shaw P.D, Haiges K.R, Skira C.A Заглавие : Validation of an integrated flight and propulsion control design for fighter aircraft Выходные данные : New York, 1987 Колич.характеристики :13 с Серия: Rep./AIAA; N 87-1928 Примечания : ; V nadzag. takze: AIAA/SAE/ASME/ASEE 23rd joint propulsion conf., June 29-July 2, 1987, San Diego (Ca).Библиогр.: с. 13 Цена : Б.ц. ГРНТИ : ; 78.25.13 УДК : Перейти к источнику в Интернете: Validation of an integrated flight and propulsion control design for fighter aircraft Доп.точки доступа: Haiges, K.R; Skira, C.A VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

47

Validation of an efficient and accurate turbomachinery CFD analysis procedure Rep./AIAA 0 ^aОценка эффективной и точной программы анализа турбомашин методом вычислительной гидродинамики 0 ; турбомашины 0 ; турбомашины

Thomas, M.E.

Вид документа : Многотомное издание Шифр издания : Автор(ы) : Bache G.E., Thomas M.E. Заглавие : Validation of an efficient and accurate turbomachinery CFD analysis procedure Выходные данные : New York, 1990 Серия: Rep./AIAA Цена : Б.ц. ГРНТИ : ; 55.37.29 Ключевые слова (''Своб.индексиров.''): 0 ; турбомашины Перейти к источнику в Интернете: Validation of an efficient and accurate turbomachinery CFD analysis procedure, Перейти к источнику в Интернете:  Доп.точки доступа: Thomas, M.E. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

48

Validation of a structural model of computer compile time Technical report AFIT Математическое обеспечение бортовых ЭВМ


R/10771/GCS/ENG/86D-I Maness, R. S. Validation of a structural model of computer compile time [Text] : diss. / R.S.Maness. - S.l. : [s. n.], 1987. - IX,117 p. p. : ill. - (Technical report AFIT / US Air force institute of technology ; GCS/ENG/86D-I). - 15.00 р. Библиогр.:с.115-116ГРНТИ 55.47.29УДК 629.73.05:681.3(043) Рубрики: Математическое обеспечение бортовых ЭВМ Держатели документа: ГПНТБ России Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

49

Validation of a numerical modeling method for simulating rainfall-runoff relations for headwater basins in western King and Snohomish Counties, Washington U.S. Geol. survey water-supply paper 0 ^aОценка метода численного моделирования при построении моделей соотношения между количеством дождевых осадков и стоком для бассейнов верховьев рек в графствах Западный Кинг и Снохомиш, шт. Вашингтон.


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Dinicola R.S. Заглавие : Validation of a numerical modeling method for simulating rainfall-runoff relations for headwater basins in western King and Snohomish Counties, Washington Выходные данные : Reston (Va), 2001 Колич.характеристики :V, 162 с.: ил., к., табл Серия: U.S. Geol. survey water-supply paper/ Dep. of the interior; 2495 Примечания : ; Библиогр. : с. 59-60 ISBN, Цена 0-607-94415-3: Б.ц. УДК : Перейти к источнику в Интернете: Validation of a numerical modeling method for simulating rainfall-runoff relations for headwater basins in western King and Snohomish Counties, Washington VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

50

Validation of a new method for estimation of drug absorption Comprehensive summaries of Uppsala diss.from the Fac.of pharmacy 0 ^aПодтверждение новой методики определения абсорбции лекарства. Компьютерное моделирование и применение in vivo 0 ; абсорбция лекарства 0 ; абсорбция лекарства Библиогр.:с. 44-47 0 ; абсорбция лекарства


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Bredberg U. Заглавие : Validation of a new method for estimation of drug absorption : Computer simulation a. in vivo applications Выходные данные : Uppsala, 1991 Колич.характеристики :47 c Серия: Comprehensive summaries of Uppsala diss.from the Fac.of pharmacy, ISSN 0282-7484; N 73 Примечания : ; Библиогр.:с. 44-47 ISBN, Цена 91-554-2682-4: Б.ц. ГРНТИ : ; 31.15.35 + ; 76.31.33 Ключевые слова (''Своб.индексиров.''): 0 ; абсорбция лекарства Перейти к источнику в Интернете: Validation of a new method for estimation of drug absorption VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

51

Validation of a multigrid method for the Reynolds averaged equations Rep./AIAA 0 ^aПодтверждение многосеточного метода для уравнений с осреднением по числу Рейнольдса 0 ; многосеточный метод Библиогр.: с. 8 0 ; многосеточный метод

Jameson, A.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Martinelli L., Jameson A. Заглавие : Validation of a multigrid method for the Reynolds averaged equations Выходные данные : New York, 1988 Колич.характеристики :20 с: ил Серия: Rep./AIAA; N 88-0414 Примечания : ; Библиогр.: с. 8 Цена : Б.ц. ГРНТИ : ; 30.17.02 Ключевые слова (''Своб.индексиров.''): 0 ; многосеточный метод Перейти к источнику в Интернете: Validation of a multigrid method for the Reynolds averaged equations Доп.точки доступа: Jameson, A. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

52

Validation of a free=jet yechnique for evaluating inlet-engine compability Rep./AIAA;89-2325 0 ^aПроверка метода свободной струи для оценки совместимости системы воздухоразборник-двигатель 0 ; воздухоразборник-двигатель Библиогр.:с.8 0 ; воздухоразборник-двигатель

Collier M.S.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Beale D.K., Collier M.S. Заглавие : Validation of a free=jet yechnique for evaluating inlet-engine compability Выходные данные : Washington, 1989 Колич.характеристики :18 c: ил Серия: Rep./AIAA;89-2325 Примечания : ; Библиогр.:с.8 Цена : Б.ц. ГРНТИ : ; 55.42.47 Ключевые слова (''Своб.индексиров.''): 0 ; воздухоразборник-двигатель Перейти к источнику в Интернете: Validation of a free=jet yechnique for evaluating inlet-engine compability Доп.точки доступа: Collier M.S. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

53

Validation of a fish habitat model for lakes UMSI research report Рыбоводное хозяйство, Моделирование, , рыхо

Stefan, H.G.; Handzo, M.; Eaton, J.G.; McCormick, J.H.

R/17401/95/101 Validation of a fish habitat model for lakes [Text] : сборник / H.G.Stefan,M.Handzo,J.G.Eaton,J.H.McCormick. - Minneapolis(Mn) : [s. n.], 1995. - 20 p. : 12 l.ill. - (UMSI research report / Univ.of Minnesota ; 95/101). - 300 р. Библиогр.:с.18-20ГРНТИ 69.25.47УДК 639.312.001.57 Рубрики: Рыбоводное хозяйство--Моделирование Держатели документа: ГПНТБ России Доп.точки доступа: Stefan, H.G.; Handzo, M.; Eaton, J.G.; McCormick, J.H. Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

54

Validation of a CFD code for complex configuration Technical report крыло Крыло самолета, Аэродинамика крыло


R/4916/TR-1376 Takaki, R. Validation of a CFD code for complex configuration [Text] : материал технической информации / R.Takaki. - S.l. : [s. n.], 1998. - 28 p. : ill. - (Technical report / Nat.aerospace lab., ISSN 0389-4010 ; TR-1376). - 20.00 р. Парал. загл. яп. Текст яп. Рез. англ. Библиогр.: с.27-28ГРНТИ 55.47.03УДК 533.693.013 Рубрики: Крыло самолета--Аэродинамика Держатели документа: ГПНТБ России Экз-ры: ХР(2) VALIDATION$

State Public Technical Library of Russia (Russian)

55

Validation of KENO V.for cpiticality safety calculations involving WR-1 fast-neutron fuel arrangements Atomic energy of Canada 0 ^aОценка программы KENO V. для расчетов безопасности от критичности на топливных сборках WR-1 на быстрых нейтронах Whiteshell lab. 0 ; безопасность;критичность;топливная сборка Рез.фр.-Библиогр.:с.7-8 0 ; безопасность;критичность;топливная сборка


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Gauld I.C. Заглавие : Validation of KENO V.for cpiticality safety calculations involving WR-1 fast-neutron fuel arrangements Выходные данные : Pinawa: Whiteshell lab., 1991 Колич.характеристики :18 c: ил Серия: Atomic energy of Canada, ISSN 0067-0367;AECL-10146-2 Примечания : ; Рез.фр.-Библиогр.:с.7-8 Цена : Б.ц. ГРНТИ : ; 58.33.27 Ключевые слова (''Своб.индексиров.''): 0 ; безопасность;критичность;топливная сборка Перейти к источнику в Интернете: Validation of KENO V.for cpiticality safety calculations involving WR-1 fast-neutron fuel arrangements VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

56

Validation of KENO V. a for criticality safety calculations of low-enriched uranium-235 systems Atomic energy of Canada ltd. 0 ^aОценка программы KENO V. a для расчетов безопасности, связанной с критичностью, в системах с низкообогащенным ураном-235 Whiteshell lab 0 ; безопасность; низкообогащенный уран Рез. фр.-Библиогр.: с. 6-8 0 ; безопасность; низкообогащенный уран


Вид документа : Однотомное издание Шифр издания : Автор(ы) : McCamis R.H. Заглавие : Validation of KENO V. a for criticality safety calculations of low-enriched uranium-235 systems Выходные данные : Pinawa: Whiteshell lab, 1991 Колич.характеристики :26 с: ил Серия: Atomic energy of Canada ltd., ISSN 0067-0367; AECL-10146-1 Примечания : ; Рез. фр.-Библиогр.: с. 6-8 Цена : Б.ц. ГРНТИ : ; 58.33.05 Ключевые слова (''Своб.индексиров.''): 0 ; безопасность; низкообогащенный уран Перейти к источнику в Интернете: Validation of KENO V. a for criticality safety calculations of low-enriched uranium-235 systems VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

57

Validation of AVHRR split window shin temperature retrievals for extimating tropospheric infrared cooling over the Tibetan plateau Rep./AIAA 0 ^aОбоснование исправления поверхностной температуры в различных окнах AVHRR для оценки тропосферного инфракрасного охлаждения над Тибетским плато 0 ; инфракрасное охлаждение Библиогр.: с. 11 0 ; инфракрасное охлаждение

Shi, L.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Smith E., Shi L. Заглавие : Validation of AVHRR split window shin temperature retrievals for extimating tropospheric infrared cooling over the Tibetan plateau Выходные данные : New York, 1989 Колич.характеристики :11 с: ил Серия: Rep./AIAA; N89-0803 Примечания : ; Библиогр.: с. 11 Цена : Б.ц. ГРНТИ : ; 37.21.17 Ключевые слова (''Своб.индексиров.''): 0 ; инфракрасное охлаждение Перейти к источнику в Интернете: Validation of AVHRR split window shin temperature retrievals for extimating tropospheric infrared cooling over the Tibetan plateau, Перейти к источнику в Интернете:  Доп.точки доступа: Shi, L. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

58

Validation methods research for fault-tolerant avionics and control systems sub-working group meeting. CARE III peer review Conf. publ./NASA 0 ^aТруды рабочей подгруппы по исследованию методов проверки устойчивого к отказам радиоэлектронного оборудования и систем управления ЛА. 15-16 сент. 1980 г Библиогр.: с.19-20

Trivedi, K.S; Clary, J.B

Вид документа : Однотомное издание Шифр издания : K Заглавие : Validation methods research for fault-tolerant avionics and control systems sub-working group meeting. CARE III peer review : Proc. of a sub-working group meet., Research Triangle Park (NC), Sept. 15-16, 1980 Выходные данные : Washington, 1980 Колич.характеристики :6, 24 с Серия: Conf. publ./NASA; N 2167 Примечания : ; Библиогр.: с.19-20 Цена : Б.ц. ГРНТИ : ; 55.49.51 + ; 55.47.81 УДК : Перейти к источнику в Интернете: Validation methods research for fault-tolerant avionics and control systems sub-working group meeting. CARE III peer review Доп.точки доступа: Trivedi, K.S; Clary, J.B VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

59

Validation in chemical measurement Springer Измерения химические

De Bievre, P. ed.

J2/27439 Validation in chemical measurement [Text] : монография / ed. P. De Bievre, H. Gunzler. - Berlin [etc.] : Springer, 2005. - X,167 p. : ill. - Библиогр. в конце ст. - ISBN 3-540-20788-0 : 3850.73 р.ГРНТИ 59.71УДК 66.012.1 Рубрики: Измерения химические Держатели документа: ГПНТБ России Доп.точки доступа: De Bievre, P. \ed.\ Экз-ры: хр(1), (1) Копия: мкф., Шифр MR-111249 VALIDATION$

State Public Technical Library of Russia (Russian)

60

Validation in chemical measurement 0 ^aПроверка достоверности химических измерений Springer 0 ; достоверность химических измерений; оценка 0 ; достоверность химических измерений; оценка Библиогр. в конце ст 0 ; достоверность химических измерений; оценка

De Bievre, P.; Gunzler, H.

Вид документа : Однотомное издание Шифр издания : K Заглавие : Validation in chemical measurement Выходные данные : Berlin etc: Springer, 2005 Колич.характеристики :X,167 c: ил Примечания : ; Библиогр. в конце ст ISBN, Цена 3-540-20788-0: Б.ц. ГРНТИ : ; 31.05.01 + ; 59.71 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; достоверность химических измерений; оценка Перейти к источнику в Интернете: Validation in chemical measurement, Перейти к источнику в Интернете:  Доп.точки доступа: De Bievre, P.; Gunzler, H. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

61

Validation data for land surface temperature determination from satellites Technical paper воздух Воздух, Температура, Измерение, , во воздух


R/15484/33 Prata, A. J. Validation data for land surface temperature determination from satellites [Text] : сборник научных трудов / A.J.Prata. - Melbourne : [s. n.], 1994. - 36 p. : ill. - (Technical paper / commonwealth sci.and industrial research organization ; n33). - 500 р. Библиогр.:с.18ГРНТИ 37.21.03УДК 551.501.724 Рубрики: Воздух--Температура--Измерение Держатели документа: ГПНТБ России Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

62

Validation data for land surface temperature determination from satellites Technical paper ; Воздух . Температура . Измерение , во


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Prata A.J. Заглавие : Validation data for land surface temperature determination from satellites Выходные данные : Melbourne, 1994 Колич.характеристики :36 p.: ill. Серия: Technical paper/ Commonwealth scientific and industrial research organization(Melbourne).Division of atmospheric research; N33 Примечания : ; Библиогр.:с.18 Цена : Б.ц. ГРНТИ : ; 37.21.03 УДК : Предметные рубрики: Воздух Перейти к источнику в Интернете: Validation data for land surface temperature determination from satellites VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

63

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)

64

Use and design of an active data dictionary for local validation of input data Информация, Сортировка


MF-90-15273 DiBona, R. M. Use and design of an active data dictionary for local validation of input data [Text] : diss.Mfiche(1) / R.M.DiBona. - Monterey(Ca) : [s. n.], 1985. - XI,603 p. p. : ill. - 7.52 р. Библиогр.:с.56ГРНТИ 20.53.19УДК 004.633.2(043)(086.2) Рубрики: Информация--Сортировка Держатели документа: ГПНТБ России Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

65

UHB technology validation-the final step [Reports] American institute of aeronautics and astronautics(New York)

Lewerenz, W.T.; Durbin, R.T.; Amer.inst.of aeronautics and astronautics(New York)

R/2668/88-2807 American institute of aeronautics and astronautics(New York). [Reports] [Text] / Amer.inst.of aeronautics and astronautics. - Washington : [s. n.].N 88-2807 : UHB technology validation-the final step : rep.presented at the AIAA/ASME/SAE/ASEE 24th Joint propulsion conf.,July 11-13,1988,Boston(Ma) / J.E.Donelson,W.T.Lewerenz,R.T.Durbin. - Washington : [s. n.], 1988. - 8 p. : ill. - 1.50 р.ГРНТИ 89.0173.37УДК 629.73(05)629.78(05) Держатели документа: ГПНТБ России Доп.точки доступа: Lewerenz, W.T.; Durbin, R.T.; Amer.inst.of aeronautics and astronautics(New York) Экз-ры: ХР(2) Копия: мкф., Шифр MR-88795 VALIDATION$

State Public Technical Library of Russia (Russian)

66

UHB technology validation - the final step Rep./AIAA 0 ^aУтверждение технологии сверхвысокой степени двухконтурности: заключительный шаг AIAA/ASME/SAE/ASEE 24th joint propulsion conf., July 11-13, 1988, Boston (Ma) 0 ; сверхвысокая степень двухконтурности 0 ; сверхвысокая степень двухконтурности

Lewerenz, W.T.; Durbin, R.T.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Donelson J.E., Lewerenz W.T., Durbin R.T. Заглавие : UHB technology validation - the final step Выходные данные : Washington, 1988 Колич.характеристики :8 с: ил Коллективы : AIAA/ASME/SAE/ASEE 24th joint propulsion conf., July 11-13, 1988, Boston (Ma) Серия: Rep./AIAA; N 88-2807 Цена : Б.ц. ГРНТИ : ; 55.42.47 Ключевые слова (''Своб.индексиров.''): 0 ; сверхвысокая степень двухконтурности Перейти к источнику в Интернете: UHB technology validation - the final step Доп.точки доступа: Lewerenz, W.T.; Durbin, R.T. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

67

Tutorial:VLSI testing & validation techniques IEEE publications;EHO237-8 Institute of electrical and electronics engineers(New York) Inst. of electrical and electronics engineers Библиогр.в конце глав и с.:579-596 ; Интегральные схемы большие. -Испытание, боинсх

Reghbati, H.K. .

Вид документа : Однотомное издание Шифр издания : K Заглавие : Tutorial:VLSI testing & validation techniques Выходные данные : New York: Inst. of electrical and electronics engineers, 1985 Колич.характеристики :IX,603 p.: ill. Коллективы : Institute of electrical and electronics engineers(New York) Серия: IEEE publications;EHO237-8/ Inst. of electrical and electronics engineers Примечания : ; Библиогр.в конце глав и с.:579-596 ISBN, Цена 0-8186-0668: Б.ц. ГРНТИ : ; 47.33.31 + ; 47 УДК : Предметные рубрики: Интегральные схемы большие Перейти к источнику в Интернете: Tutorial:VLSI testing & validation techniques Доп.точки доступа: Reghbati, H.K. \.\ VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

68

Tutorial:VLSI testing & validation techniques IEEE publications IEEE computer soc.press Интегральные схемы большие, Испытание, , боинсх

Reghbati, H.K. ред.compl.

R/6736/EHO237-8 Tutorial:VLSI testing & validation techniques [Text] : сборник научных трудов / ред.compl. H. K. Reghbati. - Los Alamitos(Ca) et al. : IEEE computer soc.press, 1985. - IX,603 p. p. : ill. - (IEEE publications / Inst.of electrical and electronics engineers, ISSN 0149-144X ; EHO237-8). - ISBN 0-8186-0668 : 30000 р. Библиогр.в конце глав и с.:579-596ГРНТИ 47.33.31УДК 621.3.049.771.14.001.4 Рубрики: Интегральные схемы большие--Испытание Держатели документа: ГПНТБ России Доп.точки доступа: Reghbati, H.K. \ред.compl.\ Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-104127 VALIDATION$

State Public Technical Library of Russia (Russian)

69

Toward a CFD nose-to-tail capability: hypersonic unsteady Navier-Stokes code validation Rep./AIAA 0 ^aО возможностях вычислительной аэрогидродинамики для расчета гиперзвукового полета ЛА: оценка программы на основе уравнений Навье-Стокса для неустановившегося состояния 0 ; вычислительная аэрогидродинамика 0 ; вычислительная аэрогидродинамика

Flores, J.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Edwards T.A., Flores J. Заглавие : Toward a CFD nose-to-tail capability: hypersonic unsteady Navier-Stokes code validation Выходные данные : New York, 1989 Колич.характеристики :15 с: ил Серия: Rep./AIAA; N 89-1672 Цена : Б.ц. ГРНТИ : ; 30.17.33 + ; 55.47.03 Ключевые слова (''Своб.индексиров.''): 0 ; вычислительная аэрогидродинамика Перейти к источнику в Интернете: Toward a CFD nose-to-tail capability: hypersonic unsteady Navier-Stokes code validation, Перейти к источнику в Интернете:  Доп.точки доступа: Flores, J. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

71

The first Galileo satellites. Galileo in-orbit validation element ESA-BR 1 ^aПервые спутники Galileo. ESA ; искусственные спутники Земли

Wilson, A. .

Вид документа : Однотомное издание Шифр издания : . rugasnti. 55.49 Заглавие : The first Galileo satellites. Galileo in-orbit validation element Выходные данные : Noordwijk: ESA, 2005 Колич.характеристики :20 p.: ill.; 29 cm Серия: ESA-BR/ European space agency, ISSN 0250-1589; BR-251 ISBN, Цена 92-9092-497-7: Б.ц. ГРНТИ : ; 55.49 Предметные рубрики: искусственные спутники Земли Перейти к источнику в Интернете: The first Galileo satellites. Galileo in-orbit validation element, Перейти к источнику в Интернете:  Доп.точки доступа: Wilson, A. \.\ VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

72

The NASP challenge: testing for validation Rep./AIAA 0 ^aТребование нац.воздушно-космического самолета: испытания для оценки AIAA 0 ; воздушно-космический самолет 0 ; воздушно-космический самолет

Waldmman, B.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Harsha P., Waldmman B. Заглавие : The NASP challenge: testing for validation Выходные данные : New York: AIAA, 1989 Колич.характеристики :7 c: ил Серия: Rep./AIAA; N 89-5005 Цена : Б.ц. ГРНТИ : ; 55.49.81 Ключевые слова (''Своб.индексиров.''): 0 ; воздушно-космический самолет Перейти к источнику в Интернете: The NASP challenge: testing for validation, Перейти к источнику в Интернете:  Доп.точки доступа: Waldmman, B. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

73

Test and validation studies performed with UFOTRI and NORMTRI TW5-TSS/SEP2 - deliverable 4 Wissenschaftliche Berichte Forschungszentrum 29477; Радиоактивность окружающей среды

Forschungszentrum(Karlsruhe)

R/17669/7281 Forschungszentrum (Karlsruhe). Wissenschaftliche Berichte [Text] / FZKA. - Karlsruhe : [s. n.], 19 - . - ISSN 0947-8620.7281 : Test and validation studies performed with UFOTRI and NORMTRI TW5-TSS/SEP2 - deliverable 4 / W. Raskob. - Karlsruhe : [s. n.], 2007. - 14 p. : ill. - Библиогр.: с. 13-14. - 50.00 р.ГРНТИ 87.15.21УДК 504.5:621.039 Рубрики: Радиоактивность окружающей среды Держатели документа: ГПНТБ России Доп.точки доступа: Forschungszentrum(Karlsruhe) Экз-ры: хр(1), (1) Копия: мкф., Шифр MR-111043 VALIDATION$

State Public Technical Library of Russia (Russian)

74

Teseo code validation Rapp. tecn./Com. naz. per la ricerca e per lo sviluppo dell'energia nucleare e delle energie alternative 0 ^aАттестация машинной программы TESEO Рез. ит. Библиогр.: с.84-86

Fioni, G

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Galli M, Fioni G Заглавие : Teseo code validation Выходные данные : Roma, 1988 Колич.характеристики :86 с Серия: Rapp. tecn./Com. naz. per la ricerca e per lo sviluppo dell'energia nucleare e delle energie alternative, ISSN 0393-6333; RT/TIB/87/40 Примечания : ; Рез. ит. Библиогр.: с.84-86 Цена : Б.ц. ГРНТИ : ; 58.33.05 УДК : Перейти к источнику в Интернете: Teseo code validation Доп.точки доступа: Fioni, G VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

75

Survey and assessment of validation data base for shockwave boundary layer interactions in supersonic inlets Rep./AIAA; 89-2939 0 ^aОценка базы данных по взаимодействиям скачка уплотнения с пограничным слоем в сверхзвуковых входных диффузорах 0 ; летательные аппараты; сверхзвуковые входные диффузоры Библиогр.: с. 11-13 0 ; летательные аппараты; сверхзвуковые входные диффузоры

Shang, J.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Hamed A., Shang J. Заглавие : Survey and assessment of validation data base for shockwave boundary layer interactions in supersonic inlets Выходные данные : New York, 1989 Колич.характеристики :16 с Серия: Rep./AIAA; 89-2939 Примечания : ; Библиогр.: с. 11-13 Цена : Б.ц. ГРНТИ : ; 55.42.47 Ключевые слова (''Своб.индексиров.''): 0 ; летательные аппараты; сверхзвуковые входные диффузоры Перейти к источнику в Интернете: Survey and assessment of validation data base for shockwave boundary layer interactions in supersonic inlets, Перейти к источнику в Интернете:  Доп.точки доступа: Shang, J. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

76

Studies on the assessment and validation of reactor dynamics models used in Finland Publications Ядерные реакторы водоводяные, Кинетика и устойчивость, , вореяд


R/11634/156 Vanttola, T. Studies on the assessment and validation of reactor dynamics models used in Finland [Text] : diss. / T.Vanttola. - Espoo : [s. n.], 1993. - Pag var. var. : ill. - (Publications / Valtion teknillinen tutkimuskeskus(Helsinki), ISSN 0358-5069 ; n156). - ISBN 951-384394-7 : 300 р. Библиогр.в книгеГРНТИ 29.15.53УДК 621.039.514(043) Рубрики: Ядерные реакторы водоводяные--Кинетика и устойчивость Держатели документа: ГПНТБ России Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

77

Studies on the assessment and validation of reactor dynamics models used in Finland Publication Библиогр.в книге ; Ядерные реакторы водоводяные. -Кинетика и устойчивость, вореяд


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Vanttola T. Заглавие : Studies on the assessment and validation of reactor dynamics models used in Finland : Diss. Выходные данные : Espoo, 1993 Колич.характеристики :Pag var.: ill. Серия: Publication/ Valtion tekn.tutkimuskeskus, ISSN 12350621;N 156 Примечания : ; Библиогр.в книге ISBN, Цена 951-38-4394-7: Б.ц. ГРНТИ : ; 58.33.05 УДК : Предметные рубрики: Ядерные реакторы водоводяные Перейти к источнику в Интернете: Studies on the assessment and validation of reactor dynamics models used in Finland, Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

78

Special section of on high-level design, validation and test IEEE transactions on computer-aided design IEEE интегральная схема Интегральные схемы, Съезды и конференции интегральная схема


W243CAD/2001,Vol.20,N 3 Special section of on high-level design, validation and test [Text] : spec.sect. of is based on the 4th HLDVT workshop organized in San Diego(Ca) in Nov.1999. - New York : IEEE, 2001. - 353-474 p. p. : ill. - (IEEE transactions on computer-aided design, ISSN ISSN 0278-0070 ; 2001,Vol.20,N 3). - Б. ц. Библиогр.в конце ст.ГРНТИ 47.33.31УДК 621.3.049.77(063) Рубрики: Интегральные схемы--Съезды и конференции Держатели документа: ГПНТБ России Экз-ры: чз(1) VALIDATION$

State Public Technical Library of Russia (Russian)

79

SAGE II aerosol data validation: comparative studies of SAGE II and SAM II data sets Rep./AIAA 0 ^aУтверждение аэрозольных данных SAGE II: сравнительное изучение комплекта данных SAGE II и SAM II 0 ; аэрозольные данные Библиогр.: с.6 0 ; аэрозольные данные

McCormick, M.; Chu, W.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Yue G., McCormick M., Chu W. Заглавие : SAGE II aerosol data validation: comparative studies of SAGE II and SAM II data sets Выходные данные : New York, 1989 Колич.характеристики :6 с: ил Серия: Rep./AIAA; N 89-0858 Примечания : ; Библиогр.: с.6 Цена : Б.ц. ГРНТИ : ; 37.21.19 + ; 89.53.41 Ключевые слова (''Своб.индексиров.''): 0 ; аэрозольные данные Перейти к источнику в Интернете: SAGE II aerosol data validation: comparative studies of SAGE II and SAM II data sets, Перейти к источнику в Интернете:  Доп.точки доступа: McCormick, M.; Chu, W. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

81

Research report. 25: Juvenile height models for lodgepole pine and interior spruce: validation of existing models and development of new models 1 ^aПостроение моделей для прогнозирования прироста по высоте молодых насаждений сосны скрученной и елей Канадской и Энгельмана. (Канада) 0 ; picea glauca 0 ; picea engelmanni 0 ; сосна 0 ; pinus contorta 0 ; ель 0 ; молодые посадки 0 ; прирост по высоте 0 ; математические модели 0 ; прогнозирование 0 ; канада 0 ; picea glauca 0 ; picea engelmanni 0 ; сосна 0 ; pinus contorta 0 ; ель 0 ; молодые посадки 0 ; прирост по высоте 0 ; математические модели 0 ; прогнозирование 0 ; канада Текст англ. 0 ; picea glauca 0 ; picea engelmanni 0 ; сосна 0 ; pinus contorta 0 ; ель 0 ; молодые посадки 0 ; прирост по высоте 0 ; математические модели 0 ; прогнозирование 0 ; канада


Вид документа : Однотомное издание Шифр издания : . 68.47.31. rugasnti Автор(ы) : Nigh G.D. Заглавие : Research report. 25: Juvenile height models for lodgepole pine and interior spruce: validation of existing models and development of new models Выходные данные : Б.м., [2004] Колич.характеристики :VI, 18 c.: ил. Примечания : ; Библиогр.: с. 17-18. - ; Текст англ. ISBN, Цена 0-7726-5193-0: Б.ц. ГРНТИ : ; 68.47.31 УДК : + Ключевые слова (''Своб.индексиров.''): 0 ; picea glauca--0 ; picea engelmanni--0 ; сосна--0 ; pinus contorta--0 ; ель--0 ; молодые посадки--0 ; прирост по высоте--0 ; математические модели--0 ; прогнозирование--0 ; канада Перейти к источнику в Интернете: Research report. 25: Juvenile height models for lodgepole pine and interior spruce: validation of existing models and development of new models VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

82

Protocol validation and testing KFKI/Kozp.fiz.kut.int. 0 ^aПодтверждение провильности и тестирование протоколов Hung.acad.of sciences,Center.research inst.for physics 0 ; протоколы, пр Библиогр. в конце ст 0 ; протоколы, пр

Tarnay, K.

Вид документа : Однотомное издание Шифр издания : Заглавие : Protocol validation and testing Выходные данные : Budapest: Hung.acad.of sciences,Center.research inst.for physics, 1995 Серия: KFKI/Kozp.fiz.kut.int.; 1995-08/N.Report Примечания : ; Библиогр. в конце ст Цена : Б.ц. ГРНТИ : ; 50.41.23 + ; 50.05.13 Ключевые слова (''Своб.индексиров.''): 0 ; протоколы, пр Перейти к источнику в Интернете: Protocol validation and testing Доп.точки доступа: Tarnay, K. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

83

Proceedings of the sixth IEEE International high-level design validation and test workshop, 7-9 Nov., 2001, Monterey(Ca) International high-level design validation and test workshop IEEE computer soc. вычислительная система Вычислительные системы, Проектирование, Съезды и конференции вычислительная система


J2/26980 International high-level design validation and test workshop (6th ; 2001 ; Monterey(Ca)). Proceedings of the sixth IEEE International high-level design validation and test workshop, 7-9 Nov., 2001, Monterey(Ca) [Text] : материалы временных коллективов / Spons. by IEEE computer soc. techn. council on test technology ; HLDVT'01. - Los Alamitos(Ca) etc. : IEEE computer soc., 2001. - X,183 p. p. : ill. - ISBN 0-7695-1411-1 : 20.00 р. Библиогр. в конце ст. Указ.: с.183ГРНТИ 50.39УДК 004.7.001.2(063) Рубрики: Вычислительные системы--Проектирование--Съезды и конференции Держатели документа: ГПНТБ России Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-109377 VALIDATION$

State Public Technical Library of Russia (Russian)

84

Proceedings of the sixth IEEE International high-level design validation and test workshop, 7-9 Nov., 2001, Monterey(Ca) International high-level design validation and test workshop IEEE computer soc. ; Вычислительные системы


Вид документа : Однотомное издание Шифр издания : K Заглавие : Proceedings of the sixth IEEE International high-level design validation and test workshop, 7-9 Nov., 2001, Monterey(Ca) Выходные данные : Los Alamitos(Ca) etc.: IEEE computer soc., 2001 Колич.характеристики :X,183 p.: ill. Коллективы : International high-level design validation and test workshop (6th;2001) Примечания : ; Библиогр. в конце ст. Указ.: с.183 ISBN, Цена 0-7695-1411-1: Б.ц. ГРНТИ : ; 50.39 УДК : Предметные рубрики: Вычислительные системы Перейти к источнику в Интернете: Proceedings of the sixth IEEE International high-level design validation and test workshop, 7-9 Nov., 2001, Monterey(Ca) VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

85

Proceedings of the Third Workshop... (ACVE-3), 4-7 Dec. 2006, ESRIN, Frascati, Italy Electronic resource ESA SP 1 ^aТруды 3-его Рабочего совещания по утверждению данных атмосферной химии с помощью Энвисат^zrus Workshop on the atmospheric chemistry validation of Envisat ESA Publ. div.


Вид документа : Однотомное издание Шифр издания : . 37.21. grnti Заглавие : Proceedings of the Third Workshop... (ACVE-3), 4-7 Dec. 2006, ESRIN, Frascati, Italy Electronic resource Выходные данные : Noordwijk: ESA Publ. div., 2007 Колич.характеристики :1 электрон. опт. диск (CD-ROM) Коллективы : Workshop on the atmospheric chemistry validation of Envisat (3;2006; Frascati) Серия: ESA SP/ Europ. space agency, ISSN 1609-042X; 642 Примечания : ; Библиогр. в конце докл ISBN, Цена 92-9291-206-0: Б.ц. ГРНТИ : ; 37.21 + ; 89.15.35 + ; 37.17 УДК : + Перейти к источнику в Интернете: Proceedings of the Third Workshop... (ACVE-3), 4-7 Dec. 2006, ESRIN, Frascati, Italy Electronic resource, Перейти к источнику в Интернете:  VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

86

Prediction and its validation of boundary-layer transition using an eN method Technical report крыло Крыло самолета, Аэродинамические исследования в трубах крыло

Yamamoto, K.

R/4916/TR-1390 Atobe, T. Prediction and its validation of boundary-layer transition using an eN method [Text] : сборник научных трудов / T.Atobe,K.Yamamoto. - S.l. : [s. n.], 1999. - 12 p. : ill. - (Technical report / Nat.aerospace lab., ISSN 0389-4010 ; TR-1390). - 10.00 р. Текст. яп. Рез. англ. Библиогр.: с.10-11ГРНТИ 55.47.03УДК 533.693.071.4 Рубрики: Крыло самолета--Аэродинамические исследования в трубах Держатели документа: ГПНТБ России Доп.точки доступа: Yamamoto, K. Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

87

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


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)

88

Planar velocimetry by spatial cross correlation:theoretical basis and validation [Reports] крыло авиация Крыло самолета, Аэродинамика крыло авиация

Fawcett, P.

R/2668/90-1634 Komerath, N. Planar velocimetry by spatial cross correlation:theoretical basis and validation [Text] : paper presented at AIAA 21st fluid dynamics,plasma dynamics and lasers conf.,June 18-20,1990,Seattle(Wa)8-9 / N.Komerath,P.Fawcett. - Washington : [s. n.], 1990. - 10 p. : ill. - ([Reports] / Amer.inst.of aeronautics and astronautics ; n90-1634). - 1.50 р. Библиогр.: с.6ГРНТИ 55.47.03УДК 533.693.013 Рубрики: Крыло самолета--Аэродинамика Держатели документа: ГПНТБ России Доп.точки доступа: Fawcett, P. Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-96270 VALIDATION$

State Public Technical Library of Russia (Russian)

89

Planar velocimetry by spatial cross correlation: theoretical basis and validation Rep./AIAA 0 ^aПолучение значений двухмерного поля скоростей методом пространственной кросс-корреляции: теоретическая база и оценка 0 ; двухмерное поле скоростей; пространственная кросс корреляция Библиогр.: с. 6 0 ; двухмерное поле скоростей; пространственная кросс корреляция

Fawcett, P.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Komerath N., Fawcett P. Заглавие : Planar velocimetry by spatial cross correlation: theoretical basis and validation Выходные данные : Washington, 1990 Колич.характеристики :10 с: ил Серия: Rep./AIAA; N 90-1634 Примечания : ; Библиогр.: с. 6 Цена : Б.ц. ГРНТИ : ; 30.17.33 Ключевые слова (''Своб.индексиров.''): 0 ; двухмерное поле скоростей; пространственная кросс корреляция Перейти к источнику в Интернете: Planar velocimetry by spatial cross correlation: theoretical basis and validation, Перейти к источнику в Интернете:  Доп.точки доступа: Fawcett, P. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

90

Papers presented at AMIF-ESF... Computer Assisted Mechanics a. Eng. Sciences 0 ^aДоклады AMIF-ESF семинара по фазовым превращениям с конвекцией: моделирование и обоснование (РСС99), Варшава, 1999 AMIF-ESF workshop on phase change with convection: modelling and validation (PCC99) Pol. Acad. of sciences, Inst. of Fundamental Technol. Research 0 ; фазовые превращения; конвекция 0 ; фазовые превращения; конвекция 0 ; фазовые превращения; конвекция

Kowalewski, T.A.

Вид документа : Однотомное издание Шифр издания : K Заглавие : Papers presented at AMIF-ESF... : Warsaw, June 24-26, 1999 Выходные данные : Warsaw: Pol. Acad. of sciences, Inst. of Fundamental Technol. Research, 2000 Колич.характеристики :250-430 c: ил Коллективы : AMIF-ESF workshop on phase change with convection: modelling and validation (PCC99) (1999;Warsaw) Серия: Computer Assisted Mechanics a. Eng. Sciences, ISSN 1232-308X; Vol. 7, N 3 Цена : Б.ц. ГРНТИ : ; 29.19.15 + ; 31.15.25 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; фазовые превращения; конвекция Перейти к источнику в Интернете: Papers presented at AMIF-ESF... Доп.точки доступа: Kowalewski, T.A. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

91

PARC Navier-Stokes code upgrade and validation for high speed aeroheating predictions Rep./AIAA;90-0418 0 ^aМодернизация и оценка кода PARC на основе уравнений Навье-Стокса для расчета высокоскоростного аэродинамического нагрева 0 ; аэродинамический нагрев Библиогр.: с.5-6 0 ; аэродинамический нагрев

Praharaj S.C.; Seaford C.M.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Liver P.A., Praharaj S.C., Seaford C.M. Заглавие : PARC Navier-Stokes code upgrade and validation for high speed aeroheating predictions Выходные данные : Washington , 1990 Колич.характеристики :10 c: ил Серия: Rep./AIAA;90-0418 Примечания : ; Библиогр.: с.5-6 Цена : Б.ц. ГРНТИ : ; 55.49.03 + ; 30.17.35 Ключевые слова (''Своб.индексиров.''): 0 ; аэродинамический нагрев Перейти к источнику в Интернете: PARC Navier-Stokes code upgrade and validation for high speed aeroheating predictions Доп.точки доступа: Praharaj S.C.; Seaford C.M. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

92

Optimisation and validation of a fuselage fuel tank structural concept for the Nasp Rep./AIAA;N90-5262 0 ^aОптимизация и приемочные испытания конструктивной концепции фюзеляжного топливного бака для воздушно-космического самолета 0 ; фюзеляжный топливный бак Библиогр.:с.10 0 ; фюзеляжный топливный бак

Logan T.R.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : McQuilkin F.T., Logan T.R. Заглавие : Optimisation and validation of a fuselage fuel tank structural concept for the Nasp Выходные данные : Washington, 1990 Колич.характеристики :10 c: ил Серия: Rep./AIAA;N90-5262 Примечания : ; Библиогр.:с.10 Цена : Б.ц. ГРНТИ : ; 55.42.47 + ; 55.42.49 Ключевые слова (''Своб.индексиров.''): 0 ; фюзеляжный топливный бак Перейти к источнику в Интернете: Optimisation and validation of a fuselage fuel tank structural concept for the Nasp Доп.точки доступа: Logan T.R. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

93

Numerical simulation of the transonic DFVLR-F5 wing experiment:Towards the validation of viscous flow codes Notes on numerical fluid mechanics 0 ^aЧисленное моделирование трансзвукового экспериментального крыла DFVLR-85:к проверке программ расчета вязкого обтекания.Труды международ.совещания. Vieweg 0 ; расчеты вязкого обтекания Библиогр. в конце ст 0 ; расчеты вязкого обтекания

Kordulla, W. .

Вид документа : Однотомное издание Шифр издания : K Заглавие : Numerical simulation of the transonic DFVLR-F5 wing experiment:Towards the validation of viscous flow codes : Proc.of the intern.workshop"Numerical simulation of compressible viscous-flow aerodynamics",Sept.30-Oct.2,1987,Gottingen,FRG Выходные данные : Wiesbaden: Vieweg, 1988 Колич.характеристики :305 c: ил Серия: Notes on numerical fluid mechanics, ISSN 01799614;Vol.22 Примечания : ; Библиогр. в конце ст ISBN, Цена 3-528-08096-5: Б.ц. ГРНТИ : ; 30.17.23 + ; 55.47.03 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; расчеты вязкого обтекания Перейти к источнику в Интернете: Numerical simulation of the transonic DFVLR-F5 wing experiment:Towards the validation of viscous flow codes Доп.точки доступа: Kordulla, W. \.\ VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

94

Multi-issue negotiation processes by evolutionary simulation:validation and social extensions Report. SEN 0 ^aМультиагентные процессы переговоров с применением эволюционного моделирования: оценка и социальные приложения. Парал. загл. сер. : гол.

Bragt, D.D.B.van; La, Poutre J.A.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Gerding E.H., Bragt D.D.B.van, La Poutre J.A. Заглавие : Multi-issue negotiation processes by evolutionary simulation:validation and social extensions Выходные данные : Amsterdam, 2000 Колич.характеристики :21 c.: ил Серия: Report. SEN: Software engineering/ Centrum voor wiskunde en informatica, ISSN 1386-369X; SEN-R0024 Примечания : ; Библиогр. : c. 20-21. - ; Парал. загл. сер. : гол. Цена : Б.ц. ГРНТИ : ; 28.29.05 УДК : Перейти к источнику в Интернете: Multi-issue negotiation processes by evolutionary simulation:validation and social extensions, Перейти к источнику в Интернете:  Доп.точки доступа: Bragt, D.D.B.van; La, Poutre J.A. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

95

Multi-issue negotiation processes by evolutionary simulation: validation and social extensions Report:Software engineering АСУ АСУ торговлей АСУ

Bragt, D.D.B. van; La Poutre, J.A.

R/17937/SEN-R0024 Gerding, E. H. Multi-issue negotiation processes by evolutionary simulation: validation and social extensions [Text] : сборник научных трудов / E.H.Gerding,D.D.B. van Bragt,J.A.La Poutre. - Amsterdam : [s. n.], 2000. - 21 p. : ill. - (Report:Software engineering / CWI, ISSN 1386-369X ; SEN-R0024). - 20.00 р. Библиогр.:с.20-21ГРНТИ 71.01.85УДК 658.014.1.011.56:658.8 Рубрики: АСУ торговлей Держатели документа: ГПНТБ России Доп.точки доступа: Bragt, D.D.B. van ; La Poutre, J.A. Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

96

Models for the interfacial transport phenomena:Code validation Berichte KfK A three-field model of transient 3D multiphase,three-component flow for the computer code IV A3 Трехобластная модель переходного пространственного многофазного трехкомпонентного потока для машинного кода IV A3.Модели для явления межфазного переноса Многокомпонентные системы, Динамика


S/333/4949/2 Kolev, N. I. A three-field model of transient 3D multiphase,three-component flow for the computer code IV A3 [Text] / N. I. Kolev. - Karlsruhe : [s. n.].Pt. 2 : Models for the interfacial transport phenomena:Code validation. - 1991. - 133 p. : ill. - (Berichte KfK / Kernforschungszentrum(Karlsruhe), ISSN ISSN 03034003 ; 4949). - 10.00 р. Рез.англ.,нем.Библиогр.: с.65-67 Перевод заглавия: Трехобластная модель переходного пространственного многофазного трехкомпонентного потока для машинного кода IV A3.Модели для явления межфазного переносаПеревод заглавия: Трехобластная модель переходного пространственного многофазного трехкомпонентного потока для машинного кода IV A3.Модели для явления межфазного переносаГРНТИ 30.51.29УДК 532.529:004 Рубрики: Многокомпонентные системы--Динамика Держатели документа: ГПНТБ России Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-100974 VALIDATION$

State Public Technical Library of Russia (Russian)

97

Methodology and validation Simulation series 0 ^aТруды конференции по методологии и проверке достоверности, 6-9 апреля 1987, Орландо, Флорида Soc. for computer simulation publ. 0 ; моделирование Библиогр. в конце ст 0 ; моделирование

Balci, O. .

Вид документа : Однотомное издание Шифр издания : Заглавие : Methodology and validation : Proc. of the Conf. on methodology and validation, 1987, 6-9 Apr. 1987, Orlando, FL Выходные данные : San Diego (CA): Soc. for computer simulation publ., 1987 Колич.характеристики :VII, 89 с: ил Серия: Simulation series, ISSN 07359276;Vol.19;N1 Примечания : ; Библиогр. в конце ст Цена : Б.ц. ГРНТИ : ; 28.17 Ключевые слова (''Своб.индексиров.''): 0 ; моделирование Перейти к источнику в Интернете: Methodology and validation Доп.точки доступа: Balci, O. \.\ VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

98

Manual of quality control procedures for validation of oceanographic data Manuals a.guides/IOC 0 ^aРуководство по методам контроля качества для валидации океанографических данных 0 ; океанография; контроль качества 0 ; океанография; контроль качества 0 ; океанография; контроль качества


Вид документа : Однотомное издание Шифр издания : K Заглавие : Manual of quality control procedures for validation of oceanographic data Выходные данные : Б.м., 1993 Колич.характеристики :436 c Серия: Manuals a.guides/IOC; N 26 Цена : Б.ц. ГРНТИ : ; 37.25.03 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; океанография; контроль качества Перейти к источнику в Интернете: Manual of quality control procedures for validation of oceanographic data VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

99

Light helicopter (LHX) program demonstration/validation program Rep./AIAA;89-2115 0 ^aПрограмма демонстрации/подтверждения программы легкого вертолета (LHX) 0 ; легкий вертолет 0 ; легкий вертолет

Caldwell D.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Hubbard R., Caldwell D. Заглавие : Light helicopter (LHX) program demonstration/validation program Выходные данные : New York, 1989 Колич.характеристики :10 c: ил Серия: Rep./AIAA;89-2115 Цена : Б.ц. ГРНТИ : ; 78.25.13 Ключевые слова (''Своб.индексиров.''): 0 ; легкий вертолет Перейти к источнику в Интернете: Light helicopter (LHX) program demonstration/validation program Доп.точки доступа: Caldwell D. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

100

Lidar validation of VAS: cirrus cloud height determinations Rep./AIAA 0 ^aЛидарные обоснования VAS: Определение высоты перистых облаков 0 ; перистые облака Библиогр.: с. 5 0 ; перистые облака

Eloranta, E.; Wylie, D.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Grund C., Eloranta E., Wylie D. Заглавие : Lidar validation of VAS: cirrus cloud height determinations Выходные данные : New York, 1989 Колич.характеристики :5 с: ил Серия: Rep./AIAA; N89-0804 Примечания : ; Библиогр.: с. 5 Цена : Б.ц. ГРНТИ : ; 37.21.25 Ключевые слова (''Своб.индексиров.''): 0 ; перистые облака Перейти к источнику в Интернете: Lidar validation of VAS: cirrus cloud height determinations, Перейти к источнику в Интернете:  Доп.точки доступа: Eloranta, E.; Wylie, D. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

101

Les retrovirus Maedi-CAEV utilises comme modeles d'etude pour la validation d'un test d'inactivation 0 ^aИспользование ретровирусов маеди и артрита-энцефалита коз в качестве моделей при оценке эффективности методов инактивации.Диссертация.(Франция) 0 ; вирус висны-маеди; вирус артрита-энцефалита коз; инактивация; модель; диссертации Текст фр 0 ; вирус висны-маеди; вирус артрита-энцефалита коз; инактивация; модель; диссертации


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Koromislov I. Заглавие : Les retrovirus Maedi-CAEV utilises comme modeles d'etude pour la validation d'un test d'inactivation : Memoire Выходные данные : Lyon, 1992 Колич.характеристики :62 л. с.: ил Примечания : ; Библиогр.:л.57-62. - ; Текст фр Цена : Б.ц. ГРНТИ : ; 68.41.35 Ключевые слова (''Своб.индексиров.''): 0 ; вирус висны-маеди; вирус артрита-энцефалита коз; инактивация; модель; диссертации Перейти к источнику в Интернете: Les retrovirus Maedi-CAEV utilises comme modeles d'etude pour la validation d'un test d'inactivation VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

102

Kirchoff acoustic methodology validation and implementation in the TiltRotor Aeroacoustic Codes(TRAC) UMSI research report воздушный винт Воздушные винты, Аэродинамика, , виво воздушный винт

Lyrintzis, A.S.; Koutsavdis, E.K.; Berezin, C.R.; Visintainer, J.A.

R/17401/95/245 Kirchoff acoustic methodology validation and implementation in the TiltRotor Aeroacoustic Codes(TRAC) [Text] : сборник научных трудов / A.S.Lyrintzis,E.K.Koutsavdis,C.R.Berezin и др. - Minneapolis(Mn) : [s. n.], 1995. - 14 p. : ill. - (UMSI research report / Univ.of Minnesota ; 95/245). - 1000 р. Библиогр.:с.8-9ГРНТИ 55.47.03УДК 533.662.6.013 Рубрики: Воздушные винты--Аэродинамика Держатели документа: ГПНТБ России Доп.точки доступа: Lyrintzis, A.S.; Koutsavdis, E.K.; Berezin, C.R.; Visintainer, J.A. Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

103

Kirchoff acoustic methodology validation and implementation in the TiltRotor Aeroacoustic Codes(TRAC) UMSI research report ; Воздушные винты . Аэродинамика , виво

Koutsavdis, E.K.; Berezin , C.R.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Lyrintzis A.S., Koutsavdis E.K., Berezin C.R. Заглавие : Kirchoff acoustic methodology validation and implementation in the TiltRotor Aeroacoustic Codes(TRAC) Выходные данные : Minneapolis(Mn), 1995 Колич.характеристики :14 p.: ill. Серия: UMSI research report/ University of Minnesota(Minneapolis,Mn).Supercomputer institute; 95/245 Примечания : ; Библиогр.:с.8-9 Цена : Б.ц. ГРНТИ : ; 55.47.03 УДК : Предметные рубрики: Воздушные винты Перейти к источнику в Интернете: Kirchoff acoustic methodology validation and implementation in the TiltRotor Aeroacoustic Codes(TRAC) Доп.точки доступа: Koutsavdis, E.K.; Berezin , C.R. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

104

Kirchhoff acoustic methodology implementation and validation for rotorcraft aeroacoustics UMSI research report Воздушные винты, Шум и борьба с ним , , виво

Koutsavdis, E.K.

R/17401/95/168 Lyrintzis, A. S. Kirchhoff acoustic methodology implementation and validation for rotorcraft aeroacoustics [Text] : сборник / A.S.Lyrintzis,E.K.Koutsavdis. - Minneapolis(Mn) : [s. n.], 1995. - 36 p. : ill. - (UMSI research report / Univ.of Minnesota ; 95/168). - 500 р. Библиогр.:с.17-20ГРНТИ 55.47.03УДК 534.836.2:629.73.035.5 Рубрики: Воздушные винты--Шум и борьба с ним Держатели документа: ГПНТБ России Доп.точки доступа: Koutsavdis, E.K. Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

105

Kirchhoff acoustic methodology implementation and validation for rotorcraft aeroacoustics UMSI research report ; Воздушные винты . Шум и борьба с ним , виво

Koutsavdis, E.K.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Lyrintzis A.S., Koutsavdis E.K. Заглавие : Kirchhoff acoustic methodology implementation and validation for rotorcraft aeroacoustics Выходные данные : Minneapolis(Mn), 1995 Колич.характеристики :36 p.: ill Серия: UMSI research report/ University of Minnesota(Minneapolis,Mn).Supercomputer institute; 95/168 Примечания : ; Библиогр.:с.17-20 Цена : Б.ц. ГРНТИ : ; 55.47.03 УДК : Предметные рубрики: Воздушные винты Перейти к источнику в Интернете: Kirchhoff acoustic methodology implementation and validation for rotorcraft aeroacoustics Доп.точки доступа: Koutsavdis, E.K. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

106

Improved dual-level direct dynamics method for reaction rate calculations with inclusion of multidimensional tunneling effects and validation for the reaction of H with trans -N2H2 UMSI research report химическая реакция Химические реакции, Расчеты, , рехи химическая реакция

Rtuhlar, D.G.

R/17401/97/32 Chuang, Y_Y. Improved dual-level direct dynamics method for reaction rate calculations with inclusion of multidimensional tunneling effects and validation for the reaction of H with trans -N2H2 [Text] / Y_Y.Chuang,D.G.Rtuhlar. - Minneapolis(Mn) : [s. n.], 1997. - 26 p. : 2 l.ill. - (UMSI research report / Univ.of Minnesota ; 97/32). - 2000 р. Библиогр.:с.17-19ГРНТИ 31.15.27УДК 541.127.1 Рубрики: Химические реакции--Расчеты Держатели документа: ГПНТБ России Доп.точки доступа: Rtuhlar, D.G. Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

108

Hierarchical classification: its usefulness for diagnosis and sensor validation AIAA-87-1678. 2nd AIAA/NASA/USAF Symp. on automation, robotics a. advanced computing for the Nat. space program, March 9-11, 1987, Arlington, VA 0 ^aИерархическая классификация: ее пригодность для диагностики и оценки показателей датчиков 0 ; датчик Библиогр.: с.7-8 0 ; датчик

Punch, W.F.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Chandrasekaran B., Punch W.F. Заглавие : Hierarchical classification: its usefulness for diagnosis and sensor validation Выходные данные : New York, 1987 Колич.характеристики :8 с Серия: AIAA-87-1678. 2nd AIAA/NASA/USAF Symp. on automation, robotics a. advanced computing for the Nat. space program, March 9-11, 1987, Arlington, VA Примечания : ; Библиогр.: с.7-8 Цена : Б.ц. ГРНТИ : ; 50.09.37 + ; 55.49.51 Ключевые слова (''Своб.индексиров.''): 0 ; датчик Перейти к источнику в Интернете: Hierarchical classification: its usefulness for diagnosis and sensor validation Доп.точки доступа: Punch, W.F. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

109

Hierarchical classification: its usefullness for diagnosis and sensor validation Rep./AIAA 0 ^aИерархическая классификация: возможности использования для диагностики и проверки датчиков V nadzag. takze: 2nd symp. on automation, robotics and advanced computing for the nat. space program, March 9-11, 1987, Arlington, Va. Библиогр.: с. 7,8

Punch, W.F.III

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Chandrasekaran B, Punch W.F.III Заглавие : Hierarchical classification: its usefullness for diagnosis and sensor validation Выходные данные : New York, 1987 Колич.характеристики :8 с Серия: Rep./AIAA; N 87-1678 Примечания : ; V nadzag. takze: 2nd symp. on automation, robotics and advanced computing for the nat. space program, March 9-11, 1987, Arlington, Va. Библиогр.: с. 7,8 Цена : Б.ц. ГРНТИ : ; 50.09.37 УДК : + Перейти к источнику в Интернете: Hierarchical classification: its usefullness for diagnosis and sensor validation Доп.точки доступа: Punch, W.F.III VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

110

Generation of a WIMS-D/4 multigroup constants library based on the JENDL-3.2 nuclear data and its validation through some benchmark experiments analysis Research Ядерные константы, , кояд

Tokano, H.

R/17608/96-056 Rahman, M. Generation of a WIMS-D/4 multigroup constants library based on the JENDL-3.2 nuclear data and its validation through some benchmark experiments analysis [Text] : сборник / M.Rahman,H.Tokano. - Tokyo : [s. n.], 1996. - 51 p. : ill. - (Research / Japan atomic energy research inst. ; 96-056). - 5000 р. Библиогр.:с.10-11ГРНТИ 29.15.17УДК 621.039.516.23 Рубрики: Ядерные константы Держатели документа: ГПНТБ России Доп.точки доступа: Tokano, H. Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

111

General technical report / US Dep. of agriculture, Forest service. PNW-769: A field guide to predict delayed mortality of fire-damaged ponderosa pine: application and validation of the Malheur model 1 ^aРуководство по использованию компьютерной модели Malheur для прогнозирования отмирания деревьев сосны желтой (Pinus ponderosa), пострадавших от пожара. (США) [s. n.] 0 ; хвойные леса 0 ; сосна 0 ; pinus sylvestris 0 ; лесные пожары 0 ; усыхание леса 0 ; прогнозирование 0 ; компьютерные модели 0 ; руководства 0 ; сша 0 ; хвойные леса 0 ; сосна 0 ; pinus sylvestris 0 ; лесные пожары 0 ; усыхание леса 0 ; прогнозирование 0 ; компьютерные модели 0 ; руководства 0 ; сша Текст англ. 0 ; хвойные леса 0 ; сосна 0 ; pinus sylvestris 0 ; лесные пожары 0 ; усыхание леса 0 ; прогнозирование 0 ; компьютерные модели 0 ; руководства 0 ; сша

Westlind, D.J.; Loewen, M.; Brenner, G.

Вид документа : Однотомное издание Шифр издания : . 68.47.41. rugasnti Автор(ы) : Thies W.G., Westlind D.J., Loewen M., Brenner G. Заглавие : General technical report / US Dep. of agriculture, Forest service. PNW-769: A field guide to predict delayed mortality of fire-damaged ponderosa pine: application and validation of the Malheur model Выходные данные : [Portland (Oregon)]: [s. n.], 2008 Колич.характеристики :16, [2] c.: ил., карт. Примечания : ; Библиогр.: с. 7. - ; Текст англ. Цена : Б.ц. ГРНТИ : ; 68.47.41 УДК : + Ключевые слова (''Своб.индексиров.''): 0 ; хвойные леса--0 ; сосна--0 ; pinus sylvestris--0 ; лесные пожары--0 ; усыхание леса--0 ; прогнозирование--0 ; компьютерные модели--0 ; руководства--0 ; сша Перейти к источнику в Интернете: General technical report / US Dep. of agriculture, Forest service. PNW-769: A field guide to predict delayed mortality of fire-damaged ponderosa pine: application and validation of the Malheur model Доп.точки доступа: Westlind, D.J.; Loewen, M.; Brenner, G. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

112

Further validation of a semianalytical approach for fuel injectors of different concepts /Reports/ газотурбинный авиационный двигатель Авиационные двигатели газотурбинные, Топливная аппаратура газотурбинный авиационный двигатель

Mongia, H.C.

R/2668/90-2190 Rizk, N. K. Further validation of a semianalytical approach for fuel injectors of different concepts [Text] : rep.presented at the AIAA/SAE/ASME/ASEE 26th joint propulsion conf.,July 16-18,1990,Orlando(Fl.) / N.K.Rizk,H.C.Mongia. - Washington : [s. n.], 1990. - 7 p. : ill. - (/Reports/ / Amer.inst.of aeronautics and astronautics ; n90-2190). - 1.50 р. Библиогр.:c.7ГРНТИ 55.42.47УДК 621.452.3.034.3 Рубрики: Авиационные двигатели газотурбинные--Топливная аппаратура Держатели документа: ГПНТБ России Доп.точки доступа: Mongia, H.C. Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-95427 VALIDATION$

State Public Technical Library of Russia (Russian)

113

Further development and validation of the EARLY growth model FRI bull./Min. of forestry. Forest research inst. 0 ^aДальнейшая разработка модели роста лесных древесных пород EARLY 0 ; разработка модели роста древесных пород Библиогр.: с. 28-29 0 ; разработка модели роста древесных пород

Eggleston, N.T.; McLanachan, J.R.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : West G.G., Eggleston N.T., McLanachan J.R. Заглавие : Further development and validation of the EARLY growth model Выходные данные : Rotorua, 1987 Колич.характеристики :32 с: ил Серия: FRI bull./Min. of forestry. Forest research inst., ISSN 0111-8129; N129 Примечания : ; Библиогр.: с. 28-29 Цена : Б.ц. ГРНТИ : ; 68.47.31 Ключевые слова (''Своб.индексиров.''): 0 ; разработка модели роста древесных пород Перейти к источнику в Интернете: Further development and validation of the EARLY growth model Доп.точки доступа: Eggleston, N.T.; McLanachan, J.R. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

114

Fabrication of beryllium spheres and its validation tests JAERT-M rep.; 92-116 0 ^aПроизводство бериллиевых сфер и их испытания на пригодность JAERI Рез. на яп. яз.-Библиогр.: с.93 ; Термоядерные реакторы. Бланкеты

Enoeda, Mikio; Nakamura, Hirofumi; Naruse, Juji

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Joshida, Hiroshi, Enoeda, Mikio, Nakamura, Hirofumi, Naruse, Juji Заглавие : Fabrication of beryllium spheres and its validation tests Выходные данные : Tokai: JAERI, 1992 Колич.характеристики :4, 108 с: ил Серия: JAERT-M rep.; 92-116 Примечания : ; Рез. на яп. яз.-Библиогр.: с.93 Цена : Б.ц. ГРНТИ : ; 58.34 Предметные рубрики: Термоядерные реакторы Перейти к источнику в Интернете: Fabrication of beryllium spheres and its validation tests Доп.точки доступа: Enoeda, Mikio; Nakamura, Hirofumi; Naruse, Juji VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

115

Experimental validation of flow and mass transport in an electrically-excited micromixer Wissenschaftliche Berichte Forschungszentrum(Karlsruhe) Смешивание


R/17669/7152 Forschungszentrum(Karlsruhe). Wissenschaftliche Berichte [Text] / FZKA. - Karlsruhe : [s. n.], 19 - . - ISSN 0947-8620.7152 : Experimental validation of flow and mass transport in an electrically-excited micromixer : Diss. / H.Farangis Zadeh. - Karlsruhe : [s. n.], 2005. - 88 p. : ill. - 80.00 р.ГРНТИ 30.51.29УДК 66.063.8(043) Рубрики: Смешивание Держатели документа: ГПНТБ России Экз-ры: ХР(1) Копия: мкф., Шифр MR-110565 VALIDATION$

State Public Technical Library of Russia (Russian)

116

Experimental validation of a lifting surface model for rotor wake-stator interaction Rep./AIAA 0 ^aЭкспериментальная оценка модели несущей поверхности для взаимодействия следа за ротором и статора турбины 0 ; турбина; взаимодействие следа; ротор; статор Библиогр.: с. 7 0 ; турбина; взаимодействие следа; ротор; статор


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Schulter J. Заглавие : Experimental validation of a lifting surface model for rotor wake-stator interaction Выходные данные : New York, 1989 Колич.характеристики :7 с: ил Серия: Rep./AIAA; N89-1125, AIAA 12 th aeracoustics conf., April 10-12, 1989/San Antonio (Tx) Примечания : ; Библиогр.: с. 7 Цена : Б.ц. ГРНТИ : ; 55.37.29 Ключевые слова (''Своб.индексиров.''): 0 ; турбина; взаимодействие следа; ротор; статор Перейти к источнику в Интернете: Experimental validation of a lifting surface model for rotor wake-stator interaction, Перейти к источнику в Интернете:  VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

117

Experimental and numerical validation of the natural laminar flow wing of non-powered experimental airplane for supersonic transport Technical report Nat. aerospace lab.(Tokyo) Крыло самолета, Аэродинамические исследования в трубах

Takagi, S.; Tokugawa, N.; , et.al; Nat. aerospace lab.(Tokyo)

R/4916/TR-1437 Sugiura, H. Experimental and numerical validation of the natural laminar flow wing of non-powered experimental airplane for supersonic transport [Text] : сборник научных трудов / H.Sugiura,S.Takagi,N.Tokugawaet.al. - [Tokyo] : [s. n.], 2002. - 14 p. : ill. - (Technical report / Nat. aerospace lab.(Tokyo) ; TR-1437). - 20.00 р. Текст яп. Рез. англ. Библиогр.: с.14ГРНТИ 55.47.03УДК 533.693.071.4 Рубрики: Крыло самолета--Аэродинамические исследования в трубах Держатели документа: ГПНТБ России Доп.точки доступа: Takagi, S.; Tokugawa, N.; , et.al; Nat. aerospace lab.(Tokyo) Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

118

Experiences de validation des codes de calcul utilises pour determiner les facteurs de protection apportes par les habitations Rap. CEA/France. Commissariat a l'energie atomique 0 ^aОпыты по оценке вычислительных кодов, применяемых для определения коэффициентов защитного действия жилищ 0 ; коэффициент защитного действия жилищ Библиогр.: с. 21 0 ; коэффициент защитного действия жилищ

Roux, Y.; Kerlau G.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Le Grand J, Roux Y., Kerlau G. Заглавие : Experiences de validation des codes de calcul utilises pour determiner les facteurs de protection apportes par les habitations Выходные данные : Б.м., 1988 Колич.характеристики :69 с: ил Серия: Rap. CEA/France. Commissariat a l'energie atomique, ISSN 0429-3460; R-5464 Примечания : ; Библиогр.: с. 21 Цена : Б.ц. ГРНТИ : ; 58.35.06 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; коэффициент защитного действия жилищ Перейти к источнику в Интернете: Experiences de validation des codes de calcul utilises pour determiner les facteurs de protection apportes par les habitations, Перейти к источнику в Интернете:  Доп.точки доступа: Roux, Y.; Kerlau G. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

119

EUROVAL-An European initiative on validation of CFD codes Notes on numerical fluid mechanics Vieweg летательный аппарат Летательные аппараты, Аэродинамика, , апле летательный аппарат

Haase, W. ed.

Q/4343/42 EUROVAL-An European initiative on validation of CFD codes [Text] : results of the EC/BRITE-EURAM project EUROVAL,1990-1992 / ed. W. Haase. - Braunschweig ; Wiesbaden : Vieweg, 1993. - XIV,530 p. p. : ill. - (Notes on numerical fluid mechanics, ISSN 0179-9614 ; vol.42). - ISBN 3-528-07642-9 : 187202 р. Библиогр.:с.523-530ГРНТИ 55.47.03УДК 533.65.013 Рубрики: Летательные аппараты--Аэродинамика Держатели документа: ГПНТБ России Доп.точки доступа: Haase, W. \ed.\ Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-105748 VALIDATION$

State Public Technical Library of Russia (Russian)

120

EUROVAL-An European initiative on validation of CFD codes Notes on numerical fluid mechanics Vieweg ; Летательные аппараты . Аэродинамика , апле

Haase, W.

Вид документа : Многотомное издание Шифр издания : K Заглавие : EUROVAL-An European initiative on validation of CFD codes : Results of the EC/BRITE-EURAM project EUROVAL,1990-1992 Выходные данные : Braunschweig: Vieweg, 1993 Колич.характеристики :XIV,530 p.: ill. Серия: Notes on numerical fluid mechanics, ISSN 0179-9614; Vol.42 Примечания : ; Библиогр.:с.523-530 ISBN, Цена 3-528-07642-9: Б.ц. ГРНТИ : ; 55.47.03 УДК : Предметные рубрики: Летательные аппараты Перейти к источнику в Интернете: EUROVAL-An European initiative on validation of CFD codes Доп.точки доступа: Haase, W. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

121

Developments encompassing non-isothermal/isothermal liquid composite molding process modeling/analysis: computationally effective and affordable simulations and validations UMSI research report полимерный композиционный материал Композиционные материалы полимерные, , комапо полимерный композиционный материал

Ngo, N.D.; Mohan, R.V.; Chung, P.W.; Tamma, K.K.

R/17401/97/205 Developments encompassing non-isothermal/isothermal liquid composite molding process modeling/analysis: computationally effective and affordable simulations and validations [Text] : сборник научных трудов / N.D.Ngo,R.V.Mohan,P.W.Chung,K.K.Tamma. - Minneapolis(Mn) : [s. n.], 1997. - 53 p. : ill. - (UMSI research report / Univ.of Minnesota ; 97/205). - 4-00 р. Библиогр.: c.31-34ГРНТИ 61.61.29УДК 678.027.94 Рубрики: Композиционные материалы полимерные Держатели документа: ГПНТБ России Доп.точки доступа: Ngo, N.D.; Mohan, R.V.; Chung, P.W.; Tamma, K.K. Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

122

Development, verification and validation of an image analysis system for seed vigour assessment in winter oilseed rape (WOSR-Vig) 1 ^aОпределение понятия и разработка метода компьютерного анализа изображений для измерения силы роста семян озимого рапса. Диссертация. (ФРГ) [s. n.] 0 ; рапс 0 ; brassica napus 0 ; озимые культуры 0 ; сила роста семян 0 ; компьютерный анализ изображений 0 ; методы измерения 0 ; диссертации 0 ; фрг 0 ; рапс 0 ; brassica napus 0 ; озимые культуры 0 ; сила роста семян 0 ; компьютерный анализ изображений 0 ; методы измерения 0 ; диссертации 0 ; фрг Текст англ. 0 ; рапс 0 ; brassica napus 0 ; озимые культуры 0 ; сила роста семян 0 ; компьютерный анализ изображений 0 ; методы измерения 0 ; диссертации 0 ; фрг


Вид документа : Однотомное издание Шифр издания : . 68.35.37. rugasnti Автор(ы) : Tohidloo G. Заглавие : Development, verification and validation of an image analysis system for seed vigour assessment in winter oilseed rape (WOSR-Vig) : Dissertation zur Erlangung des Grades eines Doktors der Agrarwissenschaften Выходные данные : Hohenheim-Stuttgart: [s. n.], 2008 Колич.характеристики :VI, 83, [6] c.: ил., табл. Примечания : ; Библиогр.: с. 70-78. - ; Текст англ.; Рез. нем. Цена : Б.ц. ГРНТИ : ; 68.35.37 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; рапс--0 ; brassica napus--0 ; озимые культуры--0 ; сила роста семян--0 ; компьютерный анализ изображений--0 ; методы измерения--0 ; диссертации--0 ; фрг Перейти к источнику в Интернете: Development, verification and validation of an image analysis system for seed vigour assessment in winter oilseed rape (WOSR-Vig) VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

123

Development of modeling tools to describe the corrosion behavior of uncoated EUROFER in flowing Pb-17Li and their validation by performing of corrosion tests at T up to 550' C Wissenschaftliche Berichte Forschungszentrum 37344; Термоядерные установки, Материалы

Krauss, W.; Konys, J.; Steiner, H.; Novotny, J.; Voss, Z.; Forschungszentrum(Karlsruhe)

R/17669/7295 Forschungszentrum (Karlsruhe). Wissenschaftliche Berichte [Text] / FZKA. - Karlsruhe : [s. n.], 19 - . - ISSN 0947-8620.7295 : Development of modeling tools to describe the corrosion behavior of uncoated EUROFER in flowing Pb-17Li and their validation by performing of corrosion tests at T up to 550' C / W. Krauss [et al.]. - Karlsruhe : [s. n.], 2007. - 52 p. : ill. - Библиогр.: с. 51-52 (28 назв.). - 50.00 р.ГРНТИ 58.34.09УДК 621.039.6.002.3 Рубрики: Термоядерные установки--Материалы Держатели документа: ГПНТБ России Доп.точки доступа: Krauss, W.; Konys, J.; Steiner, H.; Novotny, J.; Voss, Z.; Forschungszentrum(Karlsruhe) Экз-ры: хр(1), (1) Копия: мкф., Шифр MR-111046 VALIDATION$

State Public Technical Library of Russia (Russian)

124

Development and validation of a transition boiling model for the RELAP5/MOD3 reflood simulation Wissenschaftliche Berichte водоводяной ядерный реактор Ядерные реакторы водоводяные, Расхолаживание водоводяной ядерный реактор

Sanchez-Espinoza, V.H.; Elias, E.; Homann, Ch.; Hering, W.

R/17669/5954 Development and validation of a transition boiling model for the RELAP5/MOD3 reflood simulation [Text] : сборник научных трудов / V.H.Sanchez-Espinoza,E.Elias,Ch.Homann и др. - Karlsruhe : [s. n.], 1997. - 86 p. : ill. - (Wissenschaftliche Berichte / FZKA, ISSN 0947-8620 ; 5954). - 10000 р. Рез.нем.Библиогр.:c.82-86ГРНТИ 58.33.05УДК 621.039.517.6 Рубрики: Ядерные реакторы водоводяные--Расхолаживание Держатели документа: ГПНТБ России Доп.точки доступа: Sanchez-Espinoza, V.H.; Elias, E.; Homann, Ch.; Hering, W. Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-107540 VALIDATION$

State Public Technical Library of Russia (Russian)

125

Development and validation of CNS (compressible Navier-Stokes) for hypersonic applications Rep./AIAA; 89-1839 0 ^aРазработка и оценка программы CNS (уравнение Навье-Стокса для сжимаемой жидкости) для расчета гиперзвуковых течений 0 ; гиперзвуковые течения Библиогр.: с.7-8 0 ; гиперзвуковые течения

Flores, J.; Chow, C.-Y.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Kyan J.S., Flores J., Chow C.-Y. Заглавие : Development and validation of CNS (compressible Navier-Stokes) for hypersonic applications Выходные данные : New York, 1989 Колич.характеристики :8 с: ил Серия: Rep./AIAA; 89-1839 Примечания : ; Библиогр.: с.7-8 Цена : Б.ц. ГРНТИ : ; 30.17.33 Ключевые слова (''Своб.индексиров.''): 0 ; гиперзвуковые течения Перейти к источнику в Интернете: Development and validation of CNS (compressible Navier-Stokes) for hypersonic applications, Перейти к источнику в Интернете:  Доп.точки доступа: Flores, J.; Chow, C.-Y. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

126

Design and validation of faulttolerant flight systems [Reports] American institute of aeronautics and astronautics(New York)

Palumbo, D.L.; Amer.inst.of aeronautics and astronautics(New York)

R/2668/87-2923 American institute of aeronautics and astronautics(New York). [Reports] [Text] / Amer.inst.of aeronautics and astronautics. - Washington : [s. n.].N 87-2923 : Design and validation of faulttolerant flight systems : papers presentet at AIAA/AHS/ASEE aicraft design, systems and operations meeting, Sept.14-16, 1987, St.Louis(Mi) / G.B.Finelli,D.L.Palumbo. - New York : [s. n.], 1987. - 7 p. : ill. - 1.50 р.ГРНТИ 89.0173.37УДК 629.73(05)629.78(05) Держатели документа: ГПНТБ России Доп.точки доступа: Palumbo, D.L.; Amer.inst.of aeronautics and astronautics(New York) Экз-ры: ХР(1) Копия: мкф., Шифр MR-87618 VALIDATION$

State Public Technical Library of Russia (Russian)

127

Design and validation of faulttolerant flight systems Rep./AIAA 0 ^aПроектирование и апробация отказоустойчивых бортовых систем 0 ; отказоустойчивая бортовая система Библиогр.: с. 6-7 0 ; отказоустойчивая бортовая система

Palumbo, D.L.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Finelli G.B., Palumbo D.L. Заглавие : Design and validation of faulttolerant flight systems Выходные данные : New York, 1987 Колич.характеристики :7 с Серия: Rep./AIAA; N87-2923, AIAA/AHS/ASEE aircraft design, systems and operations meeting, Sept. 14-16, 1987/St. Louis (Mi) Примечания : ; Библиогр.: с. 6-7 Цена : Б.ц. ГРНТИ : ; 55.47.29 Ключевые слова (''Своб.индексиров.''): 0 ; отказоустойчивая бортовая система Перейти к источнику в Интернете: Design and validation of faulttolerant flight systems Доп.точки доступа: Palumbo, D.L. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

128

Design and validation of computer protocols Prentice-Hall Intern. Вычислительные сети, Протоколы


L2/1249 Holzmann, G. J. Design and validation of computer protocols [Text] : xerox / G.J.Holzmann. - London : Prentice-Hall Intern., 1991. - XII,500 p. p. : ill. - ISBN 0-13539834-7 : 256.00 р. Библиогр.:с.351-368 Указ.:с.491-500ГРНТИ 50.39УДК 004.7.057.4 Рубрики: Вычислительные сети--Протоколы Держатели документа: ГПНТБ России Экз-ры: АЛГ(1) VALIDATION$

State Public Technical Library of Russia (Russian)

129

Design and validation of computer protocols 0 ^aКонструирование и аттестация протоколов ЭВМ Prentice-Hall Intern/ 0 ; ЭВМ; протоколы Библиогр.:с.351-368.-Указ.:с.491-500 0 ; ЭВМ; протоколы


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Holzmann G.J. Заглавие : Design and validation of computer protocols Выходные данные : LOndon: Prentice-Hall Intern/, 1991 Колич.характеристики :XII,500 c: ил Примечания : ; Библиогр.:с.351-368.-Указ.:с.491-500 ISBN, Цена 0-13-539834-7: Б.ц. ГРНТИ : ; 50.05.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; эвм; протоколы Перейти к источнику в Интернете: Design and validation of computer protocols VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

130

Decay heat experiment and validation of calculation code systems for fusion reactor Research термоядерная установка Термоядерные установки термоядерная установка

Wada, M.; Ikeda, Y.

R/17608/99-055 Maekawa, F. Decay heat experiment and validation of calculation code systems for fusion reactor [Text] : сборник научных трудов / F.Maekawa,M.Wada,Y.Ikeda. - Tokai : [s. n.], 1999. - 188 p. : ill. - (Research / Japan atomic energy research inst. ; 99-055). - 50.00 р. Рез.яп.Библиогр.:с.54-55ГРНТИ 58.34УДК 621.039.6 Рубрики: Термоядерные установки Держатели документа: ГПНТБ России Доп.точки доступа: Wada, M.; Ikeda, Y. Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-108349 VALIDATION$

State Public Technical Library of Russia (Russian)

131

Data validation of ionospheric models and maps (VIM) Publ.del Observatorio de Ebro.Memoria 0 ^aУтвержденные данные ионосферных моделей и карт (VIM):PRIME/URSI совместной рабочей группой проведенной в обсерватории де Ебре,Roquetes,Каталония,Испания,1992 0 ; ионосферные модели Библиогр. в конце ст 0 ; ионосферные модели


Вид документа : Однотомное издание Шифр издания : Заглавие : Data validation of ionospheric models and maps (VIM) : PRIME/URSI joint workshop,held at the Observatorio de l'Ebre,Roquetes,Caralonia,Spain,4-6 May 1992 Выходные данные : Roquetes (Tarragona), 1992 Колич.характеристики :421 c: ил Серия: Publ.del Observatorio de Ebro.Memoria; N16 Примечания : ; Библиогр. в конце ст ISBN, Цена 84-88253-01-X: Б.ц. ГРНТИ : ; 37.15.29 Ключевые слова (''Своб.индексиров.''): 0 ; ионосферные модели Перейти к источнику в Интернете: Data validation of ionospheric models and maps (VIM) VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

132

D-lactates plasmatiques chez le veau: validation d'une technique de dosage; interet dans les gastroenterites paralysantes These 0 ^aОпределение концентрации D-лактата в плазме крови новорожденных телят с гастроэнтеритом различной этиологии. Диссертация. (Франция) 0 ; телята; новорожденные животные; гастроэнтерит; бактерии; вирусы животных; паразиты; плазма крови; молочная кислота; диссертации; франция 0 ; телята; новорожденные животные; гастроэнтерит; бактерии; вирусы животных; паразиты; плазма крови; молочная кислота; диссертации; франция 0 ; телята; новорожденные животные; гастроэнтерит; бактерии; вирусы животных; паразиты; плазма крови; молочная кислота; диссертации; франция


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Marcillaud S.M.-P. Заглавие : D-lactates plasmatiques chez le veau: validation d'une technique de dosage; interet dans les gastroenterites paralysantes : These... Выходные данные : Toulouse, 1998 Колич.характеристики :162,[7] л. с.: табл Серия: These/ Ecole nat.veterinaire de Toulouse Примечания : ; Библиогр.:с.144-155 Цена : Б.ц. ГРНТИ : ; 68.41.53 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; телята; новорожденные животные; гастроэнтерит; бактерии; вирусы животных; паразиты; плазма крови; молочная кислота; диссертации; франция Перейти к источнику в Интернете: D-lactates plasmatiques chez le veau: validation d'une technique de dosage; interet dans les gastroenterites paralysantes VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

133

Computational design and validation test of advanced concept subsonic inlets Rep./AIAA 0 ^aРасчет и проверочные испытания дозвуковых воздухозаборников новых схем V nadzag. takze: AIAA/SAE/ASME 20th joint propulsion conf., June 11-13, 1984, Cincinnati (Oh). Библиогр.: с.7-8

Barber, T.J; Ives, D.C; Nelson, D.P; Miller, R.M

Вид документа : Однотомное издание Шифр издания : K Заглавие : Computational design and validation test of advanced concept subsonic inlets Выходные данные : New York, 1984 Колич.характеристики :8 с Серия: Rep./AIAA; N 84-1329 Примечания : ; V nadzag. takze: AIAA/SAE/ASME 20th joint propulsion conf., June 11-13, 1984, Cincinnati (Oh). Библиогр.: с.7-8 Цена : Б.ц. ГРНТИ : ; 55.42.47 УДК : Перейти к источнику в Интернете: Computational design and validation test of advanced concept subsonic inlets Доп.точки доступа: Barber, T.J; Ives, D.C; Nelson, D.P; Miller, R.M VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

134

Comments on the


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Harris L.A. Заглавие : Comments on the "early experiment validation" session of the second international conference on tethers in space Выходные данные : New York, 1988 Колич.характеристики :6 с: ил Серия: Rep./AIAA; N 88-0535 Примечания : ; Библиогр.: с.5-6 Цена : Б.ц. ГРНТИ : ; 55.49.29 Ключевые слова (''Своб.индексиров.''): 0 ; тросовая система; космос Перейти к источнику в Интернете: Comments on the "early experiment validation" session of the second international conference on tethers in space VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

135

Climate sensitivity to radiative perturabations: physical mechanisms and their validation NATO ASI(Advanced science institutes)series...Ser.I.,Global environmental change Springer ; Климат . Изменения . Съезды и конференции , кл

Le Treut, H.

Вид документа : Многотомное издание Шифр издания : K Заглавие : Climate sensitivity to radiative perturabations: physical mechanisms and their validation : Proc.of the NATO advanced research workshop,held in Paris,July 11-15,1994 Выходные данные : Berlin et al: Springer, 1995 Колич.характеристики :IX,331 p.: ill Серия: NATO ASI(Advanced science institutes)series...Ser.I.,Global environmental change; Vol.34 Примечания : ; Библиогр.в конце статей ISBN, Цена 3-540-60434-0: Б.ц. ГРНТИ : ; 37.23.29 УДК : Предметные рубрики: Климат Перейти к источнику в Интернете: Climate sensitivity to radiative perturabations: physical mechanisms and their validation, Перейти к источнику в Интернете:  Доп.точки доступа: Le Treut, H. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

136

Climate sensitivity to radiative perturabations: physical mechanisms and their validation NATO ASI (Advanced science institutes)series. Ser.I., Global environmental change Springer климат Климат, Изменения, Съезды и конференции, , кл климат

Le Treut, H. ed.

R/17674/34 Climate sensitivity to radiative perturabations: physical mechanisms and their validation [Text] : proc.of the NATO advanced research workshop,held in Paris,July 11-15,1994 / ed. H. Le Treut. - Berlin etc. : Springer, 1995. - IX,331 p. p. : ill. - (NATO ASI (Advanced science institutes)series. Ser.I., Global environmental change ; vol.34). - ISBN 3-540-60434-0 : 340000 р. Библиогр.в конце статейГРНТИ 37.23.29УДК 551.583(063) Рубрики: Климат--Изменения--Съезды и конференции Держатели документа: ГПНТБ России Доп.точки доступа: Le Treut, H. \ed.\ Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-106600 VALIDATION$

State Public Technical Library of Russia (Russian)

137

CFD validation for hypersonic flight : real gas flows UMSI research report University of Minnesota (Minneapolis,Mn).Supercomputer institute Летательные аппараты, Аэродинамика

Nompelis, I.; Univ.of Minnesota(Minneapolis,Mn).Supercomputer institute

R/17401/2002/91 University of Minnesota (Minneapolis,Mn).Supercomputer institute. UMSI research report [Text] / Univ.of Minnesota. - Minneapolis(Mn) : [s. n.].2002/91 : CFD validation for hypersonic flight : real gas flows / G. V.Candler, I.Nompelis. - Minneapolis(Mn) : [s. n.], 2002. - 16 p. : ill. - 10.00 р.ГРНТИ 55.47.03УДК 533.65.013 Рубрики: Летательные аппараты--Аэродинамика Держатели документа: ГПНТБ России Доп.точки доступа: Nompelis, I.; Univ.of Minnesota(Minneapolis,Mn).Supercomputer institute Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

138

CFD validation for hypersonic flight : hypersonic double-cone flow simulations UMSI research report Univ.of Minnesota(Minneapolis,Mn).Supercomputer institute Летательные аппараты, Аэродинамика

Nompelis, I.; Druguet, M.-C.; Univ.of Minnesota(Minneapolis,Mn).Supercomputer institute

R/17401/2002/92 Candler, G. V. CFD validation for hypersonic flight : hypersonic double-cone flow simulations [Text] : сборник научных трудов / G.V.Candler,I.Nompelis,M.-C.Druguet. - Minneapolis(Mn) : [s. n.], 2002. - 25 p. : ill. - (UMSI research report / Univ.of Minnesota ; 2002/92). - 10.00 р. Библиогр.:с. 24-25ГРНТИ 55.47.03УДК 533.65.013 Рубрики: Летательные аппараты--Аэродинамика Держатели документа: ГПНТБ России Доп.точки доступа: Nompelis, I.; Druguet, M.-C.; Univ.of Minnesota(Minneapolis,Mn).Supercomputer institute Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

139

CEOS SAR workshop, 26-29 Oct. 1999, Toulouse, France ESA SP 0 ^aТруды Совещания Комитета по спутниковым наблюдениям Земли (CEOS) с помощью радиолокатора бокового обзора с синтезированной антенной (SAR), Тулуза, Франция, окт. 1999. CEOS Comm. on Earth observ. satellites, Working group on calibration, validation Загл. обл. : SAR workshop. Указ. : List of auth. : c. 711-715

CEOS Comm. on Earth observ. satellites, Working group on calibration,

Вид документа : Однотомное издание Шифр издания : K Заглавие : CEOS SAR workshop, 26-29 Oct. 1999, Toulouse, France : Papers Выходные данные : [Paris] : Europ. space agency, 2000 Колич.характеристики :XIX, 729 c.: ил., табл Коллективы : CEOS Comm. on Earth observ. satellites, Working group on calibration, validation Серия: ESA SP/ Europ. space agency; 450 Примечания : ; Библиогр. в конце докл. - ; Загл. обл. : SAR workshop. Указ. : List of auth. : c. 711-715 ISBN, Цена 92-9092-641-4: Б.ц. ГРНТИ : ; 89.57.21 УДК : Перейти к источнику в Интернете: CEOS SAR workshop, 26-29 Oct. 1999, Toulouse, France Доп.точки доступа: CEOS Comm. on Earth observ. satellites, Working group on calibration, validation VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

140

CCSDS protocol validation programme-Inter agency testing using LOTOS [Reports] American institute of aeronautics and astronautics(New York)

Gamble, M.; Amer.inst.of aeronautics and astronautics(New York)

R/2668/90-5065 American institute of aeronautics and astronautics(New York). [Reports] [Text] / Amer.inst.of aeronautics and astronautics. - Washington : [s. n.].N 90-5065 : The CCSDS protocol validation programme-Inter agency testing using LOTOS : rep.presented at AIAA/NASA second intern.symp.on space information systems,Sept.17-19,1990,Pasadena,Ca. / C.Taylor,M.Gamble. - Washington : [s. n.], 1990. - 10 p. : ill. - 1.50 р.ГРНТИ 89.0173.37УДК 629.73(05)629.78(05) Держатели документа: ГПНТБ России Доп.точки доступа: Gamble, M.; Amer.inst.of aeronautics and astronautics(New York) Экз-ры: ХР(1) Копия: мкф., Шифр MR-95200 VALIDATION$

State Public Technical Library of Russia (Russian)

141

Benchmarking validations for dust mobilization models of GASFLOW code. EFDA reference: TW5-TSS-SEA 3.5 D4 Wissenschaftliche Berichte Forschungszentrum 37338; Термоядерные установки, Аварии

Travis, J. R.; Breitung, W.; Forschungszentrum(Karlsruhe)

R/17669/7423 Forschungszentrum(Karlsruhe). Wissenschaftliche Berichte [Text] / FZKA. - Karlsruhe : [s. n.], 19 - . - ISSN 0947-8620.7423 : Benchmarking validations for dust mobilization models of GASFLOW code. EFDA reference: TW5-TSS-SEA 3.5 D4 / Z. Xu, J. R. Travis, W. Breitung. - 2008. - 41 p. : ill. - Рез. нем. - Библиогр.: с. 40-41 (13 назв.) . - Б. ц.ГРНТИ 58.34УДК 621.039.6.004.6 Рубрики: Термоядерные установки--Аварии Держатели документа: ГПНТБ России Доп.точки доступа: Travis, J. R.; Breitung, W.; Forschungszentrum(Karlsruhe) Экз-ры: хр(1), (1) Копия: мкф., Шифр MR-111498 VALIDATION$

State Public Technical Library of Russia (Russian)

142

Asymptotic optimality of generalized cross-validation for choosing the regularization parameter Research report некорректная задача Некорректные задачи, Приближенное решение некорректная задача


R/14231/43-90 Lucas, M. Asymptotic optimality of generalized cross-validation for choosing the regularization parameter [Text] : материал технической информации / M.Lucas. - Canberra : [s. n.], 1990. - 31 p. : ill. - (Research report / Centre for math.analysis ; 43-90). - 1.00 р. Библиогр.:с.30-31ГРНТИ 29.05.03УДК 530.1:51 Рубрики: Некорректные задачи--Приближенное решение Держатели документа: ГПНТБ России Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

143

Arbeiten aus dem Institut fur Tierwissenschaften, Abteilung Tierzucht und Tierhaltung, Rheinische Friedrich-Wilhelms-Universitat zu Bonn. H. 143: Identification and validation of functional candidate genes related to the inverted teat defect in pigs 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 ; фрг


Вид документа : Однотомное издание Шифр издания : . 68.41.59. rugasnti Автор(ы) : Yammuen-Art S. Заглавие : Arbeiten aus dem Institut fur Tierwissenschaften, Abteilung Tierzucht und Tierhaltung, Rheinische Friedrich-Wilhelms-Universitat zu Bonn. H. 143: Identification and validation of functional candidate genes related to the inverted teat defect in pigs : Inaugural-Dissertation zur Erlangung des Grades Doktor der Agrarwissenschaft (Dr. agr.) der Hohen Landwirtschaftlichen Fakultat der Rheinischen Friedrich-Wilhelms-Universitat zu Bonn Выходные данные : Bonn: [s. n.], [2008] Колич.характеристики :XXII, 147, [7] c.: ил., табл. Примечания : ; Библиогр.: с. 118-136. - ; Текст англ.; Рез. нем. Цена : Б.ц. ГРНТИ : ; 68.41.59 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; свиноматки--0 ; сосок--0 ; аномалии развития--0 ; гены--0 ; экспрессия генов--0 ; диссертации--0 ; фрг Перейти к источнику в Интернете: Arbeiten aus dem Institut fur Tierwissenschaften, Abteilung Tierzucht und Tierhaltung, Rheinische Friedrich-Wilhelms-Universitat zu Bonn. H. 143: Identification and validation of functional candidate genes related to the inverted teat defect in pigs VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

144

Application of the hypersonic analogy for validation of the numerical simulations [Reports] American institute of aeronautics and astronautics(New York)

Amer.inst.of aeronautics and astronautics(New York)

R/2668/88-0618 American institute of aeronautics and astronautics(New York). [Reports] [Text] / Amer.inst.of aeronautics and astronautics. - Washington : [s. n.].N 88-0618 : Application of the hypersonic analogy for validation of the numerical simulations : papers presented at AIAA 26th aerospace sci. meeting, Jan. 11-14, 1988 Reno(Nv) / S.Eidelman. - New York : [s. n.], 1988. - 8 p. : ill. - 1.50 р.ГРНТИ 89.0173.37УДК 629.73(05)629.78(05) Держатели документа: ГПНТБ России Доп.точки доступа: Amer.inst.of aeronautics and astronautics(New York) Экз-ры: ХР(1) Копия: мкф., Шифр MR-88280 VALIDATION$

State Public Technical Library of Russia (Russian)

145

Application of the hypersonic analogy for validation of the numerical simulations Rep./AIAA 0 ^aПрименение гиперзвуковой аналогии для подтверждения численного моделирования 0 ; гиперзвуковой поток Библиогр.: с. 8 0 ; гиперзвуковой поток


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Eidelman S. Заглавие : Application of the hypersonic analogy for validation of the numerical simulations Выходные данные : New York, 1988 Колич.характеристики :8 с: ил Серия: Rep./AIAA; N 88-0618 Примечания : ; Библиогр.: с. 8 Цена : Б.ц. ГРНТИ : ; 30.17.33 Ключевые слова (''Своб.индексиров.''): 0 ; гиперзвуковой поток Перейти к источнику в Интернете: Application of the hypersonic analogy for validation of the numerical simulations VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

146

Analytical and experimental validation of the oblique detonation wave engine concept Rep./AIAA 0 ^aАналитическая и экспериментальная апробация концепции двигателя с косой детонационной волной 0 ; двигатель; косая детонационная волна Библиогр.: с. 5-6 0 ; двигатель; косая детонационная волна

Cambier, J.L.; Menees, G.P.; Balboni, J.A.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Adelman H.G., Cambier J.L., Menees G.P., Balboni J.A. Заглавие : Analytical and experimental validation of the oblique detonation wave engine concept Выходные данные : New York, 1988 Колич.характеристики :9 с: ил Серия: Rep./AIAA; N 88-0097, AIAA 26 AEROSPACE SCIENCES MEET., Jan. 11-14, 1988, Reno (Nv) Примечания : ; Библиогр.: с. 5-6 Цена : Б.ц. ГРНТИ : ; 30.51.23 + ; 55.42.47 Ключевые слова (''Своб.индексиров.''): 0 ; двигатель; косая детонационная волна Перейти к источнику в Интернете: Analytical and experimental validation of the oblique detonation wave engine concept Доп.точки доступа: Cambier, J.L.; Menees, G.P.; Balboni, J.A. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

147

Aerodynamic spike flowfields computed to select optimum configuration at Mah 2.5 with experimental validation Rep./AIAA;N 90-0414 0 ^aАэродинамические поля течения вокруг амортизирующей иглы, рассчитанные для выбора оптимальной конфигурации при числе маха 2.5 с экспериментальной проверкой 0 ; амортизирующая игла Библиогр.:с.9-10 0 ; амортизирующая игла


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Shoemaker J.M. Заглавие : Aerodynamic spike flowfields computed to select optimum configuration at Mah 2.5 with experimental validation Выходные данные : New York, 1990 Колич.характеристики :10 c: ил Серия: Rep./AIAA;N 90-0414 Примечания : ; Библиогр.:с.9-10 Цена : Б.ц. ГРНТИ : ; 55.49.03 Ключевые слова (''Своб.индексиров.''): 0 ; амортизирующая игла Перейти к источнику в Интернете: Aerodynamic spike flowfields computed to select optimum configuration at Mah 2.5 with experimental validation VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

148

Advances in quantitative emission tomography: Development and analysis of methods for validation and correction 0 ^aУспехи в области количественной эмиссионной томографии. Разработка и анализ методов оценки.^zrus 0 ; Эмиссионная томография 0 ; оценка изображения 0 ; Эмиссионная томография 0 ; оценка изображения 0 ; Эмиссионная томография 0 ; оценка изображения


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Jonsson, Cathrine Заглавие : Advances in quantitative emission tomography: Development and analysis of methods for validation and correction : Doctoral diss. ... Stockholm univ. Выходные данные : Stockholm, 2000 Колич.характеристики :1 т. (разд. паг.) с.: ил.; 25 см ISBN, Цена 91-628-4514-4: Б.ц. ГРНТИ : ; 76.29.62 Ключевые слова (''Своб.индексиров.''): 0 ; эмиссионная томография--0 ; оценка изображения Перейти к источнику в Интернете: Advances in quantitative emission tomography: Development and analysis of methods for validation and correction VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

149

Advanced control and instrumentation systems in nuclear power plants .Design,verification and validation VTT symposium Атомные энергетические установки, Контрольно-измерительные приборы, Съезды и конференции, , атусэн

Haapanen, P. ed.

Q/5318/147 Advanced control and instrumentation systems in nuclear power plants .Design,verification and validation [Text] : IAEA/IWG/ATWR & NPPCI techn. comm. meet. Espoo/Helsinki,20-23 June 1994 / ed. P. Haapanen. - Espoo : [s. n.], 1995. - 578,1/13 p. p. : ill. - (VTT symposium / VTT, ISSN 0357-9387 ; 147). - ISBN 951-38-4098-0 : 10000 р. Библиогр.в конце статейГРНТИ 58.33.8158.01.13УДК 621.039.564(063) Рубрики: Атомные энергетические установки--Контрольно-измерительные приборы--Съезды и конференции Держатели документа: ГПНТБ России Доп.точки доступа: Haapanen, P. \ed.\ Экз-ры: ХР(1) VALIDATION$

State Public Technical Library of Russia (Russian)

150

Ada compiler validation symmary report: compiler name: meridian Ada vantage 2.2. certificate number: 880605WI.09072 компилятор Компиляторы программ компилятор


MF-91-15921 Ada compiler validation symmary report: compiler name: meridian Ada vantage 2.2. certificate number: 880605WI.09072 [Text] : mfiche. - Washington(DC) : [s. n.], 1989. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

151

Ada compiler validation summary report:softTech inc.,Ada 86 version 3.21 VAX II/780-II/785(host) to Intel iaPX 80386P(target) 0 ^aКраткий отчет о проверке компилятора языка Ада:softTech inc.,Ада 86,версия 3.21 VAX 11/780-11/785(базовая) intel iaPX 80386P(выходная) 0 ; компилятор языка 0 ; компилятор языка


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report:softTech inc.,Ada 86 version 3.21 VAX II/780-II/785(host) to Intel iaPX 80386P(target) Выходные данные : Washington, 1988 Колич.характеристики :Разд.паг с Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компилятор языка Перейти к источнику в Интернете: Ada compiler validation summary report:softTech inc.,Ada 86 version 3.21 VAX II/780-II/785(host) to Intel iaPX 80386P(target) VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

152

Ada compiler validation summary report:certification number:88071551.09153 interACT corporation,InterACT Ada 1750A compiler system,release 3.0 VAX II/785 host,fairchild F9450/1750A target 0 ^aКраткий отчет о проверке компилятора языка Ада:сертификац.номер:88071551.09153 interACT corp.,система компилятора interACT Ada 1750A,версия 3.0 VAXII/785(базовая),fairchild F9450/1750A(выходная) 0 ; компилятор языка 0 ; компилятор языка


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report:certification number:88071551.09153 interACT corporation,InterACT Ada 1750A compiler system,release 3.0 VAX II/785 host,fairchild F9450/1750A target Выходные данные : Washington, 1988 Колич.характеристики :Разд.паг с Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компилятор языка Перейти к источнику в Интернете: Ada compiler validation summary report:certification number:88071551.09153 interACT corporation,InterACT Ada 1750A compiler system,release 3.0 VAX II/785 host,fairchild F9450/1750A target VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

153

Ada compiler validation summary report:certification number:880610W1.09089 telesoft sun Ada,version 1.3 Sun microsystems,Sun-4 workstation (SPARC processor):Completion of on-site testing... 0 ^aКраткий отчет о проверке языка Ада:сертификац.номер:880610W1.09089 telesoft Sun Ada,версия 1.3 Sun microsystems,рабочая станция Sun-4(процессор SPARC).Завершение испытаний на месте эксплуатации... 0 ; компилятор языка 0 ; компилятор языка


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report:certification number:880610W1.09089 telesoft sun Ada,version 1.3 Sun microsystems,Sun-4 workstation (SPARC processor):Completion of on-site testing... Выходные данные : Washington, 1988 Колич.характеристики :Разд.паг с Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компилятор языка Перейти к источнику в Интернете: Ada compiler validation summary report:certification number:880610W1.09089 telesoft sun Ada,version 1.3 Sun microsystems,Sun-4 workstation (SPARC processor):Completion of on-site testing... VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

154

Ada compiler validation summary report:certification number:880610W1.09000 telesoft cray Ada compiler,release 1.0 cray X-MP 0 ^aКраткий отчет о проверке компилятора языка Ада:сертификац.номер:880610W1.09000,компилятор ada telesoft cray,версия 1.0 cray X-MP 0 ; компилятор языка 0 ; компилятор языка


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report:certification number:880610W1.09000 telesoft cray Ada compiler,release 1.0 cray X-MP Выходные данные : Washington, 1988 Колич.характеристики :Разд.паг с.: ил Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компилятор языка Перейти к источнику в Интернете: Ada compiler validation summary report:certification number:880610W1.09000 telesoft cray Ada compiler,release 1.0 cray X-MP VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

155

Ada compiler validation summary report:certification number:880201 Verdix corporation Vada-010-32315,version 5.5 intal system 320 host intal ISBC 386/20 0 ^aКраткий отчет о проверке компилятора языка Ада:сертификац.номер:880201 Verdix corp.VAda-010-32315,версия 5.5 системы intal 320(базовая),intal ISBC 386/20 0 ; компилятор языка 0 ; компилятор языка


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report:certification number:880201 Verdix corporation Vada-010-32315,version 5.5 intal system 320 host intal ISBC 386/20 Выходные данные : Washington, 1989 Колич.характеристики :Разд.паг с Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компилятор языка Перейти к источнику в Интернете: Ada compiler validation summary report:certification number:880201 Verdix corporation Vada-010-32315,version 5.5 intal system 320 host intal ISBC 386/20 VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

156

Ada compiler validation summary report:certificate number:880708W1.09127 Irvine compiler corporation ICC Ada, release 5.0 HP 9000,model 825 0 ^aКраткий отчет о проверке компилятора языка Ада:сертификац.номер:880708W1.09127,корп.компилятора Ирвин ICC Ada,версия 5.0 HP 9000,модель 825 0 ; компилятор языка 0 ; компилятор языка


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report:certificate number:880708W1.09127 Irvine compiler corporation ICC Ada, release 5.0 HP 9000,model 825 Выходные данные : Washington, 1989 Колич.характеристики :Разд.паг с Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компилятор языка Перейти к источнику в Интернете: Ada compiler validation summary report:certificate number:880708W1.09127 Irvine compiler corporation ICC Ada, release 5.0 HP 9000,model 825 VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

157

Ada compiler validation summary report:certificate number:880613W1.09067 silicon graphics computer systems Ada,version 1.0 IRIS 300 series workstation,UNIX systems V,release CL2-W3.6 0 ^aКраткий отчет о проверке компилятора языка Ада:880613W1.09067,вычислит.система Ада с кремниевой графикой,версия IRIS 300 cистема UNIX systems V,версия CL2-W3.6 0 ; компилятор языка 0 ; компилятор языка


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report:certificate number:880613W1.09067 silicon graphics computer systems Ada,version 1.0 IRIS 300 series workstation,UNIX systems V,release CL2-W3.6 Выходные данные : Washington, 1989 Колич.характеристики :Разд.паг с Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компилятор языка Перейти к источнику в Интернете: Ada compiler validation summary report:certificate number:880613W1.09067 silicon graphics computer systems Ada,version 1.0 IRIS 300 series workstation,UNIX systems V,release CL2-W3.6 VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

158

Ada compiler validation summary report:certificate number:880613W1.09062,MIPS computer systems MIPS/VADS,version 1.30 MIPS M/1000 0 ^aКраткий отчет о проверке компилятора языка Ада:сертификац.номер:880613W1.09062,система ЭВМ MIPS/VADS,версия 1.30 MIPS M/1000 0 ; компилятор языка 0 ; компилятор языка


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report:certificate number:880613W1.09062,MIPS computer systems MIPS/VADS,version 1.30 MIPS M/1000 Выходные данные : Washington, 1989 Колич.характеристики :Разд.паг с Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компилятор языка Перейти к источнику в Интернете: Ada compiler validation summary report:certificate number:880613W1.09062,MIPS computer systems MIPS/VADS,version 1.30 MIPS M/1000 VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

159

Ada compiler validation summary report:certificate number:880610W1.09100 telesoft cray Ada compiler,release 1.0 cray-2 0 ^aКраткий отчет о проверке компилятора языка Ада :880610W1.09100,компилятор Ада telesoft cray,версия 1.0 cray-2 0 ; компилятор языка 0 ; компилятор языка


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report:certificate number:880610W1.09100 telesoft cray Ada compiler,release 1.0 cray-2 Выходные данные : Washington, 1988 Колич.характеристики :Разд.паг с.: ил Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компилятор языка Перейти к источнику в Интернете: Ada compiler validation summary report:certificate number:880610W1.09100 telesoft cray Ada compiler,release 1.0 cray-2 VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

160

Ada compiler validation summary report:certificate number:880610W1.09098 TELESOFT IBM development system for the Ada language,AIX/RT Ada compiler version 1.1.0 IBM RT PC 6150-125 0 ^aКраткий отчет о проверке компилятора языка Ада:сертификац.номер880610W1.09098,макетная система TELESOFT IBM для языка Ада,версия компилятора AIX/RT Ада 1.1.0 IBM RT PC 6150-125 0 ; компилятор языка 0 ; компилятор языка


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report:certificate number:880610W1.09098 TELESOFT IBM development system for the Ada language,AIX/RT Ada compiler version 1.1.0 IBM RT PC 6150-125 Выходные данные : Washington, 1989 Колич.характеристики :Разд.паг с Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компилятор языка Перейти к источнику в Интернете: Ada compiler validation summary report:certificate number:880610W1.09098 TELESOFT IBM development system for the Ada language,AIX/RT Ada compiler version 1.1.0 IBM RT PC 6150-125 VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

161

Ada compiler validation summary report:certificate number:880605W1.09078 meridian software systems,inc.,meridian AdaVantage 2.2 zenith 2-248 0 ^aКраткий отчет о проверке компилятора языка Ада:сертификац.номер:880605W1.09078 meridian software systems,inc.,meridian AdaVantage 2.2 zenith 2-248 0 ; компилятор языка 0 ; компилятор языка


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report:certificate number:880605W1.09078 meridian software systems,inc.,meridian AdaVantage 2.2 zenith 2-248 Выходные данные : Washington, 1989 Колич.характеристики :Разд.паг с Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компилятор языка Перейти к источнику в Интернете: Ada compiler validation summary report:certificate number:880605W1.09078 meridian software systems,inc.,meridian AdaVantage 2.2 zenith 2-248 VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

162

Ada compiler validation summary report:certificate number:880605W1.09076 meridian AdaVantage 2.2 ITT XTRA/286 0 ^aКраткий отчет о проверке компилятора языка Ада:сертификац.номер:880605W1.09076 meridian AdaVantage 2.2 ITT XTRA/286 0 ; компилятор языка 0 ; компилятор языка


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report:certificate number:880605W1.09076 meridian AdaVantage 2.2 ITT XTRA/286 Выходные данные : Washington, 1989 Колич.характеристики :Разд.паг с Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компилятор языка Перейти к источнику в Интернете: Ada compiler validation summary report:certificate number:880605W1.09076 meridian AdaVantage 2.2 ITT XTRA/286 VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

163

Ada compiler validation summary report:certificate number:880605W1.09073 meridian software systems,inc.,meridian AdaVantage 2.2 Apple Macintosh plus 0 ^aКраткий отчет о проверке компилятора языка Ада:сертификац.номер:880605W1.09073 meridian software systems,inc.,meridian AdaVantage 2.2 Apple Macintosh plus 0 ; компилятор языка 0 ; компилятор языка


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report:certificate number:880605W1.09073 meridian software systems,inc.,meridian AdaVantage 2.2 Apple Macintosh plus Выходные данные : Washington, 1989 Колич.характеристики :Разд.паг с Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компилятор языка Перейти к источнику в Интернете: Ada compiler validation summary report:certificate number:880605W1.09073 meridian software systems,inc.,meridian AdaVantage 2.2 Apple Macintosh plus VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

164

Ada compiler validation summary report:certificate number:88021W1.09029 UNISYS TeleCen2 Ada compiler,version 3,20 UNISYS 500/80/90 0 ^aКраткий отчет о проверке компилятора языка Ада:сертификац.номер:88021W1.09029,компиялтор Ада UNISYS TeleCen2,версия 3,20 UNISYS 500/80/90 0 ; компилятор языка 0 ; компилятор языка


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report:certificate number:88021W1.09029 UNISYS TeleCen2 Ada compiler,version 3,20 UNISYS 500/80/90 Выходные данные : Washington, 1989 Колич.характеристики :Разд.паг с Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компилятор языка Перейти к источнику в Интернете: Ada compiler validation summary report:certificate number:88021W1.09029 UNISYS TeleCen2 Ada compiler,version 3,20 UNISYS 500/80/90 VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

165

Ada compiler validation summary report:certificate number:880219W1.09037,TELESOFT teleCen2 Ada development system,version 3.20 MicroVAX II to MC68020,implemented on a MotorolaMVME 133A-20 board with an MC68881 floating. 0 ^aКраткий отчет о проверке компилятора языка Ада:сертификац.номер 880219W1.09037,макетная система TELESOFT teleCen2 Ada,версия 3.20 для MicroVAX II-MC68020,выполненная на панели Motoroba MVME 133A-20... 0 ; компилятор языка 0 ; компилятор языка


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report:certificate number:880219W1.09037,TELESOFT teleCen2 Ada development system,version 3.20 MicroVAX II to MC68020,implemented on a MotorolaMVME 133A-20 board with an MC68881 floating. Выходные данные : Washington, 1989 Колич.характеристики :Разд.паг с Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компилятор языка Перейти к источнику в Интернете: Ada compiler validation summary report:certificate number:880219W1.09037,TELESOFT teleCen2 Ada development system,version 3.20 MicroVAX II to MC68020,implemented on a MotorolaMVME 133A-20 board with an MC68881 floating. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

166

Ada compiler validation summary report:certificate number 880605W1.09077 meridian software systems,inc.,meridian AdaVantage 2.2 ALR 386/2 0 ^aКраткий отчет о проверке компилятора языка Ада:сертификац.номер:880605W1.09077 meridian software systems,inc.,meridian AdaVantage 2.2 ALR 386/2 0 ; компилятор языка 0 ; компилятор языка


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report:certificate number 880605W1.09077 meridian software systems,inc.,meridian AdaVantage 2.2 ALR 386/2 Выходные данные : Washington, 1989 Колич.характеристики :Разд.паг с Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компилятор языка Перейти к источнику в Интернете: Ada compiler validation summary report:certificate number 880605W1.09077 meridian software systems,inc.,meridian AdaVantage 2.2 ALR 386/2 VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

167

Ada compiler validation summary report:certificate number 880605W1.09075 meridian software systems,inc.,meridian AdaVantage 2.2 IBM PS/2 model 60 0 ^aКраткий отчет о проверке компилятора фзыка Ада:сертификац.номер 880605W1.09075 meridian software systems,inc.,meridian AdaVantage 2.2 IBM PS/2 модель 60 0 ; компилятор языка 0 ; компилятор языка


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report:certificate number 880605W1.09075 meridian software systems,inc.,meridian AdaVantage 2.2 IBM PS/2 model 60 Выходные данные : Washington, 1989 Колич.характеристики :Разд.паг с Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компилятор языка Перейти к источнику в Интернете: Ada compiler validation summary report:certificate number 880605W1.09075 meridian software systems,inc.,meridian AdaVantage 2.2 IBM PS/2 model 60 VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

168

Ada compiler validation summary report:certificare number:880318W1.09043 intern.business machines corporation IBM development system for the Ada language,version 2.1.0 IBM 4381 under VM/HPO,host,IBM 4381 under MVS/XA... 0 ^aКраткий отчет о проверке компилятора языка Ада:сертификац.номер:880318W1.09043,макетная система ИБМ для языка Ада,версия 2.1.0 ИБМ 4381 при VM/HPO,базовая,ИБМ 4381 при MVS/XA,выходная 0 ; компилятор языка 0 ; компилятор языка


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report:certificare number:880318W1.09043 intern.business machines corporation IBM development system for the Ada language,version 2.1.0 IBM 4381 under VM/HPO,host,IBM 4381 under MVS/XA... Выходные данные : Washington, 1989 Колич.характеристики :Разд.паг с Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компилятор языка Перейти к источнику в Интернете: Ada compiler validation summary report:certificare number:880318W1.09043 intern.business machines corporation IBM development system for the Ada language,version 2.1.0 IBM 4381 under VM/HPO,host,IBM 4381 under MVS/XA... VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

169

Ada compiler validation summary report:Software leverage,inc.,sequent Ada,version 55.5.1,sequent Symmetry S81(host and target),(880606W1.09066) 0 ^aКраткий отчет о проверке компилятора языка Ада:корп.Software leverage,последоват.Ада,версия 55.5.1,последоват.Symmetry S81(базовая и выходная),880606W1.09066 0 ; компилятор языка 0 ; компилятор языка


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report:Software leverage,inc.,sequent Ada,version 55.5.1,sequent Symmetry S81(host and target),(880606W1.09066) Выходные данные : Washington, 1988 Колич.характеристики :Разд.паг с Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компилятор языка Перейти к источнику в Интернете: Ada compiler validation summary report:Software leverage,inc.,sequent Ada,version 55.5.1,sequent Symmetry S81(host and target),(880606W1.09066) VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

170

Ada compiler validation summary report:Rolm milspec computers,ADE/32 revision 3.00 host:MV/20000;target Rolm hawk/32 0 ^aКраткий отчет о проверке компилятора языка Ада:компьютеры Rolm milspec,ADE/32 пересмотр 3.00, базовый:MV/20.000;выходной:Rolm hawk 0 ; компилятор языка 0 ; компилятор языка


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report:Rolm milspec computers,ADE/32 revision 3.00 host:MV/20000;target Rolm hawk/32 Выходные данные : Washington, 1988 Колич.характеристики :Разд.паг с Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компилятор языка Перейти к источнику в Интернете: Ada compiler validation summary report:Rolm milspec computers,ADE/32 revision 3.00 host:MV/20000;target Rolm hawk/32 VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

171

Ada compiler validation summary report:Honeywell bull,GCOS 8 Ada compiler,version 2.1,DPS 8000,DPS/8/70,DPS 90(host),PDS 8000,8/70,90(target) 0 ^aКраткий отчет о проверке компилятора языка Ада:Honeywell bull.,компилятор GCOS 8 Ada,версия 2.1,DPS 8000,DPS/8/70,DPS/90(базовая),PDS 8000,8/70/90(выходная) 0 ; компилятор языка 0 ; компилятор языка


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report:Honeywell bull,GCOS 8 Ada compiler,version 2.1,DPS 8000,DPS/8/70,DPS 90(host),PDS 8000,8/70,90(target) Выходные данные : Washington, 1988 Колич.характеристики :Разд.паг с Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компилятор языка Перейти к источнику в Интернете: Ada compiler validation summary report:Honeywell bull,GCOS 8 Ada compiler,version 2.1,DPS 8000,DPS/8/70,DPS 90(host),PDS 8000,8/70,90(target) VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

172

Ada compiler validation summary report:ALSYS ltd AlsyComp 023,version 3.2 IBM(host) to IBM 370 30840 MVS version 3.2(target) 0 ^aКраткий отчет о проверке компилятора языка Ада:ALSYS ltd AlsyComp 023,версия 3.2 ИБМ(базовая)-ИБМ 370 30840 MSV версия 3.2(выходная) 0 ; компилятор языка 0 ; компилятор языка


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report:ALSYS ltd AlsyComp 023,version 3.2 IBM(host) to IBM 370 30840 MVS version 3.2(target) Выходные данные : Washington, 1988 Колич.характеристики :38 c: ил Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компилятор языка Перейти к источнику в Интернете: Ada compiler validation summary report:ALSYS ltd AlsyComp 023,version 3.2 IBM(host) to IBM 370 30840 MVS version 3.2(target) VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

173

Ada compiler validation summary report:880815W1.09143 national VAX VMS,version 2.0.45 national:R1000 series 200 model 20,and VAX-11/750 0 ^aКраткий отчет о проверке компилятора языка Ада:880815W1.09143 нац.VAX/VMS,версия 2.0.45 нац.,R1000 серии 200 модель 20 и VAX-11/750 0 ; компилятор языка 0 ; компилятор языка


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report:880815W1.09143 national VAX VMS,version 2.0.45 national:R1000 series 200 model 20,and VAX-11/750 Выходные данные : Washington, 1988 Колич.характеристики :Разд.паг с Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компилятор языка Перейти к источнику в Интернете: Ada compiler validation summary report:880815W1.09143 national VAX VMS,version 2.0.45 national:R1000 series 200 model 20,and VAX-11/750 VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

174

Ada compiler validation summary report: verdix corporation, VAda-010-0101, version V5.5, DEC VAX II/750 host and target компилятор Компиляторы программ компилятор


MF-91-15919 Ada compiler validation summary report: verdix corporation, VAda-010-0101, version V5.5, DEC VAX II/750 host and target [Text] : mfishe. - Washington(DC) : [s. n.], 1988. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

175

Ada compiler validation summary report: telesoft IBM development system for the Ada language VM/CMS-AIX/RT Ada cross PC 6150-125 host and target Компиляторы программ


MF-91-15878 Ada compiler validation summary report: telesoft IBM development system for the Ada language VM/CMS-AIX/RT Ada cross PC 6150-125 host and target [Text] : mfiche(1). - Washington : [s. n.], 1988. - Pag.var. : ill. - 1.00 р. Библиогр.в кн.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

176

Ada compiler validation summary report: tartan laboratories incorporated, Tartan Ada VMS/ 1750A, version 2.OV, MicroVAX II, MIL-STD-1750A architecture host and target компилятор Компиляторы программ компилятор


MF-91-15914 Ada compiler validation summary report: tartan laboratories incorporated, Tartan Ada VMS/ 1750A, version 2.OV, MicroVAX II, MIL-STD-1750A architecture host and target [Text] : mfiche. - Washington(DC) : [s. n.], 1988. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

177

Ada compiler validation summary report: software leverage, Inc., sequent Ada, version 55.5.1, sequent symmetry S81(host and target), (880606WI.09066) компилятор Компиляторы программ компилятор


MF-91-15916 Ada compiler validation summary report: software leverage, Inc., sequent Ada, version 55.5.1, sequent symmetry S81(host and target), (880606WI.09066) [Text] : mfische. - Washington(DC) : [s. n.], 1988. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

178

Ada compiler validation summary report: softTech inc., Ada 86 version 3.21 VAX II/780-II/785 (host) to intel iaPX 80386P(target) компилятор Компиляторы программ компилятор


MF-91-15926 Ada compiler validation summary report: softTech inc., Ada 86 version 3.21 VAX II/780-II/785 (host) to intel iaPX 80386P(target) [Text] : mfiche. - Washington(DC) : [s. n.], 1988. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

179

Ada compiler validation summary report: meridian software systems, Inc., meridian AdaVantage 2.2., Zilog system 8000(host and target),(880605WI.09071) компилятор Компиляторы программ компилятор


MF-91-15922 Ada compiler validation summary report: meridian software systems, Inc., meridian AdaVantage 2.2., Zilog system 8000(host and target),(880605WI.09071) [Text] : mfiche. - Washington(DC) : [s. n.], 1989. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

180

Ada compiler validation summary report: meridian software system, Inc., meridian Ada vantage 2.2, IBM PS/2 model 30(host and target),(880605WI.09074) компилятор Компиляторы программ компилятор


MF-91-15917 Ada compiler validation summary report: meridian software system, Inc., meridian Ada vantage 2.2, IBM PS/2 model 30(host and target),(880605WI.09074) [Text] : mfiche. - Washington(DC) : [s. n.], 1989. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

181

Ada compiler validation summary report: irvine compiler corporation, ICC Ada, release 5.0, microVAX 2000(host) and intel 18096OKB(target), (880708WI.09139) компилятор Компиляторы программ компилятор


MF-91-15920 Ada compiler validation summary report: irvine compiler corporation, ICC Ada, release 5.0, microVAX 2000(host) and intel 18096OKB(target), (880708WI.09139) [Text] : mfiche. - Washington(DC) : [s. n.], 1989. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

182

Ada compiler validation summary report: data general corporation, ADE, version 3.00 MV/20000 host and target компилятор Компиляторы программ компилятор


MF-91-15925 Ada compiler validation summary report: data general corporation, ADE, version 3.00 MV/20000 host and target [Text] : mfiche. - Washington(DC) : [s. n.], 1988. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

183

Ada compiler validation summary report: compiler name: Tartan Ada sun/sun compiler version: version 2.0V certificate number: 88051911.09130 Компиляторы программ


MF-91-15888 Ada compiler validation summary report: compiler name: Tartan Ada sun/sun compiler version: version 2.0V certificate number: 88051911.09130 [Text] : mfiche(1). - Washington : [s. n.], 1988. - Pag.var. : ill. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

184

Ada compiler validation summary report: compiler name: MC68020/2000, version 2.0.30 certificate number: 880613W1.09085 Компиляторы программ


MF-91-15887 Ada compiler validation summary report: compiler name: MC68020/2000, version 2.0.30 certificate number: 880613W1.09085 [Text] : mfiche(1). - Washington : [s. n.], 1989. - Pag.var. : ill. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

185

Ada compiler validation summary report: compiler name: HP 9000 series 300 Ada compiler version on 3.25 certificate number 880429WI.09051 Компиляторы программ


MF-91-15889 Ada compiler validation summary report: compiler name: HP 9000 series 300 Ada compiler version on 3.25 certificate number 880429WI.09051 [Text] : mfiche(2). - Washington : [s. n.], 1988. - Pag.var. : ill. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

186

Ada compiler validation summary report: compiler name: Encore verdix Ada development system, version 5.5 certificate number: 880620W1.09002 Компиляторы программ


MF-91-15885 Ada compiler validation summary report: compiler name: Encore verdix Ada development system, version 5.5 certificate number: 880620W1.09002 [Text] : mfiche(1). - Washington : [s. n.], 1989. - Pag.var. : ill. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

187

Ada compiler validation summary report: compiler name: DACS-68020/SUN, version 4.2(1.0) certificate number: 88072851.09142 компилятор Компиляторы программ компилятор


MF-91-15924 Ada compiler validation summary report: compiler name: DACS-68020/SUN, version 4.2(1.0) certificate number: 88072851.09142 [Text] : mfiche. - Washington(DC) : [s. n.], 1988. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

188

Ada compiler validation summary report: compiler name: AFLEX Ada compiler, version 2.1 certificate number: 880523W1.09056 Компиляторы программ


MF-91-15886 Ada compiler validation summary report: compiler name: AFLEX Ada compiler, version 2.1 certificate number: 880523W1.09056 [Text] : mfiche(1). - Washington : [s. n.], 1989. - Pag.var. : ill. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

189

Ada compiler validation summary report: certification number: 88071551.09153 interACT corporation InterACT Ada 1750A compile system, release 3.0 VAX II/785 host, fairchild F9450/1750A target компилятор Компиляторы программ компилятор


MF-91-15923 Ada compiler validation summary report: certification number: 88071551.09153 interACT corporation InterACT Ada 1750A compile system, release 3.0 VAX II/785 host, fairchild F9450/1750A target [Text] : mfiche. - Washington(DC) : [s. n.], 1988. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

190

Ada compiler validation summary report: certificate nummer: 88021W1.09029 UNISYS TeleCen2 Ada compiler, version 3.20 UNISYS 500/80/90 компилятор Компиляторы программ компилятор


MF-91-15890 Ada compiler validation summary report: certificate nummer: 88021W1.09029 UNISYS TeleCen2 Ada compiler, version 3.20 UNISYS 500/80/90 [Text] : mfiche. - Washington(DC) : [s. n.], 1989. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

191

Ada compiler validation summary report: certificate nummer: 880219W1.09037 TELESOFT teleCen2 Ada development system, version 3.20 MicroVAX II to MC68020, implamented on a motorolaMVME 133A-20 board with an MC68881 floating-poind coprocessor компилятор Компиляторы программ компилятор


MF-91-15891 Ada compiler validation summary report: certificate nummer: 880219W1.09037 TELESOFT teleCen2 Ada development system, version 3.20 MicroVAX II to MC68020, implamented on a motorolaMVME 133A-20 board with an MC68881 floating-poind coprocessor [Text] : mfiche. - Washington(DC) : [s. n.], 1989. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

192

Ada compiler validation summary report: certificate number: 880728S1.09141 DDC-I, Inc.DACS-386/UNIX, version 4.2 ICL DRS 300 компилятор Компиляторы программ компилятор


MF-91-15898 Ada compiler validation summary report: certificate number: 880728S1.09141 DDC-I, Inc.DACS-386/UNIX, version 4.2 ICL DRS 300 [Text] : mfiche. - Washington(DC) : [s. n.], 1989. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

193

Ada compiler validation summary report: certificate number: 880708W1.09127 irvine compiler corporation ICC Ada, release 5.0 HP 9000 model 825 компилятор Компиляторы программ компилятор


MF-91-15895 Ada compiler validation summary report: certificate number: 880708W1.09127 irvine compiler corporation ICC Ada, release 5.0 HP 9000 model 825 [Text] : mfiche. - Washington(DC) : [s. n.], 1989. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

194

Ada compiler validation summary report: certificate number: 880613W1.090667 silicon graphics computer systems Ada, version 1.0 IRIS 300.series workstation, UNIX systems V, release CL2-W3.6 компилятор Компиляторы программ компилятор


MF-91-15894 Ada compiler validation summary report: certificate number: 880613W1.090667 silicon graphics computer systems Ada, version 1.0 IRIS 300.series workstation, UNIX systems V, release CL2-W3.6 [Text] : mfiche. - Washington(DC) : [s. n.], 1989. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

195

Ada compiler validation summary report: certificate number: 880613W.1.09062 MIPS computer systems MIPS/VADS, version 1.30 MIPS M/1000 компилятор Компиляторы программ компилятор


MF-91-15897 Ada compiler validation summary report: certificate number: 880613W.1.09062 MIPS computer systems MIPS/VADS, version 1.30 MIPS M/1000 [Text] : mfiche. - Washington(DC) : [s. n.], 1989. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

196

Ada compiler validation summary report: certificate number: 880610W1.90000 telesoft cray Ada compiler, release 1.0 cray X-MP Компиляторы программ


MF-91-15884 Ada compiler validation summary report: certificate number: 880610W1.90000 telesoft cray Ada compiler, release 1.0 cray X-MP [Text] : mfiche(1). - Washington : [s. n.], 1988. - Pag.var. : ill. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

197

Ada compiler validation summary report: certificate number: 880610W1.09100 telesoft cray Ada compiler, release 1.0 cray-2 Компиляторы программ


MF-91-15883 Ada compiler validation summary report: certificate number: 880610W1.09100 telesoft cray Ada compiler, release 1.0 cray-2 [Text] : mfiche(1). - Washington : [s. n.], 1988. - Pag.var. : ill. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

198

Ada compiler validation summary report: certificate number: 880610W1.09098 TELESOFT IBM development system for the Ada language AIX/RT Ada compiler version 1.1.0 IBM RT PC 6150-125 компилятор Компиляторы программ компилятор


MF-91-15903 Ada compiler validation summary report: certificate number: 880610W1.09098 TELESOFT IBM development system for the Ada language AIX/RT Ada compiler version 1.1.0 IBM RT PC 6150-125 [Text] : mfiche. - Washington(DC) : [s. n.], 1989. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

199

Ada compiler validation summary report: certificate number: 880610W1.09096 TELESOFT Macintosh TeleCen2 Ada, version 1.2 Macintosh II компилятор Компиляторы программ компилятор


MF-91-15899 Ada compiler validation summary report: certificate number: 880610W1.09096 TELESOFT Macintosh TeleCen2 Ada, version 1.2 Macintosh II [Text] : mfiche. - Washington(DC) : [s. n.], 1989. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

200

Ada compiler validation summary report: certificate number: 880610W1.09089 telesoft sun Ada, version 1.3 sun microsystems, Sun-4 workstation(SPARC processor): Completion of on-s ite testing... Компиляторы программ


MF-91-15879 Ada compiler validation summary report: certificate number: 880610W1.09089 telesoft sun Ada, version 1.3 sun microsystems, Sun-4 workstation(SPARC processor): Completion of on-s ite testing... [Text] : mfiche(1). - Washington : [s. n.], 1988. - Pag.var. : ill. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

201

Ada compiler validation summary report: certificate number: 880605W1.09078 meridian software systems, Inc. meridian AdaVantage 2.2 zenith 2-248 компилятор Компиляторы программ компилятор


MF-91-15900 Ada compiler validation summary report: certificate number: 880605W1.09078 meridian software systems, Inc. meridian AdaVantage 2.2 zenith 2-248 [Text] : mfiche. - Washington(DC) : [s. n.], 1989. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

202

Ada compiler validation summary report: certificate number: 880605W1.09076 meridian AdaVantage 2.2 ITT XTRA/286 компилятор Компиляторы программ компилятор


MF-91-15892 Ada compiler validation summary report: certificate number: 880605W1.09076 meridian AdaVantage 2.2 ITT XTRA/286 [Text] : mfiche. - Washington(DC) : [s. n.], 1989. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

203

Ada compiler validation summary report: certificate number: 880605W1.09073 meridian software systems, Inc.meridian AdaVantage 2.2 Apple Macintosh plus компилятор Компиляторы программ компилятор


MF-91-15893 Ada compiler validation summary report: certificate number: 880605W1.09073 meridian software systems, Inc.meridian AdaVantage 2.2 Apple Macintosh plus [Text] : mfiche. - Washington(DC) : [s. n.], 1989. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

204

Ada compiler validation summary report: certificate number: 880318WI.09043 international business machines corporation IBM development system for the Ada language, version 2.1.0 IBM 4381 under VM/HPO, host IBM 4381 under MVS/XA, target компилятор Компиляторы программ компилятор


MF-91-15918 Ada compiler validation summary report: certificate number: 880318WI.09043 international business machines corporation IBM development system for the Ada language, version 2.1.0 IBM 4381 under VM/HPO, host IBM 4381 under MVS/XA, target [Text] : mfiche. - Washington(DC) : [s. n.], 1989. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

205

Ada compiler validation summary report: certificate number: 880318W1.09042 international business machines corporation IBM development system for the Ada language, version 2.1.0 IBM 4381 under MVS/XA, host and target компилятор Компиляторы программ компилятор


MF-91-15901 Ada compiler validation summary report: certificate number: 880318W1.09042 international business machines corporation IBM development system for the Ada language, version 2.1.0 IBM 4381 under MVS/XA, host and target [Text] : mfiche. - Washington(DC) : [s. n.], 1989. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

206

Ada compiler validation summary report: certificate number: 880318W1.09041 international business machiness corporation INM development system for the Ada language, version 2.1.0 IBM 4381 under VM/HPO, host and target компилятор Компиляторы программ компилятор


MF-91-15902 Ada compiler validation summary report: certificate number: 880318W1.09041 international business machiness corporation INM development system for the Ada language, version 2.1.0 IBM 4381 under VM/HPO, host and target [Text] : mfiche. - Washington(DC) : [s. n.], 1989. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

207

Ada compiler validation summary report: certificate number: 880201 W1.09021 verdix corporation VAda-010-32315, Version 5.5 intel system 320 host intel ISBC 386/20 компилятор Компиляторы программ компилятор


MF-91-15896 Ada compiler validation summary report: certificate number: 880201 W1.09021 verdix corporation VAda-010-32315, Version 5.5 intel system 320 host intel ISBC 386/20 [Text] : mfiche. - Washington(DC) : [s. n.], 1989. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

208

Ada compiler validation summary report: Rolm milspec computers, ADE/32 revision 3.00 host: MV/20000; target Rolm hawk/32 Компиляторы программ


MF-91-15881 Ada compiler validation summary report: Rolm milspec computers, ADE/32 revision 3.00 host: MV/20000; target Rolm hawk/32 [Text] : mfiche(1). - Washington : [s. n.], 1988. - Pag.var. : ill. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

209

Ada compiler validation summary report: ALSYS LTD AlsyComp 023, version 3.2 IBM(host) to IBM 370 30840 MVS version 3.2(target) Компиляторы программ


MF-91-15880 Ada compiler validation summary report: ALSYS LTD AlsyComp 023, version 3.2 IBM(host) to IBM 370 30840 MVS version 3.2(target) [Text] : mfiche(1). - Washington : [s. n.], 1988. - 38 p. : ill. - 1.00 р. Указ.в конце текстаГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

210

Ada compiler validation summary report: 880815W1.09143 national VAX VMS, version 2.0.45 national: R1000 series 20200 model 20, and VAX-11/750 Компиляторы программ


MF-91-15882 Ada compiler validation summary report: 880815W1.09143 national VAX VMS, version 2.0.45 national: R1000 series 20200 model 20, and VAX-11/750 [Text] : mfiche(1). - Washington : [s. n.], 1988. - Pag.var. : ill. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

211

Ada compiler validation summary report компилятор Компиляторы программ компилятор


MF-91-15905 Ada compiler validation summary report [Text] : certificate number 880605W1.09075 meridian software systems, Inc.meridian AdaVantage 2.2 IBM PS/2 model 60Mfiche. - Washington(DC) : [s. n.], 1989. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

212

Ada compiler validation summary report компилятор Компиляторы программ компилятор


MF-91-15904 Ada compiler validation summary report [Text] : certificate number: 880605W1.09077 meridian software systems, inc.meridian AdaVantage 2.2.ALR 386/2Mfiche. - Washington(DC) : [s. n.], 1989. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

213

Ada compiler validation summary report компилятор Компиляторы программ компилятор


MF-91-15915 Ada compiler validation summary report [Text] : honeywell bull, GCOS 8 Ada compiler, version 2.1, DPS 8000, DPS/8/70, DPS 90(host) DPS 8000, 8/70, 90(target)Mfiche. - Washington(DC) : [s. n.], 1988. - Pag.var. - 1.00 р.ГРНТИ 50.41УДК 004.422.8'422(086.2) Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Экз-ры: ХР(1), (1) VALIDATION$

State Public Technical Library of Russia (Russian)

214

Ada compiler validation summary report 0 ^aСводный отчет об утверждении программы-компилятора на языке Ада:Версия 6.0 (аттестация 010-1010) системы компилятора на языке Ада 0 ; программа-компилятор Библиогр. в тексте 0 ; программа-компилятор


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation summary report : Verdix Ada compiler system (validation 010-1010) version 6.0/Ada validation facility Выходные данные : Washington, 1986 Колич.характеристики :Разд. паг с.: ил Примечания : ; Библиогр. в тексте Цена : Б.ц. ГРНТИ : ; 50.05.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; программа-компилятор Перейти к источнику в Интернете: Ada compiler validation summary report VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

215

Ada compiler validation sumary report:certificate number:880728S1.09141 DDC-I,Inc.DACS-386/UNIX,version 4.2 LCI DRS 300 0 ^aКраткий отчет о проверке компилятора языка Ада:сертификац.номер:880728S1.09141 DDC-1,inc.DACS-386/UNIX,версия 4.2LCL DRS 300 0 ; компилятор языка 0 ; компилятор языка


Вид документа : Однотомное издание Шифр издания : K Заглавие : Ada compiler validation sumary report:certificate number:880728S1.09141 DDC-I,Inc.DACS-386/UNIX,version 4.2 LCI DRS 300 Выходные данные : Washington, 1989 Колич.характеристики :Разд.паг с Цена : Б.ц. ГРНТИ : ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; компилятор языка Перейти к источнику в Интернете: Ada compiler validation sumary report:certificate number:880728S1.09141 DDC-I,Inc.DACS-386/UNIX,version 4.2 LCI DRS 300 VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

216

Acoustic wave propagation in heterogeneous structures including experimental validation Rep./AIAA; 89-1044 0 ^aРаспространение акустических волн в гетерогенных структурах, включая экспериментальное подтверждение 0 ; распространение акустической волны Библиогр.: с. 7 0 ; распространение акустической волны

Dahl, M.D.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Baumeister K.J., Dahl M.D. Заглавие : Acoustic wave propagation in heterogeneous structures including experimental validation Выходные данные : New York, 1989 Колич.характеристики :11 с: ил Серия: Rep./AIAA; 89-1044 Примечания : ; Библиогр.: с. 7 Цена : Б.ц. ГРНТИ : ; 29.37.03 + ; 30.51.21 Ключевые слова (''Своб.индексиров.''): 0 ; распространение акустической волны Перейти к источнику в Интернете: Acoustic wave propagation in heterogeneous structures including experimental validation, Перейти к источнику в Интернете:  Доп.точки доступа: Dahl, M.D. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

217

A validation of a Navier-Stokes 2D solver for transonic turbine cascade flows Rep./AIAA 0 ^aРешающее устройство для решения двумерных уравнений Навье-Стокса, описывающих околозвуковые течения в турбинных решетках 0 ; околозвуковое течение в турбинной решетке Библиогр.: с. 9 0 ; околозвуковое течение в турбинной решетке

Terlizzi, A.; Grasso, F.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Colantuoni S., Terlizzi A., Grasso F. Заглавие : A validation of a Navier-Stokes 2D solver for transonic turbine cascade flows Выходные данные : Washington, 1989 Колич.характеристики :9 с: ил Серия: Rep./AIAA; N 89-2451 Примечания : ; Библиогр.: с. 9 Цена : Б.ц. ГРНТИ : ; 55.37.29 Ключевые слова (''Своб.индексиров.''): 0 ; околозвуковое течение в турбинной решетке Перейти к источнику в Интернете: A validation of a Navier-Stokes 2D solver for transonic turbine cascade flows, Перейти к источнику в Интернете:  Доп.точки доступа: Terlizzi, A.; Grasso, F. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

218

A semi-analytical approach validation for airblast atomizers Rep./AIAA 0 ^aОценка полуаналитического метода расчета струйных форсунах 0 ; расчет струйных форсун Библиогр.: с. 8 0 ; расчет струйных форсун

Mongia, H.C.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Rizk N.K., Mongia H.C. Заглавие : A semi-analytical approach validation for airblast atomizers Выходные данные : New York, 1990 Колич.характеристики :8 с Серия: Rep./AIAA; N 90-0361 Примечания : ; Библиогр.: с. 8 Цена : Б.ц. ГРНТИ : ; 55.42.47 Ключевые слова (''Своб.индексиров.''): 0 ; расчет струйных форсун Перейти к источнику в Интернете: A semi-analytical approach validation for airblast atomizers, Перейти к источнику в Интернете:  Доп.точки доступа: Mongia, H.C. VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

219

A formal language to describe a wide class of failure detection and signal validation procedures KFKI/Kozp.fiz.kut.int. 0 ^aФормальный язык для описания широкого класса процедур детекции отказов и беспристрастной выборки сигналов Hung.acad.of sciences,Centr.research inmst.for physics 0 ; ядерные реакторы, реяд Библиогр.: с.27-30 0 ; ядерные реакторы, реяд


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Racz A. Заглавие : A formal language to describe a wide class of failure detection and signal validation procedures Выходные данные : Budapest: Hung.acad.of sciences,Centr.research inmst.for physics, 1995 Колич.характеристики :30 c Серия: KFKI/Kozp.fiz.kut.int.; N1995-06/G.Report Примечания : ; Библиогр.: с.27-30 Цена : Б.ц. ГРНТИ : ; 47.05.17 + ; 58.33.01 Ключевые слова (''Своб.индексиров.''): 0 ; ядерные реакторы, реяд Перейти к источнику в Интернете: A formal language to describe a wide class of failure detection and signal validation procedures VALIDATION$

The Russian Union Catalog of Scientific Literature (Russian)

220

Kanavos, Panos; Vandoros, Sotiris

DRIVER (Russian)

221

3-D combustor performance validation with high density fuels [Reports] American institute of aeronautics and astronautics(New York)

Mongia, H.; Amer.inst.of aeronautics and astronautics(New York)

R/2668/89-0219 American institute of aeronautics and astronautics(New York). [Reports] [Text] / Amer.inst.of aeronautics and astronautics. - Washington : [s. n.].N 89-0219 : A 3-D combustor performance validation with high density fuels : rep.presented at 27th aerospace sciences meet.,Jan.9-12,1989/Reno(Nv) / N.Rizk,H. Mongia. - New York : [s. n.], 1989. - 9 p. : ill. - 1.50 р.ГРНТИ 89.0173.37УДК 629.73(05)629.78(05) Держатели документа: ГПНТБ России Доп.точки доступа: Mongia, H. ; Amer.inst.of aeronautics and astronautics(New York) Экз-ры: ХР(1) Копия: мкф., Шифр MR-90417 VALIDATION$

State Public Technical Library of Russia (Russian)

222

/Reports/ Validation of an efficient and accurate turbomachinery CFD analysis procedure

Bache, G.E.; Thomas, M.E.

R/2668/N 90-0681/1 Bache, G. E. Validation of an efficient and accurate turbomachinery CFD analysis procedure [Text] : rep.presented at the 28th aerospace sciences meet.,Jan.8-11,1990,Reno,Nv. / Bache G.E.,Thomas M.E.,Bache G.E.,Thomas M.E. - Washington : [s. n.].Pt. 1. - 1990. - 11 p. : ill. - (/Reports/ / American institute of aeronautics and astronautics(New York) ; n 90-0681). - 1.50 р. Библиогр.: с.11 Держатели документа: ГПНТБ России Доп.точки доступа: Bache, G.E.; Thomas, M.E. Экз-ры: ХР(1), (4) Копия: мкф., Шифр MR-93471 VALIDATION$

State Public Technical Library of Russia (Russian)