Библиотека

12.12.2016

Hовые поступления с 16 ноября по 12 декабря 2016 года

  1. Dependable Software Engineering: Theories, Tools, and 
Applications: Proc./2nd International Symposium, SETTA 2016, 
Beijing, China, November 2016/Ed. by  M.Franzle, D.Kapur, 
N.Zhan.-Berlin: Springer, 2016.-Vol. 9984.-323 p.-(Lecture 
Notes in Computer Science).
 
  2. Intelligent Data Engineering and Automated Learning - 
IDEAL 2016: Proc./17th International Conference, Yangzhou, 
China, October 2016/Ed. by  H.Yin, Y.Gao, B.Li, D.Zhang.
-Berlin: Springer, 2016.-Vol. 9937.-647 p.-(Lecture Notes in 
Computer Science).
 
  3. Modelling and Simulation for Autonomous Systems: 
Revised Selected Papers/3rd International Workshop, MESAS 
2016, Rome, Italy, June 2016/Ed. by  J.Hodickly.-Berlin: 
Springer, 2016.-Vol. 9991.-408 p.-(Lecture Notes in Computer 
Science).
 
  4. Leveraging Applications of Formal Methods, Verification 
and Validation, Part I: Foundational Techniques: Proc./7th 
International Symposium, ISoLA 2016, Imperial, Corfu, 
Greece, October 2016/Ed. by  T.Margaria, B.Steffen.-Berlin: 
Springer, 2016.-Vol. 9952.-974 p.-(Lecture Notes in Computer 
Science).
 
  5. Leveraging Applications of Formal Methods, Verification 
and Validation, Part II: Discussion, Dissemination, 
Applications: Proc./7th International Symposium, ISoLA 2016, 
Imperial, Corfu, Greece, October 2016/Ed. by  T.Margaria, 
B.Steffen.-Berlin: Springer, 2016.-Vol. 9953.-866 p.
-(Lecture Notes in Computer Science).
 
  6. Reachability Problems: Proc./10th International 
Workshop, RP 2016, Aalborg, Denmark, September 2016/Ed. by  
K.G.Larsen, I.Potapov, J.Srba.-Berlin: Springer, 2016.-Vol. 
9899.-193 p.-(Lecture Notes in Computer Science).
 
  7. Future Data and Security Engineering: Proc./3rd 
International Conference, FDSE 2016, Can Tho City, Vietnam, 
November 2016/Ed. by  T.K.Dang, R.Wagner, J.Kung, N.Thoai.
-Berlin: Springer, 2016.-Vol. 10018.-430 p.-(Lecture Notes 
in Computer Science).
 
  8. Interactive Storytelling: Proc./9th International 
Conference on Interactive Digital Storytelling, ICIDS 2016, 
Los Angeles,CA,USA, November 2016/Ed. by  F.Nack, A.S.Gordon.
-Berlin: Springer, 2016.-Vol. 10045.-468 p.-(Lecture Notes 
in Computer Science).
 
  9. System Analysis and Modeling: Technology-Specific 
Aspects of Models: Proc./9th International Conference, SAM 
2016, Saint-Melo, France, October 2016/Ed. by  J.Grabowski, 
S.Herbold.-Berlin: Springer, 2016.-Vol. 9959.-243 p.
-(Lecture Notes in Computer Science).
 
 10. Theory of Cryptography, Part I: Proc./14th 
International Conference, TCC 2016-B, Beijing, China, 
October 2016/Ed. by  M.Hirt, A.Smith.-Berlin: Springer, 2016.
-Vol. 9985.-692 p.-(Lecture Notes in Computer Science).
 
 11. Theory of Cryptography, Part II: Proc./14th 
International Conference, TCC 2016-B, Beijing, China, 
October 2016/Ed. by  M.Hirt, A.Smith.-Berlin: Springer, 2016.
-Vol. 9986.-578 p.-(Lecture Notes in Computer Science).

 12. Social Informatics, Part I: Proc./8th International 
