Библиотека

09.12.2013

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 с.