Мемориальная библиотека им. А.П. Ершова

Hовые поступления с 1 ноября по 6 декабря 2004 года


  1. Principles of Distributed Systems:
Revised Selected Papers/7th International
Conference, OPODIS 2003.La Martinique, French
West Indies, December 2003/Ed. by
M.Papatriantafilou, Ph.Hunel.-Berlin,
Heidelberg: Springer, 2004.-Vol. 3144.-247 p.
-(Lecture Notes in Computer Science).

  2. Parameterized and Exact Computation:
Proc./First International Workshop, IWPEC
2004. Bergen, Norway, September 2004/Ed. by
R.Downey, M.Fellows, F.Dehne.-Berlin,
Heidelberg: Springer, 2004.-Vol. 3162.-291 p.
-(Lecture Notes in Computer Science).

  3. Computer Security - ESORICS 2004:
Proc./9th European Symposium on Research in
Computer Security. Sophia Antipolis, France,
September 2004/Ed. by  P.Samarati, P.Ryan,
D.Gollmann, R.Molva.-Berlin, Heidelberg:
Springer, 2004.-Vol. 3193.-456 p.-(Lecture
Notes in Computer Science).

  4. Database and XML Technologies:
Proc./Second International XML Database
Symposium, XSym 2004. Toronto, Canada, August
2004/Ed. by  Z.Bellahsene, T.Milo, M.Rys,
D.Suciu.-Berlin, Heidelberg: Springer, 2004.
-Vol. 3186.-234 p.-(Lecture Notes in Computer
Science).

  5. Principles and Practice of Constraint
Programming - CP 2004: Proc./10th
International Conference, CP 2004. Toronto,
Canada, September/October 2004/Ed. by
M.Wallace.-Berlin, Heidelberg: Springer, 2004.
-Vol. 3258.-822 p.-(Lecture Notes in Computer
Science).

  6. Algorithms - ESA 2004: Proc./12th Annual
European Symposium. Bergen, Norway, September
2004/Ed. by  S.Albers, T.Radzik.-Berlin,
Heidelberg: Springer, 2004.-Vol. 3221.-836 p.
-(Lecture Notes in Computer Science).

  7. Natural Language Processing and
Information Systems: Proc./9th International
Conference on Applications of Natural
Language to Information Systems, NLDB 2004.
Salford, UK, June 2004/Ed. by  F.Meziane,
E.Metais.-Berlin, Heidelberg: Springer, 2004.
-Vol. 3136.-436 p.-(Lecture Notes in Computer
Science).

  8. Medical Image Computing and
Computer-Assisted Intervention - MICCAI 2004.
Part II: Proc./7th International Conference.
Saint-Malo, France, September 2004/Ed. by
Ch.Barillot, D.R.Haynor, P.Hellier.-Berlin,
Heidelberg: Springer, 2004.-Vol. 3217.-1114 p.
-(Lecture Notes in Computer Science).

  9. Parallel Problem Solving from Nature -
PPSN VII: Proc./8th International Conference.
Birmingham, UK, Spetember 2004/Ed. by  X.Yao.
-Berlin, Heidelberg: Springer, 2004.-Vol. 3242.
-1181 p.-(Lecture Notes in Computer Science).

 10. Knowledge-Based Intelligent Information
and Engineering Systems. Part II: Proc./8th
International Conference, KES 2004.
Wellington, New Zealand, September 2004/Ed.
by  M.Gh.Negoita, R.J.Howlett, L.C.Jain.
-Berlin, Heidelberg: Springer, 2004.-Vol. 3214.
-1302 p.-(Lecture Notes in Artificial
Intelligence).

 11. Machine Translation: From Real Users to
Research: Proc./6th Conference of the
Association for Machine Translation in the
Americas, AMTA 2004. Washington, DC, USA,
September/October 2004/Ed. by
R.E.Frederking, K.B.Taylor.-Berlin, Heidelberg:
 Springer, 2004.-Vol. 3265.-283 p.-(Lecture
Notes in Artificial Intelligence).

 12. KI 2004: Advances in Artificial
