Институт математики имени С.Л.Соболева СО РАН
Библиотека
Speckled_Gradient21A5.gif (2795 bytes)

Новые поступления (14 мая 2001 г.)

| иностранные книги | иностранные препринты |
|
диссертации и авторефераты | журналы |

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

517.1 K 262   

Карпенко А.С.               

Логики Лукасевича и простые числа

М. Наука. 2000. 319 с.

 

 

518.65 Ф 249 

Фаронов В.В.            

Delphi 5. Руководство программиста

М. "Нолидж" 2001. 880 с.

 

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

Pr 355/748-01

Abramov S.A., Petkovsek M.

Proof of a conjecture of Wilf and Zeilberger

Ljubljana 2001 19 p

Prepr. ser. / Univ. Ljubljana. Inst. Math.; vol.39, N 748-01

 

 

Pr 367/1-01

Lindley C., Davis J.R., Nack F.-M., Rutledge L.W.,  

The application of rhetorical structure theory to interactive news program generation from digital archives

Amsterdam 2001 11 p

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

 

 

Pr 367/19-00

Bleeker A.M., Eijck D.J.N.van

The epistemics of encryption

Amsterdam 2000 35 p

Rep. / CWI. Dept. Inform. syst.; INS-R-19-00

 

 

Pr 367/7-00

Bosch H.G.P., Nes N., Kersten M.L.

Navigating through a forest of quad trees to spot images in a database

Amsterdam 2000 9 p

Rep. / CWI. Dept. Inform. syst.; INS-R-7-00

 

 

Pr 367/6-00

Bosch H.G.P., Mullender S.J.

Real-time disk scheduling in a mixed-media file system

Amsterdam 2000 18 p

Rep. / CWI. Dept. Inform. syst.; INS-R-6-00

 

 

Pr 355/745-01

Bresar B., Klavzar S., Skrekovski R.

Cubes polynomial and its derivatives

Ljubljana 2001 11 p

Prepr. ser. / Univ. Ljubljana. Inst. Math.; vol.39, N 745-01

 

 

Pr 367/25-00

Ossenbruggen J.R.van, Cornelissen F.J., Geurts J.P.T.M., Rutledge L.W.,  

Cuypers

Amsterdam 2000 19 p

Rep. / CWI. Dept. Inform. syst.; INS-R-25-00

 

 

Pr 367/10-00

Dongen S.van

A cluster algorithm for graphs

Amsterdam 2000 40 p

Rep. / CWI. Dept. Inform. syst.; INS-R-10-00

 

 

Pr 367/12-00

Dongen S.van

Perfomance criteria for graph clustering and Markov cluster experiments

Amsterdam 2000 36 p

Rep. / CWI. Dept. Inform. syst.; INS-R-12-00

 

 

Pr 367/11-00

Dongen S.van A stochastic uncoupling process for graphs

Amsterdam 2000 19 p

Rep. / CWI. Dept. Inform. syst.; INS-R-11-00

 

 

Pr 367/18-00

Eijck D.J.N.van

On the proper treatment of context in NL

Amsterdam 2000 16 p

Rep. / CWI. Dept. Inform. syst.; INS-R-18-00

 

 

Pr 367/20-00

Eijck J.J.N.van, Heguiabehere J.M., Nuallain B.O.

Theorem proving and programming with dynamic first order logic

Amsterdam 2000 39 p

Rep. / CWI. Dept. Inform. syst.; INS-R-20-00

 

 

Pr 355/747-01

Graovac A., Orbanic A., Pisanski T.

Geometry versus topology

Ljubljana 2001 9 p

Prepr. ser. / Univ. Ljubljana. Inst. Math.; vol.39, N 747-01

 

 

Pr 367/13-00

Hendrix J. Ruttkay Zs.M.

Exploring the space of emotional faces of subjects without acting experience

Amsterdam 2000 20 p

Rep. / CWI. Dept. Inform. syst.; INS-R-13-00

 

 

Pr 367/9-00

Herman I., Marshall M.S.

GraphhXML-an XML based graph interchange format

Amsterdam 2000 23 p

Rep. / CWI. Dept. Inform. syst.; INS-R-9-00

 

 

Pr 355/746-01

Klavzar S., Zigert P.

A min-max result on catacondensed benzenoid graphs

Ljubljana 2001 7 p

Prepr. ser. / Univ. Ljubljana. Inst. Math.; vol.39, N 746-01

 

 

Pr 367/2-00

Manegold S., Pellencoft A., Kersten M.

A multi-query optimizer for Monet

Amsterdam 2000 13 p

Rep. / CWI> Dept. Inform. syst.; INS-R-2-00

 

 

Pr 367/14-00

Marshall M.S., Herman I., Melancon G.

Automatic generation of interactive overview diagrams for the navigation of large graphs

Amsterdam 2000 5 p

Rep. / CWI. Dept. Inform. syst.; INS-R-14-00

 

 

Pr 367/1-00

Marshall M.S., Herman I., Melancon G.

An object-oriented design for graph visualization

Amsterdam 2000 11 p

Rep. / CWI. Dept. Inform. syst.; INS-R-1-00

 

 

Pr 367/5-00

Melancon G., Dutour I., Bousquet-Melou M.

