Hовые поступления c 12 августа по 4 октября 2010 г.
1. Coordination, Organizations, Institutions, and Norms in Agent Systems V: Revised Selected Papers/ COIN 2009 IW, COIN@AAMAS 2009, COIN@IJCAI 2009, COIN@MALLOW 2009/Ed. by J.Padget, A.Artikis, W.Vasconcelos, K.Stathis.-Berlin: Springer, 2010.-Vol. 6069.-335 p.-(Lecture Notes in Artificial Intelligence). 2. Brain Informatics: Proc./International Conference, BI 2010, Toronto, ON, Canada, August 2010/Ed. by Y.Yao, R.Sun, T.Poggio, J.Liu.-Berlin: Springer, 2010.-Vol. 6334.-440 p. -(Lecture Notes in Artificial Intelligence). 3. Computational Intelligence for Knowledge-Based Systems Design: Proc./13th IC on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund Germany, June/July 2010/Ed. by E.Hullermeier, R.Kruse, F.Hoffmann. -Berlin: Springer, 2010.-Vol. 6178.-771 p.-(Lecture Notes in Artificial Intelligence). 4. Multi-Agent-Based Simulation X: Revised Selected Papers/ International Workshop, MABS 2009, Budapest, Hungary, May 2009/Ed. by G.Di_Tosto, H.Van_Dyke_Parunak. -Berlin: Springer, 2010.-Vol. 5683.-160 p.-(Lecture Notes in Artificial Intelligence). 5. Conceptual Structures: From Information to Intelligence: Proc./18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 2010/Ed. by M.Croitoru, S.Ferre, D.Lukose. -Berlin: Springer, 2010.-Vol. 6208.-207 p.-(Lecture Notes in Artificial Intelligence). 6. Current Topics in Artificial Intelligence: Selected Papers/13th Conference of the Spanish Association for AI, CAEPIA 2009, Seville, Spain, Novenber 2009/Ed. by P.Meseguer, L.Mandow, R.M.Gasca.-Berlin: Springer, 2010. -Vol. 5988.-302 p.-(Lecture Notes in Artificial Intelligence). 7. Advances in Data Mining. Applications and Theoretical Aspects: Proc./10th Industrial Conference, ICDM 2010, Berlin, Germany, July 2010/Ed. by P.Perner.-Berlin: Springer, 2010.-Vol. 6171.-654 p.-(Lecture Notes in Artificial Intelligence). 8. Future Internet - FIS 2009: Revised Selected Papers/ Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 2009/Ed. by T.Zseby, R.Savola, M.Pistore.-Berlin: Springer, 2010.-Vol. 6152.-117 p.-(Lecture Notes in Computer Science). 9. Artificial Immune System: Proc./9th International Conference, ICARIS 2010, Edinburg, UK, July 2010/Ed. by E.Hart, Ch.Mcewan, J.Timmis, A.Hone.-Berlin: Springer, 2010. -Vol. 6209.-329 p.-(Lecture Notes in Computer Science). 10. Structural, Syntactic, and Statistical Pattern Recognition: Proc./Joint IAPR International Workshop, SSPR&SPR 2010, Cesme, Izmir, Turkey, August 2010/Ed. by E.R.Hancock, R.C.Wilson, T.Windeatt, I.Ulusoy.-Berlin: Springer, 2010.-Vol. 6218.-758 p.-(Lecture Notes in Computer Science). 11. Future Multimedia Networking: Proc./Third International Workshop, FMN 2010, Krakow, Poland, June 2010/Ed. by S.Zeadally, E.Cerqueira, M.Curado, M.Leszczuk.-Berlin: Springer, 2010.-Vol. 6157.-184 p.-(Lecture Notes in Computer Science). 12. Learning and Intelligent Optimization: Proc./4th International Conference, LION 4, Venice, Italy, January 2010 /Ed. by Ch.Blum, R.Battiti.-Berlin: Springer, 2010.-Vol. 6073.-344 p.-(Lecture Notes in Computer Science). 13. Web Engineering: Proc./10th International Conference, ICWE 2010, Vienna, Austria, July 2010/Ed. by B.Benatallah, F.Casati, G.Kappel, G.Rossi.-Berlin: Springer, 2010.-Vol. 6189.-530 p.-(Lecture Notes in Computer Science). 14. Artificial Evolution: Revised Selected Papers/9th International Conference, EA 2009, Strasbourg, France, October 2009/Ed. by P.Collet, N.Monmarche, P.Legrand, M.Schoenauer.-Berlin: Springer, 2010.-Vol. 5975.-207 p. -(Lecture Notes in Computer Science). 15. Resourse Discovery: Revised Papers/ Second International Workshop, RED 2009, Lyon, France, August 2009/ Ed. by Z.Lacroix.-Berlin: Springer, 2010.-Vol. 6162.-141 p. -(Lecture Notes in Computer Science). 16. Theory and Practice of Model Transformations: Proc./Third International Conference, ICMT 2010, Malaga, Spain, June 2010/Ed. by L.Tratt, M.Gogolla.-Berlin: Springer, 2010.-Vol. 6142.-278 p.-(Lecture Notes in Computer Science). 17. Networked Services and Applications - Engineering, Control and Management: Proc./16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 2010/Ed. by F.A.Aagesen, S.J.Knapskog.-Berlin: Springer, 2010.-Vol. 6164. -275 p.-(Lecture Notes in Computer Science). 18. Software Composition: Proc./9th International Conference, SC 2010, Malaga, Spain, July 2010/Ed. by B.Baudry, E.Wohlstadter.-Berlin: Springer, 2010.-Vol. 6144. -155 p.-(Lecture Notes in Computer Science). 19. Natural Lnaguage Processing and Information Systems: 15th International Conference on Applications of NL to IS, NLDB 2010, Cardiff, UK, June 2010/Ed. by Ch.J.Hopfe, Ya.Rezgui, E.Metais, A.Preece.-Berlin: Springer, 2010.-Vol. 6177.-314 p.-(Lecture Notes in Computer Science). 20. Scientific and Statistical Database Management: Proc./22nd International Conference, SSDBM 2010, Heidelberg, Germany, June/July 2010/Ed. by M.Gertz, B.Ludascher.-Berlin: Springer, 2010.-Vol. 6187.-660 p.-(Lecture Notes in Computer Science). 21. New Modeling Concepts for Today's Software Processes: Proc./ International Conference on Software Process, ICSP 2010, Padeborn, Germany, July 2010/Ed. by J.Munch, Y.Yang, W.Schafer.-Berlin: Springer, 2010.-Vol. 6195.-382 p. -(Lecture Notes in Computer Science). 22. Languages and Compilers for Parallel Computing: Revised Selected Papers/22nd International Workshop, LCPC 2009, Newark,DE,USA, October 2009/Ed. by G.R.Gao, L.L.Pollock, J.Cavazos, X.Li.-Berlin: Springer, 2010.-Vol. 5898.-426 p. -(Lecture Notes in Computer Science). 23. Computer Science - Theory and Applications: Proc./5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 2010/Ed. by F.Ablayev, E.W.Mayr. -Berlin: Springer, 2010.-Vol. 6072.-397 p.-(Lecture Notes in Computer Science). 24. Time for Verification: Essays in Memory of Amir Pnueli/ Ed. by Z.Manna, D.A.Peled.-Berlin: Springer, 2010.-Vol. 6200. -401 p.-(Lecture Notes in Computer Science). 25. Computer Aided Verification: Proc./22nd International Conference, CAV 2010, Edinburgh, UK, July 2010/Ed. by T.Touili, B.Cook, P.Jackson.-Berlin: Springer, 2010.-Vol. 6174.-676 p.-(Lecture Notes in Computer Science). 26. Architecting Critical Systems: Proc./First International Symposium, ISARCS 2010, Prague, Czech Republic, June 2010/Ed. by H.Giese.-Berlin: Springer, 2010. -Vol. 6150.-193 p.-(Lecture Notes in Computer Science). 27. Computing and Combinatorics: Proc./16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 2010/Ed. by M.T.Thai, S.Sahni.-Berlin: Springer, 2010. -Vol. 6196.-542 p.-(Lecture Notes in Computer Science). 28. Deontic Logic in Computer Science: Proc./10th International Conference, DEON 2010, Fiesole, Italy, July 2010/Ed. by G.Governatori, G.Sartor.-Berlin: Springer, 2010. -Vol. 6181.-323 p.-(Lecture Notes in Artificial Intelligence). 29. Language, Mathodologies, and Development Tools for Multi-Agent Systems: Revised Selrcted Papers/ Second International Workshop, LADS 2009, Torino, Italy, September 2009/Ed. by M.Dastani, A.E.F.Seghrouchni, J.Leite, P.Torroni. -Berlin: Springer, 2010.-Vol. 6039.-183 p.-(Lecture Notes in Artificial Intelligence). 30. Agent and Multi-Agent Systems: Technologies and Applications, Part I: Proc./4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 2010/Ed. by P.Jedrzejowicz, N.Th.Nguyen, R.J.Howlett, L.C.Jain.-Berlin: Springer, 2010.-Vol. 6070.-443 p.-(Lecture Notes in Artificial Intelligence). 31. Agent and Multi-Agent Systems: Technologies and Applications, Part II: Proc./4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 2010/Ed. by P.Jedrzejowicz, N.Th.Nguyen, R.J.Howlett, L.C.Jain.-Berlin: Springer, 2010.-Vol. 6071.-411 p.-(Lecture Notes in Artificial Intelligence). 32. Computer Network Security: Proc./5th International Conference on Mathematical Methods, Models and Architecture for CNS, MMM-ACNS 2010, St.Petersburg, Russia, September 2010 /Ed. by I.Kotenko, V.Skormin.-Berlin: Springer, 2010.-Vol. 6258.-345 p.-(Lecture Notes in Computer Science). 33. Progress in Cryptology - LATINCRYPT 2010: Proc./First International Conference on Cryptology and Information Security in Latin America, Puebla, Mexico, August 2010/Ed. by M.Abdalla, P.S.L.M.Barreto.-Berlin: Springer, 2010.-Vol. 6212.-323 p.-(Lecture Notes in Computer Science). 34. Advances in Cryptology - CRYPTO 2010: Proc./30th Annual Cryptology Conference, Santa Barbara,CA,USA, August 2010/Ed. by T.Rabin.-Berlin: Springer, 2010.-Vol. 6223.-744 p. -(Lecture Notes in Computer Science). 35. Cryptographic Hardware and Embedded Systems - CHES 2010: Proc./12th International Workshop, Santa Barbara,USA, August 2010/Ed. by S.Mangard, F.-X.Standaert.-Berlin: Springer, 2010.-Vol. 6225.-458 p.-(Lecture Notes in Computer Science). 36. Financial Cryptography and Data Secirity: Revised Selected Papers/14th International Conference, FC 2010, Tenerife, Canary Islands, Spain, January 2010/Ed. by R.Sion. -Berlin: Springer, 2010.-Vol. 6052.-432 p.-(Lecture Notes in Computer Science). 37. Financial Cryptography and Data Security: Revised Selected Papers/ FC 2010 Workshops, RLCPS, WECSR, and WLC 2010, Tenerife, Canary Islands, Spain, January 2010/Ed. by R.Sion, R.Curtmola, S.Dietrich, A.Kiayias.-Berlin: Springer, 2010.-Vol. 6054.-257 p.-(Lecture Notes in Computer Science). 38. Trusted Systems: Revised Selected Papers/ First International Conference, INTRUST 2009, Beijing, China, December 2009/Ed. by L.Chen, M.Yung.-Berlin: Springer, 2010. -Vol. 6163.-263 p.-(Lecture Notes in Computer Science). 39. Information Security and Privacy: Proc./15th Australasian Conference, ACISP 2010, Sydney, Australia, July 2010/Ed. by R.Steinfeld, Ph.Hawkes.-Berlin: Springer, 2010. -Vol. 6168.-403 p.-(Lecture Notes in Computer Science). 40. Fast Software Encryption: Revised Selected Papers/17th International Workshop, FSE 2010, Seoul, Korea, February 2010 /Ed. by S.Hong, T.Iwata.-Berlin: Springer, 2010.-Vol. 6147. -385 p.-(Lecture Notes in Computer Science). 41. Data and Applications Security and Privacy XXIV: Proc./24th Annual IFIP WG 11.3 Working Conference, Rome, Italy, June 2010/Ed. by S.Foresti, S.Jajodia.-Berlin: Springer, 2010.-Vol. 6166.-376 p.-(Lecture Notes in Computer Science). 42. Information Security and Cryptology - ICISC 2009: Revised Selected Papers/12th International Conference, Seoul. Korea, December 2009/Ed. by D.Lee, S.Hong.-Berlin: Springer, 2010.-Vol. 5984.-387 p.-(Lecture Notes in Computer Science). 43. Detection of Intrusions and Malware, and Vulnerability Assessment: Proc./7th International Conference, DIMVA 2010, Bonn, Germany, July 2010/Ed. by Ch.Kreibich, M.Jahnke. -Berlin: Springer, 2010.-Vol. 6201.-219 p.-(Lecture Notes in Computer Science). 44. Transactions on Data Hiding and Multimedia Security V/ Ed. by Y.Q.Shi.-Berlin: Springer, 2010.-Vol. 6010.-129 p. -(Lecture Notes in Computer Science). 45. Privacy Enhancing Technologies: Proc./10th International Symposium, PETS 2010, Berlin, Germany, July 2010/Ed. by M.J.Atallach, N.J.Hopper.-Berlin: Springer, 2010. -Vol. 6205.-291 p.-(Lecture Notes in Computer Science). 46. Critical Information Infrastructures Security: Revised Papers/4th International Workshop, CRITIS 2009, Bonn, Germany, September/October 2009/Ed. by E.Rome, R.Bloomfield. -Berlin: Springer, 2010.-Vol. 6027.-213 p.-(Lecture Notes in Computer Science). 47. Arithmetic of Finite Fields: Proc./Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 2010/Ed. by M.A.Hasan, T.Helleseth.-Berlin: Springer, 2010.-Vol. 6087. -269 p.-(Lecture Notes in Computer Science). 48. Testing Techniques in Softwarw Engineering: Revised Lectures/Second Pernambuco Summer School on SE, PSSE 2007, Recife, Brazil, December 2007/Ed. by P.Borba, A.Cavalcanti, A.Sampaio, J.Woodcock.-Berlin: Springer, 2010.-Vol. 6153. -313 p.-(Lecture Notes in Computer Science). 49. User Modeling, Adaptation, and Personalization: Proc./18th International Conference, UMAP 2010, Big Island,HI,USA, June 2010/Ed. by P.De_Bra, A.Kobsa, D.Chin. -Berlin: Springer, 2010.-Vol. 6075.-428 p.-(Lecture Notes in Computer Science). 50. Objects, Models, Components, Patterns: Proc./48th International Conference, TOOLS 2010/Ed. by J.Vitek.-Berlin: Springer, 2010.-Vol. 6141.-311 p.-(Lecture Notes in Computer Science). 51. Tests and Proofs: Proc./4th International Conference, TAP 2010, Malaga, Spain, July 2010/Ed. by G.Fraser, A.Gargantini.-Berlin: Springer, 2010.-Vol. 6143.-183 p. -(Lecture Notes in Computer Science). 52. ECOOP 2010 - Object-Oriented Programming: Proc./24th European Conference, Maribor, Slovenia, June 2010/Ed. by T.D'Hondt.-Berlin: Springer, 2010.-Vol. 6183.-599 p. -(Lecture Notes in Computer Science). 53. Programs, Proofs, Processes: Proc./6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June/July 2010/Ed. by F.Ferreira, B.Lowe, E.Mayordomo, L.M.Gomes.-Berlin: Springer, 2010.-Vol. 6158. -450 p.-(Lecture Notes in Computer Science). 54. Analytical and Stochastic Modeling Techniques and Applications: Proc./17th International Conference, ASMTA 2010, Cardiff, UK, June 2010/Ed. by K.Al-Begain, D.Fiems, W.J.Knottenbelt.-Berlin: Springer, 2010.-Vol. 6148.-409 p. -(Lecture Notes in Computer Science). 55. Combinatorial Pattern Matching: Proc./21st Annual Symposium, CPM 2010, New York,NY,USA, June 2010/Ed. by A.Amir, L.Parida.-Berlin: Springer, 2010.-Vol. 6129.-362 p. -(Lecture Notes in Computer Science). 56. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Proc./7th International Conference, CPAIOR 2010, Bologna, Italy, June 2010/Ed. by A.Lodi, M.Milano, P.Toth.-Berlin: Springer, 2010.-Vol. 6140.-369 p.-(Lecture Notes in Computer Science). 57. A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP/Ed. by A.Dovier, E.Pontelli.-Berlin: Springer, 2010.-Vol. 6125.-329 p.-(Lecture Notes in Computer Science). 58. Modellimg Foundations and Applications: Proc./6th European Conference, ECMFA 2010, Paris, France, June 2010/ Ed. by Th.Kuhne, B.Selic, M.-P.Gervais, F.Terrier.-Berlin: Springer, 2010.-Vol. 6138.-356 p.-(Lecture Notes in Computer Science). 59. Intelligent Computer Mathematics: Proc./10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 2010/Ed. by S.Autexier, J.Calmet, D.Delahaye, P.D.F.Ion.-Berlin: Springer, 2010.-Vol. 6167. -471 p.-(Lecture Notes in Artificial Intelligence). 60. Automated Reasoning: Proc./5th International Joint Conference, IJCAR 2010, Edinburg, UK, July 2010/Ed. by J.Giesl, R.Hahnle.-Berlin: Springer, 2010.-Vol. 6173.-534 p. -(Lecture Notes in Artificial Intelligence). 61. Logic, Language, Information and Computation: Proc./17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 2010/Ed. by A.Dawar, E.De-Queiroz.-Berlin: Springer, 2010.-Vol. 6188.-259 p.-(Lecture Notes in Artificial Intelligence). 62. Methods and Tools of Parallel Programming Multicomputers: Revised Selected Pappers/ Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 2010/Ed. by Ch.-H.Hsu, V.Malyshkin.-Berlin: Springer, 2010. -Vol. 6083.-302 p.-(Lecture Notes in Computer Science). 63. Wireless Algorithms, Systems, and Applications: Proc./5th International Conference, WASA 2010, Beijing, China, August, 2010/Ed. by G.Pandurangan, V.S.A.Kumar, G.Ming, Y.Liu.-Berlin: Springer, 2010.-Vol. 6221.-256 p. -(Lecture Notes in Computer Science). 64. Verified Software: Theories, Tools, Experiments: Proc./Third International Conference, VSTTE 2010, Edinburg,UK, August 2010/Ed. by G.T.Leavens, P.O'Hearn, S.K.Rajamani.-Berlin: Springer, 2010.-Vol. 6217.-217 p. -(Lecture Notes in Computer Science). 65. Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday/Ed. by A.Blass, N.Dershowitz, W.Reisig.-Berlin: Springer, 2010. -Vol. 6300.-627 p.-(Lecture Notes in Computer Science). 66. Research into Practice - Reality and Gaps: Proc./6th International Conferemce on the Qualuty of Software Architectures, QoSA 2010, Prague, Czech Republic, June 2010/ Ed. by G.T.Heineman, J.Kofron, F.Plasil.-Berlin: Springer, 2010.-Vol. 6093.-183 p.-(Lecture Notes in Computer Science). 67. Requirements Engineering: Foundation for Software Quality: Proc./16th International Working Conference, REFSQ 2010, Essen, Germany, June/July 2010/Ed. by R.Wieringa, A.Persson.-Berlin: Springer, 2010.-Vol. 6182.-280 p. -(Lecture Notes in Computer Science). 68. Mechanisms for Autonomous Management of Networks and Services: Proc./4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 2010/Ed. by B.Stiller, F.De_Turck.-Berlin: Springer, 2010.-Vol. 6155.-179 p.-(Lecture Notes in Computer Science). 69. Self-Organizing Architectures: Revised Selected and Invite Papers/ First International Workshop, SOAR 2009, Cambridge, UK, September 2009/Ed. by D.Weyns, S.Malek, R.De_Lemos, J.Andersson.-Berlin: Springer, 2010.-Vol. 6090. -301 p.-(Lecture Notes in Computer Science). 70. Transactions on Rough Sets XII/Ed. by J.F.Peters, A.Skovrov.-Berlin: Springer, 2010.-Vol. 6190.-339 p. -(Lecture Notes in Computer Science). 71. Focused Retrieval and Evaluation: Revised and Selected Papers/8th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2009, Brisbane, Australia, December 2009/Ed. by Sh.Geva, J.Kamps, A.Trotman.-Berlin: Springer, 2010.-Vol. 6203.-464 p.-(Lecture Notes in Computer Science). 72. Mathematical Foundations of Computer Science 2010: Proc./35th International Symposium, MFCS 2010, Brno, Czech Republic, August 2010/Ed. by P.Hlineny, A.Kucera.-Berlin: Springer, 2010.-Vol. 6281.-714 p.-(Lecture Notes in Computer Science). 73. Object Databases: Revised Papers/ Second International Conference, ICOODB 2009, Zurich, Switzerland, July 2009/Ed. by M.C.Norrie, M.Grossniklaus.-Berlin: Springer, 2010.-Vol. 5936.-167 p.-(Lecture Notes in Computer Science). 74. Developments in Language Theory: Proc./14th International Conference, DLT 2010, London, ON, Canada, August 2010/Ed. by Y.Gao, H.Lu, Sh.Seki, Sh.Yu.-Berlin: Springer, 2010.-Vol. 6224.-446 p.-(Lecture Notes in Computer Science). 75. Unifying Theories of Programming: Revised Selected Papers/ Second International Symposium, UTP 2008, Dublin,Ireland, September 2009/Ed. by A.Butterfield.-Berlin: Springer, 2010.-Vol. 5713.-279 p.-(Lecture Notes in Computer Science). 76. Dependency Structures and Lexicalized Grammars: An Algebraic Approach/Ed. by M.Kuhlmann.-Berlin: Springer, 2010. -Vol. 6270.-137 p.-(Lecture Notes in Artificial Intelligence). 77. Computational Logic in Multi-Agent Systems: Proc./11th International Workshop, CLIMA XI, Lisbon, Portugal, August 2010/Ed. by J.Dix, J.Leite, G.Governatori, W.Jamroga.-Berlin: Springer, 2010.-Vol. 6245.-257 p.-(Lecture Notes in Artificial Intelligence). 78. Титлянова А.А. Рассыпанные страницы.- М.: ФОЛИУМ, 2009. - 386 с.