Hовые поступления с 13 августа по 8 сентября 2014 года
1. Privacy Enhancing Technologies: Proc./14th International Symposium, PETS 2014, Amsterdam, The Netherlands, July 2014/Ed. by E.De_Cristofano, S.J.Murdoch. -Berlin: Springer, 2014.-Vol. 8555.-333 p.-(Lecture Notes in Computer Science). 2. Applied Cryptography and Network Security: Proc./12th International Conference, ACNS 2014, Lausanne, Switzerland, June 2014/Ed. by I.Boureanu, Ph.Owesarski, S.Vaudenay. -Berlin: Springer, 2014.-Vol. 8479.-586 p.-(Lecture Notes in Computer Science). 3. Selected Areas in Cryptography - SAC 2013: Revised Selected Papers/20th International Cnference, Burnaby,BC,Canada, August 2013/Ed. by T.Lange, K.Lauter, P.Lisonek.-Berlin: Springer, 2014.-Vol. 8282.-590 p. -(Lecture Notes in Computer Science). 4. Semantic Technology: Revised Selected Papers/3rd Joint International Conference, JIST 2013, Seoul, South Korea, November 2013/Ed. by W.Kim, Y.Ding, H.-G.Kim.-Berlin: Springer, 2014.-Vol. 8388.-462 p.-(Lecture Notes in Computer Science). 5. Formal Methods for Executable Software Models: Advanced Lectures/14th International School on FM for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 2014/Ed. by M.Bernardo, F.Damiani, R.Hahnle, E.B.Johnsen.-Berlin: Springer, 2014.-Vol. 8483. -343 p.-(Lecture Notes in Computer Science). 6. Abstract State Machines Alloy, B, TLA, VDM, and Z: Proc./4th International Conference, ABZ 2014, Toulouse, France, June 2014/Ed. by Y.A.Ameur, K.-D.Schewe.-Berlin: Springer, 2014.-Vol. 8477.-336 p.-(Lecture Notes in Computer Science). 7. Interactive Knowledge Discovery and Data Mining in Biomedical Informatics: State-of-the-Art and Future Challenges/Ed. by A.Holzinger, I.Jurisica.-Berlin: Springer, 2014.-Vol. 8401.-357 p.-(Lecture Notes in Computer Science). 8. Integration of AI and OR Techniques in Constraint Programming: Proc./11th International Conference, CPAIOR 2014, Cork, Ireland, May 2014/Ed. by H.Simonis.-Berlin: Springer, 2014.-Vol. 8451.-482 p.-(Lecture Notes in Computer Science). 9. Combinatorial Pattern Matching: Proc./25th Annual Symposium, CPM 2014, Moscow, Russia, June 2014/Ed. by A.S.Kulikov, S.O.Kuznetsov, P.Pevzner.-Berlin: Springer, 2014. -Vol. 8486.-283 p.-(Lecture Notes in Computer Science). 10. Formal Concept Analysis: Proc./12th International Conference, ICFCA 2014, Cluj-Napoca, Romania, June 2014/Ed. by C.V.Glodeanu, M.Kaytoue, Ch.Sacarea.-Berlin: Springer, 2014.-Vol. 8478.-297 p.-(Lecture Notes in Artificial Intelligence). 11. Graph-Based Representation and Reasoning: Proc./21st International Conference on Conceptual Structures, ICCS 2014, Iasi, Romania, July 2014/Ed. by N.Hernandez, R.Jaschke, M.Croitoru.-Berlin: Springer, 2014.-Vol. 8577. -311 p.-(Lecture Notes in Artificial Intelligence). 12. Mathematical Software - ICMS 2014: Proc./4th International Congress, Seoul, South Korea, August 2014/Ed. by H.Hong, Ch.Yap.-Berlin: Springer, 2014.-Vol. 8592.-735 p. -(Lecture Notes in Computer Science). 13. Models@run.time: Foundations, Applications, and Roadmaps /Ed. by N.Bencomo, R.France, B.H.C.Cheng, U.Assmann.-Berlin: Springer, 2014.-Vol. 8378.-319 p.-(Lecture Notes in Computer Science). 14. Agents and Data Mining Interaction: Revised Selected Papers/9th International Workshop, ADMI 2013, Saint Paul,MN,USA, May 2013/Ed. by L.Cao, Y.Zeng, A.L.Symeonidis, V.Gorodetsky.-Berlin: Springer, 2014.-Vol. 8316.-137 p. -(Lecture Notes in Artificial Intelligence). 15. Field-Coupled Nanocomputing: Paradigms, Progress, and Perspectives/Ed. by N.G.Anderson, S.Bhanja.-Berlin: Springer, 2014.-Vol. 8280.-393 p.-(Lecture Notes in Computer Science). 16. The Semantic Web: Trends and Challenges: Proc./11th International Conference, ESWC 2014, Anissaras, Crete, Greece, May 2014/Ed. by V.Presutti, C.D'Amato, F.Gandon, M.D'Aquin.-Berlin: Springer, 2014.-Vol. 8465.-898 p. -(Lecture Notes in Computer Science). 17. Intelligent Tutoring Systems: Proc./12th International Conference, ITS 2014, Honolulu,HI,USA, June 2014/Ed. by S.Trausan-Matu, K.E.Boyer, M.Crosby, K.Panourgia.-Berlin: Springer, 2014.-Vol. 8474.-702 p.-(Lecture Notes in Computer Science). 18. Foundations of Intelligent Systems: Proc./21st International Symposium, ISMIS 2014, Roskilde, Denmark, June 2014/Ed. by T.Andreasen, H.Christiansen, J.-C.Cubero, Z.W.Ras.-Berlin: Springer, 2014.-Vol. 8502.-568 p.-(Lecture Notes in Artificial Intelligence). 19. Formal Techniques for Distributed Objects, Components, and Systems: Proc./34th IFIP WG 6.1 International Conference, FORTE 2014 Held as Part of the 9th International Federated Conference DisCoTec 2014, Berlin, Germany, June 2014/Ed. by E.Abraham, C.Palamidessi.-Berlin: Springer, 2014. -Vol. 8461.-301 p.-(Lecture Notes in Computer Science). 20. Future Internet Testing: Revised Selected Papers/1st International Workshop, FITTEST 2013, Istanbul, Turkey, November 2013/Ed. by T.E.J.Vos, K.Lakhotia, S.Bauersfeld. -Berlin: Springer, 2014.-Vol. 8432.-111 p.-(Lecture Notes in Computer Science). 21. Hybrid Metaheuristics: Proc./9th International Workshop, HM 2014, Hamburg, Germany, June 2014/Ed. by M.J.Blesa, Ch.Blum, S.Voss.-Berlin: Springer, 2014.-Vol. 8457. -199 p.-(Lecture Notes in Computer Science). 22. Pristine Perspectives on Logic, Language, and Computation: Selected Papers/ESSLLI 2012 and ESSLLI 2013 Student Sessions/Ed. by M.Colinet, S.Katrenko, R.K.Rendsvig. -Berlin: Springer, 2014.-Vol. 8607.-267 p.-(Lecture Notes in Computer Science). 23. Transactions on Computational Science XXIII: Special Issue on Cyberworlds/Ed. by M.L.Gavrilova, C.J.K.Tan.-Berlin: Springer, 2014.-Vol. 8490.-225 p.-(Lecture Notes in Computer Science). 24. Functional and Logic Programming: Proc./12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 2014/Ed. by M.Codish, E.Sumii.-Berlin: Springer, 2014.-Vol. 8475.-353 p.-(Lecture Notes in Computer Science). 25. Intelligent Computing Theory: Proc./10th International Conference, ICIC 2014, Taiyuan, China, August 2014/Ed. by D.-S.Huang, V.Bevilacqua, P.Premaratne.-Berlin: Springer, 2014.-Vol. 8588.-848 p.-(Lecture Notes in Computer Science). 26. Smart Card Research and Advances Applications: Revised Selected Papers/12th International Conference, CARDIS 2013, Berlin, Germany, November 2013/Ed. by A.Francillon, P.Rohatgi.-Berlin: Springer, 2014.-Vol. 8419.-271 p. -(Lecture Notes in Computer Science). 27. Descriptional Complexity of Formal Systems: Proc./16th International Workshop, DCFS 2014, Turku, Finland, August 2014/Ed. by H.Jurgensen, J.Karhumaki, A.Okhotin.-Berlin: Springer, 2014.-Vol. 8614.-366 p.-(Lecture Notes in Computer Science). 28. Swarm Intelligence: Proc./9th International Conference, ANTS 2014, Brussels, Belgium, September 2014/Ed. by M.Dorigo, M.Birattari, S.Garnier, H.Hamann.-Berlin: Springer, 2014.-Vol. 8667.-294 p.-(Lecture Notes in Computer Science). 29. Formal Aspects of Component Software: Revised Selected Papers/10th International Symposium, FACS 2013, Nanchang, China, October 2013/Ed. by J.L.Fiadeiro, Z.Liu, J.Xue. -Berlin: Springer, 2014.-Vol. 8348.-385 p.-(Lecture Notes in Computer Science). 30. Frontiers in Algorithmics: Proc./8th International Workshop, FAW 2014, Zhangjiajie, China, June 2014/Ed. by J.Chen, J.E.Hopcroft, J.Wang.-Berlin: Springer, 2014.-Vol. 8497.-344 p.-(Lecture Notes in Computer Science). 31. Intelligent Computer Mathematics: Proc./International Conference, CICM 2014, Coimbra, Portugal, July 2014/Ed. by S.M.Watt, J.H.Davenport, A.P.Sexton, P.Sojka.-Berlin: Springer, 2014.-Vol. 8543.-458 p.-(Lecture Notes in Artificial Intelligence). 32. Efficient Algorithms for Global Optimization Methods in Computer Vision: Revised Selected Papers/International Dagstuhl Seminar, Dagstuhl Castle, Germany, November 2011/ Ed. by A.Bruhn, T.Pock, X.-C.Tai.-Berlin: Springer, 2014. -Vol. 8293.-175 p.-(Lecture Notes in Computer Science). 33. Advancing the Impact of Design Science: Moving from Theory to Practice: Proc./9th International Conference, DESRIST 2014, Miami,FL,USA, May 2014/Ed. by M.C.Tremblay, D.Vandermeer, M.Rothenberger, A.Gupta.-Berlin: Springer, 2014. -Vol. 8463.-460 p.-(Lecture Notes in Computer Science). 34. Rewriting and Typed Lambda Calculi: Proc./Joint International Conference, RTA-TLCA 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014/ Ed. by G.Dowek.-Berlin: Springer, 2014.-Vol. 8560.-491 p. -(Lecture Notes in Computer Science). 35. Information Security and Privacy: Proc./19th Australasian Conference, ACISP 2014, Wollongong,NSW,Australia, July 2014/Ed. by W.Susilo, Y.Mu. -Berlin: Springer, 2014.-Vol. 8544.-464 p.-(Lecture Notes in Computer Science). 36. Monitoring and Securing Virtualized Networks and Services: Proc./8th IFIP WG 6.6 International Conference, AIMS 2014, Brno, Czech Republic, June 2014/Ed. by A.Sprotto, G.Doyen, S.Latre, M.Charalambides.-Berlin: Springer, 2014.-Vol. 8508.-189 p.-(Lecture Notes in Computer Science). 37. Information Security Theory and Practice: Securing the Internet of Things: Proc./8th IFIP WG 11.2 International Workshop, WISTP 2014, Heraclion, Crete, Greece, June 2014/ Ed. by D.Naccache, D.Sauveron.-Berlin: Springer, 2014.-Vol. 8501.-201 p.-(Lecture Notes in Computer Science). 38. Trust and Trustworthy Computing: Proc./7th International Conference, TRUST 2014, Heraclion, Crete, Greece, June 2014/Ed. by Th.Holz, S.Ioannidis.-Berlin: Springer, 2014.-Vol. 8564.-226 p.-(Lecture Notes in Computer Science). 39. Web-Age Information Management: Proc./15th International Conference, WAIM 2014. Macau, China, June 2014/ Ed. by F.Li, G.Li, S.Hwang, B,Yao.-Berlin: Springer, 2014. -Vol. 8485.-842 p.-(Lecture Notes in Computer Science). 40. Electronic Government: Proc./ 13th IFIP WG 8.5 International Conference, EGOV 2014, Dublin, Ireland, September 2014/Ed. by M.Janssen, H.J.Scholl, M.A.Wimmer, F.Bannister.-Berlin: Springer, 2014.-Vol. 8653.-337 p. -(Lecture Notes in Computer Science). 41. Communication Technologies for Vehicles: Proc./6th International Workshop, NetsCars/Nets4Trains/Nets4Aircraft 2014, Offenburg, Germany, May 2014/Ed. by A.Sikora, M.Berbineau, A.Vinel, M.Jonsson.-Berlin: Springer, 2014. -Vol. 8435.-161 p.-(Lecture Notes in Computer Science). 42. Web and Wireless Geographical Information Systems: Proc./13th International Symposium, W2GIS 2014, Seoul, South Korea, May 2014/Ed. by D.Pfoser, K.-J.Li.-Berlin: Springer, 2014.-Vol. 8470.-198 p.-(Lecture Notes in Computer Science). 43. Engineering Secure Future Internet Services and Systems: Current Research/Ed. by M.Heisel, W.Joosen, J.Lopez, F.Martinelli.-Berlin: Springer, 2014.-Vol. 8431. -393 p.-(Lecture Notes in Computer Science). 44. Parallel Processing and Applied Mathematics, Part I: Revised Selected Papers/10th International Conference, PPAM 2013, Warsaw, Poland, September 2013/Ed. by R.Wyrzykowski, J.Dongarra, K.Karczewski, J.Wasniewski.-Berlin: Springer, 2014.-Vol. 8384.-809 p.-(Lecture Notes in Computer Science). 45. Parallel Processing and Applied Mathematics, Part II: Revised Selected Papers/10th International Conference, PPAM 2013, Warsaw, Poland, September 2013/Ed. by R.Wyrzykowski, J.Dongarra, K.Karczewski, J.Wasniewski.-Berlin: Springer, 2014.-Vol. 8385.-775 p.-(Lecture Notes in Computer Science). 46. Pervasive Computing and the Networked World: Revised Selected Papers/Joint International Conference, ICPCA/SWS 2013, Vina del Mar, Chile, December 2013/Ed. by Q.Zu, M.Vargas-Vera, B.Hu.-Berlin: Springer, 2014.-Vol. 8351.-838 p.-(Lecture Notes in Computer Science). 47. Logic, Language, Information, and Computation: Proc./21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 2014/Ed. by U.Kohlenbach, P.Barcelo, R.De_Queiroz.-Berlin: Springer, 2014.-Vol. 8652.-237 p. -(Lecture Notes in Computer Science). 48. Learning and Collaboration Technologies: Designing and Developing Novel Learning Experiences, Part I: Proc./1st International Conference, LCT 2014 Held as Part of HCI International 2014, Heraclion, Crete, Greece, June 2014/Ed. by P.Zaphiris, A.Ioannou.-Berlin: Springer, 2014.-Vol. 8523. -475 p.-(Lecture Notes in Computer Science). 49. Learning and Collaboration Technologies: Technology-Rich Environments for Learning and Collaboration, Part II: Proc./1st International Conference, LCT 2014 Held as Part of HCI International 2014, Heraclion, Crete, Greece, June 2014/Ed. by P.Zaphiris, A.Ioannou.-Berlin: Springer, 2014.-Vol. 8524.-497 p.-(Lecture Notes in Computer Science). 50. Intelligent Computing in Bioinformatics: Proc./10th International Conference, ICIC 2014, Taiyuan, China, August 2014/Ed. by D.-S.Huang, K.Han, M.Gromiha.-Berlin: Springer, 2014.-Vol. 8590.-510 p.-(Lecture Notes in Bioinformatics). 51. New Frontiers in Mining Complex Patterns: Revised Selected Papers/2nd International Workshop, NFMCP 2013 Held in Conjunction with ECML-PKDD 2013, Prague, Czech Republic, September 2013/Ed. by A.Appice, M.Ceci, C.Loglisci, G.Manco. -Berlin: Springer, 2014.-Vol. 8399.-261 p.-(Lecture Notes in Artificial Intelligence). 52. Advances in Autonomous Robotics Systems: Proc./15th Annual Conferemce, TAROS 2014, Birmingham, UK, September 2014 /Ed. by M.Mistry, A.Leonardis, M.Witkowski, Ch.Melhuish. -Berlin: Springer, 2014.-Vol. 8717.-284 p.-(Lecture Notes in Artificial Intelligence). 53. RoboCup 2013: Robot World Cup XVII/Ed. by S.Behnke, M.Veloso, A.Visser, R.Xiong.-Berlin: Springer, 2014.-Vol. 8371.-684 p.-(Lecture Notes in Artificial Intelligence). 54. Computational Intelligence Methods for Bioinformatics and Biostatistics: Revised Selected Papers/10th International Meeting, CIBB 2013, Nice, France, June 2013/ Ed. by E.Formenti, R.Tagliaferri, E.Wit.-Berlin: Springer, 2014.-Vol. 8452.-274 p.-(Lecture Notes in Bioinformatics). 55. Horizons of the Mind: A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday/Ed. by F.Van_Breugel, E.Kashefi, C.Palamidessi, J.Rutten.-Berlin: Springer, 2014.-Vol. 8464. -499 p.-(Lecture Notes in Computer Science). 56. Biomimetic and Biohybrid Systems: Proc./3rd International Conference, Living Machines 2014, Milan, Italy, August 2014/Ed. by A.Duff, N.E.Lepora, A.Mura, T.J.Prescott.-Berlin: Springer, 2014.-Vol. 8608.-455 p. -(Lecture Notes in Artificial Intelligence). 57. Towards Autonomous Robotic Systems: Revised Selected Papers/14th Annual Conference, TAROS 2013, Oxford, UK, August 2013/Ed. by A.Natraj, S.Cameron, Ch.Melhuish, M.Witkowski.-Berlin: Springer, 2014.-Vol. 8069.-486 p. -(Lecture Notes in Artificial Intelligence). 58. PSI'14: Труды Рабочего семинара "Наукоемкое программное обеспечение" Ершовской конференции по информатике, Санкт-Петербург, Россия, июнь 2014.-М., 2014.-97 с.-(PSI Conference Series). 59. Словарь русского языка: В 4т/Ред. А.П.Евгеньева; АН СССР. Институт русского языка АН СССР. .- М.: Русский язык, 1981.- 698 с.; Т. 1. 60. Словарь русского языка: В 4т/Ред. А.П.Евгеньева; АН СССР. Институт русского языка. .- М.: Русский язык, 1982.- 736 с.; Т. 2. 61. Словарь русского языка: В 4т/Ред. А.П.Евгеньева; АН СССР. Институт русского языка. .- М.: Русский язык, 1983.- 750 с.; Т. 3. 62. Словарь русского языка: В 4т/Ред. А.П.Евгеньева; АН СССР. Институт русского языка. .- М.: Русский язык, 1984.- 794 с.; Т. 4. 63. Бабкин А.М., Шендецов В.В. Словарь иноязычных выражений м слов: В 2т/АН СССР. Институт русского языка. .- Ленинград: Наука, 1981.- 696 с.; Т. 1. 64. Бабкин А.М., Шендецов В.В. Словарь иноязычных выражений и слов: В 2т/АН СССР. Институт русского языка. .- Ленинград: Наука, 1987.- 655 с.; Т. 2. 65. Словарь иностранных слов.- М.: Русский язык, 1987.- 608 с. 66. Словарь иностранных слов/Ред. И.В.Лехин, Ф.Н.Петров. .- М.: Гос. изд-во иностранных и национальных словарей, 1949.- 805 с. 67. Суон М. Английский язык в современном употреблении.- М.: Высш. шк., 1984.- 552 с. 68. Борунова С.Н., Воронцова В.Л., Еськова Н.А. Орфоэпический словарь русского языка: Произношение, ударение, грамматические формы/Ред. Р.И.Аванесов; АН СССР. Институт русского языка. .- М.: Русский язык, 1989.- 688 с. 69. Фасмер М. Этимологический словарь русского языка: В 4т/ Ред. Б.А.Ларин; пер. с нем. О.Н.Трубачева.- М.: Прогресс, 1986. 70. Software Engineering and Formal Methods: Proc./12th International Conference, SEFM 2014, Grenoble, France, September 2014/Ed. by D.Giannakopoulou, G.Salaun.-Berlin: Springer, 2014.-Vol. 8702.-394 p.-(Lecture Notes in Computer Science). 71. Data Warehousing and Knowledge Discovery: Proc./16th International Conference, DaWaK 2014, Munich, Germany, September 2014/Ed. by L.Bellatreche, M.K.Mahania.-Berlin: Springer, 2014.-Vol. 8646.-490 p.-(Lecture Notes in Computer Science). 72. Web Services and Formal Methods: Revised Selected Papers/10th International Workshop, WS-FM 2013, Beijing, China, August 2013/Ed. by E.Tuosto, Ch.Ouyang.-Berlin: Springer, 2014.-Vol. 8379.-189 p.-(Lecture Notes in Computer Science). 73. Risk Assessment and Risk-Driven Testing: Revised Selected Papers/1st International Workshop, RISK 2013 Held in Conjaction with ICTSS 2013, Istanbul,Turkey, November 2013 /Ed. by T.Bauer, J.Grossmann, F.Seehusen, K.Stolen.-Berlin: Springer, 2014.-Vol. 8418.-137 p.-(Lecture Notes in Computer Science). 74. Digital-Forensics and Watermarking: Revised Selected Papers/12th International Workshop, IWDW 2013, Auckland, New Zealand, October 2013/Ed. by Y.Q.Shi, H.-J.Kim, F.Perez-Gonzalez.-Berlin: Springer, 2014.-Vol. 8389.-530 p. -(Lecture Notes in Computer Science). 75. Fast Software Encryption: Revised Selected Papers/20th International Workshop, FSE 2013, Singapore, March 2013/Ed. by S.Moriai.-Berlin: Springer, 2014.-Vol. 8424.-605 p. -(Lecture Notes in Computer Science). 76. Coordination Models and Languages: Proc./16th IFIP WG 6.1 International Conference, COORDINATION 2014 Held as Part of the 9th International Federated Conference, DisCoTec 2014, Berlin, Germany, June 2014/Ed. by E.Kuhn, R.Pugliese. -Berlin: Springer, 2014.-Vol. 8459.-195 p.-(Lecture Notes in Computer Science). 77. Distributed Applications and Interoperable Systems: Proc/14th IFIP WG 6.1 International Conference, DAIS 2014 Held as Part of the 9th International Federated Conference, DisCoTec 2014, Berlin, Germany, June 2014/Ed. by K.Magoutis, P.Pietzuch.-Berlin: Springer, 2014.-Vol. 8460. -209 p.-(Lecture Notes in Computer Science). 78. Unconventional Computation and Natural Computation: Proc./13th International Conference, UCNC 2014, London,ON,Canada, July 2014/Ed. by O.H.Ibarra, L.Kari, S.Kopecki.-Berlin: Springer, 2014.-Vol. 8553.-394 p. -(Lecture Notes in Computer Science). 79. Distributed, Ambient, and Pervasive Interactions: Proc./2nd International Conference, DAPI 2014 Held as Part of HCI International 2014, Heraklion, Crete, Geece, June 2014 /Ed. by N.Streitz, P.Markopoulos.-Berlin: Springer, 2014. -Vol. 8530.-643 p.-(Lecture Notes in Computer Science). 80. Databased and Expert Systems Applications, Part I: Proc./25th International Conference, DEXA 2014, Munich, Germany, September 2014/Ed. by H.Decker, L.Lhotska, S.Link, M.Spies.-Berlin: Springer, 2014.-Vol. 8644.-509 p.-(Lecture Notes in Computer Science). 81. Database and Expert Systems Applications, Part II: Proc./25th International Conference, DEXA 2014, Munich, Germany, September 2014/Ed. by H.Decker, L.Lhotska, S.Link, M.Spies.-Berlin: Springer, 2014.-Vol. 8645.-483 p.-(Lecture Notes in Computer Science).