Hовые поступления с 6 августа по 7 сентября 2015 года
1. Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления: Автореф. дис... канд. ф.-м. наук: 05.13.17.-М., 2015.-24 с. -Библиогр.: c.21-24. 2. Computer Science - Theory and Applications: Proc./10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 2015/Ed. by L.D.Beklemishev, D.V.Musatov.-Berlin: Springer, 2015.-Vol. 9139.-443 p. -(Lecture Notes in Computer Science). 3. Analytical and Stochastic Modelling Techniques and Applications: Proc./22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 2015/Ed. by M.Gribaudo, D.Manini, A.Remke.-Berlin: Springer, 2015.-Vol. 9081.-217 p. -(Lecture Notes in Computer Science). 4. Graph-Based Representations in Pattern Recognition: Proc./10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 2015/Ed. by C.-L.Liu, B.Luo, W.G.Kropatsch, J.Cheng.-Berlin: Springer, 2015.-Vol. 9069. -376 p.-(Lecture Notes in Computer Science). 5. Architecture of Computing Systems - ARCS 2015: Proc./28th International Conference, Porto, Portugal, March 2015/Ed. by L.M.Pinho, W.Karl, A.Cohen, U.Brinkschulte. -Berlin: Springer, 2015.-Vol. 9017.-249 p.-(Lecture Notes in Computer Science). 6. Applied Reconfigurable Computing: Proc./11th International Symposium, ARC 2015, Bochum, Germany, April 2015/Ed. by K.Sano, D.Soudris, M.Hubner, P.C.Diniz.-Berlin: Springer, 2015.-Vol. 9040.-557 p.-(Lecture Notes in Computer Science). 7. Passive and Active Measurement: Proc./16th International Conference, PAM 2015, New York,NY,USA, March 2015/Ed. by J.Mirkovic, Y.Liu.-Berlin: Springer, 2015.-Vol. 8995.-374 p.-(Lecture Notes in Computer Science). 8. Data Science: Proc./30th British International Conference on Databases, BICOD 2015, Edinburgh, UK, July 2015 /Ed. by S,Maneth.-Berlin: Springer, 2015.-Vol. 9147.-221 p. -(Lecture Notes in Computer Science). 9. Big Data Benchmarking: Revised Selected Papers/5th International Workshop, WBDB 2014, Potsdam, Germany, August 2014/Ed. by T.Rabl, K.Sachs, M.Poess, Ch.Baru.-Berlin: Springer, 2015.-Vol. 8991.-157 p.-(Lecture Notes in Computer Science). 10. Frontiers in Algorithmics: Proc./9th International Workshop, FAW 2015, Guilin, China, July 2015/Ed. by J.Wang, C.Yap.-Berlin: Springer, 2015.-Vol. 9130.-335 p.-(Lecture Notes in Computer Science). 11. Pattern Recognition and Image Analysis: Proc./7th Iberian Conference, IbPRIA 2015, Santiago de Compostela, Spain, June 2015/Ed. by R.Paredes, J.S.Cardoso, X.M.Pardo. -Berlin: Springer, 2015.-Vol. 9117.-753 p.-(Lecture Notes in Computer Science). 12. Data Integration in the Life Science: Proc./11th International Conference, DILS 2015, Los Angeles,CA,USA, July 2015/Ed. by N.Ashish, J.-L.Ambite.-Berlin: Springer, 2015.-Vol. 9162.-281 p.-(Lecture Notes in Bioinformatics). 13. Social Computing and Social Media: Proc./International Conference, SCSM 2015, Hald as Part of HCI International 2015, Los Angeles,CA,USA, August 2015/Ed. by G.Meiselwitz. -Berlin: Springer, 2015.-Vol. 9182.-265 p.-(Lecture Notes in Computer Science). 14. E-Voting and Identity: Proc./5th International Conference, VotelD 2015, Bern, Switzerland, September 2015/ Ed. by R.Haenni, R.E.Koenig, D.Wikstrom.-Berlin: Springer, 2015.-Vol. 9269.-173 p.-(Lecture Notes in Computer Science). 15. Computing and Combinatorics: Proc./21st International Conference, COCOON 2015, Beijing, China, August 2015/Ed. by D.Xu, D.Du, D.Du.-Berlin: Springer, 2015.-Vol. 9198.-785 p. -(Lecture Notes in Computer Science). 16. Graph Transformation: Proc./8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 2015/Ed. by B.Westfechtel, F.Parisi-Presicce. -Berlin: Springer, 2015.-Vol. 9151.-283 p.-(Lecture Notes in Computer Science). 17. Theory and Practice of Model Transformations: Proc./8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 2015/Ed. by D.Kolovos, M.Wimmer. -Berlin: Springer, 2015.-Vol. 9152.-231 p.-(Lecture Notes in Computer Science). 18. Web Reasoning and Rule Systems: Proc./9th International Conference, RR 2015, Berlin, Germany, August 2015/Ed. by B.Ten_Cate, A.Mileo.-Berlin: Springer, 2015.-Vol. 9209.-131 p.-(Lecture Notes in Computer Science). 19. Computational Science and Its Applications - ICCSA 2015, Part I: Proc./15th International Conference, Banff,AB,Canada, June 2015/Ed. by O.Gervasi, B.Murgante, S.Misra, M.L.Gavrilova.-Berlin: Springer, 2015.-Vol. 9155. -582 p.-(Lecture Notes in Computer Science). 20. Computational Science and Its Applications - ICCSA 2015, Part II: Proc./15th International Conference, Banff,AB,Canada. July 2015/Ed. by O.Gervasi, B.Murgante, S.Misra, M.L.Gavrilova.-Berlin: Springer, 2015.-Vol. 9156. -777 p.-(Lecture Notes in Computer Science). 21. Computational Science and Its Applications - ICCSA 2015, Part III: Proc./15th International Conference, Banff,AB,Canada, July 2015/Ed. by O.Gervasi, B.Murgante, S.Misra, M.L.Gavrilova.-Berlin: Springer, 2015.-Vol. 9157. -826 p.-(Lecture Notes in Computer Science). 22. Computational Science and Its Applications - ICCSA 2015, Part IV: Proc./15th International Conference, Banff,AB,Canada, June 2015/Ed. by O.Gervasi, B.Murgante, S.Misra, M.L.Gavrilova.-Berlin: Springer, 2015.-Vol. 9158. -762 p.-(Lecture Notes in Computer Science). 23. 3D Research Challenges in Cultural Heritage: A Roadmap in Digital Heritage Preservation/Ed. by M.Ioannides, E.Quak. -Berlin: Springer, 2015.-Vol. 8355.-143 p.-(Lecture Notes in Computer Science). 24. Ad-hoc, Mobile, and Wireless Networks: Proc./14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 2015/Ed. by S.Papavassiliou, S.Ruehrup.-Berlin: Springer, 2015.-Vol. 9143.-418 p.-(Lecture Notes in Computer Science). 25. Engineering the Web in the Big Data Era: Proc./15th International Conference, ICWE 2015, Rotterdam, The Netherlandsm June 2015/Ed. by P.Cimiano, F.Frasincar, G.-J.Houben, D.Schwabe.-Berlin: Springer, 2015.-Vol. 9114. -733 p.-(Lecture Notes in Computer Science). 26. The Semantic Web: Latest Advances and New Domains: Proc./12th European Semantic Web Conference, ESWC 2015. Portoroz, Slovenia, May 2015/Ed. by F.Gandon, M.Sabou, H.Sack, C.D'Amato.-Berlin: Springer, 2015.-Vol. 9088.-830 p. -(Lecture Notes in Computer Science). 27. Artificial General Intelligence: Proc./8th International Conference, AGI 2015, Berlin, Germany, July 2015/Ed. by J.Bieger, B.Goertzel, A.Potapov.-Berlin: Springer, 2015.-Vol. 9205.-416 p.-(Lecture Notes in Artificial Intelligence). 28. Automated Deduction - CADE-25: Proc./25th International Conference on Automated Deduction, Berlin, Germany, August 2015/Ed. by A.P.Felty, A.Middeldorp.-Berlin: Springer, 2015. -Vol. 9195.-640 p.-(Lecture Notes in Artificial Intelligence). 29. Artificial Intelligence in Education: Proc./17th International Conference, AIED 2015, Madrid, Spain, June 2015 /Ed. by C.Conati, N.Heffernan, A.Mitrovic, M.F.Verdejo. -Berlin: Springer, 2015.-Vol. 9112.-931 p.-(Lecture Notes in Artificial Intelligence). 30. Agents and Data Mining Interaction: Revised Selected Papers/10th International Workshop, ADMI 2014, Paris, France. May 2014/Ed. by L.Cao, Y.Zeng, B.An, A.L.Symeonidis. -Berlin: Springer, 2015.-Vol. 9145.-125 p.-(Lecture Notes in Artificial Intelligence). 31. Hybrid Artificial Intelligent Systems: Proc./10th International Conference, HAIS 2015, Bilbao, Spain, June 2015 /Ed. by E.Onieva, I.Santos, E.Osaba, H.Quintian.-Berlin: Springer, 2015.-Vol. 9121.-740 p.-(Lecture Notes in Artificial Intelligence). 32. Bioinformatics and Biomedical Engineering, Part I: Proc./3rd International Conference, IWBBIO 2015, Granada, Spain, April 2015/Ed. by F.Ortuno, I.Rojas.-Berlin: Springer, 2015.-Vol. 9043.-674 p.-(Lecture Notes in Bioinformatics). 33. Bioinformatics and Biomedical Engineering, Part II: Proc./3rd International Conference, IWBBIO 2015, Granada, Spain, April 2015/Ed. by F.Ortuno, I.Rojas.-Berlin: Springer, 2015.-Vol. 9044.-734 p.-(Lecture Notes in Bioinformatics). 34. Bioinformatics Rerseach and Applications: Proc./11th International Symposium, ISBRA 2015, Norfolk, USA, June 2015/ Ed. by R.Harrison, Ya.Li, I.Mandoiu.-Berlin: Springer, 2015. -Vol. 9096.-446 p.-(Lecture Notes in Bioinformatics). 35. Distributed, Ambient, and Pervasive Interactions: Proc./3rd International Conference, DAPI 2015, Held as Part of HCI Ibternational 2015, Los Angeles,CA,USA, August 2015/ Ed. by N.Streitz, P.Markopoulos.-Berlin: Springer, 2015. -Vol. 9189.-702 p.-(Lecture Notes in Computer Science). 36. Human Aspects of Information Security, Privacy, and Trust: Proc./3rd International Conference, HAS 2015, Held as Part of HCI International 2015, Los Angeles,CA,USA, August 2915/Ed. by T.Tryfonas, I.Askoxylakis.-Berlin: Springer, 2015.-Vol. 9190.-719 p.-(Lecture Notes in Computer Science). 37. Human Interface and Management of Information: Information and Knowledge Design, Part I: Proc./17th International Conference, HCI International 2015, Los Angeles,CA,USA, August 2015/Ed. by S.Yamamoto.-Berlin: Springer, 2015.-Vol. 9172.-693 p.-(Lecture Notes in Computer Science). 38. Human Interface and the Management of Information: Information and Knowledge in Contex, Part II: Proc./17th International Conference, HCI International 2015, Los Angeles,CA,USA, August 2015/Ed. by S.Yamamoto.-Berlin: Springer, 2015.-Vol. 9173.-689 p.-(Lecture Notes in Computer Science). 39. HCI in Business: Proc./2nd International Conference, HCIB 2015, Held as Part of HCI International 2015, Los Angeles,CA,USA, August 2015/Ed. by F.F.-H.Nah, C.-H.Tan. -Berlin: Springer, 2015.-Vol. 9191.-783 p.-(Lecture Notes in Computer Science). 40. Human-Computer Interaction: Design and Evaluation, Part I: Proc./17th International Conference, HCI Internatonal 2015, Los Angeles,CA,USA, August 2015/Ed. by M.Kurosu. -Berlin: Springer, 2015.-Vol. 9169.-556 p.-(Lecture Notes in Computer Science). 41. Human-Computer Interaction: Interaction Technologies, Part II: Proc./17th International Conference, HCI International 2015, Los Angeles,CA,USA, August 2015/Ed. by M.Kurosu.-Berlin: Springer, 2015.-Vol. 9170.-812 p.-(Lecture Notes in Computer Science). 42. Detection of Intrusions and Malware, and Vulnerability Assessmant: Proc./12th International Conference, DIMVA 2015, Milan, Italy, July 2015/Ed. by M.Almgren, V.Gulisano, F.Maggi.-Berlin: Springer, 2015.-Vol. 9148.-351 p.-(Lecture Notes in Computer Science). 43. Computational Forensics: Revised Selected Papers/5th International Workshop, IWCF 2012, Tsukuba, Japan, November 2012 and 6th International Workshop, IWCF 2014, Stockholm, Sweden, August 2014/Ed. by U.Garain, F.Shafait.-Berlin: Springer, 2015.-Vol. 8915.-213 p.-(Lecture Notes in Computer Science). 44. Fast Software Encryption: Revised Selected Papers/21st International Workshop, FSE 2014, London, UK, March 2014/Ed. by C.Cid, Ch.Rechberger.-Berlin: Springer, 2015.-Vol. 8540. -636 p.-(Lecture Notes in Computer Science). 45. Intelligence and Security Informatics: Proc./Pacific Asia Workshop, PAISI 2015, Ho Chi Minh City, Vietnam, May 2015/Ed. by M.Chau, G.A.Wang, H.Chen.-Berlin: Springer, 2015. -Vol. 9074.-113 p.-(Lecture Notes in Computer Science). 46. Foundations and Practice of Security: Revised Selected Papers/7th International Symposium, FPS 2014, Montreal,QC,Canada, November 2014/Ed. by F.Cuppens, J.Garcia-Alfaro, N.Z.Heywood, P.W.L.Fong.-Berlin: Springer, 2015.-Vol. 8930.-375 p.-(Lecture Notes in Computer Science). 47. Information Security and Privacy: Proc./20th Australasian Conference, ACISP 2015, Brisbane,QLD,Australia, June 2015/Ed. by E.Foo, D.Stebila.-Berlin: Springer, 2015. -Vol. 9144.-510 p.-(Lecture Notes in Computer Science). 48. Progress in Cryptology - LATINCRYPT 2015: Proc./4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 2015/ Ed. by K.Lauter, F.Rodriguez-Henriques.-Berlin: Springer, 2015.-Vol. 9230.-385 p.-(Lecture Notes in Computer Science). 49. Stabilization, Safety, and Security of Distributed Systems: Proc./17th International Symposium, SSS 2015, Edmonton,AB,Canada, August 2015/Ed. by A.Pelc, A.A,Schwarzmann.-Berlin: Springer, 2015.-Vol. 9212.-288 p. -(Lecture Notes in Computer Science). 50. Financial Cryptography and Data Security: Revised Selected Papers/19th International Conference, FC 2015, San Juan, Puerto Rico, January, 2015/Ed. by R.Bohme, T.Okamoto. -Berlin: Springer, 2015.-Vol. 8975.-574 p.-(Lecture Notes in Computer Science). 51. Modelling Foundations and Applications: Proc./11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 2015/Ed. by G.Taentzer, F.Bordeleau. -Berlin: Springer, 2015.-Vol. 9153.-203 p.-(Lecture Notes in Computer Science). 52. Computer Vision Systems: Proc./10th International Conference, ICVS 2015, Copenhagen, Danmark, July 2015/Ed. by L.Nalpantidis, V.Kruger, J.-O.Eklundh, A.Gasteratos.-Berlin: Springer, 2015.-Vol. 9163.-544 p.-(Lecture Notes in Computer Science). 53. Hybrid Learning: Innovation in Educational Practices: Proc./8th International Conference, ICHL 2015, Wuhan, China, July 2015/Ed. by S.K.S.Cheung, L.-F.Kwok, H.Yang, J.Fong. -Berlin: Springer, 2015.-Vol. 9167.-414 p.-(Lecture Notes in Computer Science). 54. High Performance Computing: Proc./30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 2015/Ed. by J.M.Kunkel, Th.Ludwig.-Berlin: Springer, 2015.-Vol. 9137.-530 p.-(Lecture Notes in Computer Science). 55. Intelligent Computer Mathematics: Proc./International Conference, CICM 2015, Washington,DC,USA, July 2015/Ed. by M.Kerber, J.Carette, C.Kaliszyk, F.Rabe.-Berlin: Springer, 2015.-Vol. 9150.-359 p.-(Lecture Notes in Artificial Intelligence). 56. Foundations of Augmented Cognition: Proc./9th International Conference, AC 2915, Held as Part of HCI International 2015, Los Angeles,CA,USA, August 2015/Ed. by D.D.Schmorrow, C.M.Fidopiastis.-Berlin: Springer, 2015.-Vol. 9183.-837 p.-(Lecture Notes in Artificial Intelligence). 57. Symbolic and Quantitative Approaches to Reasoning with Uncertainty: Proc./13th European Conference, ECSQARU 2015, Compiegne, France, July 2015/Ed. by S.Destercke, T.Denoeux. -Berlin: Springer, 2015.-Vol. 9161.-554 p.-(Lecture Notes in Artificial Intelligence). 58. Advances in Data Mining: Applications and Theoretical Aspects: Proc./15th Industrial Conference, ICDM 2015, Hamburg, Germany, July 2015/Ed. by P.Perner.-Berlin: Springer, 2015.-Vol. 9165.-279 p.-(Lecture Notes in Artificial Intelligence). 59. Шелманов А.О. Исследование матодов автоматического анализа текстов и разработка интегрированной системы семантико-синтаксического анализа: Автореф. дис... канд. тех. наук: 05.13.17.-М., 2015.-27 с.-Библиогр.: c.26-27. 60. Мурзин Ф.А. Организация и анализ многомерных и неоднородных данных в задачах обработки изображений, вычислительной математике, геофизике и лингвистике: Автореф. дис... докт. тех. наук: 05.13.17.-Новосибирск, 2015.-23 с. -Библиогр.: c.16-23. 61. Мурзин Ф.А. Организация и анализ многомерных и неоднородных данных в задачах обработки изображений, вычислительной математике, геофизике и лингвистике: Дис... докт. тех. наук: 05.13.17.-Новосибирск, 2015.-279 с. -Библиогр.: c.252-273.