Sample records for ДОСТОВЕРНОСТЬ ИНФОРМАЦИИ (verification)
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) VERIFICATION$

State Public Technical Library of Russia (Russian)

2

Decision problems in systolic circuit verification 0 ; арифметические устройства; логические устройства; верификация; проверка Текст на англ. яз.-Библиогр.: с. 183-186.-Указ.: с. 187-191 0 ; арифметические устройства; логические устройства; верификация; проверка


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Abdulla, Parosh Aziz Заглавие : Decision problems in systolic circuit verification : Diss. Выходные данные : Uppsala, 1990 Колич.характеристики :191 с: ил Примечания : ; Текст на англ. яз.-Библиогр.: с. 183-186.-Указ.: с. 187-191 Цена : Б.ц. ГРНТИ : ; 50.09.31 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; арифметические устройства; логические устройства; верификация; проверка Перейти к источнику в Интернете: Decision problems in systolic circuit verification VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

3

Formal hardware verification: methods a. systems in comparison Lecture notes in computer science 0 ^aФормальная проверка аппаратных средств: методы и системы в сравнении Springer 0 ; проверка аппаратных средств 0 ; проверка аппаратных средств Библиогр.: c.349-367 0 ; проверка аппаратных средств

Kropf, T.

Вид документа : Однотомное издание Шифр издания : K Заглавие : Formal hardware verification: methods a. systems in comparison Выходные данные : Berlin etс: Springer, 1997 Колич.характеристики :XII,367 c: ил Серия: Lecture notes in computer science, ISSN 0302-9743; Vol.1287 Примечания : ; Библиогр.: c.349-367 ISBN, Цена 3-540-63475-4: Б.ц. ГРНТИ : ; 50.07.07 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; проверка аппаратных средств Перейти к источнику в Интернете: Formal hardware verification: methods a. systems in comparison Доп.точки доступа: Kropf, T. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

4

3-D axial blade row flow field inviscid finite volume prediction and verification Rep./AIAA; 87-0432, AIAA 25 th aerospace sciences meet. Jan. 12-15, 1987/Reno (Nv) 0 ^aРасчет невязким методом конечных объемов пространственного поля обтекания ряда трехмерных осевых лопаток и проверка 0 ; обтекание лопаток Библиогр.: с. 7 0 ; обтекание лопаток

Fleeter, S.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Zacharias R.M., Fleeter S. Заглавие : 3-D axial blade row flow field inviscid finite volume prediction and verification Выходные данные : New York, 1987 Колич.характеристики :11 с: ил Серия: Rep./AIAA; 87-0432, AIAA 25 th aerospace sciences meet. Jan. 12-15, 1987/Reno (Nv) Примечания : ; Библиогр.: с. 7 Цена : Б.ц. ГРНТИ : ; 30.17.53 + ; 55.37.29 Ключевые слова (''Своб.индексиров.''): 0 ; обтекание лопаток Перейти к источнику в Интернете: 3-D axial blade row flow field inviscid finite volume prediction and verification Доп.точки доступа: Fleeter, S. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

5

Experimental verification of an aerial spray model in complex terrain Paper/Amer. soc. of agr. engineers; 87-1540 0 ^aЭкспериментальная проверка компьютерной модели равномерности распределения ядохимикатов при авиаопрыскивании лесных массивов в холмистой местности 0 ; компьютерная модель; ядохимикаты; авиаопрыскивание; лесные массивы; холмистая местность Библиогр.: с. 7 0 ; компьютерная модель; ядохимикаты; авиаопрыскивание; лесные массивы; холмистая местность

Barry, J.W.; Bilanin, A.; Hauser, R.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Ekblad R.B., Barry J.W., Bilanin A., Hauser R. Заглавие : Experimental verification of an aerial spray model in complex terrain Выходные данные : St. Joseph (Mich.), 1987 Колич.характеристики :7, 9 л с.: ил Серия: Paper/Amer. soc. of agr. engineers; 87-1540 Примечания : ; Библиогр.: с. 7 Цена : Б.ц. ГРНТИ : ; 68.47.37 Ключевые слова (''Своб.индексиров.''): 0 ; компьютерная модель; ядохимикаты; авиаопрыскивание; лесные массивы; холмистая местность Перейти к источнику в Интернете: Experimental verification of an aerial spray model in complex terrain Доп.точки доступа: Barry, J.W.; Bilanin, A.; Hauser, R. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

6

Verification of a generalized failure criterion for an S-glass/epoxy to rubber bond [Reports] Проверка обобщенного критерия разрушения для стекла S-эпоксида применительно к присоединению каучука American institute of aeronautics and astronautics(New York) стекло;эпоксид;каучук стекло;эпоксид;каучук

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

R/2668/90-2214 American institute of aeronautics and astronautics(New York). [Reports] [Text] / Amer.inst.of aeronautics and astronautics. - Washington : [s. n.].N 90-2214 : Verification of a generalized failure criterion for an S-glass/epoxy to rubber bond : rep.presented at the AIAA/SAE/ASME/ASEE 26th joint propulsion conf.,July 16-18,1990,Orlando(Fl) / W.King. - New York : [s. n.], 1990. - 5 p. : ill. - 1.50 р. Перевод заглавия: Проверка обобщенного критерия разрушения для стекла S-эпоксида применительно к присоединению каучукаПеревод заглавия: Проверка обобщенного критерия разрушения для стекла S-эпоксида применительно к присоединению каучукаГРНТИ 55.49.0955.09.35 Держатели документа: ГПНТБ России Доп.точки доступа: Amer.inst.of aeronautics and astronautics(New York) Экз-ры: ХР(1) Копия: мкф., Шифр MR-94364 VERIFICATION$

State Public Technical Library of Russia (Russian)

7

Theoretical compressible flow in generic bore evacuators and experimental verification Rep./AIAA; 89-0652 0 ^aТеоретический сжимаемый поток в родовых канальных эвакуаторах и экспериментальная проверка 0 ; канальные эвакуаторы Библиогр.: с. 7 0 ; канальные эвакуаторы

Nagamatsu, H.; Duffy, R.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Andrade C., Nagamatsu H., Duffy R. Заглавие : Theoretical compressible flow in generic bore evacuators and experimental verification Выходные данные : New York, 1989 Колич.характеристики :10 с: ил Серия: Rep./AIAA; 89-0652 Примечания : ; Библиогр.: с. 7 Цена : Б.ц. ГРНТИ : ; 30.17.53 Ключевые слова (''Своб.индексиров.''): 0 ; канальные эвакуаторы Перейти к источнику в Интернете: Theoretical compressible flow in generic bore evacuators and experimental verification Доп.точки доступа: Nagamatsu, H.; Duffy, R. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

8

Theoretical analysis of silica-reinforced material ablation and its experimental verification Rep./AIAA; 88-2670, AIAA thermophysics, plasmadynamics and lasers conf. June 27-29, 1988/San Antonio (Tx) 0 ^aТеоретический анализ абляции материала, армированного кремнием, и его экспериментальная проверка 0 ; абляция материала; армирование кремнием Библиогр.: с. 5 0 ; абляция материала; армирование кремнием

Li, J.-C.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Liu Z.-M., Li J.-C. Заглавие : Theoretical analysis of silica-reinforced material ablation and its experimental verification Выходные данные : New York, 1988 Колич.характеристики :5 с: ил Серия: Rep./AIAA; 88-2670, AIAA thermophysics, plasmadynamics and lasers conf. June 27-29, 1988/San Antonio (Tx) Примечания : ; Библиогр.: с. 5 Цена : Б.ц. ГРНТИ : ; 55.49.09 Ключевые слова (''Своб.индексиров.''): 0 ; абляция материала; армирование кремнием Перейти к источнику в Интернете: Theoretical analysis of silica-reinforced material ablation and its experimental verification, Перейти к источнику в Интернете:  Доп.точки доступа: Li, J.-C. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

9

Design and thermal verification of the space shuttle redesigned solid rocket motor field joint Rep./AIAA 0 ^aРасчет и тепловая проверка соединений модифицированного ракетного двигателя твердого топлива для челночного КЛА 0 ; ракетный двигатель; твердое топливо; КЛА Библиогр.: с.7. 0 ; ракетный двигатель; твердое топливо; КЛА

Eddy, N.; Gruet, L.; Maw, J.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Perry M., Eddy N., Gruet L., Maw J. Заглавие : Design and thermal verification of the space shuttle redesigned solid rocket motor field joint Выходные данные : Washington, 1989 Колич.характеристики :7 с: ил Серия: Rep./AIAA; N 89-2775 Примечания : ; Библиогр.: с.7. Цена : Б.ц. ГРНТИ : ; 55.42.49 Ключевые слова (''Своб.индексиров.''): 0 ; ракетный двигатель; твердое топливо; кла Перейти к источнику в Интернете: Design and thermal verification of the space shuttle redesigned solid rocket motor field joint, Перейти к источнику в Интернете:  Доп.точки доступа: Eddy, N.; Gruet, L.; Maw, J. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

10

Construction quality control and post-construction performance verification for the gibson road hazardous waste site cutoff wall Publ./US. Environmental protection agency; 0 ^aКонтроль качества строительства и последующая проверка рабочих характеристик замка плотины с площадкой для вредных отходов и с подъездной дорогой типа

Ayres, J.E.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Barvenik M.J., Ayres J.E. Заглавие : Construction quality control and post-construction performance verification for the gibson road hazardous waste site cutoff wall Выходные данные : Cincinnati (Oh.), 1987 Колич.характеристики :258 с: ил Серия: Publ./US. Environmental protection agency; Примечания : ; Библиогр. в тексте Цена : Б.ц. ГРНТИ : ; 70.17.29 + ; 87.53.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; качество строительства; рабочие характеристики замка плотины; площадка для вредных отходов; подъездная дорога типа "гибсон" Перейти к источнику в Интернете: Construction quality control and post-construction performance verification for the gibson road hazardous waste site cutoff wall Доп.точки доступа: Ayres, J.E. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

11

Construction quality control and post-construction performance verification for the gibson road hazardous waste site cutoff wall Publication 0 ^aКонтроль качества строительства и последующая проверка рабочих характеристик замка плотины с площадкой для вредных отходов и с подъездной дорогой типа

Ayres, J.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Barvenik M.J., Ayres J. Заглавие : Construction quality control and post-construction performance verification for the gibson road hazardous waste site cutoff wall Выходные данные : Cincinnati (Oh.), 1987 Колич.характеристики :258 с: ил Серия: Publication/ US. Environmental protection agency Примечания : ; Библиогр. в тексте Цена : Б.ц. ГРНТИ : ; 70.17.29 + ; 87.53.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; контроль; качество; строительство; замок; плотина; вредные отходы; захоронение Перейти к источнику в Интернете: Construction quality control and post-construction performance verification for the gibson road hazardous waste site cutoff wall Доп.точки доступа: Ayres, J. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

12

Turbulent hydrocarbon combustions kinetics stochastic modeling and verification Rep./AIAA 0 ^aСтохастическое моделирование и проверка кинетики турбулентного сжигания углеводородных топлив 0 ; сжигание углеводородного топлива Библиогр.: с. 6 0 ; сжигание углеводородного топлива

Farmer, R.C.; Tucker, K.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Wang T.S., Farmer R.C., Tucker K. Заглавие : Turbulent hydrocarbon combustions kinetics stochastic modeling and verification Выходные данные : New York, 1989 Колич.характеристики :6 с: ил Серия: Rep./AIAA; N 89-0486 Примечания : ; Библиогр.: с. 6 Цена : Б.ц. ГРНТИ : ; 55.42.47 Ключевые слова (''Своб.индексиров.''): 0 ; сжигание углеводородного топлива Перейти к источнику в Интернете: Turbulent hydrocarbon combustions kinetics stochastic modeling and verification, Перейти к источнику в Интернете:  Доп.точки доступа: Farmer, R.C.; Tucker, K. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

13

Experimental verification of scaling parameters for thermal stratification Rep./AIAA;90-0514 0 ^aЭкспериментальная проверка параметров подобия для тепловой стратификации 0 ; тепловая стратификация Библиогр.:с.11 0 ; тепловая стратификация

Hochstein J.I.; Schwartz S.H.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Ji H.-C., Hochstein J.I., Schwartz S.H. Заглавие : Experimental verification of scaling parameters for thermal stratification Выходные данные : Washington, 1990 Колич.характеристики :11 c: ил Серия: Rep./AIAA;90-0514 Примечания : ; Библиогр.:с.11 Цена : Б.ц. ГРНТИ : ; 55.42.49 Ключевые слова (''Своб.индексиров.''): 0 ; тепловая стратификация Перейти к источнику в Интернете: Experimental verification of scaling parameters for thermal stratification Доп.точки доступа: Hochstein J.I.; Schwartz S.H. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

14

Summary of 1993 Atlantic tropical cyclone activity and verification of author's forecast 0 ^aСводка об активности атлантического тропического циклона в 1993 г. и проверка прогноза автора 0 ; атлантический тропический циклон;прогноз 0 ; атлантический тропический циклон;прогноз


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Gray W.M. Заглавие : Summary of 1993 Atlantic tropical cyclone activity and verification of author's forecast Выходные данные : Fort Collins, 1993 Колич.характеристики :19 c Цена : Б.ц. ГРНТИ : ; 37.21.37 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; атлантический тропический циклон;прогноз Перейти к источнику в Интернете: Summary of 1993 Atlantic tropical cyclone activity and verification of author's forecast VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

15

Lower hybrid current drive models and their verification with ASDEX data-conceptual design study of FY86 FER JAERI-M rep./Japan atomic energy resear4ch inst.;1987,N177 0 ^aМодели нижнегибридного возбуждения тока в плазме и их проверка при помощи данных ASDEX - изучение концептуального проекта реактора FY86 FER JAERI 0 ; нижнегибридное возбуждение тока;плазма Рез.яп.-Библиогр.:с.12 0 ; нижнегибридное возбуждение тока;плазма

Matsuura H.; Koazaki T.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Yoshioka K., Matsuura H., Koazaki T. Заглавие : Lower hybrid current drive models and their verification with ASDEX data-conceptual design study of FY86 FER Выходные данные : Tokyo: JAERI, 1987 Колич.характеристики :III,18 c: ил Серия: JAERI-M rep./Japan atomic energy resear4ch inst.;1987,N177 Примечания : ; Рез.яп.-Библиогр.:с.12 Цена : Б.ц. ГРНТИ : ; 58.34.29 Ключевые слова (''Своб.индексиров.''): 0 ; нижнегибридное возбуждение тока;плазма Перейти к источнику в Интернете: Lower hybrid current drive models and their verification with ASDEX data-conceptual design study of FY86 FER Доп.точки доступа: Matsuura H.; Koazaki T. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

16

Спец.вып.Proceedings of the International conference on numerical analysis with automatic result verification Lafayette,Louisiana.USA.February 25-March 1.1993. Интервальные вычисления Институт новых технологий(Санкт-Петербург) 42176; Численные методы, Съезды и конференции

Институт новых технологий(Санкт-Петербург)