Intelligence: Proc./27th Annual German
Conference on AI, KI 2004. Ulm, Germany,
September 2004/Ed. by  S.Buindo,
Th.Fruhwirth, G.Palm.-Berlin, Heidelberg:
Springer, 2004.-Vol. 3238.-465 p.-(Lecture
Notes in Artificial Intelligence).

 13. Wisser U. Intelligent Information
Integration for the Semantic Web.- Berlin,
Heidelberg: Springer, 2004.- 150 p.-(Lecture
Notes in Artificial Intelligence; Vol. 3159).
-Bibliogr.: p.141-150.

 14. Advances in Computer Systems
Architecture: Proc./9th Asia-Pacific
Conference, ACSAC 2004. Beijing, China,
September 2004/Ed. by  P.-Ch.Yew, J.Xue.
-Berlin, Heidelberg: Springer, 2004.-Vol. 3189.
-598 p.-(Lecture Notes in Computer Science).

 15. Database and Expert Systems
Applications: Proc./15th International
Conference, DEXA 2004. Zaragoza, Spain,
August/September 2004/Ed. by  F.Galindo,
M.Takizawa, R.Traunmueller.-Berlin, Heidelberg:
 Springer, 2004.-Vol. 3180.-972 p.-(Lecture
Notes in Computer Science).

 16. Advances in Databases and Information
Systems: Proc./8th East European Conference,
ADBIS 2004. Budapest, Hungary, September 2004/
Ed. by  A.Benczur, J.Demetrovics, G.Gottlob.
-Berlin, Heidelberg: Springer, 2004.-Vol. 3255.
-423 p.-(Lecture Notes in Computer Science).

 17. Advances in Artificial Intelligence -
SBIA 2004: Proc./17th Brazilian Symposium on
Artificial Intelligence. Sao
Luis,Maranhao,Brazil,September/October 2004/
Ed. by  A.L.C.Bazzan, S.Labidi.-Berlin,
Heidelberg: Springer, 2004.-Vol. 3171.-548 p.
-(Lecture Notes in Artificial Intelligence).

 18. История развития информационных
технологий в Украине.- Киев, 2004.

 19. Офисный пакет StarOffice 6.0.: Sun
Microsystems, 2004.

 20. Algorithms in Bioinformatics: Proc./4th
International Workshop, WABI 2004. Bergen,
Norway, September 2004/Ed. by  I.Jonassen,
J.Kim.-Berlin, Heidelberg: Springer, 2004.
-Vol. 3240.-476 p.-(Lecture Notes in
Bioinformatics).

 21. Graphics Recognition: Recent Advances
and Perspectives: Revised Selected Papers/5th
International Workshop, GREC 2003. Barcelona,
Spain, July 2003/Ed. by  J.Llados, Y.-B.Kwon.
-Berlin, Heidelberg: Springer, 2004.-Vol. 3088.
-387 p.-(Lecture Notes in Computer Science).

 22. Image Analysis and Recognition. Part II:
Proc./International Conference, ICIAR 2004.
Porto, Portugal, September/October 2004/Ed.
by  A.Campilho, M.Kamel.-Berlin, Heidelberg:
Springer, 2004.-Vol. 3212.-861 p.-(Lecture
Notes in Computer Science).

 23. Image Analysis and Recognition. Part I:
Proc./International Conference, ICIAR 2004.
Porto, Portugal, September/October 2004/Ed.
by  A.Campilho, M.Kamel.-Berlin, Heidelberg:
Springer, 2004.-Vol. 3211.-880 p.-(Lecture
Notes in Computer Science).

 24. Research and Advanced Technology for
Digital Libraries: Proc./8th European
Conference, ECDL 2004. Bath, UK, September
2004/Ed. by  R.Heery, L.Lyon.-Berlin,
Heidelberg: Springer, 2004.-Vol. 3232.-528 p.
-(Lecture Notes in Computer Science).

 25. On the Move to Meaningful Internet
