Hовые поступления с 16 ноября по 12 декабря 2016 года
1. Dependable Software Engineering: Theories, Tools, and Applications: Proc./2nd International Symposium, SETTA 2016, Beijing, China, November 2016/Ed. by M.Franzle, D.Kapur, N.Zhan.-Berlin: Springer, 2016.-Vol. 9984.-323 p.-(Lecture Notes in Computer Science). 2. Intelligent Data Engineering and Automated Learning - IDEAL 2016: Proc./17th International Conference, Yangzhou, China, October 2016/Ed. by H.Yin, Y.Gao, B.Li, D.Zhang. -Berlin: Springer, 2016.-Vol. 9937.-647 p.-(Lecture Notes in Computer Science). 3. Modelling and Simulation for Autonomous Systems: Revised Selected Papers/3rd International Workshop, MESAS 2016, Rome, Italy, June 2016/Ed. by J.Hodickly.-Berlin: Springer, 2016.-Vol. 9991.-408 p.-(Lecture Notes in Computer Science). 4. Leveraging Applications of Formal Methods, Verification and Validation, Part I: Foundational Techniques: Proc./7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 2016/Ed. by T.Margaria, B.Steffen.-Berlin: Springer, 2016.-Vol. 9952.-974 p.-(Lecture Notes in Computer Science). 5. Leveraging Applications of Formal Methods, Verification and Validation, Part II: Discussion, Dissemination, Applications: Proc./7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 2016/Ed. by T.Margaria, B.Steffen.-Berlin: Springer, 2016.-Vol. 9953.-866 p. -(Lecture Notes in Computer Science). 6. Reachability Problems: Proc./10th International Workshop, RP 2016, Aalborg, Denmark, September 2016/Ed. by K.G.Larsen, I.Potapov, J.Srba.-Berlin: Springer, 2016.-Vol. 9899.-193 p.-(Lecture Notes in Computer Science). 7. Future Data and Security Engineering: Proc./3rd International Conference, FDSE 2016, Can Tho City, Vietnam, November 2016/Ed. by T.K.Dang, R.Wagner, J.Kung, N.Thoai. -Berlin: Springer, 2016.-Vol. 10018.-430 p.-(Lecture Notes in Computer Science). 8. Interactive Storytelling: Proc./9th International Conference on Interactive Digital Storytelling, ICIDS 2016, Los Angeles,CA,USA, November 2016/Ed. by F.Nack, A.S.Gordon. -Berlin: Springer, 2016.-Vol. 10045.-468 p.-(Lecture Notes in Computer Science). 9. System Analysis and Modeling: Technology-Specific Aspects of Models: Proc./9th International Conference, SAM 2016, Saint-Melo, France, October 2016/Ed. by J.Grabowski, S.Herbold.-Berlin: Springer, 2016.-Vol. 9959.-243 p. -(Lecture Notes in Computer Science). 10. Theory of Cryptography, Part I: Proc./14th International Conference, TCC 2016-B, Beijing, China, October 2016/Ed. by M.Hirt, A.Smith.-Berlin: Springer, 2016. -Vol. 9985.-692 p.-(Lecture Notes in Computer Science). 11. Theory of Cryptography, Part II: Proc./14th International Conference, TCC 2016-B, Beijing, China, October 2016/Ed. by M.Hirt, A.Smith.-Berlin: Springer, 2016. -Vol. 9986.-578 p.-(Lecture Notes in Computer Science). 12. Social Informatics, Part I: Proc./8th International Conference, SocInfo 2016, Bellevue,WA,USA, November 2016/Ed. by E.Spiro, Y.-Y.Ahn.-Berlin: Springer, 2016.-Vol. 10046. -545 p.-(Lecture Notes in Computer Science). 13. Social Informatics, Part II: Proc./8th International Conference, SocInfo 2016, Bellevue,WA.USA, November 2016/Ed. by E.Spiro, Y.-Y.Ahn.-Berlin: Springer, 2016.-Vol. 10047. -517 p.-(Lecture Notes in Computer Science). 14. On the Move to Meaningful Internet Systems: OTM 2016 Conferences: Proc./Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 2016/ Ed. by Ch.Debruyne, H.Panetto, R.Meersman, T.Dillon.-Berlin: Springer, 2016.-Vol. 10033.-977 p.-(Lecture Notes in Computer Science). 15. Advanced Concepts for Intelligent Vision Systems: Proc./17th International Conference, ACIVS 2016, Lecce, Italy, October 2016/Ed. by J.Blanc-Talon, C.Distante, W.Philips, D.Popescu.-Berlin: Springer, 2016.-Vol. 10016. -749 p.-(Lecture Notes in Computer Science). 16. The Semantic Web: Revised Selected Papers/ESWC 2016 Satellite Events, Heraklion, Crete, Greece, May 2016/Ed. by H.Sack, G.Rizzo, N.Stainmetz, D.Mladenic.-Berlin: Springer, 2016.-Vol. 9989.-443 p.-(Lecture Notes in Computer Science). 17. Advances in Intelligent Data Analysis XV: Proc./15th International Symposium, IDA 2016, Stockholm, Sweden, October 2016/Ed. by H.Bostrom, A.Knobbe, C.Soares, P.Papapetrou.-Berlin: Springer, 2016.-Vol. 9897.-404 p. -(Lecture Notes in Computer Science). 18. Network and System Security: Proc./10th International Conference, NSS 2016, Taipei, Taiwan, September 2016/Ed. by J.Chen, V.Piuri, C.Su, M.Yung.-Berlin: Springer, 2016.-Vol. 9955.-540 p.-(Lecture Notes in Computer Science). 19. OpenMP: Memory, Devices, and Tasks: Proc./12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 2016/Ed. by N.Maruyama, B.R.De_Supinski, M.Wahib. -Berlin: Springer, 2016.-Vol. 9903.-352 p.-(Lecture Notes in Computer Science). 20. Databases Theory and Applications: Proc./27th Australian Database Conference, ADC 2016, Sydney, NSW, September 2016/Ed. by M.A.Cheema, W.Zhang, L.Chang.-Berlin: Springer, 2016.-Vol. 9877.-486 p.-(Lecture Notes in Computer Science). 21. High Performance Computing: Revised Selected Papers/ISC High Performance 2016 International Workshops: ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 2016/Ed. by M.Taufer, B.Mohr, J.M.Kunkel.-Berlin: Springer, 2016.-Vol. 9945.-699 p. -(Lecture Notes in Computer Science). 22. Biometric Recognition: Proc./11th Chinese Conference, CCBR 2016, Chengdu, China, October 2016/Ed. by Z.You, J.Zhou, Y.Wang, Z.Sun.-Berlin: Springer, 2016.-Vol. 9967. -778 p.-(Lecture Notes in Computer Science). 23. Internet and Distributed Computing Systems: Proc./9th International Conference, IDCS 2016, Wuhan, China, September 2016/Ed. by W.Li, S.Ali, G.Lodewijks, G.Fortino.-Berlin: Springer, 2016.-Vol. 9864.-526 p.-(Lecture Notes in Computer Science). 24. Entertainment Computing and Serious Games: Revised Selected Papers/International GI-Dagstuhl Seminar 15283, Dagstuhl Castlem Germany, July 2015/Ed. by R.Dorner, S.Gobel, M.Kickmeier-Rust, M.Masuch.-Berlin: Springer, 2016. -Vol. 9970.-541 p.-(Lecture Notes in Computer Science). 25. Conceptual Modeling: Proc./35th International Conference, ER 2016, Gifu, Japan, November 2016/Ed. by I.Comin-Wattiau, K.Tanaka, I.-Y.Song, S.Yamomoto.-Berlin: Springer, 2016.-Vol. 9974.-562 p.-(Lecture Notes in Computer Science). 26. Cryptology and Network Security: Proc./15th International Conference, CANS 2016, Milan Italy, November 2016/Ed. by S.Foresti, G.Persiano.-Berlin: Springer, 2016. -Vol. 10052.-762 p.-(Lecture Notes in Computer Science). 27. Social Robotics: Proc./8th International Conference, ICSR 2016, Kansas City,MO,USA, November 2016/Ed. by A.Agah, J.-J.Cabibihan, A.M.Howard, M.A.Salichs.-Berlin: Springer, 2016.-Vol. 9979.-1018 p.-(Lecture Notes in Artificial Intelligence). 28. Integrated Uncertainty in Knowledge Modeling and Decision Making: Proc./5th International Symposium, IUKM 2016, Da_Nang, Vietnam, November 2016/Ed. by V.-N.Huynh, M.Inuiguchi, B.Le, B.N.Le.-Berlin: Springer, 2016.-Vol. 9978. -728 p.-(Lecture Notes in Artificial Intelligence). 29. Intelligent Virtual Agents: Proc./16th International Conference, IVA 2016, Los Angeles,CA,USA, September 2016/Ed. by D.Traum, W.Swartout, P.Khooshabrh, S.Kopp.-Berlin: Springer, 2016.-Vol. 10011.-521 p.-(Lecture Notes in Artificial Intelligence). 30. Кудинов М.С. Статистическое моделирование русского языка с помощью нейронных сетей: Автореф. дис... канд. тех. наук: 05.13.17.-М., 2016.-20 с.-Библиогр.: c.19-20. 31. Algorithm Engineering: Selected Results and Surveys/Ed. by L.Kliemann, P.Sanders.-Berlin: Springer, 2016.-Vol. 9220. -419 p.-(Lecture Notes in Computer Science). 32. Information Theoretic Security: Revised Selected Papers/9th International Conference, ICITS 2016, Tacoma,WA,USA, August 2016/Ed. by A.C.A.Nascimento, P.Barreto.-Berlin: Springer, 2016.-Vol. 10015.-301 p. -(Lecture Notes in Computer Science). 33. Advances in Cryptology - ASIACRYPT 2016, Part I: Proc./22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 2016/Ed. by J.H.Cheon, T.Takagi.-Berlin: Springer, 2016.-Vol. 10031.-941 p.-(Lecture Notes in Computer Science). 34. Advances in Cryptology - ASIACRYPT 2016, Part II: Proc./22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 2016/Ed. by J.H.Cheon, T.Takagi.-Berlin: Springer, 2016.-Vol. 10032.-1055 p.-(Lecture Notes in Computer Science). 35. Web Information Systems Engineering - WISE 2016, Part I: Proc./17th International Conference, Shanghai, China, November 2016/Ed. by W.Cellary, M.F.Mokbel, J.Wang, H.Wang. -Berlin: Springer, 2016.-Vol. 10041.-572 p.-(Lecture Notes in Computer Science). 36. Web Information System Engineering - WISE 2016, Part II: Proc./17th International Conference, Shanghai, China, November 2016/Ed. by W.Cellary, M.F.Mokbel, J.Wang, H.Wang. -Berlin: Springer, 2016.-Vol. 10042.-452 p.-(Lecture Notes in Computer Science). 37. Logical Aspects of Computational Linguistics: Celebrating 20 years of LACL (1996-2016): Proc./9th International Conference, LACL 2016, Nancy, France, December 2016/Ed. by M.Amblard, Ph.De_Groote, S.Pogodalla, Ch.Retore. -Berlin: Springer, 2016.-Vol. 10054.-335 p.-(Lecture Notes in Computer Science). 38. Security, Privacy, and Anonimity in Computation, Communication, and Storage: Proc./9th International Conference, SpaCCS 2016, Zhangjiajie, China, November 2016/ Ed. by G.Wang, I.Ray, J.M.A.Calero, S.M.Thampi.-Berlin: Springer, 2016.-Vol. 10066.-508 p.-(Lecture Notes in Computer Science). 39. Security, Privacy and Anonymity in Computation, Communication and Storage: Proc./SpaCCS 2016 International Workshops TrustData, TSP, NOPE, DependSys, BigDataSPT, and WCSSC, Zhangjiajie, China, November 2016/Ed. by G.Wang, I.Ray, J.M.A.Calero, S.M.Thampi.-Berlin: Springer, 2016. -Vol. 10067.-392 p.-(Lecture Notes in Computer Science). 40. Security Standardisation Research: Proc./3rd International Conference, SSR 2016, Gaithersburg,MD,USA, December 2016/Ed. by L.Chen, D.Mcgrew, C.Mitchell.-Berlin: Springer, 2016.-Vol. 10074.-275 p.-(Lecture Notes in Computer Science). 41. Algorithms and Models for the Web Graph: Proc./13th International Workshop, WAW 2016, Montreal,QC,Canada, December 2016/Ed. by A.Bonato, F.C.Graham, P.Pralat.-Berlin: Springer, 2016.-Vol. 10088.-165 p.-(Lecture Notes in Computer Science). 42. Formal Methods: Foundations and Applications: Proc./19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 2016/Ed. by L.Ribeiro, T.Lecomte.-Berlin: Springer, 2016.-Vol. 10090.-253 p.-(Lecture Notes in Computer Science). 43. Progress in Cryptology - INDOCRYPT 2016: Proc./17th International Conference on Cryptology in India, Kolkata, India, December 2016/Ed. by O.Dunkelman, S.K.Sanadhya. -Berlin: Springer, 2016.-Vol. 10095.-429 p.-(Lecture Notes in Computer Science). 44. Advances in Brain Inspired Cognitive Systems: Proc./8th International Conference, BICS 2016, Beijing, China, November 2016/Ed. by C.-L.Liu, A.Hassain, B.Luo, K.C.Tan. -Berlin: Springer, 2016.-Vol. 10023.-368 p.-(Lecture Notes in Artificial Intelligence). 45. Multi-disciplinary Trends in Artificial Intelligence: Proc./10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 2016/Ed. by C.Sombattheera, F.Stolzenburg, F.Lin, A.Nayak.-Berlin: Springer, 2016.-Vol. 10053.-314 p.-(Lecture Notes in Artificial Intelligence). 46. Advances Data Mining and Applications: Proc./12th International Conference, ADMA 2016, Gold Coast, QLD, Australia, December 2016/Ed. by J.Li, X.Li, Sh.Wang, J.Li. -Berlin: Springer, 2016.-Vol. 10086.-817 p.-(Lecture Notes in Artificial Intelligence).