Conference, SocInfo 2016, Bellevue,WA,USA, November 2016/Ed. 
by  E.Spiro, Y.-Y.Ahn.-Berlin: Springer, 2016.-Vol. 10046.
-545 p.-(Lecture Notes in Computer Science).
 
 13. Social Informatics, Part II: Proc./8th International 
Conference, SocInfo 2016, Bellevue,WA.USA, November 2016/Ed. 
by  E.Spiro, Y.-Y.Ahn.-Berlin: Springer, 2016.-Vol. 10047.
-517 p.-(Lecture Notes in Computer Science).
 
 14. On the Move to Meaningful Internet Systems: OTM 2016 
Conferences: Proc./Confederated International Conferences: 
CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 2016/
Ed. by  Ch.Debruyne, H.Panetto, R.Meersman, T.Dillon.-Berlin:
 Springer, 2016.-Vol. 10033.-977 p.-(Lecture Notes in 
Computer Science).
 
 15. Advanced Concepts for Intelligent Vision Systems: 
Proc./17th International Conference, ACIVS 2016, Lecce, 
Italy, October 2016/Ed. by  J.Blanc-Talon, C.Distante, 
W.Philips, D.Popescu.-Berlin: Springer, 2016.-Vol. 10016.
-749 p.-(Lecture Notes in Computer Science).
 
 16. The Semantic Web: Revised Selected Papers/ESWC 2016 
Satellite Events, Heraklion, Crete, Greece, May 2016/Ed. by  
H.Sack, G.Rizzo, N.Stainmetz, D.Mladenic.-Berlin: Springer, 
2016.-Vol. 9989.-443 p.-(Lecture Notes in Computer Science).
 
 17. Advances in Intelligent Data Analysis XV: Proc./15th 
International Symposium, IDA 2016, Stockholm, Sweden, 
October 2016/Ed. by  H.Bostrom, A.Knobbe, C.Soares, 
P.Papapetrou.-Berlin: Springer, 2016.-Vol. 9897.-404 p.
-(Lecture Notes in Computer Science).
 
 18. Network and System Security: Proc./10th International 
Conference, NSS 2016, Taipei, Taiwan, September 2016/Ed. by  
J.Chen, V.Piuri, C.Su, M.Yung.-Berlin: Springer, 2016.-Vol. 
9955.-540 p.-(Lecture Notes in Computer Science).
 
 19. OpenMP: Memory, Devices, and Tasks: Proc./12th 
International Workshop on OpenMP, IWOMP 2016, Nara, Japan, 
October 2016/Ed. by  N.Maruyama, B.R.De_Supinski, M.Wahib.
-Berlin: Springer, 2016.-Vol. 9903.-352 p.-(Lecture Notes in 
Computer Science).
 
 20. Databases Theory and Applications: Proc./27th 
Australian Database Conference, ADC 2016, Sydney, NSW, 
September 2016/Ed. by  M.A.Cheema, W.Zhang, L.Chang.-Berlin: 
Springer, 2016.-Vol. 9877.-486 p.-(Lecture Notes in Computer 
Science).
 
 21. High Performance Computing: Revised Selected Papers/ISC 
High Performance 2016 International Workshops: ExaComm, 
E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, 
Frankfurt, Germany, June 2016/Ed. by  M.Taufer, B.Mohr, 
J.M.Kunkel.-Berlin: Springer, 2016.-Vol. 9945.-699 p.
-(Lecture Notes in Computer Science).
 
 22. Biometric Recognition: Proc./11th Chinese Conference, 
CCBR 2016, Chengdu, China, October 2016/Ed. by  Z.You, 
J.Zhou, Y.Wang, Z.Sun.-Berlin: Springer, 2016.-Vol. 9967.
-778 p.-(Lecture Notes in Computer Science).

 23. Internet and Distributed Computing Systems: Proc./9th 
International Conference, IDCS 2016, Wuhan, China, September 
2016/Ed. by  W.Li, S.Ali, G.Lodewijks, G.Fortino.-Berlin: 
Springer, 2016.-Vol. 9864.-526 p.-(Lecture Notes in Computer 
Science).
 
 24. Entertainment Computing and Serious Games: Revised 
