Поиск по названию
[421] Wei X.
Verhalten von Transportsystemen: Einfluss unterschiedlicher Randbedingungen auf die Wirkungsweise von Dispositionsstrategien: Diss / X.Wei. - Stuttgart : [s. n.], 1990. - 138 S. : Ill. - 2.00 р. Библиогр.: с. 134-137 Перевод заглавия: Характеристика транспортных систем: влияние различных краевых условий на принцип действия диспозиционных стратегий:ДисПеревод заглавия: Характеристика транспортных систем: влияние различных краевых условий на принцип действия диспозиционных стратегий:ДисДержатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 73.01
УДК: 656(043)
Рубрика: Транспорт

[422] Hillenbrand P.
Verhalten warmfester St@:ahle bei mehrstufiger Langzeitstandbeanspruchung: Diss. / P.Hillenbrand. - Darmstadt : [s. n.], 1998. - IV,198 S. S. : Ill. - 30.00 р. Библиогр.: с.76-81Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 53.49.13
УДК: 669.14.018.44:620.17(043)
Рубрика: Жаропрочная сталь / Испытание

[423] Tokyo metropolitan university.Faculty of technology.
Verification and validation of complex systems:Human factors issues: proc.of the NATO advanced study inst.on verification and validation of complex and integrated human-machine systems,July 6-17 1992,Vimeiro,Portugal / сост.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 р. Библиогр.в конце статейДержатели документа: ГПНТБ России
Доп.точки доступа: Wise, J.A. сост.ed.
Экз-ры: фмз(1), (2)
Копия: мкф., Шифр MR-105231
ГРНТИ: 50.43 50.01.13
УДК: 007.51(063)
Рубрика: Система "человек-машина" / Съезды и конференции

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

[425] Bosscher D. J.B.
Verification of an audio control protocol: монография / 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Держатели документа: ГПНТБ России
Доп.точки доступа: Polak, I.; Vaandrager, F.W.
Экз-ры: ХР(1)
ГРНТИ: 47.55.29
УДК: 681.84.087.7
Рубрика: Стереофоническая аппаратура

[426] Heo Y.
Verification of computer code FPRETAIN with respect to RIA data from SPERT and PBF experiments: сборник научных трудов / 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Держатели документа: ГПНТБ России
Доп.точки доступа: Yanagisawa, K.
Экз-ры: ХР(1), (2)
Копия: мкф., Шифр MR-103027
ГРНТИ: 87.33.33 58.33.37
УДК: 621.039.586.001.57
Рубрика: Ядерные реакторы водоводяные / Аварии / Моделирование

[427] Bosch H. S.
Verification of DEMNIP on data from the hupselse beek research basin: 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Держатели документа: ГПНТБ России
Доп.точки доступа: Ruygh, E.F.; Grashoff, P.S.; Hopstaken, C.F.; Witte, J.P.M.
Экз-ры: ХР(1)
ГРНТИ: 37.27
УДК: 556.013
Рубрика: Гидрология суши / Моделирование

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

[429] Eker S. M.
Verification of parameterised synchronous concurrent algorithms with OBJ3: 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Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 50.05.13
УДК: 004.415.5
Рубрика: Программы для ЭВМ / Верификация

[430] Apt K. R.
Verification of sequential and concurrent programs: материал технической информации / 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Держатели документа: ГПНТБ России
Доп.точки доступа: Olderog, E.-R.
Экз-ры: АЛГ(1), (2)
Копия: мкф., Шифр MR-99652
ГРНТИ: 50.05.13
УДК: 004.415.535
Рубрика: Программы-тесты для ЭВМ


Объявление:

[431] Apt K. R.
Verification of sequential and concurrent programs: сборник / 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Держатели документа: ГПНТБ России
Доп.точки доступа: Olderog, E.R.
Экз-ры: ХР(1)
ГРНТИ: 50.05.13
УДК: 004.415.535
Рубрика: Программы для ЭВМ / Верификация

[432] Lindholm D.
Verification of the slip velocity obtained from the two-fluid model in PHOENICS: отчет / 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Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 30.51.29
УДК: 532.529:681.3
Рубрика: Двухкомпонентные системы / Динамика

[433] Heinonen R.
Verification of the thermal design of electronic equipment: сборник научных трудов / 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 р. Библиогр.в конце частейДержатели документа: ГПНТБ России
Доп.точки доступа: Karjalainen, M.; Lankinen, R.
Экз-ры: ХР(1)
ГРНТИ: 47.13.21
УДК: 621.384.017.7
Рубрика: Электронные приборы / Тепловой режим

