Hовые поступления с 8 октября по 14 ноября 2016 года
1. Human Behavior Ubderstanding: Proc./7th International Workshop, HBU 2016, Amsterdam, The Netherlands, October 2016/Ed. by M.Chetouani, J.Cohn, A.A.Salah.-Berlin: Springer, 2016.-Vol. 9997.-159 p.-(Lecture Notes in Computer Science). 2. Music, Mind, and Embodiment: Revised Selected Papers/11th International Symposium, CMMR 2015, Plimouth, UK, June 2015/Ed. by R.Kronland-Martinet, M.Aramaki, S.Ystad.-Berlin: Springer, 2016.-Vol. 9617.-483 p.-(Lecture Notes in Computer Science). 3. Theoretical Aspects of Computing - ICTAC 2016: Proc./13th International Colloquium, Taipei. Taiwan, ROC, October 2016/Ed. by A.Sampaio, F.Wang.-Berlin: Springer, 2016.-Vol. 9965.-479 p. -(Lecture Notes in Computer Science). 4. Automated Technology for Verification and Analysis: Proc./14th International Symposium, ATVA 2016, Chiba, Japan, October 2016/Ed. by C.Artho, A.Legay, D.Peled.-Berlin: Springer, 2016.-Vol. 9938.-530 p.-(Lecture Notes in Computer Science). 5. Runtime Verification: Proc./16th International Conference, RV 2016, Madrid, Spain, September 2016/Ed. by Y.Falcone, C.Sanchez.-Berlin: Springer, 2016.-Vol. 10012.-512 p.-(Lecture Notes in Computer Science). 6. Internet of Things, Smart Spaces, and Next Generation Networks and Systems: Proc./16th International Conference, NEW2AN 2016 and 9th Conference, ruSMART 2016, St.Petersburg, Russia, September 2016/Ed. by O.Galinina, S.Balandin, Ye.Koucheryavy. -Berlin: Springer, 2016.-Vol. 9870.-789 p.-(Lecture Notes in Computer Science). 7. The Semantic Web - ISWC 2016, Part I: Proc./15th International Semantic Web Conference, Kobe, Japan, October 2016/ Ed. by P.Groth, E.Simperl, A.Gray, M.Sabou.-Berlin: Springer, 2016.-Vol. 9981.-672 p.-(Lecture Notes in Computer Science). 8. The Semantic Web - ISWC 2016, Part II: Proc./15th International Semantic Web Conference, Kobe, Japan, October 2016/ Ed. by P.Groth, E.Simperl, A.Gray, M.Sabou.-Berlin: Springer, 2016.-Vol. 9982.-456 p.-(Lecture Notes in Computer Science). 9. Informatics in Schools: Improvement of Informatics Knowledge and Perception: Proc./9th International Conference, ISSEP 2016, Munster, Germany, October 2016/Ed. by A.Brodnik, F.Tort.-Berlin: Springer, 2016.-Vol. 9973.-205 p.-(Lecture Notes in Computer Science). 10. Simulation and Synthesis in Medical Imaging: Proc./1st International Workshop, SASHIMI 2016 Held in Conjunction with MICCAI 2016, Athens, Greece, October 2016/Ed. by S.A.Tsaftaris, A.Gooya, A.F.Frangi, J.L.Prince.-Berlin: Springer, 2016.-Vol. 9968. -178 p.-(Lecture Notes in Computer Science). 11. Web Technologies and Applications: Proc./APWeb 2016 Workshops, WDMA, GAP, and SDMA, Suzhou, China, September 2016/Ed. by A.Morishima, L.Chang, T.Z.J.Fu, K.Liu.-Berlin: Springer, 2016. -Vol. 9865.-324 p.-(Lecture Notes in Computer Science). 12. Patch-Based Techniques in Medical Imaging: Proc./2nd International Workshop, Patch-MI 2016 Held in Conjunction with MICCAI 2016, Athens, Greece, October 2016/Ed. by G.Wu, P.Coupe, Y.Zhan, B.C.Munsell.-Berlin: Springer, 2016.-Vol. 9993.-141 p. -(Lecture Notes in Computer Science). 13. Service-Oriented Computing: Proc./14th International Conference, ICSOC 2016, Banff,AB,Canada, October 2016/Ed. by Q.Z.Sheng, E.Stroulia, S.Tata, S.Bhiri.-Berlin: Springer, 2016. -Vol. 9936.-849 p.-(Lecture Notes in Computer Science). 14. Programming Languages: Proc./20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 2016/Ed. by F.Castor, Yu.D.Liu. -Berlin: Springer, 2016.-Vol. 9889.-187 p.-(Lecture Notes in Computer Science). 15. Entertainment Computing - ICEC 2016: Proc./15th IFIP TC 14 International Conference, Vienna, Austria, September 2016/Ed. by G.Wallner, S.Kriglstein, H.Hlavacs, R.Malaka.-Berlin: Springer, 2016.-Vol. 9926.-292 p.-(Lecture Notes in Computer Science). 16. String Processing and Information Retrieval: Proc./23rd International Symposium, SPIRE 2016, Beppu, Japan, October 2016/ Ed. by S.Inenaga, K.Sadakane, T.Sakai.-Berlin: Springer, 2016. -Vol. 9954.-273 p.-(Lecture Notes in Computer Science). 17. Search Based Software Engineering: Proc./8th International Symposium, SSBSE 2016, Raleigh,NC,USA, October 2016/Ed. by F.Sarro, K.Deb.-Berlin: Springer, 2016.-Vol. 9962.-318 p. -(Lecture Notes in Computer Science). 18. Data Privacy Management and Security Assurance: Proc./11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 2016/Ed. by G.Livraga, V.Torra, A.Aldini, F.Martinelli.-Berlin: Springer, 2016. -Vol. 9963.-247 p.-(Lecture Notes in Computer Science). 19. Transactions on Large-Scale Data-and Knowledge-Centered Systems XXVIII: Special Issue on Database-and Expert-Systems Applications/Ed. by A.Hameurline, J.Kung, R.Wagner.-Berlin: Springer, 2016.-Vol. 9940.-157 p.-(Lecture Notes in Computer Science). 20. Transactions on Petri Nets and Other Models of Concurrency XI /Ed. by M.Koutny.-Berlin: Springer, 2016.-Vol. 9930.-319 p. -(Lecture Notes in Computer Science). 21. Geographic Information Science: Proc./9th International Conference, GIScience 2016, Montreal,QC,Canada, September 2016/ Ed. by J.A.Miller, D.O'Sullivan, N.Wiegand.-Berlin: Springer, 2016.-Vol. 9927.-339 p.-(Lecture Notes in Computer Science). 22. Critical Systems: Formal Methods and Automated Verification: Proc./Joint 21st IW on Formal Methods for Industrial Critical Systems and 16th IW on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 2016/Ed. by M.H.Ter_Beek, S.Gnesi, A.Knapp.-Berlin: Springer, 2016.-Vol. 9933. -247 p.-(Lecture Notes in Computer Science). 23. Transactions on Large-Scale Data-and Knowledge-Centered Systems XXVII: Special Issue on Big Data for Complex Urban Systems /Ed. by A.Hameurlain, J.Kung, R.Wagner.-Berlin: Springer, 2016. -Vol. 9860.-209 p.-(Lecture Notes in Computer Science). 24. Machine Learning and Interpretation in Neuroimaging: Revised Selected Papers/4th International Workshop, MLINI 2014 Held at NIPS 2014, Montreal,QC.Canada, December 2014/Ed. by I.Rish, G.Langs, L.Wehbe, G.Cecchi.-Berlin: Springer, 2016.-Vol. 9444. -129 p.-(Lecture Notes in Artificial Intelligence). 25. Brain Informatics and Health: Proc./International Conference, BIH 2016, Omaha,NE,USA, October 2016/Ed. by G.A.Ascoli, M.Hawrylycz, H.Ali, D.Khazanchi.-Berlin: Springer, 2016.-Vol. 9919.-388 p.-(Lecture Notes in Artificial Intelligence). 26. Algorithmic Learning Theory: Proc./27th International Conference, ALT 2016, Bari, Italy, October 2016/Ed. by R.Ortner, H.U.Simon, S.Zilles.-Berlin: Springer, 2016.-Vol. 9925.-371 p. -(Lecture Notes in Artificial Intelligence). 27. Statistical Language and Speech Processing: Proc./4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 2016/Ed. by P.Kral, C.Martin-Vide.-Berlin: Springer, 2016. -Vol. 9918.-145 p.-(Lecture Notes in Artificial Intelligence). 28. Discovery Science: Proc./19th International Conference, DS 2016, Bari, Italy, October 2016/Ed. by T.Calders, M.Ceci, D.Malerba.-Berlin: Springer, 2016.-Vol. 9956.-492 p.-(Lecture Notes in Artificial Intelligence). 29. Computational Collective Intelligence, Part I: Proc./8th International Conference, ICCCI 2016, Halkidiki, Greece, September 2016/Ed. by N.-T.Nguyen, Ya.Manolopoulos, L.Iliadis, B.Trawinski.-Berlin: Springer, 2016.-Vol. 9875.-602 p.-(Lecture Notes in Artificial Intelligence). 30. Computational Collective Intelligence, Part II: Proc./8th International Conference, ICCCI 2016, Halkidiki, Greece, September 2016/Ed. by N.-T.Nguyen, Manolopoulos Ya,, L.Iliadis, B.Trawinski.-Berlin: Springer, 2016.-Vol. 9876.-578 p.-(Lecture Notes in Artificial Intelligence). 31. Бродский Ю.И. Проблема описания и синтеза распределенных имитацтонных моделей сложных многокомпонентных систем: Автореф. дис... докт. ф.-м. наук: 05.13.17.-М., 2016.-41 с.-Библиогр.: c.37-41. 32. Web-Age Information Management: Revised Selected Papers/WAIM 2016 Workshops MWDA, SDMMW, and SemiBDMA, Nanchang, China, June 2016/Ed. by S.Song, Y.Tong.-Berlin: Springer, 2016.-Vol. 9998. -330 p.-(Lecture Notes in Computer Science). 33. Information Retrieval Technology: Proc./12th Asia Information Retrieval Societies Conference, AIRS 2016, Beijing, China, November 2016/Ed. by S.Ma, J.-R.Wen, Y.Liu, Z.Dou.-Berlin: Springer, 2016.-Vol. 9994.-372 p.-(Lecture Notes in Computer Science). 34. Advances in Conceptual Modeling: Proc./ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 2016/Ed. by S.Link, J.C.Trujillo.-Berlin: Springer, 2016. -Vol. 9975.-251 p.-(Lecture Notes in Computer Science). 35. Foundational and Practical Aspects of Resource Analysis: Revised Selected Papers/4th International Workshop, FOPARA 2015, London, UK, April 2015/Ed. by M.Van_Eekelen, U.D.Lago.-Berlin: Springer, 2016.-Vol. 9964.-127 p.-(Lecture Notes in Computer Science). 36. Transactions on Foundations for Mastering Change I/Ed. by B.Steffen.-Berlin: Springer, 2016.-Vol. 9960.-257 p.-(Lecture Notes in Computer Science). 37. Clinical Image-Based Procedures: Translations Research in Medical Imaging: Proc./5th International Workshop, CLIP 2016 Held in Conjunction with MICCAI 2016, Athens, Greece, October 2016/Ed. by R.Shekhar, S.Wesarg, M.A.G.Ballester, K.Drichsler.-Berlin: Springer, 2016.-Vol. 9958.-85 p.-(Lecture Notes in Computer Science). 38. Secure IT Systems: Proc./21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2016/Ed. by B.B.Brumley, J.Roning. -Berlin: Springer, 2016.-Vol. 10014.-269 p.-(Lecture Notes in Computer Science). 39. Programming Languages and Systems: Proc./14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 2016/Ed. by A.Igarashi.-Berlin: Springer, 2016.-Vol. 10017.-465 p.-(Lecture Notes in Computer Science). 40. Provable Security: Proc./10th International Conference, ProvSec 2016, Nanjing, China, November 2016/Ed. by L.Chen, J.Han. -Berlin: Springer, 2016.-Vol. 10005.-394 p.-(Lecture Notes in Computer Science). 41. Formal Methods and Software Engineering: Proc./18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 2016/Ed. by K.Ogata, M.Lawford, S.Liu.-Berlin: Springer, 2016.-Vol. 10009.-486 p.-(Lecture Notes in Computer Science). 42. Health Information Science: Proc./5th International Conference, HIS 2016, Shanghai, China, November 2016/Ed. by X.Yin, J.Geller, Y.Li, R.Zhou.-Berlin: Springer, 2016.-Vol. 10038. -206 p.-(Lecture Notes in Computer Science). 43. Testing Software and Systems: Proc./28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 2016/ Ed. by F.Wotawa, M.Nica, N.Kushik.-Berlin: Springer, 2016.-Vol. 9976.-257 p.-(Lecture Notes in Computer Science). 44. Transactions on Modularity and Composition I/Ed. by S.Chiba, M.Sudholt.-Berlin: Springer, 2016.-Vol. 9800.-269 p. -(Lecture Notes in Computer Science). 45. Torra V. Scala: From a Functional Programming Perspective: An Introduction to the Programming Language.- Berlin: Springer, 2016.- 124 p.-(Lecture Notes in Computer Science; Vol. 9980). -Bibliogr.: p.119-120. 46. Neural Information Processing, Part I: Proc./23rd Information Conference, ICONIP 2016, Kyoto, Japan, October 2016/ Ed. by A.Hirose, S.Ozawa, K.Doya, K.Ikeda.-Berlin: Springer, 2016. -Vol. 9947.-639 p.-(Lecture Notes in Computer Science). 47. Neural Information Processing, Part II: Proc./23rd International Conference, ICONIP 2016, Kyoto, Japan, October 2016/ Ed. by A.Hirose, S.Ozawa, K.Doya, K.Ikeda.-Berlin: Springer, 2016. -Vol. 9948.-739 p.-(Lecture Notes in Computer Science). 48. Neural Information Processing, Part III: Proc./23rd International Conference, ICONOP 2016, Kyoto, Japan, October 2016/ Ed. by A.Hirose, S.Ozawa, K.Doya, K.Ikeda.-Berlin: Springer, 2016. -Vol. 9949.-651 p.-(Lecture Notes in Computer Science). 49. Neural Information Processing, Part IV: Proc./23rd International Conference, ICONIP 2016, Kioto, Japan, October 2016/ Ed. by A.Hirose, S.Ozawa, K.Doya, K.Ikeda.-Berlin: Springer, 2016. -Vol. 9950.-663 p.-(Lecture Notes in Computer Science). 50. Current Trends in Web Engineering: Revised Selected Papers/ICWE 2016 International Workshops DUI, TELERISE, SoWeMine, and Liquid Web, Lugano, Switzerland, June 2016/Ed. by S.Casteleyn, P.Dolog, C.Pautasso.-Berlin: Springer, 2016.-Vol. 9881.-209 p.-(Lecture Notes in Computer Science). 51. Transactions on Computational Collective Intelligence XXIV/ Ed. by N.T.Nguyen, R.Kowalczyk.-Berlin: Springer, 2016.-Vol. 9770. -169 p.-(Lecture Notes in Computer Science). 52. Similarity Search and Applications: Proc./9th International Conference, SISAP 2016, Tokyo, Japan, October 2016/Ed. by L.Amsaleg, M.E.Houle, E.Schubert.-Berlin: Springer, 2016.-Vol. 9939.-339 p.-(Lecture Notes in Computer Science). 53. Deep Learning and Data Labeling for Medical Applications: Proc./1st International Workshop LABELS 2016, and 2nd International Workshop, DLMIA 2016, Held as Conjunction with MICCAI 2016, Atens, Greece, October 2016/Ed. by G.Carneiro. -Berlin: Springer, 2016.-Vol. 10008.-280 p.-(Lecture Notes in Computer Science). 54. Transactions on Computational Collective Intelligence XXV/ Ed. by N.T.Nguyen, R.Kowalczyk.-Berlin: Springer, 2016.-Vol. 9990. -149 p.-(Lecture Notes in Computer Science). 55. Cooperative Design, Visualization, and Engineering: Proc./13th International Conference, CDVE 2016, Sydney,NSW,Australia, October 2016/Ed. by Yu.Luo.-Berlin: Springer, 2016.-Vol. 9929.-396 p.-(Lecture Notes in Computer Science). 56. Network and Parallel Computing: Proc./13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 2016/ Ed. by G.R.Gao, D.Qian, X.Gao, B.Chapman.-Berlin: Springer, 2016. -Vol. 9966.-213 p.-(Lecture Notes in Computer Science). 57. Medical Image Computing and Computer-Assisted Intervantion - MICCAI 2016, Part I: Proc./19th International Conference, Athens, Greece, October 2016/Ed. by S.Ourselin, L.Joskowicz, M.R.Sabuncu, G.Unal.-Berlin: Springer, 2016.-Vol. 9900.-681 p. -(Lecture Notes in Computer Science). 58. Medical Image Computing and Computer-Assisted Intervention - MICCAI 2016, Part II: Proc./19th International Conference, Athens, Greece, October 2016/Ed. by S.Ourselin, L.Joskowicz, M.R.Sabuncu, G.Unal.-Berlin: Springer, 2016.-Vol. 9901.-703 p. -(Lecture Notes in Computer Science). 59. Medical Image Computing and Computer-Assisted Intervention - MICCAI 2016, Part III: Proc./19th International Conference, Athens, Greece, October 2016/Ed. by S.Ourselin, L.Jaskowicz, M.R.Sabuncu, G.Unal.-Berlin: Springer, 2016.-Vol. 9902.-641 p. -(Lecture Notes in Computer Science). 60. Advances in Web-Based Learning - ICWL 2016: Proc./15th International Conference, Rome, Italy, October 2016/Ed. by D.K.W.Chiu, I.Marenzi, U.Nanni, M.Spaniol.-Berlin: Springer, 2016. -Vol. 10013.-304 p.-(Lecture Notes in Computer Science). 61. Machine Learning in Medical Imaging: Proc./7th International Workshop, MLMI 2016 Held in Conjunction with MICCAI 2016, Athens, Greece, October 2016/Ed. by L.Wang, E.Adeli, Q.Wang, Y.Shi. -Berlin: Springer, 2016.-Vol. 10019.-324 p.-(Lecture Notes in Computer Science). 62. 3D Research Challenges in Cultural Heritage II: Haw to Manage Data and Knowledge Related to Interpretative Digital 3D Reconstructions of Cultural Heritage/Ed. by S.Munster, M.Pfarr-Harfst, P.Kuroczynski, M.Ioannides.-Berlin: Springer, 2016. -Vol. 10025.-289 p.-(Lecture Notes in Computer Science). 63. Graph-Theoretic Concepts in Computer Science: Revised Selected Papers/42nd International Workshop, WG 2016, Istanbul, Turkey, June 2016/Ed. by P.Heggernes.-Berlin: Springer, 2016. -Vol. 9941.-307 p.-(Lecture Notes in Computer Science). 64. Decision and Game Theory for Security: Proc./7th International Conference, GameSec 2016, New York,NY,USA, November 2016/Ed. by Q.Zhu, T.Alpcan, E.Panaousis, M.Tambe.-Berlin: Springer, 2016.-Vol. 9996.-478 p.-(Lecture Notes in Computer Science). 65. Innovative Security Solutions for Information Technology and Communications: Revised Selected Papers/9th International Conference, SECITC 2016, Bucharest, Romania, June 2016/Ed. by I.Bica, R.Reyhanitabar.-Berlin: Springer, 2016.-Vol. 10006.-287 p. -(Lecture Notes in Computer Science). 66. Advances in Artificial Intelligence - IBERAMIA 2016: Proc./15th Ibero-American Conference on AI, San Jose, Costa Rica, November 2016/Ed. by M.Montes-Y-Gomez, H.J.Escalante, A.Segura, J.De_Dios_Murillo.-Berlin: Springer, 2016.-Vol. 10022.-428 p. -(Lecture Notes in Artificial Intelligence). 67. Knowledge Science, Engineering and Management: Proc./9th International Conference, KSEM 2016, Passau, Germany, October 2016 /Ed. by F.Lehner, N.Fteimi.-Berlin: Springer, 2016.-Vol. 9983. -642 p.-(Lecture Notes in Artificial Intelligence). 68. Autonomous Agents and Multiagent Systems: Revised Selected Papers/AAMAS 2016 Workshops Best Papers, Singapore, Singapore, May 2016/Ed. by N.Osman, C.Sierra.-Berlin: Springer, 2016.-Vol. 10002.-193 p.-(Lecture Notes in Artificial Intelligence). 69. Case-Based Reasoning Research and Development: Proc./24th International Conference, ICCBR 2016, Atlanta,GA,USA, October 2016 /Ed. by A.Goel, M.B.Diaz-Agudo, T.Roth-Berghofer.-Berlin: Springer, 2016.-Vol. 9969.-446 p.-(Lecture Notes in Artificial Intelligence). 70. Autonomous Agents and Multiagent Systems: Revised Selected Papers/AAMAS 2016 Workshops Visionary Papres, Singapore, Singapore, May 2016/Ed. by N.Osman, C.Sierra.-Berlin: Springer, 2016.-Vol. 10003.-197 p.-(Lecture Notes in Artificial Intelligence). 71. Rough Sets: Proc./International Joint Conference, IJCRS 2016, Santiago de Chile, Chile, October 2016/Ed. by V.Flores, F.Gomide, A.Janusz, C.Meneses.-Berlin: Springer, 2016.-Vol. 9920. -592 p.-(Lecture Notes in Artificial Intelligence). 72. Hybrid Systems Biology: Proc./5th International Workshop, HSB 2016, Grenoble, France, October 2016/Ed. by E.Cinquemani, A.Donze.-Berlin: Springer, 2016.-Vol. 9957.-179 p.-(Lecture Notes in Bioinformatics). 73. Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data: Proc./15th China National Conference, CCL 2016, and 4th International Symposium, NLP-NABO 2016, Yantai, China, October 2016/Ed. by M.Sun, X.Huang, H.Lin, Z.Liu.-Berlin: Springer, 2016.-Vol. 10035. -460 p.-(Lecture Notes in Artificial Intelligence).