Hовые поступления с 1 августа по 5 сентября 2016 года
1. Security of Industrial Control Systems and Cyber Physical Systems: Revised Selected Papers/1st Workshop, CyberICS 2015 and 1st Workshop, WOS-CSS 2015, Vienna, Austria, September 2015/Ed. by A.Becue, N.Cuppens-Boulahia, F.Cuppens, S.Katsikas.-Berlin: Springer, 2016.-Vol. 9588.-169 p.-(Lecture Notes in Computer Science). 2. Detection of Intrusions and Malware, and Vulnerability Assessment: Proc./13th International Conference, DIMVA 2016, San Sebastian, Spain, July 2016/Ed. by J.Caballero, U.Zurutuza, R.J.Rodriguez.-Berlin: Springer, 2016.-Vol. 9721.-442 p.-(Lecture Notes in Computer Science). 3. Blended Learning: Aligning Theory with Practices: Proc./9th International Conference, ICBL 2016, Beijing, China, July 2016/ Ed. by S.K.S.Cheung, L.-F.Kwok, J.Shang, A.Wang.-Berlin: Springer, 2016.-Vol. 9757.-388 p.-(Lecture Notes in Computer Science). 4. Application and Theory of Petri Nets and Concurrency: Proc./37th International Conference, PETRI NETS 2016, Torun, Poland, June 2016/Ed. by F.Kordon, D.Moldt.-Berlin: Springer, 2016.-Vol. 9698.-345 p.-(Lecture Notes in Computer Science). 5. Applied Cryptography and Network Security: Proc./14th International Conference, ACNS 2016, Guildford, UK, June 2016/Ed. by M.Manulis, A.-R.Sadeghi, S.Schneider.-Berlin: Springer, 2016. -Vol. 9696.-668 p.-(Lecture Notes in Computer Science). 6. Natural Language Processing and Information Systems: Proc./21st International Conference, NLDB 2016, Salford, UK, June 2016/Ed. by E.Metais, F.Meziane, M.Saraee, V.Sugumaran.-Berlin: Springer, 2016.-Vol. 9612.-488 p.-(Lecture Notes in Computer Science). 7. Rule Technologies: Research, Tools, and Applications: Proc./10th International Symposium, RuleML 2016, Stone Brook,NY,USA, July 2016/Ed. by J.J.Alferes, L.Bertossi, G.Governatori, P.Fodor.-Berlin: Springer, 2016.-Vol. 9718.-351 p. -(Lecture Notes in Computer Science). 8. Breast Imaging: Proc./13th International Workshop, IWDM 2016, Malmo, Sweden, June 2016/Ed. by A.Tingberg, K.Lang, P.Timberg.-Berlin: Springer, 2016.-Vol. 9699.-688 p.-(Lecture Notes in Computer Science). 9. Transactions on Computational Collective Intelligence XXIII/ Ed. by N.T.Nguyen, R.Kowalczyk.-Berlin: Springer, 2016.-Vol. 9760. -251 p.-(Lecture Notes in Computer Science). 10. Descriptional Complexity of Formal Systems: Proc./18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 2016/Ed. by C.Campeanu, F.Manea, J.Shallit.-Berlin: Springer, 2016.-Vol. 9777.-217 p.-(Lecture Notes in Computer Science). 11. Theory anf Practice of Model Transformations: Proc./9th International Conference, ICMT 2016 Held as Part of STAF 2016, Vienna, Austria, July 2016/Ed. by P.Van_Gorb, G.Engels.-Berlin: Springer, 2016.-Vol. 9765.-207 p.-(Lecture Notes in Computer Science). 12. Advanced Information Systems Engineering: Proc./28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 2016/Ed. by S.Nurcan, P.Soffer, M.Bajec, J.Eder.-Berlin: Springer, 2016.-Vol. 9694.-592 p.-(Lecture Notes in Computer Science). 13. Pattern Recognition: Proc./8th Mexican Conference, MCPR 2016, Guanajuato, Mexico, June 2016/Ed. by J.F.Martinez-Trinidad, J.A.Carrasco-Ochoa, V.Ayala-Ramirez, J.A.Olvera-Lopez.-Berlin: Springer, 2016.-Vol. 9703.-358 p. -(Lecture Notes in Computer Science). 14. Inclusive Smart Sities and Digital Health: Proc./14th International Conference on Smart Homes and Health Telematics, ICOST 2016, Wuhan, China, May 2016/Ed. by C.K.Chang, L.Chiari, Y.Cao, H/Jin.-Berlin: Springer, 2016.-Vol. 9677.-517 p.-(Lecture Notes in Computer Science). 15. Computer Aided Verification, Part I: Proc./28th International Conference, CAV 2016, Toronto,ON,Canada, July 2016/ Ed. by S.Chaudhuri, A.Farzan.-Berlin: Springer, 2016.-Vol. 9779. -541 p.-(Lecture Notes in Computer Science). 16. Computer Aided Verification, Part II: Proc./28th International Conference, CAV 2016, Toronto,ON,Canada, July 2016/ Ed. by S.Chaudhuri, A.Farzan.-Berlin: Springer, 2016.-Vol. 9780. -521 p.-(Lecture Notes in Computer Science). 17. Integrated Formal Methods: Proc./12th International Conference, IFM 2016, Reykjavik, Iceland, June 2016/Ed. by E.Abraham, M.Huisman.-Berlin: Springer, 2016.-Vol. 9681.-538 p. -(Lecture Notes in Computer Science). 18. Hybrid Metaheuristics: Proc./10th International Workshop, HM 2016, Plymouth, UK, June 2016/Ed. by M.J.Blesa, Ch.Blum, A,Cangelosi, V.Cutello.-Berlin: Springer, 2016.-Vol. 9668.-223 p. -(Lecture Notes in Computer Science). 19. Distributed Applications and Interoperable Systems: Proc./16th IFIP WG 6.1 International Conference, DAIS 2016 Held as Part of the 11th International Federated Conference, DisCoTec 2016, Heraklion, Crete, Greece, June 2016/Ed. by M.Jelasity, E.Kalyvianaki.-Berlin: Springer, 2016.-Vol. 9687.-211 p.-(Lecture Notes in Computer Science). 20. Perspectives of System Informatics: Revised Selected Papers/10th International Andrei Ershov Informatics Conference, PSI 2015 in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 2015/Ed. by M.Mazzara, A.Voronkov.-Berlin: Springer, 2016. -Vol. 9609.-341 p.-(Lecture Notes in Computer Science). 21. Haptics: Perception, Devices, Control, and Applications, Part I: Proc./10th International Conference, EuroHaptics 2016, London, UK, July 2016/Ed. by F.Bello, H.Kajimoto, Y.Visell. -Berlin: Springer, 2016.-Vol. 9774.-534 p.-(Lecture Notes in Computer Science). 22. Haptics: Perseption, Devices. Control, and Applications, Part II: Proc./10th International Conference, EuroHaptics 2016, London, UK, July 2016/Ed. by F.Bello, H.Kajimoto, Y.Visell. -Berlin: Springer, 2016.-Vol. 9775.-514 p.-(Lecture Notes in Computer Science). 23. Abstract State Machines, Alloy. B. TLA, VDM, and Z: Proc./5th International Conference, ABZ 2016, Linz, Austria, May 2016/Ed. by M.Butler, K.-D.Schewe, A.Mashkoor, M.Biro.-Berlin: Springer, 2016.-Vol. 9675.-426 p.-(Lecture Notes in Computer Science). 24. Advances in Cryptology - EUROCRYPT 2016, Part I: Proc./35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 2016/Ed. by M.Fischlin, J.-S.Coron.-Berlin: Springer, 2016.-Vol. 9665.-853 p. -(Lecture Notes in Computer Science). 25. Advances in Cryptology - EUROCRYPT 2016, Part II: Proc./35th International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 2016/Ed. by M.Fischlin, J.-S.Coron.-Berlin: Springer, 2016.-Vol. 9666.-911 p. -(Lecture Notes in Computer Science). 26. Computational Social Networks: Proc/5th International Conference, CSoNet 2016, Ho Shi Minh City, Vietnam, August 2016/ Ed. by H.T.Nguyen, V.Snasel.-Berlin: Springer, 2016.-Vol. 9795. -356 p.-(Lecture Notes in Computer Science). 27. Graph Transformation: Proc./9th International Conference, ICGT 2016 in Memory of Hartmut Ehrig, Held as Part of Staff 2016, Vienna, Austris, July 2016/Ed. by R.Echahed, M.Minas.-Berlin: Springer, 2016.-Vol. 9761.-253 p.-(Lecture Notes in Computer Science). 28. Social Computing and Social Media: Proc./8th International Conference, SCSM 2016 Held as Part of HCI International 2016, Toronto, Canada, July 2016/Ed. by G.Meiselwitz.-Berlin: Springer, 2016.-Vol. 9742.-474 p.-(Lecture Notes in Computer Science). 29. Human-Computer Interaction: Theory, Design, Development and Practice, Part I: Proc./18th International Conference, HCI International 2016, Toronto, Canada, July 2016/Ed. by M.Kurosu. -Berlin: Springer, 2016.-Vol. 9731.-628 p.-(Lecture Notes in Computer Science). 30. Human-Computer Interaction: Interaction Platforms and Techniques, Part II: Proc./18th International Conference, HCI International 2016, Toronto, Canada, July 2016/Ed. by M.Kurosu. -Berlin: Springer, 2016.-Vol. 9732.-434 p.-(Lecture Notes in Computer Science). 31. Human-Computer Interaction: Novel User Experiences, Part III: Proc./18th International Conference, HCI International 2016, Toronto, Canada, July 2016/Ed. by M.Kurosu.-Berlin: Springer, 2016.-Vol. 9733.-604 p.-(Lecture Notes in Computer Science). 32. HCI in Business, Government, and Organizations: eCommerce and Innovation, Part I: Proc./3rd International Conference, HCIBGO 2016, Held as Part of HCI International 2016, Toronto, Canada, July 2016/Ed. by F.Nah, Ch.-H.Tan.-Berlin: Springer, 2016. -Vol. 9751.-587 p.-(Lecture Notes in Computer Science). 33. HCI in Business, Government, and Organizatios: Information Systems, Part II: Proc./3rd International Conference, HCIBGO 2016, Held as Part of HCI International 2016, Toronto, Canada, July 2016/Ed. by F.Nah, Ch.-H.Tan.-Berlin: Springer, 2016.-Vol. 9752.-471 p.-(Lecture Notes in Computer Science). 34. Design, User Experience, and Usability: Design Thinking and Methods, Part I: Proc./5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 2016 /Ed. by A.Marcus.-Berlin: Springer, 2016.-Vol. 9746.-533 p. -(Lecture Notes in Computer Science). 35. Design, Experience, and Usability: Novel User Experiences, Part II: Proc./5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 2016/Ed. by A.Marcus.-Berlin: Springer, 2016.-Vol. 9747.-703 p.-(Lecture Notes in Computer Science). 36. Design, User Experience, and Usability: Technological Context, Part III: Proc./5th International Conference, DUXU 2016, Held as Part of HCI Interational 2016, Toronto, Canada, July 2016/ Ed. by A.Marcus.-Berlin: Springer, 2016.-Vol. 9748.-439 p. -(Lecture Notes in Computer Science). 37. Universal Access in Human-Computer Interaction: Methods, Techniques, and Best Practices, Part I: Proc./10th International Conference, UAHCI 2016, Held as Part of HCI International 2016, Toronto, Canada, July 2016/Ed. by M.Antona, C.Stephanidis.-Berlin: Springer, 2016.-Vol. 9737.-498 p.-(Lecture Notes in Computer Science). 38. Universal Access in Human-Computer Interaction: Interaction Techniques and Environments, Part II: Proc./10th International Conference, UAHCI 2016, Held as Part of HCI International 2016, Toronto, Canada, July 2016/Ed. by M.Antona, C.Stephanidis.-Berlin: Springer, 2016.-Vol. 9738.-478 p.-(Lecture Notes in Computer Science). 39. Universal Access in Human-Computer Interaction: User and Context Diversity, Part III: Proc./10th International Conference, UAHCI 2016, Held as Part of HCI International 2016, Toronto, Canada, July 2016/Ed. by C.Stephanidis, M.Antona.-Berlin: Springer, 2016.-Vol. 9739.-656 p.-(Lecture Notes in Computer Science). 40. Cross-Cultural Design: Proc./8th International Conference, CCD 2016, Held as Part of HCI International 2016, Toronto, Canada, July 2016/Ed. by P.-L.P.Rau.-Berlin: Springer, 2016. -Vol. 9741.-827 p.-(Lecture Notes in Computer Science). 41. The Semantic Web: Latest Advances and New Domains: Proc./13th International Conference, ESWC 2016, Heraklion, Crete, Greece, May 2016/Ed. by H.Sack, E.Blomqvist, M.D'Aquin, C.Ghidini. -Berlin: Springer, 2016.-Vol. 9678.-897 p.-(Lecture Notes in Computer Science). 42. Intelligent Computing. Theories and Application, Part I: Proc./12th International Conference, ICIC 2016, Lanzhou, China, August 2016/Ed. by D.-S.Huang, V.Bevilacqua, P.Premaratne.-Berlin: Springer, 2016.-Vol. 9771.-874 p.-(Lecture Notes in Computer Science). 43. Intelligent Computing. Theories and Application, Part II: Proc./12th International Conference, ICIC 2016, Lanzhou, China, August 2016/Ed. by D.-S.Huang, K.-H.Jo.-Berlin: Springer, 2016. -Vol. 9772.-936 p.-(Lecture Notes in Computer Science). 44. Integration of AI and OR Techniques in Constraint Programming: Proc./13th International Conference, CPAIOR 2016, Banff,AB,Canada, May 2016/Ed. by C.-G.Quimper.-Berlin: Springer, 2016.-Vol. 9676.-421 p.-(Lecture Notes in Computer Science). 45. Advances in Knowledge Discovery and Data Mining, Part I: Proc./20th Pacific-Asia Conference, PAKDD 2016, Auckland, New Zealand, April 2016/Ed. by J.Bailey, L.Khan, T.Washio, G.Dobbie. -Berlin: Springer, 2016.-Vol. 9651.-608 p.-(Lecture Notes in Artificial Intelligence). 46. Advances in Knowledge Discovery and Data Mining, Part II: Proc./20th Pacific-Asia Conference, PAKDD 2016, Auckland, New Zealand, April 2016/Ed. by J.Bailey, L.Khan, T.Washio, G.Dobbie. -Berlin: Springer, 2016.-Vol. 9652.-572 p.-(Lecture Notes in Artificial Intelligence). 47. Machine Learning and Data Mining in Pattern Recognition: Proc./12th International Conference, MLDM 2016, New York,NY,USA, July 2016/Ed. by P.Perner.-Berlin: Springer, 2016.-Vol. 9729. -807 p.-(Lecture Notes in Artificial Intelligence). 48. Advances in Data Mining: Applications and Theoretical Aspects: Proc./16th Idustrial Conference, ICDM 2016, New York,NY,USA, July 2016/Ed. by P.Perner.-Berlin: Springer, 2016. -Vol. 9728.-446 p.-(Lecture Notes in Artificial Intelligence). 49. Artificial Intelligence and Soft Computing, Part I: Proc./15th International Conference, ICAISC 2016, Zakopane, Poland, June 2016/Ed. by L.Rutkowski, M.Korytkowski, R.Scherer, R.Tadeusiewicz.-Berlin: Springer, 2016.-Vol. 9692.-786 p. -(Lecture Notes in Artificial Intelligence). 50. Artificial Intelligence and Soft Computing, Part II: Proc./15th International Conference, ICAISC 2016, Zakopane, Poland, June 2016/Ed. by L.Rutkowski, M.Korytkowski, R.Scherer, R,Tadeusiewicz.-Berlin: Springer, 2016.-Vol. 9693.-770 p. -(Lecture Notes in Artificial Intelligence). 51. Trends and Applications in Knowledge Discovery and Data Mining: Revised Selected Papers/PAKDD 2016 Workshops, BDM, MLSDA, PACC, WDMBF, Auckland, New Zealand, April 2016/Ed. by H.Cao, J.Li, R.Wang.-Berlin: Springer, 2016.-Vol. 9794.-282 p.-(Lecture Notes in Artificial Intelligence). 52. Biomimetic and Biohybrid Systems: Proc./5th International Conference, Living Machines 2016, Edinburgh, UK, July 2016/Ed. by N.F.Lepora, A.Mura, M.Mangan, P.F.M.J.Verschure.-Berlin: Springer, 2016.-Vol. 9793.-555 p.-(Lecture Notes in Artificial Intelligence). 53. Coordination, Organizations, Institutions, and Normes in Agent Systems XI: Revisrd Selected Papers/COIN 2015 International Workshops: COIN@AAMAS, Istanbul, Turkey, May 2015, COIN@IJCAI, Buenos Aires, Argentina, July 2015/Ed. by V.Dignum, P.Noriega. -Berlin: Springer, 2016.-Vol. 9628.-437 p.-(Lecture Notes in Artificial Intelligence). 54. Solving Large Scale Learning Tasks: Challenges and Algorithms: Essays Dedicated to Katharina Morik on the Occasion of Her 60th Birthday/Ed. by S.Michaelis, N.Piatkowski, M.Stolpe. -Berlin: Springer, 2016.-Vol. 9580.-387 p.-(Lecture Notes in Artificial Intelligence). 55. Intelligent Computer Mathematics: Proc./9th Internatioanl Conference, CICM 2016, Bialystok, Poland, July 2016/Ed. by M.Kohlhase, M.Johansson, B.Miller, L.De_Moura.-Berlin: Springer, 2016.-Vol. 9791.-163 p.-(Lecture Notes in Artificial Intelligence). 56. Controlled Natural Language: Proc./5th International Workshop, CNL 2016, Aberdeen, UK, July 2016/Ed. by B.Davis, G.J.Pace, A.Wyner.-Berlin: Springer, 2016.-Vol. 9767.-131 p. -(Lecture Notes in Artificial Intelligence). 57. Trends in Applied Knowledge-Based Systems and Data Science: Proc./29th International Conference, IEA/AIE 2016. Morioka, Japan, August 2016/Ed. by H.Fujita, M.Ali, A.Selamat, J.Sasaki. -Berlin: Springer, 2016.-Vol. 9799.-1021 p.-(Lecture Notes in Artificial Intelligence). 58. Computational Science and Its Applications - ICCSA 2016, Part I: Proc./16th International Conference, Beijing, China, July 2016/Ed. by O.Gervasi, B.Murgante, S.Misra, A.M.A.C.Rocha.-Berlin: Springer, 2016.-Vol. 9786.-650 p.-(Lecture Notes in Computer Science). 59. Computational Science and Its Applications - ICCSA 2016, Part II: Proc./16th International Conference, Beijing, China, July 2016/Ed. by O.Gervasi, B.Murgante, S.Misra, A.M.A.C.Rocha. -Berlin: Springer, 2016.-Vol. 9787.-634 p.-(Lecture Notes in Computer Science). 60. Computational Science and Its Applications - ICCSA 2016, Part III: Proc./16th International Conference, Beijing, China, July 2016/Ed. by O.Gervasi, B.Murgante, S,Misra, A.M.A.C.Rocha. -Berlin: Springer, 2016.-Vol. 9788.-574 p.-(Lecture Notes in Computer Science). 61. Computational Science and Its Applications - ICCSA 2016, Part IV: Proc./16th International Conference, Beijing, China, July 2016/Ed. by O.Gervasi, B.Murgante, S.Misra, A.M.A.C.Rocha. -Berlin: Springer, 2016.-Vol. 9789.-702 p.-(Lecture Notes in Computer Science). 62. Computational Science and Its Applications - ICCSA 2016, Part V: Proc./16th International Conference, Beijing, China, July 2016/Ed. by O,Gervasi, B.Murgante, S.Misra, A.M.A.C.Rocha.-Berlin: Springer, 2016.-Vol. 9790.-636 p.-(Lecture Notes in Computer Science). 63. Fast Software Encryption: Revised Selected Papers/23rd International Conference, FSE 2016, Bochum, Germany, March 2016/ Ed. by Th.Peyrin.-Berlin: Springer, 2016.-Vol. 9783.-592 p. -(Lecture Notes in Computer Science). 64. Advances in Cryptology - CRYPTO 2016, Part I: Proc./36th Annual International Cryptology Conference, Santa Barbara,CA,USA, August 2016/Ed. by M.Robshaw, J.Katz.-Berlin: Springer, 2016. -Vol. 9814.-685 p.-(Lecture Notes in Computer Science). 65. Advances in Cryptology - CRYPTO 2016, Part II: Proc./36th Annual International Cryptology Conference, Santa Barbara,CA,USA, August 2016/Ed. by M.Rabshaw, J.Katz.-Berlin: Springer, 2016. -Vol. 9815.-703 p.-(Lecture Notes in Computer Science). 66. Advances in Cryptology - CRYPTO 2016, Part III: Proc./36th Annual International Cryptology Conference, Santa Barbara.CA.USA. August 2016/Ed. by M.Robshaw, J.Katz.-Berlin: Springer, 2016. -Vol. 9816.-651 p.-(Lecture Notes in Computer Science). 67. Developments in Language Theory: Proc./20th International Conference, DLT 2016, Montreal, Canada, July 2016/Ed. by S.Brlel, C.Reutenauer.-Berlin: Springer, 2016.-Vol. 9840.-407 p. -(Lecture Notes in Computer Science). 68. Computing and Combinatorics: Proc./22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2016/ Ed. by T.N.Dinh, M.T.Thai.-Berlin: Springer, 2016.-Vol. 9797. -634 p.-(Lecture Notes in Computer Science). 69. High Performance Computing and Applications: Revised Selected Papers/3rd International Conference, HPCA 2015, Shanghai, China, July 2015/Ed. by J.Xie, Z.Chen, C.C.Douglas, W.Zhang.-Berlin: Springer, 2016.-Vol. 9576.-229 p.-(Lecture Notes in Computer Science). 70. Economics of Grids, Clouds, Systems, and Services: Revised Selected Papers/12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 2015/Ed. by J.Altmann, G.C.Silaghi, O.F.Rana.-Berlin: Springer, 2016.-Vol. 9512.-323 p. -(Lecture Notes in Computer Science). 71. Big Data Computing and Communications: Proc./2nd International Conference, BigCom 2016, Shenyang, China, July 2016/ Ed. by Y.Wang, G.Yu, Ya.Zhang, Z.Han.-Berlin: Springer, 2016. -Vol. 9784.-466 p.-(Lecture Notes in Computer Science). 72. Transactions on Computational Science XXVIII: Special Issue on Cyberworlds and Cybersecurity/Ed. by M.L.Gavrilova, C.J.K.Tan. -Berlin: Springer, 2016.-Vol. 9590.-177 p.-(Lecture Notes in Computer Science). 73. Medical Computer Vision: Algorithms for Big Data: Revised Selected Papers/International Workshop, MCV 2015 Held in Conjunction with MICCAI 2015, Munich, Germany, October 2015/Ed. by B.Menze, G.Langs, A.Montillo, M.Kelm.-Berlin: Springer, 2016. -Vol. 9601.-182 p.-(Lecture Notes in Computer Science). 74. Human Language Technology: Challenges for Computer Science and Linguistics: Revised Selected Papers/6th Language and Technology Conference, LTC 2013. Poznan, Poland, December 2013/ Ed. by Z.Vetulani, M.Kubis, H.Uszkoreit.-Berlin: Springer, 2016. -Vol. 9561.-422 p.-(Lecture Notes in Artificial Intelligence). 75. Computational Intelligence Methods for Bioinformatics and Biostatistics: Revised Selected Papers/12th International Meeting, CIBB 2015, Naples, Italy, September 2015/Ed. by C.Angelini, P.M.V.Rancoita, S.Rovetta.-Berlin: Springer, 2016. -Vol. 9874.-286 p.-(Lecture Notes in Bioinformatics).