Hовые поступления с 1 июля по 12 августа 2013 года
1. Transactions on Petri Nets and Other Models of Concurrency VII/Ed. by K.Jensen.-Berlin: Springer, 2013.-Vol. 7480.-423 p. -(Lecture Notes in Computer Science). 2. Reliable Software Technologies - Ada-Europe 2013: Proc./18th Ada-Europe International Conference, Berlin, Germany, June 2013/ Ed. by H.B.Keller, E.Plodereder, P.Dencker, H.Klenk.-Berlin: Springer, 2013.-Vol. 7896.-177 p.-(Lecture Notes in Computer Science). 3. Theory and Applications of Models of Computation: Proc./10th International Conference, TAMC 2013, Hong Kong, China, May 2013/ Ed. by T.-H.H.Chan, L.C.Lau, L.Trevisan.-Berlin: Springer, 2013. -Vol. 7876.-356 p.-(Lecture Notes in Computer Science). 4. Approximation and Online Algorithms: Revised Selected Papers/10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 2012/Ed. by Th.Erlebach, G.Persiano.-Berlin: Springer, 2013.-Vol. 7846.-299 p.-(Lecture Notes in Computer Science). 5. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Proc./10th International Conference, CPAIOR 2013, Yorktown Heights,NY,USA, May 2013/Ed. by C.Gomes, M.Sellmann.-Berlin: Springer, 2013. -Vol. 7874.-403 p.-(Lecture Notes in Computer Science). 6. Formal Techniques for Distributed Systems: Proc./Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013 Held as Part of the 8th International Federated Conference, DisCoTec 2013, Florence, Italy, June 2013/Ed. by D.Beyer, M.Boreale.-Berlin: Springer, 2013.-Vol. 7892.-321 p.-(Lecture Notes in Computer Science). 7. Supercomputing: Proc./28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 2013/Ed. by J.M.Kunkel, Th.Ludwig, H.W.Meuer.-Berlin: Springer, 2013.-Vol. 7905.-477 p.-(Lecture Notes in Computer Science). 8. Mathematical Morphology and Its Applications to Signal and Jmage Processing: Proc./11th International Symposium, ISMM 2013. Uppsala, Sweden, May 2013/Ed. by C.L.L.Hendriks, G.Borgefors, R.Strand.-Berlin: Springer, 2013.-Vol. 7883.-532 p.-(Lecture Notes in Computer Science). 9. Computation, Logic, Games, and Quantum Foundations: The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday/Ed. by B.Coecke, L.Ong, P.Panangaden.-Berlin: Springer, 2013.-Vol. 7860.-363 p.-(Lecture Notes in Computer Science). 10. Distributed Applications and Interoperable Systems: Proc./13th IFIP WG 6.1 International Conference, DAIS 2013 Held as Part of the 8th International Federated Conference, DisCoTec 2013, Florence, Italy, June 2013/Ed. by J.Dowling, F.Taiani. -Berlin: Springer, 2013.-Vol. 7891.-205 p.-(Lecture Notes in Computer Science). 11. Coordination Models and Languages: Proc./15th International Conference, COORDINATION 2013 Held as Part of the 8th International Federated Conference, DisCoTec 2013, Florence, Italy, June 2013/Ed. by C.Julien, R.De_Nicola.-Berlin: Springer, 2013.-Vol. 7890.-251 p.-(Lecture Notes in Computer Science). 12. End-User Development: Proc./4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 2013/Ed. by Y.Dittrich, M.Burnett, A.Morch, D.Redmiles.-Berlin: Springer, 2013.-Vol. 7897. -311 p.-(Lecture Notes in Computer Science). 13. Computer Science - Theory and Applications: Proc./8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 2013/Ed. by A.A.Bulatov, A.M.Shur. -Berlin: Springer, 2013.-Vol. 7913.-445 p.-(Lecture Notes in Computer Science). 14. Formal Concept Analysis: Proc./11th International Conference, ICFCA 2013, Dresden, Germany, May 2013/Ed. by P.Cellier, F.Distel, B.Ganter.-Berlin: Springer, 2013.-Vol. 7880. -267 p.-(Lecture Notes in Artificial Intelligence). 15. Model-Based Methodologies for Pervasive and Embedded Software: Revised Papers/8th International Workshop, MOMPES 2012, Essen, Germany, September 2012/Ed. by R.J.Machado, R.S.P.Maciel, J.Rubin, G.Botterweck.-Berlin: Springer, 2013.-Vol. 7706.-139 p. -(Lecture Notes in Computer Science). 16. Social Computing, Behavioral-Cultural Modeling and Prediction: Proc./6th International Conference, SBP 2013, Washington,DC,USA, April 2013/Ed. by A.M.Greenberg, W.G.Kennedy, N.D.Bos.-Berlin: Springer, 2013.-Vol. 7812.-535 p.-(Lecture Notes in Computer Science). 17. Intelligent Science and Intelligent Data Engineering: Revised Selected Papers/3rd Sino-foreign-interchange Workshop, IScIDE 2012, Nanjing, China, October 2012/Ed. by J.Yang, F.Fang, Ch.Sun.-Berlin: Springer, 2013.-Vol. 7751.-880 p.-(Lecture Notes in Computer Science). 18. Information Hiding: Revised Selected Papers/14th International Conference, IH 2012, Berkley,CA,USA, May 2012/Ed. by M.Kirchner, D.Ghosal.-Berlin: Springer, 2013.-Vol. 7692.-285 p.-(Lecture Notes in Computer Science). 19. Applications of Evolutionary Computation: Proc./16th European Conference, EvoApplications 2013, Vienna, Austria, April 2013/Ed. by A.I.Esparcia-Alcazar.-Berlin: Springer, 2013.-Vol. 7835.-639 p.-(Lecture Notes in Computer Science). 20. Evolutionary and Biologically Inspired Music, Sound, Art and Design: Proc./2nd International Conference, EvoMUSART 2013, Vienna, Austria, April 2013/Ed. by P.Machado, J.Mcdermott, A.Carballal.-Berlin: Springer, 2013.-Vol. 7834.-193 p.-(Lecture Notes in Computer Science). 21. Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics: Proc./11th European Conference, EvoBIO 2013, Vienna, Austria, April 2013/Ed. by L.Vanneschi, W.S.Bush, M.Giacobini.-Berlin: Springer, 2013.-Vol. 7833.-217 p.-(Lecture Notes in Computer Science). 22. Data Privacy Management and Autonomous Spontaneous Security: Revised Selected Papers/7th International Workshop, DPM 2012, and 5th International Workshop, SETOP 2012, Pisa, Italy, September 2012/Ed. by R.Di_Pietro, J.Herranz, E.Damiani, R.State.-Berlin: Springer, 2013.-Vol. 7731.-333 p.-(Lecture Notes in Computer Science). 23. Semantics and Data and Knowledge Bases: Revised Selectes Papers/5th International Workshop SDKB 2011, Zurich, Switzerland, July 2011/Ed. by K.-D.Schewe, B.Thalheim.-Berlin: Springer, 2013. -Vol. 7693.-199 p.-(Lecture Notes in Computer Science). 24. Database Systems for Advanced Applications, Part I: Proc./18th International Conference, DASFAA 2013, Wuhan, China, April 2013/Ed. by W.Meng, L.Feng, S.Bressan, W.Winiwarter.-Berlin: Springer, 2013.-Vol. 7825.-489 p.-(Lecture Notes in Computer Science). 25. Database Systems for Advanced Applications, Part II: Proc./18th International Conference, DASFAA 2013, Wuhan, China, April 2013/Ed. by W.Meng, L.Feng, S.Bressan, W.Winiwarter.-Berlin: Springer, 2013.-Vol. 7826.-487 p.-(Lecture Notes in Computer Science). 26. Artificial Intelligence and Soft Computing, Part I: Proc./12th International Conference, ICAISC 2013, Zakopane, Poland, June 2013/Ed. by L.Rutkovski, M.Korytkowski, R.Scherer, R.Tadeusiewicz.-Berlin: Springer, 2013.-Vol. 7894.-637 p. -(Lecture Notes in Artificial Intelligence). 27. Artificial Intelligence and Soft Computing, Part II: Proc./12th International Conference, ICAISC 2013, Zakopane, Poland, June 2013/Ed. by L.Rutkowski, M.Korytkowski, R.Scherer, R.Tadeusiewicz.-Berlin: Springer, 2013.-Vol. 7895.-625 p. -(Lecture Notes in Artificial Intelligence). 28. Advances on Practical Applications of Agents and Multi-Agent Systems: Proc./11th International Conference, PAAMS 2013, Salamanca, Spain, May 2013/Ed. by Y.Demazeau, T.Ishida, J.M.Corchado, J.Bajo.-Berlin: Springer, 2013.-Vol. 7879.-330 p. -(Lecture Notes in Artificial Intelligence). 29. Advances in Artificial Intelligence: Proc./26th Canadian Conference on Artificial Intelligence, Canadian AI 2013, Regina,SK,Canada, May 2013/Ed. by O.R.Zaiane, S.Zilles.-Berlin: Springer, 2013.-Vol. 7884.-372 p.-(Lecture Notes in Artificial Intelligence). 30. Advances in Swarm Intelligence, Part I: Proc./4th International Conference, ICSI 2013, Harbin, China, June, 2013/ Ed. by Y.Tan, Y.Shi, H.Mo.-Berlin: Springer, 2013.-Vol. 7928. -576 p.-(Lecture Notes in Computer Science). 31. Advances in Swarm Intelligence, Part II: Proc./4th International Conference, ICSI 2013, Harbin, China, June 2013/Ed. by Y.Tan, Y.Shi, H.Mo.-Berlin: Springer, 2013.-Vol. 7929.-534 p. -(Lecture Notes in Computer Science). 32. Semantic Technology: Proc./2nd Joint International Conference, JIST 2012, Nara, Japan, December 2012/Ed. by H.Takeda, Y.Qu, R.Mizoguchi, Y.Kitamura.-Berlin: Springer, 2013. -Vol. 7774.-390 p.-(Lecture Notes in Computer Science). 33. Artificial Intelligence in Medicine: Proc./14th Conference on Artificial Intelligent in Medicine, AIME 2013, Murcia, Spain, May 2013/Ed. by N.Peek, R.M.Morales, M.Peleg.-Berlin: Springer, 2013.-Vol. 7885.-316 p.-(Lecture Notes in Artificial Intelligence). 34. Graph-Based Representations in Pattern Recognition: Proc./9th IAPR-TC-15 International Workshop, GbRPR 2013, Vienna, Austria, May 2013/Ed. by W.G.Kropatsch, N.M.Artner, Y.Haxhimusa, X.Jiang.-Berlin: Springer, 2013.-Vol. 7877.-255 p.-(Lecture Notes in Computer Science). 35. The Semantic Web: Semantics and Big Data: Proc./10th International Conference. ESWC 2013, Montpellier, France, May 2013 /Ed. by P.Cimiano, O.Corcho, V.Presutti, L.Hollink.-Berlin: Springer, 2013.-Vol. 7882.-728 p.-(Lecture Notes in Computer Science). 36. Transactions on Large-Scale Data-and Knowledge-Centered Systems VIII/Ed. by A.Hameurlain, J.Kung, R.Wagner.-Berlin: Springer, 2013.-Vol. 7790.-197 p.-(Lecture Notes in Computer Science). 37. The Future Internet: Future Internet Assembly 2013: Validated Results and New Horizons/Ed. by A.Galis, A.Gavras. -Berlin: Springer, 2013.-Vol. 7858.-369 p.-(Lecture Notes in Computer Science). 38. Communication Technologies for Vehicles: Proc./5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d'Ascq, France, May 2013/Ed. by M.Berbineau, M.Jonsson, J.-M.Bonnin, S.Cherkaoui.-Berlin: Springer, 2013.-Vol. 7865.-253 p.-(Lecture Notes in Computer Science). 39. Wired/Wireless Internet Communication: Proc./11th International Conference, WWIC 2013, St.Petersburg, Russia, June 2013/Ed. by V.Tsaoussidis, A.J.Kassler, Ye.Koucheryavy, A.Mellouk. -Berlin: Springer, 2013.-Vol. 7889.-277 p.-(Lecture Notes in Computer Science). 40. Advances in Cryptology - EUROCRYPT 2013: Proc./32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 2013/Ed. by T.Johansson, P.Q.Nguyen.-Berlin: Springer, 2013.-Vol. 7881.-736 p. -(Lecture Notes in Computer Science). 41. Information Security and Cryptology: Revised Selected Papers/8th International Conference, Inscrypt 2012, Beijing, China, November 2012/Ed. by M.Kutylowski, M.Yung.-Berlin: Springer, 2013.-Vol. 7763.-393 p.-(Lecture Notes in Computer Science). 42. Augmented Environments for Computer-Assisted Interventions: Revised Selected Papers/7th International Workshop, AE-CAI 2012 Held in Conjunction with MICCAI 2012, Nice, France, October 2013/ Ed. by C.A.Linte, E.C.S.Chen, M.-O.Berger, J.T.Moore.-Berlin: Springer, 2013.-Vol. 7815.-179 p.-(Lecture Notes in Computer Science). 43. Information Security. Practice and Experience: Proc./9th International Conference, ISPEC 2013, Lanzhou, China, May 2013/ Ed. by R.H.Deng, T.Feng.-Berlin: Springer, 2013.-Vol. 7863.-388 p.-(Lecture Notes in Computer Science). 44. Security and Trust Management: Revise Selected Papers/8th International Workshop, STM 2012, Pisa, Italy, September 2012/Ed. by A.Josang, P.Samarati, M.Petrocchi.-Berlin: Springer, 2013. -Vol. 7783.-321 p.-(Lecture Notes in Computer Science). 45. Network and System Security: Proc./7th International Conference, NSS 2013, Madrid, Spain, June 2013/Ed. by J.Lopez, X.Huang, R.Sandhu.-Berlin: Springer, 2013.-Vol. 7873.-793 p. -(Lecture Notes in Computer Science). 46. Hybrid Metaheuristics: Proc./8th International Workshop, HM 2013, Ischia, Italy, May 2013/Ed. by M.J.Blesa, Ch.Blum, P.Festa, A.Roli.-Berlin: Springer, 2013.-Vol. 7919.-213 p. -(Lecture Notes in Computer Science). 47. Information Security. Theory and Practice: Security of Mobile and Cyber-Physical Systems: Proc./7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 2013/ Ed. by L.Cavallaro, D.Gollmann.-Berlin: Springer, 2013.-Vol. 7886. -145 p.-(Lecture Notes in Computer Science). 48. Progress in Cryptology - AFRICACRYPT 2013: Proc./6th International Conference on Cryptology in Africa, Cairo, Egypt, June 2013/Ed. by A.Youssef, A.Nitaj, A.E.Hassanien.-Berlin: Springer, 2013.-Vol. 7918.-453 p.-(Lecture Notes in Computer Science). 49. Medical Content-Based Retrieval for Clinical Decision Support: Revised Selected Papers/3rd MICCAI International Workshop, MCBR-CDS 2012, Nice, France, October 2012/Ed. by H.Greenspan, H.Muller, T.Syeda-Mahmood.-Berlin: Springer, 2013. -Vol. 7723.-145 p.-(Lecture Notes in Computer Science). 50. Clinical Image-Based Procedures: From Planning to Intervention: Revised Selected Papers/ International Workshop, CLIP 2012 Held in Conjanctiob with MICCAI 2012, Nice, France, October 2012/Ed. by K.Drechsler, M.Erdt, M.G.Linguraru.-Berlin: Springer, 2013.-Vol. 7761.-132 p.-(Lecture Notes in Computer Science). 51. Medical Computer Vision: Recognition Techniques and Applications in Medical Imaging: Revised Selected Papers/2nd International MICCAI Workshop, MCV 2012, Nice, France, October 2012/Ed. by B.H.Menze, G.Langs, L.Lu, A.Montillo.-Berlin: Springer, 2013.-Vol. 7766.-294 p.-(Lecture Notes in Computer Science). 52. Computational Color Imaging: Proc./4th International Workshop, CCIW 2013, Chiba, Japan, March 2013/Ed. by S.Tominaga, R.Schettini, A.Tremeau.-Berlin: Springer, 2013.-Vol. 7786.-335 p. -(Lecture Notes in Computer Science). 53. Computer Vision - ACCV 2012 Workshops, Part I: Revised Selected Papers/ACCV 2012 International Workshops, Daejeon, Korea, November 2012/Ed. by J.-I.Park, J.Kim.-Berlin: Springer, 2013.-Vol. 7728.-335 p.-(Lecture Notes in Computer Science). 54. Computer Vision - ACCV 2012 Workshops, Part II: Revised Selected Papers/ACCV 2012 International Workshops, Daejeon, Korea, November 2012/Ed. by J.-I.Park, J.Kim.-Berlin: Springer, 2013.-Vol. 7729.-609 p.-(Lecture Notes in Computer Science). 55. Computer Vision - ACCV 2012, Part I: Revised Selected Papers/11th Asian Conference on CV, Daejeon, Korea, November 2012/ Ed. by K.M.Lee, Y.Matsushita, J.M.Rehg, Z.Hu.-Berlin: Springer, 2013.-Vol. 7724.-821 p.-(Lecture Notes in Computer Science). 56. Computer Vision - ACCV 2012, Part II: Revised Selected Papers/11th Asian Conference on CV, Daejean, Korea, November 2012/ Ed. by K.M.Lee, Y.Matsushita, J.M.Rehg, Z.Hu.-Berlin: Springer, 2013.-Vol. 7725.-817 p.-(Lecture Notes in Computer Science). 57. Computer Vision - ACCV 2012, Part III: Revised Selected Papers/11th Asian Conference on CV, Daejeon, Korea, November 2012/ Ed. by K.M.Lee, Y.Mutsushita, J.M.Rehg, Z.Hu.-Berlin: Springer, 2013.-Vol. 7726.-741 p.-(Lecture Notes in Computer Science). 58. Computer Vision - ACCV 2012. Part IV: Revised Selected Papers/11th Asian Conference on CV, Daejeon, Korea, November 2012/ Ed. by K.M.Lee, T.Matsushita, J.M.Rehg, Z.Hu.-Berlin: Springer, 2013.-Vol. 7727.-661 p.-(Lecture Notes in Computer Science). 59. Automated Deduction - CADE-24: Proc./24th International Conference on AD, Lake Placid,NY,USA, June 2012/Ed. by M.P.Bonacina.-Berlin: Springer, 2013.-Vol. 7898.-466 p.-(Lecture Notes in Artificial Intelligence). 60. Service-Oriented Computing - ICSOC 2012 Workshops: Revised Selected Papers/ICSOC 2012 International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 2012/Ed. by A.Chose, H.Zhu, Q.Yu, A.Delis.-Berlin: Springer, 2013.-Vol. 7759.-466 p.-(Lecture Notes in Computer Science). 61. Pattern Recognition and Image Analysis: Proc./6th Iberian Conference, IbPRIA 2013, Funchal, Madeira, Portugal, June 2013/ Ed. by J.M.Sanches, L.Mico, J.S.Cardoso.-Berlin: Springer, 2013. -Vol. 7887.-900 p.-(Lecture Notes in Computer Science). 62. Natural and Artificial Models in Computation and Biology, Part I: Proc./5th International Work-Conference, IWINAC 2013, Mallorca, Spain, June 2013/Ed. by J.M.F.Vicente, J.R.A.Sanchez, F.Lopez, F.J.T.Moreo.-Berlin: Springer, 2013.-Vol. 7930.-436 p. -(Lecture Notes in Computer Science). 63. Natural and Artificial Models in Computation and Biology, Part II: Proc./5th International Work-Conference, IWINAC 2013, Mallorca, Spain, June 2013/Ed. by J.M.F.Vicente, J.R.A.Sanchez, F.Lopez, E.J.T.Moreo.-Berlin: Springer, 2013.-Vol. 7931.-474 p. -(Lecture Notes in Computer Science). 64. Multiple Classifier System: Proc./11th International Workshop, MCS 2013, Nanjing, China, May 2013/Ed. by Z.-H.Zhou, F.Roli, J.Kittler.-Berlin: Springer, 2013.-Vol. 7872.-400 p. -(Lecture Notes in Computer Science). 65. Scale Space and Variational Methods in Computer Vision: Proc./4th International Conference, SSVM 2013, Schloss Swggau, Leibnitz, Austria, June 2013/Ed. by A.Kuijper, K.Bredies, T.Pock, H.Bischof.-Berlin: Springer, 2013.-Vol. 7893.-514 p. -(Lecture Notes in Computer Science). 66. Bioinformatics Research and Applications: Proc./9th International Symposium, ISBRA 2013, Charlotte,NC,USA, May 2013/ Ed. by Z.Cai, O.Eulenstein, D.Janies, D.Schwartz.-Berlin: Springer, 2013.-Vol. 7875.-312 p.-(Lecture Notes in Bioinformatics). 67. Computational Intelligence Methods for Bioinformatics and Biostatistics: Revised Selected Papers/9th International Meeting, CIBB 2012, Houston,TX,USA, July 2012/Ed. by L.E.Peterson, F.Masulli, G.Russo.-Berlin: Springer, 2013.-Vol. 7845.-185 p. -(Lecture Notes in Bioinformatics). 68. CMP Annual Report 2012/CMP;.-Grenoble, 2013.-90 p. 69. Third Workshop "Program Semantics, Specification and Verification: Theory and Application": Proc./7th International Computer Science Symposium in Russia, Nizhni Novgorod, Russia, July 2012/Ed. by V.Nepomniaschy, V.Sokolov.-Nizhni Novgorod, 2012. -150 p. 70. Fourth Workshop "Program Semantics, Specification and Verification: Theory and Applications": Proc./8th International Computer Science Symposium in Russia, Yekaterinburg, Russia, June 1013/Ed. by V.Nepomniaschy, V.Sokolov.-Yekaterinburg, 2013.-80 p. 71. Бурдонов И.Б., Косачев А.С., Кулямин В.В. Теория соответствия для систем с блокировками и разрушениями.- М.: Физматлит, 2008.- 412 с.