Hовые поступления со 2 июня по 3 августа 2015 года
1. Стененко А.А., Непомнящий В.А. Верификация раскрашенных сетей Петри методом проверки моделей.-Новосибирск, 2015.-27 с. -(Препринт/ИСИ СО РАН; N 178). 2. Computer Vision - ACCV 2014, Part I: Revised Selected Papers/12th Asian Conference on CV, Singapore, November 2014/Ed. by D.Cremers, I.Reid, H.Saito, M.-H.Yang.-Berlin: Springer, 2015. -Vol. 9003.-727 p.-(Lecture Notes in Computer Science). 3. Computer Vision - ACCV 2014, Part II: Revised Selected Papers/12th Asian Conference on CV, Singapore, November 2014/Ed. by D.Cremers, I.Reid, H.Saito, M.-H.Yang.-Berlin: Springer, 2015. -Vol. 9004.-709 p.-(Lecture Notes in Computer Science). 4. Computer Vision - ACCV 2014, Part III: Revised Selected Papers/12th Asian Conference on CV, Singapore, November 2014/Ed. by D.Cremers, I.Reid, H.Saito, M.-H.Yang.-Berlin: Springer, 2015. -Vol. 9005.-725 p.-(Lecture Notes in Computer Science). 5. Computer Vision - ACCV 2014, Part IV: Revised Selected Papers/12th Asian Conference on CV, Singapore, November 2014/Ed. by D.Cremers, I.Reid, H.Saito, M.-H.Yang.-Berlin: Springer, 2015. -Vol. 9006.-731 p.-(Lecture Notes in Computer Science). 6. Computer Vision - ACCV 2014, Part V: Revised Selected Papers/12th Asian Conference, Singapore, November 2014/Ed. by D.Cremers, I.Reid, H.Saito, M.-H.Yang.-Berlin: Springer, 2015. -Vol. 9007.-683 p.-(Lecture Notes in Computer Science). 7. Multi-Agent Systems: Revised Selected Papers/12th European Conference, EUMAS 2014, Prague, Czech Republic, December 2014/Ed. by N.Bulling.-Berlin: Springer, 2015.-Vol. 8953.-426 p.-(Lecture Notes in Artificial Intelligence). 8. Artificial Intelligence and Soft Computing, Part I: Proc./14th International Conference, ICAISC 2015, Zakopane, Poland, June 2015/Ed. by L.Rutkowski, M.Korytkowski, R.Scherer, R.Tadeusiewicz.-Berlin: Springer, 2015.-Vol. 9119.-804 p. -(Lecture Notes in Artificial Intelligence). 9. Artificial Intelligence and Soft Computing, Part II: Proc./14th International Conference, ICAISC 2015, Zakopane, Poland, June 2015/Ed. by L.Rutkowski, M.Korytkowski, R.Scherer, R.Tadeusiewicz.-Berlin: Springer, 2015.-Vol. 9120.-814 p. -(Lecture Notes in Artificial Intelligence). 10. Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection: Pric./13th International Conference, PAAMS 2015, Salamanca, Spain, June 2015/ Ed. by Y.Demazeau.-Berlin: Springer, 2015.-Vol. 9086.-326 p. -(Lecture Notes in Artificial Intelligence). 11. RoboCup 2014: Robot World Cup XVIII/Ed. by H.L.Akin, R.A.C.Bianchi, S.Ramamoorthy, K.Sugiura.-Berlin: Springer, 2015. -Vol. 8992.-719 p.-(Lecture Notes in Artificial Intelligence). 12. The Semantic Web: ESWC 2012 Satellite Events: Revised Selected Papers/ESWC 2012 Satellite Events, Heraklion, Crete, Greece, May 2012/Ed. by E.Simperl, B.Norton, D.Mladenic, E.D.Valle.-Berlin: Springer, 2015.-Vol. 7540.-527 p.-(Lecture Notes in Computer Science). 13. Cellular Automata and Discrete Complex Systems: Revised Selected Papers/20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 2014/Ed. by T.Isokawa, K.Imai, N.Matsui, F.Peper.-Berlin: Springer, 2015.-Vol. 8996.-148 p.-(Lecture Notes in Computer Science). 14. Languages and Compilers for Parallel Computing: Revised Selected Papers/27th International Workshop, LCPC 2014, Hillsboro,OR,USA, September 2014/Ed. by J.Brodman, P.Tu.-Berlin: Springer, 2015.-Vol. 8967.-398 p.-(Lecture Notes in Computer Science). 15. Digital-Forensics and Watermarking: Revised Selected Papers/13th International Workshop, IWDW 2014, Taipei, Taiwan, October 2014/Ed. by Y.-Q.Shi, H.J.Kim, F.Perez-Gonzalez, C.-N.Yang.-Berlin: Springer, 2015.-Vol. 9023.-626 p.-(Lecture Notes in Computer Science). 16. New Horizons in Design Science: Broadening the Reseach Agenda: Proc./10th International Conference, DESRIST 2015, Dublin, Ireland, May 2015/Ed. by B.Donnellan, M.Helfert, J.Kenneally, D.Vandermeer.-Berlin: Springer, 2015.-Vol. 9073.-506 p.-(Lecture Notes in Computer Science). 17. Persuasive Technology: Proc./10th International Conference, PERSUASIVE 2015, Chicago,IL,USA, June 2015/Ed. by T.Mactavish, S.Basapur.-Berlin: Springer, 2015.-Vol. 9072.-265 p.-(Lecture Notes in Computer Science). 18. Internet Science: Proc./2nd International Conference, INSCI 2015, Brussels, Belgium, May 2015/Ed. by T.Tiropanis, A.Vakali, L.Sartori, P.Burnap.-Berlin: Springer, 2015.-Vol. 9089.-160 p. -(Lecture Notes in Computer Science). 19. Scale Space and Variational Methods in Computer Vision: Proc./5th International Conference, SSVM 2015, Lege-Cap Terret, France, May 2015/Ed. by J.-F.Aujol, M.Nikolova, N.Papadakis. -Berlin: Springer, 2015.-Vol. 9087.-716 p.-(Lecture Notes in Computer Science). 20. Health Information Science: Proc./4th International Conference, HIS 2015, Melbourne, Australia, May 2015/Ed. by X.Yin, K.Ho, D.Zeng, U.Aickelin.-Berlin: Springer, 2015.-Vol. 9085. -248 p.-(Lecture Notes in Computer Science). 21. Cellular Automata and Discrete Complex Systems: Proc./21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 2015/Ed. by J.Kari.-Berlin: Springer, 2015.-Vol. 9099.-263 p.-(Lecture Notes in Computer Science). 22. Formal Techniques for Distributed Objects, Components, and Systems: Proc./35th IFIP WG 6.1 International Conference, FORTE 2015 Held as Part of the International Federated Conference, DisCoTec 2015, Grenoble, France, June 2015/Ed. by S.Graf, M.Viswanathan.-Berlin: Springer, 2015.-Vol. 9039.-245 p.-(Lecture Notes in Computer Science). 23. Coordination Models and Languages: Proc./17th IFIP WG 6.1 International Conference, COORDINATION 2015 Held as Part of the 10th International Federated Conference, DisCoTec 2015, Grenoble, France, June 2015/Ed. by T.Holvoet, M.Viroli.-Berlin: Springer, 2015.-Vol. 9037.-247 p.-(Lecture Notes in Computer Science). 24. Web Information Systems Engineering - WISE 2014 Workshops: Revised Selected Papers/15th International Workshops IWCSN 2014, Org2 2014, PCS 2014, and QUAT 2014, Thessaloniki, Greece, October 2014/Ed. by B.Benatallah, A.Bestavros, B.Catania, A.Haller. -Berlin: Springer, 2015.-Vol. 9051.-251 p.-(Lecture Notes in Computer Science). 25. Reversible Computation: Proc./7th International Conference, RC 2015, Grenoble, France, July 2015/Ed. by J.Krivine, J.-B.Stefani.-Berlin: Springer, 2015.-Vol. 9138.-291 p.-(Lecture Notes in Computer Science). 26. Tests and Proofs: Proc./9th International Conference, TAP 2015 Held as Part of STAF 2015, L'Aquila, Italy, July 2015/Ed. by J.C.Blanchette, N.Kosmatov.-Berlin: Springer, 2015.-Vol. 9154. -209 p.-(Lecture Notes in Computer Science). 27. Learning and Collaboration Technologies: Proc./2nd International Conference, LCT 2015, Held as Part of HCI International 2015, Los Angeles,CA,USA, August 2015/Ed. by P.Zaphiris, A.Ioannou.-Berlin: Springer, 2015.-Vol. 9192.-739 p. -(Lecture Notes in Computer Science). 28. Intelligent Cloud Computing: 1st International Conference, ICC 2014, Muscat, Oman, February 2014/Ed. by A.Al-Saidi, R.Fleischer, Z.Maamar, O.F.Rana.-Berlin: Springer, 2015.-Vol. 8993. -169 p.-(Lecture Notes in Computer Science). 29. Data and Applications Security and Privacy XXIX: Proc./29th Annual IFIP WG 11.3 Working Conference, DBSec 2015, Fairfax,VA,USA,July 2015/Ed. by P.Samarati.-Berlin: Springer, 2015.-Vol. 9149.-364 p.-(Lecture Notes in Computer Science). 30. Distributed Applications and Interoperable Systems: Proc./15th IFIP WG 6.1 International Conference, DAIS 2015 Held as Part of the 10th International Conference, DisCoTec 2015, Grenoble, France, June 2015/Ed. by A.Bessani, S.Bouchenak.-Berlin: Springer, 2015.-Vol. 9038.-221 p.-(Lecture Notes in Computer Science). 31. Advances in Computational Intelligence, Part I: Proc./13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 2015/Ed. by I.Rojas, G.Joya, A.Catala.-Berlin: Springer, 2015.-Vol. 9094.-612 p. -(Lecture Notes in Computer Science). 32. Advances in Computational Intelligence, Part II: Proc./13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 2015/Ed. by I.Rojas, G.Joya, A.Catala.-Berlin: Springer, 2015.-Vol. 9095.-620 p. -(Lecture Notes in Computer Science). 33. Advances in Swarm and Computational Intelligence, Part I: Proc./6th International Conference, ICSI 2015 Held in conjunction with the 2nd BRICS Congress, CCI 2015, Beijing, China, June 2015/ Ed. by Y.Tan, Y.Shi, F.Buarque, A.Gelbukh.-Berlin: Springer, 2015. -Vol. 9140.-600 p.-(Lecture Notes in Computer Science). 34. Advances in Swarm and Computational Intelligence, Part II: Proc./6th International Conference, ICSI 2015, Held in conjunction with the 2nd BRICS Congress, CCI 2015, Beijing, China, June 2015/Ed. by Y.Tan, Y.Shi, F.Buarque, A.Gelbukh. -Berlin: Springer, 2015.-Vol. 9141.-498 p.-(Lecture Notes in Computer Science). 35. Advances in Swarm and Computational Intelligence, Part III: Proc./6th International Conference, ICSI 2015, Held in conjunction with the 2nd BRICS Congress, CCI 2015, Beijing, China, June 2015/Ed. by Y.Tan, Y.Shi, F.Buarque, A.Gelbukh. -Berlin: Springer, 2015.-Vol. 9142.-496 p.-(Lecture Notes in Computer Science). 36. Mathematics of Program Construction: Proc./12th International Conference, MPC 2015, Konigswinter, Germany, June 2015/Ed. by R.Hinze, J.Voigtlander.-Berlin: Springer, 2015.-Vol. 9129.-323 p.-(Lecture Notes in Computer Science). 37. Image Analysis: Proc./19th Scandinavian Conference, SCIA 2015, Copenhagen, Denmark, June 2015/Ed. by R.R.Paulsen, K.S.Pedersen.-Berlin: Springer, 2015.-Vol. 9127.-544 p.-(Lecture Notes in Computer Science). 38. Natural Language Processing and Information Systems: Proc./20th International Conference on Applications of NL to Information Systems, NLDB 2015, Passau, Germany, June 2015/Ed. by C.Biemann, S.Handschuh, A.Freitas.-Berlin: Springer, 2015.-Vol. 9103.-460 p.-(Lecture Notes in Computer Science). 39. FM 2015: Formal Methods: Proc./20th International Symposium, Oslo, Norway, June 2015/Ed. by N.Bjorner, F.De_Boer.-Berlin: Springer, 2015.-Vol. 9109.-610 p.-(Lecture Notes in Computer Science). 40. Reliable Software Technologies - Ada-Europe 2015: Proc./20th Ada-Europe International Conference on RST, Madrid, Spain, June 2015/Ed. by J.A.De_La_Puente, T.Vardanega.-Berlin: Springer, 2015. -Vol. 9111.-229 p.-(Lecture Notes in Computer Science). 41. Pattern Recognition: Proc./7th Mexican Conference, MCPR 2015, Mexico City, Mexico, June 2015/Ed. by J.A.Carrasco-Ochoa, J.F.Martinez-Trinidad, J.H.Sossa-Azuela, J.A.O.Lopez.-Berlin: Springer, 2015.-Vol. 9116.-314 p.-(Lecture Notes in Computer Science). 42. User Modeling, Adaptation and Personalization: Proc./23rd International Conference, UMAP 2015, Dulin, Ireland, June 2015/ Ed. by F.Ricci, K.Bontcheva, O.Conlan, S.Lawless.-Berlin: Springer, 2015.-Vol. 9146.-404 p.-(Lecture Notes in Computer Science). 43. Functional Imaging and Modeling of the Heart: Proc./8th International Conference, FIMH 2015, Maastricht, The Netherlands, June 2015/Ed. by H.Van_Assen, P.Bovendeerd, T.Delhaas.-Berlin: Springer, 2015.-Vol. 9126.-487 p.-(Lecture Notes in Computer Science). 44. Experimental Algorithms: Proc./14th International Symposium, SEA 2015, Paris, France, June 2015/Ed. by E.Bampis.-Berlin: Springer, 2015.-Vol. 9125.-404 p.-(Lecture Notes in Computer Science). 45. Pattern Recognition and Machine Intelligence: Proc./6th International Conference, PReMI 2015, Warsaw, Poland, June 2015/ Ed. by M.Kryszkiewicz, S.Bandyopadhyay, H.Rybinski, S.K.Pal. -Berlin: Springer, 2015.-Vol. 9124.-588 p.-(Lecture Notes in Computer Science). 46. Risks and Security of Internet and Systems: Revised Selected Papers/9th International Conference, CRiSIS 2014, Trentu, Italy, August 2014/Ed. by J.Lopez, I.Ray, B.Crispo.-Berlin: Springer, 2015.-Vol. 8924.-275 p.-(Lecture Notes in Computer Science). 47. Logic, Language, and Computation: Revised Selected Papers/10th International Tbilisi Symposium, TbiLLC 2013, Gudauri, Georgia, September 2013/Ed. by M.Aher, D.Hole, E.Jerabek, C.Kupke.-Berlin: Springer, 2015.-Vol. 8984.-333 p. -(Lecture Notes in Computer Science). 48. Formal Methods for Multicore Programming: Advanced Lectures/15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 2015/Ed. by M.Bernardo, E.B.Johnsen. -Berlin: Springer, 2015.-Vol. 9104.-211 p.-(Lecture Notes in Computer Science). 49. Transactions on Computational Science XXV/Ed. by M.Gavrilova, C.J.K.Tan.-Berlin: Springer, 2015.-Vol. 9030.-201 p. -(Lecture Notes in Computer Science). 50. Mathematical Morphology and Its Applications to Signal and Image Processing: Proc./12th International Symposiu, ISMM 2015, Reykjavik, Iceland, May 2015/Ed. by J.A.Benediktsson, J.Chanussot, L.Najman, H.Talbot.-Berlin: Springer, 2015.-Vol. 9082. -754 p.-(Lecture Notes in Computer Science). 51. Inclusive Smart Cities and e-Health: Proc./13th International Conference on Smart Homes and Health Telematics, ICOST 2015, Geneva, Switzerland, June 2016/Ed. by A.Geissbuhler, J.Demongeot.-Berlin: Springer, 2015.-Vol. 9102.-386 p.-(Lecture Notes in Computer Science). 52. Application and Theory of Petri Nets and Concurrency: Proc./36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 2015/Ed. by R.Devillers, A.Valmari.-Berlin: Springer, 2015.-Vol. 9115.-351 p.-(Lecture Notes in Computer Science). 53. Formal Methods for Industrial Critical Systems: Proc./20th International Workshop, FMICS 2015, Oslo, Norway, June 2015/Ed. by M.Nunez, M.Gudemann.-Berlin: Springer, 2015.-Vol. 9128.-213 p. -(Lecture Notes in Computer Science). 54. Computational Linguistics and Intelligent Text Processing, Part I: Proc./16th International Conference, CICLing 2015, Cairo, Egypt, April 2015/Ed. by A.Gelbukh.-Berlin: Springer, 2015.-Vol. 9041.-662 p.-(Lecture Notes in Computer Science). 55. Computational Linguistics and Intelligent Text Processing, Part II: Proc./16th International Conference, CICLing 2015, Cairo, Egipt, April 2015/Ed. by A.Gelbukh.-Berlin: Springer, 2015. -Vol. 9042.-686 p.-(Lecture Notes in Computer Science). 56. Database Systems for Advanced Applications, Part I: Proc./20th International Conference, DASFAA 2015, Hanoi, Vietnam, April 2015/Ed. by M.Renz, C.Shahabi, X.Zhou, M.A.Cheema.-Berlin: Springer, 2015.-Vol. 9049.-643 p.-(Lecture Notes in Computer Science). 57. Database Systems for Advanced Applications, Part II: Proc./20th International Conference, DASFAA 2015, Hanoi, Vietnam, April 2015/Ed. by M.Renz, C.Shahabi, X.Zhou, M.A.Cheema.-Berlin: Springer, 2015.-Vol. 9050.-549 p.-(Lecture Notes in Computer Science). 58. Descriptional Complexity of Formal Systems: Proc./17th International Workshop, DCFS 2015, Waterloo,ON,Canada, June 2015/ Ed. by J.Shallit, A.Okhotin.-Berlin: Springer, 2015.-Vol. 9118. -293 p.-(Lecture Notes in Computer Science). 59. Databases Theory and Applications: Proc./26th Australasian Database Conference, ADC 2015, Melbourne,VIC,Australia, June 2015/ Ed. by M.A.Sharaf, M.A.Cheema, J.Qi.-Berlin: Springer, 2015. -Vol. 9093.-334 p.-(Lecture Notes in Computer Science). 60. Practical Aspects of Declarative Languages: Proc./17th International Symposium, PADL 2015, Portland,OR,USA, June 2015/ Ed. by E.Ponteli, T.C.Son.-Berlin: Springer, 2015.-Vol. 9131. -149 p.-(Lecture Notes in Computer Science). 61. Perspectives of System Informatics: Revised Selected Papers/9th International Ershov Informatics Conference, PSI 2014, St.Petersburg, Russia, June 2014/Ed. by A.Voronkov, I.Virbitskaite.-Berlin: Springer, 2015.-Vol. 8974.-415 p. -(Lecture Notes in Computer Science). 62. Evolving Computability: Proc./11th Conference of Computability in Europe, CiE 2015, Bucharest, Romania, June 2015/ Ed. by A.Beckmann, V.Mitrana, M.Soskova.-Berlin: Springer, 2015. -Vol. 9136.-363 p.-(Lecture Notes in Computer Science). 63. Multiple Classifier Systems: Proc./12th International Workshop, MCS 2015, Gunzburg, Germany, June 2015/Ed. by F.Schwenker, F.Roli, J.Kittler.-Berlin: Springer, 2015.-Vol. 9132. -231 p.-(Lecture Notes in Computer Science). 64. New Frontiers in Mining Complex Patterns: Revised Selected Papers/3rd International Workshop, NFMCP 2014, Held in Conjunction with ECML-PKDD 2014, Nanvy, France, September 2014/ Ed. by A.Appice, M.Ceci, C.Loglisci, G.Manco.-Berlin: Springer, 2015.-Vol. 8983.-211 p.-(Lecture Notes in Artificial Intelligence). 65. Current Approaches in Applied Artificial Intelligence: Proc./28th International Conference, IEA/AIE 2015, Seoul, Korea, June 2015/Ed. by M.Ali, Y.S.Kwon, C.-H.Lee, J.Kim.-Berlin: Springer, 2015.-Vol. 9101.-755 p.-(Lecture Notes in Artificial Intelligence). 66. Ерусалимский Я.М. Разработка и исследование методов решения экстремальных задач на графах и сетях с ограничениями на достижимость: Автореф. дис... докт. тех. наук: 05.13.17.-Таганрог, 2015.-32 с.-Библиогр.: c.27-32.