| |
Поиск по названию
[3421] Rutten J. J.M.M.
Explicit canonical representatives for weak bisimulation equivalence and congruence: материал технической информации / J.J.M.M.Rutten. - Amsterdam : [s. n.], 1990. - 20 p. - (Report:Computer science / CWI, ISSN 0169-118X ; NCS-R9062). - 2.00 р. Библиогр.: с. 19-20Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 50.33.04
УДК: 004.272.2
Рубрика: Параллельные вычисления
[3422] Kemenade C. H.M.van
Explicit filtering of building blocks for genetic algorithms: сборник научных трудов / C.H.M.van Kemenade. - Amsterdam : [s. n.], 1996. - 9 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9647). - 2000 р. Библиогр.:с.8-9Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 28.23.25
УДК: 004.421
Рубрика: Алгоритмы генетические
[3423] Verwer J. G.
Explicit methods for stiff ODEs from atmospheric chemistry: монография / J.G.Verwer,D.Simpson. - Amsterdam : [s. n.], 1994. - 21 p. : ill. - (Reports / Centrum voor wiskunde en inform., ISSN 0169-0388 ; NM-R9409). - 200 р. Библиогр.:с.20-21Держатели документа: ГПНТБ России
Доп.точки доступа: Simpson, D.
Экз-ры: ХР(1)
ГРНТИ: 37.21.15
УДК: 551.510.4
Рубрика: Атмосфера / Состав
[3424] Кузнецов Ю. А.
Explicit normal form coefficients for all codim 2 bifurcations of equilibria in ODEs: сборник научных трудов / Ю.А.Кузнецов. - Amsterdam : [s. n.], 1997. - 17 p. - (Report:Modelling,analysis and simulation / Centrum voor wiskunde en informatica (Amsterdam), ISSN 1386-3703 ; MAS-R9730). - 10.00 р. Библиогр.:с.17Держатели документа: ГПНТБ России
Доп.точки доступа: Kuznetsov Yu.A.
Экз-ры: ХР(1)
ГРНТИ: 27.29.27
УДК: 517.938
Рубрика: Бифуркация
[3425] Nool M.
Explicit parallel block cholesky algorithms on the CRAY APP: сборник / M.Nool. - Amsterdam : [s. n.], 1994. - 22 p. : ill. - (Reports / Centrum voor wiskunde en inform., ISSN 0169-0388 ; NM-R9425). - 100 р. Библиогр.:с.21-22Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 50.33.03
УДК: 004.272.2
Рубрика: Параллельные вычисления
[3426] Nguyen huu Cong
Explicit parallel two-step Runge-Kutta-Nystr@:om methods: сборник научных трудов / Nguyen huu Cong. - Amsterdam : [s. n.], 1994. - 13 p. : tabl. - (Reports / Centrum voor wiskunde en inform., ISSN 0169-0388 ; NM-R9401). - 100 р. Библиогр.:с.13Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 50.33.05
УДК: 004.272.2
Рубрика: Параллельные вычисления
[3427] Афанасьев Г. Н.
Explicit realizations of static and nonstatic solenoids and conditions for their existence: препринт / Г. Н. Афанасьев, V. M. Dubovik, S. Misicu. - Dubna, 1992. - 6 p. - (Препринт / Объединенный ин-т ядерных исследований(Дубна) ; Е2-92-177). - 490 экз. - 0.13 р.Держатели документа: ГПНТБ России
Доп.точки доступа: Dubovik, V.M.; Misicu, S.; Afanasiev G.N.
Экз-ры: хр(1)
ГРНТИ: 29.05.15
УДК: 530.145(04)
Рубрика: Соленоиды
[3428] Verwer J. G.
Explicit Runge-Kutta methods for parabolic partial differential equations: сборник / J.G.Verwer. - Amsterdam : [s. n.], 1996. - 25 p. : ill. - (Reports / Centrum voor wiskunde en inform., ISSN 0169-0388 ; NM-R9602). - 1000 р. Библиогр.:с.25Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 27.41.19
УДК: 519.63
Рубрика: Параболические уравнения / Приближенное решение
[3429] Zoppou C.
Explicit schemes for dam-break simulations: сборник / C.Zoppou,S.Roberts. - Canberra : [s. n.], 2000. - 33 p. : ill. - (Research report:mathematics research report / CMA ; MRR 00.026). - 20.00 р. Библиогр.:с.21-25Держатели документа: ГПНТБ России
Доп.точки доступа: Roberts, S.
Экз-ры: ХР(1)
ГРНТИ: 70.17.29
УДК: 627.82.034
Рубрика: Плотины / Действие волн
[3430] Владимирский В. В.
Explicit solution of constraints in Virasoro algebra: препринт / В.В.Владимирский. - Moscow, 1990. - 7 p. : 4 к. - (Препринт / Институт теоретической и экспериментальной физики(Москва) ; 46-90). - 110 экз. экз. - Б. ц. Перед загл Авт.: V.V.Vladimirsky.Bibliogr.: p. 7 (9 nazv.)Держатели документа: ГПНТБ России
Экз-ры: хр(1)
ГРНТИ: 29.05.23
УДК: 530.145.63(04)
Рубрика: Информационные технологии
Объявление:
[3431] Криворученко М. И.
Explicit solutions to the unitarity relations for isovector nucleon form factors in the first order of the differential approximation: препринт / М.И.Криворученко. - Moscow, 1994. - 6 p. : il. - (Препринт / Институт теоретической и экспериментальной физики(Москва) ; 59-94). - 145 экз. - Б. ц.Держатели документа: ГПНТБ России
Доп.точки доступа: Krivoruchenko M.I.
Экз-ры: хр(1)
ГРНТИ: 29.05
УДК: 539.125.17(04)
Рубрика: Экономическая информация / Передача
[3432] Chen X.
Explicit unconditionally stable approaches for built-up shell structural configurations: сборник научных трудов / X.Chen,K.K.Tamma,D.Sha. - Minneapolis(Mn) : [s. n.], 1996. - 20 p. : 16 l.ill. - (UMSI research report / Univ.of Minnesota ; 96/202). - 2000 р. Библиогр.:с.18-19Держатели документа: ГПНТБ России
Доп.точки доступа: Tamma, K.K.; Sha, D.
Экз-ры: ХР(1)
ГРНТИ: 30.19.17
УДК: 624.074.4
Рубрика: Оболочки
[3433] Sommeijer B. P.
Explicit, high-order Runge-Kutta-Nystrom methods for parallel computers: сборник научных трудов / B.P.Sommeijer. - Amsterdam : [s. n.], 1992. - 17 p. : ill. - (Reports / Centrum voor wiskunde en inform., ISSN 0169-0388 ; NM-R9219). - 3 р. Библиогр.:с. 16-17Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 27.41
УДК: 517.9-37
Рубрика: Дифференциальные уравнения / Решение на вычислительных машинах
[3434] Криворученко М. И.
Explicitly covariant analytical expressions for transitional currents of spin-half particles: препринт / М.И.Криворученко,И.В.Кудря. - Moscow, 1990. - 12 p. - ; 61-90). - 220 экз. экз. - 7 к. р. Перед загл. авт.: M.I.Krivoruchenko, I.V.KudryaДержатели документа: ГПНТБ России
Доп.точки доступа: Кудря, И.В.
Экз-ры: хр(1)
ГРНТИ: 29.05.23
УДК: 530.145.63(04)
Рубрика: Квантовая теория поля
[3435] Huang J.
Exploiting basic blok value locality with block reuse: сборник научных трудов / J.Huang,D.J.Lilja. - Minneapolis(Mn) : [s. n.], 1998. - 25 p. : ill. - (UMSI research report / Univ.of Minnesota ; 98/145). - 10.00 р. Библиогр.:с.23-25Держатели документа: ГПНТБ России
Доп.точки доступа: Lilja, D.J.
Экз-ры: ХР(1)
ГРНТИ: 50.33.03 50.07.05
УДК: 004.272.3.051
Рубрика: Вычислительные машины параллельные / Производительность
[3436] Waas F.
Exploiting cost distributions for query optimization: сборник научных трудов / F.Waas,J.Pellenkoft. - Amsterdam : [s. n.], 1998. - 17 p. : ill. - (Report:Information systems / CWI, ISSN 1386-3681 ; INS-R9809). - 10.00 р. Библиогр.:с.15-16Держатели документа: ГПНТБ России
Доп.точки доступа: Pellenkoft, J.
Экз-ры: ХР(1)
ГРНТИ: 50.41.21
УДК: 004.65
Рубрика: Системы управления банками данных / Оптимизация
[3437] Gaynor G. H.
Exploiting cycle time in technology management: монография / G.H.Gaynor. - New York etc. : McGraw-Hill, 1993. - 348 p. : ill. - (McGraw-Hill engineering and technology management ser.). - ISBN 0-07-023474-4 : 400000 р. Библиогр.в конце статей.Указ.:с.341-348Держатели документа: ГПНТБ России
Экз-ры: кди(1)
ГРНТИ: 06.81
УДК: 658.014.1
Рубрика: Руководство и управление промышленным производством
[3438] Gokhale M. B.
Exploiting loop level parallelism in nonprocedural dataflow programs: сборник научных трудов / M.B.Gokhale. - Washington : [s. n.], 1987. - 17 p. : ill. - (Contractor report / US.Nat.aeronautics and space administration ; n178277). - 10.00 р. Библиогр.:с.16-17Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 50.33.03
УДК: 004.272.2
Рубрика: Параллельные вычисления
[3439] Иванов М. А.
Exploiting mental imagery with computers in mathematics education: proc.of the NATO advanced research workshop on Exploiting metal imagery with computers in ... Oxford,May 20-25,1993 / сост.ed: R. Sutherland, J. Mason. - Berlin etc. : Springer , 1995. - VIII,326 p. p. : ill. - (NATO ASI(advanced science institutes)series. Ser.F, Computer and systems sciences ; vol.138). - ISBN 3-540-58582-6 : 210000 р. Библиогр.в конце статей.Указ.:с.323-326Держатели документа: ГПНТБ России
Доп.точки доступа: Sutherland, R. сост.ed.; Mason, J. сост.ed.
Экз-ры: фмз(1), (2)
Копия: мкф., Шифр MR-106604
ГРНТИ: 27.01.45
УДК: 51(07.07)(063)
Рубрика: Технические средства обучения / Съезды и конференции
[3440] Romijn J. M.T.
Exploiting symmetry in protocol testing: сборник научных трудов / J.M.T.Romijn,J.G.Springintveld. - Amsterdam : [s. n.], 1999. - 83 p. : ill. - (Report:Software engineering / CWI, ISSN 1386-369X ; SEN-R9918). - 30.00 р. Библиогр.:с.26-28Держатели документа: ГПНТБ России
Доп.точки доступа: Springintveld, J.G.
Экз-ры: ХР(1)
ГРНТИ: 50.41
УДК: 004.415.53
Рубрика: Программы-тесты для ЭВМ
Страницы: 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 |
| |
|
