Hовые поступления с 16 марта по 11 апреля 2016 года
1. Annual Report 2015/CMP. .- Grenoble, 2015.- 57 p. 2. От информатики в школе к техносфере образования: Сборник научных трудов Международной научно-практической конференции, посвященной 30-летию школьной информатики/МПГУ; .-Воронеж: "Научная книга", 2016.-332 с. 3. Membrane Computing: Revised Selected Papers/16th International Conference, CMC 2015, Valencia, Spain, August 2015/ Ed. by G.Rozenberg, A.Salomaa, J.M.Sempere, C.Zandron.-Berlin: Springer, 2015.-Vol. 9504.-387 p.-(Lecture Notes in Computer Science). 4. Foundations of Biomedical Knowledge Representation: Methods and Aplications/Ed. by A.Hommerson, P.J.F.Lucas.-Berlin: Springer, 2015.-Vol. 9521.-339 p.-(Lecture Notes in Computer Science). 5. Smart Health: Revised Selected Papers/International Conference, ICSH 2015, Phoenix,AZ,USA, November 2015/Ed. by X.Zheng, D.D.Zeng, H.Chen, S.J.Leischow.-Berlin: Springer, 2016. -Vol. 9545.-354 p.-(Lecture Notes in Computer Science). 6. Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges: Revised Selected Papers/6th International Workshop, STACOM 2015 Held as Conjunction with MICCAI 2015, Munich, Germany, October 2015/Ed. by O.Camara, T.Mansi.-Berlin: Springer, 2016.-Vol. 9534.-218 p.-(Lecture Notes in Computer Science). 7. Advances in Network Science: Proc./12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 2016/Ed. by A.Wierzbicki, U.Brandes, F.Schweitzer, D.Pedreschi. -Berlin: Springer, 2016.-Vol. 9564.-213 p.-(Lecture Notes in Computer Science). 8. Quantum Interaction: Revised Selected Papers/9th International Conference, QI 2015, Filzbach, Switzerland, July 2015/Ed. by H.Atmanspacher, T.Filk, E.Pothos.-Berlin: Springer, 2016.-Vol. 9535.-295 p.-(Lecture Notes in Computer Science). 9. Cloud Computing and Big Data: Revised Selected Papers/2nd International Conference, CloudCom-Asia 2015, Huangshan, China, June 2015/Ed. by W.Qiang, X.Zheng, C.-H.Hsu.-Berlin: Springer, 2015.-Vol. 9106.-400 p.-(Lecture Notes in Computer Science). 10. Verification, Model Checking, and Abstract Interpretation: Proc./17th International Conference, VMCAI 2016, St.Petersburg,FL,USA, January 2016/Ed. by B.Jobstmann, K.R.M.Leino.-Berlin: Springer, 2016.-Vol. 9583.-558 p.-(Lecture Notes in Computer Science). 11. Software Engineering: Revised Tutorial Lectures/ International Summer Schools, LASER 2013-2014, Elba, Italy,/Ed. by B.Meyer, M.Nordio.-Berlin: Springer, 2015.-Vol. 8987.-191 p. -(Lecture Notes in Computer Science). 12. Adaptive Resourse Management and Scheduling for Cloud Computing: Revised Selected Papers/2nd International Workshop, ARMS-CC 2015 Held in Conjunction with ACM Symposium PODC 2015, Donostia-San Sebastian, Spain, July 2015/Ed. by F.Pop, M.Potop-Butucaru.-Berlin: Springer, 2015.-Vol. 9438.-187 p. -(Lecture Notes in Computer Science). 13. Big Data Benchmarks, Performance Optimization, and Emerging Hardware: Revised Selected Papers/6th Workshop, BPOE 2015, Kohala,HI,USA, August 2015/Ed. by J.Zhan, R.Han, R.V.Zicari. -Berlin: Springer, 2016.-Vol. 9495.-147 p.-(Lecture Notes in Computer Science). 14. Patch-Based Techniques in Medical Imaging: Revised Selected Papers/1st International Workshop, Patch-MI 2015 Held in Conjunction with MICCAI 2015, Munich, Germany, October 2015/Ed. by G.Wu, P.Coupe, Y.Zhan, B.Munsell.-Berlin: Springer, 2015. -Vol. 9467.-216 p.-(Lecture Notes in Computer Science). 15. Approximation and Online Algorithms: Revised Selected Papers/13th International Workshop, WAOA 2015, Patras, Greece, September 2015/Ed. by L.Sanita, M.Skutella.-Berlin: Springer, 2015.-Vol. 9499.-209 p.-(Lecture Notes in Computer Science). 16. Formal Methods: Founations and Applications: Proc./18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, Septenber 2015/Ed. by M.Cornelio, B.Roscoe.-Berlin: Springer, 2016.-Vol. 9526.-195 p.-(Lecture Notes in Computer Science). 17. Algorithms for Sensor Systems: Revised Selected Papers/11th International Symposium, ALGOSENSORS 2015, Patras, Greece, September 2015/Ed. by P.Bose, L.A.Gasieniec, K.Romer, R.Wattenhofer.-Berlin: Springer, 2015.-Vol. 9536.-225 p.-(Lecture Notes in Computer Science). 18. Formal Aspects of Component Software: Revised Selected Papers/12th International Conference, FACS 2015, Niteroi, Brazil, October 2015/Ed. by C.Braga, P.C.Olveczky.-Berlin: Springer, 2016. -Vol. 9539.-331 p.-(Lecture Notes in Computer Science). 19. Languages and Compilers for Parallel Computing: Revised Selected Papers/28th International Workshop, LCPC 2015, Releigh,NC,USA, September 2015/Ed. by X.Shen, F.Mueller, J.Tuck. -Berlin: Springer, 2016.-Vol. 9519.-319 p.-(Lecture Notes in Computer Science). 20. Graphical Models for Security: Revised Selected Papers/2nd International Workshop, GraMSec 2015, Verona, Italy, July 2015/ Ed. by S.Mauw, B.Kordy, S.Jajodia.-Berlin: Springer, 2016.-Vol. 9390.-103 p.-(Lecture Notes in Computer Science). 21. Post-Quantum Cryptography: Proc./7th International Workshop, PQCrypto 2016, Fukuoka, Japan, February 2016/Ed. by T.Takagi. -Berlin: Springer, 2016.-Vol. 9606.-267 p.-(Lecture Notes in Computer Science). 22. Computer Assisted and Robotic Endoscopy: Revised Selected Papers/2nd International Workshop, CARE 2015 Held in Conjunction with MICCAI 2015, Munich, Germany, October 2015/Ed. by X.Luo, T.Reichl, A.Reiter, G.-L.Mariottini.-Berlin: Springer, 2016.-Vol. 9515.-164 p.-(Lecture Notes in Computer Science). 23. Engineering Trustworthy Software Systems: Tutorial Lecture/1st International School, SETSS 2014, Chongqing, China, September 2014/Ed. by Z.Liu, Z.Zhang.-Berlin: Springer, 2016. -Vol. 9506.-325 p.-(Lecture Notes in Computer Science). 24. Combinatorial Algorithms: Revised Selected Papers/26th International Workshop, IWOCA 2015, Verona, Italy, October 2015/ Ed. by Z.Liptak, W.F.Smyth.-Berlin: Springer, 2016.-Vol. 9538. -360 p.-(Lecture Notes in Computer Science). 25. Transactions on Computational Collective Intelligence XXII/ Ed. by N.T.Nguyen.-Berlin: Springer, 2016.-Vol. 9655.-219 p. -(Lecture Notes in Computer Science). 26. Foundations and Practice of Security: Revised Selected Papers/8th International Symposium, FPS 2015, Clermont-Ferrand, France, October 2015/Ed. by J.Garcia-Alfaro, E.Kranakis, G.Bonfante.-Berlin: Springer, 2016.-Vol. 9482.-323 p.-(Lecture Notes in Computer Science). 27. Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/7th Internationl Conference, VSTTE 2015, San Francisco,CA,USA, July 2015/Ed. by A.Gurfinkel, S.A.Seshia. -Berlin: Springer, 2016.-Vol. 9593.-223 p.-(Lecture Notes in Computer Science). 28. Models of Strategic Reasoning: Logics, Games, and Communities /Ed. by J.Van_Benthem, S.Ghosh, R.Verbrugge.-Berlin: Springer, 2015.-Vol. 8972.-333 p.-(Lecture Notes in Computer Science). 29. Information Retrieval Technology: Proc./11th Asia Infermation Retrieval Societies Conference, AIRS 2015, Brisbane, QLD, Australia, December 2015/Ed. by G.Zuccon, S.Geva, H.Joho, F.Scholer.-Berlin: Springer, 2015.-Vol. 9460.-454 p.-(Lecture Notes in Computer Science). 30. Topics in Theoretical Computer Science: Revised Selected Papers/1st IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 2015/Ed. by M.T.Hajiaghayi, M.R.Mousavi. -Berlin: Springer, 2016.-Vol. 9541.-179 p.-(Lecture Notes in Computer Science). 31. Lightweight Cryptography for Security and Privacy: Revised Selected Papers/4th International Workshop, LightSec 2015, Bochum, Germany, September 2015/Ed. by T.Guneysu, G.Leander, A.Moradi.-Berlin: Springer, 2016.-Vol. 9542.-165 p.-(Lecture Notes in Computer Science). 32. Transactions on Computational Science XXVI: Special Issue on Cyberworlds and Cybersecurity/Ed. by M.L.Gavrilova, C.J.K.Tan. -Berlin: Springer, 2016.-Vol. 9550.-173 p.-(Lecture Notes in Computer Science). 33. Algorithms and Discrete Applied Mathematics: Proc./2nd International Conference, CALDAM 2016, Thiruvananthapuram, India, February 2016/Ed. by S.Govindarajan, A.Maheshwari.-Berlin: Springer, 2016.-Vol. 9602.-369 p.-(Lecture Notes in Computer Science). 34. Topics in Cryptology - CT-RSA 2016: Proc./The Cryptographers' Track at RSA Conference 2016, San Francisco,CA,USA, February 2016/Ed. by K.Sako.-Berlin: Springer, 2016.-Vol. 9610.-465 p.-(Lecture Notes in Computer Science). 35. Image and Video Technology: Revised Selected Papers/7th Pacific-Rim Symposium, PSIVT 2015, Auckland, New Zealand, November 2015/Ed. by Th.Braunl, B.Mccane, M.Rivera, X.Yu.-Berlin: Springer, 2016.-Vol. 9431.-793 p.-(Lecture Notes in Computer Science). 36. Mathematical and Engineering Methods in Computer Science: Revised Selected Papers/10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 2015/Ed. by J.Kofron, T.Vojnar.-Berlin: Springer, 2016.-Vol. 9548.-157 p.-(Lecture Notes in Computer Science). 37. Data Privacy Management, and Security Assurance: Revised Selected Papers/10th International Workshop, DPM 2015 and 4th International Workshop, QASA 2015, Vienna, Austria, September 2015 /Ed. by A.Aldini, F.Martinelli.-Berlin: Springer, 2016.-Vol. 9481. -291 p.-(Lecture Notes in Computer Science). 38. Hybrid Systems Biology: Revised Selected Papers/4th International Workshop, HSB 2015, Madrid, Spain, September 2015/ Ed. by A.Abate, D.Satranek.-Berlin: Springer, 2015.-Vol. 9271. -248 p.-(Lecture Notes in Bioinformatics). 39. Artificial Life and Computational Intelligence: Proc./2nd Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2016/Ed. by T.Ray, R.Sarker, X.Li.-Berlin: Springer, 2016.-Vol. 9592.-375 p.-(Lecture Notes in Artificial Intelligence). 40. Theory and Applications of Formal Argumentation: Revised Selected Papers/3rd International Workshop, TAFA 2015, Buenos Aires, Argentina, July 2015/Ed. by E.Black, S.Modgil, N.Oren. -Berlin: Springer, 2015.-Vol. 9524.-261 p.-(Lecture Notes in Artificial Intelligence). 41. Big Data Analytics in the Social and Ubiquitous Context: Revised Selected Papers/5th International Workshop, MSM 2014, 5th International Workshop, MUSE 2014, and 1st International Workshop, SenseML 2014/Ed. by M.Atzmueller, A.Chin.-Berlin: Springer, 2016.-Vol. 9546.-187 p.-(Lecture Notes in Artificial Intelligence). 42. Advances in Multimedia Information Processing - PCM 2015, Part I: Proc./16th Pacific-Rim Conference on Multimedia, Gwangju, South Korea, September 2015/Ed. by Y.-S.Ho, J.Sang, Y.M.Ro, J.Kim. -Berlin: Springer, 2015.-Vol. 9314.-735 p.-(Lecture Notes in Computer Science). 43. Transactions on Large-Scale Data-and Knowledge-Centered Systems XXV/Ed. by A.Hameurlain, J.Kung, R.Wagner.-Berlin: Springer, 2016.-Vol. 9620.-187 p.-(Lecture Notes in Computer Science). 44. Public-Key Cryptography - PKC 2016, Part I: Proc./19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 2016/Ed. by C.-M.Cheng, K.-M.Chung, G.Persiano, B.-Y.Yang.-Berlin: Springer, 2016.-Vol. 9614.-472 p.-(Lecture Notes in Computer Science). 45. Public-Key Cryptography - PKC 2016, Part II: Proc./19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 2016/Ed. by C.-M.Cheng, K.-M.Chung, G.Persiano, B.-Y.Yang.-Berlin: Springer, 2016.-Vol. 9615.-464 p.-(Lecture Notes in Computer Science). 46. Functional and Logic Programming: Proc./13th International Symposium, FLOPS 2016, Kochi, Japan, March 2016/Ed. by O.Kiselyov, A.King.-Berlin: Springer, 2016.-Vol. 9613.-253 p. -(Lecture Notes in Computer Science). 47. WALCOM: Algorithms and Computation: Proc./10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 2016/Ed. by M.Kaykobad, R.Petreschi.-Berlin: Springer, 2016.-Vol. 9627.-362 p. -(Lecture Notes in Computer Science).