М/49921/3 Интервальные вычисления [Текст] : сб.ст. / Ин-т новых технологий. - СПб;М. : [б. и.].N 3 : Спец.вып.Proceedings of the International conference on numerical analysis with automatic result verification Lafayette,Louisiana.USA.February 25-March 1.1993. - 1993. - 212 с. : ил. - 500 экз. - Б. ц. Текст англ.Библиогр.в конце ст.ГРНТИ 27.41УДК 519.6(05) Рубрики: Численные методы--Съезды и конференции Держатели документа: ГПНТБ России Доп.точки доступа: Институт новых технологий(Санкт-Петербург) Экз-ры: фмз(1), хр(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

17

Спец.вып.:Proceedings of the International conference on numerical analysis with automatic result verification lafayette,Louisiana.USR,Fefruary 25-March 1,1993 Интервальные вычисления Институт новых технологий(Санкт-Петербург) 42176; Численные методы, Съезды и конференции

Институт новых технологий(Санкт-Петербург)

М/49921/2 Интервальные вычисления [Text] : сб.ст. / Ин-т новых технологий. - СПб;М. : [s. n.].N 2 : Спец.вып.:Proceedings of the International conference on numerical analysis with automatic result verification lafayette,Louisiana.USR,Fefruary 25-March 1,1993. - 1993. - 211 с. : ил. - 500 экз. - Б. ц. Библиогр.в конце ст.Текст англ.ГРНТИ 27.41УДК 519.6(05) Рубрики: Численные методы--Съезды и конференции Держатели документа: ГПНТБ России Доп.точки доступа: Институт новых технологий(Санкт-Петербург) Экз-ры: хр(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

18

Спец. вып.Proceedings of the international conference on numerical analysis with automatic result verification lafayette.Louisiana,USA,February 25 - march 1,1993 Интервальные вычисления Институт новых технологий(Санкт-Петербург) Интервальный анализ

Институт новых технологий(Санкт-Петербург)

М/49921/1(1993)а Интервальные вычисления [Текст] : сб.ст. / Ин-т новых технологий. - СПб;М. : [б. и.].N 1(1993)а : Спец. вып.Proceedings of the international conference on numerical analysis with automatic result verification lafayette.Louisiana,USA,February 25 - march 1,1993. - 1993. - 220 с. - 500 экз. - Б. ц. Текст англ. Библиогр. в конце стГРНТИ 27.41.23УДК 519.6(05) Рубрики: Интервальный анализ Держатели документа: ГПНТБ России Доп.точки доступа: Институт новых технологий(Санкт-Петербург) Экз-ры: хр(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

19

Спец. вып.Proceedings of the international conference on numerical analysis with automatic result verification lafayette.Louisiana,USA,February 25 - march 1,1993 Интервальные вычисления ^aThe use of information on the type of monotony for better estimation of the values range of real function Текст англ. 0 ; Интервальный анализ, анин


Вид документа : Однотомное издание Шифр издания : Заглавие : Спец. вып.Proceedings of the international conference on numerical analysis with automatic result verification lafayette.Louisiana,USA,February 25 - march 1,1993 Выходные данные : Б.м., 1993 Колич.характеристики :220с. Серия: Интервальные вычисления/ Ин-т новых технологий, ISSN 01354868; N1 Примечания : ; Библиогр. в конце ст. - Текст англ. Цена : Б.ц. ГРНТИ : ; 27.41 УДК : 681.3.05(05) Предметные рубрики: Интервальный анализ Содержание : Перейти к источнику в Интернете: Спец. вып.Proceedings of the international conference on numerical analysis with automatic result verification lafayette.Louisiana,USA,February 25 - march 1,1993, Перейти к источнику в Интернете: , Перейти к источнику в Интернете: , Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

20

Система контроля за топологией интегральной схемы DRACULA.Базовый справочник пользователя. Т.1. В 6-ти кн Dracula Integrated Circuit Layout Verification System Volume 1 User's Reference Manual схемная часть возвращение в исходное состояние интегральная схема команды описания с хемы команды описания слоя маркеры ввода синтаксис входа и условные обозначения топология схемная часть возвращение в исходное состояние интегральная схема команды описания с хемы команды описания слоя маркеры ввода синтаксис входа и условные обозначения Интегральные схемы топология схемная часть возвращение в исходное состояние интегральная схема команды описания с хемы команды описания слоя маркеры ввода синтаксис входа и условные обозначения


96/228 Система контроля за топологией интегральной схемы DRACULA.Базовый справочник пользователя. Т.1. В 6-ти кн [Текст] / ВЦП.Минская ред. - [Б. м. : б. и.]. - 396 c. : ил. - англ. - Пер. материала фирмы: Dracula Integrated Circuit Layout Verification System Volume 1 User's Reference Manual / Daisy System Corp.(США). - S.l., 1986. - 350 p. - Б. ц.ГРНТИ 47.33.3150.51.1950.01.81 Рубрики: Интегральные схемы Держатели документа: ГПНТБ России Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

21

Сейсмический контроль за соблюдением договоров о ядерных испытаниях Seismic verification of nuclear testing treaties Мир США.Конгресс.Упр.технологии ядерный взрыв Ядерные взрывы, , взяд ядерный взрыв

Адушкин, В. В. ред.; США.Конгресс.Упр.технологии

Д8-92/6391 Сейсмический контроль за соблюдением договоров о ядерных испытаниях [Текст] : монография / Конгресс США. Упр. технологии ; Пер. с англ. Ю. В. Казаковой; Под ред. В.В.Адушкина, А.А.Спивака. - М. : Мир, 1992. - 215 с. : ил. - Пер. изд. : Seismic verification of nuclear testing treaties. - S.l., s.a. - 300 экз. - ISBN 5-03-001866-2 : Б. ц. Библиогр.: с. 204-206 (55 назв.). Предм. указ.: с.212-214ГРНТИ 58.37.01УДК 623.454.82349.7 Рубрики: Ядерные взрывы Держатели документа: ГПНТБ России Доп.точки доступа: Адушкин, В. В. \ред.\; США.Конгресс.Упр.технологии Экз-ры: хр(2) VERIFICATION$

State Public Technical Library of Russia (Russian)

22

Руководство пользователя по системе проверки компоновки интегральных схем


96/53 Руководство пользователя по системе проверки компоновки интегральных схем "Дракула". Т.2. В 4-х кн. [Текст] / ВЦП.Минская ред. - [Б. м. : б. и.]. - 241 c. : ил. - англ. - Пер. материала фирмы: Dracula integrated circuit layout verification system& User s Reference Manual. V.2 / Daisy System Corp. - S.l., 1988. - Vol. 2. - 275 p. - Б. ц.ГРНТИ 47.33.31 Рубрики: Интегральные схемы большие Держатели документа: ГПНТБ России Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

23

Исследование вопроса проверки программ защиты для системы Case Study: Trusted Software Verification for Scomp программное обеспечение безопасность критерии программное обеспечение 12738; Информация, Сохранность безопасность критерии программное обеспечение


06920004181 Исследование вопроса проверки программ защиты для системы [Текст] / ВЦП. - [Б. м. : б. и.]. - 41 c. : ил. - Пер. материала фирмы: Case Study: Trusted Software Verification for Scomp / Datapro Research Corp.(США). - 1986. - P. 52-66. - Б. ц.ГРНТИ 50.41.25 Рубрики: Информация--Сохранность Держатели документа: ГПНТБ России Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

24

Верификация и испытания La verification et les Essais космические летательные аппараты пилотируемая платформа космические летательные аппараты пилотируемая платформа спутники верификация испытания контроль методы средства Космические летательные аппараты Ракетные приборы и измерительные системы космические летательные аппараты пилотируемая платформа спутники верификация испытания контроль методы средства

Moreau, D.; Olivero, A.

06938000301 Верификация и испытания [Текст] / ВЦП. - [Б. м. : б. и.]. - 46 c. : ил. - Пер.отчета La verification et les Essais / D. Moreau, A. Olivero ; CNES. Cours International Technologie Spatiale из кн.: Comptes rendus. - Toulouse, 1988. - P. 225-263. - Б. ц.ГРНТИ 89.25.25 Рубрики: Космические летательные аппаратыРакетные приборы и измерительные системы Держатели документа: ГПНТБ России Доп.точки доступа: Moreau, D. ; Olivero, A. Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

25

timed verification of the IEEE 1394 leader election protocol Report:Software engineering 28472; Программы для ЭВМ, Верификация


R/17937/SEN-R9919 Romijn, J. M.T. A timed verification of the IEEE 1394 leader election protocol [Text] : сборник научных трудов / J.M.T.Romijn. - Amsterdam : [s. n.], 1999. - 34 p. : ill. - (Report:Software engineering / CWI, ISSN 1386-369X ; SEN-R9919). - 10.00 р. Библиогр.:с.27-29ГРНТИ 47.01.51УДК 681.84621.397.4 Рубрики: Программы для ЭВМ--Верификация Держатели документа: ГПНТБ России Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

26

performance verification and testing of the EUROSTAR bipropellant propulsion subsystem [Reports] American institute of aeronautics and astronautics(New York)

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

R/2668/88-3048 American institute of aeronautics and astronautics(New York). [Reports] [Text] / Amer.inst.of aeronautics and astronautics. - Washington : [s. n.].N 88-3048 : The performance verification and testing of the EUROSTAR bipropellant propulsion subsystem : paper presented at AIAA/ASME/SAE/ASEE 24th joint propulsion conf., July 11-13, 1988, Boston(Ma) / L.W.Hobbs. - Washington(DC) : [s. n.], 1988. - 9 p. : ill. - 1.50 р.ГРНТИ 89.0173.37УДК 629.73(05)629.78(05) Держатели документа: ГПНТБ России Доп.точки доступа: Amer.inst.of aeronautics and astronautics(New York) Экз-ры: ХР(1) Копия: мкф., Шифр MR-89646 VERIFICATION$

State Public Technical Library of Russia (Russian)

27

convention on greenhouse gases: towards the design of a verification system Berichte Теплицы

Di Primio, J.C.; Stein, G.

R/2657/2390 Fischer, W. A convention on greenhouse gases: towards the design of a verification system [Text] : сборник научных трудов / W.Fischer,J.C.Di Primio,G.Stein. - Julich : [s. n.], 1990. - 44 p. : ill. - (Berichte / KFA, ISSN 0944-2952 ; n2390). - 1.00 р. Библиогр.:с.39-43ГРНТИ 68.29.25УДК 631.344.8 Рубрики: Теплицы Держатели документа: ГПНТБ России Доп.точки доступа: Di Primio, J.C.; Stein, G. Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-94971 VERIFICATION$

State Public Technical Library of Russia (Russian)

28

computer-checked verification of Milner's scheduler Report:Computer science Программы для ЭВМ, Верификация, , прэв

Springintveld, J.

R/16212/CS-R9371 Korver, H. P. A computer-checked verification of Milner's scheduler [Text] : монография / H.P.Korver,J.Springintveld. - Amsterdam : [s. n.], 1993. - 28 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9371). - 200 р. Библиогр.:с.27-28ГРНТИ 50.05.03УДК 004.415.535 Рубрики: Программы для ЭВМ--Верификация Держатели документа: ГПНТБ России Доп.точки доступа: Springintveld, J. Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

29

computer-checked verification of Milner's scheduler Report:Computer science Centrum voor wiskunde en informatica(Amsterdam) Библиогр.:с.27-28 ; Программы для ЭВМ. -Верификация, прэв

Springintveld, J.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Korver H.P., Springintveld J. Заглавие : A computer-checked verification of Milner's scheduler Выходные данные : Amsterdam, 1993 Колич.характеристики :28 p.: ill. Коллективы : Centrum voor wiskunde en informatica(Amsterdam) Серия: Report:Computer science, ISSN 0169118X;CS-R9371 Примечания : ; Библиогр.:с.27-28 Цена : Б.ц. ГРНТИ : ; 50.05.03 УДК : Предметные рубрики: Программы для ЭВМ Перейти к источнику в Интернете: A computer-checked verification of Milner's scheduler Доп.точки доступа: Springintveld, J. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

30

balanced approach to high-level verification: performance tradeoffs in verifying large-scale multiprocessors UMSI research report многопроцессорная вычислительная система Вычислительные системы многопроцессорные многопроцессорная вычислительная система

Roberts, M.; Lilja, D.J.

R/17401/99/184 Abts, D. A balanced approach to high-level verification: performance tradeoffs in verifying large-scale multiprocessors [Text] : сборник / D.Abts,M.Roberts,D.J.Lilja. - Minneapolis(Mn) : [s. n.], 1999. - 3 l. : ill. - (UMSI research report / Univ.of Minnesota ; 99/184). - 10.00 р. Библиогр.в конце кн.ГРНТИ 50.39.29УДК 004.272.43 Рубрики: Вычислительные системы многопроцессорные Держатели документа: ГПНТБ России Доп.точки доступа: Roberts, M.; Lilja, D.J. Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

31

Wissenschaftliche Berichte SIMMER-III code-verification 45748; Ядерные реакторы на быстрых нейтронах, Аварии


R/17669/5690/1 SIMMER-III code-verification [Text] / Ed.:W.Maschek. - Karlsruhe : [s. n.].Phase 1. - 1996. - 106 p. : ill. - (Wissenschaftliche Berichte / Forschungszentrum(Karlsruhe), ISSN ISSN 0947-8620 ; 5690). - 5000 р. Рез.нем.Библиогр.в конце статейГРНТИ 58.33.05УДК 621.039.586 Рубрики: Ядерные реакторы на быстрых нейтронах--Аварии Держатели документа: ГПНТБ России Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-106867 VERIFICATION$

State Public Technical Library of Russia (Russian)

32

Verification: Verification a la mise en service Publications Installations electriques des batiments


R/1226/364/6,Chap.61 Installations electriques des batiments [Text]. - Geneve : [s. n.].Pt. 6,Chap.61 : Verification: Verification a la mise en service. - 1 ed. - 1986. - 17 p. : ill. - (Publications = Commiss.electrotechnique intern. / Commission electrotechnique internationale ; 364 ; 04). - 0.50 р. Держатели документа: ГПНТБ России Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

33

Verification, model checking, and abstract interpretation Lecture notes in computer science Springer-Verlag SpringerLink 28473; Программы для ЭВМ, Верификация, Съезды и конференции

Cook, B. ed.; SpringerLink (Online service)

004.415.5(063)V42 Verification, model checking, and abstract interpretation [Electronic resource] : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007: proceedings / ed.: B. Cook, A. Podelski. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4349). - ISBN 978-3-540-69738-1 : Б. ц.ГРНТИ 50.05.13УДК 004.415.5(063) Рубрики: Программы для ЭВМ--Верификация--Съезды и конференцииПерейти к источнику в Интернете: Verification, model checking, and abstract interpretation Держатели документа: ГПНТБ России Доп.точки доступа: Cook, B. \ed.\; SpringerLink (Online service) Экз-ры: VERIFICATION$

State Public Technical Library of Russia (Russian)

34

Verification von Smartcard-Anwendungen mittels Produktnetzen GMD - Studien 0 ^aВерификация применения интеллектуальных карточек посредством сетей произведения GMD 0 ; интеллектуальные карточки 0 ; интеллектуальные карточки Библиогр.:с.73-74 0 ; интеллектуальные карточки


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Giehl H. Заглавие : Verification von Smartcard-Anwendungen mittels Produktnetzen Выходные данные : San Augustin: GMD, 1993 Колич.характеристики :105 c: ил Серия: GMD - Studien, ISSN 0170-8120; N 225 Примечания : ; Библиогр.:с.73-74 ISBN, Цена 3-88457-225-3: Б.ц. ГРНТИ : ; 55.69.35 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; интеллектуальные карточки Перейти к источнику в Интернете: Verification von Smartcard-Anwendungen mittels Produktnetzen VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

35

Verification techniques for system-level design Morgan Kaufmann series in systems on silicon Morgan Kaufmann publ. ; Интегральные схемы большие. Проектирование. Автоматизация

Ghosh, I.; Prasad, M.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Fujita M., Ghosh I., Prasad M. Заглавие : Verification techniques for system-level design Выходные данные : Burlington, Ma: Morgan Kaufmann publ., 2008 Колич.характеристики :VIII, 240 p.: ill Серия: The Morgan Kaufmann series in systems on silicon/ ed.: W. Wolf Примечания : ; Библиогр. в конце частей. Указ.: с. 235-240 ISBN, Цена 978-0-12-370616-4: р2953.46 р. ГРНТИ : ; 47.14.07 УДК : Предметные рубрики: Интегральные схемы большие Перейти к источнику в Интернете: Verification techniques for system-level design Доп.точки доступа: Ghosh, I.; Prasad, M. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

36

Verification techniques for system-level design Morgan Kaufmann series in systems on silicon Morgan Kaufmann publ. 12347; Интегральные схемы большие, Проектирование, Автоматизация

Ghosh, I.; Prasad, M.

J2/27673 Fujita, M. Verification techniques for system-level design [Text] : монография / M. Fujita, I. Ghosh, M. Prasad. - Burlington, Ma : Morgan Kaufmann publ., 2008. - VIII, 240 p. : ill. - (Morgan Kaufmann series in systems on silicon / ed.: W. Wolf). - Библиогр. в конце частей. Указ.: с. 235-240. - ISBN 978-0-12-370616-4 : 2953.46 р.ГРНТИ 47.14.07УДК 621.3.049.771.14.001.2-52 Рубрики: Интегральные схемы большие--Проектирование--Автоматизация Держатели документа: ГПНТБ России Доп.точки доступа: Ghosh, I.; Prasad, M. Экз-ры: хр(1), (1) Копия: мкф., Шифр MR-111588 VERIFICATION$

State Public Technical Library of Russia (Russian)

37

Verification study of a threedimensional local scale atmospheric model physics at seacost region Report JAERI;M-89-081 0 ^aКонтр. исслед. трехмерной модели атмосферы местного масштаба в зоне морского побережья 0 ; атмосфера 0 ; атмосфера


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Yamazawa H. Заглавие : Verification study of a threedimensional local scale atmospheric model physics at seacost region Выходные данные : Tokyo, 1989 Колич.характеристики :48 с: ил Серия: Report JAERI;M-89-081/ Jap. atomic energy research inst. Цена : Б.ц. ГРНТИ : ; 37.21.03 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; атмосфера Перейти к источнику в Интернете: Verification study of a threedimensional local scale atmospheric model physics at seacost region, Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

38

Verification off DEMNIP on data from the hupselse beek research basin Delft hydraulics publ. 0 ^aВерификакция DEMNIP относительно данных исследовательского бассейна Hupselse Beek.Материал для конф.по гидрологическим исследовательским бассейнам и средам...,Вагенинген,1990 0 ; гидрологические исследования;бассейн HUpselse Beek Библиогр.:с.9-10 0 ; гидрологические исследования;бассейн HUpselse Beek

Grashoff P.S.; Hopstaken C.F.; Witte J.P.M.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Ruygh E.F.W., Grashoff P.S., Hopstaken C.F., Witte J.P.M. Заглавие : Verification off DEMNIP on data from the hupselse beek research basin : Contribution to the conf.onhydrological research basins and the environment and 3rd general meetings of the European networks of experimental and representative basins,Wageningen,24-28 Sept.1990 Выходные данные : Delft, 1990 Колич.характеристики :10 с: ил Серия: Delft hydraulics publ., ISSN 0166-7521;N 436 Примечания : ; Библиогр.:с.9-10 Цена : Б.ц. ГРНТИ : ; 37.27.15 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; гидрологические исследования;бассейн hupselse beek Перейти к источнику в Интернете: Verification off DEMNIP on data from the hupselse beek research basin Доп.точки доступа: Grashoff P.S.; Hopstaken C.F.; Witte J.P.M. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

39

Verification of the thermal design of electronic equipment Publications электронный прибор Электронные приборы, Тепловой режим, , прэл электронный прибор

Karjalainen, M.; Lankinen, R.

R/11634/320 Heinonen, R. Verification of the thermal design of electronic equipment [Text] : сборник научных трудов / R.Heinonen,M.Karjalainen,R.Lankinen. - Espoo : [s. n.], 1997. - 86,1/13 p. p. : ill. - (Publications / Valtion teknillinen tutkimuskeskus(Helsinki), ISSN 0358-5069 ; 320). - ISBN 951-38-5072-2 : 10000 р. Библиогр.в конце частейГРНТИ 47.13.21УДК 621.384.017.7 Рубрики: Электронные приборы--Тепловой режим Держатели документа: ГПНТБ России Доп.точки доступа: Karjalainen, M.; Lankinen, R. Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

40

Verification of the slip velocity obtained from the two-fluid model in PHOENICS Publikasjon IFE двухкомпонентная система Двухкомпонентные системы, Динамика, , двси двухкомпонентная система


R/14184/IFE/KR/E-94/002 Lindholm, D. Verification of the slip velocity obtained from the two-fluid model in PHOENICS [Text] : отчет / D.Lindholm. - Kjeller : [s. n.], 1994. - 59 p. : ill. - (Publikasjon IFE / Inst. for energiteknikk, ISSN 0333-2039 ; IFE/KR/E-94/002). - ISBN 82-7017-135-2 : 200 р. Библиогр.:с.51-52ГРНТИ 30.51.29УДК 532.529:004 Рубрики: Двухкомпонентные системы--Динамика Держатели документа: ГПНТБ России Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

41

Verification of spatial and temporal pressure distributions in segmented solid rocket motors [Reports] American institute of aeronautics and astronautics(New York)

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

R/2668/89-0298 American institute of aeronautics and astronautics(New York). [Reports] [Text] / Amer.inst.of aeronautics and astronautics. - Washington : [s. n.].N 89-0298 : Verification of spatial and temporal pressure distributions in segmented solid rocket motors : rep.presented at 27th aerospace sciences meet.,Jan.9-12,1989/Reno(Nv) / M.Salita. - New York : [s. n.], 1989. - 13 p. : ill. - 1.50 р.ГРНТИ 89.0173.37УДК 629.73(05)629.78(05) Держатели документа: ГПНТБ России Доп.точки доступа: Amer.inst.of aeronautics and astronautics(New York) Экз-ры: ХР(1) Копия: мкф., Шифр MR-93709 VERIFICATION$

State Public Technical Library of Russia (Russian)

42

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

Olderog, E.-R.

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

State Public Technical Library of Russia (Russian)

43

Verification of sequential and concurrent programs Texts and monographs in computer science 0 ^aВерификация последовательных и параллельных программ Springer 0 ; последовательные; параллельные; программы Библиогр.в конце гл.-Указ.:с.433-441 0 ; последовательные; параллельные; программы

Olderog E.-R.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Apt K.R., Olderog E.-R. Заглавие : Verification of sequential and concurrent programs Выходные данные : Berlin etc: Springer, 1991 Колич.характеристики :XIV,441 с: ил Серия: Texts and monographs in computer science Примечания : ; Библиогр.в конце гл.-Указ.:с.433-441 ISBN, Цена 3-540-97532-2: Б.ц. ГРНТИ : ; 50.05.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; последовательные; параллельные; программы Перейти к источнику в Интернете: Verification of sequential and concurrent programs Доп.точки доступа: Olderog E.-R. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

44

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

Olderog, E.R.

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

State Public Technical Library of Russia (Russian)

45

Verification of parameterised synchronous concurrent algorithms with OBJ3 Report:Computer science Программы для ЭВМ, Верификация


R/16212/CS-R9225 Eker, S. M. Verification of parameterised synchronous concurrent algorithms with OBJ3 [Text] : the pixel planes architecture revisited / S.M.Eker. - Amsterdam : [s. n.], 1992. - 17 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9225). - 5 р. Библиогр.:с. 16-17ГРНТИ 50.05.13УДК 004.415.5 Рубрики: Программы для ЭВМ--Верификация Держатели документа: ГПНТБ России Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

46

Verification of parameterised synchronous concurrent algorithms with OBJ3 Rep.:Computer science/Centrum voor wiskunde en informatica(Amsterdam) 0 ^aВерификация параметризованных синхронных конкурентных алгоритмов сприменением языка OBJ3.Пересмотренная архитектура плоскостей никелей 0 ; язык программирования OBJ3 Библиогр.:с.16-17 0 ; язык программирования OBJ3


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Eker S.L. Заглавие : Verification of parameterised synchronous concurrent algorithms with OBJ3 : The pixel planes architecture revisited Выходные данные : Amsterdam, 1992 Колич.характеристики :17 с: ил Серия: Rep.:Computer science/Centrum voor wiskunde en informatica(Amsterdam), ISSN 0169-118X;N CS-R9225 Примечания : ; Библиогр.:с.16-17 Цена : Б.ц. ГРНТИ : ; 50.10.43 + ; 50.05.09 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; язык программирования obj3 Перейти к источнику в Интернете: Verification of parameterised synchronous concurrent algorithms with OBJ3, Перейти к источнику в Интернете:  VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

47

Verification of parallel systems via decomposition Report:Computer science программа Программы для ЭВМ, Верификация программа

Moller, F.

R/16212/CS-R9203 Groote, J. F. Verification of parallel systems via decomposition [Text] : сборник научных трудов / J.F.Groote,F.Moller. - Amsterdam : [s. n.], 1992. - 21 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9203). - 5.00 р. Библиогр.:с.21ГРНТИ 50.41УДК 004.415.535 Рубрики: Программы для ЭВМ--Верификация Держатели документа: ГПНТБ России Доп.точки доступа: Moller, F. Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

48

Verification of parallel systems via decomposition Rep.CS/Centrum voor wiskunde en informatica.Dep.of software technology;R9203 0 ^aКонтроль параллельных систем через декомпозицию Stichting math.centrum 0 ; параллельные системы Библиогр.:с.20-21 0 ; параллельные системы

Moller F.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Groote J.F., Moller F. Заглавие : Verification of parallel systems via decomposition Выходные данные : Amsterdam: Stichting math.centrum, 1992 Колич.характеристики :21 с: ил Серия: Rep.CS/Centrum voor wiskunde en informatica.Dep.of software technology;R9203 Примечания : ; Библиогр.:с.20-21 Цена : Б.ц. ГРНТИ : ; 50.05.03 Ключевые слова (''Своб.индексиров.''): 0 ; параллельные системы Перейти к источнику в Интернете: Verification of parallel systems via decomposition Доп.точки доступа: Moller F. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

49

Verification of paralle systems via decomposition Rep.:Computer science/Centrum voor wiskunde en informatica 0 ^aВерификайия параллельных систем путем декомпозиции 0 ; параллельные системы Библиогр.:с.21 0 ; параллельные системы

Moller F.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Groote J.E., Moller F. Заглавие : Verification of paralle systems via decomposition Выходные данные : Amsterdam, 1992 Колич.характеристики :21 c: ил Серия: Rep.:Computer science/Centrum voor wiskunde en informatica, ISSN 0169-118X;CS-R9203 Примечания : ; Библиогр.:с.21 Цена : Б.ц. ГРНТИ : ; 50.07.07 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; параллельные системы Перейти к источнику в Интернете: Verification of paralle systems via decomposition, Перейти к источнику в Интернете:  Доп.точки доступа: Moller F. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

50

Verification of object-oriented software. The KeY approach Lecture notes in computer science Springer-Verlag SpringerLink Программное обеспечение ЭВМ, Верификация

Beckert, B. ed.; SpringerLink (Online service)

004.415.5B35 Verification of object-oriented software. The KeY approach [Electronic resource] : foreword by K. Rustan M. Leino / ed. B. Beckert [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4334). - ISBN 978-3-540-69061-0 : Б. ц.ГРНТИ 50.41УДК 004.415.5 Рубрики: Программное обеспечение ЭВМ--ВерификацияПерейти к источнику в Интернете: Verification of object-oriented software. The KeY approach Держатели документа: ГПНТБ России Доп.точки доступа: Beckert, B. \ed.\; SpringerLink (Online service) Экз-ры: VERIFICATION$

State Public Technical Library of Russia (Russian)

51

Verification of logic programs using verification sentences Uppsala theses in computing science 0 ^aВерификация логических программ с использованием контрольных предложений.Дис. 0 ; верификация логических программ Библиогр.:с.45-46.-Указ.:с.73-74 0 ; верификация логических программ


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Waldau M. Заглавие : Verification of logic programs using verification sentences : Diss. Выходные данные : Uppsala, 1991 Колич.характеристики :VIII,74 c: ил Серия: Uppsala theses in computing science, ISSN 1100-0686;N13/91 Примечания : ; Библиогр.:с.45-46.-Указ.:с.73-74 Цена : Б.ц. ГРНТИ : ; 50.05.13 Ключевые слова (''Своб.индексиров.''): 0 ; верификация логических программ Перейти к источнику в Интернете: Verification of logic programs using verification sentences VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

52

Verification of distributed systems: an input/output automata approach Res.rep./Dep.of informatics.Univ.of Oslo;N 169 0 ^aВерификация распределенных систем: метод автомата ввода-вывода 0 ; верификация;ввод/вывод Библиогр.:с.27-28 0 ; верификация;ввод/вывод


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Olescuk V.A. Заглавие : Verification of distributed systems: an input/output automata approach Выходные данные : Oslo, 1992 Колич.характеристики :28 с: ил Серия: Res.rep./Dep.of informatics.Univ.of Oslo;N 169 Примечания : ; Библиогр.:с.27-28 ISBN, Цена 82-7368-078-9: Б.ц. ГРНТИ : ; 50.39 Ключевые слова (''Своб.индексиров.''): 0 ; верификация;ввод/вывод Перейти к источнику в Интернете: Verification of distributed systems: an input/output automata approach VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

53

Verification of digital and hybrid systems NATO ASI ser. Ser. F 0 ^aВерификация цифровых и гибридных систем: Тр. летн. шк. Ин-та перспектив. исслед. НАТО, Анталья, Турция, май-июнь 1997. Springer Указ. : с. 403-405

Inan, M.Kemal .; Kurshan, Robert P .

Вид документа : Однотомное издание Шифр издания : K Заглавие : Verification of digital and hybrid systems : Proc. of the NATO Advanced study inst. of verification of digital and hybrid systems, Antalya, May 26-June 6, 1997 Выходные данные : Berlin etc.: Springer, 2000 Колич.характеристики :XVIII, 405 c.: ил., табл Серия: NATO ASI ser. Ser. F: Computer a. systems sciences; Vol. 170 Примечания : ; Библиогр. в конце докл. - ; Указ. : с. 403-405 ISBN, Цена 3-540-65595-6: Б.ц. ГРНТИ : ; 50.05.13 + ; 50.35.14 УДК : + Перейти к источнику в Интернете: Verification of digital and hybrid systems Доп.точки доступа: Inan, M.Kemal \.\; Kurshan, Robert P \.\ VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

54

Verification of computer code FPRETAIN with respect to RIA data from SPERT and PBF experiments Reports JAERI водоводяной ядерный реактор Ядерные реакторы водоводяные, Аварии, Моделирование водоводяной ядерный реактор

Yanagisawa, K.

R/4310/M-92-195 Heo, Y. Verification of computer code FPRETAIN with respect to RIA data from SPERT and PBF experiments [Text] : сборник научных трудов / Y.Heo,K.Yanagisawa. - Tokyo : [s. n.], 1992. - 19 p. : ill. - (Reports JAERI / Japan atomic energy research inst. ; m-92-195). - 10-00 р. Библиогр.: c.6-7ГРНТИ 87.33.3358.33.37УДК 621.039.586.001.57 Рубрики: Ядерные реакторы водоводяные--Аварии--Моделирование Держатели документа: ГПНТБ России Доп.точки доступа: Yanagisawa, K. Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-103027 VERIFICATION$

State Public Technical Library of Russia (Russian)

55

Verification of computer code FPRETAIN with respect to RIA data from SPERT and PBF experiments JAERI-M rep.; 92-195 0 ^aПроверка программы FPRETAIN по отношению к данным RIA из экспериментов SPERT и PBF JAERI Рез. на яп. яз. -Библиогр.: с. 6-7 ; Ядерные реакторы. Топливные элементы. Расчет на счетных машинах