Random generation of dags for graph drawing

Amsterdam 2000 10 p

Rep. / CWI. Dept. Inform. syst.; INS-R-5-00

 

 

Pr 355/751-01

Melikhov S.A., Repovs D.

A geometric filtration of links modulo knots

Ljubljana 2001 21 p

Prepr. ser. / Univ. Ljubljana. Inst. Math.; vol.39, N 751-01

 

 

Pr 355/752-01

Melikhov S.A., Repovs D.

A geometric filtration of links modulo knots

Ljubljana 2001 12 p

Prepr. ser. / Univ. Ljubljana. Inst. Math.; vol.39, N 752-01

 

 

Pr 369/19-99

Morsche H.G.ter, Oonincx P.J.

Integral representations of affine transformations in phase space with an application to energy localization problems

Amsterdam 1999 45 p

Rep. / CWI. Probab., networks and algorithms; PNA-R-19-99

 

 

Pr 367/4-00

Noot H., Ruttkay Zs.M.

CharToon 2.0 manual

Amsterdam 2000 70 p

Rep. / CWI. Dept. Inform. syst.; INS-R-4-00

 

 

Pr 369/9-00

Nunez Q.R.

Note on the GI/GI/1 queue with LCFS-PR observed at arbitrary times

Amsterdam 2000 10 p

Rep. / CWI. Probab., networks and algorithms; PNA-R-9-00

 

 

Pr 367/24-00

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

Integrating multimedia characteristics in web-based document langhuages

Amsterdam 2000 15 p

Rep. / CWI. Dept. Inform. syst.; INS-R-24-00

 

 

Pr 367/17-00

Pauly M.

Game logic for game theoretists

Amsterdam 2000 18 p

Rep. / CWI. Dept. Inform. syst.; INS-R-17-00

 

 

Pr 367/16-00

Ruttkay Zs.M., Lelievre A.D.F.

CharToon 2.1 extension

Amsterdam 2000 24 p

Rep. / CWI. Dept. Inform. syst.; INS-R-16-00

 

 

Pr 367/22-00

Rutledge L.W., Ballegooij A.R.van, Eliens A.

Virtual context-relating media objects to their real world subjects

Amsterdam 2000 5 p

Rep. / CWI. Dept. Inform. syst.; INS-R-22-00

 

 

Pr 355/749-01

Sajna M.

Cycle decompositions III

Ljubljana 2000 66 p

Prepr. ser. / Univ. Ljubljana. Inst. Math.; vol.39, N 749-01

 

 

Pr 367/8-00

Struzik Z.R., Siebes A.P.J.M.

Outlier detection and localisation with wavelet based multifractal formalism

Amsterdam 2000 18 p

Rep. / CWI. Dept. Inform. syst.; INS-R-8-00

 

 

Pr 367/23-00

Struzik Z.R.

Wavelet methods in (financial) time-series processing

Amsterdam 2000 12 p

Rep. / CWI. Dept. Inform. syst.; INS-R-23-00

 

 

Pr 367/3-00

Waas F., Galindo-Legaria C.A.

The effect of cost distributions on evolutionary optimization algorithms

Amsterdam 2000 15 p

Rep. / CWI. Dept. Inform. syst.; INS-R-3-00

 

 

Pr 367/21-00

Waas F., Kersten M.L.

Memory aware query scheduling in a database cluster

Amsterdam 2000 16 p

Rep. / CWI. Dept. Inform. syst.; INS-R-21-00

 

 

Pr 355/750-01

Zmazek B., Zerovnik J.

The obnoxious center problem on weighted cactus graphs

Ljubljana 2001 10 p

Prepr. ser. / Univ. Ljubljana. Inst. Math.; vol.39, N 750-01

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

517.6 К 172   

Калимуллин И.Ш.

Структурные свойства верхних полурешеток степеней по перечислимости

Диссер. канд. физ.- мат. 01.01.06-мат.логика

Казань. Казанский гос. ун-т. 2001. 88 с.

 

 

Вишневская Т.Р.    

Факторизации p-насыщенных формаций 

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

Гомель. 2001. 17 c.

 

 

Подгорная В.В.    

Минимальные добавления к подгруппам конечных групп

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

Гомель. 2001. 19 c.

 Журналы

Математика

Дифференциальные уравнения 2001, 37,3

Известия вузов.Математика 2001,4

Communications in algebra 2001, 29,1

Discrete applied  mathematics 2001, 109,3

Duke mathematical journal 2001, 106,3

European journal of operational research 2000, 127,1; 128,2

Inventiones mathematicae 2001, 144,2

Management science 2001, 47,2

Mathematical reviews 2001,b

Mathematics magazine 2001, 74,1

Mathematics of operations research 2001, 26,1

Mathematische Annalen 2001, 319,4

Mathematische Zeitschrift 2001, 236,3

New Zealand mathematics magazine 2000, 37,3

Probability theory and related fields 2001, 119,3

 

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

Вычислительные технологии 2001, 6,2

 

Физика

Физика элементарных частиц и атомного ядра 2000, 32,2

 

Прочие

Вестник РАН 2001, 71,3

Вопросы философии 2001,3,4

Recherche 2003,342

 

15.05.01