07.09.2015

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.



Вы обнаружили ошибку в следующем тексте:
Просто нажмите кнопку "Отправить сообщение об ошибке" для завершения. Вы можете также ввести комментарий (желательно).