Selected Papers/International GI-Dagstuhl Seminar 15283, 
Dagstuhl Castlem Germany, July 2015/Ed. by  R.Dorner, 
S.Gobel, M.Kickmeier-Rust, M.Masuch.-Berlin: Springer, 2016.
-Vol. 9970.-541 p.-(Lecture Notes in Computer Science).
 
 25. Conceptual Modeling: Proc./35th International 
Conference, ER 2016, Gifu, Japan, November 2016/Ed. by  
I.Comin-Wattiau, K.Tanaka, I.-Y.Song, S.Yamomoto.-Berlin: 
Springer, 2016.-Vol. 9974.-562 p.-(Lecture Notes in Computer 
Science).
 
 26. Cryptology and Network Security: Proc./15th 
International Conference, CANS 2016, Milan Italy, November 
2016/Ed. by  S.Foresti, G.Persiano.-Berlin: Springer, 2016.
-Vol. 10052.-762 p.-(Lecture Notes in Computer Science).
 
 27. Social Robotics: Proc./8th International Conference, 
ICSR 2016, Kansas City,MO,USA, November 2016/Ed. by  A.Agah, 
J.-J.Cabibihan, A.M.Howard, M.A.Salichs.-Berlin: Springer, 
2016.-Vol. 9979.-1018 p.-(Lecture Notes in Artificial 
Intelligence).
 
 28. Integrated Uncertainty in Knowledge Modeling and 
Decision Making: Proc./5th International Symposium, IUKM 
2016, Da_Nang, Vietnam, November 2016/Ed. by  V.-N.Huynh, 
M.Inuiguchi, B.Le, B.N.Le.-Berlin: Springer, 2016.-Vol. 9978.
-728 p.-(Lecture Notes in Artificial Intelligence).
 
 29. Intelligent Virtual Agents: Proc./16th International 
Conference, IVA 2016, Los Angeles,CA,USA, September 2016/Ed. 
by  D.Traum, W.Swartout, P.Khooshabrh, S.Kopp.-Berlin: 
Springer, 2016.-Vol. 10011.-521 p.-(Lecture Notes in 
Artificial Intelligence).
 
 30. Кудинов М.С. Статистическое моделирование русского 
языка с помощью нейронных сетей: Автореф. дис... канд. тех. 
наук: 05.13.17.-М., 2016.-20 с.-Библиогр.: c.19-20.
 
 31. Algorithm Engineering: Selected Results and Surveys/Ed. 
by  L.Kliemann, P.Sanders.-Berlin: Springer, 2016.-Vol. 9220.
-419 p.-(Lecture Notes in Computer Science).
 
 32. Information Theoretic Security: Revised Selected 
Papers/9th International Conference, ICITS 2016, 
Tacoma,WA,USA, August 2016/Ed. by  A.C.A.Nascimento, 
P.Barreto.-Berlin: Springer, 2016.-Vol. 10015.-301 p.
-(Lecture Notes in Computer Science).
 
 33. Advances in Cryptology - ASIACRYPT 2016, Part I: 
Proc./22nd International Conference on the Theory and 
Application of Cryptology and Information Security, Hanoi, 
Vietnam, December 2016/Ed. by  J.H.Cheon, T.Takagi.-Berlin: 
Springer, 2016.-Vol. 10031.-941 p.-(Lecture Notes in 
Computer Science).

 34. Advances in Cryptology - ASIACRYPT 2016, Part II: 
Proc./22nd International Conference on the Theory and 
Application of Cryptology and Information Security, Hanoi, 
Vietnam, December 2016/Ed. by  J.H.Cheon, T.Takagi.-Berlin: 
Springer, 2016.-Vol. 10032.-1055 p.-(Lecture Notes in 
Computer Science).
 
 35. Web Information Systems Engineering - WISE 2016, Part 
I: Proc./17th International Conference, Shanghai, China, 
November 2016/Ed. by  W.Cellary, M.F.Mokbel, J.Wang, H.Wang.
-Berlin: Springer, 2016.-Vol. 10041.-572 p.-(Lecture Notes 
in Computer Science).
 
 36. Web Information System Engineering - WISE 2016, Part 