Yanagisawa, Kazuaki

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Heo, Young-ho, Yanagisawa, Kazuaki Заглавие : Verification of computer code FPRETAIN with respect to RIA data from SPERT and PBF experiments Выходные данные : Tokai (Ibaraki): JAERI, 1992 Колич.характеристики :3, 19 с: ил Серия: JAERI-M rep.; 92-195 Примечания : ; Рез. на яп. яз. -Библиогр.: с. 6-7 Цена : Б.ц. ГРНТИ : ; 58.33 Предметные рубрики: Ядерные реакторы Перейти к источнику в Интернете: Verification of computer code FPRETAIN with respect to RIA data from SPERT and PBF experiments Доп.точки доступа: Yanagisawa, Kazuaki VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

56

Verification of brittle failure design criterion CRIEPI report Integrity of cast-iron cask against free drop test контейнер Контейнеры для радиоактивных материалов, Прочность контейнер


R/15879/EU90001/3 Ito, C. Integrity of cast-iron cask against free drop test [Text] / Ito C. - Tokyo : [s. n.].Pt. 3 : Verification of brittle failure design criterion / K.Shirai,O.Kato,C.Ito et al. - 1990. - 44 p. : ill. - (CRIEPI report / Central research institute of electric power industry(Tokyo) ; EU90001). - 1.00 р. Библиогр.:с.35ГРНТИ 58.91.13УДК 621.039.7.004.3 Рубрики: Контейнеры для радиоактивных материалов--Прочность Держатели документа: ГПНТБ России Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

57

Verification of arms reductions: nuclear,conventional and chemical Springer

Altmann, J. ed.; Rotblat, J. ed.

J2/21974 Verification of arms reductions: nuclear,conventional and chemical [Text] : материал технической информации / Ed.: J.Altmann; Ed.: J.Rotblat. - Berlin etc. : Springer, 1989. - XIV,228 p. - ISBN 3-540-51596-8 : 24.20 р. Держатели документа: ГПНТБ России Доп.точки доступа: Altmann, J. \ed.\; Rotblat, J. \ed.\ Экз-ры: ХР(1) Копия: мкф., Шифр MR-90323 VERIFICATION$

State Public Technical Library of Russia (Russian)

58

Verification of arms reductions: nuclear, conventional and chemical 0 ^aКонтроль за сокращением вооружений ядерного, обычного и химического Springer 0 ; сокращение вооружений Библиогр. в конце статей-Указ.: с.216-228 0 ; сокращение вооружений

Altmann, J. .; Rotlat, J. .

Вид документа : Однотомное издание Шифр издания : K Заглавие : Verification of arms reductions: nuclear, conventional and chemical Выходные данные : Berlin: Springer, 1989 Колич.характеристики :XIV, 228 с Примечания : ; Библиогр. в конце статей-Указ.: с.216-228 ISBN, Цена 3-540-51596-8: Б.ц. ГРНТИ : ; 78.25.19 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; сокращение вооружений Перейти к источнику в Интернете: Verification of arms reductions: nuclear, conventional and chemical Доп.точки доступа: Altmann, J. \.\; Rotlat, J. \.\ VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

59

Verification of an audio control protocol Report:Computer science Стереофоническая аппаратура, , апст

Polak, I.; Vaandrager, F.W.

R/16212/CS-R9445 Bosscher, D. J.B. Verification of an audio control protocol [Text] : монография / D.J.B.Bosscher,I.Polak,F.W.Vaandrager. - Amsterdam : [s. n.], 1994. - 29 p. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9445). - 200 р. Библиогр.:с.21-23ГРНТИ 47.55.29УДК 681.84.087.7 Рубрики: Стереофоническая аппаратура Держатели документа: ГПНТБ России Доп.точки доступа: Polak, I.; Vaandrager, F.W. Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

60

Verification of an audio control protocol Report:Computer science Centrum voor wiskunde en informatica(Amsterdam) Библиогр.:с.21-23 ; Стереофоническая аппаратура, апст

Polak, I.; Vaandrager, F.W.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Bosscher D.J.B., Polak I., Vaandrager F.W. Заглавие : Verification of an audio control protocol Выходные данные : Amsterdam, 1994 Колич.характеристики :29 p. Коллективы : Centrum voor wiskunde en informatica(Amsterdam) Серия: Report:Computer science, ISSN 0169118X;CS-R9445 Примечания : ; Библиогр.:с.21-23 Цена : Б.ц. ГРНТИ : ; 47.55.29 УДК : Предметные рубрики: Стереофоническая аппаратура Перейти к источнику в Интернете: Verification of an audio control protocol Доп.точки доступа: Polak, I.; Vaandrager, F.W. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

61

Verification of aerial photo stand volume tables for southeast Alaska Research paper/USDA. Forest service. Pacific Northwest research station; PNW-RP-396 0 ^aВерификация таблиц запасов лесных насаждений, составленных на основе данных аэрофотосъемки по результатам исследований в юго-восточных районах Аляски, США 0 ; лесные насаждения; запасы; аэрофотосъемка; США Библиогр.: с. 11-13 0 ; лесные насаждения; запасы; аэрофотосъемка; США

Mead, B.R.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Setzer Th.S., Mead B.R. Заглавие : Verification of aerial photo stand volume tables for southeast Alaska Выходные данные : Portland (Oreg.), 1988 Колич.характеристики :13 с: ил Серия: Research paper/USDA. Forest service. Pacific Northwest research station; PNW-RP-396 Примечания : ; Библиогр.: с. 11-13 Цена : Б.ц. ГРНТИ : ; 68.47.31 Ключевые слова (''Своб.индексиров.''): 0 ; лесные насаждения; запасы; аэрофотосъемка; сша Перейти к источнику в Интернете: Verification of aerial photo stand volume tables for southeast Alaska Доп.точки доступа: Mead, B.R. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

62

Verification of a generalized failure criterion for an S-glass/epoxy to rubber bond Rep./AIAA;N90-2214 0 ^aПроверка обобщенного критерия разрушения для стекла S-эпоксида применительно к присоединению каучука 0 ; стекло;эпоксид;каучук Библиогр.:с.5 0 ; стекло;эпоксид;каучук


Вид документа : Однотомное издание Шифр издания : Автор(ы) : King W. Заглавие : Verification of a generalized failure criterion for an S-glass/epoxy to rubber bond Выходные данные : New York, 1990 Колич.характеристики :5 c: ил Серия: Rep./AIAA;N90-2214 Примечания : ; Библиогр.:с.5 Цена : Б.ц. ГРНТИ : ; 55.49.09 + ; 55.09.35 Ключевые слова (''Своб.индексиров.''): 0 ; стекло;эпоксид;каучук Перейти к источнику в Интернете: Verification of a generalized failure criterion for an S-glass/epoxy to rubber bond VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

63

Verification of a fracture mechanics concept for the cleavage fracture behaviour of RAFM steels using local fracture criteria Wissenschaftliche Berichte термоядерная установка Термоядерные установки, Материалы термоядерная установка


R/17669/6794 Wissenschaftliche Berichte [Text] / FZKA. - Karlsruhe : [s. n.]. - ISSN 0947-8620.6794 : Verification of a fracture mechanics concept for the cleavage fracture behaviour of RAFM steels using local fracture criteria : final rep. for task TW2-TTMS-005/D3 / H.Riesch-Oppermann. - Karlsruhe : [s. n.], 2003. - V,53 p. p. : ill. - 20.00 р. Парал. загл. нем. Рез. нем. Библиогр.: с.11-12ГРНТИ 58.34.09УДК 621.039.6.002.3 Рубрики: Термоядерные установки--Материалы Держатели документа: ГПНТБ России Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-109929 VERIFICATION$

State Public Technical Library of Russia (Russian)

64

Verification of a fracture mechanics concept for the cleavage fracture behaviour of RAFM steels using local fracture criteria Wissenschaftliche Berichte ; Термоядерные установки


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Riesch-Oppermann H. Заглавие : Verification of a fracture mechanics concept for the cleavage fracture behaviour of RAFM steels using local fracture criteria : Final rep. for task TW2-TTMS-005/D3 Выходные данные : Karlsruhe, 2003 Колич.характеристики :V,53 p.: ill. Серия: Wissenschaftliche Berichte/ Forschungszentrum(Karlsruhe), ISSN 0947-8620; 6794 Примечания : ; Парал. загл. нем. Рез. нем. Библиогр.: с.11-12 Цена : Б.ц. ГРНТИ : ; 58.34.09 УДК : Предметные рубрики: Термоядерные установки Перейти к источнику в Интернете: Verification of a fracture mechanics concept for the cleavage fracture behaviour of RAFM steels using local fracture criteria VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

65

Verification of a distributed summation algorithm Report:Computer science распределенная вычислительная сеть Вычислительные сети распределенные, Протоколы, , вырасе распределенная вычислительная сеть


R/16212/CS-R9505 Vaandrager, F. W. Verification of a distributed summation algorithm [Text] : сборник научных трудов / F.W.Vaandrager. - Amsterdam : [s. n.], 1995. - 19 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9505). - 200 р. Библиогр.:с.15-16ГРНТИ 50.39.19УДК 004.75.057.4 Рубрики: Вычислительные сети распределенные--Протоколы Держатели документа: ГПНТБ России Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

66

Verification of DEMNIP on data from the hupselse beek research basin Delft hydraulics publications гидрология Гидрология суши, Моделирование гидрология

Ruygh, E.F.; Grashoff, P.S.; Hopstaken, C.F.; Witte, J.P.M.

R/16389/436 Verification of DEMNIP on data from the hupselse beek research basin [Text] : contribution to the conf.on hydrological research basins and the environment and third general meet.of the European network of experimental and represintative basins Wageningen, 24-28 Sept.1990 / E.F.Ruygh,P.S.Grashoff,C.F.Hopstaken,J.P.M.Witte. - Delft : [s. n.], 1990. - 10 p. : ill. - (Delft hydraulics publications, ISSN 0166-7521 ; n436). - 1.00 р. Библиогр.:с.9-10ГРНТИ 37.27УДК 556.013 Рубрики: Гидрология суши--Моделирование Держатели документа: ГПНТБ России Доп.точки доступа: Ruygh, E.F.; Grashoff, P.S.; Hopstaken, C.F.; Witte, J.P.M. Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

67

Verification calculation in saturated condition Research A simple and rational numerical method of two-phase flow with volume-junction model Двухкомпонентные системы, Динамика


R/17608/97-079/1 Okazaki, M. A simple and rational numerical method of two-phase flow with volume-junction model [Text] / M. Okazaki. - S.l. : [s. n.].1 : Verification calculation in saturated condition. - 1997. - IV,57 p. p. : ill. - (Research / Japan atomic energy research institute(Tokyo) ; 97-079). - 5.00 р. Рез.яп.Библиогр.:с.25ГРНТИ 30.51.29УДК 532.529 Рубрики: Двухкомпонентные системы--Динамика Держатели документа: ГПНТБ России Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

68

Verification and validaton of intelligent systems Intern.j.of intelligent systems 0 ^aВерификация и обоснование интеллектуальных систем. К 5-летию организации совещаний Америк.ассоциации по искусственному интеллекту. Ч.1 Wiley 0 ; верификация; интеллектуальные системы; искусственный интеллект 0 ; верификация; интеллектуальные системы; искусственный интеллект Библиогр.в конце докл 0 ; верификация; интеллектуальные системы; искусственный интеллект

O'Leary, D.E.

Вид документа : Многотомное издание Шифр издания : K Заглавие : Verification and validaton of intelligent systems : Five years of AAAI Workshops Выходные данные : New York etc: Wiley, 1994 Колич.характеристики :653-768 c: ил Серия: Intern.j.of intelligent systems, ISSN 0884-8173; Vol.9, N 88, spec.iss. Примечания : ; Библиогр.в конце докл Цена : Б.ц. ГРНТИ : ; 28.23 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; верификация; интеллектуальные системы; искусственный интеллект Перейти к источнику в Интернете: Verification and validaton of intelligent systems Доп.точки доступа: O'Leary, D.E. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

69

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 VERIFICATION$

State Public Technical Library of Russia (Russian)

70

Verification and control Lecture notes in computer science Hybrid systems Workshop on vertification and control of hybrid systems(1995;New Brunswick,NJ) Интеллектуальные системы гибридные, Съезды и конференции

Workshop on vertification and control of hybrid systems(1995; New Brunswick,NJ)

R/9132/1066/3 Hybrid systems [Text] : workshop on vertification and control of hybrid systems,New Brunswick(NJ),22-25 Oct.1995 / Ed.:R.Alur et.al. - Berlin etc. : Springer.3 : Verification and control. - 1996. - IX,618 p. p. : ill. - (Lecture notes in computer science ; 1066). - ISBN 3-540-61155-X : 500000 р. Библиогр.в конце статей.Указ.:с.617-618ГРНТИ 28.23.33УДК 004.89(063) Рубрики: Интеллектуальные системы гибридные--Съезды и конференции Держатели документа: ГПНТБ России Доп.точки доступа: Workshop on vertification and control of hybrid systems(1995;New Brunswick,NJ) Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-107311 VERIFICATION$

State Public Technical Library of Russia (Russian)

71

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)

72

Turbulent hydrocarbon combustions kinetics stochastic modeling and verification [Reports] American institute of aeronautics and astronautics(New York)

Farmer, R.C.; Tucker, K.; Amer.inst.of aeronautics and astronautics(New York)

R/2668/89-0486 American institute of aeronautics and astronautics(New York). [Reports] [Text] / Amer.inst.of aeronautics and astronautics. - Washington : [s. n.].N 89-0486 : Turbulent hydrocarbon combustions kinetics stochastic modeling and verification : rep. presented at 27th aerospace sciences meet.,Jan.9-12,1989/Reno(Nv) / T.S.Wang,R.C.Farmer,K.Tucker. - New York : [s. n.], 1989. - 6 p. : ill. - 1.50 р.ГРНТИ 89.0173.37УДК 629.73(05)629.78(05) Держатели документа: ГПНТБ России Доп.точки доступа: Farmer, R.C.; Tucker, K.; Amer.inst.of aeronautics and astronautics(New York) Экз-ры: ХР(1) Копия: мкф., Шифр MR-90496 VERIFICATION$

State Public Technical Library of Russia (Russian)

73

Towards automated verification of Splice in muCRL Report. SEN 0 ^aНекоторые вопросы автоматической верификации SPLICE на muCRL. Парал. загл. сер. : гол.

Langevelde, Izak A.van

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Dechering Paul F.G., Langevelde Izak A.van Заглавие : Towards automated verification of Splice in muCRL Выходные данные : Amsterdam, 2000 Колич.характеристики :44 с.: ил Серия: Report. SEN: Software engineering/ Centrum voor wiskunde en informatica, ISSN 1386-369X; SEN-R 0015 Примечания : ; Библиогр. : с. 23-24. - ; Парал. загл. сер. : гол. Цена : Б.ц. ГРНТИ : ; 50.05.13 + ; 50.05.09 УДК : + Перейти к источнику в Интернете: Towards automated verification of Splice in muCRL Доп.точки доступа: Langevelde, Izak A.van VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

74

Towards automated verification of SPLICE in uCRL Report:Software engineering программа Программы для ЭВМ, Верификация программа

Langevelde, I.A. van

R/17937/SEN-R0015 Dechering, P. F.G. Towards automated verification of SPLICE in uCRL [Text] : сборник научных трудов / P.F.G.Dechering,I.A. van Langevelde. - Amsterdam : [s. n.], 2000. - 44 p. : ill. - (Report:Software engineering / CWI, ISSN 1386-369X ; SEN-R0015). - 10.00 р. Библиогр.:с.23-24ГРНТИ 50.05.13УДК 004.415.535 Рубрики: Программы для ЭВМ--Верификация Держатели документа: ГПНТБ России Доп.точки доступа: Langevelde, I.A. van Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

75

Towards automated verification of SPLICE in uCRL Report:Software engineering ; Программы для ЭВМ

Langevelde, I.A.van

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Dechering P.F.G., Langevelde I.A.van Заглавие : Towards automated verification of SPLICE in uCRL Выходные данные : Amsterdam, 2000 Колич.характеристики :44 p.: ill Серия: Report:Software engineering/ Centrum voor wiskunde en informatica(Amsterdam), ISSN 1386-369X; SEN-R0015 Примечания : ; Библиогр.:с.23-24 Цена : Б.ц. ГРНТИ : ; 50.05.13 УДК : Предметные рубрики: Программы для ЭВМ Перейти к источнику в Интернете: Towards automated verification of SPLICE in uCRL Доп.точки доступа: Langevelde, I.A.van VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

76

Towards C# program verification: a three-level approach Препринт язык программирования; C# 28472; Программы для ЭВМ, Верификация язык программирования; C#

Непомнящий, В.А.; Ануреев, И.С.; Дубрановский, И.В.; Промский, А.В.

М/49881/128 Towards C# program verification: a three-level approach [Текст] : препринт / В. А. Непомнящий [и др.]. - Novosibirsk, 2005. - 38 p. - (Препринт / Институт систем информатики(Новосибирск) ; 128 = М/49881). - Bibliogr.: p. 37-38(19 naz.) . - Б. ц. Перед загл. авт.: V.A.Nepomniaschy, I.V.Dubranovsky, I.S.Anureev, A.V.PromskyГРНТИ 50.05.13УДК 004.415.5(04) Рубрики: Программы для ЭВМ--Верификация Держатели документа: ГПНТБ России Доп.точки доступа: Непомнящий, В.А.; Ануреев, И.С.; Дубрановский, И.В.; Промский, А.В. Экз-ры: хр(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

77

Towards C# program verification: a three-level approach Препринт Перед загл. авт.: V.A.Nepomniaschy, I.V.Dubranovsky, I.S.Anureev, A.V.Promsky ; Программы для ЭВМ. Верификация

Непомнящий, В.А.; Ануреев, И.С.; Дубрановский, И.В.; Промский, А.В.

Вид документа : Однотомное издание (Препринт) Шифр издания : K Автор(ы) : Непомнящий В.А., Ануреев И.С., Дубрановский И.В., Промский А.В. Заглавие : Towards C# program verification: a three-level approach Выходные данные : Novosibirsk, 2005 Колич.характеристики :38 p. Серия: Препринт/ Институт систем информатики(Новосибирск); 128 Примечания : ; Bibliogr.: p. 37-38(19 naz.) . - ; Перед загл. авт.: V.A.Nepomniaschy, I.V.Dubranovsky, I.S.Anureev, A.V.Promsky Цена : Б.ц. ГРНТИ : ; 50.05.13 УДК : Предметные рубрики: Программы для ЭВМ Перейти к источнику в Интернете: Towards C# program verification: a three-level approach Доп.точки доступа: Непомнящий, В.А.; Ануреев, И.С.; Дубрановский, И.В.; Промский, А.В. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

78

Toward complexity-effective verification UMSI research report Вычислительные системы многопроцессорные, Верификация

Lilja, D.J.; Scott, S.

R/17401/2000/75 Abts, D. Toward complexity-effective verification [Text] : a case study of the Cray SV2 cache coherence protocol / D.Abts,D.J.Lilja,S.Scott. - Minneapolis(Mn) : [s. n.], 2000. - 13 p. : ill. - (UMSI research report / Univ.of Minnesota ; 2000/75). - 10.00 р. Библиогр.:с.12-13ГРНТИ 50.39.29УДК 004.272.43 Рубрики: Вычислительные системы многопроцессорные--Верификация Держатели документа: ГПНТБ России Доп.точки доступа: Lilja, D.J.; Scott, S. Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

79

Toward complexity-effective verification UMSI research report ; Вычислительные системы многопроцессорные

Lilja, D.J.; Scott, S.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Abts D., Lilja D.J., Scott S. Заглавие : Toward complexity-effective verification : A case study of the Cray SV2 cache coherence protocol Выходные данные : Minneapolis(Mn), 2000 Колич.характеристики :13 p.: ill. Серия: UMSI research report/ University of Minnesota(Minneapolis,Mn).Supercomputer institute; 2000/75 Примечания : ; Библиогр.:с.12-13 Цена : Б.ц. ГРНТИ : ; 50.39.29 УДК : Предметные рубрики: Вычислительные системы многопроцессорные Перейти к источнику в Интернете: Toward complexity-effective verification Доп.точки доступа: Lilja, D.J.; Scott, S. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

80

Thermal analysis of buildings:verification and further development of the TASE program Tampere univ. of technology.Publ. 0 ^aТепловой анализ зданий:верификация и дальнейшая разработка программы TASE.Дис. 0 ; тепловой анализ зданий 0 ; тепловой анализ зданий


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Kalema T. Заглавие : Thermal analysis of buildings:verification and further development of the TASE program : Diss. Выходные данные : Б.м.,Б.г. Колич.характеристики :185 c: ил Серия: Tampere univ. of technology.Publ., ISSN 03564940;N87 ISBN, Цена 951-721-781-1: Б.ц. ГРНТИ : ; 67.53.23 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; тепловой анализ зданий Перейти к источнику в Интернете: Thermal analysis of buildings:verification and further development of the TASE program VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

81

Thermal analysis of buildings:verification and further development of the TASE program Julkaisuja Тепловой анализ зданий:верификация и дальнейшая разработка программы TASE.Дис. Строительная теплотехника, , стте


R/17372/87 Kalema, T. Thermal analysis of buildings:verification and further development of the TASE program [Text] : diss. / T.Kalema. - [S. l. : s. n.], 1992. - 185 p. : ill. - (Julkaisuja / Tampereen teknillinen korkeakoulu, ISSN 0356-4940 ; n87). - ISBN 951-721-781-1 : 1000-00 р. Перевод заглавия: Тепловой анализ зданий:верификация и дальнейшая разработка программы TASE.Дис.Перевод заглавия: Тепловой анализ зданий:верификация и дальнейшая разработка программы TASE.Дис.ГРНТИ 67.53.21УДК 697.1(043) Рубрики: Строительная теплотехника Держатели документа: ГПНТБ России Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

82

Theoretical compressible flow in generic bore evacuators and experimental verification [Reports] American institute of aeronautics and astronautics(New York)

Nagamatsu, H.; Duffy, R.; Amer.inst.of aeronautics and astronautics(New York)

R/2668/89-0652 American institute of aeronautics and astronautics(New York). [Reports] [Text] / Amer.inst.of aeronautics and astronautics. - Washington : [s. n.].N 89-0652 : Theoretical compressible flow in generic bore evacuators and experimental verification : rep. presented at the 27th aerospace sciences meet.,Jan.9-12,1989,Reno(Nv) / C.Andrade,H.Nagamatsu,R.Duffy. - [New York] : [s. n.], 1989. - 10 p. : ill. - 1.50 р.ГРНТИ 89.0173.37УДК 629.73(05)629.78(05) Держатели документа: ГПНТБ России Доп.точки доступа: Nagamatsu, H.; Duffy, R.; Amer.inst.of aeronautics and astronautics(New York) Экз-ры: ХР(1) Копия: мкф., Шифр MR-90624 VERIFICATION$

State Public Technical Library of Russia (Russian)

83

The fusion of hardware design and verification 0 ^aЕдиный процесс контроля и проектирования технического обеспечения ЭВМ. Материалы конференции Международной федерации по обработке информации. Глазго (Великобритания), 1988 г. North-Holland Библиогр. в конце докл.

Milne, George J .

