Библиотека

30.01.2017

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

  1. Transactions on Large-Scale Data-and Knowledge-Centered 
Systems XXIX/Ed. by  A.Hameurlain, J.Kung, R.Wagner.-Berlin: 
Springer, 2016.-Vol. 10120.-135 p.-(Lecture Notes in Computer 
Science).
 
  2. Cyber-Physical Systems of Systems: Foundations - A 
Conceptual Model and Some Derivations: The AMADEOS Legacy/Ed. by  
A.Bondavalli, S.Bouchenak, H.Kopetz.-Berlin: Springer, 2016.-Vol. 
10099.-257 p.-(Lecture Notes in Computer Science).
 
  3. Cloud Computing and Security, Part I: Revised Selected 
Papers/2nd International Conference, ICCCS 2016, Nanjing, China, 
July 2016/Ed. by  X.Sun, A.Liu, H.-C.Chao, E.Bertino.-Berlin: 
Springer, 2016.-Vol. 10039.-490 p.-(Lecture Notes in Computer 
Science).
 
  4. Cloud Computing and Security, Part II: Revised Selected 
Papers/2nd International Conference, ICCCS 2016, Nanjing, China, 
July 2016/Ed. by  X.Sun, A.Liu, H.C.Chao, E.Bertino.-Berlin: 
Springer, 2016.-Vol. 10040.-636 p.-(Lecture Notes in Computer 
Science).
 
  5. Theory and Practice of Natural Computing: Proc./5th 
International Conference, TPNC 2016, Sendai, Japan, December 2016/
Ed. by  C.Martin-Vide, T.Mizuki, M.A.Vega-Rodrigues.-Berlin: 
Springer, 2016.-Vol. 10071.-221 p.-(Lecture Notes in Computer 
Science).
 
  6. Hardware and Software: Verification and Testing: Proc./12th 
International Haifa Verification Conference, HVC 2016, Haifa, 
Israel, November 2016/Ed. by  R.Bloem, E.Arbel.-Berlin: Springer, 
2016.-Vol. 10028.-211 p.-(Lecture Notes in Computer Science).
 
  7. Collective Online Platforms for Financial and Environmental 
Awareness: Revised Selected Papers/1st International Workshop, 
IFIN 2016, and 1st International Workshop, ISEM 2016, Florence, 
Italy, September 2016/Ed. by  A.Satsiou, G.Panos, I.Praggidis, 
S.Vrochidis.-Berlin: Springer, 2016.-Vol. 10078.-167 p.-(Lecture 
Notes in Computer Science).
 
  8. Logic and Its Applications: Proc./7th Indian Conference, 
ICLA 2017, Kanpur,India, January 2017/Ed. by  S.Ghosh, S.Prasad.
-Berlin: Springer, 2017.-Vol. 10119.-239 p.-(Lecture Notes in 
Computer Science).
 
  9. Data Mining and Constrain Programming: Foundations of a 
Cross-Disciplinary Approach/Ed. by  Ch.Bessiere, L.De_Raedt, 
L.Kotthoff, S.Nijssen.-Berlin: Springer, 2016.-Vol. 10101.-349 p.
-(Lecture Notes in Computer Science).
 
 10. Information and Communications Security: Proc./18th 
International Conference, ICICS 2016, Singapore, Singapore, 
November 2016/Ed. by  K.-Y.Lam, C.-H.Chi, S.Qing.-Berlin: Springer,
 2016.-Vol. 9977.-478 p.-(Lecture Notes in Computer Science).
 
 11. Algorithms and Architectures for Parallel Processing: 
Proc./16th International Conference, ICA3PP 2016, Granada, Spain, 
December 2016/Ed. by  J.Carretero, J.Garcia-Blas, R.K.L.Ko, 
P.Mueller.-Berlin: Springer, 2016.-Vol. 10048.-687 p.-(Lecture 
Notes in Computer Science).
 
 12. Discrete and Computational Geometry and Graphs: Revised 
