Поиск по названию [2381] Burton P. Special linear reference manual: signal compression components,multipliers/dividers,automotive components .. - S.l. : [s. n.], 1992. - Pag.var. : ill. - (Analog devices techn.ref.books). - 25000 р. Указ.в конце книгиДержатели документа: ГПНТБ России Экз-ры: фмз(1) ГРНТИ: 50.09.35 УДК: 621.384.083.94(03) Рубрика: Аналоговые устройства / Справочники [2382] Birkholz E. P. Special OPS: Host and network security for Microsoft, UNIX, and Oracle: монография / E. P. Birkholz; with contributions by C. Andrews, J. Bock, E. Crane, H. Flynn, J. C. Foster [et al.]. - Rockland, Ma : Syngress Publ., Inc., 2003. - XXIV, 1014 p. : ill. - Алф. указ.: с. 1003-1014. - ISBN 1-931836-69-8 : 2119.47 р.Держатели документа: ГПНТБ России Экз-ры: хр(1), (1) Копия: мкф., Шифр MR-111590 ГРНТИ: 50.37.23 УДК: 004.056 Рубрика: Информация / Сохранность [2383] North pacific marine science organization (Sidney BC). Special publication [Text]. - Sidney, BC : PICES: UNESCO, 200 - . - ISSN 1813-8519.3 : Guide to best practices for ocean CO2 measurements / ed. A. G. Dickson [et al.]; with contributions from C. P. Bargeron, R. H. Byrne, D. Campbell, D. W. Chipman, T. D. Clayton [et al.]. - 2007. - Pag. var. : ill. - (IOCCP report / International ocean carbon coordination project ; n 8). - Библиогр. в конце частей. - ISBN 1-897176-07-4 : Б. ц.Держатели документа: ГПНТБ России Доп.точки доступа: Dickson, A. G. ed.; North pacific marine science organization(Sidney, BC) Экз-ры: хр(1) ГРНТИ: 87.19.03 УДК: 502.51(26):504.5 Рубрика: Моря и океаны / Загрязнение и защита от него [2384] American ceramic society. Special publication [Текст]. - Westerville(Oh) : [б. и.], 197- - .N 4 : Aluminia as a ceramic material / Ed.: W.H.Gitzen. - Westerville(Oh) : amer. ceramic soc., 1970. - 253 p. : ill. - ISBN 0-916094-46-4 : 1775.40 р.Держатели документа: ГПНТБ России Доп.точки доступа: Gitzen, W.H. ed. Экз-ры: ХР(1) Копия: мкф., Шифр MR-110744 ГРНТИ: 61.35.29 УДК: 666.762 Рубрика: Керамические материалы и изделия глиноземистые [2385] National aerospace laboratory (Tokyo). Special publication/ Nat.aerospace lab. - Tokyo : [s. n.]. - ISSN 0289-260X.SP-34. - 1997. - 313 p. : ill. - 10000 р. Рез.англ.Библиогр.в конце статейДержатели документа: ГПНТБ России Экз-ры: ХР(1) ГРНТИ: 89.01 УДК: 629.78(05) Рубрика: Космические полеты [2386] Recami E. Special Relativity and Superluminal motions: a discussion of some recent experiments: сборник научных трудов / E.Recami,F.Fontana,R.Garavaglia. - S.l. : [s. n.], 2000. - 26 p. : ill. - ([Pubblicazione] INFN / Ist.naz.di fisica nucleare ; FM-00/04). - 5.00 р. Библиогр.: с.17-21Держатели документа: ГПНТБ России Доп.точки доступа: Fontana, F.; Garavaglia, R. Экз-ры: ХР(1) ГРНТИ: 29.05.19 УДК: 530.12 Рубрика: Относительности теория Сверхсветовая скорость [2387] Woodhouse N. J. Special relativity: сборник / N.J.Woodhouse. - Berlin etc. : Springer, 1992. - 86 p. : ill. - (Lecture notes in physics. New ser., Monographs ; m 6). - ISBN 3-540-55049-6 : 68303 р. Библиогр.:с.Указ.:с.85-86Держатели документа: ГПНТБ России Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-105837 ГРНТИ: 29.05.19 УДК: 530.12 Рубрика: Относительности теория [2388] Berger W. Special section ant colony optimization: 2nd international workshop on ant colony optimization, Sept. 2000, Brussels / ANTS'2000. - Piscataway(NJ) : IEEE. - 317-424 p. p. : ill. - (Institute Electrical Electronics Engineers Transactions Evolutionary Computation, ISSN 1089-778X ; 2002, Vol. 6, N 4) ; 2002). - Б. ц. Библиогр. в конце ст.Держатели документа: ГПНТБ России Доп.точки доступа: Dorigo, M. ed. Экз-ры: чз(1) ГРНТИ: 27.47.19 УДК: 519.85(063) Рубрика: Оптимизация / Съезды и конференции [2389] Annual magnetic recording conference on recording systems(11;2000;Santa Clara(Ca)). Special section of on high-level design, validation and test: spec.sect. of is based on the 4th HLDVT workshop organized in San Diego(Ca) in Nov.1999. - New York : IEEE, 2001. - 353-474 p. p. : ill. - (IEEE transactions on computer-aided design, ISSN ISSN 0278-0070 ; 2001,Vol.20,N 3). - Б. ц. Библиогр.в конце ст.Держатели документа: ГПНТБ России Экз-ры: чз(1) ГРНТИ: 47.33.31 УДК: 621.3.049.77(063) Рубрика: Интегральные схемы / Съезды и конференции [2390] International symposium on computational fluid dynamics (4 ; 1991 ; DavisCa.). Special section on vision-guided mobile robot navigation: spec.sess.with invited papers on the topic of "vision-guided mobile robot navigation" / сост.ed V. Graefe. - New York : IEEE, 1994. - 377-473 p. p. : ill. - (IEEE transactions on industrial electronics, ISSN ISSN 0278-0046 ; vol.41,N 4,1994). - Б. ц. Библиогр.в конце статейДержатели документа: ГПНТБ России Доп.точки доступа: Graefe, V. сост.ed. Экз-ры: ХР(1) ГРНТИ: 55.30 УДК: 621.865.8-182.3(063) Рубрика: Роботы мобильные / Съезды и конференции Объявление: [2391] International statistical metrology workshop (2 ; 1997 ; Kyoto). Special section on 1997 International workshop on statistical metrology, Kyoto, 1997: материалы временных коллективов / International statistical metrology workshop (2 ; 1997 ; Kyoto) ; сост.ed.: H. H. Hosack, H. Masuda. - New York : IEEE, 1998. - 525-695 p. p. : ill. - (IEEE transactions on semiconductor manufacturing, ISSN ISSN 0894-6507 ; 1998,Vol.11,N 4). - Б. ц. Библиогр. в конце статей. Указ. в конце книгиДержатели документа: ГПНТБ России Доп.точки доступа: Hosack, H.H. сост.ed.; Masuda, H. сост.ed. Экз-ры: ХР(1) ГРНТИ: 47.13.11 УДК: 621.3.049.771.14.002(063) Рубрика: Интегральные схемы большие / Технический контроль / Съезды и конференции [2392] Hijligenberg N. W.van den Special solutions of the quantum Yang-Baxter equation: отчет / N.W.van den Hijligenberg. - Amsterdam : [s. n.], 1996. - 15 p. : ill. - (Report / Centrum voor wiskunde en inform., ISSN 0924-2953 ; AM-R9608). - 1000 р. Библиогр.:с.15Держатели документа: ГПНТБ России Экз-ры: ХР(1) ГРНТИ: 29.05.15 УДК: 530.145 Рубрика: Квантовая механика [2393] Гусев В. В. Special technologies from Russia and joint venture opportunities from Vietnam: сборник / International centre for Scientific and Technical Information. - М. : [s. n.], 1993. - 116 с. - 200 экз. - Б. ц.Держатели документа: ГПНТБ России Доп.точки доступа: International centre for Scientific and Technical Information Экз-ры: хр(1) ГРНТИ: 81.13.13 УДК: 62.001.86 Рубрика: Технологии / Передача [2394] Hesselmann S. Special topics in semiconductor analysis: the present vol.contains contributions of the participants of a small symp.about semiconductor analysis,Berlin,July 1993 / сост.ed.: J. Frehse, H. Gajewski. - Bonn : [s. n.], 1994. - 78 p. - (Bonner mathematische Schriften, ISSN 0524-045X ; n258). - 300 р. Библиогр.в конце статейДержатели документа: ГПНТБ России Доп.точки доступа: Frehse, J. сост.ed.; Gajewski, H. сост.ed. Экз-ры: ХР(1) ГРНТИ: 29.19.31 УДК: 537.311.322(063) Рубрика: Полупроводники / Съезды и конференции [2395] Yashida M. Specific impulse comparison of high density hydrocarbon fuel burned with oxygen: сборник научных трудов / T.Kumagai,S.Ueda,M.Sato и др. - Tokyo : [s. n.], 1990. - 16 p. : ill. - (Technical report / Nat.aerospace lab., ISSN 0389-4010 ; TR-1053). - 1.00 р. Библиогр.:с.16Держатели документа: ГПНТБ России Доп.точки доступа: Kumagai, T.; Ueda, S.; Sato, M. Экз-ры: ХР(1) ГРНТИ: 55.42.49 УДК: 621.453.3.022.5 Рубрика: Ракетное топливо / Сжигание [2396] Janicki R. Specification and analysis of concurrent systems: the COSY approach / R.Janicki,P.E.Lauer. - Berlin etc. : Springer , 1992. - 480 p. : ill. - (EATCS monographs on theoretical computer science ; vol.26). - ISBN 3-540-55204-9 : 45000 р. Библиогр.:с.407-421Держатели документа: ГПНТБ России Доп.точки доступа: Lauer, P.E. Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-105081 ГРНТИ: 50.33.03 УДК: 004.272.3 Рубрика: Вычислительные системы многопроцессорные [2397] Hooman J. Specification and compositional verification of real-time systems: сборник научных трудов / 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Держатели документа: ГПНТБ России Экз-ры: фмз(1), (2) Копия: мкф., Шифр MR-103608 ГРНТИ: 50.41.17 УДК: 004.415.535 Рубрика: Программы для ЭВМ / Спецификация Программы для ЭВМ / Верификация [2398] Deursen A. van Specification and generation of -calculus environment: сборник научных трудов / A.van Deursen. - Amsterdam : [s. n.], 1992. - 17 p. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9233). - 3 р. Библиогр.:с.16-17.Держатели документа: ГПНТБ России Экз-ры: ХР(1) ГРНТИ: 50.05.09 УДК: 004.43 Рубрика: Программирования языки [2399] Partsch H. A. Specification and transformation of programs: A formal approach to software development: сборник научных трудов / H.A.Partsch. - Berlin etc. : Springer, 1990. - XIII, 493 p. 493 p. : ill. - (Texts and monographs in computer science). - ISBN 3-540-52356-1 : 38.00 р., 20.00 р. Библиогр.:с.456-493. Указ:c.475-493. В биб-ке имеется 2-й экз.MR.: MR-94091-90 Перевод заглавия: Спецификация и преобразование программ: формальный подход к разработке программного обеспеченияПеревод заглавия: Спецификация и преобразование программ: формальный подход к разработке программного обеспеченияДержатели документа: ГПНТБ России Экз-ры: АЛГ(2), (2) Копия: мкф., Шифр MR-93525 ГРНТИ: 50.05.13 УДК: 004.415.28 004.416.6 Рубрика: Программы для ЭВМ / Спецификация Программы для ЭВМ / Преобразование [2400] Geyh M. 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 / 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Держатели документа: ГПНТБ России Доп.точки доступа: Rattray, C. ed. Экз-ры: ХР(1), (1) ГРНТИ: 50.33.03 УДК: 004.272.2(063) Рубрика: Параллельные вычисления / Съезды и конференции Страницы: 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