new books 11.06.02

Институт математики имени С.Л.Соболева СО РАН
Библиотека

Новые поступления (11 июня 2002 г.)

Книги на русском языке

517.920 А 90

Асанов М.О., Баранский В.А., Расин В.В.

Дискретная математика: графы, матроиды, алгоритмы.

Учеб. пособие.

М.; Ижевск: НИЦ "Регулярная и хаотическая динамика", 2001. 288 с.

518.65 Б 388

Бежанова М.М., Москвина Л.А.

Практическое программирование. Приемы создания программ на языке Паскаль.

М.: Научный мир, 2000. 270 с.

518.65 Б 388

Бежанова М.М., Москвина Л.А., Поттосин И.В.

Практическое программирование. Структуры данных и алгоритмы.

Учебник.

М.: "Логос", 2001. 224 с.

518.65 Б 388

Бежанова М.М., Поттосин И.В.

Современные понятия и методы программирования.                   М.: Научный мир, 2000. 192 с.

530.1 Г 61

Голод П.И., Климык А.У.

Математические основы теории симметрий.

М.;Ижевск: НИЦ "Регулярная и хаотическая динамика", 2001. 528 с.

519 К 733

Коткин Г.Л., Сербо В.Г.

Сборник задач по классической механике.

М.; Ижевск: НИЦ "Регулярная и хаотическая динамика", 2001. 352 с.

517.6 К 739

Коуровская тетрадь.

(Нерешенные вопросы теории групп).

Изд. 15-е, доп., вкл. Архив решения задач.

Новосибирск., 2002. 172 c.

518.5 П 781

Проблемы теоретической кибернетики.

Тез. докл. ХIII Междунар. конф. 27-31 мая 2002, Казань.              Ч.1. 2002. 104 с.

Ч.2. 2002. 104 с.

М.: Изд-во центра прикл. исслед. при мех.-мат. факультете МГУ.

Препр. ИСИ СО РАН

Ануреев И.С.

Система машинной поддержки доказательства: от тактикалов к генератору тактилов.

Новосибирск, 2002. 29 с.

Препр. ИСИ им. А.П.Ершова СО РАН; N 96

Препр. ИСИ СО РАН

Евстигнеев В.А.

Обзор деятельности новосибирских ученых в области программирования (по материалам комиссии по системному математическому обеспечению ККВТ АН СССР).                         Новосибирск, 2002. 57 с.

Препр. ИСИ им. А.П.Ершова СО РАН; N 83

Препр. ИСИ СО РАН

Касьянова Е.В., Касьянова С.Н.

Программирование для школьников: сборник задач повышенной сложности с решениями.

Новосибирск, 2002. 51 с.

Препр. ИСИ им. А.П.Ершова СО РАН; N 95

Препр. ИСИ СО РАН

Козюра В.Е.

Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток.

Новосибирск, 2002. 44 с.

Препр. ИСИ им. А.П.Ершова СО РАН; N94

Препр. ИСИ СО РАН

Маркин В.А., Маслов С.В., Новиков Р.М., Сулимов А.А.

Конвертор с расширенного Паскаля в С++.

Новосибирск, 2002. 51 с.

Препр. ИСИ им. А.П.Ершова СО РАН; N92

Препр. ИСИ СО РАН

Окунишникова Е.В.

Отображение STELLE-спецификаций в раскрашенные сети Петри и его обоснование.

Новосибирск, 2002. 59 с.

Препр. ИСИ им. А.П.Ершова СО РАН; N90

Препр. ИСИ СО РАН

Сеношенко К.О.

Объектно-ориентированные спецификации: теоретико - множественный и алгебраический подходы. Обзор.

Новосибирск, 2002. 39 с.

Препр. ИСИ им. А.П.Ершова СО РАН; N91

Препр. ИСИ СО РАН

Козюра В.Е., Непомнящий В.А., Новиков Р.М.

Верификация раскрашенных сетей Петри методом проверки моделей.

Новосибирск, 2002. 24 с.

Препр. ИСИ им. А.П.Ершова СО РАН; N89

Препр. ИСИ СО РАН

