Поиск по названию
[921] Bairstow R.
A programmable electronic Microplex Driver Unit for readout of silicon strip detectors: сборник / R.Bairstow. - Chilton(Oxon) : [s. n.], 1990. - 18,[33] p. p. : ill. - (Reports / Rutherford appleton lab. ; RAL-90-063). - 2.00 р. Библиогр.:с.18Держатели документа: ГПНТБ России
Экз-ры: ХР(1), (2)
Копия: мкф., Шифр MR-94434
ГРНТИ: 29.15.39
УДК: 539.1.074.5
Рубрика: Детекторы ионизирующих излучений полупроводниковые

[922] Butsev A. A.
A project of the "Delfin" facility modernization: препринт / N.G.Basov,V.F.Efimkov,S.I.Mikhailov и др. - Moscow, 1994. - 22 p. : il. - (Препринт / Физический ин-т им.П.Н.Лебедева(Москва) ; 43(1994))). - 50 экз. - Б. ц.Держатели документа: ГПНТБ России
Доп.точки доступа: Basov, N.G.; Efimkov, V.F.; Mikhailov, S.I.
Экз-ры: хр(1)
ГРНТИ: 58.34
УДК: 621.039.6(04)
Рубрика: Термоядерные установки

[923] Hemker P. W.
A project on parameter identification in reaction kinetics: сборник научных трудов / P.W.Hemker,J.Kok. - Amsterdam : [s. n.], 1993. - 38 p. : ill. - (Reports / Centrum voor wiskunde en inform., ISSN 0169-0388 ; NM-R9301). - 10 р. Библиогр.с.:36-38Держатели документа: ГПНТБ России
Доп.точки доступа: Kok, J.
Экз-ры: ХР(1)
ГРНТИ: 31.15.27
УДК: 541.124.001.57-52
Рубрика: Химическая кинетика / Моделирование

[924] Schweizer M.
A projection result for semimartingales: монография / M.Schweizer. - Canberra : [s. n.], 1994. - 9 p. - (Research report:mathematics research report / CMA ; NMRR-020-94). - 100 р. Библиогр.:с.8-9Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 27.43.15
УДК: 519.216.8
Рубрика: Мартингалы (матем.)

[925] Miles R. E.
A proof of a long-standing conjecture of D.G.Kendall concerning the shapes of certain large random polygoms: монография / R.E.Miles. - Canberra : [s. n.], 1994. - 26 p. - (Research report:statistics report / CMA ; NSR7-94). - 100 р. Библиогр.:с.25-26Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 27.43.15
УДК: 519.212.3
Рубрика: Стохастическая геометрия

[926] Фадин В. С.
A proof of fulfillment of the strong bootstrap condition: препринт / В.С.Фадин,A.Papa. - Novosibirsk, 2002. - 27 p. - (Препринт / Институт ядерной физики им.Г.И.Будкера(Новосибирск) ; INP 2002-38). - 90 экз. - беспл. Перед загл. авт.: V.S.Fadin, A.PapaДержатели документа: ГПНТБ России
Доп.точки доступа: Papa, A.
Экз-ры: хр(1)
ГРНТИ: 29.05
УДК: 539.121.7(04)
Рубрика: Квантовая хромодинамика

[927] Kadell K. W.J.
A proof of the q-Macdonald-Morris conjecture for BCn: сборник научных трудов / K.W.J.Kadell. - Providence(RI) : Amer.math.soc., 1994. - VI,80 p. p. - (Memoirs of the American mathematical society / Amer.math. soc., ISSN 0065-9266 ; n516). - ^aРЖ 1987 N2 В577. - ISBN 0-8218-2552-6 : 12.00 р. Библиогр.: с.79-80Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 27.45
УДК: 519.1
Рубрика: Комбинаторика

[928] Vries J. de
A proof of the relativized, non-metric form of furstenberg's structure theorem: материал технической информации / J.deVries. - Amsterdam : [s. n.], 1990. - 6 p. - (Report / Centrum voor wiskunde en inform., ISSN 0924-2953 ; AM-R9022). - 1.00 р. Библиогр.:c.6Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 27.39.25
УДК: 517.938
Рубрика: Динамические системы

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

[930] Blackburn P.
A proof system for finite trees: сборник научных трудов / P.Blackburn,W.Meyer-Viol,M.de Rijke. - Amsterdam : [s. n.], 1995. - 19 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9563). - 1000 р. Библиогр.:с.18-19Держатели документа: ГПНТБ России
Доп.точки доступа: Meyer-Viol, W.; Rijke, M.de
Экз-ры: ХР(1)
ГРНТИ: 27.03.19
УДК: 510
Рубрика: Математическая логика

Объявление:

[931] 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
Рубрика: Программы для ЭВМ / Верификация

