Книги
на русском языке
517.3 В 748
Вопросы математического анализа
Сб. науч. тр.
Вып. 6.
Под ред. В.И.Половинкина.
Красноярск: Краснояр. гос. техн. ун-т, 2003. 289 с.
518.5 Е 519
Елкин В.И.
Редукция нелинейных управляемых систем. Декомпозиция и инвариантность
по возмущениям.
М.: Изд-во ФАЗИС, ВЦ РАН, 2003. 207 с.
517.5 К 945
Кусраев А.Г.
Мажорируемые операторы.
Отв. ред. С.С.Кутателадзе
М.: Наука, 2003. 619 с.
517.5 Ф 947
Функциональные пространства. Дифференциальные операторы. Проблемы
математического образования.
Тезисы докл. ... Вторая Междунар. конф. Посвящ. 80-летию Л.Д.Кудрявцева.
24-26 марта 2003. Москва
М.: ФИЗМАТЛИТ, 2003. 410 с.
517.3 Ш 341
Шведов И.А.
Компактный курс математического анализа.
Учеб. пособие
НГУ; Мех.- мат. факультет.
Новосибирск.
Ч.1: Функции одной переменной. - 2003.- 111 с.
Препр. ИСИ
Катков С.И.
Система параллельного программирования СУПЕРПАСКАЛЬ: язык, транслятор,
отладчик.
Новосибирск, 2001. 46 с.
(Препр./ ИСИ им. А.П.Ершова; СО РАН; N 81)
Препр. ИСИ
Козюра В.Е.
Развертки раскрашенных сетей Петри со временем.
Новосибирск, 2000. 32 с.
(Препр. / ИСИ им. А.П.Ершова; СО РАН; N 82)
Препр. ИСИ
Москалева Н.С.
Теоретико-категорная характеризация трассовой эквивалентности
временных параллельных моделей.
Новосибирск, 2002. 22 с.
(Препр./ ИСИ им. А.П.Ершова; СО РАН. N 99)
Препр. ИСИ
На пути к верификации С-программ.
Ч.3. Перевод из языка C-LIGHT в язык C-LIGHT-KERNEL и его формальное
обоснование./ Непомнящий В.А., Ануреев И.С., Михайлов И.Н.,
Промский А.В.
Новосибирск, 2002. 82 с.
(Препр. / ИСИ им. А.П.Ершова СО РАН; N 97)
Препр. ИСИ
Шелехов В.И.
Введение в предикатное программирование.
Новосибирск, 2002. 82 c.
(Препр./ ИСИ им.А.П.Ершова СО РАН; N100)
Препр.ИСИ
Рыжов В.С.
Некоторые аспекты проектирования архитектуры крупных информационных
систем.
Новосибирск, 2003. 20 c.
(Препр./ ИСИ им.А.П.Ершова СО РАН; N 106)
Препр. ИСИ
Шилов Н.В., Гаранина Н.О.
Комбинирование знаний и неподвижных точек.
Новосибирск, 2002. 50 с.
(Препр. / ИСИ им. А.П.Ершова СО РАН; N98)
Иностранные
книги
517.6 B 26
Barron K.
The moduli space of N=1 superspheres with tubes and the sewing
operation.
Providence, 2003. 135 p.
(Memoirs of the AMS; N 772)
517.2 B 90
Bruin N. R.
Chabauty methods and covering techniques applied to generalized
Fermat equations.
Amsterdam, 2002. X,77 p.
(CWI tract/ Centrum vood wiskunde en informatica; 133)
517.921 D 39
Dempe S.
Foundations of bilevel programming .
Dordrecht et al.: Kluwer Acad. publ., 2002. VIII,309 p.
(Nonconvex optimization and its applications; vol. 61)
517.1 G 11
Everitt W.N., Markus L.
Elliptic partial differential operators and symplectic algebra.
Providence, 2003. X,111 p.
(Memoirs of the AMS; N 770)
517.1 G 11
Gabbay D. M.
Investigations in modal and tense logics with applications to
problems in philosophy and linguistics.
Dordrecht; Boston: Reidel, 1976. IX,312 p.
(Synthese library; vol. 90)
517.6 G 95
Guralnick R.M. , Muller P. , Saxl J.
The rational function analogue of a question of Schur and exceptionality
of permutation representations.
Providence, 2003. VII,79 p.
(Memoirs of the AMS; N 773)
517.8 M 39
Matsumoto S.
Affine flows on 3-manifolds.
Providence, 2003. VI,94 p.
(Memoirs of the AMS; N 771)
517.36 S 86
Stokman J. V.
Multivariable orthogonal polynomials and quantum Grassmannians.
Amsterdam, 2001. VIII,190 p.
(CWI tract/ Centrum voor wiskunde en informatica; 132)
517.8 W 92
Wu J.
Homotopy theory of the suspensions of the projective plane.
Providence, 2003. X,130 p.
(Memoirs of the AMS; N 769)