Цаценко Н.Н.

Технологии работы с данными в интероператорных средах CJBRA, RMI, EJB.

Новосибирск, 2002. 36 с.

Препр. ИСИ им. А.П.Ершова СО РАН; N 93

Иностранные книги

517.62 G 37

Geometric Group theory.

Proc. of the Symposium... 1991, Sussex. Vol.2.

Vol.2.

Gromov M. Asymptotic invariants of infinite groups. 1993. VI,294 p.

Ed. by G.A. Niblo, M.A. Roller

Gambridge: Univ. press, 19 -

London math. soc. Lecture note ser.; 182

517.7 I 69

International Workshop on Differential geometry (2; 1997; Taegu).

Proceedings... held at Depart. of Math. Kyungpook National Univ., Taegu, Korea Dec. 19-20, 1997.

Ed. by Y.J. Suh et al.

Taegu: Basic Science Res.Inst.; Kyungpook Nat. Univ., 1998. 107 p.

517.7 I 69

International Workshop on Differential Geometry (4; 1999; Taegu).

Proceedings... held at Depart. of Math. Kyungpook National Univ., Taegu, Korea;Nov. 19-20, 1999.

Ed. by Y.J. Suh, H.I. Kim.

Taegu: Basic Science Res.Inst.; Kyungpook Nat. Univ., 2000. 58 p.

517.6 L 96

Lusztig G.

Introduction to Quantum Groups.

Boston et al.: Birkhauser, 1993. XII,341 p.

Progress in math.; vol.110

517.91 O 96

Owen A.B

Empirical Likelihood.

Boca Raton et al.: Chapman & Hall/CRC, 2001. XIV,304 p.

Monogr. on statistics and appl. probability; 92

517.1 W 43

Weihrauch K.

Computable Analysis. An Introduction.

Berlin et al.: Springer, 2000. X,285 p.

Text in theoretical computer science. An EATCS ser.

517.42 M 54

Memoirs on differential equations and mathematical physics..            Vol.25. 2002. 160 p.

Pr29/126

A.Razmadze mathematical institute.

Georgian Academy of sciences.

Proceedings..

Vol.126. 2001. 133 p.

Иностранные препринты

Pr 365/99-01

Bierstone E., Milman P.D., Pawlucki W.

Differentiable functions defined in closed sets. A problem of Whitney.

Bonn, 2001. 28 p.

Prepr. / Max-Planck-Inst. fur Mathematik; N 99-01

Pr 365/98-01

Bierstone E., Milman P.D.

Resolution of singularities in Denjoy-Carleman classes.

Bonn, 2001. 35 p.

Prepr. / Max-Planck-Inst. fur Mathematik; N 98-01

Pr 365/91-01

Cheltsov I.

Anticanonical models of Fano 3-folds of degree four.

Bonn, 2001. 47 p.

Prepr. / Max-Planck-Inst. fur Mathematik; N 91-01

Pr 365/103-01

Fedosov B.

On normal Darboux coordinates.

Bonn, 2001. 13 p.

Prepr. / Max-Planck-Inst. fur Mathematik; N 103-01

Pr 365/100-01

Gorbounov V., Malikov F., Schechtman V.

Twisted chiral de Rham algebras on P¹.

Bonn, 2001. 15 p.

Prepr. / Max-Planck-Inst. fur Mathematik; N 100-01

Pr 365/97-01

Gorodentsev A.L., Kuleshov S.A.

Helix theory.

Bonn, 2001. 63 p.

Prepr. / Max-Planck-Inst. fur Mathematik; N 97-01

Pr 365/101-01

Grigoriev D.

Approximation and complexity II: iterated integration.

Bonn, 2001. 10 p.

Prepr. / Max-Planck-Inst. fur Mathematik; N 101-01

Pr 365/102-01

Grigoriev D., Ponomarenko I.

On non-abelian homomorphic public-key cryptosystems.

Bonn, 2001. 9 p.

Prepr. / Max-Planck-Inst. fur Mathematik; N 102-01

Pr 365/104-01

Gutnik L.A.

On linear forms with coefficients in Nζ(1+N). The detailed version, Pt.2.