Selected Papers/18th Japan Conference, JCDCGG 2015, Kyoto, Japan, 
September 2015/Ed. by  J.Akiyama, H.Ito, T.Sakai.-Berlin: Springer,
 2016.-Vol. 9943.-294 p.-(Lecture Notes in Computer Science).

 13. Transactions on Rough Sets XX/Ed. by  J.P.Peters, A.Skowron.
-Berlin: Springer, 2016.-Vol. 10020.-321 p.-(Lecture Notes in 
Computer Science).
 
 14. Advances in Services Computing: Proc./10th Asia-Pacific 
Services Computing Conference, APSCC 2016, Zhangjiajie, China, 
November 2016/Ed. by  G.Wang, Y.Han, G.M.Perez.-Berlin: Springer, 
2016.-Vol. 10065.-518 p.-(Lecture Notes in Computer Science).
 
 15. Security, Privacy, and Applied Cryptography Engineering: 
Proc./6th International Conference, SPACE 2016, Hyderabad, India, 
December 2016/Ed. by  C.Carlet, M.A.Hasan, V.Saraswat.-Berlin: 
Springer, 2016.-Vol. 10076.-420 p.-(Lecture Notes in Computer 
Science).
 
 16. Information Systems Security: Proc./12th International 
Conference, ICISS 2016. Jaipur, India, December 2016/Ed. by  
I.Ray, M.S.Gaur, M.Conti, D.Sanghi.-Berlin: Springer, 2016.-Vol. 
10063.-544 p.-(Lecture Notes in Computer Science).
 
 17. Algorithms and Architectures for Paprallel Processing: 
Proc./ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, 
UCER, DLMCS, Granada, Spain, December 2016/Ed. by  J.Carretero.
-Berlin: Springer, 2016.-Vol. 10049.-384 p.-(Lecture Notes in 
Computer Science).
 
 18. Structural, Syntactic, and Statistical Pattern Recognition: 
Proc./Joint IAPR International Workshop, S+SSPR 2016, Merida, 
Mexico, November 2016/Ed. by  A.Robles-Kelly, M.Loog, B.Biggio, 
F.Escolano.-Berlin: Springer, 2016.-Vol. 10029.-588 p.-(Lecture 
Notes in Computer Science).
 
 19. Structural Information and Communication Complexity: Revised 
Selected Papers/23rd International Colloquium, SIROCCO 2016, 
Helsinki, Finland, July 2016/Ed. by  J.Suomela.-Berlin: Springer, 
2016.-Vol. 9988.-408 p.-(Lecture Notes in Computer Science).
 
 20. Verified Software: Theories, Tools, and Experiments: Revised 
Selected Papers/8th Internayional Conference, VSTTE 2016, 
Toronto,ON,Canada, July 2016/Ed. by  S.Blazy, M.Chechik.-Berlin: 
Springer, 2016.-Vol. 9971.-199 p.-(Lecture Notes in Computer 
Science).
 
 21. FM 2016: Formal Methods: Proc./21st International Symposium, 
Limassol, Cyprus, November 2016/Ed. by  J.Fitzgerald, 
C.Heitmeyer, S.Gnesi, A.Philippou.-Berlin: Springer, 2016.-Vol. 
9995.-789 p.-(Lecture Notes in Computer Science).
 
 22. Ubiquitous Computing and Ambient Intelligence, Part I: 
Proc./10th International Conference, UCAml 2016, San Bartolome de 
Tirajana, Gran Canaria, Spain, November 2016/Ed. by  C.R.Garcia, 
P.Caballero-Gil, M.Burmester, A.Quesada-Arencibia.-Berlin: 
Springer, 2016.-Vol. 10069.-553 p.-(Lecture Notes in Computer 
Science).
 
 23. Ubiquitous Computing and Ambient Intelligence, Part II: 
Proc./10th International Conference, UCAml 2016, San Bartolome de 
Tirajana, Gran Canaria, Spain, November 2016/Ed. by  C.R.Garcia, 
A.Quesada-Arencibia, P.Caballero-Gil, M.Burmester.-Berlin: 
Springer, 2016.-Vol. 10070.-561 p.-(Lecture Notes in Computer 
Science).
 
 24. Computer Vision - ECCV 2016 Workshops, Part I: Proc./ 
