| |
Поиск по автору
[321] Altschuler S. J.
A linear contact flow for three dimensional manifolds: доклад, тезисы доклада / S.J.Altschuler. - Canberra : [s. n.], 1991. - 24 p. : ill. - (Research report / Centre for mathematics and its applications(Canberra) ; CMA-MR23-91) (Research report / School of math.sciences ; SMS-75-91). - 1.00 р. Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 27.21.19
УДК: 514.7
Рубрика: Дифференциальная геометрия
[322] Apt K. R.
Introduction to program verification: материал технической информации / 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 Перевод заглавия: Введение в верификацию программПеревод заглавия: Введение в верификацию программ Держатели документа: ГПНТБ России
Доп.точки доступа: Olderog, E.-R.
Экз-ры: ХР(1)
ГРНТИ: 50.05.13
УДК: 004.415.535
Рубрика: Программы для ЭВМ / Верификация
[323] Apt K. R.
Proving termination of general Prolog programs: сборник научных трудов / K.R.Apt,D.Pedreschi. - Amsterdam : [s. n.], 1991. - 23 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9111). - 1.00 р. Библиогр.: с.23 Перевод заглавия: Проверка универсальных программ на языке ПрологПеревод заглавия: Проверка универсальных программ на языке Пролог Держатели документа: ГПНТБ России
Доп.точки доступа: Pedreschi, D.
Экз-ры: ХР(1)
ГРНТИ: 50.05.13
УДК: 004.415.5
Рубрика: Программы для ЭВМ / Верификация
[324] America P. H.M.
A proof theory for process creation: сборник научных трудов / P.H.M.America,F.S.de Boer. - Amsterdam : [s. n.], 1991. - 83 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9119). - 2.00 р. Библиогр.: с. 82-83 Перевод заглавия: Теория доказательств для формирования процессаПеревод заглавия: Теория доказательств для формирования процесса Держатели документа: ГПНТБ России
Доп.точки доступа: Boer, F.S.de
Экз-ры: ХР(1)
ГРНТИ: 50.05.13
УДК: 004.42.032.24
Рубрика: Программирование для ЭВМ параллельное
[325] Adair J.
Problem solving: a top-down approach / J.Adair. - Glenview(Il) ; Scott,Foresman : Boston(Ma), 1989. - XIII,249 с. - ISBN 0-673-18607-5 : 17.48 р. Указ в конце книги Держатели документа: ГПНТБ России
Экз-ры: АЛГ(1), (2)
Копия: мкф., Шифр MR-95090
ГРНТИ: 28.23.20
УДК: 004.832
Рубрика: Искусственный интеллект / Решение задач
[326] America P. H.M.
A proof theory for a sequential version of POOL: сборник научных трудов / P.H.M.America,F.S.de Boer. - Amsterdam : [s. n.], 1991. - 110 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9118). - 2.00 р. Библиогр.: с. 93 Перевод заглавия: Теория доказательств для последовательной версии языка PoolПеревод заглавия: Теория доказательств для последовательной версии языка Pool Держатели документа: ГПНТБ России
Доп.точки доступа: Boer, F.S.de
Экз-ры: ХР(1)
ГРНТИ: 50.05.13
УДК: 004.415.535
Рубрика: Программы для ЭВМ / Верификация
[327] Aircraft design systems and operations meeting (1988 ; Atlanta(Ga)).
Keynote address: effective application of technology the challenge-1990 and beyond,Sept.7-9,1988,Atlanta(Ga) / AIAA/AHS/ASEE ; Gen. chairman:J.A.Blackwell. - New York : Amer.inst.of aeronautics and astronautics, 1990. - 18 p. : ill. - 1.50 р. Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 55.47.07
УДК: 629.73.05(063)
Рубрика: Летательные аппараты / Проектирование / Съезды и конференции
[328] Aircraft design systems and operations meeting (1988 ; Atlanta(Ga)).
Mess- und Versuchstechnik im Automobilbau: Ger@:ausche und Schwingungen: Tagung, M@:unchen, 4-6 Apr. 1990 / VDI-Ges. Fahrzeugtechnik. - D@:usseldorf : VDI-Verl., 1990. - 474 S. : Ill. - (Berichte / Verein dt.Ing., ISSN 0083-5560 ; N791). - ISBN 3-18-090791-6 : 152.20 р. Библиогр. в конце ст. Перевод заглавия: Измерительная и испытательная техника в автомобилестроении:Помехи и вибрацияПеревод заглавия: Измерительная и испытательная техника в автомобилестроении:Помехи и вибрация Держатели документа: ГПНТБ России
Экз-ры: ХР(1), (2)
Копия: мкфш., Шифр MF-91-15858
ГРНТИ: 55.43.03 55.43.81
УДК: 629.113.002:658.362(063) 629.113.001.4(063)
Рубрика: Автомобилестроение / Технический контроль / Съезды и конференции Автомобили / Испытание / Съезды и конференции
[329] Aircraft design systems and operations meeting (1988 ; Atlanta(Ga)).
Reinraumtechnik : Eine Publikation aus Anlass des 60.Geburtstages von T.Rakoczy / B.Barath,R.Detzer,K.Fischer и др. - D@:usseldorf : [s. n.], 1990. - 116 S. : Ill. - (Fortschritt-Berichte der VDI-Zeitschriften. R.19, Warmetechnik/Kaltetechnik / Verein dt.Ing., ISSN 0178-9465 ; N38). - ISBN 3-18-143819-7 : 78.16 р. Библиогр.:с.102-103 Держатели документа: ГПНТБ России
Доп.точки доступа: Barath, B.; Detzer, R.; Fischer, K.
Экз-ры: ХР(1), (2)
Копия: мкф., Шифр MR-100642
ГРНТИ: 89.25
УДК: 629.78
Рубрика: Космическая технология
[330] Andreassen D. C.
Strategies for safety problems: материал технической информации / D.C.Andreassen. - Vermont South(Victoria) : [s. n.], 1989. - 101 p. : ill. - (Report / ARR, ISSN 0518-0728 ; n163). - ISBN 0-86910-391-1 : 2.00 р. Библиогр.в конце ст. Перевод заглавия: Калибровка измерителя неровности дороги NAASRA посредством международного показателя неровности на основе профиля дороги (IRI)Перевод заглавия: Калибровка измерителя неровности дороги NAASRA посредством международного показателя неровности на основе профиля дороги (IRI) Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 73.31.17
УДК: 656.13.08
Рубрика: Автомобильный транспорт / Безопасность движения
Объявление:
[331] Akkerman G. J.
Term rewriting analysis in process algebra: сборник научных трудов / G.J.Akkerman,J.C.M.Baeten. - Amsterdam : [s. n.], 1991. - 9 p. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9130). - 1.00 р. Библиогр.:с.9 Держатели документа: ГПНТБ России
Доп.точки доступа: Baeten, J.C.M.
Экз-ры: ХР(1)
ГРНТИ: 27.17.21
УДК: 512.563
Рубрика: Алгебра логики
[332] Agnone A. M.
Analytical and experimental investigation of a swept 3-D fixed geometry mixed compression hypersonic inlet: сборник научных трудов / A.M.Agnone. - Washington : [s. n.], 1987. - 28 p. : ill. - ([Reports] / Amer.inst.of aeronautics and astronautics ; n87-0159). - 1.50 р. В надзаг.также.:AIAA 25th aerospace sciences meet.,Jan.12-15,1987,Reno(Nv).Библиогр.:с.18-19 Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 55.42.47
УДК: 621.452.225:533.6
Рубрика: Авиационные двигатели воздушно-реактивные / Аэродинамика
[333] Agnone A. M.
Algebraic system specification and development: a survey and annotated bibliogr. / сост.ed. M. Bidoit. - Berlin etc. : Springer, 1991. - VIII,104 p. p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; n501). - ISBN 3-540-54060-1 : 26.00 р. Библиогр.:с.59-98,103-104 Перевод заглавия: Спецификация и разработка алгебраической системы.Перевод заглавия: Спецификация и разработка алгебраической системы. Держатели документа: ГПНТБ России
Доп.точки доступа: Bidoit, M. сост.ed.
Экз-ры: фмз(1), (2)
Копия: мкф., Шифр MR-99219
ГРНТИ: 50.05.03
УДК: 004.415.28
Рубрика: Программы для ЭВМ / Спецификация
[334] Agnone A. M.
Automata, languages and programming: proc. of the 18th intern. colloquium on automata ... July 1991, Madrid / ICALP'91 ; Ed.: J.Leach Albert et al. - Berlin etc. : Springer, 1991. - 763 p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; n510). - ISBN 3-540-54233-7 : 104.00 р. Библиогр. в конце статей.Указ.:с.763 Перевод заглавия: Автоматы, языки и программирование:Труды 18-го межд. коллоквиума, Мадрид, 1991Перевод заглавия: Автоматы, языки и программирование:Труды 18-го межд. коллоквиума, Мадрид, 1991 Держатели документа: ГПНТБ России
Доп.точки доступа: Leach Albert, J. сост.ed.
Экз-ры: АЛГ(1), (2)
Копия: мкф., Шифр MR-99642
ГРНТИ: 28.25 50.05.09 50.05.13
УДК: 519.713(063) 004.43(063) 004.42(063)
Рубрика: Автоматов теория / Съезды и конференции Программирования языки / Съезды и конференции Программирование для ЭВМ / Съезды и конференции
[335] Aoki T.
Multi-dimensional cubic interpolation for ICF hydrodynamics simulation: сборник / T.Aoki,T.Yabe. - Nagoya : [s. n.], 1991. - 17 p. : ill. - (Research report NIFS series / Nat.inst.for fusion science, ISSN 0915-633X ; 82). - ^atarget implosion. - 3.00 р. Библиогр.: с. 9 Держатели документа: ГПНТБ России
Доп.точки доступа: Yabe, T.
Экз-ры: ХР(1)
ГРНТИ: 58.34
УДК: 621.039.6
Рубрика: Управляемый термоядерный синтез
[336] Accademia nazionale delle scienze(Roma).
Rendiconti della accademia nazionale delle scienze detta dei XL. Ser.5, Memorie di matematica e applicazioni/ Accademia nazionale delle scienze(Roma). - Roma : [s. n.]. - ISSN 0392-4106.Vol. 14,Pt.1. - 1990. - 397 p. : ill. - 3.00 р. Текст.итa.,англ.Библиогр.в конце ст. Держатели документа: ГПНТБ России
Экз-ры: ХР(2)
ГРНТИ: 27 27
УДК: 51(05)
Рубрика: Математика
[337] Association technique de fonderie(Paris).
Annuaire/ ATF. - Paris : [s. n.].1990-1991. - 1991. - 116 p. : ill. - 3.00 р. Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 55.15.01
УДК: 621.74(05)
Рубрика: Литейное производство
[338] Accademia nazionale delle scienze(Roma).
Rendiconti della accademia nazionale delle scienze detta dei XL. Ser.5, Memorie di scienze fisiche e naturali/ Accademia nazionale delle scienze(Roma). - Roma : [s. n.]. - ISSN 0392-4130.Vol. 14,Pt.2. - 1991. - 322 p. : ill. - 5.00 р. Текст итал.,англ.Библиогр.в конце ст. Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 12.91 12.91
УДК: 001(05)
Рубрика: Физика Естествознание
[339] Accademia peloritana dei pericolanti(Messina).
Atti della, Classe di scienze fisiche matematiche e naturali/ Accad. peloritana dei pericolanti. - Messina : [s. n.].Vol. 67. - 1991. - 432 p. : ill. - 3.00 р. Текст англ.Библиогр.в конце ст. Держатели документа: ГПНТБ России
Экз-ры: ХР(1), (2)
Копия: мкф., Шифр MR-98117
ГРНТИ: 43 43
УДК: 5(05)
Рубрика: Физико-математические науки Естествознание
[340] American institute of aeronautics and astronautics(New York).
The finding guide to AIAA meeting papers/ American institute of aeronautics and astronautics(New York). - New York : [s. n.]. - ISSN 0894-3818.1990. - annu. ed. - 1991. - 170 p. - 10.00 р. Держатели документа: ГПНТБ России
Экз-ры: ХР(1), (2)
Копия: мкф., Шифр MR-99540
ГРНТИ: 55.47 55.49
УДК: 629.73(05) 629.78(05)
Рубрика: Авиация Космонавтика
Страницы: 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 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 |
| |
|
