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.