Hовые поступления с 3 по 30 сентября 2013 года
1. CONCUR 2013 - Concurrency Theory: Proc./24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 2013/Ed. by P.R.D'Argenio, H.Melgratti.-Berlin: Springer, 2013.-Vol. 8052. -562 p.-(Lecture Notes in Computer Science). 2. Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques: Proc./16th International Workshop, APPROX 2013 and 17th International Workshop, RANDOM 2013, Berkley,CA,USA, August 2013/Ed. by P.Raghavendra.-Berlin: Springer, 2013.-Vol. 8096.-716 p.-(Lecture Notes in Computer Science). 3. Similarity-Based Pattern Recognition: Proc./2nd International Workshop, SIMBAD 2013, York, UK, July 2013/Ed. by E.Hancock, M.Pelillo.-Berlin: Springer, 2013.-Vol. 7953.-297 p. -(Lecture Notes in Computer Science). 4. Design Science at the Intersection of Physical and Virtual Design: Proc./8th International Conference, DESRIST 2013, Helsinki, Finland, June 2013/Ed. by J.Vom_Brocke, R.Hekkala, S.Ram, M.Rossi.-Berlin: Springer, 2013.-Vol. 7939.-528 p. -(Lecture Notes in Computer Science). 5. Advances in Cryptology - CRYPTO 2013, Part I: Proc./33rd Annual Cryptology Conference, Santa Barbara,CA,USA, August 2013/ Ed. by R.Canetti, J.A.Garay.-Berlin: Springer, 2013.-Vol. 8042. -590 p.-(Lecture Notes in Computer Science). 6. Advances in Cryptology - CRYPTO 2013, Part II: Proc./33rd Annual Cryptology Conference, Santa Barbara,CA,USA, August 2013/ Ed. by R.Canetti, J.A.Garay.-Berlin: Springer, 2013.-Vol. 8043. -556 p.-(Lecture Notes in Computer Science). 7. Data and Applications Security and Privacy XXVII: Proc./27th Annual IFIP WG 11.3 Conference, DBSec 2013, Newark,NJ,USA, July 2013/Ed. by L.Wang, B.Shafig.-Berlin: Springer, 2013.-Vol. 7964. -305 p.-(Lecture Notes in Computer Science). 8. Privacy Enhancing Technologies: Proc./13th International Symposium, PETS 2013, Bloomington,IN,USA, July 2013/Ed. by E.De_Cristofaro, M.Wright.-Berlin: Springer, 2013.-Vol. 7981.-265 p.-(Lecture Notes in Computer Science). 9. Detection of Intrusions and Malware, and Vulnerability Assessment: Proc./10th International Conference, DIMVA 2013, Berlin, Germany, July 2013/Ed. by K.Rieck, P.Stewin, J.-P.Seifert. -Berlin: Springer, 2013.-Vol. 7967.-207 p.-(Lecture Notes in Computer Science). 10. Integrated Uncertainty in Knowledge Modelling and Decision Making: Proc./ International Symposium, IUKM 2013, Beijing, China, July 2013/Ed. by Z.Qin, V,-N.Huynh.-Berlin: Springer, 2013. -Vol. 8032.-219 p.-(Lecture Notes in Artificial Intelligence). 11. Advances in Nonlinear Speech Processing: Proc./6th International Conference, NOLISP 2013, Mons, Belgium, June 2013/ Ed. by Th.Drugman, Th.Dutoit.-Berlin: Springer, 2013.-Vol. 7911. -217 p.-(Lecture Notes in Artificial Intelligence). 12. Advances in Brian Inspired Cognitive Systems: Proc./6th International Conference, BICS 2013, Beijing, China, June 2013/ Ed. by D.Liu, C.Alippi, D.Zhao, A.Hussain.-Berlin: Springer, 2013. -Vol. 7888.-418 p.-(Lecture Notes in Artificial Intelligence). 13. Pattern Recognition in Bioinformatics: Proc./8th IAPR International Conference, PRIB 2013, Nice, France, June 2013/Ed. by A.Ngom, E.Formenti, J.-K.Hao, X.-M.Zhao.-Berlin: Springer, 2013.-Vol. 7986.-290 p.-(Lecture Notes in Bioinformatics). 14. User Modeling, Adaptation, and Personalization: Proc./21th International Conference, UMAP 2013, Rome, Italy, June 2013/Ed. by S.Carberry, S.Weibelzahl, A.Micarelli, G.Semeraro.-Berlin: Springer, 2013.-Vol. 7899.-416 p.-(Lecture Notes in Computer Science). 15. Natural Language Processing and Information Systems: Proc./18th International Conference, NLBL 2013, Salford, UK, June 2013/Ed. by E.Metais, F.Meziane, M.Saraee, V.Sugumaran.-Berlin: Springer, 2013.-Vol. 7934.-426 p.-(Lecture Notes in Computer Science). 16. Ахматов А.А. Начальный курс пользователя операционной системы Linux.- М.: ЗАО "Новый издательский дом", 2004.- 448 с. -Библиогр.: c.438-440. 17. Андерсон Дж. Дискретная математика и комбинаторика/с англ. М.М.Белова.- М.: Издательский дом "Вильямс", 2003.- 960 с. -Библиогр.: c.850-855. 18. Ляхов Д. Linux для начинающих.- М.: Бестселлер, 2003.- 256 с. 19. Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments, Part I: Proc./15th International Conference, HCI International 2013, Las Vegas,NV,USA, July 2013/Ed. by M.Kurosu.-Berlin: Springer, 2013. -Vol. 8004.-640 p.-(Lecture Notes in Computer Science). 20. Human-Computer Interaction. Applications and Services, Part II: Proc./15th International Conference, HCI International 2013, Las Vegas,NV,USA, July 2013/Ed. by M.Kurosu.-Berlin: Springer, 2013.-Vol. 8005.-670 p.-(Lecture Notes in Computer Science). 21. Human-Computer Interaction. Users and Contexts of Use, Part III: Proc./15th International Conference, HCI International 2013, Las Vegas,NV,USA, July 2013/Ed. by M.Kurosu.-Berlin: Springer, 2013.-Vol. 8006.-510 p.-(Lecture Notes in Computer Science). 22. Human-Computer Interaction. Interaction Modalities and Techniques, Part IV: Proc./15th International Conference, HCI International 2013, Las Vegas,NV,USA, July 2013/Ed. by M.Kurosu. -Berlin: Springer, 2013.-Vol. 8007.-768 p.-(Lecture Notes in Computer Science). 23. Human-Computer Interaction. Towards Intelligent and Implicit Interaction, Part V: Proc./15th International Conference, HCI Interaction 2013, Las Vegas,NV,USA, July 2013/Ed. by M.Kurosu. -Berlin: Springer, 2013.-Vol. 8008.-514 p.-(Lecture Notes in Computer Science). 24. Universal Access in Human-Computer Interaction. Design Methods, Tools, and Interaction Techniques for elnclusion, Part I: Proc./7th International Conference, UAHCI 2013 Held as Part of HCI International 2013, Las Vegas,NV,USA, July 2013/Ed. by M.Antona.-Berlin: Springer, 2013.-Vol. 8009.-707 p.-(Lecture Notes in Computer Science). 25. Universal Access in Human-Computer Imteraction. User and Context Diversity, Part II: Proc./7th International Conference, UAYCI 2013 Held as Part of HCI International 2013, Las Vegas,NV,USA, July 2013/Ed. by C.Stephanidis, M.Antona.-Berlin: Springer, 2013.-Vol. 8010.-741 p.-(Lecture Notes in Computer Science). 26. Universal Access in Human-Computer Interaction. Applications and Services for Quality of Life, Part III: Proc./7th International Conference, UAHCI 2013 Held as Part of HCI International 2013, Las Vegas,NV,USA, July 2013/Ed. by M.Antona. -Berlin: Springer, 2013.-Vol. 8011.-697 p.-(Lecture Notes in Computer Science). 27. Design, User Experience, and Usability. Design Philosoophy, Methods, and Tools, Part I: Proc./2nd International Conference, DUXU 2013 Held as Part of HCI International 2013, Las Vegas,NV,USA, July 2013/Ed. by A.Marcus.-Berlin: Springer, 2013. -Vol. 8012.-646 p.-(Lecture Notes in Computer Science). 28. Design, User Experience, and Usability. Health, Learning, Playing, Cultural and Cross-Cultural User Experince, Part II: Proc./2nd International Conference, DUXU 2013 Held as Part of HCI International 2013, Las Vegas,NV,USA, Juky 2013/Ed. by A.Marcus. -Berlin: Springer, 2013.-Vol. 8013.-622 p.-(Lecture Notes in Computer Science). 29. Design, User Experience, and Usability. User Experience in Novel Technological Environments, Part III: Proc./2nd International Conference, DUXU 2013 Held as Part of HCI International 2013, Las Vegas,NV,USA, July 2013/Ed. by A.Marcus. -Berlin: Springer, 2013.-Vol. 8014.-612 p.-(Lecture Notes in Computer Science). 30. Design, User Experience, and Usability, Web, Mobile, and Product Design, Part IV: Proc./2nd International Conference, DUXU 2013 Held as Part of HCI International 2013, Las Vegas,NV,USA, July 2013/Ed. by A.Marcus.-Berlin: Springer, 2013.-Vol. 8015. -758 p.-(Lecture Notes in Computer Science). 31. Human Interface and the Management of Information. Information and Interaction Design, Part I: Proc./15th International Conference, HCI International 2013, Las Vegas,NV,USA, July 2013/Ed. by S.Yamamoto.-Berlin: Springer, 2013. -Vol. 8016.-685 p.-(Lecture Notes in Computer Science). 32. Human Interface and the Management of Information. Information and Interaction for Health, Safety, Mobility and Complex Environment, Part II: Proc./15th International Conference, HCI International 2013, Las Vegas,NV,USA, July 2013/ Ed. by S.Yamamoto.-Berlin: Springer, 2013.-Vol. 8017.-619 p. -(Lecture Notes in Computer Science). 33. Human Interface and the Management of Information, Information and Interaction for Learning, Culture, Collaboration and Business, Part III: Proc./15th International Conference, HCI International 2013, Las Vegas,NV,USA, July 2013/Ed. by S.Yamamoto. -Berlin: Springer, 2013.-Vol. 8018.-665 p.-(Lecture Notes in Computer Science). 34. Engineering Psychology and Cognitive Ergonomics, Understanding Human Cognition, Part I: Proc./10th International Conference, EPCE 2013 Held as Part of HCI International 2013, Las Vegas,NV,USA, July 2013/Ed. by D.Harris.-Berlin: Springer, 2013. -Vol. 8019.-375 p.-(Lecture Notes in Artificial Intelligence). 35. Engineering Psychology and Cognitive Ergonomics. Applications and Services, Part II: Proc./10th International Conference, EPCE 2013 Held as Part of HCI International 2013, Las Vegas,NV,USA, July 2013/Ed. by D.Harris.-Berlin: Springer, 2013. -Vol. 8020.-383 p.-(Lecture Notes in Artificial Intelligence). 36. Lightweight Cryptography for Security and Privacy: Revised Selected Papers/2nd International Workshop, LightSec 2013, Gebze, Turkey, May 2013/Ed. by G.Avoine, O.Kara.-Berlin: Springer, 2013. -Vol. 8162.-143 p.-(Lecture Notes in Computer Science). 37. Communications and Multimedia Security: Proc./14th IFIP TC 6/TC 11 International Conference, CMS 2013, Magdeburg, Germany, September 2013/Ed. by B.De_Decker, J.Dittmann, Ch.Kraetzer, C.Vielhauer.-Berlin: Springer, 2013.-Vol. 8099.-249 p.-(Lecture Notes in Computer Science). 38. Computer Safety, Reliability, and Security: Proc./32nd Internatinal Conference, SAFECOMP 2013, Toulouse, France, September 2013/Ed. by F.Bitsch, J.Guiochet, M.Kaaniche.-Berlin: Springer, 2013.-Vol. 8153.-304 p.-(Lecture Notes in Computer Science). 39. Public Key Infrastructures, Services and Applications: Revised Selected Papers/9th European Workshop, EuroPKI 2012, Pisa, Italy, September 2012/Ed. by S.De_Capitani_Di_Vimercati, C.Mitchell.-Berlin: Springer, 2013.-Vol. 7868.-195 p.-(Lecture Notes in Computer Science). 40. Trust, Privacy, and Security in Digital Business: Proc./10th International Conference, TrustBus 2013, Prague, Czech Republic, August 2013/Ed. by S.Furnell, C.Lambrinoudakis, J.Lopez.-Berlin: Springer, 2013.-Vol. 8058.-199 p.-(Lecture Notes in Computer Science). 41. Financial Cryptography and Data Security: Revised Selected Papers/17th International Conference, FC 2013, Okinawa. Japan, April 2013/Ed. by A.-R.Sadeghi.-Berlin: Springer, 2013.-Vol. 7859. -406 p.-(Lecture Notes in Computer Science). 42. Cryptographic Hardware and Embedded Systems - CHES 2013: Proc./15th International Workshop, Santa Barbara,CA,USA, August 2013/Ed. by G.Bertoni, J.-S.Coron.-Berlin: Springer, 2013.-Vol. 8086.-490 p.-(Lecture Notes in Computer Science). 43. Internet of Things, Smart Spaces, and Next Generation Networking: Proc./13th International Conference, NEW2AN 2013 and 6th Conference, ruSMART 2013, St,Petersburg, Russia, August 2013/ Ed. by S.Balandin, S.Andreev, Ye.Koucheryavy.-Berlin: Springer, 2013.-Vol. 8121.-440 p.-(Lecture Notes in Computer Science). 44. Web Engineering: Proc./13th International Conference, ICWE 2013, Aalborg, Denmark, July 2013/Ed. by F.Dsniel, P.Dolog, Q.Li. -Berlin: Springer, 2013.-Vol. 7977.-528 p.-(Lecture Notes in Computer Science). 45. Ad-hoc, Mobile, and Wireless Network: Proc./12th International Conference, ADHOC-NOW 2013, Wroclaw, Poland, July 2013/Ed. by J.Cichon, M.Gebala, M.Klonowski.-Berlin: Springer, 2013.-Vol. 7960.-329 p.-(Lecture Notes in Computer Science). 46. E-Voting and Identity: Proc./4th International Conference, Vote-ID 2013, Guildorf, UK, July 2013/Ed. by J.Heather, S.Schneider, V.Teague.-Berlin: Springer, 2013.-Vol. 7985.-211 p. -(Lecture Notes in Computer Science). 47. Web Reasoning and Rule Systems: Proc./7th International Conference, RR 2013, Mannheim, Germany, July 2013/Ed. by W.Faber, D.Lembo.-Berlin: Springer, 2013.-Vol. 7994.-272 p. -(Lecture Notes in Computer Science). 48. Constructive Side-Channel Analysis and Secure Design: Revised Selected Papers/4th International Workshop, COSADE 2013, Paris, France, March 2013/Ed. by E.Prouff.-Berlin: Springer, 2013. -Vol. 7864.-215 p.-(Lecture Notes in Computer Science). 49. Benchmarking Peer-To-Peer Systems: Understandig Quality of Service in Large-Scale Distribured Systems/Ed. by W.Effelsberg, R.Steinmetz, Th.Strufe.-Berlin: Springer, 2013.-Vol. 7847.-197 p. -(Lecture Notes in Computer Science). 50. Intelligence and Security Informatics: Proc./ Pacific Asia Workshop, PAISI 2013, Beijing, China, August 2013/Ed. by G.A.Wang, X.Zheng, M.Chau, H.Chen.-Berlin: Springer, 2013.-Vol. 8039.-117 p.-(Lecture Notes in Computer Science). 51. Reasoning Web. Semantic Technologies for Intelligent Data Access: Proc./9th International Summer Schook 2013, Mannheim, Germany, July 2013/Ed. by S.Rudolph, G.Gottlob, I.Horrocks, F.Van_Harmelen.-Berlin: Springer, 2013.-Vol. 8067.-285 p. -(Lecture Notes in Computer Science). 52. Trust and Trustworthy Computing: Proc./6th International Conference, TRUST 2013, London, UK, June 2013/Ed. by M.Huth, N.Asokan, S.Capkun, I.Flechais.-Berlin: Springer, 2013.-Vol. 7904. -278 p.-(Lecture Notes in Computer Science). 53. Information Security and Privacy: Proc./18th Australasian Conference, ACISP 2013, Brisbane,QLD,Australia, June 2013/Ed. by C.Boyd, L.Simpson.-Berlin: Springer, 2013.-Vol. 7959.-437 p. -(Lecture Notes in Computer Science). 54. Information Processing in Computer-Assisted Interventions: Proc./4th International Conference, IPCAI 2013, Heidelberg, Germany, June 2013/Ed. by D.Barratt, S.Cotin, G.Fichtinger, P.Jannin.-Berlin: Springer, 2013.-Vol. 7915.-111 p.-(Lecture Notes in Computer Science). 55. Post-Quantum Cryptography: Proc./5th International Workshop, PQCrypto 2013, Limoges, France, June 2013/Ed. by Ph.Gaborit. -Berlin: Springer, 2013.-Vol. 7932.-259 p.-(Lecture Notes in Computer Science). 56. Applied Cryptography and Network Security: Proc./11th International Conference, ACNS 2013, Banff,AB,Canada, June 2013/ Ed. by M.Jacobson, M.Locasto, P.Mohassel, R.Safavi-Naini.-Berlin: Springer, 2013.-Vol. 7954.-572 p.-(Lecture Notes in Computer Science). 57. Emerging Management Mechanisms for the Future Internet: Proc./7th IFIP WG 6.6 International Conference, on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 2013/Ed. by G.Doyen, M.Waldburger, P.Celeda, A.Sperotto.-Berlin: Springer, 2013.-Vol. 7943.-161 p.-(Lecture Notes in Computer Science). 58. Virtual, Augmented and Mixed Reality. Designing and Developing Augmented and Virtual Environments, Part I: Proc./5th International Conference, VAMR 2013 Held as Part of HCI International 2013, Las Vegas,NV,USA, July 2013/Ed. by R.Shumaker. -Berlin: Springer, 2013.-Vol. 8021.-399 p.-(Lecture Notes in Computer Science). 59. Virtual, Augmented and Mixed Reality. Systems and Applications, Part II: Proc./5th International Conference, VAMR 2013 Held as Part of HCI International 2013, Las Vegas,NV,USA, July 2013/Ed. by R.Shumaker.-Berlin: Springer, 2013.-Vol. 8022. -445 p.-(Lecture Notes in Computer Science). 60. Cross-Cultural Design. Methods, Practice, and Case Studies, Part I: Proc./ 5th International Conference, CCD 2013 Held as Part of HCI International 2013, Las Vegas,NV,USA, July 2013/Ed. by P.L.P.Rau.-Berlin: Springer, 2013.-Vol. 8023.-548 p.-(Lecture Notes in Computer Science). 61. Cross-Cultural Design. Cultural Differences in Everyday Life, Part II: Proc./5th International Conference, CCD 2013 Held as Part of HCI International 2013, Las Vegas,N,USA, July 2013/Ed. by P.L.P.Rau.-Berlin: Springer, 2013.-Vol. 8024.-488 p.-(Lecture Notes in Computer Science). 62. Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management, Part I: Proc./4th International Conference, DHM 2013 Held as Part of HCI International 2013, Las Vegas,NV,USA, July 2013/Ed. by V.G.Duffy.-Berlin: Springer, 2013. -Vol. 8025.-386 p.-(Lecture Notes in Computer Science). 63. Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management, Part II: Proc./4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas,NV,USA, July 2013/Ed. by V.G.Duffy.-Berlin: Springer, 2013. -Vol. 8026.-412 p.-(Lecture Notes in Computer Science). 64. Foundations of Augmented Cognition: Proc./7th International Conference, AC 2013, Held as Part of HCI International 2013, Las Vegas,NV,USA, July 2013/Ed. by D.D.Schmorrow, C.M.Fidopiastis. -Berlin: Springer, 2013.-Vol. 8027.-796 p.-(Lecture Notes in Artificial Intelligence). 65. Distributed, Ambient, and Pervasive Interactions: Proc./1st International Conference, DAPI 2013, Held as Part of HCI International 2013, Las Vegas, NV,USA, July 2013/Ed. by N.Streitz, C.Stephanidis.-Berlin: Springer, 2013.-Vol. 8028.-517 p.-(Lecture Notes in Computer Science). 66. Online Communities and Social Computing: Proc./5th Internatioal Conference, OCSC 2013, Hela as Part of HCI International 2013, Las Vegas, NV,USA, July 2013/Ed. by A.A.Ozok, R.Zaphiris.-Berlin: Springer, 2013.-Vol. 8029.-452 p. -(Lecture Notes in Computer Science). 67. Human Aspects of Information Security, Privacy, and Trust: Proc./1st International Conference, HAS 2013, Held as Part of HCI International 2013, Las Vegas, NV,USA, July 2013/Ed. by L.Marinos, I.Askoxylakis.-Berlin: Springer, 2013.-Vol. 8030.-378 p.-(Lecture Notes in Computer Science). 68. Web-Age Information Management: Proc./14th International Conference, WAIM 2013, Beidaihe, China, June 2013/Ed. by J.Wang, H.Xiong, Y.Ishikava, J.Xu.-Berlin: Springer, 2013.-Vol. 7923.-812 p.-(Lecture Notes in Computer Science). 69. Wireless Access Flexibility: Proc./1st International Workshop, WiFlex 2013, Kaliningrad, Russia, September 2013/Ed. by G.Bianchi, A.Lyakhov, E.Khorov.-Berlin: Springer, 2013.-Vol. 8072. -159 p.-(Lecture Notes in Computer Science). 70. Wireless Algorithms, Systems, and Applications: Proc./8th International Conference, WASA 2013, Zhangjiajie, China, August 2013/Ed. by K.Ren, X.Liu, W.Liang, M.Xu.-Berlin: Springer, 2013. -Vol. 7992.-536 p.-(Lecture Notes in Computer Science). 71. Mobile Web Information Systems: Proc./10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 2013/Ed. by F.Daniel, G.A.Papadopoulos, Ph.Thiran.-Berlin: Springer, 2013. -Vol. 8093.-306 p.-(Lecture Notes in Computer Science). 72. Euro-Par 2013 Parallel Processing: Proc./19th International Conference, Aachen, Germany, August 2013/Ed. by F.Wolf, B.Mohr, D.An_Mey.-Berlin: Springer, 2013.-Vol. 8097.-890 p.-(Lecture Notes in Computer Science). 73. Information Technologies for Performing Arts, Media Access, and Entertainment: Revised Selected Papers/2nd International Conference, ECLAP 2013, Porto, Portugal, April 2013/Ed. by P.Nesi, R.Santucci.-Berlin: Springer, 2013.-Vol. 7990.-289 p. -(Lecture Notes in Computer Science). 74. Intelligent Computing Theories: Proc./9th International Conference, ICIC 2013, Nanning, China, July 2013/Ed. by D.-S.Huang, V.Bevilacqua, J.C.Figueroa, P.Premaratne.-Berlin: Springer, 2013.-Vol. 7995.-651 p.-(Lecture Notes in Computer Science). 75. Implementation and Application of Automata: Proc./18th International Conference, CIAA 2013, Halifax,NS,Canada, July 2013/ Ed. by S.Konstantinidis.-Berlin: Springer, 2013.-Vol. 7982.-358 p.-(Lecture Notes in Computer Science). 76. Product-Focused Software Process Improvemet: Proc./14th International Conference, PROFES 2013, Paphos, Cyprus, June 2013/ Ed. by J.Heidrich, M.Oivo, A.Jedlitschka, M.T.Baldassarre.-Berlin: Springer, 2013.-Vol. 7983.-374 p.-(Lecture Notes in Computer Science). 77. Descriptional Complexity of Formal Systems: Proc./15th International Workshop, DCFS 2013, London,ON,Canada, July 2013/ Ed. by H.Jurgensen, R.Reis.-Berlin: Springer, 2013.-Vol. 8031. -289 p.-(Lecture Notes in Computer Science). 78. Analytical and Stochastic Modelling Techniques and Applications: Proc./20th International Conference, ASMTA 2013, Ghent, Belgium, July 2013/Ed. by A.Dudin, K.De_Turck.-Berlin: Springer, 2013.-Vol. 7984.-474 p.-(Lecture Notes in Computer Science). 79. Hardware and Software: Verification and Testing: Revised Selected Papers/8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 2012/Ed. by A.Biere, A.Nahir, T.Vos.-Berlin: Springer, 2013.-Vol. 7857.-281 p.-(Lecture Notes in Computer Science). 80. Inclusive Society: Health and Wellbeing in the Community, and Care at Home: Proc./11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 2013/Ed. by J.Biswas, H.Kobayashi, L.Wong, B.Abdulrazak.-Berlin: Springer, 2013.-Vol. 7910.-332 p.-(Lecture Notes in Computer Science). 81. Statistical Language and Speech Processing: Proc./1st International Conference, SLSP 2013, Tarragona, Spain, July 2013/ Ed. by A.-H.Dediu, C.Martin-Vide, R.Mitkov, B.Truthe.-Berlin: Springer, 2013.-Vol. 7978.-309 p.-(Lecture Notes in Artificial Intelligence). 82. Intelligent Computing Theories and Technology: Proc./9th International Conference, ICIC 2013, Nanning, China, July 2013/ Ed. by D.-S.Huang, K.-H.Jo, Y.-Q.Zhou, K.Han.-Berlin: Springer, 2013.-Vol. 7996.-693 p.-(Lecture Notes in Artificial Intelligence). 83. Генрихов И.Е. Построение и исследование полных решающих деревьев для задач классификации по прецедентам: Автореф. дис... наукф.-м. наук: 05.13.17.-М., 2013.-23 с.-Библиогр.: c.22-23. 84. Гольдштейн В.Б. Оценки чисел Борсука и Грюнбаума для (0,1)- и (-1,0,1)-многогранников в пространствах малой размерности: Автореф. дис... канд. ф.-м. наук: 01.01.09.-М., 2013.-11 с. -Библиогр.: c.11. 85. Решетняк Ю.Г., Кутателадзе С.С. Воспоминания об А.Д.Александрове.-Новосибирск, 2000.-35 с.-(Препринт/Институт математики СО РАН; N 80). 86. Ткачев Ю.И. Методы решения задачи восстановления зависимости коллективами распознающих алгоритмов: Автореф. дис... канд. ф.-м. наук: 05.13.17.-М., 2013.-15 с.-Библиогр.: c.14-15. 87. Principles and Practice of Constraint Programming/Ed. by V.Saraswat, P.V.Hentenryck.-Cambridge,Ms, London: The MIT Press, 1995.-475 p. 88. Scientific Computing, Validated Numerics, Interval Methods/ Ed. by W.Kramer.-New York, Boston: Kluwer Academic Publishers, 2000.-398 p. 89. Constraint-Based Reasoning/Ed. by E.C.Freuder, A.K.Mackworth. -Cambridge, Ms, London: The MIT Press, 1994.-403 p. 90. Constraint Logic Programming: Select Research/Ed. by F.Benhamou, A.Colmerauer.-Cambridge,Ms, London: The MIT Press, 1993.-486 p. 91. Automatic Differentiation of Algorithms: From Simulation to Optimization/Ed. by G.Corlis, Ch.Faure, A.Griewank, L.Hascoet. -New York, Berlin: Springer, 2002.-432 p. 92. Gerstein L.J. Introduction to Mathematical Structures and Proofs.- New York, Berlin: Springer, 1996.- 350 p. 93. Kowalski T.J., Levy L.S. Rule-Based Programming.- Boston, London: Kluwer Academic Publishers, 1996.- 305 p. 94. Динь Вьет Шанг Алгоритмы подбора параметров комбинирования ациклических графов соседства в задачах обработки текстурных изображений: Автореф. дис... канд. тех. наук: 05.13.17.-Тула, 2013. -23 с.-Библиогр.: c.23.