[434] Fujita M.
Verification techniques for system-level design: монография / 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 р.Держатели документа: ГПНТБ России
Доп.точки доступа: Ghosh, I.; Prasad, M.
Экз-ры: хр(1), (1)
Копия: мкф., Шифр MR-111588
ГРНТИ: 47.14.07
УДК: 621.3.049.771.14.001.2-52
Рубрика: Интегральные схемы большие / Проектирование / Автоматизация

[435] Arts T.
Verifying a smart design of TCAP : a synergetic experience / T.Arts,I.A. van Langevelde. - Amsterdam : [s. n.], 1999. - 65 p. : ill. - (Report:Software engineering / CWI, ISSN 1386-369X ; SEN-R9910). - 10.00 р. Библиогр.:с.31Держатели документа: ГПНТБ России
Доп.точки доступа: Langevelde, I.A. van
Экз-ры: ХР(1)
ГРНТИ: 50.05.13
УДК: 004.415.535
Рубрика: Программы для ЭВМ / Верификация

[436] Гердт В. П.
Verifying isomorphisms of finite dimensional lie algebras by Grobner basis technique: препринт / В.П.Гердт,W.Lassner. - Dubna, 1992. - 12 p. - (Препринт / Объединенный ин-т ядерных исследований(Дубна) ; Е5-92-1457). - 395 экз. - 32 р. Библиогр.: с. 11-12 (20 назв.)Держатели документа: ГПНТБ России
Доп.точки доступа: Lassner, W.; Gerdt V.P.
Экз-ры: хр(1)
ГРНТИ: 27.41.23
УДК: 512.554.3(04)
Рубрика: Ли алгебры

[437] Xu Z.
Verkehr in Ballungsr@:aumen : Optionen f@:ur eine effizientere u. umweltvertr@:aglichere Gestaltung / G.Halbritter,R.Br@:autigam,T.Fleischer и др. - Karlsruhe : [s. n.], 2001. - X,183 S. S. : Ill. - (Wissenschaftliche Berichte / FZKA, ISSN 0947-8620 ; 6678). - 50.00 р. Рез. англ. Библиогр.: с.143-145Держатели документа: ГПНТБ России
Доп.точки доступа: Halbritter, G.; Br@:autigam, R.; Fleischer, T.; Fulda, E.
Экз-ры: ХР(1), (2)
Копия: мкф., Шифр MR-109421
ГРНТИ: 73.43 87.15.17
УДК: 656.9 504.05
Рубрика: Городской транспорт Окружающая среда / Загрязнение транспортными средствами

[438] TRON project symposium (international) (8 ; 1991 ; Tokyo).
Verkehrsleitsysteme : Vortr. der GMA-Fachtagung anlasslich des VDE-Kongresses'90 am 9.und 10.Okt.1990 in Essen / Wiss.Tagungsleitung:G.Schweizer. - Berlin ; Offenbach : VDE-Verl., 1990. - 130 S. : Ill. - (GMA-Fachberichte / Ges.Mess-und Automatisierungstechnik, ISSN 0176-8867 ; 3). - ISBN 3-8007-1733-6 : 30000 р. Библиогр.в конце статей.Держатели документа: ГПНТБ России
Экз-ры: ХР(1), (2)
Копия: мкф., Шифр MR-104691
ГРНТИ: 73.43.71
УДК: 629.431/.434.058(063) 629.113.072(063)
Рубрика: Подвижной состав городского электрического транспорта / Контрольно-измерительные приборы / Съезды и конференции Автомобили / Скорость движения / Контрольно-измерительные приборы / Съезды и конференции

[439] Kr@:oner H.
Verkehrssteuerung in ATM-Netzen- Verfahren und verkehrstheoretische Analysen zur Zellpriorisierung und Verbindungsannahme: Diss / H.Kr@:oner. - Stuttgart : [s. n.], 1995. - XVII,207 S. S. : Ill. - (Bericht uber verkehrstheoretische Arbeiten / Univ.Stuttgart.Inst.fur Nachrichtenvermittlung und Datenverarbeitung ; 62). - ISBN 3-922403-72-7 : 10000 р. Паралл.загл.англ.Рез.англ.,нем.Библиогр.:с.169-186Держатели документа: ГПНТБ России
Доп.точки доступа: Universitat Stuttgart. Institut fur Nachrichtenvermittlung und Datenverarbeitung
Экз-ры: ХР(1)
ГРНТИ: 20.53.23
УДК: 004.738.2:681.7(043)
Рубрика: Системы передачи данных оптические

[440] Mohamed A. L.
Verkn@:upfung traditioneller und moderner Bauweisen am Beispiel der Oase "El Kasr" Dakhla-@:Agypten: Diss. / A.L.Mohamed. - Stuttgart : [s. n.], 1992. - 352 S. : Ill. - 300 р. Библиогр.:с.338-342Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 67
УДК: 69(043)
Рубрика: Строительство

Страницы: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 [22] 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56