Bonn, 2001. 36 p.

Prepr. / Max-Planck-Inst. fur Mathematik; N 104-01

Pr 365/86-01

Hilgert J., Mayer D.

The dynamical zeta function and transfer operators for the Kac-Baker model.

Bonn, 2001. 23 p.

Prepr. / Max-Planck-Inst. fur Mathematik; N 86-01

Pr 365/95-01

Ishii S., Milman P.

The geometric minimal models of analytic spaces.

Bonn, 2001. 15 p.

Prepr. / Max-Planck-Inst. fur Mathematik; N 95-01

Pr 365/92-01

Marcolli M.

Limiting modular symbols and the Lyapunov spectrum.

Bonn, 2001. 25 p.

Prepr. / Max-Planck-Inst. fur Mathematik; N 92-01

Pr 365/94-01

Milman P.D., Semenov Y.A.

Desingularizing weights and the heat kernel bounds.

Bonn, 2001. 14 p.

Prepr. / Max-Planck-Inst. fur Mathematik; N 94-01

Pr 365/87-01

Odesskii A.

Local action of the symmetric group and the twisted Yang-Baxter relation.

Bonn, 2001. 15 p.

Prepr. / Max-Planck-Inst. fur Mathematik; N 87-01

Pr 365/85-01

Olshanetsky M.A., Rogov V.-B.K.

Unitary representations of quantum Lorentz group and quantum relativistic Toda chain.

Bonn, 2001. 25 p.

Prepr. / Max-Planck-Inst. fur Mathematik; N 85-01

Pr 365/93-01

Saidi M.

Galois covers of degree p.

Bonn, 2001. 25 p.

Prepr. / Max-Planck-Inst. fur Mathematik; N 93-01

Pr 365/88-01

Saidi M.

Wild ramification and a vanishing cycles formula.

Bonn, 2001. 19 p.

Prepr. / Max-Planck-Inst. fur Mathematik; N 88-01

Pr 365/84-01

Schwachhofer L.J., Tuschmann W.

Almost nonnegative curvature and cohomogeneity one.

Bonn, 2001. 24 p.

Prepr. / Max-Planck-Inst. fur Mathematik; N 84-01

Pr 365/90-01

Serganova V.

A reduction method for atypical representations of classical Lie superalgebras.

Bonn, 2001. 24 p.

Prepr. / Max-Planck-Inst. fur Mathematik; N 90-01

Pr 365/89-01

Serganova V.

On representations of the Lie superalgebra P(n).

Bonn, 2001. 12 p.

Prepr. / Max-Planck-Inst. fur Mathematik; N 89-01

Pr 365/96-01

Wojtkowiak Z.

A note on functional equations of L-adic polylogarithms.

Bonn, 2001. 7 p.

Prepr. / Max-Planck-Inst. fur Mathematik; N 96-01

Pr 367/106-01

Cornelissen F.J.

Network quality of service for multimedia presentation generation systems.

Amsterdam, 2001. 14 p.

Rep. / CWI. Dept. Inform. syst.; INS-R-106-01

Pr 367/109-01

Efficient image retrieval by exploiting vertical fragmentation.

(Vries A.P.de, Mamoulis N., Nes N.J., Kersten M.L.)

Amsterdam, 2001. 18 p.

Rep. / CWI. Dept. Inform. syst.; INS-R-109-01

Pr 367/111-01

Flexible and scalable digital library search.

(Windhouwer M.A., Schmidt A.R., Zwol R., Petkovic M.)

Amsterdam, 2001. 27 p.

Rep. / CWI. Dept. Inform. syst.; INS-R-111-01

Pr 367/107-01

Geurts J.P., Ossenbrugen J.R. van, Hardman H.L.

Application-specific constraints for multimedia presentation generation.

Amsterdam, 2001. 16 p.

Rep. / CWI. Dept. Inform. syst.; INS-R-107-01

Pr 367/104-01

List J. A., Ballegooij A.R. van, Vries A.P.de.

Known-item retrieval on broadcast TV.

Amsterdam, 2001. 11 p.