[932] Snyder W.
A proof theory for general unification: сборник / W.Snyder. - Boston etc. : Birkh@:auser, 1991. - 175 175 p. : ill. - (Progress in computer science and applied logic ; vol.11). - ISBN 0-8176-3593-9 : 136607 р. Библиогр.:с.167-175Держатели документа: ГПНТБ России
Экз-ры: фмз(1), (2)
Копия: мкф., Шифр MR-105762
ГРНТИ: 27.03.19
УДК: 510
Рубрика: Математическая логика

[933] 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
Рубрика: Программирование для ЭВМ параллельное

[934] Boer F. S.de
A proof theory for the language POOL: сборник научных трудов / F.S.de Boer. - Amsterdam : [s. n.], 1991. - 73 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9117). - 2.00 р. Библиогр.: с. 73 Перевод заглавия: Теория доказательств для языка POOLПеревод заглавия: Теория доказательств для языка POOLДержатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 50.05.13
УДК: 004.415.535
Рубрика: Программы для ЭВМ / Верификация

[935] Soininen H.
A propeller-ice contact model: diss. / H.Soininen. - Espoo : [s. n.], 1998. - 206 p. : ill. - (Publications / Valtion teknillinen tutkimuskeskus(Helsinki), ISSN 0358-5069 ; 343). - ISBN 951-38-5227-X : 10.00 р. Библиогр.: c.109-116Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 55.45.29
УДК: 629.5.035.5.017.17(043)
Рубрика: Суда / Обледенение и борьба с ним

[936] Breden R.
A Propos de "C": C,OS/2 et presentation manager: монография / R.Breden. - Paris : Eyrolles, 1990. - 178 p. - 44.73 р. Библиогр.:с.172.Указ.:с.175-178Держатели документа: ГПНТБ России
Экз-ры: АЛГ(1), (2)
Копия: мкф., Шифр MR-99978
ГРНТИ: 50.05.09
УДК: 004.438
Рубрика: Программирования языки / C

[937] Korhonen T.
A proposal for a synchronized readout system in high rate environment: presented at the first workshop on electronics for LHC experiments,Lisbon,Porutogal,Sept.11-15,1995 / M.Imori,C.Fukunaga,H.Ikeda и др. - Tsukuba : [s. n.], 1995. - 4 p. : ill. - (KEK preprint / Nat.lab.for high energy physics ; 95-102). - 1000 р. Библиогр.:с.4Держатели документа: ГПНТБ России
Доп.точки доступа: Imori, M.; Fukunaga, C.; Ikeda, H.; Kobayashi, T.
Экз-ры: ХР(1)
ГРНТИ: 29.15.39
УДК: 539.1.075
Рубрика: Ядерная электроника

[938] Ambrosio G.
A proposal for measurements of the limiting electronic and magnetic fields of superconducting niobium cavities and of niobium based compounds: сборник / G.Gemme,R.Parodi,G.Bienvenu,T.Garvey. - Roma : [s. n.], 1996. - 13 p. : ill. - ([Pubblicazione] INFN / Ist.naz.di fisica nucleare ; TC-96/18). - 2000 р. Библиогр.:с.12Держатели документа: ГПНТБ России
Доп.точки доступа: Gemme, G.; Parodi, R.; Bienvenu, G.; Garvey, T.
Экз-ры: ХР(1)
ГРНТИ: 47.31.37
УДК: 621.384.665
Рубрика: Встречных пучков системы

[939] Aikawa H.
A proposal to introduce a turbulence factor into a diffusion coefficient of a tokamak plasma: сборник / H.Aikawa. - Tokyo : [s. n.], 1994. - 10 p. : ill. - (Reports JAERI / Japan atomic energy research inst. ; m 94-035). - 50 р. Библиогр.:с.10Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 29.27
УДК: 621.039.61:533.951.7
Рубрика: Плазма / Турбулентность

[940] Elrefaie F.
A proposed thermal model of aluminum reduction cells:computer aided approach: rep.presented at the AIAA/ASME 5th joint thermophysics and heat transfer conf.,June 18-20,1990,Seattle,Wa. / F.Elrefaie,H.Ahmed,E.Khalil. - Washington : [s. n.], 1990. - 7 p. : ill. - ([Reports] / Amer.inst.of aeronautics and astronautics ; n90-1777). - 1.50 р. Библиогр.:с.7Держатели документа: ГПНТБ России
Доп.точки доступа: Ahmed, H.; Khalil, E.
Экз-ры: ХР(1), (2)
Копия: мкф., Шифр MR-95993
ГРНТИ: 53.03.03 53.37.29
УДК: 669.713.7.001.57
Рубрика: Алюминий / Производство электролитическое / Моделирование

Страницы: 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 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200