Hовые поступления с 6 ноября по 2 декабря 2013 года
1. Algebra and Coalgebra in Computer Science: Proc./5th International Conference, CALCO 2013, Warsaw, Poland, September 2013/Ed. by R.Heckel, S.Milius.-Berlin: Springer, 2013.-Vol. 8089. -359 p.-(Lecture Notes in Computer Science). 2. Advances in Databases and Information Systems: Proc./17th East European Conference, ADBIS 2013, Genoa, Italy, September 2013 /Ed. by B.Catania, G.Guerrini, J.Pokorny.-Berlin: Springer, 2013. -Vol. 8133.-402 p.-(Lecture Notes in Computer Science). 3. Augmented Reality Environments for Medicak Imaging and Computer-Assisted Interventions: Proc./6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013 Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 2013/Ed. by H.Liao, C.A.Linte.-Berlin: Springer, 2013.-Vol. 8090. -278 p.-(Lecture Notes in Computer Science). 4. Security Engineering and Intelligence Informatics: Proc./CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2013/Ed. by A.Cuzzocrea, Ch.Kittl, D.E.Simos, E.Weippl.-Berlin: Springer, 2013.-Vol. 8128.-466 p.-(Lecture Notes in Computer Science). 5. Multilingual Information Access in South Asian Languages: Revised Selected Papers/2nd International Workshop, FIRE 2010, Gandhinagar, India, February 2010 and 3rd International Workshop, FIRE 2011, Bombay, India, December 2011/Ed. by P.Majumder, M.Mitra.-Berlin: Springer, 2013.-Vol. 7536.-353 p.-(Lecture Notes in Computer Science). 6. Logoc, Language, Information, and Computation: Proc./20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 2013/Ed. by L.Libkin, U.Kohlenbach, R.De_Queiroz.-Berlin: Springer, 2013.-Vol. 8071.-283 p.-(Lecture Notes in Computer Science). 7. Fundamentals of Computation Theory: Proc./19th International Symposium, FCT 2013, Liverpool, UK, August 2013/Ed. by L.Gasieniec, F.Wolter.-Berlin: Springer, 2013.-Vol. 8070.-318 p. -(Lecture Notes in Computer Science). 8. Geometric Science of Information: Proc./1st International Conference, GSI 2013, Paris, France, August 2013/Ed. by F.Nielsen, F.Barbaresco.-Berlin: Springer, 2013.-Vol. 8085.-879 p. -(Lecture Notes in Computer Science). 9. Networked Systems: Revised Selected Papers/1st International Conference, NETYS 2013, Marrakech, Morocco, May 2013/Ed. by V.Gramoli, R.Guerraoui.-Berlin: Springer, 2013.-Vol. 7853.-332 p. -(Lecture Notes in Computer Science). 10. Digital Forensics and Watermarking: Revised Selected Papers/11th International Workshop, IWDW 2012, Shanghai, China, October 2012/Ed. by Y.Q.Shi, H.-J.Kim, F.Perez-Gonzalez.-Berlin: Springer, 2013.-Vol. 7809.-532 p.-(Lecture Notes in Computer Science). 11. Industrial Applications of Holonic and Multi-Agent Systems: Proc./6th International Conference, HoloMAS 2013, Prague, Czech Republic, Aygust 2013/Ed. by V.Marik, J.L.M.Lastra, P.Skobelev. -Berlin: Springer, 2013.-Vol. 8062.-318 p.-(Lecture Notes in Artificial Intelligence). 12. Text, Speech, and Dialogue: Proc./16th International Conference, TSD 2013, Pilsen, Czech Republic, Srptember 2013/Ed. by I.Habernal, V.Matousek.-Berlin: Springer, 2013.-Vol. 8082. -601 p.-(Lecture Notes in Artificial Intelligence). 13. Multiagent System Technologies: Proc./11th German Conference, MATES 2013, Koblenz, Germany, September 2013/Ed. by M.Klusch, M.Thimm, M.Paprzycki.-Berlin: Springer, 2013.-Vol. 8076. -426 p.-(Lecture Notes in Artificial Intelligence). 14. Computational Logic in Multi-Agent Systems: Proc./14th International Workshop, CLIMA XIV, Corunna, Spain, September 2013/ Ed. by J.Leite, T.C.Son, P.Torroni, L.Van_Der_Torre.-Berlin: Springer, 2013.-Vol. 8143.-391 p.-(Lecture Notes in Artificial Intelligence). 15. Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing: Proc./14th International Conference, RSFDGrC 2013, Halifax,NS,Canada, October 2013/Ed. by D.Ciucci, M.Inuiguchi, Y.Yao, D.Slezak.-Berlin: Springer, 2013.-Vol. 8170.-398 p. -(Lecture Notes in Artificial Intelligence). 16. The Beauty of Functional Code: Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday/Ed. by P.Achten, P.Koopman.-Berlin: Springer, 2013.-Vol. 8106.-285 p.-(Lecture Notes in Artificial Intelligence). 17. Reachability Problems: Proc./7th International Workshop, RP 2013, Uppsala, Sweden, September 2013/Ed. by P.A.Abdulla, I.Potapov.-Berlin: Springer, 2013.-Vol. 8169.-223 p.-(Lecture Notes in Computer Science). 18. Formal Methods for Industrial Critical Systems: Proc./18th International Workshop, FMICS 2013, Madrid, Spain, September 2013/ Ed. by Ch.Pecheur, M.Dierkes.-Berlin: Springer, 2013.-Vol. 8187. -199 p.-(Lecture Notes in Computer Science). 19. String Processing and Information Retrieval: Proc./20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 2013/Ed. by O.Kurland, M.Lewenstein, E.Porat.-Berlin: Springer, 2013.-Vol. 8214.-312 p.-(Lecture Notes in Computer Science). 20. Trustworthy Global Computing: Revised Selectes Papers/7th International Symposium, TGC 2012, Newcastle upon Tune, UK, September 2012/Ed. by C.Palamidessi, M.D.Ryan.-Berlin: Springer, 2013.-Vol. 8191.-213 p.-(Lecture Notes in Computer Science). 21. Formal Methods: Foundations and Applications: Proc./16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 2013/ Ed. by J.Iyoda, L.De_Moura.-Berlin: Springer, 2013.-Vol. 8195. -243 p.-(Lecture Notes in Computer Science). 22. Fundamentals of Software Engineering: Revised Selected Papers/5th International Conference, FSEN 2013, Tehran, Iran, April 2013/Ed. by F.Arbab, M.Sirjani.-Berlin: Springer, 2013. -Vol. 8161.-283 p.-(Lecture Notes in Computer Science). 23. Software Engineering and Formal Methods: Proc./11th International Conference, SEFM 2013, Madrid, Spain, September 2013 /Ed. by R.M.Hierons, M.G.Merayo, M.Bravetti.-Berlin: Springer, 2013.-Vol. 8137.-321 p.-(Lecture Notes in Computer Science). 24. Computational Logistics: Proc./4th International Conference, ICCL 2013, Copenhagen, Denmark, September 2013/Ed. by D.Pacino, S.Voss, R.M.Jensen.-Berlin: Springer, 2013.-Vol. 8197.-269 p. -(Lecture Notes in Computer Science). 25. Cooperative Design, Visualization, and Engineering: Proc./10th International Conference, CDVE 2013, Alcuda, Mallorca, Spain, September 2013/Ed. by Yu.Luo.-Berlin: Springer, 2013. -Vol. 8091.-236 p.-(Lecture Notes in Computer Science). 26. Logic, Rationality, and Interaction: Proc./4th International Workshop, LORI 2013, Hangzhou, China, October 2013/Ed. by D.Grossi, O.Roy, H.Huang.-Berlin: Springer, 2013.-Vol. 8196.-363 p.-(Lecture Notes in Computer Science). 27. Service-Oriented and Cloud Computing: Proc./2nd European Conference, ESOCC 2013, Malaga, Spain, September 2013/Ed. by K.-K.Lau, W.Lamersdorf, E.Pimentel.-Berlin: Springer, 2013.-Vol. 8135.-244 p.-(Lecture Notes in Computer Science). 28. Principles and Practice of Constraint Programming: Proc./19th International Conference, CP 2013, Uppsala, Sweden, September 2013/Ed. by Ch.Schulte.-Berlin: Springer, 2013.-Vol. 8124.-898 p.-(Lecture Notes in Computer Science). 29. Algebraic Informatics: Proc./5th International Conference, CAI 2013, Porquerolles, France, September 2013/Ed. by T.Muntean, D.Poulakis, R.Rolland.-Berlin: Springer, 2013.-Vol. 8080.-275 p. -(Lecture Notes in Computer Science). 30. Network and Parallel Computing: Proc./10th IFIP International Conference, NPC 2013, Guiyang, China, September 2013 /Ed. by Ch.-H.Hsu, X.Li, X.Shi, R.Zheng.-Berlin: Springer, 2013. -Vol. 8147.-418 p.-(Lecture Notes in Computer Science). 31. Numerical Analysis and Its Applications: Revised Selected Papers/5th Unternational Conference, NAA 2012, Lozenetz, Bulgaria, June 2012/Ed. by I.Dimov, I.Farago, L.Vulkov.-Berlin: Springer, 2013.-Vol. 8236.-572 p.-(Lecture Notes in Computer Science). 32. Software Language Engineering: Proc./6th International Conference, SLE 2013, Indianapolis,IN,USA, October 2013/Ed. by M.Erwig, R.F.Paige, E.V.Wyk.-Berlin: Springer, 2013.-Vol. 8225. -385 p.-(Lecture Notes in Computer Science). 33. Automated Technology for Verification and Analysis: Proc./11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 2013/Ed. by D.V.Hung, M.Ogawa.-Berlin: Springer, 2013. -Vol. 8172.-528 p.-(Lecture Notes in Computer Science). 34. Programming Languages: Proc./17th Brazilian Symposium, SBLP 2013, Brasilia, Brazil, October 2013/Ed. by A.R.Du_Bois, P.Trinder.-Berlin: Springer, 2013.-Vol. 8129.-151 p.-(Lecture Notes in Computer Science). 35. Algorithmic Decision Theory: Proc./3rd International Conference, ADT 2013, Bruxelles, Belgium, November 2013/Ed. by P.Perny, M.Pirlot, A.Tsoukias.-Berlin: Springer, 2013.-Vol. 8176. -442 p.-(Lecture Notes in Artificial Intelligence). 36. Transactions on Large-Scale Data-and Knowledge-Centered Systems X: Special Issue on Database-and Expert-Systems Applications/Ed. by A.Hameurlain, J.Kung, R.Wagner.-Berlin: Springer, 2013.-Vol. 8220.-201 p.-(Lecture Notes in Computer Science). 37. Constraint Solving and Language Processing: Revised Selected Papers/7th International Workshop, CSLP 2012, Orleans, France, September 2012/Ed. by D.Duhier, Ya.Parmentier.-Berlin: Springer, 2013.-Vol. 8114.-179 p.-(Lecture Notes in Computer Science). 38. In Search of Elegance in the Theory and Practice of Computation: Essays Dedicated to Peter Buneman/Ed. by V.Tannen, L.Wong, L.Libkin, W.Fan.-Berlin: Springer, 2013.-Vol. 8000.-569 p. -(Lecture Notes in Computer Science). 39. Model and Data Engineering: Proc./3rd International Conference, MEDI 2013, Amantea, Italy, September 2013/Ed. by A.Cuzzocrea, S.Maabout.-Berlin: Springer, 2013.-Vol. 8216.-291 p. -(Lecture Notes in Computer Science). 40. Distributed Computing: Proc./27th International Symposium, DISC 2013, Jerusalem, Israel, October 2013/Ed. by Ye.Afek.-Berlin: Springer, 2013.-Vol. 8205.-586 p.-(Lecture Notes in Computer Science). 41. Measurement Methodology and Tools: Revised and Extended Papers/1st European Workshop, FP7 FIRE/EULER Project, Aalbord, Denmark, May 2012/Ed. by L.Fabrega, P.Vila, D.Careglio, D.Papadimitriou.-Berlin: Springer, 2013.-Vol. 7586.-205 p. -(Lecture Notes in Computer Science). 42. Multidisciplinary Information Retrieval: Proc./6th International Retrieval Facility Conference, IRFC 2013, Limassol, Cyprus, October 2013/Ed. by M.Lupu, E.Kanoulas, F.Loizides. -Berlin: Springer, 2013.-Vol. 8201.-111 p.-(Lecture Notes in Computer Science). 43. Algorithmic Game Theory: Proc./6th International Symposium, SAGT 2013, Aachen, Germany, October 2013/Ed. by B.Vocking.-Berlin: Springer, 2013.-Vol. 8146.-271 p.-(Lecture Notes in Computer Science). 44. Collaboration and Technology: Proc./19th International Conference, CRIWG 2013, Wellington, New Zealand, October 2013/Ed. by P.Antunes, M.A.Gerosa, A.Sylvester, J.Vassileva.-Berlin: Springer, 2013.-Vol. 8224.-323 p.-(Lecture Notes in Computer Science). 45. Artificial Neural Networks and Machine Learning - ICANN 2013: Proc./23rd International Conference on ANN, Sofia, Bulgaria, September 2013/Ed. by V.Mladenov, P.Korpinkova-Hristova, G.Palm, A.E.P.Villa.-Berlin: Springer, 2013. -Vol. 8131.-643 p.-(Lecture Notes in Computer Science). 46. Formal Modeling and Analysis of Timed Systems: Proc./11th International Conference, FORMATS 2013, Buenos Aires. Argentina, August 2013/Ed. by V.Braberman, L.Fribourg.-Berlin: Springer, 2013.-Vol. 8053.-275 p.-(Lecture Notes in Computer Science). 47. Mathematical Foundations of Computer Science 2013: Proc./38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 2013/Ed. by K.Chatterjee, J.Sgall.-Berlin: Springer, 2013.-Vol. 8087.-854 p.-(Lecture Notes in Computer Science). 48. Testing Software and Systems: Proc./25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 2013/Ed. by H.Yenigum, C.Yilmaz, A.Ulrich.-Berlin: Springer, 2013. -Vol. 8254.-291 p.-(Lecture Notes in Computer Science). 49. Черненок С.А., Непомнящий В.А. Анализ MSC-диаграмм распределенных систем с помощью раскрашенных сетей Петри. -Новосибирск, 2013.-61 с.-(Препринт/ИСИ СО РАН; N 171). 50. Сидякин С.В. Разработка алгоритмов построения морфологических спектров для анализа цифровых изображений и видеопоследовательностей: Автореф. дис... канд. тех. наук: 05.13.17.-М., 2013.-24 с.-Библиогр.: c.22-24. 51. Сухов А.О. Разработка инструментальных средств создания визуальных предметно-ориентированных языков: Автореф. дис... канд. ф.-м. наук: 05.13.11.-Пермь, 2013.-23 с.-Библиогр.: c.20-23. 52. Исходжанов Т.Р. Автоматический поиск ошибок в компьютерных программах с применением динамического анализа: Автореф. дис... канд. тех. наук: 05.13.11.-М., 2013.-21 с.-Библиогр.: c.21. 53. Созинова Е.Н. Метод обеспечения и проведения внутреннего аудита информационной безопасности организций на основе риск-ориентирванного подхода: Автореф. дис... канд. тех. наук: 05.13.19.-Санкт-Петербург, 2013.-22 с.-Библиогр.: c.22. 54. Федорищев Л.А. Модели, методы и инструментальные сервисы для создания профессиональных виртуальных облачных сред: Автореф. дис... канд. тех. наук: 05.13.11.-Владивосток, 2013.-18 с. -Библиогр.: c.16-18. 55. Чувилин К.В. Автоматический синтез правил коррекции текстовых документов формата LATEX: Автореф. дис... канд. тех. наук: 05.13.17.-М., 2013.-23 с.-Библиогр.: c.22-23. 56. Разин Н.А. Выпуклые критерии и параллелизуемые алгоритмы селективного комбинирования разнородных представлений объектов в задачах восстановления зависимостей по эмпирическим данным: Автореф. дис... канд. ф.-м. наук: 05.13.17.-М., 2013.-21 с. -Библиогр.: c.21. 57. Internet and Distributed Computing Systems: Proc./6th International Conference, IDCS 2013, Hangzhou, China, October 2013 /Ed. by M.Pathan, G.Wei, G.Fortino.-Berlin: Springer, 2013.-Vol. 8223.-400 p.-(Lecture Notes in Computer Science). 58. Active Media Technology: Proc./9th International Conference, AMT 2013, Maebashi, Japan, October 2013/Ed. by T.Yoshida, G.Kou, A.Skowron, J.Cao.-Berlin: Springer, 2013.-Vol. 8210.-434 p. -(Lecture Notes in Computer Science). 59. Energy Efficiency in Large Scale Distributed Systems: Revised Selected Papers/COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 2013/Ed. by J.-M.Pierson, G.Da_Costa, L.Dittmann.-Berlin: Springer, 2013.-Vol. 8046.-312 p. -(Lecture Notes in Computer Science). 60. On the Move to Meaningful Internet Systems: OTM 2013 Conferences: Proc./ Confederated International Conferences: CooplS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 2013/Ed. by R.Meersman, H.Panetto.-Berlin: Springer, 2013.-Vol. 8185.-775 p.-(Lecture Notes in Computer Science). 61. Economics of Grids, Clouds, Systems, and Services: Proc./10th International Conference, GECON 2013, Zaragoza, Spain, September 2013/Ed. by J.Altmann, K.Vanmechelen, O.F.Rana.-Berlin: Springer, 2013.-Vol. 8193.-281 p.-(Lecture Notes in Computer Science). 62. Advances in Web-Based Learning - ICWL 2013: Proc./12th International Conference, Kenting, Taiwan, October 2013/Ed. by J.-F.Wang, R.Lau.-Berlin: Springer, 2013.-Vol. 8167.-352 p. -(Lecture Notes in Computer Science). 63. Software Engineering for Resilient Systems: Proc./5th International Workshop, SERENE 2013, Kiev, Ukraine, October 2013/ Ed. by A.Gorbenko, A.Romanovsky, V.Kharchenko.-Berlin: Springer, 2013.-Vol. 8166.-199 p.-(Lecture Notes in Computer Science). 64. Neural Information Processing, Part I: Proc./20th International Conference, ICONIP 2013, Daegu, Korea, November 2013 /Ed. by M.Lee, A.Hirose, Z.-G.Hou, R.M.Kil.-Berlin: Springer, 2013.-Vol. 8226.-646 p.-(Lecture Notes in Computer Science). 65. Neural Information Processing, Part II: Proc./20th International Conference, ICONIP 2013, Daegu, Korea, November 2013 /Ed. by M.Lee, A.Hirose, Z.-G.Hou, R.M.Kil.-Berlin: Springer, 2013.-Vol. 8227.-776 p.-(Lecture Notes in Computer Science). 66. Neural Information Processing, Part III: Proc./20th International Conference, ICONIP 2013, Daegu, Korea, November 2013 /Ed. by M.Lee, A.Hirose, Z.-G.Hou, R.M.Kil.-Berlin: Springer, 2013.-Vol. 8228.-638 p.-(Lecture Notes in Computer Science). 67. Evolution of Telecommunication Services: The Convergence of Telecom and Internet: Technologies and Ecosystems/Ed. by E.Bertin, N.Crespi, Th.Magedanz.-Berlin: Springer, 2013.-Vol. 7768. -327 p.-(Lecture Notes in Computer Science). 68. The Semantic Web: ESWC 2013 Satellite Events: Revised Selected Papers/ESWC 2013 Sattelite Events, Montpellier, France, May 2013/Ed. by Ph.Cimiano, M.Fernandez, V.Lopez, S.Schlobach. -Berlin: Springer, 2013.-Vol. 7955.-347 p.-(Lecture Notes in Computer Science). 69. Business Process Management: Proc./11th International Conference, BPM 2013, Beijing, China, August 2013/Ed. by F.Daniel, J.Wang, B.Weber.-Berlin: Springer, 2013.-Vol. 8094.-355 p.-(Lecture Notes in Computer Science). 70. Interactive Storytelling: Proc./6th International Conference, ICIDS 2013, Istanbul, Turkey, November 2013/Ed. by H.Koenitz, T.I.Sezen, G.Ferri, M.Haahr.-Berlin: Springer, 2013. -Vol. 8230.-288 p.-(Lecture Notes in Computer Science). 71. Entertainment Computing - ICEC 2013: Proc./12th International Conference, ICEC 2013, Sao Paulo, Brazil, October 2013/Ed. by J.C.Anacleto, E.W.G.Clua, F.S.Correa_Da_Silva, S.Fels. -Berlin: Springer, 2013.-Vol. 8215.-214 p.-(Lecture Notes in Computer Science). 72. Similarity Search and Applications: Proc./6th International Conference, SISAP 2013, A Coruna, Spain, October 2013/Ed. by N.Brisaboa, O.Pedreira, P.Zezula.-Berlin: Springer, 2013.-Vol. 8199.-332 p.-(Lecture Notes in Computer Science). 73. Computer Information Systems and Industrial Management: Proc./12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 2013/Ed. by K.Saeed, R.Chaki, A.Cortesi, S.Wierzchon.-Berlin: Springer, 2013.-Vol. 8104.-524 p.-(Lecture Notes in Computer Science). 74. Advances in Computer Entertainment: Proc./10th Internarional Conference, ACE 2013, Boekelo, The Netherlands, November 2013/Ed. by D.Reidsma, H.Katayose, A.Nijholt.-Berlin: Springer, 2013. -Vol. 8253.-668 p.-(Lecture Notes in Computer Science). 75. Полицын С.А. Математическая модель и система планирования проектов разработки программного обеспечения: Автореф. дис... канд. тех. наук: 05.13.18.-М., 2013.-20 с.-Библиогр.: c.19-20. 76. Гирик А.В. Метод обнаружения информационных угроз безопасности передачи данных на основе анализа сетевой статистики: Автореф. дис... канд. тех. наук: 05.13.19. -Санкт-Петербург, 2013.-23 с.-Библиогр.: c.22-23. 77. Еремеев А.В. Исследование эволюционных методов решения задач комбинаторной оптимизации: Автореф. дис... докт. ф.-м. наук: 05.13.17.-М., 2013.-34 с.-Библиогр.: c.31-34. 78. Гультяева Т.А. Исследование подхода к решению задачи классификации последовательностей, представленных скрытыми Марковскими моделями, с использованием инициированных этими моделями признаков: Автореф. дис... канд. тех. наук: 05.13.17. -Новосибирск, 2013.-16 с.-Библиогр.: c.14-16. 79. Баранов Д.В. Эквациональные LP-структуры и их приложения в системах переписывания: Автореф. дис... канд. ф.-м. наук: 05.13.17. -М., 2013.-15 с.-Библиогр.: c.14-15. 80. Advances in Bioinformatics and Computational Biology: Proc./8th Brazilian Symposium on Bioinformaticas, BSB 2012, Recife, Brazil, November 2013/Ed. by J.C.Setubal, N.F.Almeida. -Berlin: Springer, 2013.-Vol. 8213.-215 p.-(Lecture Notes in Bioinformatics). 81. Rough Sets and Knowledge Technology: Proc./8th International Conference, RSKT 2013, Halifax,NS,Canada, October 2013/Ed. by P.Lingras, M.Wolski, C.Cornelis, S.Mitra.-Berlin: Springer, 2013. -Vol. 8171.-141 p.-(Lecture Notes in Artificial Intelligence). 82. Modeling and Using Context: Proc./8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 2013/Ed. by P.Brezillon, P.Blackburn, R.Dapoigny.-Berlin: Springer, 2013.-Vol. 8175.-381 p.-(Lecture Notes in Artificial Intelligence). 83. Automated Reasoning with Analytic Tableaux and Related Methods: Proc./22nd International Conference, TABLEAUX 2013, Nancy, France, September 2013/Ed. by D.Galmiche, D.Larchey-Wendling.-Berlin: Springer, 2013.-Vol. 8123.-289 p. -(Lecture Notes in Artificial Intelligence). 84. Progress in Artificial Intelligence: Proc./16th Portuguese Conferenceon AI, EPIA 2013, Angra do Heroismo, Azores, Portugal, September 2013/Ed. by L.Correia, L.P.Reis, J.Cascalho.-Berlin: Springer, 2013.-Vol. 8154.-542 p.-(Lecture Notes in Artificial Intelligence). 85. KI 2013: Advances in Artificial Intelligence: Proc./36th Annual German Conference on AI, Koblenz, Germany, September 2013/ Ed. by I.J.Timm, M.Thimm.-Berlin: Springer, 2013.-Vol. 8077.-313 p.-(Lecture Notes in Artificial Intelligence). 86. Сибирская дорога в космос/Ред. Н.А.Тестоедов; ОАО "Информационные спутниковые системы" им. академика М.Ф.Решетнева. . - Красноярск: "Платина плюс", 2009.- 128 с.