Hовые поступления c 10 июля по 7 августа 2006 года
1. Computer Vision in Human-Computer Interaction: Proc./ECCV 2006 Workshop on HCI. Graz, Austria, May 2006/Ed. by Th.S.Huang, N.Sebe, M.S.Lew, V.Pavlovic.-Berlin, Heidelberg: Springer, 2006.-Vol. 3979.-121 p.-(Lecture Notes in Computer Science). 2. Extreme Programming and Agile Processes in Software Engineering: Proc./7th International Conference, XP 2006. Oulu, Finland, June 2006/Ed. by P.Abrahamsson, M.Marchesi, G.Succi.-Berlin, Heidelberg: Springer, 2006.-Vol. 4044.-230 p.-(Lecture Notes in Computer Science). 3. Natural Language Processing and Information Systems: Proc./11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006. Klagenfurt, Austria, May/June 2006/Ed. by Ch.Kop, G.Fliedl, H.C.Mayr, E.Metais.-Berlin, Heidelberg: Springer, 2006.-Vol. 3999.-227 p.-(Lecture Notes in Computer Science). 4. Formal Methods for Open Object-Based Distributed Systems: Proc./8th IFIP WG 6.1 International Conference, FMOODS 2006. Bologna, Italy, June 2006/Ed. by R.Gorrieri, H.Wehrheim.-Berlin, Heidelberg: Springer, 2006.-Vol. 4037. -267 p.-(Lecture Notes in Computer Science). 5. Reliable Software Technologies - Ada-Europe 2006: Proc./11th Ada-Europe International Conference on Reliable Software Technologies. Porto, Portugal, June 2006/Ed. by L.M.Pinho, Harbour M.Gonzalez.-Berlin, Heidelberg: Springer, 2006.-Vol. 4006.-241 p.-(Lecture Notes in Computer Science). 6. Public Key Infrastructure: Proc./Third European PKI Workshop: Theory and Practice, EuroPKI 2006. Turin, Italy, June 2006/Ed. by A.S.Atzeni, A.Lioy.-Berlin, Heidelberg: Springer, 2006.-Vol. 4043.-261 p.-(Lecture Notes in Computer Science). 7. Computer Music Modeling and Retrieval: Revised Papers/Third International Symposium, CMMR 2005. Pisa, Italy, September 2005/Ed. by R.Kronland-Martinet, Th.Voinier, S.Ystad.-Berlin, Heidelberg: Springer, 2006. -Vol. 3902.-275 p.-(Lecture Notes in Computer Science). 8. Coordination Models and Languages: Proc./8th International Conference, COORDINATION 2006. Bologna, Italy, June 2006/Ed. by P.Ciancarini, H.Wiklicky.-Berlin, Heidelberg: Springer, 2006.-Vol. 4038.-299 p.-(Lecture Notes in Computer Science). 9. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Proc./Third International Conference, CPAIOR 2006. Cork, Ireland, May/June 2006/Ed. by J.Ch.Beck, B.M.Smith.-Berlin, Heidelberg: Springer, 2006.-Vol. 3990.-301 p.-(Lecture Notes in Computer Science). 10. Distributed Applications and Interoperable Systems: Proc./6th IFIP WG 6.1 International Conference, DAIS 2006. Bologna, Italy, June 2006/Ed. by F.Eliassen, A.Montressor. -Berlin, Heidelberg: Springer, 2006.-Vol. 4025.-355 p. -(Lecture Notes in Computer Science). 11. Algorithmic Aspects in Information and Management: Proc./Second International Conference, AAIM 2006. Hong Kong, China, June 2006/Ed. by S.-W.Cheng, Ch.K.Poon.-Berlin, Heidelberg: Springer, 2006.-Vol. 4041.-395 p.-(Lecture Notes in Computer Science). 12. Algorithms and Complexity: Proc./6th Italian Conference, CIAC 2006. Rome, Italy, May 2006/Ed. by T.Calamoneri, I.Finocchi, G.F.Italiano.-Berlin, Heidelberg: Springer, 2006.-Vol. 3998.-394 p.-(Lecture Notes in Computer Science). 13. Intelligence and Security Informatics: Proc./IEEE International Conference on Intelligence and Security Informatics, ISI 2006. San Diego, CA, USA, May 2006/Ed. by Sh.Mehrota, D.D.Zeng, Hs.Chen, Bh.Thuraisingham.-Berlin, Heidelberg: Springer, 2006.-Vol. 3975.-772 p.-(Lecture Notes in Computer Science). 14. Theory and Applications of Models of Computation: Proc./Third International Conference, TAMC 2006. Beijing, China, May 2006/Ed. by J.-Y.Cai, S.B.Cooper, A.Li.-Berlin, Heidelberg: Springer, 2006.-Vol. 3959.-794 p.-(Lecture Notes in Computer Science). 15. Product-Based Software Process Improvement: Proc./7th International Conference, PROFES 2006. Amsterdam, The Netherlands, June 2006/Ed. by J.Muench, M.Vierimaa.-Berlin, Heidelberg: Springer, 2006.-Vol. 4034.-474 p.-(Lecture Notes in Computer Science). 16. Adaptive Hypermedia and Adaptive Web-Based Systems: Proc./4th International Conference, AH 2006. Dublin, Ireland, June 2006/Ed. by V.Wade, H.Ashman, B.Smyth. -Berlin, Heidelberg: Springer, 2006.-Vol. 4018.-474 p. -(Lecture Notes in Computer Science). 17. Intelligent Tutoring Systems: Proc./8th International Conference, ITS 2006. Jhongli, Taiwan, June 2006/Ed. by M.Ikeda, K.D.Ashley, T.W.Chan.-Berlin, Heidelberg: Springer, 2006.-Vol. 4053.-821 p.-(Lecture Notes in Computer Science). 18. Reuse of Off-the-Shelf Components: Proc./9th International Conference on Software Reuse, ICSR 2006/Ed. by M.Morisio.-Berlin, Heidelberg: Springer, 2006.-Vol. 4039. -444 p.-(Lecture Notes in Computer Science). 19. Distributed Computing in Sensor Systems: Proc./Second IEEE International Conference, DCOSS 2006. San Francisco, CA, USA, June 2006/Ed. by Ph.B.Gibbons, T.Abdelzaher, J.Aspnes, R.Rao.-Berlin, Heidelberg: Springer, 2006.-Vol. 4026.-566 p.-(Lecture Notes in Computer Science). 20. Advances in Web-Age Information Management: Proc./7th International Conference, WAIM 2006. Hong Kong, China, June 2006/Ed. by J.X.Yu, M.Kitsuregawa, H.V.Leong.-Berlin, Heidelberg: Springer, 2006.-Vol. 4016.-606 p.-(Lecture Notes in Computer Science). 21. Computational Science - ICCS 2006: Part I: Proc./6th International Conference. Reading, UK, May 2006/Ed. by V.N.Alexandrov, Albada G.D.Van, P.M.A.Sloot, J.Dongarra. -Berlin, Heidelberg: Springer, 2006.-Vol. 3991.-1096 p. -(Lecture Notes in Computer Science). 22. Computational Science - ICCS 2006: Part II: Proc./6th International Conference. Reading, UK, May 2006/Ed. by V.N.Alexandrov, Albada G.D.Van, P.M.A.Sloot, J.Dongarra. -Berlin, Heidelberg: Springer, 2006.-Vol. 3992.-1122 p. -(Lecture Notes in Computer Science). 23. Computational Science - ICCS 2006: Part III: Proc./6th International Conference. Reading, UK, May 2006/Ed. by V.N.Alexandrov, Albada G.D.Van, P.M.A.Sloot, J.Dongarra. -Berlin, Heidelberg: Springer, 2006.-Vol. 3993.-1136 p. -(Lecture Notes in Computer Science). 24. Computational Science - ICCS 2006: Part IV: Proc./6th International Conference. Reading, UK, May 2006/Ed. by V.N.Alexandrov, P.M.A.Sloot, Albada G.D.Van, J.Dongarra. -Berlin, Heidelberg: Springer, 2006.-Vol. 3994.-1096 p. -(Lecture Notes in Computer Science). 25. Algebraic Methodology and Software Technology: Proc./11th International Conference, AMAST 2006. Kuressaare, Estonia, July 2006/Ed. by M.Johnson, V.Vene.-Berlin, Heidelberg: Springer, 2006.-Vol. 4019.-389 p.-(Lecture Notes in Computer Science). 26. Combinatorial Image Analysis: Proc./11th International Workshop, IWCIA 2006. Berlin, Germany, June 2006/Ed. by R.Reuke, U.Eckardt, B.Flach, U.Knauer.-Berlin, Heidelberg: Springer, 2006.-Vol. 4040.-482 p.-(Lecture Notes in Computer Science). 27. Advances in Artificial Intelligence: Proc./4th Helenic Conference on AI, SETN 2006. Heraklion, Crete, Greece, May 2006/Ed. by G.Antoniou, G.Potamias, C.Spyropoulos, D.Plexousakis.-Berlin, Heidelberg: Springer, 2006.-Vol. 3955. -611 p.-(Lecture Notes in Artificial Intelligence). 28. Learning Theory: Proc./19th Annual Conference on Learning Theory, COLT 2006. Pittsburgh, PA, USA, June 2006/ Ed. by G.Lugosi, H.U.Simon.-Berlin, Heidelberg: Springer, 2006.-Vol. 4005.-656 p.-(Lecture Notes in Artificial Intelligence). 29. New Frontiers in Artificial Intelligence: Joint JSAI 2005 Workshop Post-Proceedings/Ed. by T.Washio, A.Sakurai, K.Nakajima, H.Takeda.-Berlin, Heidelberg: Springer, 2006. -Vol. 4012.-484 p.-(Lecture Notes in Artificial Intelligence). 30. Advances in Artificial Intelligence: Proc./19th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2006. Quebec City, Quebec, Canada, June 2006/Ed. by L.Lamontagne, M.Marchand.-Berlin, Heidelberg: Springer, 2006.-Vol. 4013.-564 p.-(Lecture Notes in Artificial Intelligence). 31. Advances in Applied Artificial Intelligence: Proc./19th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006. Annecy, France, June 2006/Ed. by M.Ali, R.Dapoigny.-Berlin, Heidelberg: Springer, 2006.-Vol. 4031.-1353 p.-(Lecture Notes in Artificial Intelligence). 32. Unifying Theories of Programming: Revised Selected Papers/First International Symposium, UTP 2006. Walworth Castle, County Durham, UK, February 2006/Ed. by S.Dunne, B.Stoddart.-Berlin, Heidelberg: Springer, 2006.-Vol. 4010. -257 p.-(Lecture Notes in Computer Science). 33. Mathematics of Program Construction: Proc./8th International Conference, MPC 2006. Kuressaare, Estonia, July 2006/Ed. by T.Uustalu.-Berlin, Heidelberg: Springer, 2006.-Vol. 4014.-455 p.-(Lecture Notes in Computer Science). 34. Advances in XML Information Retrieval and Evaluation: Revised Selected Papers/4th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2005. Dagstuhl Castle, Germany, November 2005/Ed. by N.Fuhr, M.Lalmas, S.Malik, G.Kazai.-Berlin, Heidelberg: Springer, 2006.-Vol. 3977.-556 p.-(Lecture Notes in Computer Science). 35. Cognitive Vision Systems: Sampling the Spectrum of Approaches/Ed. by H.I.Christensen, H.-H.Nagel.-Berlin, Heidelberg: Springer, 2006.-Vol. 3948.-367 p.-(Lecture Notes in Computer Science).-Bibliogr.: p.323-353. 36. Artificial Intelligencee and Soft Computing - ICAISC 2006: Proc./8th International Conference. Zakopane, Poland, June 2006/Ed. by L.Rutkowski, R.Tadeusiewicz, L.A.Zadeh, J.Zurada.-Berlin, Heidelberg: Springer, 2006.-Vol. 4029. -1235 p.-(Lecture Notes in Artificial Intelligence). 37. Труды Института Системного Программирования/Институт Системного Программирования РАН; Ред. В.П.Иванников.-М., 2004. -Т. 5.-280 с. 38. Труды Института Системного Программирования/Институт Системного Программирования РАН; Ред. В.П.Иванников.-М., 2004. -Т. 6.-198 с. 39. Труды Института Системного Программирования/Институт Системного Программирования РАН; Ред. А.А.Жданов.-М., 2004. -Т. 7.-173 с. 40. Труды Института Системного Программирования/Институт Системного Программирования РАН; Ред. В.П.Иванников.-М., 2004. -Т. 8, Ч. 1.-227 с. 41. Труды Института Системного Программирования/Институт Системного Программирования РАН; Ред. В.П.Иванников.-М., 2004. -Т. 8, Ч. 2.-214 с. 42. Труды Института Системного Программирования/Институт Системного Программирования РАН; Ред. В.Н.Иванников.-Москва, 2006.-Т. 9.-250 с. 43. SORUCOM.2006: материалы конференции, часть I/международная конференция "Развитие вычислительной техники в России и странах бывшего СССР: история и перспективы". Петрозаводск, 3-7 июля 2006/Петрозаводский Государственный Университет; Ред. Н.С.Рузанов, И.Г.Лежнев, С.А.Шлыкова. -Петрозаводск, 2006.-192 с. 44. SORUCOM.2006, часть II - материалы конференции/международная конференция "Развитие вычислительной техники в России и странах бывшего СССР: история и перспективы". Петрозаводск, 3-7 июля 2006/ Петрозаводский Государственный Университет; Ред. Н.С.Рузанова, И.Г.Лежнев, С.А.Шлыкова.-Петрозаводск, 2006. -161 с. 45. Чернов А.В. Интегрированная инструментальная среда Poirot для изучения методов маскировки программ.-Москва, 2003. -14 с.-(Препринт/Институт Системного Программирования РАН; N 1). 46. Посыпкин М.А., Соколов А.А. Обзор методов автоматизации мониторинга, анализа и визуализации поведения параллельных процессов, взаимодействующих с помощью передачи сообщений. -Москва, 2005.-55 с.-(Препринт/Институт Системного Программирования РАН; N 7). 47. Падарян В.А. Оценка времени работы параллельной программы с помощью интерпретатора среды ParJava.-Москва, 2005.-38 с.-(Препринт/Институт Системного Программирования РАН; N 6). 48. Стасенко А.П., Синяков А.И. Базовые средства языка SISAL 3.1.-Новосибирск, 2006.-56 с.-(Препринт/ИСИ СО РАН; N 132). 49. Ponomaryov D. Lattice Semantics for Incremental Data Extraction from Declarative Knowledge Bases.-Novosibirsk, 2006.-13 p.-(Rep./IIS SB RAS; N 134). 50. CMP Annual Report 2005/Circuits Multi Projets. .- Grenoble, 2006.- 150 p. 51. Малюх В.Н. Методы организации функционального взаимодействия приложений в расширяемых графических САПР: Дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2006.-93 с. -Библиогр.: c.80-84. 52. Perspectives of System Informatics: Preliminary Proceedings/Sixth International Andrei Ershov Memorial Conference. Akademgorodok, Novosibirsk, June 27-30, 2006/IIS SB RAS; Ed. by O.Drobyshevich, Z.Skok.-Novosibirsk, 2006. -305 p. 53. Pathways: Women and Computing/Excerpts from inroads - SIGCSE Bulletin, Comm. of the ACM, IEEE Annals of the History of Computing/ACM; , 2005. 54. 500 PC WEEK 1995-2005/СК ПРЕСС; .-М.: СК Пресс, 2006. 55. Усоцкая Н.С. Исследование эквивалентностей на гибридно-временных структурах событий.-Новосибирск, 2006.-24 с.-(Препринт/ИСИ СО РАН; N 133).