Hовые поступления с 1 июля по 4 сентября 2017 года
1. Image Analysis and Recognition: Proc./14th International Conference, ICIAR 2017. Montreal, QC, Canada, July 2017/Ed. by F.Karray, A.Campilho, F.Cheriet.-Berlin: Springer, 2017.-Vol. 10317. -673 p.-(Lecture Notes in Computer Science). 2. Detection and Intrusions and Malware, and Vulnerability Assessment: Proc./14th International Conference, DIMVA 2017, Bonn, Germany, July 2017/Ed. by M.Polichronakis, M.Meier.-Berlin: Springer, 2017.-Vol. 10327.-412 p.-(Lecture Notes in Computer Science). 3. Integration of AI and OR Techniques in Constraint Programming: Proc./14th International Conference, CPAIOR 2017, Padua, Italy, June 2017/Ed. by D.Salvagnin, M.Lombardi.-Berlin: Springer, 2017.-Vol. 10335.-420 p.-(Lecture Notes in Computer Science). 4. Reliable Software Technologies - Ada-Europe 2017: Proc./22nd Ada-Europe International Conference on RST, Vienna, Austria, June 2017/Ed. by J.Blieberger, M.Bader.-Berlin: Springer, 2017.-Vol. 10300.-251 p.-(Lecture Notes in Computer Science). 5. Coordination Models and Languages: Proc./19th IFIP WG 6.1 International Conference, COORDINATION 2017 Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 2017/Ed. by J.-M.Jacquet, M.Massink.-Berlin: Springer, 2017.-Vol. 10319. -279 p.-(Lecture Notes in Computer Science). 6. Advanced Information Systems Engineering: Proc./29th International Conference, CAiSE 2017, Essen, Germany, June 2017/ Ed. by E.Dubois, K.Pohl.-Berlin: Springer, 2017.-Vol. 10253.-650 p.-(Lecture Notes in Computer Science). 7. Descriptional Complexity of Formal Systems: Proc./19th IFIP WG 1.02 International Conference. DCFS 2017, Milano. Italy, july 2017/Ed. by G.Pighizzini, C.Campeanu.-Berlin: Springer, 2017. -Vol. 10316.-311 p.-(Lecture Notes in Computer Science). 8. Functional Imaging and Modelling of the Heart: Proc./9th International Conference, FIMH 2017, Toronto,ON,Canada, June 2017/ Ed. by M.Pop, G.A.Wright.-Berlin: Springer, 2017.-Vol. 10263.-515 p.-(Lecture Notes in Computer Science). 9. Natural Language Processing and Information Systems: Proc./22nd International Conference on Applications of NL and IS, NLDB 2017, Liege, Belgium, June 2017/Ed. by F.Frasincar, A.Ittoo, L.M.Nguyen, E.Metais.-Berlin: Springer, 2017.-Vol. 10260.-500 p. -(Lecture Notes in Computer Science). 10. Cyber Security Cryptography and Machine Learning: Proc./1st International Conference, CSCML 2017/Ed. by S.Dolev, S.Lodha. -Berlin: Springer, 2017.-Vol. 10332.-307 p.-(Lecture Notes in Computer Science). 11. Graph-Based Representations in Pattern Recognition: Proc./11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 2017/Ed. by P.Foggia, C.-L.Liu, M.Vento. -Berlin: Springer, 2017.-Vol. 10310.-289 p.-(Lecture Notes in Computer Science). 12. Distributed Applications and Interoperable Systems: Proc./17th IFIP WG 6.1 International Conference, DAIS 2017 Held as Part of the 12th IFC on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 2017/Ed. by L.Y.Chen, H.P.Reiser.-Berlin: Springer, 2017.-Vol. 10320.-221 p.-(Lecture Notes in Computer Science). 13. Designing the Digital Transformation: Proc./12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 2017/Ed. by A.Maedche, J.Vom_Brocke, A.Hevner.-Berlin: Springer, 2017.-Vol. 10243.-492 p.-(Lecture Notes in Computer Science). 14. Frontiers in Algorithmics: Proc./11th International Workshop, EAW 2017, Chengdu, China, June 2017/Ed. by M.Xiao, F.Rosamond. -Berlin: Springer, 2017.-Vol. 10336.-281 p.-(Lecture Notes in Computer Science). 15. Information Processing in Medical Imaging: Proc./25th International Conference, IPMI 2017, Boone,NC,USA, June 2017/Ed. by M.Niethammer, M.Styner, S.Aylward, H.Zhu.-Berlin: Springer, 2017.-Vol. 10265.-687 p.-(Lecture Notes in Computer Science). 16. Integer Programming and Combinatorial Optimization: Proc./19th International Conference, IPCO 2017, Waterloo,ON,Canada, June 2017/Ed. by F.Eisenbrand, J.Koenemann. -Berlin: Springer, 2017.-Vol. 10328.-456 p.-(Lecture Notes in Computer Science). 17. Semantics. Analytics, Visualization: Enhancing Scholarly Data: Revised Selected Papers/2nd International Workshop, SAVE-SD 2016, Montreal,QC,Canada, April 2016/Ed. by A.Gonzalez-Bertran, F.Osborne, S.Peroni.-Berlin: Springer, 2017.-Vol. 9792.-153 p. -(Lecture Notes in Computer Science). 18. Web Engineering: Proc./17th International Conference, ICWE 2017, Rome, Italy, June 2017/Ed. by J.Cabot, R.De_Virgilio, R.Torlone.-Berlin: Springer, 2017.-Vol. 10360.-619 p.-(Lecture Notes in Computer Science). 19. Natural and Artificial Computation for Biomedicine and Neuroscience, Part I: Proc./International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 2017/Ed. by J.M.F.Vicente, J.R.Alvarez-Sanchez, F.De_La_Paz_Lopez, J.T.Moreo.-Berlin: Springer, 2017.-Vol. 10337.-476 p.-(Lecture Notes in Computer Science). 20. Biomedical Applications Based on Natural and Artificial Computing, Part II: Proc./International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 2017/Ed. by J.M.F.Vicente, J.R.Alvares-Sanchez, F.De_La_Paz_Lopez, J.T.Moreo.-Berlin: Springer, 2017.-Vol. 10338.-562 p.-(Lecture Notes in Computer Science). 21. Information Security and Privacy, Part I: Proc./22nd Australasian Conference, ACISP 2017, Auckland, New Zealand, July 2017/Ed. by J.Pieprzyk, S.Suriadi.-Berlin: Springer, 2017.-Vol. 10342.-471 p.-(Lecture Notes in Computer Science). 22. Information Security and Privacy, Part II: Proc./22nd Australasin Conference, ACISP 2017, Auckland, New Zealand, July 2017/Ed. by J.Piepzyk, S.Suriadi.-Berlin: Springer, 2017.-Vol. 10343.-471 p.-(Lecture Notes in Computer Science). 23. Advances in Neural Networks - ISNN 2017, Part I: Proc./14th International Symposium, ISNN 2017, Sapporo, Japan, June 2017/Ed. by F.Cong, A.Leung, Q.Wei.-Berlin: Springer, 2017.-Vol. 10261. -583 p.-(Lecture Notes in Computer Science). 24. Advances in Neural Networks - ISNN 2017, Part II: Proc./14th International Symposium, ISNN 2017, Sapporo, Japan, June 2017/Ed. by F.Cong, A.Leung, Q.Wei.-Berlin: Springer, 2017.-Vol. 10262. -595 p.-(Lecture Notes in Computer Science). 25. Computation Science and Its Applications - ICCSA 2017, Part I: Proc./17th International Conference, Trieste, Italy, July 2017/ Ed. by O.Gervasi, B.Murgante, S.Misra, G.Borruso.-Berlin: Springer, 2017.-Vol. 10404.-779 p.-(Lecture Notes in Computer Science). 26. Computational Science and Its Applicatios - ICCSA 2017, Part II: Proc./17th International Conference, Triste, Italy, July 2017/ Ed. by O.Gervasi, B.Mugante, S.Misra, G.Borruso.-Berlin: Springer, 2017.-Vol. 10405.-726 p.-(Lecture Notes in Computer Science). 27. Computational Science and Its Applications - ICCSA 2017, Part III: Proc./17th International Conference, Trieste, Italy, 2017/Ed. by O.Gervasi, B.Murgante, S.Misra, G.Borruso.-Berlin: Springer, 2017.-Vol. 10406.-766 p.-(Lecture Notes in Computer Science). 28. Computational Science and Its Applications - ICCSA 2017, Part IV: Proc./17th International Conference, Trieste, Italy, July 2017/ Ed. by O.Gervasi, B.Murgante, S.Misra, G.Borruso.-Berlin: Springer, 2017.-Vol. 10407.-749 p.-(Lecture Notes in Computer Science). 29. Computational Science and Its Applications - ICCSA 2017, Part V: Proc./17th International Conference, Trieste, Italy, July 2017/ Ed. by O.Gervasi, B.Murgante, S.Misra, G.Borruso.-Berlin: Springer, 2017.-Vol. 10408.-744 p.-(Lecture Notes in Computer Science). 30. Computational Science and Its Applications - ICCSA 2017, Part VI: Proc./17th International Conference, Trieste, Italy, July 2017/ Ed. by O.Gervasi, B.Murgante, S.Misra, G.Borruso.-Berlin: Springer, 2017.-Vol. 10409.-799 p.-(Lecture Notes in Computer Science). 31. Bioinformatics Reseach and Applications: Proc./13th International Sumposium, ISBRA 2017, Honolulu,HI,USA, May 2017/Ed. by Z.Cai, O.Daescu, M.Li.-Berlin: Springer, 2017.-Vol. 10330.-433 p.-(Lecture Notes in Bioinformatics). 32. Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction: Revised Selected Papers/4th IAPR TC 9 Workshop, MPRSS 2016, Cancun, Mexico, December 2016/Ed. by F.Schwenker, S.Scherer.-Berlin: Springer, 2017.-Vol. 10183.-161 p. -(Lecture Notes in Artificial Intelligence). 33. Language. Data, and Knowledge: Proc./1st International Conference, LDK 2017, Galwey, Ireland, June 2017/Ed. by J.Gracia, F.Bond, J.P.Mccrae, P.Buitelaar.-Berlin: Springer, 2017.-Vol. 10318. -396 p.-(Lecture Notes in Artificial Intelligence). 34. Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection: Proc./15th International Conference, PAAMS 2017, Porto, Portugal, June 2017/ Ed. by Y.Demazeau, P.Davidsson, J.Bajo, Z.Vale.-Berlin: Springer, 2017.-Vol. 10349.-374 p.-(Lecture Notes in Artificial Intelligence). 35. Artificial Intelligence in Medicine: Proc./16th Conference on AI in Medicine, AIME 2017, Vienna, Austria, June 2017/Ed. by A.Ten_Teije, Ch.Popow, J.H.Holmes, L.Sacchi.-Berlin: Springer, 2017. -Vol. 10259.-369 p.-(Lecture Notes in Artificial Intelligence). 36. Flexible Query Answering Systems: Proc./12th International Conference, FQAS 2017, London, UK, June 2017/Ed. by H.Christiansen, H.Jaudoin, P.Chountas, T.Andreasen.-Berlin: Springer, 2017.-Vol. 10333.-288 p.-(Lecture Notes in Artificial Intelligence). 37. Hybrid Artificial Intelligent Systems: Proc./12th International Conference, HAIS 2017, La Rioja, Spain, June 2017/ Ed. by F.J.M.De_Pison, R.Urraca, H.Quintian, E.Corchado.-Berlin: Springer, 2017.-Vol. 10334.-725 p.-(Lecture Notes in Artificial Intelligence). 38. Advances in Artificial Intelligence: From Theory to Practice, Part I: Proc./30th International Conference on Industrial Engineering and Ather Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 2017/Ed. by S.Benferhat, K.Tabia, M.Ali.-Berlin: Springer, 2017.-Vol. 10350.-642 p. -(Lecture Notes in Artificial Intelligence). 39. Advances in Artificial Intelligence: From Theory to Practice, Part II: Proc./30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 2017/Ed. by S.Benferhat, K.Tabia, M.Ali.-Berlin: Springer, 2017.-Vol. 10351.-470 p. -(Lecture Notes in Artificial Intelligence). 40. Artificial Intelligence and Soft Computing, Part I: Proc./16th International Conference, ICAISC 2017, Zakopane, Poland, June 2017/Ed. by L.Rutkowski, M.Karytkowski, R.Scherer, R.Tadeusiewicz.-Berlin: Springer, 2017.-Vol. 10245.-776 p. -(Lecture Notes in Artificial Intelligence). 41. Artficial Intelligence and Soft Computing, Part II: Proc./16th International Conference, ICAISC 2017, Zakopane, Poland, June 2017/Ed. by L.Rutkowski, M.Korytkowski, R.Scherer, R.Tadeusiewicz.-Berlin: Springer, 2017.-Vol. 10246.-742 p. -(Lecture Notes in Artificial Intelligence). 42. Multi-Agent Systems and Agreement Technologies: Revised Selected Papers/14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 2016/ Ed. by N.C.Pacheco, C.Carrascosa, N.Osman, V.J.Unglada.-Berlin: Springer, 2017.-Vol. 10207.-582 p.-(Lecture Notes in Artificial Intelligence). 43. Intelligent Computer Mathematics: Proc./10th International Conference, CICM 2017, Edinburgh, UK, July 2017/Ed. by H.Geuvers, M.England, O.Hasan, F.Rabe.-Berlin: Springer, 2017.-Vol. 10383. -375 p.-(Lecture Notes in Artificial Intelligence). 44. Logic Programming and Nonmonotonic Reasoning: Proc./14th International Conference, LPNMR 2017, Espoo, Finland, July 2017/ Ed. by M.Balduccini, T.Janhunen.-Berlin: Springer, 2017.-Vol. 10377.-359 p.-(Lecture Notes in Artificial Intelligence). 45. Rough Srts, Part I: Proc./International Joint Conference, IJCRS 2017, Olsztyn, Poland, July 2017/Ed. by L.Polkowski, Y.Yao, P.Artiemjew, D.Ciucci.-Berlin: Springer, 2017.-Vol. 10313.-693 p. -(Lecture Notes in Artificial Intelligence). 46. Rough Sets, Part II: Proc./International Joint Conference, IJCRS 2017, Olsztyn, Poland, July 2017/Ed. by L.Polkowski, Y.Yao, P.Artiemjew, D.Ciucci.-Berlin: Springer, 2017.-Vol. 10314.-581 p. -(Lecture Notes in Artificial Intelligence). 47. Trends in Artificial Intelligence: PRICAL 2016 Workshops: Revised Selecred Papers/PeHealth 2016, I3A 2016, AIED 2016, AI4T 2016, IWEC 2016, and RSAI 2016, Phuket, Thailand, August 2016/Ed. by M.Numao, T.Theeramunkong, T.Supnithi, M.Ketcham.-Berlin: Springer, 2017.-Vol. 10004.-187 p.-(Lecture Notes in Artificial Intelligence). 48. Artificial Intelligent in Education: Proc./18th International Conference, AIED 2017, Wuhan, China, June 2017/Ed. by E.Andre, R.Baker, X.Hu-Ma, M.T.Rodrigo.-Berlin: Springer, 2017.-Vol. 10331. -678 p.-(Lecture Notes in Artificial Intelligence). 49. Automated Deduction - CADE 26: Proc./26th International Conference on AD, Gothenburg, Sweden, August 2017/Ed. by L.De_Moura.-Berlin: Springer, 2017.-Vol. 10395.-582 p.-(Lecture Notes in Artificial Intelligence). 50. Advances in Data Mining: Applications and Theoretical Aspects: Proc./17th Industrial Conference, ICDM 2017, New York,NY,USA, July 2017/Ed. by P.Perner.-Berlin: Springer, 2017. -Vol. 10357.-346 p.-(Lecture Notes in Artificial Intelligence). 51. New Frontiers in Mining Complex Patterns: Revised Selected Papers/5th International Workshop, NFMCP 2016 Held in Conjunction with ECML-PKDD 2016, Riva del Garda, Italy, September 2016/Ed. by A.Appice, M.Ceci, C.Loglisci, E.Masciari.-Berlin: Springer, 2017. -Vol. 10312.-263 p.-(Lecture Notes in Artificial Intelligence). 52. Machine Learning and Data Mining in Pattern Recognition: Proc./13th International Conference, MLDM 2017, New York,NY,USA, July 2017/Ed. by P.Perner.-Berlin: Springer, 2017.-Vol. 10358. -452 p.-(Lecture Notes in Artificial Intelligence). 53. New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 2016/Ed. by S.Kurahashi, Y.Ohta, S.Arai, D.Bekki.-Berlin: Springer, 2017.-Vol. 10247.-345 p. -(Lecture Notes in Artificial Intelligence). 54. Inductive Logic Programming: Revised Selected Papers/26th International Conference, ILP 2016, London, UK, September 2016/Ed. by J.Cussens, A.Russo.-Berlin: Springer, 2017.-Vol. 10326.-133 p. -(Lecture Notes in Artificial Intelligence). 55. Wired/Wireless Internet Communications: Proc./15th IFIP WG 6.2 International Conference, WWIC 2017, St.Petersburg, Russia, June 2017/Ed. by Ye.Koucheryavy, L.Mamatas, I.Matta, A.Ometov. -Berlin: Springer, 2017.-Vol. 10372.-324 p.-(Lecture Notes in Computer Science). 56. Smart Cities: Proc./2nd International Conference, Smart-CT 2017, Malaga, Spain, June 2017/Ed. by E.Alba, F.Chicano, G.Luque. -Berlin: Springer, 2017.-Vol. 10268.-165 p.-(Lecture Notes in Computer Science). 57. Blended Learning: New Challenges and Innovative Practices: Proc./10th International Conference, ICBL 2017, Hong Kong, China, June 2017/Ed. by S.K.S.Cheung, L.-F.Kwok, W.W.K.Ma, L.-K.Lee. -Berlin: Springer, 2017.-Vol. 10309.-490 p.-(Lecture Notes in Computer Science). 58. Reversible Computation: Proc./9th International Conference, RC 2017, Kolkata, India, July 2017/Ed. by I.Phillips, H.Rahaman. -Berlin: Springer, 2017.-Vol. 10301.-255 p.-(Lecture Notes in Computer Science). 59. Smart Health: Revised Selected Papers/ International Conference, ICSH 2016, Haicou, China, December 2016/Ed. by Ch.Xing, Y.Zhang, T.Liang.-Berlin: Springer, 2017.-Vol. 10219.-252 p.-(Lecture Notes in Computer Science). 60. Paradigms in Cryptology - Mycrypt 2016: Malicious and Exploratory Cryptology: Revised Selected Papers/2nd International Conference, Mycrypt 2016, Kuala Lumpur, Malaysia, December 2016/ Ed. by R.C.-W.Phan, M.Yung.-Berlin: Springer, 2017.-Vol. 10311. -573 p.-(Lecture Notes in Computer Science). 61. Computer Aided Verification, Part I: Proc./29th International Conference, CAV 2017, Heidelberg, Germany, July 2017/Ed. by R.Majumdar, V.Kuncak.-Berlin: Springer, 2017.-Vol. 10246.-601 p. -(Lecture Notes in Computer Science). 62. Computer Aided Verification, Part II: Proc./29th International Conference, CAV 2017, Heidelberg, Germany, July 2017/ Ed. by R.Majumdar, V.Kuncak.-Berlin: Springer, 2017.-Vol. 10427. -623 p.-(Lecture Notes in Computer Science). 63. Collaboration and Technology: Proc./23rd International Conference, CRIWG 2017, Saskatoon,SK,Canada, August 2017/Ed. by C.Gutwin, S.F.Ochoa, J.Vassileva, T.Inoue.-Berlin: Springer, 2017. -Vol. 10391.-262 p.-(Lecture Notes in Computer Science). 64. Advances in Spatial and Temporal Databases: Proc./15th International Symposium, SSTD 2017, Arlington,VA,USA, August 2017/ Ed. by M.Gertz, M.Renz, X.Zhou, E.Hoel.-Berlin: Springer, 2017. -Vol. 10411.-454 p.-(Lecture Notes in Computer Science). 65. Radio Frequency Identification and IoT Security: Revised Selected Papers/12th International Workshop, RFIDSec 2016, Hong Kong, China, November 2016/Ed. by G.P.Hancke, K.Markantonakis. -Berlin: Springer, 2017.-Vol. 10155.-205 p.-(Lecture Notes in Computer Science). 66. High Performance Computing for Computational Science - VECPAR 2016: Revised Selected Papers/12th International Conference, Porto, Portugal, June 2016/Ed. by I.Dutra, R.Camacho, J.Barbosa, O.Marques.-Berlin: Springer, 2017.-Vol. 10150.-272 p.-(Lecture Notes in Computer Science). 67. Algorithms and Data Structures: Proc./15th International Symposium, WADS 2017, St.John's,NL,Canada, July 2017/Ed. by F.Ellen, A.Kolokolova, J.-R.Sack.-Berlin: Springer, 2017.-Vol. 10389.-594 p.-(Lecture Notes in Computer Science). 68. Grand Timely Topics in Software Engineering: Tutorial Lectures/International Summer School GTTSE 2015, Braga, Portugal, August 2015/Ed. by J.Cunha, J.P.Fernandes, R.Lammel, Saraiva Joao. -Berlin: Springer, 2017.-Vol. 10223.-235 p.-(Lecture Notes in Computer Science). 69. Logic, Language, Information, and Computation: Proc./24th International Workshop, WoLLIC 2017, London, UK, July 2017/Ed. by J.Kennedy, R,J.G.B.De_Queiroz.-Berlin: Springer, 2017.-Vol. 10388. -401 p.-(Lecture Notes in Computer Science). 70. Graph Transformation: Proc./10th International Conference, ICGT 2017 Held as Part of STAF 2017, Marburg, Germany, July 2017/ Ed. by J.De_Lara, D.Plump.-Berlin: Springer, 2017.-Vol. 10373. -231 p.-(Lecture Notes in Computer Science). 71. Computing and Combinatorics: Proc./23rd International Conference, COCOON 2017, Hong Kong, China, August 2017/Ed. by Y.Cao, J.Chen.-Berlin: Springer, 2017.-Vol. 10392.-693 p.-(Lecture Notes in Computer Science). 72. Data Mining and Big Data: Proc./2nd International Conference, DMBD 2017, Fukuoka, Japan, July 2017/Ed. by Y.Tan, H.Takagi, Y.Shi. -Berlin: Springer, 2017.-Vol. 10387.-546 p.-(Lecture Notes in Computer Science). 73. Городняя Л.В. Парадигмы программирования: анализ и сравнение/ ИСИ СО РАН. .- Новосибирск: Изд-во СО РАН, 2017.- 232 с. -Библиогр.: c.213-223. 74. Наш Марчук: 2-е изд.,испр. и доп./Ред. В.П.Ильин, А.К.Лаврова; СО РАН. .- Новосибирск: Изд-во СО РАН, 2017.- 462 с. 75. Марчук Г.И. Наука управлять наукой/Ред. В.П.Дымников, В.П.Ильин; СО РАН. .- Новосибирск: Изд-во СО РАН, 2015.- 704 с. 76. Александров А.Д. Статьи разных лет/Ред. О.А.Ладыжинская, Ю.Г.Решетняк; Институт математики СО РАН. .- Новосибирск: Наука, 2008.- 734 с.; Т. 3. 77. Security Protocols XXIV: Revised Selected Papers/24th International Workshop, Brno, Czech Republic, April 2016/Ed. by J.Anderson, V.Matyas, B.Christianson, F.Stajano.-Berlin: Springer, 2017.-Vol. 10368.-233 p.-(Lecture Notes in Computer Science). 78. Applied Cryptography and Network Security: Proc./15th International Conference, ACNS 2017, Kanazava, Japan, July 2017/ Ed. by D.Gollmann, A.Miyaji, H.Kilkuchi.-Berlin: Springer, 2017. -Vol. 10355.-710 p.-(Lecture Notes in Computer Science). 79. Post-Quantum Cryptography: Proc./8th International Workshop, PQCrypto 2017, Utrecht, The Netherlands, June 2017/Ed. by T.Lange, T.Takagi.-Berlin: Springer, 2017.-Vol. 10346.-427 p. -(Lecture Notes in Computer Science). 80. Social, Cultural, and Behavioral Modeling: Proc./10th International Conference, SBP-BRiMS 2017, Washington,DC,USA, July 2017/Ed. by D.Lee, Y.-R.Lin, N.Osgood, R.Thomson.-Berlin: Springer, 2017.-Vol. 10354.-358 p.-(Lecture Notes in Computer Science). 81. Collaboration Technologies and Social Computing: Proc./9th International Conference, CollabTech 2017, Saskatoon,SK,Canada, August 2017/Ed. by T.Yoshino, T.Yuizono, G.Zurita, J.Vassileva. -Berlin: Springer, 2017.-Vol. 10397.-191 p.-(Lecture Notes in Computer Science). 82. Theory and Models for Cyber Situation Awareness/Ed. by P.Liu, S.Jajodia, C.Wang.-Berlin: Springer, 2017.-Vol. 10030.-227 p.-(Lecture Notes in Computer Science). 83. Augmented Reality, Virtual Reality, and Computer Graphics, Part I: Proc./4th International Conference, AVR 2017, Ugento, Italy, June 2017/Ed. by L.T.De_Paolis, P.Bourdot, A.Mongelli. -Berlin: Springer, 2017.-Vol. 10324.-476 p.-(Lecture Notes in Computer Science). 84. Augmented Reality, Virtual Reality, and Computer Graphics, Part II: Proc./4th International Conference, AVR 2017, Ugento, Italy, June 2017/Ed. by L.T.De_Paolis, P.Bourdot, A.Mangelli. -Berlin: Springer, 2017.-Vol. 10325.-514 p.-(Lecture Notes in Computer Science). 85. Theory and Practice of Model Transformation: Proc./10th International Conference, ICMT 2017 Held as Part of STAF 2017, Marburg, Germany, July 2017/Ed. by E.Guerra, M.Van_Der_Brand. -Berlin: Springer, 2017.-Vol. 10374.-183 p.-(Lecture Notes in Computer Science). 86. Analytical and Stochastic Modelling Techniques and Applications: Proc./24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 2017/Ed. by N.Thomas, M.Farshaw. -Berlin: Springer, 2017.-Vol. 10378.-213 p.-(Lecture Notes in Computer Science). 87. Job Scheduling Strategies for Parallel Processing: Revised Selected Papers/19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 2015 and JSSPP 2016, Chicago,IL,May 2016/Ed. by N.Desai, W.Cirne.-Berlin: Springer, 2017.-Vol. 10353.-279 p. -(Lecture Notes in Computer Science). 88. Modelling Foundations and Applications: Proc./13th European Conference, ECMFA 2017 Held as Part of STAF 2017, Marburg, Germany, July 2017/Ed. by A.Anjorin, H.Espinoza.-Berlin: Springer, 2017.-Vol. 10376.-317 p.-(Lecture Notes in Computer Science). 89. Tests and Proofs: Proc./11th International Conference, TAP 2017 Held as Part of STAF 2017, Marburg, Germany, July 2017/Ed. by S.Gabmeyer, E.B.Johnsen.-Berlin: Springer, 2017.-Vol. 10375.-163 p. -(Lecture Notes in Computer Science). 90. Transactions on Computational Collective Intelligence XXVI/ Ed. by N.T.Nguyen, R.Kowalczyk.-Berlin: Springer, 2017.-Vol. 10190. -233 p.-(Lecture Notes in Computer Science). 91. Foundations of Intelligent Systems: Proc./23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 2017/Ed. by M.Kryszkiewicz, A.Appice, D.Slezak, H.Rybinski.-Berlin: Springer, 2017.-Vol. 10352.-747 p.-(Lecture Notes in Artificial Intelligence). 92. Программные семантики, спецификации и верификация: Тезисы докладов VIII Международного научно-исследовательского семинара, Москва, июнь 2017/МГУ; Отв.ред. В.А.Захаров, Н.В.Шилов.-М.: МАКС Пресс, 2017.-24 с.