Amsterdam, The Netherlands, October 2016/Ed. by  G.Hua, H.Jegou.
-Berlin: Springer, 2016.-Vol. 9913.-919 p.-(Lecture Notes in 
Computer Science).

 25. Computer Vision - ECCV 2016 Workshops, Part II: Proc./ 
Amsterdam, The Netherlands, October 2016/Ed. by  G.Hua, H.Jegou.
-Berlin: Springer, 2016.-Vol. 9914.-922 p.-(Lecture Notes in 
Computer Science).
 
 26. Computer Vision - ECCV 2016 Workshops, Part III: Proc./ 
Amsterdam, The Netherlands, October 2016/Ed. by  G.Hua, H.Jegou.
-Berlin: Springer, 2016.-Vol. 9915.-919 p.-(Lecture Notes in 
Computer Science).
 
 27. Swarm, Evolutionary, and Memetic Computing: Revised Selected 
Papers/6th International Conference, SEMCCO 2015, Hyderabad, 
India, December 2015/Ed. by  B.K.Panigrahi, P.N.Suganthan, S.Das, 
S.C.Satapathy.-Berlin: Springer, 2016.-Vol. 9873.-288 p.-(Lecture 
Notes in Computer Science).
 
 28. Computability and Complexity: Essays Dedicated to Rodney 
G.Downey on the Occasion of His 60th Birthday/Ed. by  A.Day, 
M.Fellows, N.Greenberg, B.Khoussainov.-Berlin: Springer, 2017.
-Vol. 10010.-755 p.-(Lecture Notes in Computer Science).
 
 29. Learning and Intelligent Optimization: Revised Selected 
Papers/10th International Conference, LION 10, Ischia, Italy, May 
2016/Ed. by  P.Festa, M.Sellmann, J.Vanschoren.-Berlin: Springer, 
2016.-Vol. 10079.-309 p.-(Lecture Notes in Computer Science).
 
 30. Software Technologies: Applications and Foundations: Revised 
Selected Papers/STAF 2016 Collocated Workshops: DataMod, GCM, 
HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 2016/Ed. by  
P.Milazzo, D.Varro, M.Wimmer.-Berlin: Springer, 2016.-Vol. 9946.
-472 p.-(Lecture Notes in Computer Science).
 
 31. Software Architecture: Proc./10th Eropean Conference, ECSA 
2016, Copenhagen, Denmark, November 2016/Ed. by  B.Tekinerdogan, 
U.Zdun, A.Babar.-Berlin: Springer, 2016.-Vol. 9839.-340 p.
-(Lecture Notes in Computer Science).
 
 32. Information Security Practice and Experience: Proc./12th 
International Conference, ISPEC 2016, Zhangjiajie, China, 
November 2016/Ed. by  F.Bao, L.Chen, R.H.Deng, G.Wang.-Berlin: 
Springer, 2016.-Vol. 10060.-380 p.-(Lecture Notes in Computer 
Science).
 
 33. Stabilization, Safety, and Security of Distributed Systems: 
Proc./18th International Symposium, SSS 2016, Lyon, France, 
November 2016/Ed. by  B.Bonaldarpour, F.Petit.-Berlin: Springer, 
2016.-Vol. 10083.-432 p.-(Lecture Notes in Computer Science).
 
 34. Digital Heritage: Progress in Cultural Heritage: 
Documentation, Preservation, and Protection, Part I: Proc./6th 
International Conference, EuroMed 2016, Nicosia, Cyprus, October 
2016/Ed. by  M.Ioannides, E.Fink, A.Moropoulou, A.Fresa.-Berlin: 
Springer, 2016.-Vol. 10058.-917 p.-(Lecture Notes in Computer 
Science).
 
 35. Digital Heritage: Progress in Cultural Heritage: 
Documentation, Preservation, and Protection, Part II: Proc./6th 
International Conference, EuroMed 2016, Nicosia, Cyprus, October 
2016/Ed. by  M.Ioannides, E.Fink, A.Moropoulou, A.Fresa.-Berlin: 
Springer, 2016.-Vol. 10059.-295 p.-(Lecture Notes in Computer 
Science).

 36. Digital Libraries: Knowledge, Information, and Data in an 
