Поиск по названию [3061] Eijck D.J.N. van Theorem proving and programming with dynamic first order logic: сборник научных трудов / D.J.N. van Eijck,J.M.Heguiabehere,B.O.Nuallain. - Amsterdam : [s. n.], 2000. - 39 p. : ill. - (Report:Information systems / CWI, ISSN 1386-3681 ; INS-R0020). - 20.00 р. Библиогр.:с.37-39Держатели документа: ГПНТБ России Доп.точки доступа: Heguiabehere, J.M.; Nuallain, B.O. Экз-ры: ХР(1) ГРНТИ: 27.03.19 УДК: 510 Рубрика: Математическая логика [3062] Кадомцев С. Б. Theorem proving in higher order logics: 13th Intern. conf., TPHOLs 2000, Portland(Or), Aug.14-18, 2000Proc. / TPHOLs 2000. - Berlin etc. : Springer, 2000. - IX,533 p. p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; n1869). - ISBN 3-540-67863-8 : 1595.72 р. Библиогр. в конце ст. Указ. в конце кн.Держатели документа: ГПНТБ России Доп.точки доступа: Aagaard, M. comp.; Harrison, J. comp. Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-108931 ГРНТИ: 27.03.19 УДК: 510(063) Рубрика: Математическая логика / Съезды и конференции [3063] Gelbaum B. R. Theorems and counterexamples in mathematics: материал технической информации / B.R.Gelbaum,J.M.H.Olmsted. - New York etc : Springer, 1990. - XXXIV,305 p. p. : ill. - (Problem books in mathematics). - ISBN 0-387-97342-7 : 14.20 р. Библиогр.: с.233-247.Указ.: с.257-305Держатели документа: ГПНТБ России Доп.точки доступа: Olmsted, J.M.H. Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-93990 ГРНТИ: 27 УДК: 51 Рубрика: Математика [3064] Chanson H. Theoretical advancement in chromatography and related separation techniques: proc.of the NATO advanced study inst.on...,Aug.18-30,1991,Ferrara / ed.: F. Dondi, G. Guiochon. - Dordrecht etc. : Kluwer acad.publ. , 1992. - XX,641 p. p. : ill. - (NATO advanced study institute series. Ser.C., Mathematical and physical sciences ; vol.383). - ISBN 0-7923-1991-5 : 60000 р. Указ.:с.633-641 Перевод заглавия: Теоретические достижения в хроматографии и родственных методах разделения.Труды ин-та перспективных иссл.НАТО,Феррара,1991Перевод заглавия: Теоретические достижения в хроматографии и родственных методах разделения.Труды ин-та перспективных иссл.НАТО,Феррара,1991Держатели документа: ГПНТБ России Доп.точки доступа: Dondi, F. ed.; Guiochon, G. ed. Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-102781 ГРНТИ: 31.19 УДК: 543.544(063) Рубрика: Хроматография / Съезды и конференции [3065] Yeckel A. Theoretical analysis and design considerations for float-zone refinement of electronic grade silicon sheets: сборник научных трудов / A.Yeckel,G.Salinger,J.J.Derby. - Minneapolis(Mn) : [s. n.], 1994. - 34 p. : ill. - (UMSI research report / Univ.of Minnesota ; 94/185). - 100 р. Библиогр.:с.32-34Держатели документа: ГПНТБ России Доп.точки доступа: Salinger, G.; Derby, J.J. Экз-ры: ХР(1) ГРНТИ: 47.09.29 УДК: 621.315.592 Рубрика: Кремний [3066] Kinou A. Theoretical analysis for turning motion of articulated tracked vehicles: сборник научных трудов / A.Kinou. - Tokyo : [s. n.], S. a. - 45 p. : ill. - (Technical report / Techn.research and development inst. ; n866). - 2.00 р. Текст яп. Рез.англ. Перевод заглавия: Коррозионные испытания конструкционных алюминиевых сплавов для летающих лодокПеревод заглавия: Коррозионные испытания конструкционных алюминиевых сплавов для летающих лодокДержатели документа: ГПНТБ России Экз-ры: ХР(1) ГРНТИ: 55.43.31 УДК: 629.114.3 Рубрика: Автопоезда [3067] Yeckel A. Theoretical analysis of 3D, transient convection and segregation in microgravity bridgman crystal growth: сборник научных трудов / A.Yeckel,V.F. de Almeida,J.J.Derby. - Minneapolis(Mn) : [s. n.], 1999. - 3 l. : ill. - (UMSI research report / Univ.of Minnesota ; 99/155). - 10.00 р. Библиогр.в конце кн.Держатели документа: ГПНТБ России Доп.точки доступа: Almeida, V.F. de ; Derby, J.J. Экз-ры: ХР(1) ГРНТИ: 31.15.17 УДК: 548.5(201) Рубрика: Кристаллизация в космосе [3068] Самсонов А. М. Theoretical analysis of fat globule growth in emulsions and some pharmaceutical implications: preliminary results: препринт / А.М.Самсонов,М.Никелатти. - СПб., 1993. - 16 p. - (Препринт / Физико-техн.ин-т им.А.Ф.Иоффе(Ленинград) ; 1616). - 150 экз. - Беспл. Библиогр.: с. 14-15 (13 назв.)Держатели документа: ГПНТБ России Доп.точки доступа: Никелатти, М.; Nichelatti M.; Samsonov A.M. Экз-ры: хр(1) ГРНТИ: 61.45.31 УДК: 615.2(04) Рубрика: Лекарственные средства [3069] Heinil@:a M. Theoretical and computational investigations of magnetic ordering: diss. / M.Heinil@:a. - Espoo : [s. n.], 1995. - III,32 p. p. : ill. - ISBN 951-22-2494-1 : 1000 р. Библиогр.:с.28-32Держатели документа: ГПНТБ России Экз-ры: ХР(1) ГРНТИ: 29.19.37 УДК: 537.638(043) Рубрика: Магнетики / Превращения фазовые [3070] Horiuchi R. Theoretical and experimental studies on electric field and confinement in helical systems: монография / H.Sanuki,K.Itoh,J.Todoroki и др. - Nagoya : [s. n.], 1994. - 11 p. : ill. - (Research report NIFS series / Nat.inst.for fusion science, ISSN 0915-633X ; n286). - 100 р., 500 р. Библиогр.:с.8-9Держатели документа: ГПНТБ России Доп.точки доступа: Sanuki, H.; Itoh, K.; Todoroki, J.; Ida, K. Экз-ры: ХР(2) ГРНТИ: 58.34 УДК: 621.039.6 Рубрика: Управляемый термоядерный синтез Объявление: [3071] Маршаков А. Theoretical and experimental study of RF discharge in gas mixtures containing CO molecules: препринт / A.A.Ionin,Yu.M.Klimachev,I.V.Kochetov и др. - Moscow, 2001. - 34 p. : il. - (Препринт / Физический ин-т им.П.Н.Лебедева(Москва) ; 53(2001)). - 100 экз. - Б. ц.Держатели документа: ГПНТБ России Доп.точки доступа: Ionin, A.A.; Klimachev, Yu.M.; Kochetov, I.V. Экз-ры: хр(1) ГРНТИ: 47.35.31 УДК: 621.373.826.038.84(04) Рубрика: Лазеры газовые / Накачка [3072] Bjerre A. B. Theoretical and experimental investigations concerning the decomposability of asbestos: сборник / A.B.Bjerre,B.S.Jensen,E.Sorensen. - Roskilde : [s. n.], 1990. - 43 p. : ill. - (Riso R / Riso nat.lab., ISSN 0106-2840 ; r-573). - ISBN 87-550-1610-3 : 1.00 р. Библиогр.:с.39Держатели документа: ГПНТБ России Доп.точки доступа: Jensen, B.S.; Sorensen, E. Экз-ры: ХР(1), (2) Копия: мкф., Шифр MR-89875 ГРНТИ: 38.35.21 УДК: 549.623.7 Рубрика: Асбест [3073] Eliasson B. Theoretical and numerical study of non-linear interactions between electromagnetic waves and space plasma: отчет / B.Eliasson. - Kiruna : [s. n.], 1999. - 59 p. : ill. - (IRF scientific report / Inst.for rymdfysik, ISSN 0284-1703 ; 250). - 10.00 р. Библиогр.:с.42Держатели документа: ГПНТБ России Экз-ры: ХР(1) ГРНТИ: 47.43.15 УДК: 621.371.3 Рубрика: Радиоволны короткие / Распространение [3074] Колесников С. И. Theoretical and observational cosmology: proc.of the NATO advanced study inst.on theoretical and observation cosmology, Cargese, Aug.17-29, 1988 / comp. M. Lachieze-Rey. - Dordrecht etc. : Kluwer, 1999. - XXII, 396 p. 396 p. : ill. - (NATO advanced study institute series. Ser.C., Mathematical and physical sciences ; vol.541). - ISBN 0-7923-5945-3 : 250.00 р. Библиогр.в конце ст.Держатели документа: ГПНТБ России Доп.точки доступа: Lachieze-Rey, M. comp. Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-108554 ГРНТИ: 41.29 УДК: 524.8(063) Рубрика: Космология / Съезды и конференции [3075] Gonzalez-Lafont A. Theoretical approaches to the reaction dynamics of clusters: сборник научных трудов / A.Gonzalez-Lafont,D.G.Truhlar. - Minneapolis(Mi) : [s. n.], 1994. - 81 p. + 1 l. - (UMSI research report / Univ.of Minnesota ; 94/111). - 400 р. Библиогр.:с.60-79Держатели документа: ГПНТБ России Доп.точки доступа: Truhlar, D.G. Экз-ры: ХР(1) ГРНТИ: 29.19.03 УДК: 541.6 541.124 Рубрика: Кластеры Химическая кинетика [3076] Chow W. W. Theoretical aspects of computer software: intern.symp.,TACS,94,Sendai,Japan,Apr.19-22 1994:Proc. / TACS,94. - Berlin etc. : Springer , 1994. - XI,885 p. p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; 789). - ISBN 3-540-57887-0 : 63859 р. Библиогр.в конце статейДержатели документа: ГПНТБ России Доп.точки доступа: Hagiya, M. сост.ed.; Mitchell, J.C. сост.ed. Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-105977 ГРНТИ: 50.41 УДК: 004.4(063) Рубрика: Программное обеспечение ЭВМ / Съезды и конференции [3077] Диденко Т. В. Theoretical aspects of computer software: proc.of the 1st intern.conf.,Sept.24-27,Sendai,1991 / сост.ed.: T. Ito, A. R. Meyer. - Berlin etc. : Springer, 1991. - 770 p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; n526). - ISBN 3-540-54415-3 : 67.00 р. Библиогр.в конце ст Перевод заглавия: Теорет.основы программного обеспечения.Труды 1-й межд.конфю,Сендай,1991Перевод заглавия: Теорет.основы программного обеспечения.Труды 1-й межд.конфю,Сендай,1991Держатели документа: ГПНТБ России Доп.точки доступа: Ito, T. сост.ed.; Meyer, A.R. сост.ed. Экз-ры: АЛГ(1), (2) Копия: мкф., Шифр MR-100284 ГРНТИ: 50.41 УДК: 004.4(063) Рубрика: Программное обеспечение ЭВМ / Съезды и конференции [3078] Ryhanen T. Theoretical aspects, design, and characterization of dc supercinducting quantum interference devices: diss. / T.Ryhanen. - Espoo : [s. n.], 1992. - 36 S. : Ill. - ISBN 951-22-0986-1 : 10-00 р. Библиогр.в конце частей Перевод заглавия: Теорет.аспекты проектирование и характеристика сверхпроводящих квантовых интерференционных устройств постоянного тока.Дис.Перевод заглавия: Теорет.аспекты проектирование и характеристика сверхпроводящих квантовых интерференционных устройств постоянного тока.Дис.Держатели документа: ГПНТБ России Экз-ры: ХР(1) ГРНТИ: 59.29 УДК: 621.317.444-973(043) Рубрика: Магнитометры сверхпроводящие [3079] Friedrich H. Theoretical atomic physics: монография / H.Friedrich. - Berlin etc. : Springer , 1991. - IX, 316 p. 316 p. : ill. - ISBN 3-540-54179-9 : 20.00 р. Библиогр. в конце ст.Указ. в конце кн. Перевод заглавия: Теорет. атомная физикаПеревод заглавия: Теорет. атомная физикаДержатели документа: ГПНТБ России Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-100443 ГРНТИ: 29.29 УДК: 539.18 Рубрика: Атомная физика [3080] Cramer C. J. Theoretical characterization of cycloaddition reactions of the cyclopropylcarbinyl cation: сборник научных трудов / C.J.Cramer,S.E.Barrows. - Minneapolis(Mn) : [s. n.], 1994. - 9 p. : ill. + 3 l. - (UMSI research report / Univ.of Minnesota ; 94/199). - 100 р. Библиогр.:с.4-6Держатели документа: ГПНТБ России Доп.точки доступа: Barrows, S.E. Экз-ры: ХР(1) ГРНТИ: 31.21.18 УДК: 547.512:541.124 Рубрика: Циклопропан, производные / Реакции Страницы: 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