Hовые поступления с 1 сентября по 6 октября 2017 года
1. Economics of Grids, Clouds, Systems, and Services: Revised Selected Papers/13th International Conference, GECON 2016, Athens, Greece, September 2016/Ed. by J.A.Banares, K.Tserpes, J.Altmann.-Berlin: Springer, 2017.-Vol. 10382. -320 p.-(Lecture Notes in Computer Science). 2. Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging: Revised Selected Papers/MICCAI 2016 International Workshops, MCV and BAMBI, Athens, Greece, October 2016/Ed. by H.Moller, B.M.Kelm, T.Arbel, W.Cai.-Berlin: Springer, 2017.-Vol. 10081.-222 p. -(Lecture Notes in Computer Science). 3. Data and Applications Security and Privacy XXXI: Proc./31st Annual IFIP WG 11.3 Conference, DBSec 2017, Philadelphia,PA,USA, July 2017/Ed. by G.Livraga, S.Zhu. -Berlin: Springer, 2017.-Vol. 10359.-556 p.-(Lecture Notes in Computer Science). 4. Security of Industrial Control Systems and Cyber-Physical Systems: Revised Selected Papers/2nd International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 2016/Ed. by N.Cuppens-Boulahia, C.Lambrinoudakis, F.Cuppens, S.Katsikas.-Berlin: Springer, 2017.-Vol. 10166.-121 p.-(Lecture Notes in Computer Science). 5. Engineering Secure Software and Systems: Proc./9th International Symposium, ESSoS 2017, Bonn, Germany, July 2017 /Ed. by E.Bodden, M.Payer, E.Athanasopoulos.-Berlin: Springer, 2017.-Vol. 10379.-241 p.-(Lecture Notes in Computer Science). 6. Security of Networks and Services in an All-Connected World: Proc./11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AINS 2017/Ed. by D.Tuncer, R.Koch, R.Badonnel, B.Stiller.-Berlin: Springer, 2017.-Vol. 10356.-192 p.-(Lecture Notes in Computer Science). 7. Reasoning Web: Semantic Interoperability on the Web: Tutorial Lectures/13th International Summer School 2017, London, UK, July 2017/Ed. by G.Ianni, D.Lembo, L.Bertossi, W.Faber.-Berlin: Springer, 2017.-Vol. 10370.-347 p.-(Lecture Notes in Computer Science). 8. Data Analytics: Proc./31st British International Conference on Databases, BICOD 2017, Landon, UK, July 2017/ Ed. by A.Cali, P.Wood, N.Martin, A.Poulovassilis.-Berlin: Springer, 2017.-Vol. 10365.-165 p.-(Lecture Notes in Computer Science). 9. Rules and Reasoning: Proc./International Joint Conference, RuleML+RR 2017, London, UK, July 2017/Ed. by S.Costantini, E.Franconi, W.Van_Woensel, R.Kontchakov.-Berlin: Springer, 2017.-Vol. 10364.-239 p.-(Lecture Notes in Computer Science). 10. Serviceology for Services: Proc./5th International Conference, ICServ 2017, Vienna, Austria, July 2017/Ed. by Y.Hara, D.Karagiannis.-Berlin: Springer, 2017.-Vol. 10371. -237 p.-(Lecture Notes in Computer Science). 11. Advances in Swarm Intelligence, Part I: Proc./8th International Conference, ICSI 2017, Fukuoka, Japan, July 2017/Ed. by Y.Tan, H.Takagi, Y.Shi.-Berlin: Springer, 2017. -Vol. 10385.-631 p.-(Lecture Notes in Computer Science). 12. Advances in Swarm Intelligence, Part II: Proc./8th Internaional Conference, ICSI 2017, Fukuoka, Japan, July 2017 /Ed. by Y.Tan, H.Takagi, Y.Shi, B.Niu.-Berlin: Springer, 2017.-Vol. 10386.-641 p.-(Lecture Notes in Computer Science). 13. Towards Autonomous Robotic Systems: Proc./18th Annual Conference, TAROS 2017, Guildford, UK, July 2017/Ed. by Y.Gao, S.Fallah, Y.Jin, C.Lekakou.-Berlin: Springer, 2017. -Vol. 10454.-705 p.-(Lecture Notes in Artificial Intelligence). 14. Knowledge Science, Engineering and Management: Proc./10th International Conference, KSEM 2017, Melbourne, VIC, Australia, August 2017/Ed. by G.Li, Y.Ge, Z.Zhang, Z.Jin.-Berlin: Springer, 2017.-Vol. 10412.-563 p.-(Lecture Notes in Artificial Intelligence). 15. Artificial General Intelligence: Proc./10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 2017/Ed. by T.Everitt, B.Goertzel, A.Potapov.-Berlin: Springer, 2017.-Vol. 10414.-275 p. -(Lecture Notes in Artificial Intelligence). 16. AI 2017: Advances in Artificial Intelligence: Proc./30th Australasian Joint Conference, Melbourne, VIC, Australia, August 2017/Ed. by W.Peng, D.Alahakoon, X.Li. -Berlin: Springer, 2017.-Vol. 10400.-376 p.-(Lecture Notes in Artificial Intelligence). 17. Case-Based Reasoning Research and Development: Proc./25th International Conference, ICCBR 2017, Trondheim, Norway, June 2017/Ed. by D.W.Aha, J.Lieber.-Berlin: Springer, 2017.-Vol. 10339.-436 p.-(Lecture Notes in Artificial Intelligence). 18. Symbolic and Quantitative Approaches to Reasoning with Uncertainty: Proc./14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 2017/Ed. by A.Antonucci, L.Cholvi, O.Papini.-Berlin: Springer, 2017.-Vol. 10369.-502 p.-(Lecture Notes in Artificial Intelligence). 19. Developments in Language Theory: Proc./21st International Conference, DLT 2017, Liege, Belgiym, August 2017/Ed. by E.Charlier, J.Leroy, M.Rogo.-Berlin: Springer, 2017.-Vol. 10396.-379 p.-(Lecture Notes in Computer Science). 20. Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /Ed. by L.Aceto, G.Bacci, A.Ingolfsdottir, A.Legay.-Berlin: Springer, 2017.-Vol. 10460.-662 p.-(Lecture Notes in Computer Science). 21. Electronic Government and the Information Systems Perspective: Proc./6th International Conference, EGOVIS 2017, Lyon, France, August 2017/Ed. by E.Francesconi, A.Ko. -Berlin: Springer, 2017.-Vol. 10441.-307 p.-(Lecture Notes in Computer Science). 22. Logic-Based Program Synthesis and Transformation: Revised Selected Papers/26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 2016/Ed. by M.V.Hermenegildo, P.Lopez-Garcia.-Berlin: Springer, 2017. -Vol. 10184.-362 p.-(Lecture Notes in Computer Science). 23. Digital Forensics and Watermarking: Proc./16th Internatioanl Workshop, IWDW 2017, Magdeburg, Germany, August 2017/Ed. by Ch.Kraetzer, Y.-Q.Shi, J.Dittmann, H.J.Kim.-Berlin: Springer, 2017.-Vol. 10431.-422 p.-(Lecture Notes in Computer Science). 24. Network and System Security: Proc./11th International Conference, NSS 2017, Helsinki, Finland, August 2017/Ed. by Z.Yan, R.Molva, W.Mazurczyk, R.Kantola.-Berlin: Springer, 2017.-Vol. 10394.-762 p.-(Lecture Notes in Computer Science). 25. Intelligent Computing: Theory and Application, Part I: Proc./13th International Conference, ICIC 2017, Liverpool, UK, August 2017/Ed. by D.-S.Huang, V.Bevilacqua, P.Premaratne, Ph.Gupta.-Berlin: Springer, 2017.-Vol. 10361. -815 p.-(Lecture Notes in Computer Science). 26. Intelligent Computing: Theory and Application, Part II: Proc./13th International Conference, ICIC 2017, Liverpool, UK, August 2017/Ed. by D.-S.Huang, K.-H.Jo, J.C.Figueroa-Garcia.-Berlin: Springer, 2017.-Vol. 10362.-841 p.-(Lecture Notes in Computer Science). 27. Intelligent Coputing Methodologies, Part III: Proc./13tth International Conference, ICIC 2017, Liverpool, UK, August 2017/Ed. by D.-S.Huang, A.Hussain, K.Han, M.M.Gromiha.-Berlin: Springer, 2017.-Vol. 10363.-789 p. -(Lecture Notes in Artificial Intelligence). 28. Biomemetic and Biohybrid Systems: Proc./6th International Conference, Living Machines 2017, Stanford,CA,USA, July 2017/Ed. by M.Mangan, M.Gutkosky, A.Mura, P.F.M.J.Verschure.-Berlin: Springer, 2017.-Vol. 10384. -645 p.-(Lecture Notes in Artificial Intelligence). 29. Multiagent System Technologies: Proc./15th German Conference, MATES 2017, Leipzig, Germany, August 2017/Ed. by J.O.Berndt, P.Petta, R.Unland.-Berlin: Springer, 2017.-Vol. 10413.-291 p.-(Lecture Notes in Artificial Intelligence). 30. Computer Analysis of Images and Patterns, Part I: Proc./17th International Conference, CAIP 2017, Ystad, Sweden, August 2017/Ed. by M.Felsberg, A.Heyden, N.Kruger. -Berlin: Springer, 2017.-Vol. 10424.-413 p.-(Lecture Notes in Computer Science). 31. Computer Analysis of Images and Patterns, Part II: Proc./17th International Conference, CAIP 2017, Ystad, Sweden, August 2017/Ed. by M.Felsberg, A.Heyden, N.Kruger. -Berlin: Springer, 2017.-Vol. 10425.-487 p.-(Lecture Notes in Computer Science). 32. Trust, Privacy and Security in Digital Business: Proc./14th International Conference, TrustBus 2017, Lyon, France, August 2017/Ed. by J.Lopez, S.Fischer-Hubner, C.Lambrinoudakis.-Berlin: Springer, 2017.-Vol. 10442.-247 p. -(Lecture Notes in Computer Science). 33. Advances in Information and Computer Security: Proc./12th International Workshop on Security, IWSEC 2017, Hiroshima, Japan, August 2017/Ed. by S.Obana, K.Chida. -Berlin: Springer, 2017.-Vol. 10418.-243 p.-(Lecture Notes in Computer Science). 34. Mobile Web and Intelligent Information Systems, Proc./14th International Conference, MobiWIS 2017, Prague, Czech Republic, August 2017/Ed. by M.Younas, I.Awan, I.Holubova.-Berlin: Springer, 2017.-Vol. 10486.-335 p. -(Lecture Notes in Computer Science). 35. Software Engineering in Health Care: Revised Selected Papers/4th International Symposium, FHIES 2014 and 6th International Workshop, SEHC 2014, Washington,DC,USA, July 2014/Ed. by M.Huhn, L.Williams.-Berlin: Springer, 2017. -Vol. 9062.-239 p.-(Lecture Notes in Computer Science). 36. Numerical Software Verification: Proc./10th International Workshop, NSV 2017, Heidelberg, Germany, July 2017/Ed. by A.Abate, S.Boldo.-Berlin: Springer, 2017.-Vol. 10381.-115 p.-(Lecture Notes in Computer Science). 37. Electronic Participation: Proc./9th IFIP WG 8.5 International Conference, ePart 2017, St,Petersburg, Russia, September 2017/Ed. by P.Parycek, Y.Garalabidis, A.V.Chugunov, P.Ponagiotopoulos.-Berlin: Springer, 2017. -Vol. 10429.-161 p.-(Lecture Notes in Computer Science). 38. Combinatorics on Words: Proc./11th International Conference, WORDS 2017, Montreal,QC,Canada, September 2017/ Ed. by S.Brlek, F.Dolce, Ch.Reutenauer, E.Vandomme.-Berlin: Springer, 2017.-Vol. 10432.-263 p.-(Lecture Notes in Computer Science). 39. Information Technology in Bio-and Medical Informatics: Proc./8th International Conference, ITBAM 2017, Lyon, France, August 2017/Ed. by M.Bursa, A.Holzinger, M.E.Renda, S.Khuri.-Berlin: Springer, 2017.-Vol. 10443.-135 p.-(Lecture Notes in Computer Science). 40. Model-Based Safety and Assessment: Proc./5th International Symposium, IMBSA 2017, Trento, Italy, September 2017/Ed. by M.Bozzano, Yi.Papadopoulos.-Berlin: Springer, 2017.-Vol. 10437.-273 p.-(Lecture Notes in Computer Science). 41. Search Based Software Engineering: Proc./9th International Symposium, SSBSE 2017, Paderborn, Germany, September 2017/Ed. by T.Menzies, J.Petke.-Berlin: Springer, 2017.-Vol. 10452.-197 p.-(Lecture Notes in Computer Science). 42. Software Architecture: Proc./11th European Conference, ECSA 2017, Canterbury, UK, September 2017/Ed. by A.Lopes, R.De_Lemos.-Berlin: Springer, 2017.-Vol. 10475.-217 p. -(Lecture Notes in Computer Science). 43. Fundamentals of Computation Theory: Proc./21st International Symposium, FCT 2017, Bordeaux, France, September 2017/Ed. by R.Klasing, M.Zeitoun.-Berlin: Springer, 2017.-Vol. 10472.-432 p.-(Lecture Notes in Computer Science). 44. Pattern Recognition: Proc./39th German Conference, GCPR 2017, Basel, Switzerland, September 2017/Ed. by V.Roth, Th.Vetter.-Berlin: Springer, 2017.-Vol. 10496.-428 p. -(Lecture Notes in Computer Science). 45. Euro-Par 2017: Parallel Processing: Proc./23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 2017/Ed. by F.F.Rivera, T.F.Pena, J.C.Cabaleiro.-Berlin: Springer, 2017. -Vol. 10417.-725 p.-(Lecture Notes in Computer Science). 46. Interactive Theorem Proving: Proc./8th International Conference, ITP 2017, Brasilia, Brazil, Septeber 2017/Ed. by M.Ayala-Rincon, C.A.Munoz.-Berlin: Springer, 2017.-Vol. 10499. -532 p.-(Lecture Notes in Computer Science). 47. Theory and Applications of Satisfiability Testing - SAT 2017: Proc./20th International Conference, Melbourn,VIC,Australia, August 2017/Ed. by S.Gaspers, T.Walsh.-Berlin: Springer, 2017.-Vol. 10491.-476 p.-(Lecture Notes in Computer Science). 48. Transactions on Large-Scale Data-and Knowledge-Centered Systems XXXIII/Ed. by A.Hameurlain, J.Kung, R.Wagner.-Berlin: Springer, 2017.-Vol. 10430.-185 p.-(Lecture Notes in Computer Science). 49. Transactions on Large-Scale Data-and Knowledge-Centered Systems XXXII/Ed. by A.Hameurlain, J.Kung, R.Wagner.-Berlin: Springer, 2017.-Vol. 10420.-113 p.-(Lecture Notes in Computer Science). 50. Connectomics in Neurolmaging: Proc./1st International Workshop, CNI 2017 Held in Conjunction with MICCAI 2017, Quebec City,QC,Canada, September 2017/Ed. by G.Wu, P.Laurienti, L.Bonilha, B.C.Munsell.-Berlin: Springer, 2017. -Vol. 10511.-171 p.-(Lecture Notes in Computer Science). 51. Integrated Formal Methods: Proc./13th International Conference, IFM 2017, Turin, Italy, September 2017/Ed. by N.Polikarpova, S.Schneider.-Berlin: Springer, 2017.-Vol. 10510.-438 p.-(Lecture Notes in Computer Science). 52. Data Management and Analytics for Medicine and Healthcare: Proc./3rd International Workshop, DMAN 2017, Held at VLDB 2017, Munich, Germany, September 2017/Ed. by E.Begoli, F.Wang, G.Luo.-Berlin: Springer, 2017.-Vol. 10494. -155 p.-(Lecture Notes in Computer Science). 53. Cooperative Design, Visualization, and Engineering: Proc./14th International Conference, CDVE 2017, Mallorca, Spain, September 2017/Ed. by Y.Luo.-Berlin: Springer, 2017. -Vol. 10451.-300 p.-(Lecture Notes in Computer Science). 54. Research and Advanced Technology for Digital Libraries: Proc./21st International Conference on Theory and Practice of DL, TPDL 2017, Thessaloniki, Greece, September 2017/Ed. by J.Kamps, G.Tsakonas, Ya.Manolopoulos, L.Iliadis.-Berlin: Springer, 2017.-Vol. 10450.-678 p.-(Lecture Notes in Computer Science). 55. Big Data Analytics and Knowledge Discovery: Proc./19th International Conference, DaWaK 2017, Lyon, France, August 2017/Ed. by L.Bellatreche, S.Chakravarthy.-Berlin: Springer, 2017.-Vol. 10440.-488 p.-(Lecture Notes in Computer Science). 56. Constructive Side-Channel Analysis and Secure Design: Revised Selected Papers/8th International Workshop, COSADE 2017, Paris, France, April 2017/Ed. by S.Guilley.-Berlin: Springer, 2017.-Vol. 10348.-299 p.-(Lecture Notes in Computer Science). 57. Parallel Computing Technologies: Proc./14th International Conference, Nizhny Novgorod, Russia, September 2017/Ed. by V.Malyshkin.-Berlin: Springer, 2017.-Vol. 10421. -514 p.-(Lecture Notes in Computer Science). 58. Computer Network Security: Proc./7th International Conference on Mathematical Methods, Models, and Architectures for CWS, MMM-ACNS 2017, Warsaw, Poland, August 2017/Ed. by J.Rak, J.Bay, I.Kotenko, L.Popyack.-Berlin: Springer, 2017.-Vol. 10446.-362 p.-(Lecture Notes in Computer Science). 59. Challenges and Opportunity with Big Data: Revised Selected Papers/19th Monterey Workshop 2016, Beijing, China, October 2016/Ed. by L.Zhang, L.Ren, F.Kordon.-Berlin: Springer, 2017.-Vol. 10228.-209 p.-(Lecture Notes in Computer Science). 60. Cryptographic Hardware and Embedded Systems - CHES 2017: Proc./19th International Conference, Taipei, Taiwan, September 2017/Ed. by W.Fischer, N.Homma.-Berlin: Springer, 2017.-Vol. 10529.-710 p.-(Lecture Notes in Computer Science). 61. Advances in Cryptoligy - CRYPTO 2017, Part I: Proc./37th Annual International Cryptology Conference, Santa Barbara,CA,USA, August 2017/Ed. by J.Katz, H.Shacham.-Berlin: Springer, 2017.-Vol. 10401.-793 p.-(Lecture Notes in Computer Science). 62. Advances in Cryptology - CRYPTO 2017, Part II: Proc./37th Annual International Cryptology Conference, Santa Barbara,CA,USA, August 2017/Ed. by J.Katz, H.Shacham.-Berlin: Springer, 2017.-Vol. 10402.-735 p.-(Lecture Notes in Computer Science). 63. Advances in Cryptology - CRYPTO 2017, Part III: Proc./37th Annual International Cryptology Conference, Santa Barbara,CA,USA, August 2017/Ed. by J.Katz, H.Shacham.-Berlin: Springer, 2017.-Vol. 10403.-713 p.-(Lecture Notes in Computer Science). 64. Database and Expert Systems Applications/ Part I: Proc./28th International Conference, DEXA 2017, Lyon, France, August 2017/Ed. by D.Benslimane, E.Damiani, W.I.Groski, A.Hameurlain.-Berlin: Springer, 2017.-Vol. 10438. -517 p.-(Lecture Notes in Computer Science). 65. Database and Expert Systems Applications, Part II: Proc./28th International Conference, DEXA 2017, Lyon, France, August 2017/Ed. by D.Benslimane, E.Damiani, W.G.Groski, A.Hameurlain.-Berlin: Springer, 2017.-Vol. 10439. -461 p.-(Lecture Notes in Computer Science). 66. Progress in Artificial Intelligence: Proc./18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 2017/Ed. by E.Oliveia, J.Gama, Z.Vale, H.L.Cardoso.-Berlin: Springer, 2017.-Vol. 10423.-895 p. -(Lecture Notes in Artificial Intelligence). 67. Text, Speech, and Dialogue: Proc./20th International Conference, TSD 2017, Prague, Czech Republic, August 2017/ Ed. by K.Ekstein, V.Matousek.-Berlin: Springer, 2017.-Vol. 10415.-520 p.-(Lecture Notes in Artificial Intelligence). 68. Intelligent Virtual Agents: Proc./17th International Conference, IVA 2017, Stockholm, Sweden, August 2017/Ed. by J.Beskow, Ch.Peters, G.Castellano, C.O'Sullivan.-Berlin: Springer, 2017.-Vol. 10498.-473 p.-(Lecture Notes in Artificial Intelligence). 69. Frontiers of Combining Systems: Proc./11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 2017/Ed. by C.Dixon, M.Finger.-Berlin: Springer, 2017.-Vol. 10483.-351 p.-(Lecture Notes in Artificial Intelligence). 70. Industrial Applications of Holonic and Multi-Agent Systems: Proc./8th International Conference, HoloMAS 2017, Lyon, France, August 2017/Ed. by V.Marik, W.Wahlster, T.Strasser, P.Kadera.-Berlin: Springer, 2017.-Vol. 10444. -270 p.-(Lecture Notes in Artificial Intelligence). 71. Intelligent Robotics and Applications, Part I: Proc./10th International Conference, ICIRA 2017, Wuhan, China, August 2017/Ed. by Y.Huang, H.Wu, H.Liu, Z.Yin. -Berlin: Springer, 2017.-Vol. 10462.-887 p.-(Lecture Notes in Artificial Intelligence). 72. Intelligent Robotics and Applications, Part II: Proc./10th International Conference, ICIRA 2017, Wuhan, China, August 2017/Ed. by Y.Huang, H.Wu, H.Liu, Z,Yin. -Berlin: Springer, 2017.-Vol. 10463.-907 p.-(Lecture Notes in Artificial Intelligence). 73. Advances in Computational Intelligence, Part I: Proc./15th Mexican International Conference on AI, MICAI 2016, Cancun, Mexico, October 2016/Ed. by G.Sidorov, O.Herrera-Alcantara.-Berlin: Springer, 2017.-Vol. 10061.-551 p.-(Lecture Notes in Artificial Intelligence). 74. Advances in Soft Computing, Part II: Proc./15th Mexican International Conference on AI, MICAI 2016, Cancun. Mexico, October 2016/Ed. by O.Pichardo-Lagunas, S.Miranda-Jimenez. -Berlin: Springer, 2017.-Vol. 10062.-552 p.-(Lecture Notes in Artificial Intelligence). 75. Шаталин Е.В. Эмпирический мост и задачи тестирования адекватности регрессионных моделей анализа данных: Автореф. дис... канд. ф.-м. наук: 05.13.17.-Новосибирск, 2017.-16 с. -Библиогр.: c.15-16. 76. Скороходов В.А. Графы с нестандартной достижимостью: маршрутизация, случайные процессы и потоковые задачи: Автореф. дис... докт. ф.-м. наук: 05.13.17.-Воронеж, 2017. -32 с.-Библиогр.: c.27-32. 77. Modeling Decisions for Artificial Intelligence: Proc./14th International Conference, MDAI 2017, Kitakyushu, Japan, October 2017/Ed. by V.Torra, Ya.Narukawa, A.Honda, S.Inoue.-Berlin: Springer, 2017.-Vol. 10571.-235 p.-(Lecture Notes in Artificial Intelligence). 78. Data Privacy Management, Cryptocurrencies and Blockchain Technology: Proc./ESORICS 2017 International Workshops, DPM 2017 and CBT 2017, Oslo, Norway, September 2017/Ed. by J.Garcia-Alfaro, G.Navarro-Arribas, H.Hartenstein, J.Herrera-Joancomarti.-Berlin: Springer, 2017. -Vol. 10436.-446 p.-(Lecture Notes in Computer Science). 79. Батура Т.В. Учебная программа дисциплины "Математическая лингвистика и обработка текстов на естественном языке"/ИСИ СО РАН. .- Новосибирск: Изд-во СО РАН, 2017.- 10 с.-Библиогр.: c.9-10.