Hовые поступления с 31 мая по 28 июня 2012 года
1. Advances in Knowledge Discovery and Data Mining, Part I: Proc./16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 2012/Ed. by P.-N.Tan, S.Chawla, C.K.Ho, J.Bailey. -Berlin: Springer, 2012.-Vol. 7301.-619 p.-(Lecture Notes in Artificial Intelligence). 2. Security and Trust Management: Revised Selected Papers/7th International Workshop, STM 2011, Copenhagen, Denmark, June 2011/ Ed. by C.Meadows, C.Fernandez-Gago.-Berlin: Springer, 2012.-Vol. 7170.-239 p.-(Lecture Notes in Computer Science). 3. Graph Structures for Knowledge Representation and Reasoning: Revised Selected Papers/2nd International Workshop, GKR 2011, Barcelona, Spain, July 2011/Ed. by M.Croitoru, S.Rudolph, N.Wilson, J.Howse.-Berlin: Springer, 2012.-Vol. 7205.-209 p. -(Lecture Notes in Artificial Intelligence). 4. Bioinformatics Research and Applications: Proc./8th International Symposium, ISBRA 2012, Dallas,TX,USA, May 2012/Ed. by L.Bleris, I.Mandoiu, R.Schwartz, J.Wang.-Berlin: Springer, 2012.-Vol. 7292.-332 p.-(Lecture Notes in Bioinformatics). 5. Formal Aspects of Security and Trust: Revised Selected Papers/8th International Workshop, FAST 2011, Leuven, Belgium, September 2011/Ed. by G.Barthe, A.Datta, S.Etalle.-Berlin: Springer, 2012.-Vol. 7140.-279 p.-(Lecture Notes in Computer Science). 6. Theory and Applications of Models of Computation: Proc./9th Annual Conference, TAMC 2012, Beijing, China, May 2012/Ed. by M.Agrawal, S.B.Cooper, A.Li.-Berlin: Springer, 2012.-Vol. 7287. -622 p.-(Lecture Notes in Computer Science). 7. Euro-Par 2011: Parallel Processing Workshops, Part I: Revised Selected Papers/ CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, September 2011/Ed. by M.Alexander.-Berlin: Springer, 2012. -Vol. 7155.-524 p.-(Lecture Notes in Computer Science). 8. Euro-Par 2011: Parallel Processing Workshops, Part II: Revised Selected Papers/ CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 2011/Ed. by M.Alexander.-Berlin: Springer, 2012. -Vol. 7156.-480 p.-(Lecture Notes in Computer Science). 9. NETWORKING 2012 Workshops: Proc./ International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets Held at NETWORKING 2012, Prague, Czech Republic, May 2012/Ed. by Z.Becvar, R.Bestak, L.Kencl.-Berlin: Springer, 2012.-Vol. 7291.-158 p.-(Lecture Notes in Computer Science). 10. The Semantic Web: Research and Applications: Proc./9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 2012/Ed. by E.Simperl, Ph.Cimiano, A.Polleres, O.Corcho.-Berlin: Springer, 2012.-Vol. 7295.-865 p.-(Lecture Notes in Computer Science). 11. Functional and Logic Programming: Proc./11th International Symposium, FLOPS 2012, Kobe, Japan, 2012/Ed. by T.Schrijvers, P.Thiemann.-Berlin: Springer, 2012.-Vol. 7294.-333 p.-(Lecture Notes in Computer Science). 12. The Future Internet: Future Internet Assembly 2012: From Promises to Reality/Ed. by F.Alvares.-Berlin: Springer, 2012. -Vol. 7281.-252 p.-(Lecture Notes in Computer Science). 13. Intelligence and Security Informatics: Proc./Pacific Asia Workshop, PAISI 2012, Kuala Lumpur, Malaysia, May 2012/Ed. by M.Chau, G.A.Wang, W.T.Yue, H.Chen.-Berlin: Springer, 2012.-Vol. 7299.-207 p.-(Lecture Notes in Computer Science). 14. Objects, Models, Components, Patterns: Proc./50th International Conference, TOOLS 2012, Prague, Czech Republic, May 2012/Ed. by C.A.Furia, S.Nanz.-Berlin: Springer, 2012.-Vol. 7304. -372 p.-(Lecture Notes in Computer Science). 15. Runtime Verification: Revised Selected Papers/2nd International Conference, RV 2011, San Francisco,CA,USA, September 2011/Ed. by S.Khurshid, K.Sen.-Berlin: Springer, 2012. -Vol. 7186.-458 p.-(Lecture Notes in Computer Science). 16. Financial Cryptography and Data Security: Revised Selected Papers/FC 2011 Workshops, RLCPS and WECSR 2011, Rodney Bay, St.Lucia, February 2011/Ed. by G.Danezis, S.Dietrich, K.Sako. -Berlin: Springer, 2012.-Vol. 7126.-185 p.-(Lecture Notes in Computer Science). 17. Fun with Algorithms: Proc./6th International Conference, FUN 2012, Venice, Italy, June 2012/Ed. by E.Kranakis, D.Krizanc, F.Luccio.-Berlin: Springer, 2012.-Vol. 7288.-397 p.-(Lecture Notes in Computer Science). 18. Telecommunication Economics: Selected Results of the COST Action IS0605 Econ@Tel/Ed. by A.M.Hadjiantonis, B.Stiller.-Berlin: Springer, 2012.-Vol. 7216.-243 p.-(Lecture Notes in Computer Science). 19. Trustworthy Global Computing: Revised Selected Papers/6th International Symposium, TGC 2011, Aachen, Germany, June 2011/Ed. by R.Bruni, V.Sassone.-Berlin: Springer, 2012.-Vol. 7173.-243 p. -(Lecture Notes in Computer Science). 20. Public Key Infrastructures, Services, and Applications: Revised Selected Papers/8th European Workshop, EuroPKI 2011, Leuven, Belgium, September 2011/Ed. by S.Petkova-Nikova, A.Pashalidis, G.Pernul.-Berlin: Springer, 2012.-Vol. 7163.-20i p. -(Lecture Notes in Computer Science). 21. Facing the Multicore-Challenge II: Aspects of New Paradigms and Technologies in Parallel Computing/Ed. by R.Keller, D.Kramer, J.-Ph.Weiss.-Berlin: Springer, 2012.-Vol. 7174.-173 p. -(Lecture Notes in Computer Science). 22. Computer Science - Theory and Applications: Proc./7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 2012/Ed. by E.A.Hirsch, J.Karhumaki, A.Lepisto, M.Prilutslii.-Berlin: Springer, 2012. -Vol. 7353.-327 p.-(Lecture Notes in Computer Science). 23. Computational Topology in Image Context: Proc./4th International Workshop, CTIC 2012, Bertinoro, Italy, May 2012/Ed. by M.Ferry, P.Frosini, C.Landi, A.Cerry.-Berlin: Springer, 2012. -Vol. 7309.-157 p.-(Lecture Notes in Computer Science). 24. Large-Scale Scientific Computing: Revised Selected Papers/8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 2011/Ed. by I.Lirkov, S.Margenov, J.Wasniewski. -Berlin: Springer, 2012.-Vol. 7116.-681 p.-(Lecture Notes in Computer Science). 25. Artificial Intelligence: Theories and Applications: Proc./7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, May 2012/Ed. by I.Maglogiannis, V.Plagianakos, I.Vlahavas.-Berlin: Springer, 2012.-Vol. 7297.-384 p.-(Lecture Notes in Artificial Intelligence). 26. Recent Advances in Reinforcement Learning: Revised Selected Papers/9th European Workshop, EWRL 2011, Athens, Greece, September 2011/Ed. by S.Sanner, M.Hutter.-Berlin: Springer, 2012. -Vol. 7188.-345 p.-(Lecture Notes in Artificial Intelligence). 27. Полицына Е.В. Создание открытой системы автоматизированной обработки текста и инструментальных средств его анализа: Автореф. дис... канд. тех. наук: 05.13.17.-Воронеж, 2012.-20 с.-Библиогр.: c.18-20. 28. Advances in Swarm Intelligence, Part II: Proc./3rd International Conference, ICSI 2012, Shenzhen, China, June 2012/ Ed. by Y.Tan, Y.Shi, Zh.Ji.-Berlin: Springer, 2012.-Vol. 7332. -607 p.-(Lecture Notes in Computer Science). 29. Reliable Software Technologies - Ada-Europe 2012: Proc./17th Ada-Europe International Conference on RST, Stockholm, Sweden, June 2012/Ed. by M.Brorsson, L.M.Pinho.-Berlin: Springer, 2012. -Vol. 7308.-220 p.-(Lecture Notes in Computer Science). 30. Analytical and Stochastic Modeling Techniques and Applications: Proc./19th International Conference, ASMTA 2012, Grenoble, France, June 2012/Ed. by K.Al-Begain, D.Fiems, J.-M.Vincent.-Berlin: Springer, 2012.-Vol. 7314.-303 p.-(Lecture Notes in Computer Science). 31. Tests and Proofs: Proc./6th International Conference, TAP 2012, Prague, Czech Republic, May 2012/Ed. by A.D.Brucker, J.Julliand.-Berlin: Springer, 2012.-Vol. 7305.-177 p.-(Lecture Notes in Computer Science). 32. Wired/Wireless Internet Communication: Proc./10th International Conference, WWIC 2012, Santorini, Greece, June 2012/ Ed. by Y.Koucheryavy, L.Mamatas, I.Matta, V.Tsaoussidis.-Berlin: Springer, 2012.-Vol. 7277.-382 p.-(Lecture Notes in Computer Science). 33. Software Composition: Proc./11th International Conference, SC 2012, Prague, Czech Republic, May 2012/Ed. by T.Gschwind, F.De_Paoli, V.Gruhn, M.Book.-Berlin: Springer, 2012.-Vol. 7306. -195 p.-(Lecture Notes in Computer Science). 34. Theory and Practice of Model Transformations: Proc./5th International Conference, ICMT 2012, Prague, Czech Republic, May 2012/Ed. by Zh.Hu, J.De_Lara.-Berlin: Springer, 2012.-Vol. 7307. -297 p.-(Lecture Notes in Computer Science). 35. Sequences and Their Applications - SETA 2012: Proc./7th International Conference, Waterloo,ON,Canada, June 2012/Ed. by T.Helleseth, J.Jedwab.-Berlin: Springer, 2012.-Vol. 7280.-339 p. -(Lecture Notes in Computer Science). 36. Advances in Grid and Pervasive Computing: Proc./7th Internarional Conference, GPC 2012, Hong Kong, China, May 2012/ Ed. by R.Li, J.Cao, J.Bourgeois.-Berlin: Springer, 2012.-Vol. 7296.-370 p.-(Lecture Notes in Computer Science). 37. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Proc./9th International Conference, CPAIOR 2012, Nantes, France, May 2012/ Ed. by N.Beldiceanu, N.Jussien, E.Pinson.-Berlin: Springer, 2012. -Vol. 7298.-409 p.-(Lecture Notes in Computer Science). 38. NETWORKING 2012, Part I: Proc./11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 2012/Ed. by R.Bestak, L.Kencl, L.E.Li, J.Widmer.-Berlin: Springer, 2012.-Vol. 7289.-437 p.-(Lecture Notes in Computer Science). 39. NETWORKING 2012, Part II: Proc./11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 2012/Ed. by R.Bestak, J.Kencl, L.E.Li, J.Widmer.-Berlin: Springer, 2012.-Vol. 7290.-421 p.-(Lecture Notes in Computer Science). 40. Public Key Cryptography - PKC 2012: Proc./15th International Conference on Practice and Theory in PKC, Darmstadt, Germany, May 2012/Ed. by M.Fischlin, J.Buchmann, M.Manulis.-Berlin: Springer, 2012.-Vol. 7293.-734 p.-(Lecture Notes in Computer Science). 41. Advances in Artificial Intelligence: Proc./25th Canadian Conference on AI, Canadian AI 2012, Toronto,ON,Canada, May 2012/ Ed. by L.Kosseim, D.Inkpen.-Berlin: Springer, 2012.-Vol. 7310. -398 p.-(Lecture Notes in Artificial Intelligence).