Hовые поступления с 10 декабря 2013 года по 13 января 2014 года
1. Principles of Distributed Systems: Proc./17th International Conference, OPODIS 2013, Nice, France, Dexember 2013/Ed. by R.Baldoni, N.Nisse, M.Van_Steen.-Berlin: Springer, 2013.-Vol. 8304. -281 p.-(Lecture Notes in Computer Science). 2. Logoc for Programming, Artificial Intelligence, and Reasoning: Proc./19th International Conference, LPAR-19, Stellenbosch, South Africa, December 2013/Ed. by K.Mcmillan, A.Middeldorp, A.Voronkov.-Berlin: Springer, 2013.-Vol. 8312.-845 p.-(Lecture Notes in Computer Science). 3. Graph Drawing: Revised Selected Papers/21st International Symposium, GD 2013, Bordeaux, France, September 2013/Ed. by S.Wismath, A.Wolff.-Berlin: Springer, 2013.-Vol. 8242.-540 p. -(Lecture Notes in Computer Science). 4. Multiple Access Communications: Proc./6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 2013/Ed. by M.Jonsson, A.Vinel, B.Bellalta, N.Marina.-Berlin: Springer, 2013. -Vol. 8310.-185 p.-(Lecture Notes in Computer Science). 5. Critical Information Infrastructures Security: Revised Selected Papers/7th International Workshop, CRITIS 2012, Lillehammer, Norway, September 2012/Ed. by B.M.Hammerli, N.K.Svendsen, J.Lopez.-Berlin: Springer, 2013.-Vol. 7722.-277 p. -(Lecture Notes in Computer Science). 6. Combinatorial Optimization and Applications: Proc./7th International Conference, COCOA 2013, Chengdu, China, December 2013/Ed. by P.Widmayer, Y.Xu, B.Zhu.-Berlin: Springer, 2013. -Vol. 8287.-432 p.-(Lecture Notes in Computer Science). 7. Information System Security: Proc./9th International Conference, ICISS 2013, Kolkata, India, December 2013/Ed. by A.Bagchi, I.Ray.-Berlin: Springer, 2013.-Vol. 8303.-404 p. -(Lecture Notes in Computer Science). 8. Stabilization, Safety, and Security of Distributed Systems: Proc./15th International Symposium, SSS 2013, Osaka, Japan, November 2013/Ed. by T.Higashino, Y.Katayama, T.Masuzawa, M.Potor-Butucaru.-Berlin: Springer, 2013.-Vol. 8255.-380 p. -(Lecture Notes in Computer Science). 9. Graph-Theoretic Concepts in Computer Science: Revised Papers/39th International Workshop, WG 2013, Lubeck, Germany, June 2013/Ed. by A.Brandstadt, K.Jansen, R.Reischuk.-Berlin: Springer, 2013.-Vol. 8165.-430 p.-(Lecture Notes in Computer Science). 10. Parameterized and Exact Computation: Revised Selected Papers/8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 2013/Ed. by G.Gutin, S.Szeider.-Berlin: Springer, 2013.-Vol. 8246.-375 p.-(Lecture Notes in Computer Science). 11. Algorithms and Architectures for Parallel Processing, Part I: Proc./13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 2013/Ed. by J.Kolodziej, B.Di_Martino, D.Talia, K.Xiong.-Berlin: Springer, 2013.-Vol. 8285.-481 p. -(Lecture Notes in Computer Science). 12. Algorithms and Architectures for Parallel Processing, Part II: Proc./13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 2013/Ed. by R.Aversa, J.Kolodziej, J.Zhang, F.Amato.-Berlin: Springer, 2013.-Vol. 8286.-313 p. -(Lecture Notes in Computer Science). 13. Implementation and Application of Functional Languages: Revised Selected Papers/24th International Symposium, IFL 2012, Oxford, UK, August 2012/Ed. by R.Hinze.-Berlin: Springer, 2013. -Vol. 8241.-241 p.-(Lecture Notes in Computer Science). 14. Computational Geometry and Graphs: Revised Selected Papers/ Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 2012/Ed. by J.Akiyama, M.Kano, T.Sakai.-Berlin: Springer, 2013.-Vol. 8296.-163 p.-(Lecture Notes in Computer Science). 15. Multimodal Communication in Political Speech: Revised Selected Papers/ International Workshop, Political Speech 2010, Rome, Italy. November 2010/Ed. by I.Poggi, F.D'Errico, L.Vincze, A.Vinciarelli.-Berlin: Springer, 2013.-Vol. 7688.-277 p.-(Lecture Notes in Artificial Intelligence). 16. Mining Intelligence and Knowledge Exploration: Proc./1st International Conference, MIKE 2013, Tamil Nadu, India, December 2013/Ed. by R.Prasath, T.Kathirvalavakumar.-Berlin: Springer, 2013.-Vol. 8284.-845 p.-(Lecture Notes in Artificial Intelligence). 17. Applications of Declarative Programming and Knowledge Management: Revised Selected Papers/19th International Conference, INAP 2011 and 25th Workshop on LP, WLP 2011, Vienna, Austria, September 2011/Ed. by H.Tompits, S.Abreu.-Berlin: Springer, 2013.-Vol. 7773.-365 p.-(Lecture Notes in Artificial Intelligence). 18. Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence: Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 2011/Ed. by D.L.Dowe.-Berlin: Springer, 2013.-Vol. 7070.-445 p.-(Lecture Notes in Artificial Intelligence). 19. Fuzzy Logic and Applications: Proc./10th International Workshop, WILF 2013, Genoa, Italy, November 2013/Ed. by F.Masulli, G.Pasi, R.Yager.-Berlin: Springer, 2013.-Vol. 8256. -249 p.-(Lecture Notes in Artificial Intelligence). 20. Certified Programs and Proofs: Proc./3rd International Conference, CPP 2013, Melbourne,VIC,Australia, December 2013/Ed. by G.Gonthier, M.Norrish.-Berlin: Springer, 2013.-Vol. 8307.-309 p.-(Lecture Notes in Computer Science). 21. Programming Languages and Systems: Proc./11th Asian Symposium, APLAS 2013, Melbourn,VIC,Australia, December 2013/Ed. by Ch.Shan.-Berlin: Springer, 2013.-Vol. 8301.-381 p.-(Lecture Notes in Computer Science). 22. Theory and Practice of Natural Computing: Proc./2nd International Conference, TPNC 2013, Caceres, Spain, December 2013 /Ed. by A.-H.Dediu, C.Martin-Vide, B.Truthe, M.A.Vega-Rodriguez. -Berlin: Springer, 2013.-Vol. 8273.-241 p.-(Lecture Notes in Computer Science). 23. Big Data Analytics: Proc./2nd International Conference, BDA 2013, Mysore, India, December 2013/Ed. by V.Bhatnagar, S.Srinivasa.-Berlin: Springer, 2013.-Vol. 8302.-197 p.-(Lecture Notes in Computer Science). 24. Structural Information and Communication Complexity: Revised Selected Papers/20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 2013/Ed. by T.Moscibroda, A.A.Rescigno. -Berlin: Springer, 2013.-Vol. 8179.-348 p.-(Lecture Notes in Computer Science). 25. Service-Oriented Computing: Proc./11th International Conference, ICSOC 2013, Berlin, Germany, December 2013/Ed. by S.Basu, C.Pautasso, L.Zhang, X.Fu.-Berlin: Springer, 2013.-Vol. 8274.-713 p.-(Lecture Notes in Computer Science). 26. Algorithms and Models for the Web Graph: Proc./10th International Workshop, WAW 2013, Cambridge,MA,USA, December 2913/ Ed. by A.Bonato, M.Mitzenmacher, P.Plavat.-Berlin: Springer, 2013. -Vol. 8305.-233 p.-(Lecture Notes in Computer Science). 27. Information Retrieval Technology: Proc./9th Asia Information Retrieval Societies Conference, AIRS 2013, Singapore, December 2013/Ed. by R.E.Banchs, F.Silvestri, T.-Y.Liu, M.Zhang.-Berlin: Springer, 2013.-Vol. 8281.-542 p.-(Lecture Notes in Computer Science). 28. Conceptual Modeling: Proc./32th International Conference, ER 2013, Hong Kong, China, November 2013/Ed. by W.Ng, V.C.Storey, J.C.Trujillo.-Berlin: Springer, 2013.-Vol. 8217.-514 p.-(Lecture Notes in Computer Science). 29. Hardware and Software: Verification and Testing: Proc./9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 2013/Ed. by V.Bertacco, A.Legay.-Berlin: Springer, 2013.-Vol. 8244.-366 p.-(Lecture Notes in Computer Science). 30. Transactions on Computational Science XX: Special Issue on Voronoi Diagrams and Their Applications/Ed. by M.L.Gavrilova, C.J.K.Tan.-Berlin: Springer, 2013.-Vol. 8110.-181 p.-(Lecture Notes in Computer Science). 31. Ануреев И.С. Концептуальный базис трехуровневого метода верификации C# программ.-Новосибирск, 2013.-42 с.-(Препринт/ИСИ СО РАН; N 170). 32. Partially Supervised Learning: Revised Selected Papers/2nd IAPR International Workshop, PSL 2013, Nanjing, China, May 2013/ Ed. by Z.-H.Zhou, F.Schwenker.-Berlin: Springer, 2013.-Vol. 8183. -117 p.-(Lecture Notes in Artificial Intelligence). 33. AI 2013: Advances in Artificial Intelligence: Proc./26th Australasian Joint Conference, Dunedin, New Zealand, December 2013 /Ed. by S.Cranefield, A.Nayak.-Berlin: Springer, 2013.-Vol. 8272. -516 p.-(Lecture Notes in Artificial Intelligence). 34. PRIMA 2013: Principles and Practice of Multi-Agent Systems: Proc./16th International Conference, Dunedin, New Zealand, December 2013/Ed. by G.Boella, E.Elkind, B.T.R.Savarimuthu, F.Dignum.-Berlin: Springer, 2013.-Vol. 8291.-536 p.-(Lecture Notes in Artificial Intelligence). 35. Multi-disciplinary Trends in Artificial Intelligence: Proc./7th International Workshop, MIWAI 2013, Krabi, Thailand, December 2013/Ed. by S.Ramanna, P.Lingras, C.Sombattheera, A.Krishna.-Berlin: Springer, 2013.-Vol. 8271.-342 p.-(Lecture Notes in Artificial Intelligence). 36. AI*IA 2013: Advances in Artificial Intelligence: Proc./XIIIth International Conference of the Italian Association for AI, Turin, Italy, December 2013/Ed. by M.Baldoni, C.Baroglio, G.Boella, R.Micalizio.-Berlin: Springer, 2013.-Vol. 8249.-540 p.-(Lecture Notes in Artificial Intelligence). 37. Modeling Decisions for Artificial Intelligence: Proc./10th International Conference, MDAI 2013, Barcelona, Spain, November 2013/Ed. by V.Torra, Ya.Narukava, G.Navarro-Arribas, D.Megias. -Berlin: Springer, 2013.-Vol. 8234.-309 p.-(Lecture Notes in Artificial Intelligence). 38. Automated Deduction in Geometry: Revised Selected Papers/9th International Workshop, ADG 2012, Edinburgh, UK, September 2012/ Ed. by T.Ida, J.Fleureot.-Berlin: Springer, 2013.-Vol. 7993.-193 p.-(Lecture Notes in Artificial Intelligence). 39. Language Processing and Knowledge in the Web: Proc./25th International Conference, GSCL 2013, Darnstadt, Germany, September 2013/Ed. by I.Gurevych, C.Biemann, T.Zesch.-Berlin: Springer, 2013.-Vol. 8105.-213 p.-(Lecture Notes in Artificial Intelligence). 40. Flaxible Query Answering Systems: Proc./10th International Conference, FQAS 2013, Granada, Spain, September 2013/Ed. by H.L.Larsen, M.J.Martin-Bautista, M.A.Vila, T.Andreasen.-Berlin: Springer, 2013.-Vol. 8132.-694 p.-(Lecture Notes in Artificial Intelligence). 41. Hybrid Artificial Intelligent Systems: Proc./8th International Conference, HAIS 2013, Salamanka, Spain, September 2013/Ed. by J.-S.Pan, M.M.Polycarpou, M.Wozniak, A.C.P.L.F.De_Carvalho.-Berlin: Springer, 2013.-Vol. 8073.-691 p. -(Lecture Notes in Artificial Intelligence). 42. Computational Collective Intelligence. Technologies and Applications: Proc./5th International Conference, ICCCI 2013, Craiova, Romania, September 2013/Ed. by C.Badica, N.T.Nguyen. -Berlin: Springer, 2013.-Vol. 8083.-740 p.-(Lecture Notes in Artificial Intelligence). 43. Information Access Evaluation. Multilinguality, Multimodality, and Visualization: Proc./4th International Conference of the CLEF Initiative, CLEF 2013, Valencia, Spain, September 2013/Ed. by P.Forner, H.Muller.-Berlin: Springer, 2013. -Vol. 8138.-370 p.-(Lecture Notes in Computer Science). 44. From Sounds to Music and Emotions: Revised Selected Papers/9th International Symposium, CMMR 2012, London, UK, June 2012/Ed. by M.Aramaki, M.Barthed, R.Kronland-Martinet, S.Ystad. -Berlin: Springer, 2013.-Vol. 7900.-502 p.-(Lecture Notes in Computer Science). 45. Biometric Recognition: Proc./8th Chinese Conference, CCBR 2013, Jinan, China, November 2013/Ed. by Z.Sun, S.Shan, G.Yang, J.Zhou.-Berlin: Springer, 2013.-Vol. 8232.-469 p.-(Lecture Notes in Computer Science). 46. Human Behavior Understanding: Proc./4th International Workshop, HBU 2013, Barcelona, Spain, October 2013/Ed. by A.A.Salah, H.Hung, O.Aran, H.Gunes.-Berlin: Springer, 2013.-Vol. 8212.-259 p.-(Lecture Notes in Computer Science). 47. Social Informatics: Proc./5th International Conference, SocInfo 2013, Kyoto, Japan, November 2013/Ed. by A.Jatowt, E.-P.Lim, Y.Ding, A.Miura.-Berlin: Springer, 2013.-Vol. 8238.-494 p.-(Lecture Notes in Computer Science). 48. Web and Internet Economics: Proc./9th International Conference, WINE 2013, Cambridge,MA,USA, December 2013/Ed. by Y.Chen, N.Immorlica.-Berlin: Springer, 2013.-Vol. 8289.-440 p. -(Lecture Notes in Computer Science). 49. Digital Libraries: Social Media and Community Networks: Proc./15th International Conference on Asia-Pacific DL, ICADL 2013, Bangalore, India, December 2013/Ed. by S.R.Urs, J.-C.Na, G.Buchanan.-Berlin: Springer, 2013.-Vol. 8279.-198 p.-(Lecture Notes in Computer Science). 50. Human Computer Interaction: Proc./6th Latin American Conference, CLIHC 2013, Carrillo, Costa Rica, December 2013/Ed. by C.Collazos, A.Liborio, C.Rusu.-Berlin: Springer, 2013.-Vol. 8278.-157 p.-(Lecture Notes in Computer Science). 51. Ambient Assisted Living and Active Aging: Proc./5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2013/Ed. by Ch.Nugent, A.Coronato, J.Bravo.-Berlin: Springer, 2013.-Vol. 8277.-137 p.-(Lecture Notes in Computer Science). 52. Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction: Proc./7th International Conference, UCAml 2013, Carrillo, Costa-Rica, December 2013/Ed. by G.Urzaiz, S.F.Ochoa.-Berlin: Springer, 2013. -Vol. 8276.-401 p.-(Lecture Notes in Computer Science). 53. Middleware 2013: Proc./ ACM/IFIP/Usenix 14th International Middleware Conference, Beijing, China, December 2013/Ed. by D.Eyers, K.Schwan.-Berlin: Springer, 2013.-Vol. 8275.-498 p. -(Lecture Notes in Computer Science). 54. Electronic Government: Proc./12th IFIP WG 8.5 International Conference, EGOV 2013, Koblenz, Germany, September 2013/Ed. by M.A.Wimmer, M.Janssen, H.J.Scholl.-Berlin: Springer, 2013.-Vol. 8074.-335 p.-(Lecture Notes in Computer Science). 55. On the Move to Meaningful Internet Systems: OTM 2013 Workshops: Proc./ Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria/ Ed. by Y.T.Demey, H.Panetto.-Berlin: Springer, 2013.-Vol. 8186. -749 p.-(Lecture Notes in Computer Science). 56. Serious Games Development and Applications: Proc./4th International Conference, SGDA 2013, Trondheim, Norway, September 2013/Ed. by M.Ma, M.F.Oliveira, S.Petersen, J.B.Hauge.-Berlin: Springer, 2013.-Vol. 8101.-321 p.-(Lecture Notes in Computer Science). 57. Scaling up Learning for Sustained Impact: Proc./8th European Conference on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 2013/Ed. by D.Hernandez-Leo, T.Ley, R.Klamma, A.Harrer.-Berlin: Springer, 2013.-Vol. 8095.-650 p.-(Lecture Notes in Computer Science). 58. Cryptography and Coding: Proc./14th IMA International Conference, IMACC 2013, Oxford, UK, December 2013/Ed. by M.Stam. -Berlin: Springer, 2013.-Vol. 8308.-365 p.-(Lecture Notes in Computer Science). 59. Progress in Cryptology - INDICRYPT 2013: Proc./14th International Conference on Cryptology in India, Mumbai, India, December 2013/Ed. by G.Paul, S.Vaudenay.-Berlin: Springer, 2013. -Vol. 8250.-319 p.-(Lecture Notes in Computer Science). 60. Cyberspace Safety and Security: Proc./5th International Symposium, CSS 2013, Zhangjiajie, China, November 2013/Ed. by G.Wang, I.Ray, D.Feng, M.Rajarajan.-Berlin: Springer, 2013.-Vol. 8300.-480 p.-(Lecture Notes in Computer Science). 61. Trusted Systems: Proc./5th International Conference, INTRUST 2013, Graz, Austria, December 2013/Ed. by R.Bloem, P.Lipp.-Berlin: Springer, 2013.-Vol. 8292.-103 p.-(Lecture Notes in Computer Science). 62. Security Protocols XXI: Revised Selected Papers/21st International Workshop, Cambridge, UK, March 2013/Ed. by B.Christianson, J.Malcolm, F.Stajano, J.Anderson.-Berlin: Springer, 2013.-Vol. 8263.-267 p.-(Lecture Notes in Computer Science). 63. Cryptology and Network Security: Proc./12th International Conference, CANS 2013, Paraty, Brazil, November 2013/Ed. by M.Abdalla, C.Nita-Rotaru, R.Dahab.-Berlin: Springer, 2013.-Vol. 8257.-349 p.-(Lecture Notes in Computer Science). 64. Number Theory and Cryptography: Papers in Honor of Johannes Buchmann on the Occasion of His 60th Birthday/Ed. by M.Fischlin, S.Katzenbeisser.-Berlin: Springer, 2013.-Vol. 8260.-281 p. -(Lecture Notes in Computer Science). 65. Advances in Cryptology - ASIACRYPT 2013, Part I: Proc./19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 2013/Ed. by K.Sako, P.Sarkar.-Berlin: Springer, 2013.-Vol. 8269. -546 p.-(Lecture Notes in Computer Science). 66. Advances in Cryptology - ASIACRYPT 2013, Part II: Proc./19th International Conference on the Theory and Application of Cryptolohy anf Information Security, Bengaluru, India, December 2013/Ed. by K.Sako, P.Sarkar.-Berlin: Springer, 2013.-Vol. 8270. -542 p.-(Lecture Notes in Computer Science). 67. Availability, Reliability, and Security in Information Systems and HCI: Proc./IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2013, Regensburg, Germany, September 2013/Ed. by A.Cuzzocrea, Ch.Kittl, D.E.Simos, E.Weippl. -Berlin: Springer, 2013.-Vol. 8127.-504 p.-(Lecture Notes in Computer Science). 68. Advances in Information and Computer Security: Proc./8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 2013/Ed. by K.Sakiyama, M.Terada.-Berlin: Springer, 2013. -Vol. 8231.-319 p.-(Lecture Notes in Computer Science). 69. Decision and Game Theory for Security: Proc./4th International Conference, GameSec 2013, Fort Worth,TX,USA, November 2013/Ed. by S.K.Das, C.Nita-Rotaru, M.Kantarcioglu. -Berlin: Springer, 2013.-Vol. 8252.-265 p.-(Lecture Notes in Computer Science). 70. Information and Communication Security: Proc./15th International Conference, ICICS 2013, Beijing, China, November 2013/Ed. by S.Qing, J.Zhou, D.Liu.-Berlin: Springer, 2013.-Vol. 8233.-414 p.-(Lecture Notes in Computer Science). 71. Secure IT Systems: Proc./18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 2013/Ed. by H.R.Nielson, D.Gollmann.-Berlin: Springer, 2013.-Vol. 8208.-321 p.-(Lecture Notes in Computer Science). 72. Research in Attacks, Intrusions, and Defenses: Proc./16th International Symposium, RAID 2013, Rodney Bay, St.Lucia, October 2013/Ed. by S.J.Stolfo, A.Stavrou, C.V.Wright.-Berlin: Springer, 2013.-Vol. 8145.-476 p.-(Lecture Notes in Computer Science). 73. Financial Cryptography and Data Security: Revised Selectes Papers/FC 2013 Workshops, USEC and WAHC 2013, Okinawa, Japan, April 2013/Ed. by A.A.Adams, M.Brenner, M.Smith.-Berlin: Springer, 2013.-Vol. 7862.-239 p.-(Lecture Notes in Computer Science). 74. Provable Security: Proc./7th International Conference, ProvSec 2013, Melaka, Malaysia, October 2013/Ed. by W.Susilo, R.Reyhanitabar.-Berlin: Springer, 2013.-Vol. 8209.-347 p. -(Lecture Notes in Computer Science). 75. Security, Privacy, and Applied Cryptography Engineering: Proc./3rd International Conference, SPACE 2013, Kharagpur, India, October 2013/Ed. by B.Gierlichs, S.Guilley, D.Mukhopadhyay. -Berlin: Springer, 2013.-Vol. 8204.-191 p.-(Lecture Notes in Computer Science). 76. Critical Information Infrastructure Security: Revised Selected Papers/6th International Workshop, CRITIS 2011, Lucerne, Switzerland, September 2013/Ed. by S.Bologna, B.Hammerli, D.Gritzalis, S.Wolthusen.-Berlin: Springer, 2013.-Vol. 6983.-227 p.-(Lecture Notes in Computer Science).