Open Access Society: Proc./18th International Conference on 
Asia-Pacific Digital Libraries, ICADL 2016, Tsukuba, Japan, 
December 2016/Ed. by  A.Morishima, A.Rauber, C.L.Liew.-Berlin: 
Springer, 2016.-Vol. 10075.-408 p.-(Lecture Notes in Computer 
Science).
 
 37. Web and Internet Economics: Proc./12th International 
Conference, WINE 2016, Montreal, Canada, December 2016/Ed. by  
Y.Cai, A.Vetta.-Berlin: Springer, 2016.-Vol. 10123.-482 p.
-(Lecture Notes in Computer Science).
 
 38. Games and Lerning Alliance: Proc./5th International 
Conference, GALA 2016, Utrecht, The Netherlands, December 2016/
Ed. by  R.Bottino, J.Jeuring, R.C.Veltkamp.-Berlin: Springer, 2016.
-Vol. 10056.-456 p.-(Lecture Notes in Computer Science).
 
 39. Brain-Inspired Computing: Revised Selected Papers/2nd 
International Workshop, BrainComp 2015, Cetraro, Italy, July 2015/
Ed. by  K.Amunts, L.Grandinetti, Th.Lippert, N.Petkov.-Berlin: 
Springer, 2016.-Vol. 10087.-195 p.-(Lecture Notes in Computer 
Science).
 
 40. Distributed Computing and Internet Technology: Proc./13th 
International Conference, ICDCIT 2017, Bhubaneswar, India, 
January 2017/Ed. by  P.Krishnan, P.R.Krishna, L.Parida.-Berlin: 
Springer, 2017.-Vol. 10109.-239 p.-(Lecture Notes in Computer 
Science).
 
 41. Machine Learning for Health Informatics: State-of-the-Art 
and Future Challenges/Ed. by  A.Holzinger.-Berlin: Springer, 2016.
-Vol. 9605.-481 p.-(Lecture Notes in Computer Science).
 
 42. Semantic Technology: Revised Selected Papers/6th Joint 
International Conference, JIST 2016, Singapore, Singapore, 
November 2016/Ed. by  Y.-F.Li, W.Hu, J.S.Dong, G.Antoniou.-Berlin:
 Springer, 2016.-Vol. 10055.-332 p.-(Lecture Notes in Computer 
Science).
 
 43. Graph Drawing and Network Visualization: Revised Selected 
Papers/24th International Symposium, GD 2016, Athens, Greece, 
September 2016/Ed. by  Y.Hu, M.Nollenburg.-Berlin: Springer, 2016.
-Vol. 9801.-642 p.-(Lecture Notes in Computer Science).
 
 44. Mobile, Secure, and Programmable Networking: Revised 
Selected Papers/2nd International Conference, MSPN 2016, Paris, 
France, June 2016/Ed. by  S.Boumerdassi, E.Renault, S.Bouzefrane.
-Berlin: Springer, 2016.-Vol. 10026.-225 p.-(Lecture Notes in 
Computer Science).
 
 45. Combinatorial Optimization and Applications: Proc./10th 
International Conference, COCOA 2016, Hong Kong, China, December 
2016/Ed. by  T.-H.H.Chan, M.Li, L.Wang.-Berlin: Springer, 2016.
-Vol. 10043.-793 p.-(Lecture Notes in Computer Science).
 
 46. Concurrency, Security, and Puzzles: Essays Dedicated to 
Andrew William Roscoe on thq Occasion of His 60th Birthday/Ed. by 
T.Gibson-Robinson, Ph.Hopcroft, R.Lazic.-Berlin: Springer, 2017.
-Vol. 10160.-319 p.-(Lecture Notes in Computer Science).
 
 47. Product-Focused Software Process Improvement: Proc./17th 
International Conference, PROFES 2016, Trondheim, Norway, 
November 2016/Ed. by  P.Abrahamsson, A.Jedlitschka, A.N.Duc, 
M.Felderer.-Berlin: Springer, 2016.-Vol. 10027.-777 p.-(Lecture 
Notes in Computer Science).

 48. Multiple Access Communications: Proc./9th International 