II: Proc./17th International Conference, Shanghai, China, 
November 2016/Ed. by  W.Cellary, M.F.Mokbel, J.Wang, H.Wang.
-Berlin: Springer, 2016.-Vol. 10042.-452 p.-(Lecture Notes 
in Computer Science).
 
 37. Logical Aspects of Computational Linguistics: 
Celebrating 20 years of LACL (1996-2016): Proc./9th 
International Conference, LACL 2016, Nancy, France, December 
2016/Ed. by  M.Amblard, Ph.De_Groote, S.Pogodalla, Ch.Retore.
-Berlin: Springer, 2016.-Vol. 10054.-335 p.-(Lecture Notes 
in Computer Science).
 
 38. Security, Privacy, and Anonimity in Computation, 
Communication, and Storage: Proc./9th International 
Conference, SpaCCS 2016, Zhangjiajie, China, November 2016/
Ed. by  G.Wang, I.Ray, J.M.A.Calero, S.M.Thampi.-Berlin: 
Springer, 2016.-Vol. 10066.-508 p.-(Lecture Notes in 
Computer Science).
 
 39. Security, Privacy and Anonymity in Computation, 
Communication and Storage: Proc./SpaCCS 2016 International 
Workshops TrustData, TSP, NOPE, DependSys, BigDataSPT, and 
WCSSC, Zhangjiajie, China, November 2016/Ed. by  G.Wang, 
I.Ray, J.M.A.Calero, S.M.Thampi.-Berlin: Springer, 2016.
-Vol. 10067.-392 p.-(Lecture Notes in Computer Science).
 
 40. Security Standardisation Research: Proc./3rd 
International Conference, SSR 2016, Gaithersburg,MD,USA, 
December 2016/Ed. by  L.Chen, D.Mcgrew, C.Mitchell.-Berlin: 
Springer, 2016.-Vol. 10074.-275 p.-(Lecture Notes in 
Computer Science).
 
 41. Algorithms and Models for the Web Graph: Proc./13th 
International Workshop, WAW 2016, Montreal,QC,Canada, 
December 2016/Ed. by  A.Bonato, F.C.Graham, P.Pralat.-Berlin:
 Springer, 2016.-Vol. 10088.-165 p.-(Lecture Notes in 
Computer Science).
 
 42. Formal Methods: Foundations and Applications: 
Proc./19th Brazilian Symposium, SBMF 2016, Natal, Brazil, 
November 2016/Ed. by  L.Ribeiro, T.Lecomte.-Berlin: Springer,
 2016.-Vol. 10090.-253 p.-(Lecture Notes in Computer 
Science).
 
 43. Progress in Cryptology - INDOCRYPT 2016: Proc./17th 
International Conference on Cryptology in India, Kolkata, 
India, December 2016/Ed. by  O.Dunkelman, S.K.Sanadhya.
-Berlin: Springer, 2016.-Vol. 10095.-429 p.-(Lecture Notes 
in Computer Science).

 44. Advances in Brain Inspired Cognitive Systems: Proc./8th 
International Conference, BICS 2016, Beijing, China, 
November 2016/Ed. by  C.-L.Liu, A.Hassain, B.Luo, K.C.Tan.
-Berlin: Springer, 2016.-Vol. 10023.-368 p.-(Lecture Notes 
in Artificial Intelligence).
 
 45. Multi-disciplinary Trends in Artificial Intelligence: 
Proc./10th International Workshop, MIWAI 2016, Chiang Mai, 
Thailand, December 2016/Ed. by  C.Sombattheera, 
F.Stolzenburg, F.Lin, A.Nayak.-Berlin: Springer, 2016.-Vol. 
10053.-314 p.-(Lecture Notes in Artificial Intelligence).
 
 46. Advances Data Mining and Applications: Proc./12th 
International Conference, ADMA 2016, Gold Coast, QLD, 
Australia, December 2016/Ed. by  J.Li, X.Li, Sh.Wang, J.Li.
-Berlin: Springer, 2016.-Vol. 10086.-817 p.-(Lecture Notes 
in Artificial Intelligence).