Вид документа : Однотомное издание Шифр издания : Заглавие : The fusion of hardware design and verification : Proc. of the IFIP WG 10.2 Working conf. on the fusion of hardware design a. verification, Glasgow, Scotland, 4-6 July, 1988 Выходные данные : Amsterdam etc.: North-Holland, 1988 Колич.характеристики :XI, 501 с.: ил., к.; 23 см. Примечания : ; Библиогр. в конце докл. ISBN, Цена 0-444-70532-5: Б.ц. ГРНТИ : ; 50.01.93 Перейти к источнику в Интернете: The fusion of hardware design and verification, Перейти к источнику в Интернете:  Доп.точки доступа: Milne, George J \.\ VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

84

The bakery protocol:A comparative case-study in formal verification Report:Computer science распределенная вычислительная система Вычислительные системы распределенные распределенная вычислительная система

Korver, H.P.

R/16212/CS-R9569 Griffioen, W. O.D. The bakery protocol:A comparative case-study in formal verification [Text] : сборник научных трудов / W.O.D.Griffioen,H.P.Korver. - Amsterdam : [s. n.], 1995. - 24 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9569). - 1000 р. Библиогр.:с.22-24ГРНТИ 50.39.19УДК 004.75 Рубрики: Вычислительные системы распределенные Держатели документа: ГПНТБ России Доп.точки доступа: Korver, H.P. Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

85

Summary of 1991 Atlantic tropical cyclone activity and seasonal forecast verification (shortened varsion) 0 ^aИнформация о циклонической активности в тропической части Атлантики в 1991 г. и оценка оправдываемости сезонного прогноза 0 ; циклоническая активность;Атлантика 0 ; циклоническая активность;Атлантика


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Gray W.M. Заглавие : Summary of 1991 Atlantic tropical cyclone activity and seasonal forecast verification (shortened varsion) Выходные данные : Fort Collins, 1991 Колич.характеристики :10 c Цена : Б.ц. ГРНТИ : ; 37.25.15 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; циклоническая активность;атлантика Перейти к источнику в Интернете: Summary of 1991 Atlantic tropical cyclone activity and seasonal forecast verification (shortened varsion) VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

86

String-functional semantics for formal verification of synchronous circuits [Reports] Stanford university.Computer science department

Talcott, C.; Stanford univ.Computer science department

MF-90-15335 Stanford university.Computer science department. [Reports] [Text] / Stanford univ. - Stanford : [s. n.].88-1210 : String-functional semantics for formal verification of synchronous circuits : mfiche.(1) / A.Bronstein,C.Talcott. - Stanford(Ca) : [s. n.], 1988. - 57 p. : ill. - 7.58 р.ГРНТИ 50УДК 004(05) Держатели документа: ГПНТБ России Доп.точки доступа: Talcott, C.; Stanford univ.Computer science department Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

87

String-functional semantics for formal verification of synchronous circuits Rep.STAN-CS/Stanford univ.Computer science dep.;88-1210 0 ^aПоследовательно-функциональная семантика дляформальной верификации синхронных схем 0 ; семантика;верификация синхронных схем Библиогр.:с.52-54.-Указ.:с.55 0 ; семантика;верификация синхронных схем

Talcott C.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Bronstein A., Talcott C. Заглавие : String-functional semantics for formal verification of synchronous circuits Выходные данные : Stanford(Ca), 1988 Колич.характеристики :57 с: ил Серия: Rep.STAN-CS/Stanford univ.Computer science dep.;88-1210 Примечания : ; Библиогр.:с.52-54.-Указ.:с.55 Цена : Б.ц. ГРНТИ : ; 50.07.07 + ; 50.39.17 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; семантика;верификация синхронных схем Перейти к источнику в Интернете: String-functional semantics for formal verification of synchronous circuits Доп.точки доступа: Talcott C. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

88

Statistical evaluation of electrophoresis results in cultivar verification and of Other tests with alternative indicators in seed testing as germination, tetrazolium, health, excised-embryo and X-ray tests VDLUFA-Schriftenreihe/Verb. Dt. Landwirtschaftlicher Untersuchungs- und Forschungsanstalten 0 ^aСтатистическая оценка результатов определения всхожести, жизнеспособности, зараженности и подменности семян с.-х. культур 0 ; всхожесть; жизнеспособность; семена; сельскохозяйственные культуры Библиогр.: с. 33-36 0 ; всхожесть; жизнеспособность; семена; сельскохозяйственные культуры

Steiner, A.M.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Meyer U., Steiner A.M. Заглавие : Statistical evaluation of electrophoresis results in cultivar verification and of Other tests with alternative indicators in seed testing as germination, tetrazolium, health, excised-embryo and X-ray tests Выходные данные : Darmstadt, 1989 Колич.характеристики :56 с Серия: VDLUFA-Schriftenreihe/Verb. Dt. Landwirtschaftlicher Untersuchungs- und Forschungsanstalten, ISSN 0173-8712; 29 Примечания : ; Библиогр.: с. 33-36 ISBN, Цена 3-922712-38-X: Б.ц. ГРНТИ : ; 68.35.03 Ключевые слова (''Своб.индексиров.''): 0 ; всхожесть; жизнеспособность; семена; сельскохозяйственные культуры Перейти к источнику в Интернете: Statistical evaluation of electrophoresis results in cultivar verification and of Other tests with alternative indicators in seed testing as germination, tetrazolium, health, excised-embryo and X-ray tests Доп.точки доступа: Steiner, A.M. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

89

Specification, verification, and net models of concurrent systems Институт систем информатики им.А.П.Ершова,Новосибирск 0 ; Вычислительные системы многопроцессорные , вымнси

Непомнящий, В.А.

Вид документа : Однотомное издание Шифр издания : K Заглавие : Specification, verification, and net models of concurrent systems Выходные данные : Novosibirsk, 1994 Колич.характеристики :195 p.: il Коллективы : Институт систем информатики им.А.П.Ершова,Новосибирск Примечания : ; Библиогр.в конце ст. Цена : Б.ц. ГРНТИ : ; 50.33.03 УДК : Предметные рубрики: Вычислительные системы многопроцессорные Перейти к источнику в Интернете: Specification, verification, and net models of concurrent systems Доп.точки доступа: Непомнящий, В.А. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

90

Specification, verification, and net models of concurrent systems Институт систем информатики им.А.П.Ершова Параллельные вычисления

Непомнящий, В.А. ред.; Институт систем информатики им.А.П.Ершова (Новосибирск)

Д8-94/26249 Specification, verification, and net models of concurrent systems [Text] : сборник / Siberian division of the Russian Academy of sciences.A.P.Ershov Institute of informatics systems ; Edited by V.A.Nepomniaschy. - Novosibirsk : [s. n.], 1994. - 195 p. : il. - 150 экз. - Ц.договор. Библиогр.в конце ст.ГРНТИ 50.33.03УДК 004.272.2 Рубрики: Параллельные вычисления Держатели документа: ГПНТБ России Доп.точки доступа: Непомнящий, В.А. \ред.\; Институт систем информатики им.А.П.Ершова (Новосибирск) Экз-ры: хр(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

91

Specification and verification of reat time systems in ACP Report:Computer science 24427; Параллельные вычисления


R/16212/CS-R9015 Groote, J. F. Specification and verification of reat time systems in ACP [Text] : сборник научных трудов / J.F.Groote. - Amsterdam : [s. n.], 1990. - 20 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9015). - 1.00 р. Библиогр.:с.18-20ГРНТИ 50.33.04УДК 004.272.2 Рубрики: Параллельные вычисления Держатели документа: ГПНТБ России Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-92656 VERIFICATION$

State Public Technical Library of Russia (Russian)

92

Specification and verification of real time systems in ACP Rep./Centrum voor wiskunde en informatica computer science; CS-R 9015 0 ^aСпецификация и верификация систем реального времени в АСР 0 ; системы реального времени; теория программирования Библиогр.: с. 18-20 0 ; системы реального времени; теория программирования


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Groote J.E. Заглавие : Specification and verification of real time systems in ACP Выходные данные : Amsterdam, 1990 Колич.характеристики :20 с: ил Серия: Rep./Centrum voor wiskunde en informatica computer science; CS-R 9015 Примечания : ; Библиогр.: с. 18-20 Цена : Б.ц. ГРНТИ : ; 50.05.03 + ; 50.07.03 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; системы реального времени; теория программирования Перейти к источнику в Интернете: Specification and verification of real time systems in ACP, Перейти к источнику в Интернете:  VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

93

Specification and verification of concurrent systems Workshops in computing Спецификация и верификация параллельных систем:Докл. семинара BCS-FACS, Стирлинг, 1988 Springer Workshop on specification and verification of concurrent systems верификация параллельной системы верификация параллельной системы

Rattray, C. ed.; Workshop on specification and

MR-94080 Specification and verification of concurrent systems [Text] : papers presented at the BCS-FACS workshop on specification and verification of concurrent systems, 6-8 July 1988, Stirling / Ed.: C.Rattray ; Workshop on specification and verification of concurrent systems (1988; Stirling). - London [etc.] : Springer, 1990. - VIII, 612 p. : ill. - (Workshops in computing ; 07). - ISBN 3-540-19581-5 : 35.00 р. Перевод заглавия: Спецификация и верификация параллельных систем:Докл. семинара BCS-FACS, Стирлинг, 1988Перевод заглавия: Спецификация и верификация параллельных систем:Докл. семинара BCS-FACS, Стирлинг, 1988ГРНТИ 50.07.07 Держатели документа: ГПНТБ России Доп.точки доступа: Rattray, C. \ed.\; Workshop on specification and verification of concurrent systems (1988 ; Stirling) Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

94

Specification and verification of concurrent systems Workshops in computing Springer Параллельные вычисления, Съезды и конференции

Rattray, C. ed.

MR-94080 Specification and verification of concurrent systems [Text] : papers presented at the BCS-FACS workshop on specification and verification of concurrent systems, 6-8 July 1988, Stirling / ed. C. Rattray. - London [etc.] : Springer, 1990. - VIII, 612 p. 612 p. : ill. - (Workshops in computing). - ISBN 3-540-19581-5 : 35.00 р. Библиогр. в конце ст. Указ.:с.611-612ГРНТИ 50.33.03УДК 004.272.2(063) Рубрики: Параллельные вычисления--Съезды и конференции Держатели документа: ГПНТБ России Доп.точки доступа: Rattray, C. \ed.\ Экз-ры: ХР(1), (1) VERIFICATION$

State Public Technical Library of Russia (Russian)

95

Specification and verification of concurrent systems Workshops in computing 0 ^aСпецификация и верификация параллельных систем:Докл. семинара BCS-FACS, Стирлинг, 1988 BCS-FACS workshop on specification and verification of concurrent systems(Stirling;1988) Springer 0 ; верификация параллельной системы Библиогр. в конце статей. -Указ.: с. 611-612 0 ; верификация параллельной системы

Rattray, C. .

Вид документа : Однотомное издание Шифр издания : K Заглавие : Specification and verification of concurrent systems : Papers presented at the BCS-FACS workshop on specification and verification of concurrent systems, 6-8 July 1988, Stirling Выходные данные : London: Springer, 1990 Колич.характеристики :VIII, 612 с: ил Коллективы : BCS-FACS workshop on specification and verification of concurrent systems(Stirling;1988) Серия: Workshops in computing Примечания : ; Библиогр. в конце статей. -Указ.: с. 611-612 ISBN, Цена 3-540-19581-5: Б.ц. ГРНТИ : ; 50.07.07 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; верификация параллельной системы Перейти к источнику в Интернете: Specification and verification of concurrent systems, Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  Доп.точки доступа: Rattray, C. \.\ VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

96

Specification and compositional verification of real-time systems Lecture notes in computer science Springer Программы для ЭВМ, Спецификация, , прэв Программы для ЭВМ, Верификация, , прэв


R/9132/558 Hooman, J. Specification and compositional verification of real-time systems [Text] : сборник научных трудов / J.Hooman. - Berlin etc. : Springer , 1991. - VIII,235 p. p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; n558). - ISBN 3-540-54947-1 : 20000 р. Библиогр.:с.229-235ГРНТИ 50.41.17УДК 004.415.535 Рубрики: Программы для ЭВМ--СпецификацияПрограммы для ЭВМ--Верификация Держатели документа: ГПНТБ России Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-103608 VERIFICATION$

State Public Technical Library of Russia (Russian)

97

Special issue on synthesis and verification of hardware design IEICE trans.on inform.a.systems 0 ^aСпециальный выпуск по синтезу и верификации проектирования аппаратных средств Inst.of electronics,inform.a.communication engineers 0 ; аппаратные средства Библиогр.в конце докл 0 ; аппаратные средства


Вид документа : Однотомное издание Шифр издания : K Заглавие : Special issue on synthesis and verification of hardware design Выходные данные : Tokyo: Inst.of electronics,inform.a.communication engineers, 1993 Колич.характеристики :989-1141 c: ил Серия: IEICE trans.on inform.a.systems, ISSN 0916-8532;Vol.E76-D,N9 Примечания : ; Библиогр.в конце докл Цена : Б.ц. ГРНТИ : ; 50.33.14 + ; 50.07.07 + ; 47.14.07 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; аппаратные средства Перейти к источнику в Интернете: Special issue on synthesis and verification of hardware design VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

98

Space shuttle redesigned solid rocket motor joint seal verification [Reports] American institute of aeronautics and astronautics(New York)

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

R/2668/89-2776 American institute of aeronautics and astronautics(New York). [Reports] [Text] / Amer.inst.of aeronautics and astronautics. - Washington : [s. n.].N 89-2776 : Space shuttle redesigned solid rocket motor joint seal verification : rep. presented at the AIAA/ASME/SAE/ASEE 25th joint propulsion conf.,Monterey(Ca),July 10-12,1989 / R.Parson. - Washington : [s. n.], 1989. - 11 p. : ill. - 1.50 р.ГРНТИ 89.0173.37УДК 629.73(05)629.78(05) Держатели документа: ГПНТБ России Доп.точки доступа: Amer.inst.of aeronautics and astronautics(New York) Экз-ры: ХР(1) Копия: мкф., Шифр MR-92734 VERIFICATION$

State Public Technical Library of Russia (Russian)

99

Space shuttle redesigned solid rocket motor joint seal verification Rep./AIAA 0 ^aПроверка герметизации соединений в новом проекте расчетного двигателя твердого топлива для челночного КЛА 0 ; герметизация; челночные КЛА; двигатель; твердое топливо Библиогр.: с. 11 0 ; герметизация; челночные КЛА; двигатель; твердое топливо


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Parson R. Заглавие : Space shuttle redesigned solid rocket motor joint seal verification Выходные данные : Washington, 1989 Колич.характеристики :11 с: ил Серия: Rep./AIAA; N 89-2776 Примечания : ; Библиогр.: с. 11 Цена : Б.ц. ГРНТИ : ; 55.42.49 Ключевые слова (''Своб.индексиров.''): 0 ; герметизация; челночные кла; двигатель; твердое топливо Перейти к источнику в Интернете: Space shuttle redesigned solid rocket motor joint seal verification, Перейти к источнику в Интернете:  VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

100

Some seismic results from the US-USSR joint verification underground nuclear explosions AWE report Анализ сейсмограмм ядерных взрывов известной мощности в горе Дегелен и Конистане, вост. Казахстан h.m. stat. off. great britain. atomic weapons establishment(London) ядерные взрывы; сейсмограммы ядерные взрывы; сейсмограммы

Peachell, P.; great britain. atomic weapons establishment(London)

R/16325/0 6/90 great britain. atomic weapons establishment(London). AWE report [Text] / AWE. - London : h.m. stat. off.N 0 6/90 : Some seismic results from the US-USSR joint verification underground nuclear explosions / D.Porter,P.Peachell. - London : h.m. stat. off., 1990. - 23 p. : ill. - ISBN 0-8551-8192-3 : 6.00 р., 4.00 р., 8.00 р. Перевод заглавия: Анализ сейсмограмм ядерных взрывов известной мощности в горе Дегелен и Конистане, вост. КазахстанПеревод заглавия: Анализ сейсмограмм ядерных взрывов известной мощности в горе Дегелен и Конистане, вост. КазахстанГРНТИ 58.37.35УДК 623.454.8(05) Держатели документа: ГПНТБ России Доп.точки доступа: Peachell, P.; great britain. atomic weapons establishment(London) Экз-ры: ХР(3) Копия: мкф., Шифр MR-91446 VERIFICATION$

State Public Technical Library of Russia (Russian)

101

Software verification using partition analysis Techn. rep. AFIT;GGS/MA/88M-02 0 ^aВерификация программного обеспечения с использованием анализа разбиения:Дис. 0 ; верификация программного обеспечения Библиогр.: с. 58-59 0 ; верификация программного обеспечения


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Graham R.P. Заглавие : Software verification using partition analysis : Diss Выходные данные : Wrigkt-Patterson (Oh.), 1988 Колич.характеристики :59 с: ил Серия: Techn. rep. AFIT;GGS/MA/88M-02/ Air force inst of techn. Примечания : ; Библиогр.: с. 58-59 Цена : Б.ц. ГРНТИ : ; 50.05.13 Ключевые слова (''Своб.индексиров.''): 0 ; верификация программного обеспечения Перейти к источнику в Интернете: Software verification using partition analysis VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

102

Simulation and timing verification of CMOS VLSI systems Linkoping studies in science a. technology. Dissertations 0 ^aМоделирование и временная верификация комплементарных МОП-интегральных схем большой степени интеграции:Дис Linkoping univ. Dep. of physics a. measurement technology 0 ; интегральные схемы Библиогр. в конце гл 0 ; интегральные схемы


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Tjarnstrom R. Заглавие : Simulation and timing verification of CMOS VLSI systems : Akad. avh. Выходные данные : Linkoping: Linkoping univ. Dep. of physics a. measurement technology, 1990 Колич.характеристики :2, 146 с: ил Серия: Linkoping studies in science a. technology. Dissertations, ISSN 0345-7542; N225 Примечания : ; Библиогр. в конце гл ISBN, Цена 91-7870-569-X: Б.ц. ГРНТИ : ; 47.33.31 Ключевые слова (''Своб.индексиров.''): 0 ; интегральные схемы Перейти к источнику в Интернете: Simulation and timing verification of CMOS VLSI systems VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

103

Scientific computation with automatic result verification Computing 0 ^aНаучные вычисления с автоматической верификацией:Труды конференции, Карлсруэ, ФРГ, 1987 Springer 0 ; вычисления; автоматическая верификация; конференция Рез. на англ., дат. яз.-Библиогр. в конце ст 0 ; вычисления; автоматическая верификация; конференция

Kulisch, U. .; Stetter, H.J. .

Вид документа : Однотомное издание Шифр издания : Заглавие : Scientific computation with automatic result verification : Papers presented at a conf. held Sept. 30-Oct. 2, 1987 in Karlsruhe a. co-spons. by the Inst. for applied mathematics of Karlsruhe univ. a. the GAMM comm. on "Computer arithmetic computation" Выходные данные : Wien: Springer; New York, 1988 Колич.характеристики :VIII, 244 с: ил Серия: Computing, ISSN 03448029;6 Примечания : ; Рез. на англ., дат. яз.-Библиогр. в конце ст ISBN, Цена 3-211-82063-9: Б.ц. ГРНТИ : ; 27.01.13 + ; 27.41.23 Ключевые слова (''Своб.индексиров.''): 0 ; вычисления; автоматическая верификация; конференция Перейти к источнику в Интернете: Scientific computation with automatic result verification, Перейти к источнику в Интернете:  Доп.точки доступа: Kulisch, U. \.\; Stetter, H.J. \.\ VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

104

Scale issues in verification of precipitation forecasts UMSI research report атмосферные осадок Атмосферные осадки, Прогнозы атмосферные осадок

Harris, D.; Foufoula-Georgiou, E.

R/17401/2000/177 Tustison, B. Scale issues in verification of precipitation forecasts [Text] : сборник / B.Tustison,D.Harris,E.Foufoula-Georgiou. - Minneapolis(Mn) : [s. n.], 2000. - 36 p. : ill. - (UMSI research report / Univ.of Minnesota ; 2000/177). - 10.00 р. Библиогр.:с.20-21ГРНТИ 37.21.39УДК 551.509.324.2 Рубрики: Атмосферные осадки--Прогнозы Держатели документа: ГПНТБ России Доп.точки доступа: Harris, D.; Foufoula-Georgiou, E. Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

105

Scale issues in verification of precipitation forecasts UMSI research report Univ.of Minnesota(Minneapolis,Mn).Supercomputer institute Атмосферные осадки, Прогнозы

Foufoula-Georgiou, E.; Harris, D.; Univ.of Minnesota(Minneapolis,Mn).Supercomputer institute

R/17401/2002/14 Tustison, B. Scale issues in verification of precipitation forecasts [Text] : сборник научных трудов / B.Tustison,E.Foufoula-Georgiou,D.Harris. - Minneapolis(Mn) : [s. n.], 2002. - 25 p. : ill. - (UMSI research report / Univ.of Minnesota ; 2002/14). - 10.00 р. Библиогр.:с.15-16ГРНТИ 37.21.39УДК 551.509.324.2 Рубрики: Атмосферные осадки--Прогнозы Держатели документа: ГПНТБ России Доп.точки доступа: Foufoula-Georgiou, E.; Harris, D.; Univ.of Minnesota(Minneapolis,Mn).Supercomputer institute Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

106

Scale issues in verification of precipitation forecasts UMSI research report ; Атмосферные осадки

Harris, D.; Foufoula-Georgiou, E.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Tustison B., Harris D., Foufoula-Georgiou E. Заглавие : Scale issues in verification of precipitation forecasts Выходные данные : Minneapolis(Mn), 2000 Колич.характеристики :36 p.: ill. Серия: UMSI research report/ University of Minnesota(Minneapolis,Mn).Supercomputer institute; 2000/177 Примечания : ; Библиогр.:с.20-21 Цена : Б.ц. ГРНТИ : ; 37.21.39 УДК : Предметные рубрики: Атмосферные осадки Перейти к источнику в Интернете: Scale issues in verification of precipitation forecasts Доп.точки доступа: Harris, D.; Foufoula-Georgiou, E. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

107

SULZER containment venting filter verification experiments Bericht атомная энергетическая установка Атомные энергетические установки, Фильтры, , атусэн атомная энергетическая установка

G@:untay, S.; Suckow, D.; Leute, H.; Knuchel, H.

R/17812/96-04 SULZER containment venting filter verification experiments [Text] : сборник научных трудов / S.G@:untay,D.Suckow,H.Leute и др. - Villigen : [s. n.], 1996. - 19 p. : ill. - (Bericht / Paul Scherrer Inst., ISSN 1019-0643 ; n96-04). - 5000 р. Библиогр.:с.19ГРНТИ 44.33.31УДК 621.039.568 Рубрики: Атомные энергетические установки--Фильтры Держатели документа: ГПНТБ России Доп.точки доступа: G@:untay, S.; Suckow, D.; Leute, H.; Knuchel, H. Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-106554 VERIFICATION$

State Public Technical Library of Russia (Russian)

108

SPIN model checking and software verification Lecture notes in computer science Springer программа Программы для ЭВМ, Верификация, Съезды и конференции программа

Havelund, K. ed.

R/9132/1885 SPIN model checking and software verification [Text] : 7th Intern. SPIN workshop, Stanford(Ca), Aug.30 - Sept.1, 2000Proc. / ed. K. Havelund. - Berlin etc. : Springer, 2000. - X,342 p. p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; n1885). - ISBN 3-540-41030-9 : 1354.86 р. Библиогр. в конце ст. Указ. в конце кн.ГРНТИ 50.05.13УДК 004.415.5(063) Рубрики: Программы для ЭВМ--Верификация--Съезды и конференции Держатели документа: ГПНТБ России Доп.точки доступа: Havelund, K. \ed.\ Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-108942 VERIFICATION$