Systems 2004: OTM 2004 Workshops: Proc./OTM
Conf. Intern. Workshops and Posters GADA,
JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP
2004. Agia Napa,Cyprus,October 2004/Ed. by
R.Meersman, Z.Tari, A.Corsaro.-Berlin,
Heidelberg: Springer, 2004.-Vol. 3292.-885 p.
-(Lecture Notes in Computer Science).

 26. On the Move to Meaningful Internet
Systems 2004: CoopIS, DOA, and ODBASE. Part
II: Proc./OTM Confederated International
Conferences CoopIS, DOA and ODBASE 2004. Agia
Napa, Cyprus, October 2004/Ed. by
R.Meersman, Z.Tari.-Berlin, Heidelberg:
Springer, 2004.-Vol. 3291.-1648 p.-(Lecture
Notes in Computer Science).

 27. On the Move to Meaningful Internet
Systems 2004: CoopIS, DOA and ODBASE. Part I:
Proc./OTM Confederated International
Conferences CoopIS, DOA, and ODBASE 2004.
Agia Napa, Cyprus, October 2004/Ed. by
R.Meersman, Z.Tari.-Berlin, Heidelberg:
Springer, 2004.-Vol. 3290.-822 p.-(Lecture
Notes in Computer Science).

 28. Genetic and Evolutionary Computation -
GECCO 2004. Part I: Proc./Genetic and
Evolutionary Computation Conference. Seattle,
WA, USA, June 2004/Ed. by  K.Deb.-Berlin,
Heidelberg: Springer, 2004.-Vol. 3102.-1445 p.
-(Lecture Notes in Computer Science).

 29. Genetic and Evolutionary
Programming.Part II: Proc./Genetic and
Evolutionary Computation Conference, Seattle,
WA, USA, June 2004/Ed. by  K.Dob.-Berlin,
Heidelberg: Springer, 2004.-Vol. 3103.-1439 p.
-(Lecture Notes in Computer Science).

 30. Medical Image Computing and
Computer-Assisted Intervention - MICCAI 2004.
Part I: Proc./7th International Conference.
Saint-Malo, France, September 2004/Ed. by
Ch.Barillot, D.R.Haynor, P.Hellier.-Berlin,
Heidelberg: Springer, 2004.-Vol. 3216.-930 p.
-(Lecture Notes in Computer Science).

 31. Algorithmic Learning Theory: Proc./15th
International Conference, ALT 2004. Padova,
Italy, October 2004/Ed. by  Sh.Ben-David,
J.Case, A.Maruoka.-Berlin, Heidelberg:
Springer, 2004.-Vol. 3244.-505 p.-(Lecture
Notes in Artificial Intelligence).

 32. Knowledge-Based Intelligent Information
and Engineering Systems. Part III: Proc./8th
International Conference, KES 2004.
Wellington, New Zealand, September 2004/Ed.
by  M.Gh.Negoita, R.J.Howlett, L.C.Jain.
-Berlin, Heidelberg: Springer, 2004.-Vol. 3215.
-906 p.-(Lecture Notes in Artificial
Intelligence).

 33. Knowledge-Based Intelligent Information
and Engineering Systems. Part I: Proc./8th
International Conference, KES 2004.
Wellington, New Zealand, September 2004/Ed.
by  M.Gh.Negoita, R.J.Howlett, L.C.Jain.
-Berlin, Heidelberg: Springer, 2004.-Vol. 3213.
-1280 p.-(Lecture Notes in Artificial
Intelligence).

 34. Logics in Artificial Intelligence:
Proc./9th European Conference, JELIA 2004.
Lisbon, Portugal, September 2004/Ed. by
J.J.Alferes, J.Leite.-Berlin, Heidelberg:
Springer, 2004.-Vol. 3229.-744 p.-(Lecture
Notes in Artificial Intelligence).

 35. Machine Learning: ECML 2004: Proc./15th
European Conference on Machine Learning.
Pisa, Italy, September 2004/Ed. by
J.-F.Boulicaut, F.Esposito, F.Gianotti,
D.Pedreschi.-Berlin, Heidelberg: Springer,
2004.-Vol. 3201.-580 p.-(Lecture Notes in
Artificial Intelligence).

 36. Integration of Software Specification
