Hовые поступления с 1 июля по 28 августа 2012 года
1. Natural Language Processing and Information Systems: Proc./17th International Conference, NLDB 2012, Groningen, The Netherlands, June 2012/Ed. by G.Bouma, A.Ittoo, E.Metais, H.Wortmann.-Berlin: Springer, 2012.-Vol. 7337.-398 p.-(Lecture Notes in Computer Science). 2. Applied Cryptography and Network Security: Proc./10th International Conference, ACNS 2012, Singapore 2012/Ed. by F.Bao, P.Samarati, J.Zhou.-Berlin: Springer, 2012.-Vol. 7341.-580 p.-(Lecture Notes in Computer Science). 3. Image and Signal Processing: Proc./5th International Conference, ICISP 2012, Agadir, Morocco, June 2012/Ed. by A.Elmoataz, D.Mammass, O.Lezoray, F.Nouboud.-Berlin: Springer, 2012.-Vol. 7340.-609 p.-(Lecture Notes in Computer Science). 4. Image Analysis and Recognition, Part I: Proc./9th International Conference, ICIAR 2012, Aveiro, Portugal, June 2012/ Ed. by A.Campilho, M.Kamel.-Berlin: Springer, 2012.-Vol. 7324. -440 p.-(Lecture Notes in Computer Science). 5. Image Analysis and Recognition, Part II: Proc./9th International Conference, ICIAR 2012, Aveiro, Portugal, June 2012/ Ed. by A,Campilho, M.Kamel.-Berlin: Springer, 2012.-Vol. 7325. -494 p.-(Lecture Notes in Computer Science). 6. Scientific and Statistical Database Management: Proc./24th International Conference, SSDBM 2012, Chania, Crete, Greece, June 2012/Ed. by A.Ailamaki, S.Bowers.-Berlin: Springer, 2012.-Vol. 7338.-654 p.-(Lecture Notes in Computer Science). 7. Information Security and Privacy: Proc./17th Australasian Conference, ACISP 2012, Wollongong, NSW, Australia, June 2012/Ed. by W.Susilo, Y.Mu, J.Seberry.-Berlin: Springer, 2012.-Vol. 7372. -460 p.-(Lecture Notes in Computer Science). 8. Computer Aided Verification: Proc./24th International Conference, CAV 2012, Berkeley,CA,USA, July 2012/Ed. by P.Madhusudan, S.A.Seshia.-Berlin: Springer, 2012.-Vol. 7358.-789 p.-(Lecture Notes in Computer Science). 9. Automated Reasoning: Proc./6th International Joint Conference, IJCAR 2012, Manchester, UK, June 2012/Ed. by B.Gramlich, D.Miller, U.Sattler.-Berlin: Springer, 2012.-Vol. 7364. -568 p.-(Lecture Notes in Artificial Intelligence). 10. Controlled Natural Language: Revised Papers/Second International Workshop, CNL 2010, Marettimo Island, Italy, September 2010/Ed. by M.Rosner, N.E.Fuchs.-Berlin: Springer, 2012. -Vol. 7175.-195 p.-(Lecture Notes in Artificial Intelligence). 11. Diagrammatic Representation and Inference: Proc./7th International Conference, Diagrams 2012, Canterbury, UK, July 2012 /Ed. by Ph.Cox, B.Plimmer, P.Rodgers.-Berlin: Springer, 2012. -Vol. 7352.-358 p.-(Lecture Notes in Artificial Intelligence). 12. Advanced Research in Applied Artificial Intelligence: Proc./25th International Conference, IEA/AIE 2012, Dalian, China, June 2012/Ed. by H,Jiang, W.Ding, M.Ali, X.Wu.-Berlin: Springer, 2012.-Vol. 7345.-850 p.-(Lecture Notes in Artificial Intelligence). 13. Information Technologies in Biomedicine: Proc./3rd International Conference, ITIB 2012, Gliwice, Poland, June 2012/ Ed. by E.Pietka, J.Kawa.-Berlin: Springer, 2012.-Vol. 7339.-630 p.-(Lecture Notes in Bioinformatics). 14. Pattern Recognition: Proc./4th Mexican Conference, MCPR 2012, Huatulco, Mexico, June 2012/Ed. by J.A.Carrasco-Jchoa, J.F.Martinez-Trinidad, J.A.O.Lopez, K.L.Boyer.-Berlin: Springer, 2012.-Vol. 7329.-346 p.-(Lecture Notes in Computer Science). 15. Intelligent Tutoring Systems: Proc./11th International Conference, ITS 2012, Chania, Crete, Greece, June 2012/Ed. by S.A.Cerri, W.J.Clancey, G.Papadourakis, K.Panourgia.-Berlin: Springer, 2012.-Vol. 7315.-726 p.-(Lecture Notes in Computer Science). 16. Correct Reasoning: Essays on Logic-Based AI in Honor of Vladimir Lifschitz/Ed. by E.Erdem, J.Lee, Yu.Lierler, D.Pearce. -Berlin: Springer, 2012.-Vol. 7265.-594 p.-(Lecture Notes in Computer Science). 17. Persuasive Technology. Design for Health and Safety: Proc./7th International Conference, PERSUASIVE 2012, Linkoping, Sweden, June 2012/Ed. by M.Bang, E.L.Ragnemalm.-Berlin: Springer, 2012.-Vol. 7284.-295 p.-(Lecture Notes in Computer Science). 18. Impact Analysis of Solutions for Chronic Disease Provention and Management: Proc./10th International Conference, ICOST 2012, Artimino, Italy, June 2012/Ed. by M.Donnelly, C.Paggetti, Ch.Nugent, M.Mokhtari.-Berlin: Springer, 2012.-Vol. 7251.-297 p. -(Lecture Notes in Computer Science). 19. Advances in Computational Intelligance: Plenary/Invited Lectures/ IEEE World Congress on Computational Intelligence, WCCI 2012, Brisbane, Australia, June 2012/Ed. by J.Liu, C.Alippi, B.Bouchon-Meunier, G.W.Greenwood.-Berlin: Springer, 2012.-Vol. 7311.-290 p.-(Lecture Notes in Computer Science). 20. Trust and Trustworthy Computing: Proc./5th International Conference, TRUST 2012, Vienna, Austria, June 2012/Ed. by S.Katzenbeisser, E.Weippl, L.J.Camp, M.Volkamer.-Berlin: Springer, 2012.-Vol. 7344.-341 p.-(Lecture Notes in Computer Science). 21. Information Security, Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems: Proc./6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 2012/Ed. by J.Askoxylakis, H.C.Pohls, J.Posegga.-Berlin: Springer, 2012.-Vol. 7322.-225 p.-(Lecture Notes in Computer Science). 22. Product-Focused Software Process Improvement: Proc./13th International Conference, PROFES 2012, Madrid, Spain, June 2012/ Ed. by O.Dieste, A.Jedlitschka, N.Juristo.-Berlin: Springer, 2012. -Vol. 7343.-378 p.-(Lecture Notes in Computer Science). 23. The Semantic Web: Proc./Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 2011/ Ed. by J.Z.Pan, H.Chen, H.-G.Kim, J.Li.-Berlin: Springer, 2012. -Vol. 7185.-436 p.-(Lecture Notes in Computer Science). 24. Formal Techniques for Distributed Systems: Proc./Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 2012/Ed. by H.Giese, G.Rosu.-Berlin: Springer, 2012.-Vol. 7273.-269 p.-(Lecture Notes in Computer Science). 25. OpenMP in Heterogeneous World: Proc./8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 2012/Ed. by B.M.Chapman, F.Massaioli, M.S.Muller, M.Rorro.-Berlin: Springer, 2012.-Vol. 7312.-280 p.-(Lecture Notes in Computer Science). 26. Dependable Networks and Services: Proc./6th IFIP WG 6.6 International Conference, AIMS 2012, Luxembourg, Luxembourg, June 2012/Ed. by R.Sadre, J.Novotny, P.Celeda, M.Waldburger.-Berlin: Springer, 2012.-Vol. 7279.-161 p.-(Lecture Notes in Computer Science). 27. Algorithms and Models for the Web Graph: Proc./9th International Workshop, WAW 2012, Halifax,NS,Canada, June 2012/ Ed. by A,Bonato, J.Janssen.-Berlin: Springer, 2012.-Vol. 7323. -179 p.-(Lecture Notes in Computer Science). 28. Distributed Applications and Interoperable Systems: Proc./12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 2012/Ed. by K.M.Goschka, S.Haridi.-Berlin: Springer, 2012.-Vol. 7272.-240 p.-(Lecture Notes in Computer Science). 29. Formal Methods for Model-Driven Engineering: Advanced Lectures/12th International School, SFM 2012, Bertinoro, Italy, June 2012/Ed. by M.Bernardo, V.Cortellessa, A.Pierantonio.-Berlin: Springer, 2012.-Vol. 7320.-439 p.-(Lecture Notes in Computer Science). 30. How the World Computes: Proc./Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 2012/Ed. by S.B.Cooper, A.Dawar, B.Lowe. -Berlin: Springer, 2012.-Vol. 7318.-756 p.-(Lecture Notes in Computer Science). 31. The Multivariate Algorithmic Revolution and Beyond: Essays Dedicated to Michael R.Fellows on the Occasion of His 60th Birthday/Ed. by H.L.Bodlaender, R.Downey, F.V.Fomin, D.Marx. -Berlin: Springer, 2012.-Vol. 7370.-506 p.-(Lecture Notes in Computer Science). 32. Software Service and Application Engineering: Essays Dedicated to Bernd Kramer on the Occasion of His 65th Birthday/ Ed. by M.Heisel.-Berlin: Springer, 2012.-Vol. 7365.-181 p. -(Lecture Notes in Computer Science). 33. Abstract State Machines, Allow, B, VDM, and Z: Proc./3rd International Conference, ABZ 2012, Pisa, Italy, June 2012/Ed. by J.Derreck, J.Fitzgerald, S.Gnesi, S.Khurshid.-Berlin: Springer, 2012.-Vol. 7316.-378 p.-(Lecture Notes in Computer Science). 34. Integrated Formal Methods: Proc./9th International Conference, IFM 2012, Pisa, Italy, June 2012/Ed. by J.Derrick, S.Gnesi, D.Latella, H.Treharne.-Berlin: Springer, 2012.-Vol. 7321. -360 p.-(Lecture Notes in Computer Science). 35. Coordination Models and Languages: 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 2012/Ed. by M.Sirjani.-Berlin: Springer, 2012.-Vol. 7274.-277 p.-(Lecture Notes in Computer Science). 36. Experimental Algorithms: Proc./11th International Symposium, SEA 2012, Bordeaux, France, June 2012/Ed. by R.Klasing.-Berlin: Springer, 2012.-Vol. 7276.-406 p.-(Lecture Notes in Computer Science). 37. ECOOP 2012 - Object-Oriented Programming: Proc./26th European Conference, Beijing, China, June 2012/Ed. by J.Noble. -Berlin: Springer, 2012.-Vol. 7313.-766 p.-(Lecture Notes in Computer Science). 38. Computational Science and Its Applications - ICCSA 2012, Part I: Proc./12th International Conference, Salvador de Bahia, Brazil, June 2012/Ed. by B.Murgante, O.Gervasi, S.Misra, N.Nedjah. -Berlin: Springer, 2012.-Vol. 7333.-759 p.-(Lecture Notes in Computer Science). 39. Computational Science and Its Applications - ICCSA 2012, Part II: Proc./12th International Conference, Salvador de Bahia, Brazil, June 2012/Ed. by B.Murgante, O.Gervasi, S.Misra, N.Nedjah. -Berlin: Springer, 2012.-Vol. 7334.-759 p.-(Lecture Notes in Computer Science). 40. Computational Science and Its Applications - ICCSA 2012, Part III: Proc./12th International Conference, Salvador de Bahia, Brazil, June 2012/Ed. by B.Murgante, O.Gervasi, S.Misra, N.Nedjah. -Berlin: Springer, 2012.-Vol. 7335.-765 p.-(Lecture Notes in Computer Science). 41. Computational Science and Its Applications - ICCSA 2012, Part IV: Proc./12th International Conference, Salvador de Bahia, Brazil, June 2012/Ed. by B.Murgante, O.Gervasi, S.Misra, N.Nedjah. -Berlin: Springer, 2012.-Vol. 7336.-661 p.-(Lecture Notes in Computer Science). 42. Бакаев М.А. Разработка интеллектуальной системы для поддержки проектирования человеко-компьютерного взаимодействия в ВЕБ-приложениях: Автореф. дис... канд. тех. наук: 05.13.11. -Новосибирск, 2012.-23 с.-Библиогр.: c.21-23. 43. Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: Proc./15th Int WS, APPROX 2012, and 16th Int WS, RANDOM 2012, Cambridge, MA, USA, August 2012/Ed. by A.Gupta, K.Jansen, J.Rolim, R.Servedio.-Berlin: Springer, 2012.-Vol. 7408.-674 p.-(Lecture Notes in Computer Science). 44. Developments in Language Theory: Proc./16th International Conference, DLT 2012, Taipei, Taiwan, August 2012/Ed. by H.-C.Yen, O.H.Ibarra.-Berlin: Springer, 2012.-Vol. 7410.-478 p. -(Lecture Notes in Computer Science). 45. Formal Verification of Object-Oriented Software: Revised Selected Papers/ International Conference, FoVeOOS 2011, Turin, Italy, October 2011/Ed. by B.Beckert, F.Domiani, D.Gurov.-Berlin: Springer, 2012.-Vol. 7421.-251 p.-(Lecture Notes in Computer Science). 46. Algorithm Theory - SWAT 2012: Proc./13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 2012/Ed. by F.V.Fomin, P.Kaski.-Berlin: Springer, 2012.-Vol. 7357.-410 p. -(Lecture Notes in Computer Science). 47. Mathematics of Program Construction: Proc./11th International Conference, MPC 2012, Madrid, Spain, June 2012/Ed. by J.Gibbons, P.Nogueira.-Berlin: Springer, 2012.-Vol. 7342.-363 p.-(Lecture Notes in Computer Science). 48. Combinatorial Pattern Matching: Proc./23rd Annual Symposium, CMP 2012, Helsinki, Finland, July 2012/Ed. by J.Karkkainen, J.Stoye.-Berlin: Springer, 2012.-Vol. 7354.-454 p.-(Lecture Notes in Computer Science). 49. Multicore Software Engineering, Performance, and Tools: Proc./ International Conference, MSEPT 2012, Prague, Czech Republic, May/June 2012/Ed. by V.Pankratius, M.Philippsen.-Berlin: Springer, 2012.-Vol. 7303.-95 p.-(Lecture Notes in Computer Science). 50. Advanced Information Systems Engineering: Proc./24th International Conference, CAiSE 2012, Gdansk, Poland, June 2012/ Ed. by J.Ralyte, X.Franch, S.Brinkkemper, S.Wrycza.-Berlin: Springer, 2012.-Vol. 7328.-704 p.-(Lecture Notes in Computer Science). 51. Application and Theory of Petri Nets: Proc./33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 2012/Ed. by S.Haddad, L.Pomello.-Berlin: Springer, 2012.-Vol. 7347.-419 p.-(Lecture Notes in Computer Science). 52. Advances in Neural Networks - ISNN 2012, Part I: Proc./9th International Symposium on NN, Shenyang, China, July 2012/Ed. by J.Wang, G.G.Yen, M.M.Polycarpou.-Berlin: Springer, 2012.-Vol. 7367. -683 p.-(Lecture Notes in Computer Science). 53. Advances in Neural Networks - ISNN 2012, Part II: Proc./9th International Symposium on NN, Shenyang, China, July 2012/Ed. by J.Wang, G.G.Yen, M.M.Polycarpou.-Berlin: Springer, 2012.-Vol. 7368. -669 p.-(Lecture Notes in Computer Science).