State Public Technical Library of Russia (Russian)

109

SPIN model checking and software verification Lecture notes in computer science Springer ; Программы для ЭВМ

Havelund, K.

Вид документа : Однотомное издание Шифр издания : K Заглавие : SPIN model checking and software verification : 7th Intern. SPIN workshop, Stanford(Ca), Aug.30 - Sept.1, 2000 Выходные данные : Berlin etc.: Springer, 2000 Колич.характеристики :X,342 p.: ill. Серия: Lecture notes in computer science, ISSN 0302-9743; N1885 Примечания : ; Библиогр. в конце ст. Указ. в конце кн. ISBN, Цена 3-540-41030-9: Б.ц. ГРНТИ : ; 50.05.13 УДК : Предметные рубрики: Программы для ЭВМ Перейти к источнику в Интернете: SPIN model checking and software verification Доп.точки доступа: Havelund, K. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

111

Protocol specification,testing,and verification VIII Спецификация, тестирование и верификация протоколов, 8:Труды 8-го междунар. симпоз. WG 6.1, IFIP, Атлантик-Сити, 1988 North-Holland вычислительная сеть Вычислительные сети, Протоколы, Съезды и конференции вычислительная сеть

Aggarwal, S. ed.; Sabnani, K. ed.

J2/21589 Protocol specification,testing,and verification VIII [Text] : proc. of the IFIP WG 6.1 8 intern. symp. on protocol specification,testing,and verification Atlantic City,June 7-10,1988 / ed.: S. Aggarwal, K. Sabnani. - Amsterdam etc. : North-Holland, 1988. - 12,421 p. p. : ill. - ISBN 0-444-70542-2 : 57.86 р. Указ.:с.421 Перевод заглавия: Спецификация, тестирование и верификация протоколов, 8:Труды 8-го междунар. симпоз. WG 6.1, IFIP, Атлантик-Сити, 1988Перевод заглавия: Спецификация, тестирование и верификация протоколов, 8:Труды 8-го междунар. симпоз. WG 6.1, IFIP, Атлантик-Сити, 1988ГРНТИ 50.39.15УДК 004.7.057.4(063) Рубрики: Вычислительные сети--Протоколы--Съезды и конференции Держатели документа: ГПНТБ России Доп.точки доступа: Aggarwal, S. \ed.\; Sabnani, K. \ed.\ Экз-ры: АЛГ(1), (2) Копия: мкф., Шифр MR-87906 VERIFICATION$

State Public Technical Library of Russia (Russian)

112

Protocol specification,testing,and verification North-Holland Вычислительные сети, Протоколы, Съезды и конференции

Rudin, H. ed.; West, C.H. ed.

G2/8606 Protocol specification,testing,and verification [Text] : proc.of the IFIP WG 6.1 3rd intern.workshop on protocol...,R@:uschlikon,31 May- 2 June 1983 / ed.: H. Rudin, C. H. West. - amsterdam [etc.] : North-Holland, 1983. - XII,531 p. p. : ill. - ISBN 0-444-43926 : 44-20 р., 45-00 р. Библиогр.в конце статейГРНТИ 50.39.19УДК 004.7.057.4(063) Рубрики: Вычислительные сети--Протоколы--Съезды и конференции Держатели документа: ГПНТБ России Доп.точки доступа: Rudin, H. \ed.\; West, C.H. \ed.\ Экз-ры: ХР(2), (2) Копия: мкфш., Шифр MF-U-43926-84 VERIFICATION$

State Public Technical Library of Russia (Russian)

113

Protocol specification,testing,and verification 10 North-Holland вычислительная сеть Вычислительные сети, Протоколы, Съезды и конференции вычислительная сеть

Logrippo, L.

J2/23632 Protocol specification,testing,and verification 10 [Text] : proc.of the IFIP WG 6.1 10 intern.symp.on protocol specification,testing,and verification, Ottawa,Ontario,Canada,12-15 June,1990 / L.Logrippo, et al. - Amsterdam etc. : North-Holland, 1990. - XI,415 p. p. : ill. - ISBN 0-444-88810 : 179.74 р. Библиогр.в конце ст.ГРНТИ 50.39УДК 004.7.057.4(063) Рубрики: Вычислительные сети--Протоколы--Съезды и конференции Держатели документа: ГПНТБ России Доп.точки доступа: Logrippo, L. Экз-ры: АЛГ(1), (2) Копия: мкф., Шифр MR-99645 VERIFICATION$

State Public Technical Library of Russia (Russian)

114

Protocol specification,testing, and verification International workshop on protocol specification, testing, and verification(Toulouse-Moissac;5;1985) North-Holland 0 ; вычислительная техника Библиогр. в конце ст 0 ; вычислительная техника

Diaz, Michel .

Вид документа : Однотомное издание Шифр издания : K Заглавие : Protocol specification,testing, and verification : Proc. of the 5th intern. workshop on protocol specification, testing, and verification organized by the LAAC du CNRS, Toulouse-Moissac, France, june 10-13, 1985 Выходные данные : Amsterdam etc.: North-Holland, 1986 Колич.характеристики :11,544 с: рис., табл Коллективы : International workshop on protocol specification, testing, and verification(Toulouse-Moissac;5;1985) Примечания : ; Библиогр. в конце ст ISBN, Цена 0-444-87881-5: Б.ц. ГРНТИ : ; 50.01.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; вычислительная техника Перейти к источнику в Интернете: Protocol specification,testing, and verification, Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  Доп.точки доступа: Diaz, Michel \.\ VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

115

Protocol specification, testing, and verification, VII 0 ^aПротокол спецификации, тестирование и верификация, VII Intern. conference on protocol specification, testing, and verification(Zurich, Switzerland;7;1987) North-Holland 0 ; протокол спецификации; тестирование; верификация Текст на англ. яз.-Библиогр. в конце ст.-Указ.: с.455 0 ; протокол спецификации; тестирование; верификация

Rudin, H. .; West, C.H. .

Вид документа : Однотомное издание Шифр издания : K Заглавие : Protocol specification, testing, and verification, VII : Proc. of the IFIP WG 6.1 Seventh intern. conference on protocol specification, testing, a. verification org. by IBM Zurich research laboratory, Zurich, Switzerland, 5-8 May, 1987 Выходные данные : Amsterdam etc.: North-Holland, 1987 Колич.характеристики :XV, 455 с: ил., табл Коллективы : Intern. conference on protocol specification, testing, and verification(Zurich, Switzerland;7;1987) Примечания : ; Текст на англ. яз.-Библиогр. в конце ст.-Указ.: с.455 ISBN, Цена 0-444-70293-8: Б.ц. ГРНТИ : ; 50.01.13 + ; 50.33.31 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; протокол спецификации; тестирование; верификация Перейти к источнику в Интернете: Protocol specification, testing, and verification, VII, Перейти к источнику в Интернете:  Доп.точки доступа: Rudin, H. \.\; West, C.H. \.\ VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

116

Protocol specification, testing, and verification, 8 0 ^aСпецификация, тестирование и верификация протоколов, 8:Труды 8-го междунар. симпоз. WG 6.1, IFIP, Атлантик-Сити, 1988 North-Holland 0 ; тестирование; протокол Указ.: с. 421 0 ; тестирование; протокол

Aggarwal, S. .; Sabnani, K. .

Вид документа : Однотомное издание Шифр издания : K Заглавие : Protocol specification, testing, and verification, 8 : Proc. of the IFIP WG 6.1 8 intern. symp. on... Atlantic City, June 7-10, 1988 Выходные данные : Amsterdam etc.: North-Holland, 1988 Колич.характеристики :12, 421 с: ил Примечания : ; Указ.: с. 421 ISBN, Цена 0-444-70542-2: Б.ц. ГРНТИ : ; 50.05.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; тестирование; протокол Перейти к источнику в Интернете: Protocol specification, testing, and verification, 8, Перейти к источнику в Интернете:  Доп.точки доступа: Aggarwal, S. \.\; Sabnani, K. \.\ VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

117

Protocol specification, testing and verification IFIP transactions C:Communication systems/Intern. federation for inform. processing. Techn. comm. 6 0 ^aСпецификация, контроль и доказательство правильности протоколов. Материалы конференции Международной федерации по обработке информации. Бьюна Виста (США, штат Флорида), 1992 г. North-Holland До 12 изд. в сер. не входило. См. отд. описание.-Указ.-Библиогр. в конце докл.

Linn, R.Jerry .

Вид документа : Многотомное издание Шифр издания : Заглавие : Protocol specification, testing and verification : Proc. of the IFIP TC6/WG6.1... Intern. symp. on protocol specification, testing a. verification... Выходные данные : Amsterdam etc.: North-Holland, 1992 Колич.характеристики :XI, 415 с.: ил. Серия: IFIP transactions C:Communication systems/Intern. federation for inform. processing. Techn. comm. 6, ISSN 0926-549X... Примечания : ; До 12 изд. в сер. не входило. См. отд. описание.-Указ.-Библиогр. в конце докл. ISBN, Цена 0-444-89874-3: Б.ц. ГРНТИ : ; 50.01.13 + ; 50.09.45 Перейти к источнику в Интернете: Protocol specification, testing and verification Доп.точки доступа: Linn, R.Jerry \.\ VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

118

Protocol specification, testing and verification Computer networks a. ISDN systems 0 ^aСпецификация, тестирование и верификация протокола. Труды 9-го симп. Межд. федерации по обработке информации, ТС-6, Твент, Нидерланды, 1989 North-Holland International symposium on protocol specification, testing and Verification (9; 1989; Twente) 0 ; спецификация; тестирование; верификация протокола 0 ; спецификация; тестирование; верификация протокола Библиогр.в конце ст 0 ; спецификация; тестирование; верификация протокола

Brinksma, E.; International symposium on protocol specification, testing and

Вид документа : Однотомное издание Шифр издания : Заглавие : Protocol specification, testing and verification : A sel. of papers presented at the 9th IFIP TC-6 intern. symp. on protocol specification, testing a. verification, June 1989, Twente, The Netherlands Выходные данные : Amsterdam etc: North-Holland, 1991 Колич.характеристики :82, 6 c: ил Коллективы : International symposium on protocol specification, testing and Verification (9; 1989; Twente) Серия: Computer networks a. ISDN systems, ISSN 0169-7552; Vol. 22, N 1. Spec. iss Примечания : ; Библиогр.в конце ст Цена : Б.ц. ГРНТИ : ; 50.39.17 Ключевые слова (''Своб.индексиров.''): 0 ; спецификация; тестирование; верификация протокола Перейти к источнику в Интернете: Protocol specification, testing and verification Доп.точки доступа: Brinksma, E.; International symposium on protocol specification, testing and Verification (9; 1989; Twente) VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

119

Protocol specification testing, and verification,IX Спецификация, тестирование и верификация протоколов, 9:Труды 9-го междунар. симпоз. WG 6.1 IFIP, Энтед, 1989 North-Holland вычислительная система Вычислительные системы, Протоколы, Съезды и конференции вычислительная система

Brinksma, E. ed.

G2/16086 Protocol specification testing, and verification,IX [Text] : proc.of the IFIP WG 6.1 ninth intern.symp.on protocol... Enschede, 6-9 June 1989 / ed. E. Brinksma. - amsterdam [etc.] : North-Holland, 1990. - XVI,401 p. p. : ill. - ISBN 0-444-88343-6 : 62.94 р. Библиогр.в конце статей.Указ.:с.401 Перевод заглавия: Спецификация, тестирование и верификация протоколов, 9:Труды 9-го междунар. симпоз. WG 6.1 IFIP, Энтед, 1989Перевод заглавия: Спецификация, тестирование и верификация протоколов, 9:Труды 9-го междунар. симпоз. WG 6.1 IFIP, Энтед, 1989ГРНТИ 50.39.19УДК 004.7.057.4(063) Рубрики: Вычислительные системы--Протоколы--Съезды и конференции Держатели документа: ГПНТБ России Доп.точки доступа: Brinksma, E. \ed.\ Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-95613 VERIFICATION$

State Public Technical Library of Russia (Russian)

120

Protocol specification testing, and verification, 9 0 ^aСпецификация, тестирование и верификация протоколов, 9:Труды 9-го междунар. симпоз. WG 6.1 IFIP, Энтед, 1989 North-Holland 0 ; тестирование; протокол Указ.: с. 401 0 ; тестирование; протокол

Brinksma, E. .

Вид документа : Однотомное издание Шифр издания : K Заглавие : Protocol specification testing, and verification, 9 : Proc. of the IFIP WG 6.1 ninth intern. symp. on protocol... Enschede, 6-9 June 1989 Выходные данные : Amsterdam etc.: North-Holland, 1990 Колич.характеристики :16, 401 с: ил Примечания : ; Указ.: с. 401 ISBN, Цена 0-444-88343-6: Б.ц. ГРНТИ : ; 50.05.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; тестирование; протокол Перейти к источнику в Интернете: Protocol specification testing, and verification, 9, Перейти к источнику в Интернете:  Доп.точки доступа: Brinksma, E. \.\ VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

121

Protean: автоматизированное средство на основе сетей Петри высокого уровнядля спецификации и проверки протоколов связи Protean: a high-level Petri net tool for the specification and verification of communication protocol автоматизированное средство числовые сети Петри автоматизированное средство числовые сети Петри спецификация граф множество анализ циклы Петри сети Системы передачи данных автоматизированное средство числовые сети Петри спецификация граф множество анализ циклы

Billington, J.

96/442 Protean: автоматизированное средство на основе сетей Петри высокого уровнядля спецификации и проверки протоколов связи [Текст] / ВЦП. - [Б. м. : б. и.]. - 44 c. : ил. - англ. - Пер.ст. Protean: a high-level Petri net tool for the specification and verification of communication protocol / J. Billington, Heeler ; IEEE из журн.: Transactions on Software Enaineering. - 1988. - Vol. 14, N 3. - P.301-314. - Б. ц. Библиогр.:22 назв.ГРНТИ 50.07.0320.53.2349.37.29 Рубрики: Петри сетиСистемы передачи данных Держатели документа: ГПНТБ России Доп.точки доступа: Billington, J. Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

122

Programming logics:An introduction to verification and semantics 0 ^aЛогика программирования.Введение в верификацию и семантику Yohn Wiley a.sons 0 ; логика программирования Библиогр.:с.309-315 0 ; логика программирования


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Gumb R.D. Заглавие : Programming logics:An introduction to verification and semantics Выходные данные : New York: Yohn Wiley a.sons, 1989 Колич.характеристики :XVII,334 c: ил Примечания : ; Библиогр.:с.309-315 ISBN, Цена 0-471-60539-5: Б.ц. ГРНТИ : ; 50.05.03 Ключевые слова (''Своб.индексиров.''): 0 ; логика программирования Перейти к источнику в Интернете: Programming logics:An introduction to verification and semantics VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

123

Program verification and Prolog Report:Computer science Программы для ЭВМ, Верификация


R/16212/CS-R9411 Apt, K. R. Program verification and Prolog [Text] : сборник научных трудов / K.R.Apt. - Amsterdam : [s. n.], 1994. - 35 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9411). - 100 р. Библиогр.в конце книгиГРНТИ 50.41УДК 004.415.5 Рубрики: Программы для ЭВМ--Верификация Держатели документа: ГПНТБ России Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

124

Program verification and Prolog Report:Computer science Centrum voor wiskunde en informatica(Amsterdam) Библиогр.в конце книги ; Программы для ЭВМ на Прологе. -Верификация, прпрэв


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Apt K.R. Заглавие : Program verification and Prolog Выходные данные : Amsterdam, 1994 Колич.характеристики :35 p.: ill. Коллективы : Centrum voor wiskunde en informatica(Amsterdam) Серия: Report:Computer science, ISSN 0169118X;CS-R9411 Примечания : ; Библиогр.в конце книги Цена : Б.ц. ГРНТИ : ; 50.41 УДК : + Предметные рубрики: Программы для ЭВМ на Прологе Перейти к источнику в Интернете: Program verification and Prolog VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

125

Program contruction and verification Prentice-Hall intern. series in computer science Prentice-Hall 0 ; ЭВМ; программирование Указ.: с.277-281 0 ; ЭВМ; программирование


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Backhouse, Roland C. Заглавие : Program contruction and verification Выходные данные : Englewood Cliffs, NJ: Prentice-Hall, 1986 Колич.характеристики :11, 281 с: ил Серия: Prentice-Hall intern. series in computer science Примечания : ; Указ.: с.277-281 ISBN, Цена 0-13-729146-9: Б.ц. ГРНТИ : ; 50.05.09 Ключевые слова (''Своб.индексиров.''): 0 ; эвм; программирование Перейти к источнику в Интернете: Program contruction and verification, Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

126

Proceedings of the workshop on the results of the cooperative research between JAERI chescir concerning the study on assessment and analysis of environmental radiological consequences and verification of an assessment system, Nov.16-17, 1999, Tokyo Conferences Workshop on the results of the cooperative research between JAERI chescir concerning the study on assessment and analysis of environmental radiological consequences and verification of an assessment system Радиоактивность окружающей среды, Съезды и конференции

Amano, H. ed.; Saito, K. ed.

R/17611/2000-016 Workshop on the results of the cooperative research between JAERI chescir concerning the study on assessment and analysis of environmental radiological consequences and verification of an assessment system (1999 ; Tokyo). Proceedings of the workshop on the results of the cooperative research between JAERI chescir concerning the study on assessment and analysis of environmental radiological consequences and verification of an assessment system, Nov.16-17, 1999, Tokyo [Text] : материалы временных коллективов / Workshop on the results of the cooperative research between JAERI chescir concerning the study on assessment and analysis of environmental radiological consequences and verification of an assessment system (1999 ; Tokyo) ; ed.: H. Amano, K. Saito. - Tokai : [s. n.], 2001. - 205 p. : ill. - (Conferences / Japan atomic energy research inst. ; 2000-016). - 40.00 р. Библиогр.в конце ст.ГРНТИ 87.15.21УДК 504.5:621.039(063) Рубрики: Радиоактивность окружающей среды--Съезды и конференции Держатели документа: ГПНТБ России Доп.точки доступа: Amano, H. \ed.\; Saito, K. \ed.\ Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-109107 VERIFICATION$

State Public Technical Library of Russia (Russian)

127

Proceedings of the workshop on the results of the cooperative research between JAERI chescir concerning the study on assessment and analysis of environmental radiological consequences and verification of an assessment system, Nov.16-17, 1999, Tokyo Conferences Workshop on the results of the cooperative research between JAERI chescir concerning the study on assessment and analysis of environmental radiological consequences and verification of an assessment system ; Радиоактивность окружающей среды

Amano, H.; Saito, K.; Workshop on the results of the cooperative research between JAERI chescir concerning the study on assessment and analysis of environmental radiological consequences and

Вид документа : Однотомное издание Шифр издания : K Заглавие : Proceedings of the workshop on the results of the cooperative research between JAERI chescir concerning the study on assessment and analysis of environmental radiological consequences and verification of an assessment system, Nov.16-17, 1999, Tokyo Выходные данные : Tokai, 2001 Колич.характеристики :205 p.: ill Коллективы : Workshop on the results of the cooperative research between JAERI chescir concerning the study on assessment and analysis of environmental radiological consequences and verification of an assessment system Серия: Conferences/ Japan atomic energy research institute(Tokyo); 2000-016 Примечания : ; Библиогр.в конце ст. Цена : Б.ц. ГРНТИ : ; 87.15.21 УДК : Предметные рубрики: Радиоактивность окружающей среды Перейти к источнику в Интернете: Proceedings of the workshop on the results of the cooperative research between JAERI chescir concerning the study on assessment and analysis of environmental radiological consequences and verification of an assessment system, Nov.16-17, 1999, Tokyo Доп.точки доступа: Amano, H.; Saito, K.; Workshop on the results of the cooperative research between JAERI chescir concerning the study on assessment and analysis of environmental radiological consequences and verification of an assessment system VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

128

Proceedings of the Workshop on...19-21 July 1988 Banff. IEEE publications Workshop on software testing,verification,and analysis программа-тест электроника Программы-тесты для ЭВМ, Съезды и конференции программа-тест электроника


R/6736/88TH0225-3 Workshop on software testing,verification,and analysis (2 ; 1988 ; Banff). Proceedings of the Workshop on...19-21 July 1988 Banff. [Text] : материалы временных коллективов / Workshop on software testing,verification,and analysis (2 ; 1988 ; Banff) . - New York : [s. n.], 1988. - VIII,247 p. p. : ill. - (IEEE publications / Inst.of electrical and electronics engineers, ISSN 0149-144X ; 88TH0225-3). - ISBN 0-8186-0868-4 : 30.61 р. Библиогр.в конце статей.Указ.: с.247ГРНТИ 50.41УДК 004.415.53(063) Рубрики: Программы-тесты для ЭВМ--Съезды и конференции Держатели документа: ГПНТБ России Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-95213 VERIFICATION$

State Public Technical Library of Russia (Russian)

129

Proceedings of the ACM SIGSOFT'89 3rd symposium on..., Key West (Fl), Dec. 13-15, 1989 0 ^aТруды симпозиума по тестированию, анализу и верификации программы, Кей Уэст, 1989 Symposium on software testing, analysis and verification(Key West, Fl;3;1989) ACM press 0 ; тестирование Библиогр. в конце гл.-Указ. в конце кн. 0 ; тестирование

Kemmerer, R.A. .

Вид документа : Однотомное издание Шифр издания : K Заглавие : Proceedings of the ACM SIGSOFT'89 3rd symposium on..., Key West (Fl), Dec. 13-15, 1989 Выходные данные : New York: ACM press, 1989 Колич.характеристики :VII, 229 с: ил Коллективы : Symposium on software testing, analysis and verification(Key West, Fl;3;1989) Примечания : ; Библиогр. в конце гл.-Указ. в конце кн. ISBN, Цена 0-89791-342-6: Б.ц. ГРНТИ : ; 50.05.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; тестирование Перейти к источнику в Интернете: Proceedings of the ACM SIGSOFT'89 3rd symposium on..., Key West (Fl), Dec. 13-15, 1989, Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  Доп.точки доступа: Kemmerer, R.A. \.\ VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

130

Proceedings 19-21 July 1988 Banff IEEE publ.; 88th0225-3 0 ^aТруды 2-го семинара по тестированию, верификации и анализу программ, Банф, 1988 Workshop on software testing, verification, and analysis(Banff;2;1988) 0 ; тестирование; верификация; анализ программ Указ.: с.247 0 ; тестирование; верификация; анализ программ


Вид документа : Однотомное издание Шифр издания : K Заглавие : Proceedings 19-21 July 1988 Banff Выходные данные : New York, 1988 Колич.характеристики :8, 247 с: ил Коллективы : Workshop on software testing, verification, and analysis(Banff;2;1988) Серия: IEEE publ.; 88th0225-3 Примечания : ; Указ.: с.247 ISBN, Цена 0-8186-0868-4: Б.ц. ГРНТИ : ; 50.05.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; тестирование; верификация; анализ программ Перейти к источнику в Интернете: Proceedings 19-21 July 1988 Banff VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

131

Problem of verification of additive and non-additive effects of genes for vigorous growth in forest trees Anali za sumarstvo:Razred za prirodne znanosti Jugosl. akad. znanosti i umjetnosti 0 ^aВлияние генов на прирост и биомассу у древесных растений Парал. загл. и рез. серб.-хорв.-Библиогр.:с.11

