Hовые поступления с 19 апреля по 15 мая 2017 года
1. Smart Graphics: Revised Selected Papers/13th International Symposium, SG 2015, Chengdu, China, August 2015/Ed. by Y.Chen, M.Christie, W.Tan.-Berlin: Springer, 2017.-Vol. 9317.-215 p. -(Lecture Notes in Computer Science). 2. Principles of Security and Trust: Proc./6th International Conference, POST 2017 Held as Part of the European Joint Conferences ETAPS 2017, Uppsala, Sweden, April 2017/Ed. by M.Maffei, M.Ryan.-Berlin: Springer, 2017.-Vol. 10204.-321 p. -(Lecture Notes in Computer Science). 3. Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./23rd International Conference, TACAS 2017 Held as Part of ETAPS 2017, Uppsala, Sweden, April 2017/Ed. by A.Legay, T.Margaria.-Berlin: Springer, 2017.-Vol. 10205.-609 p. -(Lecture Notes in Computer Science). 4. Tools and Algorithms for the Construction and Analysis of Systems, Part II: Proc./23rd International Conference, TACAS 2017 Held as part of ETAPS 2017, Uppsala, Sweden, April 2017/Ed. by A.Legay, T.Margaria.-Berlin: Springer, 2017.-Vol. 10206.-411 p. -(Lecture Notes in Computer Science). 5. Bioinformatics and Biomedical Engineering, Part I: Proc./5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 2017/Ed. by I.Rojas, F.Ortuno.-Berlin: Springer, 2017.-Vol. 10208. -673 p.-(Lecture Notes in Bioinformatics). 6. Bioinformatics and Biomedical Engineering, Part II: Proc./5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 2017/Ed. by I.Rojas, F.Ortuno.-Berlin: Springer, 2017.-Vol. 10209.-741 p.-(Lecture Notes in Bioinformatics). 7. Advances in Cryptology - EUROCRYPT 2017, Part I: Proc./36th Annual International Conference on the Theory and Applications of Cryptigraphic Techniques, Paris, France, April 2017/Ed. by J.-S.Coron, J.B.Nielsen.-Berlin: Springer, 2017.-Vol. 10210.-709 p.-(Lecture Notes in Computer Science). 8. Advances in Cryptology - EUROCRYPT 2017, Part II: Proc./36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 2017/Ed. by J.-S.Coron, J.B.Nielsen.-Berlin: Springer, 2017.-Vol. 10211.-677 p.-(Lecture Notes in Computer Science). 9. Advances in Cryptology - EUROCRYPT 2017, Part III: Proc./36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 2017/Ed. by J.-S.Coron, J.B.Nielsen.-Berlin: Springer, 2017. -Vol. 10212.-641 p.-(Lecture Notes in Computer Science). 10. Genetic Programming: Proc./20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 2017/Ed. by J.Mcdermott, M.Castelli, L.Sekanina, E.Haasdijk.-Berlin: Springer, 2017.-Vol. 10196.-359 p.-(Lecture Notes in Computer Science). 11. Evolutionary Computation in Combinatorial Optimization: Proc./17th European Conference, EvoCOP, Amsterdam, The Netherlands, April 2017/Ed. by B.Hu, M.Lopez-Ibanez.-Berlin: Springer, 2017.-Vol. 10197.-249 p.-(Lecture Notes in Computer Science). 12. Applications of Evolutionary Computation, Part I: Proc./20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 2017/Ed. by G.Squillero, K.Sim.-Berlin: Springer, 2017.-Vol. 10199.-905 p.-(Lecture Notes in Computer Science). 13. Applications of Evolutionary Computations, Part II: Proc./20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 2017/Ed. by G.Squillero, K.Sim.-Berlin: Springer, 2017.-Vol. 10200.-243 p.-(Lecture Notes in Computer Science). 14. Computer Vision - ACCV 2016 Workshops, Part I: Revised Selected Papers/ACCV 2016 International Workshops, Taipei, Taiwan, November 2016/Ed. by C.-S.Chen, J.Lu, K.-K.Ma.-Berlin: Springer, 2017.-Vol. 10116.-652 p.-(Lecture Notes in Computer Science). 15. Computer Vision - ACCV 2016 Workshops, Part II: Revised Selected Papers/ACCV 2016 International Workshops, Taipei, Taiwan, November 2016/Ed. by C.-S.Chen, J.Lu, K.-K.Ma.-Berlin: Springer, 2017.-Vol. 10117.-640 p.-(Lecture Notes in Computer Science). 16. Computer Vision - ACCV 2016 Workshops, Part III: Revised Selected Papers/ACCV 2016 International Workshops, Taipei, Taiwan, November 2016/Ed. by C.-S.Chen, J.Lu, K.-K.Ma.-Berlin: Springer, 2017.-Vol. 10118.-660 p.-(Lecture Notes in Computer Science). 17. Persuasive Technology: Development and Implementation of Personolized Technologies to Change Attitudes and Behaviors: Proc./12th International Conference, PERSUASIVE 2017, Amsterdam, The Netherlands, April 2017/Ed. by P.W.De_Vires, H.Oinas-Kukkonen, L.Siemons, N.Beerlage-De_Jong.-Berlin: Springer, 2017.-Vol. 10171.-308 p.-(Lecture Notes in Computer Science). 18. Smart Card Research and Advanced Applications: Revised Selected Papers/15th International Conference, CARDIS 2016, Cannes, France, November 2016/Ed. by K.Lemke-Rust, M.Tunstall. -Berlin: Springer, 2017.-Vol. 10146.-265 p.-(Lecture Notes in Computer Science). 19. Transactions on Edutainment XIII/Ed. by Z.Pan, A.D.Cheok, W.Muller.-Berlin: Springer, 2017.-Vol. 10092.-304 p.-(Lecture Notes in Computer Science). 20. Computational Modeling of Objects Presented in Images: Fundamentals, Methods, and Applications: Revised Selected Papers/5th International Symposium, CompIMAGE 2016, Niagara Falls,NY,USA, September 2016/Ed. by R.P.Barneva, V.E.Brimkov, J.M.R.S.Tavares.-Berlin: Springer, 2017.-Vol. 10149.-259 p. -(Lecture Notes in Computer Science). 21. On the Move to Meaningful Internet Systems: OTM 2016 Workshops: Revised Selected Papers/Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 2016/Ed. by I.Ciuciu, Ch.Debruyne, H.Panetto, G.Weichhart.-Berlin: Springer, 2017.-Vol. 10034.-342 p.-(Lecture Notes in Computer Science). 22. Video Analytics: Face and Facial, Expression Recognition and Audience Measurement: Revised Selected Papers/3rd International Workshop, VAAM 2016 and 2nd International Workshop, FFER 2016, Cancun, Mexico, December 2016/Ed. by K.Nasrollahi, C.Distante. -Berlin: Springer, 2017.-Vol. 10165.-163 p.-(Lecture Notes in Computer Science). 23. Computational Color Imaging: Proc./6th International Workshop, CCIW 2017, Milan, Spain, March 2017/Ed. by S.Bianco, R.Schettini, A.Tremeau, S.Tominaga.-Berlin: Springer, 2017.-Vol. 10213.-283 p.-(Lecture Notes in Computer Science). 24. Data Management on New Hardware: Revised Selected Papes/7th International Workshop, ADMS 2016, and 4th International Workshop,IMDM 2016, New Delhi, India, September 2016/Ed. by S.Bianas, R.Bordawekar, T.Lahiri, J.Levandoski.-Berlin: Springer, 2017.-Vol. 10195.-167 p.-(Lecture Notes in Computer Science). 25. Web and Wireless Geographical Information Systems: Proc./15th International Symposium, W2GIS 2017, Shanghai, China, May 2017/Ed. by D.Brosset, Ch.Claramunt, X.Li, T.Wang.-Berlin: Springer, 2017.-Vol. 10181.-179 p.-(Lecture Notes in Computer Science). 26. Information Security Applications: Revised Selected Papers/17th International Workshop, WISA 2016, Jeju Island, Korea, August 2016/Ed. by D.Choi, S.Guilley.-Berlin: Springer, 2017.-Vol. 10144.-398 p.-(Lecture Notes in Computer Science). 27. Applied Reconfigurable Computing: Proc./13th International Symposium, ARC 2017, Delft, The Netherlands, April 2017/Ed. by S.Wong, A.C.Beck, K.Bertels, L.Carro.-Berlin: Springer, 2017. -Vol. 10216.-332 p.-(Lecture Notes in Computer Science). 28. Information Security and Cryptology: Revised Selected Papers/12th International Conference, Inscrypt 2016, Beijing, China, November 2016/Ed. by K.Chen, D.Lin, M.Yung.-Berlin: Springer, 2017.-Vol. 10143.-544 p.-(Lecture Notes in Computer Science). 29. Architecture of Computing Systems - ARCS 2017: Proc./30th International Conference, Vienna, Austria, April 2017/Ed. by J.Knoop, W.Karl, M.Schulz, K.Inoue.-Berlin: Springer, 2017.-Vol. 10172.-262 p.-(Lecture Notes in Computer Science). 30. Enterprise Security: Revised Selected Papers/2nd International Workshop, ES 2015, Vancouver,BC,Canada, November 2015/Ed. by V.Chang, M.Ramachandran, R.J.Walters, G.Wills.-Berlin: Springer, 2017.-Vol. 10131.-277 p.-(Lecture Notes in Computer Science). 31. Foundations of Software Science and Computation Structures: Proc./20th International Conference, FOSSACS 2017 Held as Part of ETAPS 2017, Uppsala, Sweden, April 2017/Ed. by J.Esparza, A.S.Murawski.-Berlin: Springer, 2017.-Vol. 10203.-568 p.-(Lecture Notes in Computer Science). 32. Programming Languages and Systems: Proc./26th European Symposium on Programming, ESOP 2017 Held as Part of ETAPS 2017, Uppsala, Sweden, April 2017/Ed. by H.Yang.-Berlin: Springer, 2017. -Vol. 10201.-992 p.-(Lecture Notes in Computer Science). 33. Transactions on Computational Science XXIX/Ed. by M.L.Gavrilova, C.J.K.Tan.-Berlin: Springer, 2017.-Vol. 10220.-139 p.-(Lecture Notes in Computer Science). 34. Computer Vision - ACCV 2016, Part IV: Revised Selected Papers/13th Asian Conference on CV, Taipei, Taiwan, November 2016/ Ed. by S.-H.Lai, V.Lepetit, K.Nishino, Y.Sato.-Berlin: Springer, 2017.-Vol. 10114.-556 p.-(Lecture Notes in Computer Science). 35. Маличенко Д.А. Разработка и исследование методов хранения и передачи информации в распределенных системах: Автореф. дис... канд. тех. наук: 05.12.13.-Санкт-Петербург, 2017.-20 с. -Библиогр.: c.19-20. 36. Мохов А.С. Метод классификации библиографической информации на основе комбинированных профилей классов с учетом структуры документов: Автореф. дис... канд. тех. наук: 05.13.01.-Нижний Новгород, 2017.-23 с.-Библиогр.: c.21-23. 37. Algorithmic Aspects of Cloud Computing: Revised Selected Papers/2nd International Worklshop, ALGOCLOUD 2016, Aarhus. Denmark, August 2016/Ed. by T.Sellis, K.Oikonomou.-Berlin: Springer, 2017.-Vol. 10230.-183 p.-(Lecture Notes in Computer Science). 38. NASA Formal Methods: Proc./9th International Symposium, NFM 2017, Moffett Field,CA,USA, May 2017/Ed. by C.Barret, M.Davies, T.Kahsai.-Berlin: Springer, 2017.-Vol. 10227.-436 p.-(Lecture Notes in Computer Science). 39. Progress in Cryptology - AFRICACRYPT 2017: Proc./9th International Conference on Cryptology in Africa, Dakar, Senegal, May 2017/Ed. by M.Joye, A.Nitaj.-Berlin: Springer, 2017.-Vol. 10239.-231 p.-(Lecture Notes in Computer Science). 40. Structured Object-Oriented Formal Language and Method: Revised Selected Papers/6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 2016/Ed. by S.Liu, Z.Duan, C.Tian, F.Nagoya.-Berlin: Springer, 2017.-Vol. 10189.-239 p.-(Lecture Notes in Computer Science). 41. Intelligence and Security Informatics: Proc./12th Pacific Asia Workshop, PAISI 2017, Jeju Island, South Korea, May 2017/Ed. by M.Chau, G.A.Wang, H.Chen.-Berlin: Springer, 2017.-Vol. 10241. -151 p.-(Lecture Notes in Computer Science). 42. Formal Aspects of Component Software: Revised Selected Papers/13th International Conference, FACS 2016, Besancon, France, October 2016/Ed. by O.Kouchnarenko, R.Khosravi.-Berlin: Springer, 2017.-Vol. 10231.-281 p.-(Lecture Notes in Computer Science). 43. Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries: Revised Selected Papers/2nd IW, BrainLes 2016, with the Challenges on BRATS, ISLES and mTOP 2016 Held in Conjunction with MICCAI 2016, Athens, Greece, October 2016. -Berlin: Springer, 2017.-Vol. 10154.-292 p.-(Lecture Notes in Computer Science). 44. Mathematical Morphology and Its Applications to Signal and Image Processing: Proc./13th International Symposium, ISMM 2017, Fontainebleau, France, May 2017/Ed. by J.Angulo, S.Velasco-Forero, F.Meyer.-Berlin: Springer, 2017.-Vol. 10225. -500 p.-(Lecture Notes in Computer Science). 45. Algorithms and Complexity: Proc./10th International Conference, CIAC 2017, Athens, Greece, May 2017/Ed. by D.Fotakis, A.Pagourtzis, V.T.Paschos.-Berlin: Springer, 2017. -Vol. 10236.-486 p.-(Lecture Notes in Computer Science). 46. Green, Pervasive, and Cloud Computing: Proc./12th International Conference, GPC 2017, Cetara, Italy. May 2015/Ed. by M.H.A.Au, A.Castiglione, K.-K.R.Choo, F.Palmieri.-Berlin: Springer, 2017.-Vol. 10232.-815 p.-(Lecture Notes in Computer Science). 47. Computer Vision - ACCV 2016, Part I: Revised Selected Papers/13th Asian Conference on Computer Vision, Taipei, Taiwan, November 2016/Ed. by S.-H.Lai, V.Lepetit, K.Nishino, Y.Sato. -Berlin: Springer, 2017.-Vol. 10111.-438 p.-(Lecture Notes in Computer Science). 48. Computer Vision - ACCV 2016, Part II: Revised Selected Papers/13th Asian Conference on Computer Vision, Taipei, Taiwan, November 2016/Ed. by S.-H.Lai, V.Lepetit, K.Nishino, Y.Sato. -Berlin: Springer, 2017.-Vol. 10112.-435 p.-(Lecture Notes in Computer Science). 49. Computer Vision - ACCV 2016, Part III: Revised Selected Papers/13th Asian Conference on Computer Vision, Taipei, Taiwan, November 2016/Ed. by S.-H.Lai, V.Lepetit, K.Nishino, Y.Sato. -Berlin: Springer, 2017.-Vol. 10113.-490 p.-(Lecture Notes in Computer Science). 50. Computer Vision - ACCV 2016, Part V: Revised Selected Papers/13th Asian Conference on Computer Vision, Taipei, Taiwan, November 2016/Ed. by S.-H.Lai, V.Lepetit, K.Nishino, Y.Sato. -Berlin: Springer, 2017.-Vol. 10115.-434 p.-(Lecture Notes in Computer Science). 51. Numerical Analysis and Its Applications: revised Selected Papers/6th International Conference, NAA 2016, Lozenetz, Bulgaria, June 2016/Ed. by I.Dimov, I.Farago, L.Vulkov.-Berlin: Springer, 2017.-Vol. 10187.-785 p.-(Lecture Notes in Computer Science). 52. Codes, Cryptology and Information Security. In Honor of Claude Carlet: Proc./2nd International Conference, C2SI 2017, Rabat, Morocco, April 2017/Ed. by S.El_Hajji, A.Nitaj, E.M.Souidi. -Berlin: Springer, 2017.-Vol. 10194.-384 p.-(Lecture Notes in Computer Science). 53. Arithmetic of Finite Fields: Revised Selected Papers/6th International Workshop, WAIFI 2016, Ghent, Belgium, July 2016/Ed. by S.Duquesne, S.Petkova-Nikova.-Berlin: Springer, 2017.-Vol. 10064.-277 p.-(Lecture Notes in Computer Science). 54. Lightweight Cryptography for Security and Privacy: Revised Selected Papers/5th International Workshop, LightSec 2016, Aksaray, Turkey, September 2016/Ed. by A.Bogdanov.-Berlin: Springer, 2017.-Vol. 10098.-149 p.-(Lecture Notes in Computer Science). 55. Symbiotic Interaction: Revised Selected Papers/5th International Workshop, Symbiotic 2016, Padua, Italy, September 2016/Ed. by L.Gamberini, A.Spagnolli, G.Jacucci, B.Blankertz. -Berlin: Springer, 2017.-Vol. 9961.-181 p.-(Lecture Notes in Computer Science). 56. Interoperability and Open-Source Solutions for the Internet of Things: Invited Papers/2nd International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 2016/Ed. by I.P.Zarko, A.Broering, S.Soursos, M.Serrano.-Berlin: Springer, 2017.-Vol. 10218.-187 p.-(Lecture Notes in Computer Science). 57. Reproducible Research in Pattern Recognition: Revised Selected Papers/1st Internation Workshop, RRPR 2016, Cancun, Mexico, December 2016/Ed. by B.Kerautret, M.Colom, P.Monasse. -Berlin: Springer, 2017.-Vol. 10214.-179 p.-(Lecture Notes in Computer Science). 58. Communication Technologies for Vehicles: Proc./12th International Workshop Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 2017/Ed. by A.Pirovano, M.Berbineau, A.Vinel, C.Guerber.-Berlin: Springer, 2017.-Vol. 10222.-143 p. -(Lecture Notes in Computer Science). 59. Ambient Intelligence: Proc./13th European Conference, AmI 2017, Malaga, Spain, April 2017/Ed. by A.Braun, R.Wichert, A.Mana. -Berlin: Springer, 2017.-Vol. 10217.-279 p.-(Lecture Notes in Computer Science). 60. Mastering Scale and Complexity in Software Reuse: Proc./16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 2017/Ed. by G.Botterweck, C.Werner.-Berlin: Springer, 2017.-Vol. 10221.-225 p.-(Lecture Notes in Computer Science). 61. Deductive Software Verification - The KeY Book: From Theory to Practice/Ed. by W.Ahrendt, B.Beckert, R.Bubel, R.Hahnle. -Berlin: Springer, 2017.-Vol. 10001.-702 p.-(Lecture Notes in Computer Science). 62. Theory and Applications of Models of Computation: Proc./14th Annual Conference, TAMC 2017, Bern, Switzerland, April, 2017/Ed. by T.V.Gopal, G.Jager, S.Steila.-Berlin: Springer, 2017.-Vol. 10185.-698 p.-(Lecture Notes in Computer Science). 63. Advances in Artificial Intelligence: Proc./30th Canadian Conference on AI, Canadian AI 2017, Edmonton,AB,Canada, May 2017/ Ed. by M.Mouhoub, Ph.Langlais.-Berlin: Springer, 2017.-Vol. 10233. -428 p.-(Lecture Notes in Artificial Intelligence). 64. Conflict Resolution in Decision Making: Revised Selected Papers/2nd International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 2016/Ed. by R.Aydogan, T.Baarsiag, E.Gerding, C.M.Jonker.-Berlin: Springer, 2017.-Vol. 10238.-149 p. -(Lecture Notes in Artificial Intelligence). 65. New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 2015/Ed. by M.Otake, S.Kurahashi, Y.Ota, K.Satoh.-Berlin: Springer, 2017. -Vol. 10091.-548 p.-(Lecture Notes in Artificial Intelligence). 66. Research in Computational Molecular Biology: Proc./21st Annual International Conference, RECOMB 2017, Hong Kong, China, May 2017/Ed. by S.C.Sahinalp.-Berlin: Springer, 2017.-Vol. 10229. -406 p.-(Lecture Notes in Bioinformatics).