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

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


  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.



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