Vidakovic, Mirko

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Krstinic, Ante, Vidakovic, Mirko Заглавие : Problem of verification of additive and non-additive effects of genes for vigorous growth in forest trees Выходные данные : Zagreb, 1988 Колич.характеристики :12 с.: ил., табл.; 24 см Серия: Anali za sumarstvo:Razred za prirodne znanosti Jugosl. akad. znanosti i umjetnosti, ISSN 0351-2045 Примечания : ; Парал. загл. и рез. серб.-хорв.-Библиогр.:с.11 Цена : Б.ц. ГРНТИ : ; 68.47.15 Перейти к источнику в Интернете: Problem of verification of additive and non-additive effects of genes for vigorous growth in forest trees Доп.точки доступа: Vidakovic, Mirko VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

132

On the design methods and its verifications of aluminium extrusion shells Technical report О методах расчетах и его опробование в отношении алюминиевых экструдированных оболочек профильный алюминий алюминиевая панель Алюминий профильный Панели алюминиевые профильный алюминий алюминиевая панель


R/16953/897 Hashimoto, T. On the design methods and its verifications of aluminium extrusion shells [Text] : сборник научных трудов / T.Hashimoto. - Tokyo : [s. n.], S. a. - 30 p. : ill. - (Technical report / Techn.research and development inst. ; n897). - ^aразличн.примен.панел.профильн.алюмин. - 1.00 р. Рез.англ. Tекст яп. Перевод заглавия: О методах расчетах и его опробование в отношении алюминиевых экструдированных оболочекПеревод заглавия: О методах расчетах и его опробование в отношении алюминиевых экструдированных оболочекГРНТИ 53.49.15УДК 669.71-422 Рубрики: Алюминий профильныйПанели алюминиевые Держатели документа: ГПНТБ России Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

133

On the design methods and its verifications of aluminium extrusion shells Techn. rep./Technical research and development inst. 0 ^aО методах расчетах и его опробование в отношении алюминиевых экструдированных оболочек 0 ; расчет; алюминиевая оболочка Рез. англ.-текст яп 0 ; расчет; алюминиевая оболочка


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Hashimoto T. Заглавие : On the design methods and its verifications of aluminium extrusion shells Выходные данные : Tokyo,Б.г. Колич.характеристики :30 с: ил Серия: Techn. rep./Technical research and development inst.; N 897 Примечания : ; Рез. англ.-текст яп Цена : Б.ц. ГРНТИ : ; 53.49.15 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; расчет; алюминиевая оболочка Перейти к источнику в Интернете: On the design methods and its verifications of aluminium extrusion shells VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

134

On experimental verification of validity of the weak equivalence principle for the neutron Препринт нейтрон Нейтроны, , не нейтрон

Yu.N.Pokotilovski

Н/2509/Е3-93-220 Покотиловский, Ю. Н. On experimental verification of validity of the weak equivalence principle for the neutron [Text] : препринт / Ю.Н.Покотиловский. - Dubna, 1993. - 10 p. - (Препринт / Объединенный ин-т ядерных исследований(Дубна) ; Е3-93-220). - 335 экз. - 8 р. Библиогр.: с. 9-10 (28 назв.)ГРНТИ 29.05УДК 539.125.5(04) Рубрики: Нейтроны Держатели документа: ГПНТБ России Доп.точки доступа: Yu.N.Pokotilovski Экз-ры: хр(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

135

On experimental verification of validity of the weak equivalence principle for the neutron Препринт ^aOn the experimental verification of the validity of the weak equiavalence principle for the neutron 0 ; Нейтроны , не


Вид документа : Однотомное издание (Препринт) Шифр издания : K Автор(ы) : Покотиловский Ю.Н. Заглавие : On experimental verification of validity of the weak equivalence principle for the neutron Выходные данные : Dubna, 1993 Колич.характеристики :10 p. Серия: Препринт; Е3-93-220 Примечания : ; Библиогр.: с. 9-10 (28 назв.) Цена : Б.ц. ГРНТИ : ; 29.05 УДК : Предметные рубрики: Нейтроны Содержание : Перейти к источнику в Интернете: On experimental verification of validity of the weak equivalence principle for the neutron, Перейти к источнику в Интернете: , Перейти к источнику в Интернете: , Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

136

Nuovo DRM Paradiso: formal specification and verification of a DRM protocol Report. SEN, Software engineering Stichting Centrum voor wiskunde en informatica ; Программное обеспечение. ЭВМ

Nair, S.K.; Dashti, M.T.

Вид документа : Однотомное издание Шифр издания : . rugasnti. 50.05.03 Автор(ы) : Jonker H., Nair S.K., Dashti M.T. Заглавие : Nuovo DRM Paradiso: formal specification and verification of a DRM protocol Выходные данные : Amsterdam: Stichting Centrum voor wiskunde en informatica, 2006 Колич.характеристики :28 p. ; 28 cm Серия: Report. SEN, Software engineering/ Centrum voor wiskunde en informatica (Amsterdam), ISSN 1386-369X; SEN-R0602 Примечания : ; Bibliogr.: p. 13-14 Цена : Б.ц. ГРНТИ : ; 50.05.03 Предметные рубрики: Программное обеспечение Перейти к источнику в Интернете: Nuovo DRM Paradiso: formal specification and verification of a DRM protocol, Перейти к источнику в Интернете:  Доп.точки доступа: Nair, S.K.; Dashti, M.T. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

137

Nuovo DRM Paradiso: formal specification and verification of a DRM protocol Report. SEN 0 ^aNuovo DRM Paradiso: Формальная спецификация и верификация протокола DRM (Управление правами на цифровой контент).

Nair, S.K.; Dashti, M.T.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Jonker H., Nair S.K., Dashti M.T. Заглавие : Nuovo DRM Paradiso: formal specification and verification of a DRM protocol Выходные данные : Amsterdam, 2006 Колич.характеристики :28 c Серия: Report. SEN: Software engineering/ Centrum voor wiskunde en informatica, ISSN 1386-369X; SEN-R0602 Примечания : ; Библиогр. : с. 13-14 Цена : Б.ц. ГРНТИ : ; 50.39.17 УДК : Перейти к источнику в Интернете: Nuovo DRM Paradiso: formal specification and verification of a DRM protocol, Перейти к источнику в Интернете:  Доп.точки доступа: Nair, S.K.; Dashti, M.T. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

138

Negative results on the verification of hypothesis for existence of

Bystrisky, V.M.; Merzlyakov, S.I.; Shvetson, V.N.

Н/2509/Д15-94-498а Negative results on the verification of hypothesis for existence of "gold" and "hot" fusion in Ti/(D-T) and ZrNbV/(D-T) systems [Text] : препринт / V.M.Bystrisky,S.I.Merzlyakov,V.N.Shvetson и др. - Dubna, 1994. - 16 p. : il. - (Препринт / Объединенный ин-т ядерных исследований(Дубна) ; Д15-94-498а). - 190 экз. - 378 р.ГРНТИ 58.34УДК 621.039.6(04) Рубрики: Управляемый термоядерный синтез Держатели документа: ГПНТБ России Доп.точки доступа: Bystrisky, V.M.; Merzlyakov, S.I.; Shvetson, V.N. Экз-ры: хр(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

139

Negative result on the verification of reported

Merzlyakov, S.I.; Shvettsov, V.N.

Вид документа : Однотомное издание (Препринт) Шифр издания : Автор(ы) : Bystrisky V.M., Merzlyakov S.I., Shvettsov V.N. Заглавие : Negative result on the verification of reported "cold fusion" phenomena in Na WO (D;D-T) system Выходные данные : Dubna, 1994 Колич.характеристики :12 p.: il. Серия: Препринт; D15-94-499 Цена : Б.ц. ГРНТИ : ; 58.34 УДК : 621.039.6(04) Предметные рубрики: Управляемый термоядерный синтез Содержание : Перейти к источнику в Интернете: Negative result on the verification of reported "cold fusion" phenomena in Na WO (D;D-T) system, Перейти к источнику в Интернете: , Перейти к источнику в Интернете: , Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  Доп.точки доступа: Merzlyakov, S.I.; Shvettsov, V.N. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

140

Negative result on the verification of reported

Bystrisky, V.M.; Merzlyakov, S.I.; Shvettsov, V.N.

Н/2509/D15-94-499 Negative result on the verification of reported "cold fusion" phenomena in Na WO (D;D-T) system [Text] : препринт / V.M.Bystrisky,S.I.Merzlyakov,V.N.Shvettsov и др. - Dubna, 1994. - 12 p. : il. - (Препринт / Объединенный ин-т ядерных исследований(Дубна) ; D15-94-499). - 200 экз. - 196 р.ГРНТИ 58.34УДК 621.039.6(04) Рубрики: Управляемый термоядерный синтез Держатели документа: ГПНТБ России Доп.точки доступа: Bystrisky, V.M.; Merzlyakov, S.I.; Shvettsov, V.N. Экз-ры: хр(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

141

Methodes generales d'essai et de verification Publications Cables et fils pour basses frequences isoles au PVC et sous gaine de PVC кабель провод 52963; Кабели с полимерной изоляцией Провода с полимерной изоляцией кабель провод


R/1226/189/1 Cables et fils pour basses frequences isoles au PVC et sous gaine de PVC [Text]. - Geneve : [s. n.].Pt. 1 : Methodes generales d'essai et de verification. - 2 ed. - 1986. - 33 p. : ill. - (Publications / Commission electrotechnique internationale ; 189). - 0.50 р. Парал.загл.англ.Текст фр.,англ.ГРНТИ 45.47.3545.47.29УДК 621.315.221.8.021621.315.336.9 Рубрики: Кабели с полимерной изоляциейПровода с полимерной изоляцией Держатели документа: ГПНТБ России Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

142

Lectures presented at the WMO training workshop on the interpretation of NWP products in terms of local weather phenomena and their verification (Wageningen, The Netherlands, 29 July - 9 Aug. 1991) TD/WMO Report series;N34 0 ^aЛекции на учебном семинаре BMO по интерпретации рез-тов численного прогноза 0 ; численный прогноз 0 ; численный прогноз

Murphy, A.H.; Wilson, L.J.; Jensenius, J.S.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Glahn H.R., Murphy A.H., Wilson L.J., Jensenius J.S. Заглавие : Lectures presented at the WMO training workshop on the interpretation of NWP products in terms of local weather phenomena and their verification (Wageningen, The Netherlands, 29 July - 9 Aug. 1991) Выходные данные : Б.м., 1991 Колич.характеристики :250 с Серия: TD/WMO; N 421 . Report series;N34/ WMO.RSMP Цена : Б.ц. ГРНТИ : ; 37.21.39 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; численный прогноз Перейти к источнику в Интернете: Lectures presented at the WMO training workshop on the interpretation of NWP products in terms of local weather phenomena and their verification (Wageningen, The Netherlands, 29 July - 9 Aug. 1991) Доп.точки доступа: Murphy, A.H.; Wilson, L.J.; Jensenius, J.S. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

143

Introduction to program verification Report:Computer science Введение в верификацию программ программа Программы для ЭВМ, Верификация программа

Olderog, E.-R.

R/16212/CS-R9036 Apt, K. R. Introduction to program verification [Text] : материал технической информации / K.R.Apt,E.-R.Olderog. - Amsterdam : [s. n.], 1990. - 70 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; NCS-R9036). - 1.00 р. Библиогр.: с.69-70 Перевод заглавия: Введение в верификацию программПеревод заглавия: Введение в верификацию программГРНТИ 50.05.13УДК 004.415.535 Рубрики: Программы для ЭВМ--Верификация Держатели документа: ГПНТБ России Доп.точки доступа: Olderog, E.-R. Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

144

Introduction to program verification Rep.CS/Centrum voor wiskunde en inform.Dep. of software technology; R9036 0 ^aВведение в проверку правильности программ Stichting math.centrum 0 ; правильность программ Библиогр.:с.69-70 0 ; правильность программ

Olderog E.-R.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Apt K.R., Olderog E.-R. Заглавие : Introduction to program verification Выходные данные : Amsterdam: Stichting math.centrum, 1990 Колич.характеристики :70 c Серия: Rep.CS/Centrum voor wiskunde en inform.Dep. of software technology; R9036 Примечания : ; Библиогр.:с.69-70 Цена : Б.ц. ГРНТИ : ; 50.05.13 Ключевые слова (''Своб.индексиров.''): 0 ; правильность программ Перейти к источнику в Интернете: Introduction to program verification Доп.точки доступа: Olderog E.-R. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

145

Introduction to program verification Rep./Centrum voor wiskunde en informatica. Computer science 0 ^aВведение в верификацию программ 0 ; верификация программ Библиогр.: с.69-70 0 ; верификация программ

Olderog, E.-R.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Apt K.R., Olderog E.-R. Заглавие : Introduction to program verification Выходные данные : Amsterdam, 1990 Колич.характеристики :70 с: ил Серия: Rep./Centrum voor wiskunde en informatica. Computer science; N CS-R9036 Примечания : ; Библиогр.: с.69-70 Цена : Б.ц. ГРНТИ : ; 50.05.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; верификация программ Перейти к источнику в Интернете: Introduction to program verification, Перейти к источнику в Интернете:  Доп.точки доступа: Olderog, E.-R. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

146

Introduction to formal hardware verification 0 ^aВведение в формальную верификацию аппаратных средств. Springer Указ. : с. 291-299


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Kropf Thomas Заглавие : Introduction to formal hardware verification Выходные данные : Berlin: Springer, 1999 Колич.характеристики :IX, 299 c.: ил., табл Примечания : ; Библиогр. : с. 277-289. - ; Указ. : с. 291-299 ISBN, Цена 3-540-65445-3: Б.ц. ГРНТИ : ; 50.07.07 УДК : Перейти к источнику в Интернете: Introduction to formal hardware verification VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

147

Interactive systems. design, specification, and verification Lecture notes in computer science Springer-Verlag SpringerLink Вычислительные системы интерактивные, Съезды и конференции

Doherty, G. ed.; SpringerLink (Online service)

007.51(063)/D69-889306 Interactive systems. design, specification, and verification [Electronic resource] : 13th International workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006: revised papers / ed.: G. Doherty, A. Blandford. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4323). - ISBN 978-3-540-69554-7 : Б. ц.ГРНТИ 50.39.29УДК 004.031.42(063) Рубрики: Вычислительные системы интерактивные--Съезды и конференцииПерейти к источнику в Интернете: Interactive systems. design, specification, and verification Держатели документа: ГПНТБ России Доп.точки доступа: Doherty, G. \ed.\; SpringerLink (Online service) Экз-ры: VERIFICATION$

State Public Technical Library of Russia (Russian)

148

Integrated autopilot/autothrottle for the NASA TSRV B-737 aircraft: design and verification by nonlinear simulation Contractor report автопилот Автопилоты автопилот


MF-90-15450 Bruce, K. R. Integrated autopilot/autothrottle for the NASA TSRV B-737 aircraft: design and verification by nonlinear simulation [Text] : сборник научных трудов / K.R.Bruce. - Seattle(Wa) : [s. n.], 1989. - 124 p. : ill. - (Contractor report / US.Nat.aeronautics and space administration ; n4217). - 7.32 р. Библиогр.:с.110ГРНТИ 55.47.29УДК 629.735.33.05.07(086.2) Рубрики: Автопилоты Держатели документа: ГПНТБ России Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

149

Integrated autopilot/autothrottle for the NASA TSRV B-737 aircraft: design and verification by nonliear simulation NASA contractor rep. 0 ^aИнтегрированная система автопилот-автомат тяги для самолета 0 ; система автопилот-автомат; тяга самолета Библиогр.: с.110 0 ; система автопилот-автомат; тяга самолета


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Bruce K.R. Заглавие : Integrated autopilot/autothrottle for the NASA TSRV B-737 aircraft: design and verification by nonliear simulation Выходные данные : Seattle (Wa), 1989 Колич.характеристики :124 с.: ил. Серия: NASA contractor rep.; N 4217 Примечания : ; Библиогр.: с.110 Цена : Б.ц. ГРНТИ : ; 55.47.29 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; система автопилот-автомат; тяга самолета Перейти к источнику в Интернете: Integrated autopilot/autothrottle for the NASA TSRV B-737 aircraft: design and verification by nonliear simulation VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

150

Integral experiments for verification of tritium production on the beryllium/lithium titanate blanket mock-up with a one-breeder layer Research Japan atomic energy research institute(Tokyo) 37338; Термоядерные установки

Sato, S.; Nakao, M.

R/17608/2004-015 Japan atomic energy research institute(Tokyo). Research [Text] / Japan atomic energy research inst. - S.l. : [s. n.], 19 - .2004-015 : Integral experiments for verification of tritium production on the beryllium/lithium titanate blanket mock-up with a one-breeder layer / Y.M.Verzilov, S.Sato, M.Nakao et al. - Tokai : [s. n.], 2004. - IV, 55 p. : ill. - 30.00 р.ГРНТИ 58.34УДК 621.039.6 Рубрики: Термоядерные установки Держатели документа: ГПНТБ России Доп.точки доступа: Sato, S.; Nakao, M. Экз-ры: ХР(1) Копия: мкф., Шифр MR-110437 VERIFICATION$

State Public Technical Library of Russia (Russian)

151

Implicit induction techniques for the verification of Piм - a transformational toolkit for compilers Report:Computer science Компиляторы программ

Dinesh, T.B.

R/16212/CS-R9630 Naidich, D. Implicit induction techniques for the verification of Piм - a transformational toolkit for compilers [Text] : сборник научных трудов / D.Naidich,T.B.Dinesh. - Amsterdam : [s. n.], 1996. - 34 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9630). - 1000 р. Библиогр.:с.24-26ГРНТИ 50.41УДК 004.422.8'422 Рубрики: Компиляторы программ Держатели документа: ГПНТБ России Доп.точки доступа: Dinesh, T.B. Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

152

Implementation and verification of a one-dimensional,unsteady-flow model for Spring Brook near Warrenville,Illinois Water-supply paper Жидкости, Движение в руслах и открытых каналах неустановившееся, , жи

Pulokas, A.P.; Ishii, A.L.

Q/889/2455 Turner, M. J. Implementation and verification of a one-dimensional,unsteady-flow model for Spring Brook near Warrenville,Illinois [Text] : сборник / M.J.Turner,A.P.Pulokas,A.L.Ishii. - Denver(Co) : [s. n.], 1996. - 35 p. : ill. - (Water-supply paper / US.Geol.survey ; 2455). - 1000 р. Библиогр.:с.34-35ГРНТИ 37.27.17УДК 556.536(73) Рубрики: Жидкости--Движение в руслах и открытых каналах неустановившееся Держатели документа: ГПНТБ России Доп.точки доступа: Pulokas, A.P.; Ishii, A.L. Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

153

Hypercubes for critical spacecraft command verification [Reports] Бортовые космические праллельные ЭВМ с процессором с топологией

Perry, L.P.; Amer.inst.of aeronautics and astronautics(New York)

R/2668/90-5095 American institute of aeronautics and astronautics(New York). [Reports] [Text] / Amer.inst.of aeronautics and astronautics. - Washington : [s. n.].N 90-5095 : Hypercubes for critical spacecraft command verification : rep. presented at the AIAA/NASA second intern.symp.on space information systems,Sept.17-19,1990,Pasadena(Ca) / J.C.Horvath,L.P.Perry. - Washington : [s. n.], 1990. - 7 p. : ill. - 1.50 р. Перевод заглавия: Бортовые космические праллельные ЭВМ с процессором с топологией "гиперкуба" для критической верификации последовательности командПеревод заглавия: Бортовые космические праллельные ЭВМ с процессором с топологией "гиперкуба" для критической верификации последовательности командГРНТИ 89.23.41УДК 629.73(05)629.78(05) Держатели документа: ГПНТБ России Доп.точки доступа: Perry, L.P.; Amer.inst.of aeronautics and astronautics(New York) Экз-ры: ХР(1) Копия: мкф., Шифр MR-95167 VERIFICATION$

State Public Technical Library of Russia (Russian)

154

Hypercubes for critical spacecraft command verification Rep./AIAA;90-5095 0 ^aБортовые космические праллельные ЭВМ с процессором с топологией

Perry L.P.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Horvath J.C., Perry L.P. Заглавие : Hypercubes for critical spacecraft command verification Выходные данные : Washington, 1990 Колич.характеристики :7 c: ил Серия: Rep./AIAA;90-5095 Примечания : ; Библиогр.:с.7 Цена : Б.ц. ГРНТИ : ; 89.23.41 Ключевые слова (''Своб.индексиров.''): 0 ; гиперкуб;верификация Перейти к источнику в Интернете: Hypercubes for critical spacecraft command verification Доп.точки доступа: Perry L.P. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

155

Hardware specification, verification and synthesis Lecture notes in computer science Springer вычислительная машина Вычислительные машины, Проектирование, Автоматизация, Съезды и конференции вычислительная машина


R/9132/408 Hardware specification, verification and synthesis [Text] : mathematical aspectsMath.sciences inst.workshop, Cornell univ., Ithaca, New York, July 5-7, 1989Proc. - Berlin etc. : Springer, 1990. - VI,402 p. p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; n408). - ISBN 3-540-97226-9 : 45.00 р. Библиогр.в конце ст.ГРНТИ 50.33.14УДК 004.38'12(063) Рубрики: Вычислительные машины--Проектирование--Автоматизация--Съезды и конференции Держатели документа: ГПНТБ России Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-90164 VERIFICATION$

State Public Technical Library of Russia (Russian)

156

Hardware specification, verification and synthesis Lecture notes in computer science 0 ^aСпецификации аппаратного обеспечения, верификация и синтез:Математические аспекты: труды рабочего совещания математического института, Нью-Йорк, 1989 Springer 0 ; спецификация аппаратного обеспечения; верификация; синтез Библиогр. в конце ст 0 ; спецификация аппаратного обеспечения; верификация; синтез

Leeser, M. .; Brown, G. .

Вид документа : Однотомное издание Шифр издания : K Заглавие : Hardware specification, verification and synthesis : Mathematical aspects: Math. sciences inst. workshop, Cornell univ., Ithaca, New York, USA July 5-7, 1989: Proc. Выходные данные : Berlin etc.: Springer, 1990 Колич.характеристики :6, 402 с: ил Серия: Lecture notes in computer science; N 408 Примечания : ; Библиогр. в конце ст ISBN, Цена 3-540-97226-9: Б.ц. ГРНТИ : ; 50.07.03 + ; 50.33.03 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; спецификация аппаратного обеспечения; верификация; синтез Перейти к источнику в Интернете: Hardware specification, verification and synthesis, Перейти к источнику в Интернете: , Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  Доп.точки доступа: Leeser, M. \.\; Brown, G. \.\ VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

157

Hardware and software, verification and testing Lecture notes in computer science Springer-Verlag SpringerLink 60117; Вычислительные машины, Проектирование, Съезды и конференции 58089; Программное обеспечение ЭВМ, Верификация, Съезды и конференции

Ur, S. ed.; SpringerLink (Online service)

004.38'12(063/B59-329913 Hardware and software, verification and testing [Electronic resource] : second International Haifa verification conference, HVC 2006, Haifa, Israel, October 23-26, 2006: revised selected papers / ed. E. Bin [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4383). - ISBN 978-3-540-70889-6 : Б. ц.ГРНТИ 50.33.1450.01.13УДК 004.38'12(063)004.415.5(063) Рубрики: Вычислительные машины--Проектирование--Съезды и конференцииПрограммное обеспечение ЭВМ--Верификация--Съезды и конференцииПерейти к источнику в Интернете: Hardware and software, verification and testing Держатели документа: ГПНТБ России Доп.точки доступа: Ur, S. \ed.\; SpringerLink (Online service) Экз-ры: VERIFICATION$