Techniques for Applications in Engineering:
Final Report/Priority Program SoftSpez of the
German Research Foundation (DFG)/Ed. by  Et
Al. H.Ehrig.-Berlin, Heidelberg: Springer,
2004.-Vol. 3147.-626 p.-(Lecture Notes in
Computer Science).

 37. Малиновский Б.Н. Академик Борис Патон:
труд на всю жизнь.- М.: Per Se, 2002.- 271 с.
-Библиогр.: c.269-270.

 38. Pena-Reyes C.A. Coevolutionary Fuzzy
Modeling.- Berlin, Heidelberg: Springer, 2004.
- 129 p.-(Lecture Notes in Computer Science;
Vol. 3204).-Bibliogr.: p.123-129.

 39. Web Content Caching and Distribution:
Proc./9th International Workshop, WCW 2004.
Beijing, China, October 2004/Ed. by
Ch.-H.Chi, Steen M.Van, C.Wills.-Berlin,
Heidelberg: Springer, 2004.-Vol. 3293.-283 p.
-(Lecture Notes in Computer Science).

 40. Agent-Mediated Electronic Commerce V:
Revised Selected Papers. AAMAS 2003 Workshop,
AMEC 2003. Melbourne, Australia, July 2003/
Ed. by  P.Faratin, D.C.Parkes,
J.A.Rodriguez-Aguilar, W.E.Walsh.-Berlin,
Heidelberg: Springer, 2004.-Vol. 3048.-155 p.
-(Lecture Notes in Artificial Intelligence).

 41. Engineering Knowledge in the Age of
Semantic Web: Proc./14th International
Conference, EKAW 2004. Whittlebury Hall, UK,
2004/Ed. by  E.Motta, N.Shadbolt, A.Stitt,
N.Gibbins.-Berlin, Heidelberg: Springer, 2004.
-Vol. 3257.-517 p.-(Lecture Notes in
Artificial Intelligence).

 42. Advances in Natural Language Processing:
Proc./4th International Conference, EsTAL
2004. Alicante, Spain, October 2004/Ed. by
J.L.Vicedo, P.Martinez-Barco, R.Munoz,
M.Saiz-Noeda.-Berlin, Heidelberg: Springer,
2004.-Vol. 3230.-488 p.-(Lecture Notes in
Artificial Intelligence).

 43. Generative Programming and Component
Engineering: Proc./Third International
Conference, GPCE 2004. Vancouver, Canada, 2004
/Ed. by  G.Karsai, E.Visser.-Berlin,
Heidelberg: Springer, 2004.-Vol. 3286.-491 p.
-(Lecture Notes in Computer Science).

 44. Geographic Information Science:
Proc./Third International Conference,
GIScience 2004. Adelphi, MD, USA, October 2004
/Ed. by  M.J.Egenhofer, Ch.Freksa, H.J.Miller.
-Berlin, Heidelberg: Springer, 2004.-Vol. 3234.
-345 p.-(Lecture Notes in Computer Science).

 45. Computer Vision and Mathematical Methods
in Medical and Biomedical Image Analysis:
Revised Selected Papers/ECCV 2004 Workshops
CVAMIA and MMBIA. Prague, Czech Republic, May
2004/Ed. by  M.Sonka, I.O.Kakadiaris, J.Kybic.
-Berlin, Heidelberg: Springer, 2004.-Vol. 3117.
-438 p.-(Lecture Notes in Computer Science).

 46. Cellular Automata: Proc./6th
Internatoinal Conference on Cellular Automata
for Research and Industry, ACRI 2004.
Amsterdam, The Netherlands, Oclober 2004/Ed.
by  P.M.A.Sloot, B.Chopard, A.G.Hoekstra.
-Berlin, Heidelberg: Springer, 2004.-Vol. 3305.
-883 p.-(Lecture Notes in Computer Science).

 47. Algorithms and Models for the Web-Graph:
Proc./Third International Workshop, WAW 2004.
Rome, Italy, October 2004/Ed. by  S.Leonardi.
-Berlin, Heidelberg: Springer, 2004.-Vol. 3243.
-189 p.-(Lecture Notes in Computer Science).

 48. Integrated Circuit and System Design:
Proc./14th International Workshop, PATMOS
2004. Santorini, Greece, September 2004/Ed.
by  E.Macii, V.Paliouras, O.Koufopavlou.
-Berlin, Heidelberg: Springer, 2004.-Vol. 3254.
-910 p.-(Lecture Notes in Computer Science).

 49. Software Security - Theories and
Systems: Revised Papers/Second Mext-NSF-JSPS
International Symposium, ISSS 2003. Tokyo,
Japan, November 2003/Ed. by  K.Futasugi,
F.Mizoguchi, N.Yonezaki.-Berlin, Heidelberg:
Springer, 2004.-Vol. 3233.-345 p.-(Lecture
Notes in Computer Science).

 50. Theorem Proving in Higher Order Logics:
Proc./17th International Conference, TPHOLs
2004. Park City,Utah,USA,September 2004/Ed.
by  K.Slind, A.Bunker, G.Gopalakrishman.
-Berlin, Heidelberg: Springer, 2004.-Vol. 3223.
-337 p.-(Lecture Notes in Computer Science).

 51. Universal Multiservice Networks:
Proc./Third European Conference, ECUMN 2004.
Porto, Portugal, October 2004/Ed. by
M.M.Freire, P.Chemouil, P.Lorenz, A.Gravey.
-Berlin, Heidelberg: Springer, 2004.-Vol. 3262.
-556 p.-(Lecture Notes in Computer Science).

 52. Artificial Intelligence and Symbolic
Computation: Proc./7th International
Conference, AISC 2004. Linz, Austria,
September 2004/Ed. by  B.Buchberger,
J.A.Campbell.-Berlin, Heidelberg: Springer,
2004.-Vol. 3249.-285 p.-(Lecture Notes in
Artificial Intelligence).

 53. Geammatical Inference: Algorithms and
Applications: Proc./7th International
Colloquium, ICGI 2004. Athens, Greece,
October 2004/Ed. by  G.Paliouras, Y.Sakakibara.
-Berlin, Heidelberg: Springer, 2004.-Vol. 3264.
-291 p.-(Lecture Notes in Artificial
Intelligence).

 54. RoboCup 2003: Robot Soccer World Cup VII/
Ed. by  D.Polani, B.Browning, A.Bonarini,
K.Yoshida.-Berlin, Heidelberg: Springer, 2004.
-Vol. 3020.-767 p.-(Lecture Notes in
Artificial Intelligence).

 55. Advanced Lectures on Machine Learning:
Revised Lectures/ML Summer Schools 2003.
Canberra, Australia, February 2003.
Tuebingen, Germany, August 2003/Ed. by
O.Bosquet, Luxburg U.Von, G.Raetsch.-Berlin,
Heidelberg: Springer, 2004.-Vol. 3176.-241 p.
-(Lecture Notes in Artificial Intelligence).

 56. Information Networking: Revised Selected
Papers/ International Conference, ICOIN 2004.
Busan,Korea,February 2004/Ed. by  H.-K.Kahng,
Sh.Goto.-Berlin, Heidelberg: Springer, 2004.
-Vol. 3090.-1048 p.-(Lecture Notes in
Computer Science).

 57. Network and Parallel Computing: Proc./
IFIP International Conference, NPC 2004.
Wuhan,China,Oktober 2004/Ed. by  H.Jin,
G.R.Gao, Z.Xu, H.Chen.-Berlin, Heidelberg:
Springer, 2004.-Vol. 3222.-694 p.-(Lecture
Notes in Computer Science).

 58. Semantics of a Networked World.
