Библиотека

17.04.2017

Hовые поступления с 14 марта по 17 апреля 2017 года

  1. Resoning Web: Logical Foundation of Knowledge Graph 
Construction and Query Answering: Tutorial Lectures/12th 
International Summer School 2016, Aberdeen, UK, September 2016/
Ed. by  J.Z.Pan, D.Calvanese, T.Eiter, I.Horrocks.-Berlin: 
Springer, 2017.-Vol. 9885.-259 p.-(Lecture Notes in Computer 
Science).
 
  2. Numerical Software Verification: Revised Selected Papers/9th 
International Workshop, NSV 2016, Toronto,ON,Canada, July 2016/
Ed. by  S.Bogomolov, M.Murtel, P.Probhakar.-Berlin: Springer, 2017.
-Vol. 10152.-107 p.-(Lecture Notes in Computer Science).
 
  3. Computer-Assisted and Robotic Endoscopy: Revised Selected 
Papers/3rd International Workshop, CARE 2016 Held in Conjunction 
with MICCAI 2016, Athens, Greece, October 2016/Ed. by  T.Peters, 
G.-Z.Yang, N.Navab, K.Mori.-Berlin: Springer, 2017.-Vol. 10170.
-127 p.-(Lecture Notes in Computer Science).
 
  4. Latent Variable Analysis and Signal Separation: Proc./13th 
International Conference, LVA/ICA 2017, Grenoble, France, 
February 2017/Ed. by  P.Tichavsky, M.Babaie-Zadeh, O.J.J.Michel, 
N.Thirion-Moreau.-Berlin: Springer, 2017.-Vol. 10169.-576 p.
-(Lecture Notes in Computer Science).
 
  5. Semantic Keyword-Based Search on Structured Data Sources: 
Revised Selected Papers/COST Action IC1302 2nd International 
KEYSTONE Conference, IKC 2016, Cluj-Napoca, Romania, September 
2016/Ed. by  A.Cali, D.Gorgan, M.Ugarte.-Berlin: Springer, 2017.
-Vol. 10151.-197 p.-(Lecture Notes in Computer Science).
 
  6. Information Security and Cryptology - ICISC 2016: Revised 
Selected Papers/19th International Conference, Seoul, South 
Korea, November 2016/Ed. by  S.Hong, J.H.Park.-Berlin: Springer, 
2017.-Vol. 10157.-351 p.-(Lecture Notes in Computer Science).
 
  7. Logic, Language, and Computation: Revised Selected 
Papers/11th International Tbilisi Symposium, TbiLLC 2015, 
Tbilisi, Georgia, September 2015/Ed. by  H.H.Hansen, S.E.Murray, 
M.Sadrzadeh, H.Zeevat.-Berlin: Springer, 2017.-Vol. 10148.-355 p.
-(Lecture Notes in Computer Science).
 
  8. Requirements Engineering: Foundation for Software Quality: 
Proc./23rd International Working Conference, REFSQ 2017, Essen, 
Germany, February 2017/Ed. by  P.Grunbacher, A.Perini.-Berlin: 
Springer, 2017.-Vol. 10153.-380 p.-(Lecture Notes in Computer 
Science).
 
  9. WALCOM: Algorithms and Computation: Proc./11th International 
Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March, 
2017/Ed. by  S.-H.Poon, M.S.Rahman, H.-C.Yen.-Berlin: Springer, 
2017.-Vol. 10167.-474 p.-(Lecture Notes in Computer Science).
 
 10. Web Technologies and Applications, Part II: Proc./18th 
Asia-Pacific Web Conference, APWeb 2016, Suzhou, China, September 
2016/Ed. by  F.Li, K.Shim, K.Zheng, G.Liu.-Berlin: Springer, 2016.
-Vol. 9932.-601 p.-(Lecture Notes in Computer Science).
 
 11. Advances in Visual Computing, Part I: Proc./12th 
International Symposium, ISVC 2016, Las Vegas,NV,USA, December 
2016/Ed. by  G.Bebis, R.Boyle, B.Parvin, D.Koracin.-Berlin: 
Springer, 2016.-Vol. 10072.-873 p.-(Lecture Notes in Computer 
Science).

 12. Public-Key Cryptography - PKC 2017, Part I: Proc./20th IACR 