Workshop, MACOM 2016, Aalborg, Denmark, November 2016/Ed. by  
T.K.Madsen, J.J.Nielsen, N.K.Pratas.-Berlin: Springer, 2016.-Vol. 
10121.-137 p.-(Lecture Notes in Computer Science).
 
 49. AI 2016: Advances in Artificial Intelligence: Proc./29th 
Australasian Joint Conference, Hobart,TAS,Australia, December 2016
/Ed. by  B.H.Kang, Q.Bai.-Berlin: Springer, 2016.-Vol. 9992.-729 
p.-(Lecture Notes in Artificial Intelligence).
 
 50. Artificial Life and Computational Intelligence: Proc./3rd 
Australasian Conference, ACALCI 2017, Geelong,VIC, Australia, 
January 2017/Ed. by  M.Wagner, X.Li, T.Hendtlass.-Berlin: Springer,
 2017.-Vol. 10142.-392 p.-(Lecture Notes in Artificial 
Intelligence).
 
 51. Logics in Artificial Intelligence: Proc./15th European 
Conference, JELIA 2016, Larnaca, Cyprus, November 2016/Ed. by  
L.Michael, A.Kakas.-Berlin: Springer, 2016.-Vol. 10021.-586 p.
-(Lecture Notes in Artificial Intelligence).
 
 52. Principles and Practice of Multi-Agent Systems: Revised 
Selected Papers/ International Workshops: IWEC 2014, Gold 
Coast,QLD,Australia, December 2014, and CMNA XV and IWEC 2015, 
Bertinoro, Italy, October 2015/Ed. by  M.Baldoni, C.Baroglio, 
F.Bex, F.Grasso.-Berlin: Springer, 2016.-Vol. 9935.-169 p.
-(Lecture Notes in Artificial Intelligence).
 
 53. Natural Language Understanding and Intelligent Applications: 
Proc./5th CCF Conference, NLPCC 2016, and 24th International 
Conference, ICCPOL 2016, Kunming, China, December 2016/Ed. by  
C.-Y.Lin, N.Xue, D.Zhao, X.Huang.-Berlin: Springer, 2016.-Vol. 
10102.-952 p.-(Lecture Notes in Artificial Intelligence).
 
 54. Knowledge Engineering and Knowledge Management: Proc./20th 
International Conference, EKAW 2016, Bologna, Italy, November 2016
/Ed. by  E.Blomqvist, P.Ciancarini, F.Poggi, F.Vitali.-Berlin: 
Springer, 2016.-Vol. 10024.-806 p.-(Lecture Notes in Artificial 
Intelligence).
 
 55. AI*IA 2016: Advances in Artificial Intelligence: Proc./15th 
International Conference, of the Italian Association for AI, 
Genova, Italy, November 2016/Ed. by  G.Adorni, S.Cagnoni, M.Gori, 
M.Maratea.-Berlin: Springer, 2016.-Vol. 10037.-554 p.-(Lecture 
Notes in Artificial Intelligence).
 
 56. Advances in Speech and Language Technologies for Iberian 
Language: Proc./3rd International Conference, IberSPEECH 2016, 
Lisbon, Portugal, November 2016/Ed. by  A.Abad, A.Ortega, 
A.Teixeira, C.G.Mateo.-Berlin: Springer, 2016.-Vol. 10077.-288 p.
-(Lecture Notes in Artificial Intelligence).
 
 57. Городняя Л.В. Язык параллельного программирования Синхро, 
предназначенный для обучения.-Новосибирск, 2016.-30 с.
-(Препринт/ИСИ СО РАН; N 180).
 
 58. Swarm Intelligence Based Optimization: Revised Selected 
Papers/2nd International Conference, ICSIBO 2016, Mulhouse, 
France, June 2016/Ed. by  P.Siarry, L.Idoumghar, J.Lepagnot.
-Berlin: Springer, 2016.-Vol. 10103.-125 p.-(Lecture Notes in 
Computer Science).