ИНФОРМАЦИОННЫЙ БЮЛЛЕТЕНЬ "КНИГИ" N.37/38 15.09.2003, 22.09.2003 МАТЕМАТИКА 470. БУЛИНСКИЙ, Александр Вадимович. Теория случайных процессов / Александр Вадимович Булинский и Альберт Николаевич Ширяев . - М. : Физматлит, 2003. - 399 с. : ил. - (Теория вероятностей и математическая статистика) . - Библиогр.: с.385-392. [104629 С151 Б- 907] 471. ГРУНЕВАЛЬД, Фриц. Группы, действующие на гиперболическом пространстве : Гармонический анализ и теория чисел / Фриц Груневальд, Йенс Меннике и Юрген Эльстродт ; Пер. с англ. Б.Р. Френкин ; Ред. пер.: Э.Б. Винберг и др. . - М. : МЦНМО, 2003. - XIX, 615 с. - Пер.изд.: Groups Acting on Hyperbolic Space/ Elstrodt J. et al.(Berlin, 2003). Библиогр.: с.579-609. [104633 С131.2 Г-923] 472. КЛЕЙН Феликс . Лекции о развитии математики в ХIХ столетии : В 2 т. / Феликс Клейн ; Ред. пер. с нем.: М.М. Постников ; Пер. с нем. Н.М. Нагорный - М. : Наука , 1989 - 2003. - 2ой том издан в изд-ве "Ин-т компьютерных исследований". Т.2 : . / Ред. пер. с нем.: Б.П. Кондратьев ; Пер. с нем. В.А. Антонов . - М.; Ижевск : Ин-т компьютерных исследований, 2003. - 239 с. [104628 С1г К-482] ФИЗИКА 473. Advanced Research Workshop on High Energy Spin Physics (DUBNA-SPIN-03 ) (10; 2003; Dubna) = Рабочее совещание по физике спина при высоких энергиях : Abstracts, Dubna, Sept. 16-20, 2003 . - Dubna : JINR, 2003 . - 37 с. - (JINR ; E1,2-2003-158). [104736 С323.5в(04) A-22] 474. Innovative Particle and Radiation Detectors : Proc. of the 8th Topical Seminar on ..., Siena, Italy, Oct.21-24, 2002 / Ed.: F.-L. Navarria и et al. . - Amsterdam etc. : Elsevier Science, 2003. - XIX, 413 p. : il. - (Nuclear Physics B. Proc. Suppl. ; Vol.125) . - Bibliogr.: ends of papers. [104691 С344.1(04) I-64] 475. International Conference on Ion Sources (ICIS'03)(10; 2003; Dubna) : Abstracts ..., Dubna, Sept.8-13, 2003 . - Dubna : JINR, 2003. - 222 p. : il. - (JINR ; E9-2003-160). [104739 С345н(04) I-69] 476. International Symposium on Nuclear Electronics & Computing (NEC'2003) (19; 2003; Varna) = XIX Международный симпозиум по ядерной электронике и компьютингу : Book of Abstracts ..., Varna, Bulgaria, Sept.15-20, 2003 . - Dubna : JINR, 2003. - 50 р. - (JINR ; E10,11- 2003-157). [104688 С344.3(04) I-69] 477. Nuclear Structure and Related Topics = Структура ядра и связанные с ней проблемы : Contributions of the Intern. Conf., Dubna, Sept. 2-6, 2003. Supported by Heisenberg-Landau Program . - Dubna : JINR, 2003. - 75 p. : il. - (JINR ; E4-2003-142) . - Bibliogr.: ends of papers. [104735 С343(04) N-91] 478. КОЗЛОВСКИЙ, Виталий Васильевич. Модифицирование полупроводников пучками протонов / Виталий Васильевич Козловский ; Отв. ред.: Р.Ш. Малкович . - СПб. : Наука, 2003. - 268 с. : ил. - Библиогр. в конце гл.. [104632 С36.71 К-592] 479. ХОЛЕВО, Александр Семенович. Статистическая структура квантовой теории / Александр Семенович Холево ; Ред. пер. с англ.: С.В. Клименко . - М.; Ижевск : Ин-т компьютерных исследований, 2003. - 191 с. - (Современная математика) . - Пер. изд.: Statistical Structure of Quantum Theory/ Holevo A.S. (Berlin, etc.,2001). Bibliogr.: с.169-187. [104622 С323 Х-712] АВТОМАТИКА. ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА. КИБЕРНЕТИКА. РАДИОЭЛЕКТРОНИКА 480. ЗАКОВРЯШИН, Аркадий Иванович. Алгоритмизация и программирование вычислительных задач : Учеб. пособие / Аркадий Иванович Заковряшин .- М. : САЙНС-ПРЕСС, 2002. - 80 с. : ил. - (Серия "Конспекты лекций по радиотехническим дисциплинам" ; Вып.5) . - Библиогр.: с.80. [104732 Ц840а(07) З-19] 481. КЛАРК, Эдмунд М., мл.. Верификация моделей программ: Model Checking / Эдмунд М., мл. Кларк, Орна Грамберг и Дорон Пелед ; Пер. с англ. В.Захаров и др. ; Ред. пер. с англ.: Р. Смелянский . - М. : МЦНМО, 2002 . - 416 с. : ил. - Пер. изд.: Model Checking/ Clarke E.M., jr. et al. (Cambridge, London, 2001). Библиогр.: с.377-399. [104626 Ц840а К-474] ПРОЧИЕ КНИГИ 482. ИЗРАИЛЕВИЧ, Е.Е.. Деловая корреспонденция и документация на английском языке = Business Correspondence and Documents in English / Е.Е. Израилевич . - М. : ЮНВЕС, 2003. - 496 с. [104661 4и(англ.) И- 39] 483-484. Справочник врача общей практики : В 2 т. / Н.Р. Палеев, Н.П. Бочков, А.И. Воробьев и В.А. Насонова ; Ред.: Н.Р. Палеев - М. : ЭКСМО-Пресс .-2002. Т.1 : . , 2002. - 927 с. [104662 28.9(02) С-741] Т.2 : . , 2002. - 991 с. [104663 28.9(02) С-741]