State Public Technical Library of Russia (Russian)

158

Green's function method and its application to verification of diffusion models of GASFLOW code Wissenschaftliche Berichte Forschungszentrum (Karlsruhe) 37338; Термоядерные установки, Аварии

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

R/17669/7293 Forschungszentrum (Karlsruhe). Wissenschaftliche Berichte [Text] / FZKA. - Karlsruhe : [s. n.], 19 - . - ISSN 0947-8620.7293 : Green's function method and its application to verification of diffusion models of GASFLOW code / Z. Xu, J. R. Travis, W. Breitung. - Karlsruhe : [s. n.], 2007. - II, 96 p. : ill. - Рез. нем. - Библиогр.: с. 96 (16 назв.). - 50.00 р.ГРНТИ 58.34УДК 621.039.6.004.6 Рубрики: Термоядерные установки--Аварии Держатели документа: ГПНТБ России Доп.точки доступа: Travis, J. R.; Breitung, W.; Forschungszentrum (Karlsruhe) Экз-ры: хр(1), (1) Копия: мкф., Шифр MR-111228 VERIFICATION$

State Public Technical Library of Russia (Russian)

159

Fundamental verification of tailoring technology for control of a coefficient of thermal expansion by composite testing facilities Technical report авиационный композиционный материал Авиационные материалы композиционные, Тепловые свойства авиационный композиционный материал

Ishikawa, T.; Fukunaga, H.; Hayashi, Y.

R/4916/TR-1058 Fundamental verification of tailoring technology for control of a coefficient of thermal expansion by composite testing facilities [Text] : сборник научных трудов / T.Ishikawa,H.Fukunaga,Y.Hayashi и др. - Tokyo : [s. n.], 1990. - 17 p. : ill. - (Technical report / Nat.aerospace lab., ISSN 0389-4010 ; TR-1058). - 1.00 р. Текст яп.Библиогр.: с.16-17ГРНТИ 55.47.09УДК 629.73.002.3-419.8:536 Рубрики: Авиационные материалы композиционные--Тепловые свойства Держатели документа: ГПНТБ России Доп.точки доступа: Ishikawa, T.; Fukunaga, H.; Hayashi, Y. Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

160

Fracture mechanics verification by large-scale testing EGF/ESIS publ. 0 ^aИспытание на трещиностойкость сосудов под давлением для легководных реакторов. Материалы международного совещания. Штутгарт (ФРГ), 1991 г Mech. engineering publ. Указ.-Библиогр. в конце докл.

Kussmaul, K .

Вид документа : Однотомное издание Шифр издания : Заглавие : Fracture mechanics verification by large-scale testing : Papers pres. at the IAEA Specialists' meet. on large-scale testing held at the Staatl. materialprufungsanst., Univ. of Stuttgart, FRG Выходные данные : London: Mech. engineering publ., 1991 Колич.характеристики :X, 448 с.: ил. Серия: EGF/ESIS publ. Примечания : ; Указ.-Библиогр. в конце докл. ISBN, Цена 0-85298-741-2: Б.ц. ГРНТИ : ; 58.33.28 + ; 58.33.81 + ; 58.01.13 Перейти к источнику в Интернете: Fracture mechanics verification by large-scale testing Доп.точки доступа: Kussmaul, K \.\ VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

161

Formal verification of hardware design IEEE publications;90EHO319-4 Institute of electrical and electronics engineers(New York) Inst. of electrical and electronics engineers Библиогр.в конце глав.Указ.:с.317-326 ; Интегральные схемы большие. -Проектирование. --Автоматизация, боинсх ; Программы для ЭВМ. -Верификация, прэв

Yoeli, M. .

Вид документа : Однотомное издание Шифр издания : K Заглавие : Formal verification of hardware design Выходные данные : New York: Inst. of electrical and electronics engineers, 1990 Колич.характеристики :IX,326 p. Коллективы : Institute of electrical and electronics engineers(New York) Серия: IEEE publications;90EHO319-4/ Inst. of electrical and electronics engineers Примечания : ; Библиогр.в конце глав.Указ.:с.317-326 ISBN, Цена 0-8186-6017-1: Б.ц. ГРНТИ : ; 47.33.31 + ; 50.41 УДК : + Предметные рубрики: Интегральные схемы большие Программы для ЭВМ Перейти к источнику в Интернете: Formal verification of hardware design Доп.точки доступа: Yoeli, M. \.\ VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

162

Formal verification of hardware design IEEE publications IEEE computer soc.press Интегральные схемы большие, Проектирование, Автоматизация, , боинсх

Yoeli, M. ed.

R/6736/90EHO319-4 Formal verification of hardware design [Text] : сборник научных трудов / ed. M. Yoeli. - Los Alamitos et al. : IEEE computer soc.press, 1990. - IX,326 p. p. - (IEEE publications / Inst.of electrical and electronics engineers, ISSN 0149-144X ; 90EHO319-4). - ISBN 0-8186-6017-1 : 45000 р. Библиогр.в конце глав.Указ.:с.317-326ГРНТИ 47.14УДК 621.3.049.771.14.001.2-52 Рубрики: Интегральные схемы большие--Проектирование--Автоматизация Держатели документа: ГПНТБ России Доп.точки доступа: Yoeli, M. \ed.\ Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-104308 VERIFICATION$

State Public Technical Library of Russia (Russian)

163

Formal description techniques and protocol specification, testing and verification Kluwer acad. publ.


Вид документа : Однотомное издание Шифр издания : . 50.05.13. grnti Заглавие : Formal description techniques and protocol specification, testing and verification Выходные данные : Boston: Kluwer acad. publ., 1998 Колич.характеристики :VIII, 467, 1 c.: ил Примечания : ; Библиогр. в конце докл ISBN, Цена 0-412-84760-4: Б.ц. ГРНТИ : ; 50.05.13 УДК : + + Перейти к источнику в Интернете: Formal description techniques and protocol specification, testing and verification VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

164

Field verification of load transfer mechanics of fully grouted roof bolts Rep. of investigations/U.S. Dep. of the interior, Bureau of mines; 9301 0 ^aПолевое исследование механики перемещения нагрузки на полностью зацементированную штанговую крель 0 ; цементирование Библиогр.: с. 7-8 0 ; цементирование


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Signer S.P Заглавие : Field verification of load transfer mechanics of fully grouted roof bolts Выходные данные : Washington, 1990 Колич.характеристики :13 с: ил Серия: Rep. of investigations/U.S. Dep. of the interior, Bureau of mines; 9301 Примечания : ; Библиогр.: с. 7-8 Цена : Б.ц. ГРНТИ : ; 52.13.23 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; цементирование Перейти к источнику в Интернете: Field verification of load transfer mechanics of fully grouted roof bolts, Перейти к источнику в Интернете:  VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

165

Field verification of 2-D and 3-D suspended-sediment models Delft hydraulics publications речной нанос Наносы речные речной нанос

Rossum, H.van

R/16389/451 Rijn, L. C.van Field verification of 2-D and 3-D suspended-sediment models [Text] : reprinted from J.of hydraulic eng.116 (1990) 10 Oct. / L.C.vanRijn,H.van Rossum. - Delft : [s. n.], 1991. - 17 p. - (Delft hydraulics publications, ISSN 0166-7521 ; n451). - 1.00 р. Библиогр.:с.16ГРНТИ 37.27УДК 556.535.6 Рубрики: Наносы речные Держатели документа: ГПНТБ России Доп.точки доступа: Rossum, H.van Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

166

Field verification of 2-D and 3-D suspended-sediment models Delft hydraulic publ. 0 ^aПолевая верификация 2-х и 3-хмерных моделей взвешенных наносов 0 ; взвешенный нанос Библиогр.:с.16 0 ; взвешенный нанос

Rossum H.van; Termes P.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Rijn L.C.van, Rossum H.van, Termes P. Заглавие : Field verification of 2-D and 3-D suspended-sediment models : Reprinted from journal of hydraulic engineering 116(1990)10,Oct. Выходные данные : Delft, 1991 Колич.характеристики :17 c: ил Серия: Delft hydraulic publ.; N451 Примечания : ; Библиогр.:с.16 Цена : Б.ц. ГРНТИ : ; 37.27.21 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; взвешенный нанос Перейти к источнику в Интернете: Field verification of 2-D and 3-D suspended-sediment models Доп.точки доступа: Rossum H.van; Termes P. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

167

Extended verification of two conjectures on prime numbers Pubblicazione INFN;TC-89/2 0 ^aРасширенная верификация двух предположений на простых числах 0 ; верификация Библиогр.: кол. 4 0 ; верификация

Gonella, F.; Penzo, M.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Angelis A.de, Gonella F., Penzo M. Заглавие : Extended verification of two conjectures on prime numbers Выходные данные : Roma, 1989 Колич.характеристики :6 кол. с.: ил Серия: Pubblicazione INFN;TC-89/2/ Ist. naz. di fisica nucleare Примечания : ; Библиогр.: кол. 4 Цена : Б.ц. ГРНТИ : ; 50.09.45 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; верификация Перейти к источнику в Интернете: Extended verification of two conjectures on prime numbers Доп.точки доступа: Gonella, F.; Penzo, M. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

168

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) VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

169

Development, implementation and verification of a reduced hydrogen-air chemistry model for the COM3D computer code Wissenschaftliche Berichte горение газовая смесь Газовые смеси, Взрывы горение газовая смесь

Kotchourko, A.

R/17669/6675 Xu, Z. Development, implementation and verification of a reduced hydrogen-air chemistry model for the COM3D computer code [Text] : сборник научных трудов / Z.Xu,A.Kotchourko. - Karlsruhe : [s. n.], 2001. - 43 p. : ill. - (Wissenschaftliche Berichte / FZKA, ISSN 0947-8620 ; 6675). - 20.00 р. Рез. нем. Библиогр.: с.42ГРНТИ 30.51.23УДК 541.126.011.4 Рубрики: Газовые смеси--Взрывы Держатели документа: ГПНТБ России Доп.точки доступа: Kotchourko, A. Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-109420 VERIFICATION$

State Public Technical Library of Russia (Russian)

170

Development of simplified evaluation models for the power peak during a criticality accident and its verification by the trace code simulated results based on crac experimental data Research Заводы по переработке ядерного топлива, Техника безопасности Урановые заводы, Техника безопасности

Sakino, T.; Safronova, O.N.

R/17608/2000-034 Nomura, Y. Development of simplified evaluation models for the power peak during a criticality accident and its verification by the trace code simulated results based on crac experimental data [Text] : сборник / Y.Nomura,T.Sakino,O.N.Safronova. - Ibaraki : [s. n.], 2000. - VI, 95 p. 95 p. : ill. - (Research / Japan atomic energy research inst. ; 2000-034). - 20.00 р. Рез.яп.ГРНТИ 58.01.93УДК 331.453:621.039 Рубрики: Заводы по переработке ядерного топлива--Техника безопасностиУрановые заводы--Техника безопасности Держатели документа: ГПНТБ России Доп.точки доступа: Sakino, T.; Safronova, O.N. Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

171

Development of simplified evaluation models for the power peak during a criticality accident and its verification by the trace code simulated results based on crac experimental data Research ; Заводы по переработке ядерного топлива ; Урановые заводы

Sakino, T.; Safronova, O.N.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Nomura Y., Sakino T., Safronova O.N. Заглавие : Development of simplified evaluation models for the power peak during a criticality accident and its verification by the trace code simulated results based on crac experimental data Выходные данные : Ibaraki, 2000 Колич.характеристики :VI, 95 p.: ill. Серия: Research/ Japan atomic energy research institute(Tokyo); 2000-034 Примечания : ; Рез.яп. Цена : Б.ц. ГРНТИ : ; 58.01.93 УДК : Предметные рубрики: Заводы по переработке ядерного топлива Урановые заводы Перейти к источнику в Интернете: Development of simplified evaluation models for the power peak during a criticality accident and its verification by the trace code simulated results based on crac experimental data Доп.точки доступа: Sakino, T.; Safronova, O.N. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

172

Design code verification of external heat transfer coefficients [Reports] Designs code verification of external heat transfer coefficient around a turbine airfoil American institute of aeronautics and astronautics(New York)

Sharma, O.P.; Amer.inst.of aeronautics and astronautics(New York)

R/2668/88-3011 American institute of aeronautics and astronautics(New York). [Reports] [Text] / Amer.inst.of aeronautics and astronautics. - Washington : [s. n.].N 88-3011 : Design code verification of external heat transfer coefficients : papers presented at AIAA/ASME/SAE/ASEE 24th Joint propulsion conf., July 11-13, 1988 Boston(Ma) / F.O.Soechting,O.P.Sharma. - New York : [s. n.], 1988. - 5 p. : ill. - Загл. обл. : Designs code verification of external heat transfer coefficient around a turbine airfoil. - 1.50 р.ГРНТИ 89.0173.37УДК 629.73(05)629.78(05) Держатели документа: ГПНТБ России Доп.точки доступа: Sharma, O.P.; Amer.inst.of aeronautics and astronautics(New York) Экз-ры: ХР(1) Копия: мкф., Шифр MR-87528 VERIFICATION$

State Public Technical Library of Russia (Russian)

173

Design and thermal verification of the space shuttle redesigned solid rocket motor field joint [Reports] American institute of aeronautics and astronautics(New York)

Perry, M.; Eddy, N.; Gruet, L.; Maw, J.; Amer.inst.of aeronautics and astronautics(New York)

R/2668/89-2775 American institute of aeronautics and astronautics(New York). [Reports] [Text] / Amer.inst.of aeronautics and astronautics. - Washington : [s. n.].N 89-2775 : Design and thermal verification of the space shuttle redesigned solid rocket motor field joint : rep. presented at the AIAA/ASME/SAE/ASEE 25th joint propulsion conf.,Monterey(Ca),July 10-12,1989 / M.Perry,N.Eddy,L.Gruet,J.Maw. - Washington : [s. n.], 1989. - 7 p. : ill. - 1.50 р.ГРНТИ 89.0173.37УДК 629.73(05)629.78(05) Держатели документа: ГПНТБ России Доп.точки доступа: Perry, M.; Eddy, N.; Gruet, L.; Maw, J.; Amer.inst.of aeronautics and astronautics(New York) Экз-ры: ХР(1) Копия: мкф., Шифр MR-92733 VERIFICATION$

State Public Technical Library of Russia (Russian)

174

Current trends in hardware verification and automated theorem proving 0 ^aСовременные тенденции в проверке техн. средств и автоматизированное доказательство теоремы Springer 0 ; автоматизированное доказательство теоремы Библиогр. в конце гл. -Указ.: с. 481-489 0 ; автоматизированное доказательство теоремы

Birtwistle, G. .; Subrahmanyan, P.A. .

Вид документа : Однотомное издание Шифр издания : K Заглавие : Current trends in hardware verification and automated theorem proving Выходные данные : New York etc: Springer, 1989 Колич.характеристики :VIII, 489 с: ил Примечания : ; Библиогр. в конце гл. -Указ.: с. 481-489 ISBN, Цена 0-387-96988-8: Б.ц. ГРНТИ : ; 50.07.07 + ; 50.13.15 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; автоматизированное доказательство теоремы Перейти к источнику в Интернете: Current trends in hardware verification and automated theorem proving Доп.точки доступа: Birtwistle, G. \.\; Subrahmanyan, P.A. \.\ VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

175

Cumulative effects model verification, sustained yield estimation, and population viability management of the Kenai Peninsula, Alaska brown bear Federal aid in wildlife restoration 0 ^aРадиотелеметрическое изучение миграций, мест обитания и выживаемости медведей гризли в р-не п-ова Кенай, шт. Аляска, США 0 ; медведи; местообитание; плотность популяций; аляска; н-и учреждения; сша; годовые отчеты 0 ; медведи; местообитание; плотность популяций; аляска; н-и учреждения; сша; годовые отчеты 0 ; медведи; местообитание; плотность популяций; аляска; н-и учреждения; сша; годовые отчеты


Вид документа : Многотомное издание Шифр издания : K Заглавие : Cumulative effects model verification, sustained yield estimation, and population viability management of the Kenai Peninsula, Alaska brown bear : Research progress rep. Выходные данные : Juneau, 1999 Колич.характеристики :III,83 c.: ил.,карт. Серия: Federal aid in wildlife restoration/ Alaska dep. of fish and game. Div. of wildlife conservation Цена : Б.ц. ГРНТИ : ; 68.45.03 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; медведи; местообитание; плотность популяций; аляска; н-и учреждения; сша; годовые отчеты Перейти к источнику в Интернете: Cumulative effects model verification, sustained yield estimation, and population viability management of the Kenai Peninsula, Alaska brown bear VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

176

Cones and foci for protocol verification revisited Report: Software engineering программа Программы для ЭВМ, Верификация программа

Pang, J.

R/17937/SEN-R0229 Report: Software engineering [Text] / Centrum voor wiskunde en informatica(Amsterdam). - Amsterdam : [s. n.]. - ISSN 1386-369X.SEN-R0229 : Cones and foci for protocol verification revisited / W.J.Fokkink,J.Pang. - Amsterdam : [s. n.], 2002. - 17 p. : ill. - 20.00 р. Библиогр.:с. 15-17ГРНТИ 50.05.13УДК 004.415.5 Рубрики: Программы для ЭВМ--Верификация Держатели документа: ГПНТБ России Доп.точки доступа: Pang, J. Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

177

Cones and foci for protocol verification revisited Report: Software engineering ; Программы для ЭВМ

Pang, J.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Fokkink W.J., Pang J. Заглавие : Cones and foci for protocol verification revisited Выходные данные : Amsterdam, 2002 Колич.характеристики :17 p.: ill Серия: Report: Software engineering/ Centrum voor wiskunde en informatica(Amsterdam), ISSN 1386-369X; SEN-R0229 Примечания : ; Библиогр.:с. 15-17 Цена : Б.ц. ГРНТИ : ; 50.05.13 УДК : Предметные рубрики: Программы для ЭВМ Перейти к источнику в Интернете: Cones and foci for protocol verification revisited Доп.точки доступа: Pang, J. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

178

Cones and foci for protocol verification revisited Report. SEN 0 ^aКонусы и фокусы для верификации протоколов - пересмотренный метод. Парал. загл. сер. : гол.

Pang, J.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Fokkink, Wan J., Pang J. Заглавие : Cones and foci for protocol verification revisited Выходные данные : Amsterdam, 2002 Колич.характеристики :17 c.: ил Серия: Report. SEN: Software engineering/ Centrum voor wiskunde en informatica, ISSN 1386-369X; SEN-R0229 Примечания : ; Библиогр. : с. 15-17. - ; Парал. загл. сер. : гол. Цена : Б.ц. ГРНТИ : ; 50.05.13 УДК : Перейти к источнику в Интернете: Cones and foci for protocol verification revisited Доп.точки доступа: Pang, J. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

179

Concurrent system verification with process algebra 0 ^aВерификация параллельных систем с алгеброй процесса 0 ; алгебра процесса;верификация 0 ; алгебра процесса;верификация


Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Zuidweg J. Заглавие : Concurrent system verification with process algebra Выходные данные : Leiden, 1990 Колич.характеристики :237 с Цена : Б.ц. ГРНТИ : ; 50.05.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; алгебра процесса;верификация Перейти к источнику в Интернете: Concurrent system verification with process algebra VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

180

Computer-aided verification Lecture notes in computer science Springer программа Программы для ЭВМ, Верификация, Съезды и конференции программа

Clarke, E.M. ed.; Kurshan, R.P. ed.

R/9132/531 Computer-aided verification [Text] : proc.of the 2nd workshop on computer-aided verification, June 18-21, 1990, New Brunswick(NJ) / CAV'90. - Berlin etc. : Springer , 1991. - IX,372 p. p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; n531). - ISBN 3-540-54478-X : 50.00 р. Библиогр.в конце статейГРНТИ 50.05.13УДК 004.415.535(063) Рубрики: Программы для ЭВМ--Верификация--Съезды и конференции Держатели документа: ГПНТБ России Доп.точки доступа: Clarke, E.M. \ed.\; Kurshan, R.P. \ed.\ Экз-ры: АЛГ(1), (2) Копия: мкф., Шифр MR-100286 VERIFICATION$

State Public Technical Library of Russia (Russian)

181

Computer verification of the Ankeny-Artin-Chowla conjecture for all primes less than 100 000 000 000 Report:Modelling,analysis and simulation число число Чисел теория, Решение на вычислительных машинах число число

Riele, H.J.J.te; Williams, H.C.

R/17927/MAS-R9905 Poorten, A. J.van der Computer verification of the Ankeny-Artin-Chowla conjecture for all primes less than 100 000 000 000 [Text] : сборник / A.J.van der Poorten,H.J.J.te Riele,H.C.Williams. - Amsterdam : [s. n.], 1999. - 21 p. - (Report:Modelling,analysis and simulation / Centrum voor wiskunde en informatica (Amsterdam), ISSN 1386-3703 ; MAS-R9905). - 10.00 р. Библиогр.:с.20-21ГРНТИ 27.15УДК 511:004 Рубрики: Чисел теория--Решение на вычислительных машинах Держатели документа: ГПНТБ России Доп.точки доступа: Riele, H.J.J.te ; Williams, H.C. Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

182

Computer aided verification Lecture notes in computer science; 575 0 ^aКомпьютерная верификация:Международное совещание CAV'91, Альборг, Дания, 1-4 июля 1991 г:Труды International workshop on computer-aided verification(Aalborg;3;1992) Springer-Verl. Библиогр. в конце докл. ; Счетные машины электронные. Контроль. Съезды и конференции

Larsen, K.G. .; Skou, A. .

Вид документа : Однотомное издание Шифр издания : Заглавие : Computer aided verification : 3 rd Intern. workshop CAV'91, Aalborg, Denmark, July 1-4, 19911 Выходные данные : Berlin etc.: Springer-Verl., 1992 Колич.характеристики :10, 487 с: ил Коллективы : International workshop on computer-aided verification(Aalborg;3;1992) Серия: Lecture notes in computer science; 575 Примечания : ; Библиогр. в конце докл. ISBN, Цена 3-540-55179-4: Б.ц. ГРНТИ : ; 50.07 + ; 50.05 Предметные рубрики: Счетные машины электронные Перейти к источнику в Интернете: Computer aided verification, Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  Доп.точки доступа: Larsen, K.G. \.\; Skou, A. \.\ VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

183

Computer aided verification Lecture notes in computer science International conference on computer aided verification Springer ; Программы для ЭВМ

Emerson, E.A.; Sistla, A.P.

Вид документа : Однотомное издание Шифр издания : K Заглавие : Computer aided verification : 12th Intern., Chicago(Il), July 15-19, 2000: Proc. Выходные данные : Berlin etc.: Springer, 2000 Колич.характеристики :582 p.: ill Коллективы : International conference on computer aided verification (12;2000) Серия: Lecture notes in computer science, ISSN 0302-9743; Vol.1855 Примечания : ; Библиогр.в конце ст. Указ.:с.581-582 ISBN, Цена 3-540-67770-4: Б.ц. ГРНТИ : ; 50.05.13 УДК : Предметные рубрики: Программы для ЭВМ Перейти к источнику в Интернете: Computer aided verification Доп.точки доступа: Emerson, E.A.; Sistla, A.P. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

184

