Hовые поступления с 11 мая по 20 июня 2016 года
1. Отчет о деятельности Института систем информатики им. А.П.Ершова СО РАН в 2015 году/ИСИ СО РАН. .- Новосибирск, 2015.- 112 с.-Библиогр.: c.103-112. 2. Отчет о деятельности Института систем информатики им. А.П.Ершова СО РАН в 2014 году/ИСИ СО РАН;.-Новосибирск, 2015.-112 с. 3. Transactions on Computational Science XXVII/Ed. by M.L.Gavrilova, C.J.K.Tan.-Berlin: Springer, 2016.-Vol. 9570.-141 p.-(Lecture Notes in Computer Science). 4. Transactions on Large-Scale Data-and Knowledge-Centered Systems XXVI: Special Issue on Data Warehousing and Knowledge Discovery/Ed. by A.Hameurlain, J.Kung, R.Wagner.-Berlin: Springer, 2016.-Vol. 9670.-109 p.-(Lecture Notes in Computer Science). 5. A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday/ Ed. by S.Lindley, C.Mcbride, P.Trinder, D.Sannella.-Berlin: Springer, 2016.-Vol. 9600.-479 p.-(Lecture Notes in Computer Science). 6. Foundations of Software Science and Computation Structures: Proc./19th International Conference, FOSSACS 2016 Held as Part of the ETAPS 2016, Eindhoven, The Netherlands, April 2016/Ed. by B.Jacobs, Ch.Loding.-Berlin: Springer, 2016.-Vol. 9634.-550 p. -(Lecture Notes in Computer Science). 7. LATIN 2016: Theoretical Informatics: Proc./12th Latin American Symposium, Ensenada, Mexico, April 2016/Ed. by E.Kranakis, G.Navarro, E.Chavez.-Berlin: Springer, 2016.-Vol. 9644. -714 p.-(Lecture Notes in Computer Science). 8. Applications of Evolutionary Computation, Part I: Proc./19th European Conference, EvoApplications 2016, Porto, Portugal, March 2016/Ed. by G.Squillero, P.Burelli.-Berlin: Springer, 2016.-Vol. 9597.-849 p.-(Lecture Notes in Computer Science). 9. Applications of Evolutionary Computation, Part II: Proc./19th European Conference, EvoApplications 2016, Porto, Portugal, March 2016/Ed. by G.Squillero, P.Burelli.-Berlin: Springer, 2016.-Vol. 9598.-329 p.-(Lecture Notes in Computer Science). 10. Digital-Forensics and Watermarking: Revised Selected Papers/14th International Workshop, IWDW 2015, Tokyo, Japan, October 2015/Ed. by Y.-Q.Shi, H.J.Kim, F.Perez-Gonzalez, I.Echizen.-Berlin: Springer, 2016.-Vol. 9569.-448 p.-(Lecture Notes in Computer Science). 11. Web Services, Formal Methods, and Behavioral Types: Proc./11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 2014 and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 2015/Ed. by T.Hildebrandt, A.Ravara.-Berlin: Springer, 2016.-Vol. 9421.-167 p. -(Lecture Notes in Computer Science). 12. Ontology Engineering: Revised Selected Papers/12th International Experiences and Directions Workshop on OWL, OWLED 2015, co-located with ISWC 2015, Bethlehem,PA,USA, October 2015/ Ed. by V.Tamma, M.Dragoni, R,Goncalves, A.Lawrynowicz.-Berlin: Springer, 2016.-Vol. 9557.-183 p.-(Lecture Notes in Computer Science). 13. Risks and Security of Internet and Systems: Revised Selected Papers/10th International Conference, CRiSIS 2015, Mytilene, Lesbos Island, Greece, July 2015/Ed. by C.Lambrinoudakis, A.Gabillon.-Berlin: Springer, 2016.-Vol. 9572.-307 p.-(Lecture Notes in Computer Science). 14. Parallel Processing and Applied Mathematics, Part I: Revised Selected Papers/11th International Conference, PPAM 2015, Krakow, Poland, September 2015/Ed. by R.Wyrzykowski, E.Deelman, J.Dongarra, K.Wiatr.-Berlin: Springer, 2016.-Vol. 9573.-622 p. -(Lecture Notes in Computer Science). 15. Parallel Processing and Applied Mathematics, Part II: Revised Selected Papers/11th International Conference, PPAM 2015, Krakow, Poland, September 2015/Ed. by R.Wyrzykowski, E.Deelman, J.Dongarra, K.Wiatr.-Berlin: Springer, 2016.-Vol. 9574.-622 p. -(Lecture Notes in Computer Science). 16. Open Problems in Network Security: Revised Selected Papers/IFIP WG 11.4 International Workshop, iNetSec 2015, Zurich, Switzerland, October 2015/Ed. by J.Camenisch, D.Kesdogan.-Berlin: Springer, 2016.-Vol. 9591.-127 p.-(Lecture Notes in Computer Science). 17. Wired/Wireless Internet Communications: Proc./14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 2016/Ed. by L.Mamatas, I.Matta, P.Papadimitriou, Ye.Koucheryavy.-Berlin: Springer, 2016.-Vol. 9674.-362 p. -(Lecture Notes in Computer Science). 18. Bioinformatics and Biomedical Engineering: Proc./4th International Conference, IWBBIO 2016, Granada, Spain, April 2016/ Ed. by F.Ortuno, I.Rojas.-Berlin: Springer, 2016.-Vol. 9656.-818 p.-(Lecture Notes in Bioinformatics). 19. Clinical Image-Based Procedures: Translational Research in Medical Imaging: Revised Selected Papers/4th International Workshop, CLIP 2015 Held in Conjunction with MICCAI 2015, Munich, Germany, October 2015/Ed. by C.O.Laura, R.Shekhar, S.Wesarg. -Berlin: Springer, 2016.-Vol. 9401.-132 p.-(Lecture Notes in Computer Science). 20. Critical Information Infrastructures Security: Revised Selected Papers/9th International Conference, CRITIS 2014, Limassol, Cyprus, October 2014/Ed. by C.G.Panayiotou, G.Ellinas, E.Kyriakides, M.M.Polycarpou.-Berlin: Springer, 2016.-Vol. 8985. -388 p.-(Lecture Notes in Computer Science). 21. Networked Systems: Revised Selected Papers/3rd International Conference, NETYS 2015, Agadir, Morocco, May 2015/Ed. by A.Bouajjani, H.Fauconnier.-Berlin: Springer, 2016.-Vol. 9466.-526 p.-(Lecture Notes in Computer Science). 22. Information Security Applications: Revised Selected Papers/16th International Workshop, WISA 2015, Jeju Island, Korea, August 2015/Ed. by H.-W.Kim, D.Choi.-Berlin: Springer, 2016.-Vol. 9503.-438 p.-(Lecture Notes in Computer Science). 23. Scientific Computing, Computer Arithmetic, and Validated Numerics: Revised Selecte Papers/16th International Symposium, SCAN 2014, Wursburg, Germany, September 2014/Ed. by M.Nehmeier. -Berlin: Springer, 2016.-Vol. 9553.-291 p.-(Lecture Notes in Computer Science). 24. Genetic Programming: Proc./19th European Conference, EuroGP 2016, Porto, Portugal, March 2016/Ed. by M.I.Heywood, J.Mcdermott, M.Castelli, E.Costa.-Berlin: Springer, 2016.-Vol. 9594.-311 p.-(Lecture Notes in Computer Science). 25. Trusted Systems: Revised Selected Papers/7th International Conference, INTRUST 2015, Beijing, China, December 2015/Ed. by M.Yung, J.Zhang, Z.Yang.-Berlin: Springer, 2016.-Vol. 9565.-235 p. -(Lecture Notes in Computer Science). 26. Mathematical Aspects of Computer and Information Science: Revised Selectes Papers/6th International Conference, MACIS 2015, Berlin, Germany, November 2015/Ed. by I.S.Kotsireas, S.M.Rump, C.K.Yap.-Berlin: Springer, 2016.-Vol. 9582.-628 p.-(Lecture Notes in Computer Science). 27. Semantic Web Collaborative Spaces: Revised Selected and Invited Papers/2nd International Workshop, SWCS 2013, Montpellier, France, May 2013 and 3rd International Workshop, SWCS 2014, Trentino, Italy. October 2014/Ed. by P.Molli, J.G.Breslin, M.-E.Vidal.-Berlin: Springer, 2016.-Vol. 9507.-207 p. -(Lecture Notes in Computer Science). 28. Service-Oriented Computing - ICSOC 2015 Workshops: Revised Selected Papers/WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 2015/Ed. by A.Norta, W.Gaaloul, G.R.Gangadharan, H.K.Dam.-Berlin: Springer, 2016.-Vol. 9586.-255 p.-(Lecture Notes in Computer Science). 29. Database Systems for Advanced Applications: Proc./DASFAA 2016 International Workshops: BDMS, BDQM, Mol, and SeCoP, Dallas,TX,USA, April 2016/Ed. by H.Gao, J.Kim, Y.Sakurai.-Berlin: Springer, 2016.-Vol. 9645.-394 p.-(Lecture Notes in Computer Science). 30. Information Security and Cryptology: Revised Selected Papers/11th International Conference, Inscrypt 2015, Beijing, China, November 2015/Ed. by D.Lin, X.Wang, M.Yung.-Berlin: Springer, 2016.-Vol. 9589.-490 p.-(Lecture Notes in Computer Science). 31. Green, Pervasive, and Cloud Computing: Proc./11th International Conference, GPC 2016, Xi'an, China, May 2016/Ed. by X.Huang, Y.Xiang, K.-C.Li.-Berlin: Springer, 2016.-Vol. 9663.-317 p.-(Lecture Notes in Computer Science). 32. Image and Signal Processing: Proc./7th International Conference, ICISP 2016, Trois-Rivieres,QC,Canada, May 2016/Ed. by A.Mansouri, F.Nouboud, A.Chalifour, D.Mammass.-Berlin: Springer, 2016.-Vol. 9680.-408 p.-(Lecture Notes in Computer Science). 33. Programming Languages and Systems: Proc./25th European Symposium on Programming, ESOP 2016 Held as Part of ETAPS 2016, Eindhoven, The Netherlands, April 2016/Ed. by P.Thiemann.-Berlin: Springer, 2016.-Vol. 9632.-806 p.-(Lecture Notes in Computer Science). 34. Fundamental Approaches to Software Engineering: Proc./19th International Conference, FASE 2016 Held as Part of ETAPS 2016, Eindhoven, The Netherlands, April 2016/Ed. by P.Stevens, A.Wasowski.-Berlin: Springer, 2016.-Vol. 9633.-436 p.-(Lecture Notes in Computer Science). 35. Principles of Security and Trust: Proc./5th International Conference, POST 2016 Held as Part of ETAPS 2016, Eindhoven, The Netherlands, April 2016/Ed. by F.Piessens, L.Vigano.-Berlin: Springer, 2016.-Vol. 9635.-277 p.-(Lecture Notes in Computer Science). 36. Tools and Algorithms for the Construction and Analysis of Systems: Proc./22nd International Conference, TACAS 2016 Held as Part of ETAPS 2016, Eindhoven, The Netherlands, April 2016/Ed. by M.Chechik, J.-F.Raskin.-Berlin: Springer, 2016.-Vol. 9636.-961 p. -(Lecture Notes in Computer Science). 37. Discrete Geometry for Computer Imagery: Proc./19th IAPR International Conference, DGCI 2016, Nantes, France, April 2016/ Ed. by N.Normand, J.Guedon, F.Autrusseau.-Berlin: Springer, 2016. -Vol. 9647.-453 p.-(Lecture Notes in Computer Science). 38. Model Checking Software: Proc./23rd International Symposium, SPIN 2016 Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 2016/Ed. by D.Bosnacki, A.Wijs.-Berlin: Springer, 2016. -Vol. 9641.-245 p.-(Lecture Notes in Computer Science). 39. Progress in Cryptology - AFRICACRYPT 2016: Proc./8th International Conference on Cryptology in Africa, Fes, Morocco, April 2016/Ed. by D.Pointcheval, A.Nitaj, T.Rachidi.-Berlin: Springer, 2016.-Vol. 9646.-369 p.-(Lecture Notes in Computer Science). 40. Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems: Proc./18th International GI/ITG Conference, MMB & DFT 2016, Munster, Germany, April 2016/Ed. by A.Remke, B.R.Haverkort.-Berlin: Springer, 2016.-Vol. 9629.-203 p. -(Lecture Notes in Computer Science). 41. Persuasive Technology: Proc./11th International Conference, PERSUASIVE 2016, Salzurg, Austria, April 2016/Ed. by A.Meschtscherjakov, B.De_Ruyter, V.Fuchsberger, M.Murer.-Berlin: Springer, 2016.-Vol. 9638.-366 p.-(Lecture Notes in Computer Science). 42. Database Systems for Advanced Applications, Part I: Proc./21st International Conference, DASFAA 2016, Dallas,TX,USA, April 2016/Ed. by S.B.Navathe, W.Wu, S.Shekhar, X.Du.-Berlin: Springer, 2016.-Vol. 9642.-551 p.-(Lecture Notes in Computer Science). 43. Database Systems for Advanced Applications, Part II: Proc./21st International Conference, DASFAA 2016, Dallas,TX,USA, April 2016/Ed. by S.B.Navathe, W.Wu, S.Shekhar, X.Du.-Berlin: Springer, 2016.-Vol. 9643.-469 p.-(Lecture Notes in Computer Science). 44. Engineering Secure Software and Systems: Proc./8th International Symposium, ESSoS 2016, London, UK, April 2016/Ed. by J.Caballero, E.Bodden, E.Athanasopoulos.-Berlin: Springer, 2016.-Vol. 9639.-269 p.-(Lecture Notes in Computer Science). 45. Intelligence and Security Informatics: Proc./11th Pcific Asia Workshop, PAISI 2016, Auckland, New Zealand, April 2016/Ed. by M.Chau, G.A.Wang, H.Chen.-Berlin: Springer, 2016.-Vol. 9650. -203 p.-(Lecture Notes in Computer Science). 46. Passive and Active Measurement: Proc./17th International Conference, PAM 2016, Heraklion, Greece, March 2016/Ed. by T.Karagiannis, X.Dimitropoulos.-Berlin: Springer, 2016.-Vol. 9631. -414 p.-(Lecture Notes in Computer Science). 47. Architecture of Computing Systems - ARCS 2016: Proc./29th International Conference, Nuremberg, Germany, April 2016/Ed. by F.Hannig, J.M.P.Cardoso, T.Pionteck, D.Fey.-Berlin: Springer, 2016. -Vol. 9637.-402 p.-(Lecture Notes in Computer Science). 48. Research in Computational Molecular Biology: Proc./20th Annual Conference, RECOMB 2016, Santa Monica,CA,USA, April 2016/ Ed. by M.Singh.-Berlin: Springer, 2016.-Vol. 9649.-274 p. -(Lecture Notes in Bioinformatics). 49. Multi-Agent Systems and Agreement Technologies: Revised Selected Papers/13th European Conference, EUMAS 2015, and 3rd International Conference, AT 2015, Athens, Greece, December 2015/ Ed. by M.Rovatsos, G.Vouros, V.Julian.-Berlin: Springer, 2016. -Vol. 9571.-474 p.-(Lecture Notes in Artificial Intelligence). 50. Hybrid Artificial Intelligent Systems: Proc./11th International Conference, HAIS 2016, Seville, Spain, April 2016/ Ed. by F.Martinez-Alvarez, A.Troncoso, H.Quintian, E.Corchado. -Berlin: Springer, 2016.-Vol. 9648.-765 p.-(Lecture Notes in Artificial Intelligence). 51. Conformal and Probabilistic Prediction with Applications: Proc./5th International Sumposium, COPA 2016, Madrid, Spain, April 2016/Ed. by A.Gammerman, Z.Luo, J.Vega, V.Vovk.-Berlin: Springer, 2016.-Vol. 9653.-229 p.-(Lecture Notes in Artificial Intelligence). 52. New Frontiers in Mining Complex Patterns: Revised Selected Papers/4th International Workshop. NFMCP 2016 Held in Conjunction with ECML-PKDD 2015, Porto, Portugal, September 2015/Ed. by M.Ceci, C.Loglisci, G.Manco, E.Masciari.-Berlin: Springer, 2016. -Vol. 9607.-239 p.-(Lecture Notes in Artificial Intelligence). 53. Critical Information Infrastructures Security: Revised Selected Papers/10th International Conference, CRITIS 2015, Berlin, Germany, October 2015/Ed. by E.Rome, M.Theocharidou, S.Wolthusen.-Berlin: Springer, 2016.-Vol. 9578.-266 p.-(Lecture Notes in Computer Science).