Semantics for Grid Databases: Proc./First
International IFIP Conference, ICSNW 2004.
Paris,France,June 2004/Ed. by  M.Bouzeghoub,
C.Goble, V.Kashyap, S.Spaccapietra.-Berlin,
Heidelberg: Springer, 2004.-Vol. 3226.-326 p.
-(Lecture Notes in Computer Science).

 59. Грибовская Н.С. Теоретико-категорное
исследование эквивалентностей параллельных
моделей с реальным временем: Автореф. дис...
канд. физ.-мат. наук: 05.13.11.-Новосибирск,
2004.-15 с.-Библиогр.: c.14-15.

 60. Пичугин Б.Ю. Статичтическое
моделирование сообщества взаимодействующих
особей с учетом их индивидуальных параметров:
Автореф. дис... канд. ф.-м.наук: 05.13.18.
-Новосибирск, 2004.-20 с.-Библиогр.: c.19-20.

 61. Ли Д.В. Определение периода сложных
сигналов и диагностических коэффициентов при
контроле насосного оборудования
нефтепромыслов: Автореф. дис... канд. тех.
наук: 05.13.01.-Томск, 2004.-18 с.-Библиогр.:
c.17-18.

 62. Майданов Ю.С. Разработка и исследование
средств параллельного мультипрограммирования
и поддержки живучести для распределенных
вычислительных систем: Автореф. дис... канд.
тех. наук: 05.13.15.-Новосибирск, 2004.-19 с.
-Библиогр.: c.18-19.

 63. Ковин Р.В. Алгоритмическое и программное
обеспечение геоинформационной системы для
анализа двумерных геополей: Автореф. дис...
канд. тех. наук: 05.13.11.-Томск, 2004.-19 с.
-Библиогр.: c.17-19.

 64. Диденко С.В. Разработка алгоритмического
и программного обеспечения системы
сопровождения подвижных объектов: Автореф.
дис... канд. тех. наук: 05.13.11.-Томск, 2004.
-20 с.-Библиогр.: c.19-20.

 65. Маслов Д.В. Хронологическая модель,
языки и методы манипулирования информацией в
хранилищах данных: Автореф. дис... канд. тех.
наук: 05.13.17.-Самара, 2004.-16 с.
-Библиогр.: c.16.

 66. Ухинова О.С. Вероятностные модели
гидрометеорологических процессов и полей:
Автореф. дис... канд. ф.-м. наук: 05.13.18.
-Новосибирск, 2004.-14 с.-Библиогр.: c.14.

 67. Гаранина Н.О. Верификация распределенных
систем с использованием аффинного
представления данных, логик знаний и
действий: Автореф. дис... канд. ф.-м. наук:
05.13.11.-Новосибирск, 2004.-18 с.-Библиогр.:
c.17-18.

 68. Гаранина Н.О. Верификация распределенных
систем с использованием аффинного
представления данных, логик знаний и
действий: Дис... канд. ф.-м. наук: 05.13.11.
-Новосибирск, 2004.-165 с.-Библиогр.:
c.133-138.

 69. Аяпбергенова А.Т. Исследование вопросов
сходимости градиентных методов для решения
обратных задач: Автореф. дис... канд. ф.-м.
наук: 05.13.18.-Новосибирск, 2004.-18 с.
-Библиогр.: c.18.

 70. Жижимов О.Л. Построение распределенных
информационных систем на основе протокола
Z39.50: Автореф. дис... докт. тех. наук:
05.25.05.-Новосибирск, 2004.-31 с.-Библиогр.:
c.24-31.

 71. Промский А.В. Формальная семантика
C-Light программ и их верификация методом
Хоара: Автореф. дис... канд.  ф.-м. наук:
05.13.11.-Новосибирск, 2004.-17 с.-Библиогр.:
c.16-17.

 72. Промский А.В. Формальная семантика
C-LIGHT программ и их верификация методом
Хоара: Дис... канд. ф.-м. наук: 05.13.11.
-Новосибирск, 2004.-157 с.-Библиогр.:
c.138-149.



Вы обнаружили ошибку в следующем тексте:
Просто нажмите кнопку "Отправить сообщение об ошибке" для завершения. Вы можете также ввести комментарий (желательно).