Computer aided verification Lecture notes in computer science CAV 2000 Springer программа Программы для ЭВМ, Верификация, Съезды и конференции программа

Emerson, E.A. ed.; Sistla, A.P. ed.

R/9132/1855 Computer aided verification [Text] : CAV 2000 : 12th Intern., Chicago(Il), July 15-19, 2000: Proc. / ed.: E. A. Emerson, A. P. Sistla. - Berlin etc. : Springer, 2000. - 582 p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; vol.1855). - ISBN 3-540-67770-4 : 1836.59 р. Библиогр.в конце ст. Указ.:с.581-582ГРНТИ 50.05.13УДК 004.415.535(063) Рубрики: Программы для ЭВМ--Верификация--Съезды и конференции Держатели документа: ГПНТБ России Доп.точки доступа: Emerson, E.A. \ed.\; Sistla, A.P. \ed.\ Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-108954 VERIFICATION$

State Public Technical Library of Russia (Russian)

185

Computer aided verification Lecture notes in computer science 0 ^aВерификация с использованием ЭВМ. Труды 4го Межд.семинара.Монреаль,1992 Springer 0 ; верификация программного обеспечения 0 ; верификация программного обеспечения Библиогр.в конце докл 0 ; верификация программного обеспечения

Bochmann, G.von; Probst, D.K.

Вид документа : Многотомное издание Шифр издания : K Заглавие : Computer aided verification : Proceedings Выходные данные : Berlin etc: Springer, 1993 Колич.характеристики :IX,422 c: ил Серия: Lecture notes in computer science; Vol.663 Примечания : ; Библиогр.в конце докл ISBN, Цена 3-540-56496-9: Б.ц. ГРНТИ : ; 50.05.13 + ; 50.07.07 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; верификация программного обеспечения Перейти к источнику в Интернете: Computer aided verification Доп.точки доступа: Bochmann, G.von; Probst, D.K. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

186

Computer aided verification Lecture notes in computer science 0 ^aАвтоматизированная верификация. 8-я межд. конф., CAV'96, Нью-Брунсвик, 1996 Springer 0 ; автоматизированная верификация; вычислительные машины 0 ; автоматизированная верификация; вычислительные машины Библиогр. в конце ст.- Указ.: с.471-472 0 ; автоматизированная верификация; вычислительные машины

Alur, R.; Henzinger, T.A.

Вид документа : Однотомное издание Шифр издания : Заглавие : Computer aided verification : 8th Intern. conf., CAV'96, New Brunswick, NJ, USA, July 31- Aug.3, 1996: Proc Выходные данные : Berlin etc: Springer, 1996 Колич.характеристики :XII, 472 c: ил., табл Серия: Lecture notes in computer science, ISSN 0302-9743; 1102 Примечания : ; Библиогр. в конце ст.- Указ.: с.471-472 ISBN, Цена 3-540-61474-5: Б.ц. ГРНТИ : ; 50.05.13 Ключевые слова (''Своб.индексиров.''): 0 ; автоматизированная верификация; вычислительные машины Перейти к источнику в Интернете: Computer aided verification Доп.точки доступа: Alur, R.; Henzinger, T.A. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

187

Computer aided verification Lecture notes in computer science 0 ^aАвтоматизированная верификация. 5.Труды 6го межд.семинара,Станфорд,1994 Springer International workshop on computer aided verification,CAV' (6;1994;Stanford,Calif.) 0 ; автоматизированная верификация. 0 ; автоматизированная верификация. Библиогр.в конце докл 0 ; автоматизированная верификация.

Dill, D.L.; International workshop on computer aided

Вид документа : Многотомное издание Шифр издания : K Заглавие : Computer aided verification : Proc. Выходные данные : Berlin etc: Springer, 1994 Колич.характеристики :IX,480 c: ил Коллективы : International workshop on computer aided verification,CAV' (6;1994;Stanford,Calif.) Серия: Lecture notes in computer science; Vol.818 Примечания : ; Библиогр.в конце докл ISBN, Цена 3-540-58179-0: Б.ц. ГРНТИ : ; 50.07.07 + ; 50.05.13 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; автоматизированная верификация. Перейти к источнику в Интернете: Computer aided verification Доп.точки доступа: Dill, D.L.; International workshop on computer aided verification,CAV' (6;1994;Stanford,Calif.) VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

188

Computer aided verification 0 ^aАвтоматизированная верификация:Труды 3-го междунар. семинара, Adlborg, 1991 Springer

Clarke, Edmund M .; Courcoubetis, Costas .

Вид документа : Многотомное издание Шифр издания : Заглавие : Computer aided verification : Proceedings Выходные данные : Berlin etc.: Springer, 1993 Колич.характеристики :IX, 504 с.: ил. ISBN, Цена 3-540-56922-7: Б.ц. ГРНТИ : ; 50.05 + ; 50.01.13 Перейти к источнику в Интернете: Computer aided verification, Перейти к источнику в Интернете:  Доп.точки доступа: Clarke, Edmund M \.\; Courcoubetis, Costas \.\ VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

189

Computer aided verification 0 ^aАвтоматизированная верификация:Труды 3-го междунар. семинара, Adlborg, 1991 Springer

Clarke, Edmund M .; Courcoubetis, Costas .

Вид документа : Многотомное издание Шифр издания : Заглавие : Computer aided verification : Proceedings Выходные данные : Berlin etc.: Springer, 1991 Колич.характеристики :XIII, 372 с.: ил. ISBN, Цена 3-540-54477-1: Б.ц. ГРНТИ : ; 50.05 + ; 50.01.13 Перейти к источнику в Интернете: Computer aided verification Доп.точки доступа: Clarke, Edmund M \.\; Courcoubetis, Costas \.\ VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

190

Calibration and verification of surface contamination meters - procedures and techniques Bericht PSI Paul Scherrer Institut 29479; Радиоактивность окружающей среды, Контроль, Аппаратура

Schuler, C.; Butterweck, G.; Wernli, C.; Bochud, F.; Valley, J.-F.; Paul Scherrer Institut(Villigen)

R/17812/07-01 Paul Scherrer Institut (Villigen). Bericht [Text] / Paul Scherrer Inst. - Villigen : PSI, 19 - . - ISSN 1019-0643.N 07-01 : Calibration and verification of surface contamination meters - procedures and techniques / C. Schuler [et al.]. - Villigen : PSI, 2007. - VIII,72 p. : ill. - Рез. нем. - Библиогр.: с. 70-72 (29 назв.). - 50.00 р.ГРНТИ 87.15.03УДК 504.5:621.039 Рубрики: Радиоактивность окружающей среды--Контроль--Аппаратура Держатели документа: ГПНТБ России Доп.точки доступа: Schuler, C.; Butterweck, G.; Wernli, C.; Bochud, F.; Valley, J.-F.; Paul Scherrer Institut(Villigen) Экз-ры: хр(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

191

Automatic verification of instruction set simulation using synchronized state comparison UMSI research report вычислительная машина Вычислительные машины, Архитектура вычислительная машина

Lilja, D.J.

R/17401/2000/211 Glamm, B. Automatic verification of instruction set simulation using synchronized state comparison [Text] : сборник научных трудов / B.Glamm,D.J.Lilja. - Minniapolis(Mn) : [s. n.], 2000. - 7 p. : ill. - (UMSI research report / Univ.of Minnesota ; 2000/211). - 10.00 р. Библиогр.:с.7ГРНТИ 58.33.03УДК 004.2 Рубрики: Вычислительные машины--Архитектура Держатели документа: ГПНТБ России Доп.точки доступа: Lilja, D.J. Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

192

Automatic verification of instruction set simulation using synchronized state comparison UMSI research report ; Вычислительные машины

Lilja, D.J.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Glamm B., Lilja D.J. Заглавие : Automatic verification of instruction set simulation using synchronized state comparison Выходные данные : Minniapolis(Mn), 2000 Колич.характеристики :7 p.: ill. Серия: UMSI research report/ University of Minnesota(Minneapolis,Mn).Supercomputer institute; 2000/211 Примечания : ; Библиогр.:с.7 Цена : Б.ц. ГРНТИ : ; 50.33.03 УДК : Предметные рубрики: Вычислительные машины Перейти к источнику в Интернете: Automatic verification of instruction set simulation using synchronized state comparison Доп.точки доступа: Lilja, D.J. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

193

Automatic verification methods for finite state systems Springer

Sifakis, J. ed.

R/9132/407 Automatic verification methods for finite state systems [Text] : proc.of the intern.workshop on automatic verification methods for finite state systems, June 12-14, 1989, Grenoble / Ed.: J.Sifakis. - Berlin etc. : Springer, 1990. - VII,382 p. : ill. - ISBN 3-540-52148-8 : 26.00 р.ГРНТИ 50УДК 681.3(082.1) Держатели документа: ГПНТБ России Доп.точки доступа: Sifakis, J. \ed.\ Экз-ры: АЛГ(1) Копия: мкф., Шифр MR-90177 VERIFICATION$

State Public Technical Library of Russia (Russian)

194

Automatic verification methods for finite state systems Lecture notes in computer science 0 ^aМетоды автоматического контроля систем с конечным числом состояний:Труды междунар. совещания по методам автоматического контроля систем с конечным числом состояний, Гренобль, 12-14 июня 1989 г Intern. workshop on automatic verification methods for finite state systems(Grenoble;1989) Springer 0 ; метод автоматического контроля систем; конечное число состояний Библиогр. в конце глав 0 ; метод автоматического контроля систем; конечное число состояний

Sifakis, J. .

Вид документа : Однотомное издание Шифр издания : K Заглавие : Automatic verification methods for finite state systems : Proc. of the Intern. workshop on automatic verification methods for finite state systems, June 12-14, 1989, Grenoble Выходные данные : Berlin: Springer, 1990 Колич.характеристики :VII, 382 с: ил Коллективы : Intern. workshop on automatic verification methods for finite state systems(Grenoble;1989) Серия: Lecture notes in computer science; N 407 Примечания : ; Библиогр. в конце глав ISBN, Цена 3-540-52148-8: Б.ц. ГРНТИ : ; 50.07.07 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; метод автоматического контроля систем; конечное число состояний Перейти к источнику в Интернете: Automatic verification methods for finite state systems, Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  Доп.точки доступа: Sifakis, J. \.\ VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

195

Annual data and verification tabulation atlantic tropical cyclones 1986 Technical memorandum NWS;35 0 ^aАтлантические тропические циклоны:Ежегодные данные и контроль 0 ; тропические циклоны 0 ; тропические циклоны

Case, R.A.

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Clark G.B., Case R.A. Заглавие : Annual data and verification tabulation atlantic tropical cyclones 1986 Выходные данные : Washington, 1987 Колич.характеристики :66 с Серия: Technical memorandum NWS;35/ NOAA Цена : Б.ц. ГРНТИ : ; 37.21.37 Ключевые слова (''Своб.индексиров.''): 0 ; тропические циклоны Перейти к источнику в Интернете: Annual data and verification tabulation atlantic tropical cyclones 1986 Доп.точки доступа: Case, R.A. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

196

Algebraic verification of a distributed summation algorithm Report:Computer science программа Программы для ЭВМ, Верификация, , прэв программа

Springintveld, J.G.

R/16212/CS-R9640 Groote, J. F. Algebraic verification of a distributed summation algorithm [Text] : сборник / J.F.Groote,J.G.Springintveld. - Amsterdam : [s. n.], 1996. - 18 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9640). - 1000 р. Библиогр.:с.17-18ГРНТИ 50.41УДК 004.415.535 Рубрики: Программы для ЭВМ--Верификация Держатели документа: ГПНТБ России Доп.точки доступа: Springintveld, J.G. Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

197

Airfoil static-pressure thrust:flight-test verification Rep./AIAA;90-3286 0 ^aТяга при статическом давлении на профиле крыла:верификация путем летных испытаний 0 ; тяга;статическое давление Библиогр.:с.9-10 0 ; тяга;статическое давление


Вид документа : Однотомное издание Шифр издания : Автор(ы) : Goldschmied F.R. Заглавие : Airfoil static-pressure thrust:flight-test verification Выходные данные : Washington, 1990 Колич.характеристики :10 c: ил Серия: Rep./AIAA;90-3286 Примечания : ; Библиогр.:с.9-10 Цена : Б.ц. ГРНТИ : ; 55.42.47 Ключевые слова (''Своб.индексиров.''): 0 ; тяга;статическое давление Перейти к источнику в Интернете: Airfoil static-pressure thrust:flight-test verification VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

198

Airfoil static-pressure thrust: flight-test verification [Reports] American institute of aeronautics and astronautics(New York)

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

R/2668/90-3286 American institute of aeronautics and astronautics(New York). [Reports] [Text] / Amer.inst.of aeronautics and astronautics. - Washington : [s. n.].N 90-3286 : Airfoil static-pressure thrust: flight-test verification : rep. presented at the AIAA/AHS/ASEE aircraft design, systems and operations conf.,Sept. 17-19, 1990, Dayton(Oh) / F.R.Goldschmied. - Washington : [s. n.], 1990. - 10 p. : ill. - 1.50 р.УДК 629.73(05)629.78(05) Держатели документа: ГПНТБ России Доп.точки доступа: Amer.inst.of aeronautics and astronautics(New York) Экз-ры: ХР(1) Копия: мкф., Шифр MR-94393 VERIFICATION$

State Public Technical Library of Russia (Russian)

199

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) VERIFICATION$

State Public Technical Library of Russia (Russian)

200

ARC-ICARDA-OPEC/Pilot project


Вид документа : Однотомное издание Шифр издания : Заглавие : ARC-ICARDA-OPEC/Pilot project "Verification and adoption of improved wheat production technology in farmers'fields in the Sudan" : Proc. of the 3rd Nat. wheat coordination meet., 4-6 Sept. 1988, Wad Medani, Sudan Выходные данные : Aleppo (Syria), 1989 Колич.характеристики :7, 45 с: ил Цена : Б.ц. ГРНТИ : ; 68.35.29 Ключевые слова (''Своб.индексиров.''): 0 ; пшеница; судан; совещание Перейти к источнику в Интернете: ARC-ICARDA-OPEC/Pilot project "Verification and adoption of improved wheat production technology in farmers'fields in the Sudan" VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

201

A verification of the bakery protocol combining algebraic and model-oriented techniques Report:Computer science Вычислительные системы распределенные

Klusener, A.S.

R/16212/CS-R9619 Brovedani, C. A verification of the bakery protocol combining algebraic and model-oriented techniques [Text] : сборник научных трудов / C.Brovedani,A.S.Klusener. - Amsterdam : [s. n.], 1996. - 24 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9619). - 3000 р. Библиогр.:с.14ГРНТИ 50.39.19УДК 004.75 Рубрики: Вычислительные системы распределенные Держатели документа: ГПНТБ России Доп.точки доступа: Klusener, A.S. Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

202

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

Gvos, G. .

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

The Russian Union Catalog of Scientific Literature (Russian)

203

A static analysis tool set for assembler code verification Publications;N1991/E/023 BARC Библиогр.:с.28 ; Атомные энергетические установки. -Надежность, атусэн

Bhattacharjee, A.K.; Sen, G.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Dhodapkar S.D., Bhattacharjee A.K., Sen G. Заглавие : A static analysis tool set for assembler code verification Выходные данные : Bombay: BARC, 1991 Колич.характеристики :40 p.: ill. Серия: Publications;N1991/E/023/ Bhabha atomic research centre Примечания : ; Библиогр.:с.28 Цена : Б.ц. ГРНТИ : ; 44.33.31 УДК : Предметные рубрики: Атомные энергетические установки Перейти к источнику в Интернете: A static analysis tool set for assembler code verification Доп.точки доступа: Bhattacharjee, A.K.; Sen, G. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

204

A static analysis tool set for assembler code verification Publication Атомные энергетические установки, Надежность, , атусэн

Bhattacharjee, A.K.; Sen, G.

R/6140/1991/E/023 Dhodapkar, S. D. A static analysis tool set for assembler code verification [Text] : сборник научных трудов / S.D.Dhodapkar,A.K.Bhattacharjee,G.Sen. - Bombay : [s. n.], 1991. - 40 p. : ill. - (Publication / BARC ; n1991/E/023). - 10 р. Библиогр.:с.28ГРНТИ 44.33.31УДК 621.039.58 Рубрики: Атомные энергетические установки--Надежность Держатели документа: ГПНТБ России Доп.точки доступа: Bhattacharjee, A.K.; Sen, G. Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

205

A static analysis tool set for assembler code verification Publ./Bhabha atomic research centre 0 ^aНабор средств статического анализа для верификации кода ассемблера 0 ; верификация кода ассемблера Библиогр.: с.28 0 ; верификация кода ассемблера

Bhattacharjee, A.K.; Sen, G.

Вид документа : Однотомное издание Шифр издания : K Автор(ы) : Dhodapkar S.D., Bhattacharjee A.K., Sen G. Заглавие : A static analysis tool set for assembler code verification Выходные данные : Bombay, 1991 Колич.характеристики :40 с: ил Серия: Publ./Bhabha atomic research centre; N 1991/E/023 Примечания : ; Библиогр.: с.28 Цена : Б.ц. ГРНТИ : ; 50.05.13 + ; 58.01.77 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; верификация кода ассемблера Перейти к источнику в Интернете: A static analysis tool set for assembler code verification, Перейти к источнику в Интернете: , Перейти к источнику в Интернете:  Доп.точки доступа: Bhattacharjee, A.K.; Sen, G. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

206

A new language Basic-Real for specification and verification of distributed system models Препринт программа; ЭВМ; спецификация программа; ЭВМ; верификация Программы для ЭВМ, Спецификация Программы для ЭВМ, Верификация программа; ЭВМ; спецификация программа; ЭВМ; верификация

Shilov, N.V.; Bodin, E.V.

М/49881/65 Непомнящий, В. А. A new language Basic-Real for specification and verification of distributed system models [Text] : препринт / В. А. Непомнящий, N. V. Shilov, E. V. Bodin. - Novosibirsk, 1999. - 39 p. - (Препринт / Институт систем информатики(Новосибирск) ; 65). - 50 экз. - Б. ц. Перед загл. авт.:V.A.Nepomniaschy, N.V.Shilov, E.V.BodinГРНТИ 50.05.13УДК 004.415.28(04)004.415.535(04) Рубрики: Программы для ЭВМ--СпецификацияПрограммы для ЭВМ--Верификация Держатели документа: ГПНТБ России Доп.точки доступа: Shilov, N.V.; Bodin, E.V. Экз-ры: хр(1) VERIFICATION$

State Public Technical Library of Russia (Russian)

207

A new language Basic-Real for specification and verification of distributed system models Препринт 0 ; Программы для ЭВМ 0 ; Программы для ЭВМ

Shilov, N.V.; Bodin, E.V.

Вид документа : Однотомное издание (Препринт) Шифр издания : K Автор(ы) : Непомнящий В.А., Shilov N.V., Bodin E.V. Заглавие : A new language Basic-Real for specification and verification of distributed system models Выходные данные : Novosibirsk, 1999 Колич.характеристики :39 p. Серия: Препринт; 65 Цена : Б.ц. ГРНТИ : ; 50.05.13 УДК : + Предметные рубрики: Программы для ЭВМ Программы для ЭВМ Перейти к источнику в Интернете: A new language Basic-Real for specification and verification of distributed system models Доп.точки доступа: Shilov, N.V.; Bodin, E.V. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

208

A geometric mechanism for diffusion in Hamiltonian systems overcoming the large gap problem: heuristics and rigorous verification on a model Memoirs of the American mathematical society 1 ^aГеометрический механизм диффузии в гамильтоновых системах, преодолевающий проблему большого промежутка. Amer. math. soc. 1 ; дифференциальные уравнения, качественная теория 1 ; дифференциальные уравнения, качественная теория ; неголономные системы. динамика 1 ; дифференциальные уравнения, качественная теория

Llave, R.de la; Seara, T.M.

Вид документа : Однотомное издание Шифр издания : . rugasnti. 30.15.15 Автор(ы) : Delshams, Amadeu, Llave R.de la, Seara T.M. Заглавие : A geometric mechanism for diffusion in Hamiltonian systems overcoming the large gap problem: heuristics and rigorous verification on a model Выходные данные : Providence: Amer. math. soc., 2006 Колич.характеристики :VII,141 p.: ill.; 25 cm Серия: Memoirs of the American mathematical society/ American mathematical society (Providence), ISSN 0065-9266; N 844 Примечания : ; Bibliogr.: p. 137-141 ISBN, Цена 0-8218-3824-5: Б.ц. ГРНТИ : ; 30.15.15 Предметные рубрики: неголономные системы Ключевые слова (''Своб.индексиров.''): 1 ; дифференциальные уравнения, качественная теория Перейти к источнику в Интернете: A geometric mechanism for diffusion in Hamiltonian systems overcoming the large gap problem: heuristics and rigorous verification on a model, Перейти к источнику в Интернете:  Доп.точки доступа: Llave, R.de la; Seara, T.M. VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

209

A formal hardware description and verification method Linkoping studies in science a. technology. Dissertations 0 ^aФормальное описание технического обеспечения ЭВМ и метод верификации:Дис. Linkoping univ. Dep. of computer a. inform. science 0 ; ЭВМ Библиогр.: с.174-192 0 ; ЭВМ


Вид документа : Однотомное издание Шифр издания : Заглавие : A formal hardware description and verification method : Akad. avh. Выходные данные : Linkoping: Linkoping univ. Dep. of computer a. inform. science, 1989 Колич.характеристики :192 с Серия: Linkoping studies in science a. technology. Dissertations, ISSN 0345-7524; N 214 Примечания : ; Библиогр.: с.174-192 ISBN, Цена 91-7870-517-7: Б.ц. ГРНТИ : ; 50.33.03 Ключевые слова (''Своб.индексиров.''): 0 ; эвм Перейти к источнику в Интернете: A formal hardware description and verification method VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

210

A convention on greenhouse gases: towards the design of a verification system Ber.:Forschungszentrum Julich GmbH 0 ^aПроблемы контроля поступления в атмосферу газов, вызывающих

Di Primio, J C; Stein, G

Вид документа : Однотомное издание Шифр издания : Автор(ы) : Fischer, W, Di Primio, J C, Stein, G Заглавие : A convention on greenhouse gases: towards the design of a verification system Выходные данные : Julich, 1990 Колич.характеристики :44, [7] с. ; 30 см. Серия: Ber.:Forschungszentrum Julich GmbH, ISSN 0366-0885 Примечания : ; Als Ms. gedr.-Библиогр.: с. 39-43 Цена : Б.ц. ГРНТИ : ; 37.21.15 Перейти к источнику в Интернете: A convention on greenhouse gases: towards the design of a verification system Доп.точки доступа: Di Primio, J C; Stein, G VERIFICATION$

The Russian Union Catalog of Scientific Literature (Russian)

211

A VHDL simulator in a co-verification environment Publications Вычислительные машины управляющие


R/11634/355 Melakari, K. A VHDL simulator in a co-verification environment [Text] : материал технической информации / K.Melakari. - Espoo : [s. n.], 1998. - 91 p. : ill. - (Publications / Valtion teknillinen tutkimuskeskus(Helsinki), ISSN 0358-5069 ; 355). - ISBN 951-38-5245-8 : 20.00 р. Библиогр.:с.88-91ГРНТИ 50.33.31УДК 004.384 Рубрики: Вычислительные машины управляющие Держатели документа: ГПНТБ России Экз-ры: ХР(1) VERIFICATION$

State Public Technical Library of Russia (Russian)