Hовые поступления с 5 октября по 9 ноября 2015 года
1. Intelligent Mechanisms for Network Configuration and Security: Proc./9th IFIP WG 6.6 International Conference, AIMS 2015, Ghent, Belgium, June 2015/Ed. by S.Latre, M.Charalambides, J.Francois, C.Schmitt.-Berlin: Springer, 2015.-Vol. 9122.-151 p. -(Lecture Notes in Computer Science). 2. Computational Social Networks: Proc./4th International Conference, CSoNet 2015, Beijing, China, August 2015/Ed. by M.T.Thai-Nam, P.Nguyen, H.Shen.-Berlin: Springer, 2015.-Vol. 9197. -308 p.-(Lecture Notes in Computer Science). 3. Developments in Language Theory: Proc./19th International Conference, DLT 2015, Liverpool, UK, July 2015/Ed. by I.Potapov. -Berlin: Springer, 2015.-Vol. 9168.-440 p.-(Lecture Notes in Computer Science). 4. Computer Information Systems and Industrial Management: Proc./14th IFIP TC 8 International Conference, CISIM 2015, Warsaw, Poland, September 2015/Ed. by K.Saeed, W.Homenda.-Berlin: Springer, 2015.-Vol. 9339.-624 p.-(Lecture Notes in Computer Science). 5. Computer Safety, Reliability, and Security: Proc./SAFECOMP 2015 Workshops ASSURE, DECSoS, ISSE, ReSA4CL, and SASSUR, Delft, the Netherlands, September 2015/Ed. by F.Koornneef, C.Van_Gulijk. -Berlin: Springer, 2015.-Vol. 9338.-422 p.-(Lecture Notes in Computer Science). 6. Reachability Problems: Proc./9th International Workshop, RP 2015, Warsaw, Poland, September 2015/Ed. by N.Bojanczyk, S.Lasota, I.Potapov.-Berlin: Springer, 2015.-Vol. 9328.-179 p. -(Lecture Notes in Computer Science). 7. Computer Algebra in Scientific Computing: Proc./17th International Workshop, CASA 2015, Aachen, Germany, September 2015 /Ed. by V.P.Gerdt, W.Koepf, W.M.Seiler, E.V.Vorozhtsov.-Berlin: Springer, 2015.-Vol. 9301.-243 p.-(Lecture Notes in Computer Science). 8. Current Trends in Web Engineering: Revised Selected Papers/15th International Conference, ICWE 2015 Workshops NKPIT, PEWET, SoWEMine, Rotterdam, The Netherlands, June 2915/Ed. by F.Daniel, O.Diaz.-Berlin: Springer, 2015.-Vol. 9396.-199 p. -(Lecture Notes in Computer Science). 9. Financial Cryptography and Data Security: Revised Selected Papers/FC 2015 International Workshops, BITCOIN, WAHC, and Wearable, San Juan, Puerto Rico, January 2015/Ed. by M.Brenner, N.Christin, B.Johnson, K.Rohloff.-Berlin: Springer, 2015.-Vol. 8976.-309 p.-(Lecture Notes in Computer Science). 10. Transactions on Large-Scale Data-and Knowledge-Centered Systems XXI/Ed. by A.Hameurlain, J.Kung, R.Wagner.-Berlin: Springer, 2015.-Vol. 9260.-185 p.-(Lecture Notes in Computer Science). 11. Unconventional Computation and Natural Computation: Proc./14th International Conference, UCNC 2015, Auckland, New Zealand, August 2015/Ed. by C.S.Calude, M.J.Dinneen.-Berlin: Springer, 2015.-Vol. 9252.-301 p.-(Lecture Notes in Computer Science). 12. Behavior Modeling - Foundations and Applications: Revised Selected Papers/ International Workshops, BM-FA 2009-2014/Ed. by E.Roubtsova, A.Mcneile, E.Kindler, C.Gerth.-Berlin: Springer, 2015. -Vol. 6368.-279 p.-(Lecture Notes in Computer Science). 13. Algorithms and Data Structures: Proc./14th International Symposium, WADS 2015, Victoria,BC,Canada, August 2015/Ed. by F.Dehne, J.-R.Sack, U.Stege.-Berlin: Springer, 2015.-Vol. 9214. -646 p.-(Lecture Notes in Computer Science). 14. Logic, Language, Information, and Computation: Proc./22nd International Workshop, WoLLIC 2015, Bloomington,IN,USA, July 2015 /Ed. by V.De_Paiva, R.De_Queiroz, L.S.Moss, D.Leivant.-Berlin: Springer, 2015.-Vol. 9160.-201 p.-(Lecture Notes in Computer Science). 15. Finite Difference Methods, Theory and Applications: Revised Selected Papers/6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 2014/Ed. by I.Dimov, I.Farago, L.Vulkov.-Berlin: Springer, 2015.-Vol. 9045.-434 p.-(Lecture Notes in Computer Science). 16. Combinatorial Algorithms: Revised Selected Papers/25th International Workshop, IWOCA 2014, Duluth,MN,USA, October 2014/ Ed. by J.Kratochvil, M.Miller, D.Froncek.-Berlin: Springer, 2015. -Vol. 8986.-377 p.-(Lecture Notes in Computer Science). 17. Modeling Decisions for Artificial Intelligence: Proc./12th International Conference, MDAI 2015, Slovde, Sweden, September 2015/Ed. by V.Torra, Ya.Narukava.-Berlin: Springer, 2015.-Vol. 9321.-243 p.-(Lecture Notes in Artificial Intelligence). 18. Machine Learning and Data Mining in Pattern Recognotion: Proc./11th International Conference, MLDM 2015, Hamburg, Germany, July 2015/Ed. by P.Perner.-Berlin: Springer, 2015.-Vol. 9166. -454 p.-(Lecture Notes in Artificial Intelligence). 19. Formal Concept Analysis: Proc./13th International Conference, ICFCA 2015. Nerja, Spain, June 2015/Ed. by J.Baixeries, Ch.Sacarea, M.Ojeda-Aciego.-Berlin: Springer, 2015. -Vol. 9113.-319 p.-(Lecture Notes in Artificial Intelligence). 20. Artificial Intelligence in Medicine: Proc./15th Conference, AIME 2015, Pavia, Italy, June 2015/Ed. by J.H.Holmes, R.Bellazzi, L.Sacchi, N.Peek.-Berlin: Springer, 2015.-Vol. 9105. -345 p.-(Lecture Notes in Artificial Intelligence). 21. Augmented and Virtual Reality: Proc./2nd International Conference, AVR 2015, Lecce, Italy, September 2015/Ed. by E.T.De_Paolis, A.Mongelli.-Berlin: Springer, 2015.-Vol. 9254.-516 p.-(Lecture Notes in Computer Science). 22. Latent Variable Analysis and Signal Separation: Proc./12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 2015/Ed. by E.Vincent, A.Yeredor, Z.Koldovsky, P.Tichavsky. -Berlin: Springer, 2015.-Vol. 9237.-532 p.-(Lecture Notes in Computer Science). 23. Advances in Spatial and Temporal Databases: Proc./14th International Symposium, SSTD 2015, Hong Kong, China, August 2015/ Ed. by C.Claramunt, M.Schneider, R.Chi, W.Wong.-Berlin: Springer, 2015.-Vol. 9239.-522 p.-(Lecture Notes in Computer Science). 24. Advances in Databases and Information Systems: Proc./19th East European Conference, ADBIS 2015, Poitiers, France, September 2015/Ed. by T.Morzy, P.Valduriez, L.Bellatreche.-Berlin: Springer, 2015.-Vol. 9282.-474 p.-(Lecture Notes in Computer Science). 25. Business Process Management: Proc./13th International Conference, BPM 2015, Innsbruck, Austria, August 2015/Ed. by H.R.Motahari-Nezhat, J.Recker, M.Weidlich.-Berlin: Springer, 2015. -Vol. 9253.-476 p.-(Lecture Notes in Computer Science). 26. Internet and Distributed Computing Systems: Proc./8th International Conference, IDCS 2015, Windsor, UK, September 2015/ Ed. by G.Di_Fatta, G.Fortino, W.Li, M.Pathan.-Berlin: Springer, 2015.-Vol. 9258.-306 p.-(Lecture Notes in Computer Science). 27. Multiple Access Communications: Proc./8th International Workshop, MACOM 2015, Helsinki, Finland, September 2015/Ed. by M.Jonsson, A.Vinel, B.Bellalta, O.Tirkkonen.-Berlin: Springer, 2015.-Vol. 9305.-159 p.-(Lecture Notes in Computer Science). 28. Electronic Participation: Proc./1th IFIP 8.5 International Conference, ePart 2015, Thessaloniki, Greece, August 2015/Ed. by E.Tambouris, P.Panagiotopoulos, O.Saebo, K.Tarabanis.-Berlin: Springer, 2015.-Vol. 9249.-161 p.-(Lecture Notes in Computer Science). 29. Internet of Things, Smart Spaces, and Next Generation Networks and Systems: Proc./15th International Conferemce, NEW2AN 2015 and 8th Conference, ruSMART 2015, St.Petersburg, Russia, August 2015/Ed. by S.Balandin, S.Andreev, Ye.Koucheryavy.-Berlin: Springer, 2015.-Vol. 9247.-801 p.-(Lecture Notes in Computer Science). 30. Mobile Web and Intelligent Information Systems: Proc./12th International Conference, MobiWis 2015. Rome, Italy, August 2015/ Ed. by M.Younas, I.Awan, M.Mecella.-Berlin: Springer, 2015.-Vol. 9228.-229 p.-(Lecture Notes in Computer Science). 31. Web-Age Information Management: Proc./16th International Conference, WAIM 2015, Qingdao, China, June 2015/Ed. by J.Li, Y.Sun.-Berlin: Springer, 2015.-Vol. 9098.-596 p.-(Lecture Notes in Computer Science). 32. Information Theoretic Security: Proc./8th International Conference, ICITS 2015, Lugano, Switzerland, May 2015/Ed. by A.Lehmann, S.Wolf.-Berlin: Springer, 2015.-Vol. 9063.-297 p. -(Lecture Notes in Computer Science). 33. Tools and Algorithms for the Construction and Analysis of Systems: Proc./21st International Conference, TACAS 2015 Held as Part of the European Joint Conferences ETAPS 2015, London, UK, April 2015/Ed. by C.Baier, C.Tinelli.-Berlin: Springer, 2015. -Vol. 9035.-725 p.-(Lecture Notes in Computer Science). 34. Principles of Security and Trust: Proc./4th International Conference, POST 2015 Held as Part of the European Joint Conferences ETAPS 2015, London, UK, April 2015/Ed. by R.Focardi, A.Myers.-Berlin: Springer, 2015.-Vol. 9036.-365 p.-(Lecture Notes in Computer Science). 35. Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance: Revised Selected Papers/9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, Septem: ber 2014/Ed. by J.Garcia.-Berlin: Springer, 2015.-Vol. 8872.-343 p.-(Lecture Notes in Computer Science). 36. Information Security and Cryptology: Revised Selected Papers/10th International Conference, Inscrypt 2014, Beijing, China, December 2014/Ed. by D.Lin, M.Yung, J.Zhou.-Berlin: Springer, 2015.-Vol. 8957.-547 p.-(Lecture Notes in Computer Science). 37. Progress in Cryptology - LATINCRYPT 2014: Revised Selected Papers/3rd International Conference on Cryptology and Information Security in Latin America, Florianopolis, Brazil, September 2014/ Ed. by D.F.Aranha, A.Menezes.-Berlin: Springer, 2015.-Vol. 8895. -387 p.-(Lecture Notes in Computer Science). 38. Communication Technologies for Vehicles: Proc./8th International Workshop Nets4Cars/Net4Trains/Net4Aircraft 2015, Sousse, Tunisia, May 2015/Ed. by M.Kassab, M.Berbineau, A.Vinel, M.Jonsson.-Berlin: Springer, 2015.-Vol. 9066.-241 p.-(Lecture Notes in Computer Science). 39. Combinatorial Pattern Matching: Proc./26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 2015/Ed. by F.Cicalese, E.Porat, U.Vaccaro.-Berlin: Springer, 2015.-Vol. 9133.-412 p. -(Lecture Notes in Computer Science). 40. Mathematics and Computation in Music: Proc./5th International Conference, MCM 2015, London, UK, June 2015/Ed. by T.Collins, D.Meredith, A.Volk.-Berlin: Springer, 2015.-Vol. 9110. -392 p.-(Lecture Notes in Artificial Intelligence). 41. Wired/Wireless Internet Communications: Revised Selected Papers/13th International Conference, WWIC 2015, Malaga, Spain, May 2015/Ed. by M.C.Aguayo-Torres, G.Gomez, J.Poncela.-Berlin: Springer, 2015.-Vol. 9071.-426 p.-(Lecture Notes in Computer Science). 42. Service-Oriented Computing - ICSOC 2014 Workshops: Revised Selected Papers/WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 2014/Ed. by F.Toumani, B.Pernici, D.Grigori, D.Benslimane.-Berlin: Springer, 2015.-Vol. 8954.-430 p.-(Lecture Notes in Computer Science). 43. Information and Communication Security: Revised Selected Papers/16th International Conference, ICICS 2014, Hong Kong, China, December 2014/Ed. by L.C.K.Hui, S.H.Qing, E.Shi, S.M.Yiu. -Berlin: Springer, 2015.-Vol. 8958.-321 p.-(Lecture Notes in Computer Science). 44. Information Technology in Bio-and Medical Informatics: Proc./5th International Conference, ITBAM 2014, Muich, Germany, September 2014/Ed. by M.Bursa, S.Khuri, M.E.Renda.-Berlin: Springer, 2015.-Vol. 8649.-149 p.-(Lecture Notes in Computer Science). 45. Learning and Intelligent Optimization: Revised Selected Papers/9th International Conference, LION 9, Lille, France, January 2015/Ed. by C.Dhaenens, L.Jourdan, M.-E.Marmion.-Berlin: Springer, 2015.-Vol. 8994.-313 p.-(Lecture Notes in Computer Science). 46. Software Architecture: Proc./9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 2015/Ed. by D.Weyns, R.Mirandola, I.Crnkovic.-Berlin: Springer, 2015.-Vol. 9278.-382 p. -(Lecture Notes in Computer Science). 47. Electronic Government and the Information Systems Perspective: Proc./4th International Conference, EGOVIS 2015, Valencia, Spain, September 2015/Ed. by A.Ko, E.Francesconi. -Berlin: Springer, 2015.-Vol. 9265.-391 p.-(Lecture Notes in Computer Science). 48. Transactions on Computational Collective Intelligence XVIII/ Ed. by N.T.Nguyen.-Berlin: Springer, 2015.-Vol. 9240.-201 p. -(Lecture Notes in Computer Science). 49. Data Science: Proc./2nd International Conference, ICDS 2015, Sydney, Australia, August 2015/Ed. by C.Zhang, W.Huang, Y.Shi, P.S.Yu.-Berlin: Springer, 2015.-Vol. 9208.-194 p.-(Lecture Notes in Computer Science). 50. Experimental IR Meets Multilinguality, Multimodality, and Interaction: Proc./6th International Conference, of the CLEF Association, CLEF'15, Toulouse, France, September 2015/Ed. by J.Mothe, J.Savoy, J.Kamps, N.Ferro.-Berlin: Springer, 2015.-Vol. 9283.-568 p.-(Lecture Notes in Computer Science). 51. Model Checking Software: Proc./22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 2015/Ed. by B.Fischer, J.Geldenhuys.-Berlin: Springer, 2015.-Vol. 9232.-319 p. -(Lecture Notes in Computer Science). 52. Static Analysis: Proc./22nd International Symposium, SAS 2015, Saint-Malo, France, September 2015/Ed. by S.Lazy, T.Jensen. -Berlin: Springer, 2015.-Vol. 9291.-333 p.-(Lecture Notes in Computer Science). 53. Algorithms - ESA 2015: Proc./23rd Annual European Symposium, Patras, Greece, September 2015/Ed. by N.Bansal, I.Finocchi. -Berlin: Springer, 2015.-Vol. 9294.-1053 p.-(Lecture Notes in Computer Science). 54. Games and Learning Alliance: Revised Selected Papers/3rd International Conference, GALA 2014, Bucharest, Romania, July 2014 /Ed. by A.De_Gloria.-Berlin: Springer, 2015.-Vol. 9221.-185 p. -(Lecture Notes in Computer Science). 55. Intelligent Virtual Agents: Proc./15th International Conference, IVA 2015, Delft, The Netherlands, August 2015/Ed. by W.-P.Brinkman, J.Broekens, D.Heylen.-Berlin: Springer, 2015.-Vol. 9238.-494 p.-(Lecture Notes in Artificial Intelligence). 56. Brain Informatics and Health: Proc./8th International Conference, BIH 2015, London, UK, August 2015/Ed. by Y.Guo, K.Friston, A.Faisal, S.Hill.-Berlin: Springer, 2015.-Vol. 9250. -459 p.-(Lecture Notes in Artificial Intelligence). 57. Transactions on Rough Sets XIX/Ed. by J.F.Peters, A.Skowron. -Berlin: Springer, 2015.-Vol. 8988.-367 p.-(Lecture Notes in Computer Science). 58. Image Analysis and Recognition: Proc./12th International Conference, ICIAR 2015, Niagara Falls,ON,Canada, July 2015/Ed. by M.Kamel, A.Campilho.-Berlin: Springer, 2015.-Vol. 9164.-543 p. -(Lecture Notes in Computer Science). 59. Big Data Computing and Communications: Proc./1st International Conference, BigCom 2015, Taiyuan, China, August 2015 /Ed. by Y.Wang, H.Xiong, Sh.Argamon, X.Y.Li.-Berlin: Springer, 2015.-Vol. 9196.-514 p.-(Lecture Notes in Computer Science). 60. Collaboration and Technology: Proc./21st International Conference, CRIWG 2015, Yerevan, Armenia, September 2015/Ed. by N.Baloian, Ye.Zorian, P.Taslakian, S.Shoukouryan.-Berlin: Springer, 2015.-Vol. 9334.-249 p.-(Lecture Notes in Computer Science). 61. Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday/Ed. by L.D.Beklemishev, A.Blass, N.Dershowitz, B.Finkbeiner.-Berlin: Springer, 2015.-Vol. 9300.-319 p.-(Lecture Notes in Computer Science). 62. Cryptographic Hardware and Embedded Systems - CHES 2015: Proc./17th International Workshop, Saint-Malo, France, September 2015/Ed. by T.Guneysu, H.Handschuh.-Berlin: Springer, 2015.-Vol. 9293.-704 p.-(Lecture Notes in Computer Science). 63. Interactive Theorem Proving: Proc./6th International Conference, ITP 2015, Nanjing, China, August 2015/Ed. by C.Urban, X.Zhang.-Berlin: Springer, 2015.-Vol. 9236.-469 p. -(Lecture Notes in Computer Science). 64. Reasoning Web: Web Logic Rules: Tutorial Lectures/11th International Summer School 2015, Berlin, Germany, July 2015/Ed. by W.Faber, A.Paschke.-Berlin: Springer, 2015.-Vol. 9203.-333 p. -(Lecture Notes in Computer Science). 65. Advances in Cryptology - CRYPTO 2015, Part I: Proc./35th Annual Cryptology Conference, Santa Barbara,CA,USA, August 2015/ Ed. by R.Gennaro, M.Robshaw.-Berlin: Springer, 2015.-Vol. 9215. -787 p.-(Lecture Notes in Computer Science). 66. Advances in Cryptology - CRYPTO 2015, Part II: Proc./35th Annual Cryptology Conference, Santa Barbara,CA,USA, August 2015/ Ed. by R.Gennaro, M.Robshaw.-Berlin: Springer, 2015.-Vol. 9216. -783 p.-(Lecture Notes in Computer Science). 67. Machine Learning and Knowledge Discovery in Databases, Part I: Proc./European Conference, ECML PKDD 2015, Porto, Portugal, September 2015/Ed. by A.Appice, P.P.Rodrigues, V.S.Costa, C.Soares.-Berlin: Springer, 2015.-Vol. 9284.-709 p.-(Lecture Notes in Computer Science). 68. Machine Learning and Knowledge Discovery in Databases, Part II: Proc./European Conference, ECML PKDD 2015, Porto, Portugal, September 2015/Ed. by A.Appice, P.P.Rodrigues, V.S.Costa, C.Soares.-Berlin: Springer, 2015.-Vol. 9285.-773 p.-(Lecture Notes in Computer Science). 69. Machine Learning and Knowledge Discovery in Databases, Part III: Proc./European Conference, ECML PKDD 2015, Porto, Portugal, September 2015/Ed. by A.Bifet, M.May, B.Zadrozny, R.Gavalda. -Berlin: Springer, 2015.-Vol. 9286.-345 p.-(Lecture Notes in Computer Science). 70. Scalable Uncertainty Management: Proc./9th International Conference, SUM 2015, Quebec City,QC,Canada, September 2015/Ed. by Ch.Beierle, A.Dekhtyar.-Berlin: Springer, 2015.-Vol. 9310. -421 p.-(Lecture Notes in Computer Science). 71. New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI-isAI 2014 Workshops, LENLS, JURISIN, and Gaba, Kanagawa, Japan, October 2014/Ed. by T.Murata, K.Mineshima, D.Bekki.-Berlin: Springer, 2015.-Vol. 9067.-357 p.-(Lecture Notes in Artificial Intelligence). 72. Service Oriented and Cloud Computing: Proc./4th European Conference, ESOCC 2015, Taormina, Italy, September 2015/Ed. by S.Dustdar, F.Leymann, M.Villari.-Berlin: Springer, 2015.-Vol. 9306. -264 p.-(Lecture Notes in Computer Science). 73. Combinatorics on Words: Proc./10th International Conference, WORDS 2015, Kiel, Germany, September 2015/Ed. by F.Manea, D.Nowotka.-Berlin: Springer, 2015.-Vol. 9304.-237 p.-(Lecture Notes in Computer Science). 74. Information Processing in Cells and Tissues: Proc./10th International Conference, IPCAT 2015, San Diego,CA,USA, September 2015/Ed. by M.Lones, A.Tyrrell, S.Smith, G.Fogel.-Berlin: Springer, 2015.-Vol. 9303.-233 p.-(Lecture Notes in Computer Science). 75. Text, Speech, and Dialogue: Proc./18th International Conference, TSD 2015, Pilsen, Czech Republic, September 2015/Ed. by P.Kral, V.Matousek.-Berlin: Springer, 2015.-Vol. 9302.-612 p. -(Lecture Notes in Artificial Intelligence). 76. Speech and Computer: Proc./17th International Conference, SPECOM 2015, Athens, Greece, September 2015/Ed. by A.Ronzhin, R.Potapova, N.Fakotakis.-Berlin: Springer, 2015.-Vol. 9319.-506 p. -(Lecture Notes in Artificial Intelligence). 77. Correct System Design: Proc./Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 2015/Ed. by R.Meyer, A.Platzer, H.Wehreheim.-Berlin: Springer, 2015.-Vol. 9360.-280 p.-(Lecture Notes in Computer Science). 78. Algorithmic Decision Theory: Proc./4th International Conference, ADT 2015, Lexington,KY,USA, September 2015/Ed. by T.Walsh.-Berlin: Springer, 2015.-Vol. 9346.-594 p.-(Lecture Notes in Artificial Intelligence). 79. Computational Methods in Systems Biology: Proc./13th International Conference, CMSB 2015, Nantes, France, September 2015/Ed. by O.Roux, J.Bourdon.-Berlin: Springer, 2015.-Vol. 9308. -288 p.-(Lecture Notes in Bioinformatics). 80. Design for Teaching and Learning in a Networked World: Proc./10th European Conference on Technology Enhanced Learning, EC-TEL 2015, Toledo, Spain, September 2015/Ed. by G.Conole, T.Klobucar, C.Rensing, J.Konert.-Berlin: Springer, 2015.-Vol. 9307. -649 p.-(Lecture Notes in Computer Science). 81. Discovery Science: Proc./18th International Conference, DS 2015, Banff,AB,Canada, October 2015/Ed. by N.Japkowicz, S.Matwin. -Berlin: Springer, 2015.-Vol. 9356.-342 p.-(Lecture Notes in Artificial Intelligence). 82. String Processing and Information Retrieval: Proc./22nd International Symposium, SPIRE 2015, London, UK, September 2015/ Ed. by C.S.Iliopoulos, S.J.Puglisi, E.Yilmaz.-Berlin: Springer, 2015.-Vol. 9309.-376 p.-(Lecture Notes in Computer Science). 83. Runtime Verification: Proc./6th International Conference, RV 2015, Vienna, Austria, September 2015/Ed. by E.Bartocci, R.Majumdar.-Berlin: Springer, 2015.-Vol. 9333.-432 p.-(Lecture Notes in Computer Science). 84. Model and Data Engineering: Proc./5th International Conference, MEDI 2015, Rhodes, Greece, September 2015/Ed. by L.Bellatreche, Ya.Manolopoulos.-Berlin: Springer, 2015.-Vol. 9344. -343 p.-(Lecture Notes in Computer Science). 85. Computational Logistics: Proc./6th International Conference, ICCL 2015, Delft, The Netherlands, September 2015/Ed. by F.Corman, S.Voss, R.R.Negenborn.-Berlin: Springer, 2015.-Vol. 9335. -752 p.-(Lecture Notes in Computer Science). 86. Algorithmic Learning Theory: Proc./26th International Conference, ALT 2015, Banff,AB,Canada, October 2015/Ed. by K.Chaudhuri, C.Gentile, S.Zilles.-Berlin: Springer, 2015.-Vol. 9355.-396 p.-(Lecture Notes in Artificial Intelligence). 87. Information Processing in Medical Imaging: Proc./24th International Conference, IPMI 2015, Sabhal Mor Ostaig, Isle of Skye, UK, June 2015/Ed. by S.Ourselin, D.C.Alexander, C.-F.Westin, M.J.Cardoso.-Berlin: Springer, 2015.-Vol. 9123.-809 p.-(Lecture Notes in Computer Science). 88. Cooperative Design, Visualisation, and Engineering: Proc./12th International Conference, CDVE 2015, Mallorca, Spain, September 2015/Ed. by Yu.Luo.-Berlin: Springer, 2015.-Vol. 9320. -280 p.-(Lecture Notes in Computer Science). 89. High Performance Computing Systems: Performance Modeling, Benchmarking, and Simulation: Revised Selected Papers/5th International Workshop, PMBS 2014, New Orleans,LA,USA, November 2014/Ed. by S.A.Jarvis, S.A.Wright, S.D.Hammond.-Berlin: Springer, 2015.-Vol. 8966.-276 p.-(Lecture Notes in Computer Science). 90. Logic-Based Program Synthesis and Transformation: Revised Selected Papers/24th International Symposium, LOPSTR 2014, Canterbury, UK, September 2014/Ed. by M.Proietti, H.Seki.-Berlin: Springer, 2015.-Vol. 8981.-333 p.-(Lecture Notes in Computer Science). 91. Approximation and Online Algorithms: Revised Selected Papers/12th International Workshop, WAOA 2014, Wroclaw, Poland, September 2014/Ed. by E.Bampis, O.Svensson.-Berlin: Springer, 2015.-Vol. 8952.-273 p.-(Lecture Notes in Computer Science). 92. High Performance Computing for Computational Science - VECPAR 2014: Revised Selected Papers/11th International Conference, Eugene,OR,USA, June 2014/Ed. by M.Dayde, O.Marques, K.Nakajima.-Berlin: Springer, 2015.-Vol. 8969.-311 p.-(Lecture Notes in Computer Science). 93. Advanced Information Systems Engineering: Proc./27th International Conference, CAiSE 2015, Stockholm, Sweden, June 2015 /Ed. by J.Zdravkovic, M.Kirikova, P.Johannesson.-Berlin: Springer, 2015.-Vol. 9097.-530 p.-(Lecture Notes in Computer Science).