| |
Поиск по названию
[1041] Пашин Е. А.
LOCMMO - программа расчета функционалов потока методами локальной оценки и математических ожиданий в рамках комплекса MMKFK-2: препринт / Е.А.Пашин,В.Б.Полевой. - Обнинск, 1994. - 15 c. : ил. - (Препринт / Физико-энерг.ин-т(Обнинск) ; ФЭИ-2364). - 75 экз. - Б. ц.Держатели документа: ГПНТБ России
Доп.точки доступа: Полевой, В.Б.
Экз-ры: хр(1)
ГРНТИ: 58.33.05
УДК: 621.039.512(04)
Рубрика: Доильные машины Молочные предприятия / Оборудование
[1042] Пашин Е. А.
LOCMMO-T - программа расчета функционалов нестационарного потока методами локальной оценки и математических ожиданий в рамках комплекса ММКFК-2: препринт / Е.А.Пашин,В.Б.Полевой. - Обнинск, 1994. - 11 c. - (Препринт / Физико-энерг.ин-т(Обнинск) ; ФЭИ-2388). - 75 экз. - Б. ц.Держатели документа: ГПНТБ России
Доп.точки доступа: Полевой, В.Б.
Экз-ры: хр(1)
ГРНТИ: 29.15.53
УДК: 621.039.512.4(04)
Рубрика: Нейтроны / Диффузия
[1043] Латышева Л. Н.
LOENT - программа моделирования переноса нейтронов в сложных геометриях методом Монте Карло: препринт / Л. Н. Лытышева, Н. М. Соболевский. - М. : ИЯИ РАН, 2008 (М.) . - 36 с. - (Препринт / Институт ядерных исследований(Москва) ; ИЯИ РАН-1200/2008). - Библиогр.: с. 18-19(21 назв.). - 120 экз. - ISBN 978-5-94274-067-2 : Б. ц.Держатели документа: ГПНТБ России
Доп.точки доступа: Соболевский, Н.М.
Экз-ры: хр(1)
ГРНТИ: 29.15.53
УДК: 621.039.512.4(04)
Рубрика: Нейтроны / Диффузия
[1044] Hester T. C.
Log-derived regional source-rock characteristics of the Woodford shale, Anadarko Basin, Oklahoma: сборник научных трудов / T.C.Hester,J.W.Schmoker,H.L.Sahl. - Washington(DC) : [s. n.], 1990. - 38 p. : ill. - (Bulletin / US.Geol.survey ; 1866-D). - 1.00 р. Библиогр.:с.26Держатели документа: ГПНТБ России
Доп.точки доступа: Schmoker, J.W.; Sahl, H.L.
Экз-ры: ХР(1)
ГРНТИ: 38.37.21
УДК: 552.43(73)
Рубрика: Глины
[1045] Christensen R.
Log-linear models: монография / R.Christensen. - New York etc. : Springer, 1990. - XI,408 p. p. : ill. - (Springer texts in statistics). - ISBN 0-387-97398-2 : 26.00 р. Библиогр.:с.390-400 Указ.:с.401-408 Перевод заглавия: Регистрационно-линейная модельПеревод заглавия: Регистрационно-линейная модельДержатели документа: ГПНТБ России
Экз-ры: ХР(1), (2)
Копия: мкф., Шифр MR-94500
ГРНТИ: 27.43.17
УДК: 519.2
Рубрика: Математическая статистика
[1046] Michelsen O.
Log-sequence analysis and environmental aspects of the lower Jurassic Fjerritslev formation in the Danish Subbasin: доклад, тезисы доклада / O.Michelsen. - Kobenhavn : [s. n.], 1989. - 23 p. : ill. - (/Papers/. Ser.A / Danmark.Geologisk undersogelse, ISSN 0901-0270 ; n25). - ISBN 87-88640-44-2 : 2.00 р. Библиогр.:c.23Держатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 38.29.21
УДК: 551.762(489)
Рубрика: Юрская система / Дания
[1047] Хриплович И. Б.
Logarithmic corrections in the two. body qed problem: препринт / И. Б. Хриплович, A. I. Milstein, A. S. Yelkhovsky. - Novosibirsk, 1992. - 27 p. - (Препринт / Институт ядерной физики им.Г.И.Будкера(Новосибирск) ; 92-57). - 180 экз. - Беспл.Держатели документа: ГПНТБ России
Доп.точки доступа: Milstein, A.I.; Yelkhovsky, A.S.; Khriplovich I.B.
Экз-ры: хр(1)
ГРНТИ: 29.05.23
УДК: 530.145.63(04)
Рубрика: Квантовая электродинамика
[1048] Енковский Л. Л.
Logarithmically rising cross section and the ratio : препринт / Л.Л.Енковский,А.И.Лендвел. - Kiev, 1992. - 5 p. - (Препринт / Институт теоретической физики(Киев) ; ITP-92-3E). - 130 экз. - 2 р.Держатели документа: ГПНТБ России
Доп.точки доступа: Лендвел, А.И.; Lendvel A.I.; Jenkovszky L.L.
Экз-ры: хр(1)
ГРНТИ: 29.15.19
УДК: 539.17(04)
Рубрика: Ядерные реакции
[1049] Berg C. A.van
Logging and recovery in PRISMA: материал технической информации / C.A.van Berg,M.L.Kersten. - Amsterdam : [s. n.], 1990. - 16 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; NCS-R9049). - 2.00 р. Библиогр.: с. 15-16 Перевод заглавия: Запись и восстановление в системе PRISMAПеревод заглавия: Запись и восстановление в системе PRISMAДержатели документа: ГПНТБ России
Доп.точки доступа: Kersten, M.L.
Экз-ры: ХР(1)
ГРНТИ: 50.41.21
УДК: 004.65
Рубрика: Системы управления банками данных
[1050] Mulder J. D.
Logging in a computational steering environment: сборник научных трудов / J.D.Mulder,J.J.van Wijk. - Amsterdam : [s. n.], 1996. - 7 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9613). - 1000 р. Библиогр.:с.7Держатели документа: ГПНТБ России
Доп.точки доступа: Wijk, J.J.van
Экз-ры: ХР(1)
ГРНТИ: 50.10.43
УДК: 004.92
Рубрика: Машинная графика
Объявление:
[1051] Gupta S.
Logging in Java with the JDK 1.4 logging API and apache log4j: монография / S. Gupta. - Berkeley, CA : Apress, 2003. - XII, 324 p. : ill. - Указ.: с. 315-324. - ISBN 1-59059-099-6 : Б. ц.Держатели документа: ГПНТБ России
Экз-ры: хр(1)
ГРНТИ: 50.05.09 50.41
УДК: 004.438 004.41
Рубрика: Программирования языки / Java Файлы / Apache Программное обеспечение ЭВМ / Проектирование Программы для ЭВМ / Отладка
[1052] Tokyo metropolitan university.Faculty of technology.
Logic and algebra of specification: proc.of the NATO advanced study inst.on logic and algebra of specification,July 23-Aug.4 1991,Marktoberdorf,Germany / сост.ed. F. L. Bauer. - Berlin etc. : Springer , 1993. - 442 p. - (NATO ASI(advanced science institutes)series. Ser.F, Computer and systems sciences ; vol.94). - ISBN 3-540-55813-6 : 87000 р. Библиогр.в конце статейДержатели документа: ГПНТБ России
Доп.точки доступа: Bauer, F.L. сост.ed.
Экз-ры: фмз(1), (2)
Копия: мкф., Шифр MR-105228
ГРНТИ: 50.05.03 50.01.13
УДК: 004.415.28(063)
Рубрика: Программы для ЭВМ / Спецификация / Съезды и конференции
[1053] Bowers K.
Logic and architecture synthesis for silicon computers: proc. of the intern. workshop on logic and architecture synthesis forsilicon computers, May. 25-27, 1988, Grenoble / ed. G. Saucier. - Amsterdam etc. : North-Holland, 1989. - IX, 328 p. 328 p. : ill. - ISBN 0-444-87341-4 : 68.39 р. Библиогр. в конце стДержатели документа: ГПНТБ России
Доп.точки доступа: Saucier, G. ed.
Экз-ры: ХР(1), (2)
Копия: мкф., Шифр MR-90867
ГРНТИ: 47.33.31 47.14.07
УДК: 621.3.049.771.14.001.2-52(063)
Рубрика: Интегральные схемы большие / Анализ и синтез / Съезды и конференции
[1054] Brenig W.
Logic and computer science: lectures of the CIME 1st session, Montecatini Terme, June 20-28, 1988 / S.Homer,A.Nerode,R.A.Platek и др. - Berlin etc : Springer, 1990. - 162 p. : ill. - (Lecture notes in mathematics ; n1429). - ISBN 3-540-52734-6 : 10.00 р. Библиогр. в конце ст Перевод заглавия: Логика и теория вычислительных машин и систем:Лекции на 1-ой сессии межд. летнего мат. центра, Италия, 1988Перевод заглавия: Логика и теория вычислительных машин и систем:Лекции на 1-ой сессии межд. летнего мат. центра, Италия, 1988Держатели документа: ГПНТБ России
Доп.точки доступа: Homer, S.; Nerode, A.; Platek, R.A.
Экз-ры: фмз(1), (2)
Копия: мкф., Шифр MR-94015
ГРНТИ: 50.07
УДК: 510.6(063)
Рубрика: Математическая логика / Применение в вычислительной технике
[1055] European solid-state circuits conference (20th ; 1994 ; Ulm).
Logic and memory circuits: papers presented at the intern. solid-state circuits conf.,1995 / ISSCC. - New York : IEEE, 1995. - 1147-1290 p. p. : ill. - (IEEE journal of solid-state circuits, ISSN ISSN 0018-9200 ; vol.30,N 11,1995). - Б. ц. Библиогр.в конце статейДержатели документа: ГПНТБ России
Экз-ры: ХР(1)
ГРНТИ: 50.09.29 50.11
УДК: 004.312(063) 004.33(063)
Рубрика: Логические схемы / Съезды и конференции Запоминающие устройства / Съезды и конференции
[1056] Sobell M. G.
Logic at botik'89 : symp.on logical foundations of computer science Pereslavl-Zalessky, July 3-8, 1989Proc. / сост.ed. A. R. Meyer, сост.ed. М. А. Тайцлин. - Berlin etc. : Springer, 1989. - X,289 p. p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; n363). - ISBN 3-540-51237-3 : 13.70 р. Библиогр.в конце ст.Держатели документа: ГПНТБ России
Доп.точки доступа: Meyer, A.R. сост.ed.; Тайцлин, М.А. сост.ed.
Экз-ры: АЛГ(1), (2)
Копия: мкф., Шифр MR-87883
ГРНТИ: 50.07
УДК: 510.6(063)
Рубрика: Математическая логика / Применение в вычислительной технике / Съезды и конференции
[1057] Nerode A.
Logic for applications: монография / A.Nerode,R.A.Shore. - New York etc. : Springer, 1993. - XVII,365 p. p. : ill. - (Texts and monographs in computer science). - ISBN 0-387-94129-0 : 28655 р. Библиогр.:с.329-354.Указ.:с.355-365Держатели документа: ГПНТБ России
Доп.точки доступа: Shore, R.A.
Экз-ры: фмз(1), (2)
Копия: мкф., Шифр MR-105992
ГРНТИ: 50.05.03
УДК: 510 004.42.047
Рубрика: Математическая логика Программирование для ЭВМ логическое
[1058] Gallier J. H.
Logic for computer science: foundations of automatic theorem proving / J.H.Gallier. - Cambridge etc. : Harper and Row, 1986. - XV,511 p. p. - (Harper and Row computer science and technology series). - ISBN 0-06-042225-4 : 23.82 р. Библиогр.:c.489-493.Указ.:c.495-511Держатели документа: ГПНТБ России
Экз-ры: АЛГ(1), (2)
Копия: мкф., Шифр MR-91382
ГРНТИ: 50.07
УДК: 510.6
Рубрика: Математическая логика / Применение в вычислительной технике
[1059] Reeves S.
Logic for computer science: материал технической информации / S.Reeves,M.Clarke. - 1st print. - Wokingham etc. : Addison-Wesley, 1990. - XI,260 p. p. : ill. - (International computer sience series). - ISBN 0-201-41643-3 : 57.50 р. Библиогр.:с.255-256.-Указ.:с.257-260 Перевод заглавия: Логика для теории ЭВМПеревод заглавия: Логика для теории ЭВМДержатели документа: ГПНТБ России
Доп.точки доступа: Clarke, M.
Экз-ры: ХР(1), (2)
Копия: мкф., Шифр MR-97524
ГРНТИ: 50.07
УДК: 510.6
Рубрика: Математическая логика / Применение в вычислительной технике
[1060] Sch@:oning U.
Logic for computer scientists: сборник научных трудов / U.Sch@:oning. - Boston etc. : Birkh@:auser , 1989. - 166 с : ил. - (Progress in computer science and applied logic ; vol.8). - ISBN 0-8176-3453-3 : 58.00 р. Библиогр.:с.155-159.Указ.:с.169-166 Перевод заглавия: Логика для специалистов ЭВМПеревод заглавия: Логика для специалистов ЭВМДержатели документа: ГПНТБ России
Экз-ры: фмз(1), (2)
Копия: мкф., Шифр MR-98269
ГРНТИ: 50.07
УДК: 510.6
Рубрика: Математическая логика / Применение в вычислительной технике
Страницы: 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 |
| |
|
