Hовые поступления c 5 июля по 12 августа 2010 г.
1. Formal Aspects in Security and Trust: Revised Selected Papers/6th International Workshop, FAST 2009, Eindhoven< The Netherlands, November 2009/Ed. by P.Degano, J.D.Guttman.-Berlin: Springer, 2010.-Vol. 5983.-279 p.-(Lecture Notes in Computer Science). 2. Information Security Practice and Experience: Proc./6th International Conference, ISPEC 2010, Seoul, Korea, May 2010/Ed. by J.Kwak, R.H.Deng, Y.Won, G.Wang.-Berlin: Springer, 2010.-Vol. 6047.-399 p.-(Lecture Notes in Computer Science). 3. Progress in Cryptology - AFRICACRYPT 2010: Proc./Third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 2010/Ed. by D.J.Bernstein, T.Lange.-Berlin: Springer, 2010.-Vol. 6055.-437 p.-(Lecture Notes in Computer Science). 4. Post-Quantum Cryptography: Proc./Third International Workshop, PQCrypto 2010, Darmstadt, Germany, May 2010/Ed. by N.Sendrier.-Berlin: Springer, 2010.-Vol. 6061.-241 p.-(Lecture Notes in Computer Science). 5. Advances in Multidisciplinary Retrieval: Proc./First Information Retrieval Conference, IRFC 2010, Vienna, Austria, May 2010/Ed. by H.Cunningham, A.Hanbury, S.Ruger.-Berlin: Springer, 2010.-Vol. 6107.-167 p.-(Lecture Notes in Computer Science). 6. Communications and Multimedia Security: Proc./11th IFIP TC 6/TC 11 International Conference, CMS 2010, Linz, Austria, May/June 2010/Ed. by B.De_Decker, I.Schaumuller-Bichl.-Berlin: Springer, 2010.-Vol. 9109.-281 p.-(Lecture Notes in Computer Science). 7. Advances in Cryptology - EUROCRYPT 2010: Proc./29th Annual International Conference on thq Theory and Applications of Cryptographic Techniques, French Riviera, May/June 2010/Ed. by H.Gilbert.-Berlin: Springer, 2010.-Vol. 6110.-694 p.-(Lecture Notes in Computer Science). 8. Intelligence and Security Informatics: Proc./Pacific Asia Workshop, PAISI 2010, Hyderabad, India, June 2010/Ed. by H.Chen, M.Chau, S.-H.Li, S.Urs.-Berlin: Springer, 2010.-Vol. 6122.-185 p. -(Lecture Notes in Computer Science). 9. Distributed Computing in Sensor Systems: Proc./6th IEEE International Conference, DCOSS 2010, Santa Barbara,CA,USA, June 2010/Ed. by R.Rajaraman, Th.Moscibroda, A.Dunkels, A.Scaglione. -Berlin: Springer, 2010.-Vol. 6131.-410 p.-(Lecture Notes in Computer Science). 10. Bioinformatics Research and Applications: Proc./6th International Symposium, ISBRA 2010, Storrs,CT,USA, May 2010/Ed. by M.Borodovsky, J.P.Gogarten, T.M.Przytycka, S.Rajasekaran. -Berlin: Springer, 2010.-Vol. 6053.-253 p.-(Lecture Notes in Bioinformatics). 11. Research in Computational Molecular Biology: Proc./14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 2010/Ed. by B.Berger.-Berlin: Springer, 2010.-Vol. 6044. -582 p.-(Lecture Notes in Bioinformatics). 12. Gesture in Embodied Communication and Human-Computer Interaction: Revised Selected Papers/8th International Gesture Workshop, GW 2009, Bielefeld, Germany, February, 2009/Ed. by S.Kopp, I.Wachsmuth.-Berlin: Springer, 2010.-Vol. 5934.-337 p. -(Lecture Notes in Artificial Intelligence). 13. Computational Processing of the Portuguese Language: Proc./9th International Conference, PROPOR 2010, Porto Alegre,RS,Brasil, April 2010/Ed. by Th.A.S.Pardo, A.Branco, A.Klautau, R.Vieira.-Berlin: Springer, 2010.-Vol. 6001.-167 p. -(Lecture Notes in Artificial Intelligence). 14. Artificial Intelligence: Theories, Models and Applications: Proc./6th Hellenuc Conference on AI, SETN 2010, Athens. Greece, May 2010/Ed. by S.Konstantopoulos, S.Perantonis, V.Karkaletsis, C.D.Spyropoulos.-Berlin: Springer, 2010.-Vol. 6040.-430 p. -(Lecture Notes in Artificial Intelligence). 15. Argumentation in Multi-Agent Systems: Revised Selected and Invited Papers/6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 2009/Ed. by P.Mcburney, I.Rahwan, S.Parsons, N.Maudet.-Berlin: Springer, 2010.-Vol. 6057.-321 p.-(Lecture Notes in Artificial Intelligence). 16. Artificial Intelligence and Soft Computing, Part I: Proc./10th International Conference, ICAISC 2010, Zakopane, Poland, June 2010/Ed. by L.Rutkowski, R.Scherer, R.Tadeusiewicz, L.A.Zadeh.-Berlin: Springer, 2010.-Vol. 6113.-676 p.-(Lecture Notes in Artificial Intelligence). 17. Artificial Intelligence and Soft Computing, Part II: Proc./10th International Conference, ICAISC 2010, Zakopane, Poland, June 2010/Ed. by L.Rutkowski, R.Scherer, R.Tadeusiewicz, L.A.Zadeh.-Berlin: Springer, 2010.-Vol. 6114.-710 p.-(Lecture Notes in Artificial Intelligence). 18. Advances in Knowledge Discovery and Data Mining, Part I: Proc./14th Pacific-Asia Conference, PAKDD 2010, Hyderabad, India, June 2010/Ed. by M.J.Zaki, J.X.Yu, B.Ravindran, V.Pudi.-Berlin: Springer, 2010.-Vol. 6118.-505 p.-(Lecture Notes in Artificial Intelligence). 19. Advances in Knowledge Discovery and Data Mining, Part II: Proc./14th Pacific-Asia Conference, PAKDD 2010, Hyderabad, India, June 2010/Ed. by M.J.Zaki, J.X.Yu, B.Ravindran, V.Pudi.-Berlin: Springer, 2010.-Vol. 6119.-520 p.-(Lecture Notes in Artificial Intelligence). 20. Linking Literature, Information, and Knowledge for Biology: Revised Selected Papers/ Workshop of the BioLink Special Interest Group, ISMB/ECCB 2009, Stockholm, June 2009/Ed. by Ch.Blaschke, H.Shatkay.-Berlin: Springer, 2010.-Vol. 6004.-81 p.-(Lecture Notes in Bioinformatics). 21. Advances in Swarm Intelligence, Part I: Proc./First International Conference, ICSI 2010, Beijing, China, June 2010/ Ed. by Y.Tan, Y.Shi, K.Ch.Tan.-Berlin: Springer, 2010.-Vol. 6145. -746 p.-(Lecture Notes in Computer Science). 22. Advances in Swarm Intelligence, Part II: Proc./First International Conference, ICSI 2010, Beijing, China, June 2010/ Ed. by Y.Tan, Y.Shi, K.Ch.Tan.-Berlin: Springer, 2010.-Vol. 6146. -770 p.-(Lecture Notes in Computer Science). 23. Advances Information Systems Engineering: Proc./22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 2010 /Ed. by B.Pernici.-Berlin: Springer, 2010.-Vol. 6051.-548 p. -(Lecture Notes in Computer Science). 24. Advances in Neural Networks - ISNN 2010, Part I: Proc./7th International Symposium, ISNN 2010, Shanghai, China, June 2010/ Ed. by L.Zhang, B.-L.Lu, J.Kwok.-Berlin: Springer, 2010.-Vol. 6063.-757 p.-(Lecture Notes in Computer Science). 25. Advances in Neural Networks - ISNN 2010, Part II: Proc./7th International Symposium, ISNN 2010, Shanghai, China, June 2010/ Ed. by L.Zhang, B.-L.Lu, J.Kwok.-Berlin: Springer, 2010.-Vol. 6064.-641 p.-(Lecture Notes in Computer Science). 26. Algorithms and Architectures for Parallel Processing, Part I: Proc./10th International Conference, ICA3PP 2010, Busan, Korea, May 2010/Ed. by Ch.-H.Hsu, L.T.Yang, J.H.Park, S.-S.Yeo. -Berlin: Springer, 2010.-Vol. 6081.-580 p.-(Lecture Notes in Computer Science). 27. Algorithms and Architectures for Parallel Processing, Part II: Proc./10th International Conference, ICA3PP 2010, Busan, Korea, May 2010/Ed. by Ch.-H.Hsu, L.T.Yang, J.H.Park, S.-S.Yeo. -Berlin: Springer, 2010.-Vol. 6082.-468 p.-(Lecture Notes in Computer Science). 28. Intelligent Tutoring Systems, Part I: Proc./10th International Conference, ITS 2010, Pittsburg,PA,USA, June 2010/ Ed. by V.Aleven, J.Kay, J.Mostow.-Berlin: Springer, 2010.-Vol. 6094.-437 p.-(Lecture Notes in Computer Science). 29. Intelligent Tutoring Systems, Part II: Proc./10th International Conference, ITS 2010, Pittsburg,PA,USA, June 2010/ Ed. by V.Aleven, J.Kay, J.Mostow.-Berlin: Springer, 2010.-Vol. 6095.-461 p.-(Lecture Notes in Computer Science). 30. Language and Automata Theory and Applications: Proc./4th International Conference, LATA 2010, Trier, Germany, May 2010/Ed. by A.-H.Dediu, H.Fernau, C.Martin-Vide.-Berlin: Springer, 2010. -Vol. 6031.-622 p.-(Lecture Notes in Computer Science). 31. Structural Information and Communication Complexity: Proc./17th Internatiomal Colloquium, SIROCCO 2010, Sirince, Turkey, June 2010/Ed. by B.Patt-Shamir, T.Ekim.-Berlin: Springer, 2010.-Vol. 6058.-275 p.-(Lecture Notes in Computer Science). 32. Advances in Computer Science and Information Technology: Joint Proc./ AST/UCMA/ISA/ACN 2010 Conferences, Miyazaki, Japan, June 2010/Ed. by T.-H.Kim, H.Adeli.-Berlin: Springer, 2010.-Vol. 6059.-604 p.-(Lecture Notes in Computer Science). 33. Wired/Wireless Internet Communications: Proc./8th International Conference, WWIC 2010, Lulea, Sweden, June 2010/Ed. by E.Osipov, A.Kassler, Th.M.Bohnert, X.Masip-Bruin.-Berlin: Springer, 2010.-Vol. 6074.-400 p.-(Lecture Notes in Computer Science). 34. Unconventional Computation: Proc./9th International Conference, UC 2010, Tokyo, Japan, June 2010/Ed. by C.S.Calude, M.Hagiya, K.Morita, G.Rozenberg.-Berlin: Springer, 2010.-Vol. 6079. -195 p.-(Lecture Notes in Computer Science). 35. Integer Programming and Combinatorial Optimization: Proc./14th International Conference, IPCO 2010, Lausanne, Switzerland, June 2010/Ed. by F.Eisenbrand, F.B.Shepherd.-Berlin: Springer, 2010.-Vol. 6080.-466 p.-(Lecture Notes in Computer Science). 36. The Role of Digital Libraries in a Time of Global Change: Proc./12th International Conference on Asia-Pacific DL, ICADL 2010, Gold Coast, Australia, June 2010/Ed. by G.Chowdhury, Ch.Koo, J.Hunter.-Berlin: Springer, 2010.-Vol. 6102.-270 p. -(Lecture Notes in Computer Science). 37. Global Perspectives on Design Science Research: Proc./5th International Conference, DESRIST 2010, St.Gallen, Switzerland, June 2010/Ed. by R.Winter, J.L.Zhao, S.Aier.-Berlin: Springer, 2010.-Vol. 6105.-564 p.-(Lecture Notes in Computer Science). 38. Reliable Software Technologies - Ada-Eurupe 2010: Proc./15th Ada-Europe International Conference, Valencia, Spain, June 2010/ Ed. by J.Real, T.Vardanega.-Berlin: Springer, 2010.-Vol. 6106. -277 p.-(Lecture Notes in Computer Science). 39. Distributed Applications and Interoperable Systems: Proc./10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 2010/Ed. by F.Eliassen, R.Kapitza.-Berlin: Springer, 2010.-Vol. 6115.-243 p.-(Lecture Notes in Computer Science). 40. Coordination Models and Languages: Proc./12th International Conference, COORDINATION 2010, Amsterdan, The Netherlands, June 2010/Ed. by D.Clarke, G.Agha.-Berlin: Springer, 2010.-Vol. 6116. -183 p.-(Lecture Notes in Computer Science). 41. Formal Techniques for Distributed Systems: Proc./Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 2010/Ed. by J.Hatcliff, E.Zucca.-Berlin: Springer, 2010.-Vol. 6117.-233 p.-(Lecture Notes in Computer Science). 42. Mathematics of Program Construction: Proc./10th International Conference, MPC 2010, Quebec City, Canada, June 2010 /Ed. by C.Bolduc, J.Desharnais, B.Ktari.-Berlin: Springer, 2010. -Vol. 6120.-427 p.-(Lecture Notes in Computer Science). 43. Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More: Proc./6th International Workshop, IWOMP 2010, Tsukuba, Japan, June 2010/Ed. by M.Sato, T.Hanawa, M.S.Muller, B.M.Chapman.-Berlin: Springer, 2010.-Vol. 6132.-185 p.-(Lecture Notes in Computer Science). 44. Persuasive Technology: Proc./5th International Conference, PERSUASIVE 2010, Copenhagen, Denmark, June 2010/Ed. by Th.Ploug, P.Hasle, H.Oinas-Kukkonen.-Berlin: Springer, 2010.-Vol. 6137.-299 p.-(Lecture Notes in Computer Science). 45. Towards Trustworthy Elections: New Directions in Electronic Voting/Ed. by D.Chaum, M.Jakobsson, R.L.Rivest, P.Y.A.Ryan. -Berlin: Springer, 2010.-Vol. 6000.-403 p.-(Lecture Notes in Computer Science). 46. Component-Based Software Engineering: Proc./13th International Symposium, CBSE 2010, Prague, Czech Republic, June 2010/Ed. by L.Grunske, R.Reussner, F.Plasil.-Berlin: Springer, 2010.-Vol. 6092.-253 p.-(Lecture Notes in Computer Science). 47. Trust and Trunsworthy Computing: Proc./Third International Conference, TRUST 2010, Berlin, Germany, June 2010/Ed. by A.Acquisti, S.W.Smith, Ah.-R.Sadeghi.-Berlin: Springer, 2010. -Vol. 6101.-441 p.-(Lecture Notes in Computer Science). 48. Applied Cryptography and Network Security: Proc./8th International Conference, ACNS 2010, Beijing, China, June 2010/ Ed. by J.Zhou, M.Yung.-Berlin: Springer, 2010.-Vol. 6123.-564 p. -(Lecture Notes in Computer Science). 49. Applications and Theory of Petri Nets: Proc./31st International Conference, PETRI NETS 2010, Braga, Portugal, June 2010/Ed. by J.Lilius, W.Penczek.-Berlin: Springer, 2010.-Vol. 6128.-329 p.-(Lecture Notes in Computer Science). 50. Information Processing in Computer-Assisted Interventions: Proc./First International Conference, IPCAI 2010, Geneva, Switzerland, June 2010/Ed. by N.Navab, P.Jannin.-Berlin: Springer, 2010.-Vol. 6135.-202 p.-(Lecture Notes in Computer Science). 51. Algorithm Theory - SWAT 2010: Proc./12th Scandinavian Symposium and Workshops on AT, Bergen, Norwey, June 2010/Ed. by H.Kaplan.-Berlin: Springer, 2010.-Vol. 6139.-450 p.-(Lecture Notes in Computer Science). 52. Formal Methods for Quantitative Aspects of Programming Languages: Advanced Lectures/10th International School on FM for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 2010/Ed. by A.Aldini, M.Bernardo, A.Di_Pierro, H.Wiklicky.-Berlin: Springer, 2010.-Vol. 6154.-169 p. -(Lecture Notes in Computer Science). 53. Product-Focused Software Process Improvement: Proc./11th International Conference, PROFES 2010, Limeric, Ireland, June 2010 /Ed. by M.Ali_Babar, M.Vierimaa, M.Oivo.-Berlin: Springer, 2010. -Vol. 6156.-410 p.-(Lecture Notes in Computer Science). 54. Hybrid Artficial Intelligence Systems, Part I: Proc./5th International Conference, HAIS 2010, San Sebastian, Spain, June 2010/Ed. by M.G.Romay, E.Corchado, M.T.Garcia-Sebastian.-Berlin: Springer, 2010.-Vol. 6076.-603 p.-(Lecture Notes in Artificial Intelligence). 55. Hybrid Artficial Intelligence Systems, Part II: Proc./5th International Conference, HAIS 2010, San Sebastian, Spain, June 2010/Ed. by E.Corchado, M.G.Romay, A.M.Savio.-Berlin: Springer, 2010.-Vol. 6077.-570 p.-(Lecture Notes in Artificial Intelligence). 56. Rough Sets and Current Trends in Computing: Proc./7th International Conference, RSCTC 2010, Warsaw, Poland, June 2010/ Ed. by M.Szczuka, M.Kriszkiewicz, Sh.Ramanna, R.Jensen.-Berlin: Springer, 2010.-Vol. 6086.-770 p.-(Lecture Notes in Artificial Intelligence). 57. Algorithmic Aspects in Information and Management: Proc./6th International Conference, AAIM 2010, Weihai, China, July 2010/Ed. by B.Chen.-Berlin: Springer, 2010.-Vol. 6124.-336 p.-(Lecture Notes in Computer Science). 58. Parallel Processing and Applied Mathematics, Part I: Revised Selected Papers/8th International Conference, PPAM 2009, Wroclaw, Poland, September 2009/Ed. by R.Wyrzykowski, J.Dangarra, K.Karczewski, J.Wasniewski.-Berlin: Springer, 2010.-Vol. 6067. -628 p.-(Lecture Notes in Computer Science). 59. Parallel Processing and Applied Mathematics, Part II: Revised Selected Papers/8th International Conference, PPAM 2009, Wroclaw, Poland, September 2009/Ed. by R.Wyrzukowski, J.Dongarra, K.Karczewski, J.Wasniewski.-Berlin: Springer, 2010. -Vol. 6068.-596 p.-(Lecture Notes in Computer Science). 60. Algorithmic Number Theory: Proc./9th International Symposium, ANTS-IX, Nancy, France, July 2010/Ed. by G.Hanrot, F.Morain, E.Thome.-Berlin: Springer, 2010.-Vol. 6197.-397 p. -(Lecture Notes in Computer Science). 61. Euro-Par 2009 Parallel Processing Workshops: HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC 2009, Delft, The Netherlands, August 2009/Ed. by H.-X.Lin, M.Alexander, M.Forsell, A.Knupfer.-Berlin: Springer, 2010.-Vol. 6043.-468 p. -(Lecture Notes in Computer Science). 62. Interactive Theorem Proving: Proc./First International Conference, ITP 2010, Edinburgh, UK, July 2010/Ed. by M.Kaufmann, L.C.Paulson.-Berlin: Springer, 2010.-Vol. 6172.-495 p. -(Lecture Notes in Computer Science). 63. Automata, Languages and Programming, Part I: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 2010/ Ed. by S.Abramsky, C.Gavoille, C.Kirchner, P.G.Spirakis.-Berlin: Springer, 2010.-Vol. 6198.-754 p.-(Lecture Notes in Computer Science). 64. Automata, Languages and Programming, Part II: Proc./37th International Colloquium, ICALP 2010, Bordeaux, France, July 2010/ Ed. by S.Abramsky, C.Gavoille, C.Kirchner, P.G.Spirakis.-Berlin: Springer, 2010.-Vol. 6199.-614 p.-(Lecture Notes in Computer Science). 65. Theory and Applications of Satisfiability Testing - SAT 2010: Proc./13th International Conference, SAT 2010, Edinburg, UK, July 2010/Ed. by O.Strichman, S.Szeider.-Berlin: Springer, 2010.-Vol. 6175.-400 p.-(Lecture Notes in Computer Science). 66. Web-Age Information Management: Proc./11th International Conference, WAIM 2010, Jiuzhaigou, China, July 2010/Ed. by L.Chen, Ch.Tang, J.Yang, Y.Gao.-Berlin: Springer, 2010.-Vol. 6184. -785 p.-(Lecture Notes in Computer Science). 67. Frontiers in Algorithmics: Proc./4th International Workshop, FAW 2010, Wuhan, China, August 2010/Ed. by D.-T.Lee, D.Z.Chen, S.Ying.-Berlin: Springer, 2010.-Vol. 6213.-339 p.-(Lecture Notes in Computer Science). 68. Controlled Natural Language: Revised Papers/ Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 2009/Ed. by N.E.Fuchs.-Berlin: Springer, 2010.-Vol. 5972. -291 p.-(Lecture Notes in Artificial Intelligence). 69. Case-Based Reasoning Research and Development: Proc./18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 2010/Ed. by I,Bichindaritz, S.Montani. -Berlin: Springer, 2010.-Vol. 6176.-555 p.-(Lecture Notes in Artificial Intelligence). 70. Inductive Logic Programming: Revised Papers/19th International Conference, ILP 2009, Leuven, Belgium, July 2009/ Ed. by L.De_Raedt.-Berlin: Springer, 2010.-Vol. 5989.-257 p. -(Lecture Notes in Artificial Intelligence). 71. Касьянов В.Н., Касьянова Е.В. Визуализация графов и графовых моделей/СО РАН. ИСИ СО РАН. .- Новосибирск, 2010.- 123 с. -Библиогр.: c.108-120. 72. Непомнящий В.А., Бодин Е.В., Веретнов С.О, Моделирование и верификация распределенных систем, представленных на языке SDL, с помощью языка DYNAMIC-REAL.-Новосибирск, 2010.-44 с. -(Препринт/ИСИ СО РАН; N 156). 73. Murray S.A.P. The Library. An Illustrated History.: American Library Association, 2009.- 310 p. 74. 130-ка Forever 1959-2009. Книга воспоминаний.- Новосибирск, 2009.- 183 с.