International Conference on Practice and Theory in PKC, 
Amsterdam, The Netherlands, March 2017/Ed. by  S.Fehr.-Berlin: 
Springer, 2017.-Vol. 10174.-466 p.-(Lecture Notes in Computer 
Science).
 
 13. Agents and Artificial Intelligence: Revised Selected 
Papers/8th International Conference, ICAART 2016, Rome, Italy, 
February 2016/Ed. by  J.Van_Den_Herik, J.Filipe.-Berlin: Springer,
 2017.-Vol. 10162.-315 p.-(Lecture Notes in Artificial 
Intelligence).
 
 14. Fuzzy Logic and Soft Computing Applications: Revised 
Selected Papers/11th International Workshop, WILF 2016, Naples, 
Italy, December 2016/Ed. by  A.Petrosino, V.Loia, W.Pedrycz.
-Berlin: Springer, 2017.-Vol. 10147.-281 p.-(Lecture Notes in 
Artificial Intelligence).
 
 15. Как получаются программисты? Воспоминания об А.Л.Фуксмане/
Южный федеральный университет. .- Ростов-На-Дону, 2017.- 57 с.
 
 16. Knowledge Representation for Health Care: Revised Selected 
Papers/HEC 2016 International Joint Workshop, KR4HC/ProHealth 
2016, Munich, Germany, September 2016/Ed. by  D.Riano, R.Lenz, 
M.Reichert.-Berlin: Springer, 2017.-Vol. 10096.-133 p.-(Lecture 
Notes in Artificial Intelligence).
 
 17. Algorithms and Discrete Applied Mathematics: Proc./3rd 
International Conference, CALDAM 2017, Sancoale, Goa, India, 
February 2017/Ed. by  D.Gaur, N.S.Narayanaswamy.-Berlin: Springer,
 2017.-Vol. 10156.-372 p.-(Lecture Notes in Computer Science).
 
 18. Pattern Recognition Applications and Methods: Revised 
Selected Papers/5th International Conference, ICPRAM 2016, Rome, 
Italy, February 2016/Ed. by  A.Fred, M.De_Marsino, 
G.Sanniti_Di_Baja.-Berlin: Springer, 2017.-Vol. 10163.-243 p.
-(Lecture Notes in Computer Science).
 
 19. Evolutionary Mulri-Criterion Optimization: Proc./9th 
International Conference, EMO 2017, Munster, Germany, March 2017/
Ed. by  H.Trautmann, G.Rudolph, K.Klamroth, O.Schutze.-Berlin: 
Springer, 2017.-Vol. 10173.-702 p.-(Lecture Notes in Computer 
Science).
 
 20. Emerging Technologies for Education: Revised Selected 
Papers/1st International Symposium, SETE 2016 Held in Conjunction 
with ICWL 2016, Rome, Italy, October 2016/Ed. by  T.-T.Wu, 
R.Gennari, Y.-M.Huang, H.Xie.-Berlin: Springer, 2017.-Vol. 10108.
-759 p.-(Lecture Notes in Computer Science).
 
 21. High-Performance Scientific Computing: Revised Selected 
Papers/1st JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, 
October 2016/Ed. by  E.Di_Napoli, M.-A.Hermanns, H.Iliev, 
A.Lintermann.-Berlin: Springer, 2017.-Vol. 10164.-258 p.-(Lecture 
Notes in Computer Science).
 
 22. Грегер С.Э. Математическое и программное обеспечение для 
управления базами знаний на основе многоуровневых семантических 
моделей гетерогенных информационных ресурсов: Автореф. дис... 
канд. тех. наук: 05.13.11.-Екатеринбург, 2017.-20 с.-Библиогр.: 
c.17-20.
 
 23. Кузьмин А.А. Иерархическая классификация коллекций 
документов: Автореф. дис... канд. ф.-м. наук: 05.13.17.-М., 2017.
-19 с.-Библиогр.: c.19.