Rep. / CWI. Dept. Inform. syst.; INS-R-104-01

Pr 367/105-01

Ossenbruggen J.R. van, Hardman L., Rutledge L.W.

Hypermedia and the Semantic Web: A research agenda.

Amsterdam, 2001. 14 p.

Rep. / CWI. Dept. Inform. syst.; INS-R-105-01

Pr 367/108-01

The role of high-level and low-level features in semi-automated retrieval and generation of multimedia presentations.

(Nack F.M., Windhower M.A., Pauwels E.J., Huijberts M.W.J.H.)

Amsterdam, 2001. 17 p.

Rep. / CWI.Dept. Inform. syst.; INS-R-108-01

Pr 367/110-01

Struzik Z.R., Wijngaarden W.J.van.

Cumulative effective Holder exponent based indicator for real time fetal heartbeat analysis during labour.

Amsterdam, 2001. 13 p.

Rep. / CWI. Dept. Inform. syst.; INS-R-110-01

Pr 367/102-01

Struzik Z.R.

Oversampling the Haar wavelet transform.

Amsterdam, 2001. 19 p.

Rep. / CWI. Dept. Inform. syst.; INS-R-102-01

Pr 367/103-01

The XML benchmark project.

(Schmidt A.R., Waas F., Kersten M.L., Florescu D.)

Amsterdam, 2001. 18 p.

Rep. / CWI. Dept. Inform. syst.; INS-R-103-01

Диссертации и авторефераты

517.35 К 68

Коробков М.В.

Некоторые вопросы теории устойчивости классов липшицевых отображений.

Дисс. канд. физ.- мат.

01.01.01- мат. анализ.

Новосибирск, 2002. 132 c.

517.8 Р 693

Романов А.М.

Лоренцева функция расстояния и причинность.

Дисс. канд. физ.- мат.

01.01.04-геометрия.

Омск, 2002. 100 c.

517.43 У-932

Ушакова Е.П.

Весовые оценки интегральных операторов с переменной областью интегрирования.

Дисс. канд. физ.- мат.

01.01.01- Мат. анализ.

Хабаровск, 2002. 90 c.

Байтуленов Ж.Б.

Корректность и аппроксимации моделей неоднородной жидкости.

Автореф. канд. физ.- мат.

Алматы, 2002. 15 c.

Войтенко Т.Ю.

Парные силдовские пересечения групп лиева типа.

Автореф. канд. физ.- мат.

Красноярск, 2002. 13 c.

Коробков М.В.

Некоторые вопросы теории устойчивости классов липшецевых отображений.

Автореф. канд. физ.- мат.

Новосибирск, 2002. 17 c.

Усманова А.Р.

Метод поиска с запретами для задач упаковки в контейнеры.

Автореф. канд. физ.- мат.

Уфа, 2002. 18 c.

Журналы

Математика

Вестник МГУ.Вычисл.математика и кибернетика 2002,2

Вестник МГУ.Математика,механика 2002,3

Дифференциальные уравнения 2002, 38,5

Кибернетика и системный анализ 2002,2

Algebra and logic 2002, 41,1

Algebra colloquium 2002, 9,2

Annales de l’Institut H. Poincare.Probability et statistiques 2002, 38,1,2,3

Archivum mathematicum 2002, 38,1

Bollettino della unione matematica Italiana 2001, 4A,3

Commentationes mathematicae Univ.Carolinae2002, 43,2

Discrete applied mathematics 2002, 115,1-3;116,1-2; 119,3

Discrete mathematics 2002, 250,1-3

European journal of operational research 2001, 129,3

Mathematical proc. of the Cambridge phil.society 2002, 132,3

Nagoya mathematical journal 2002,165

Naval research logistics 2002, 49,4

Operations research 2002, 50,1

Order 2002, 19,1

Positivity 2002, 6,2

Transactions of the AMS 2002, 354,5

Transformation group 2002, 7,1

Вычислительная техника

Мир Интернет 2002,5

IEEE Transactions on information theory 2002, 48,4,5

Физика

Физика ЭЧАЯ 2002, 33,2

Прочее

Вопросы философии 2002,5

19.06.02