Hовые поступления с 14 сентября по 5 октября 2015 года
1. Logic, Rewriting, and Concurrency: Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday/Ed. by N.Marti-Oliet, P.C.Olveczky, C.Talcott.-Berlin: Springer, 2015. -Vol. 9200.-654 p.-(Lecture Notes in Computer Science). 2. Software Engineering and Formal Methods: Proc./13th International Conference, SEFM 2015, York, UK, September 2015/Ed. by R.Calinescu, B.Rumpe.-Berlin: Springer, 2015.-Vol. 9276.-369 p.-(Lecture Notes in Computer Science). 3. Modelling and Simulation for Autonomous Systems: Revised Selected Papers/2nd International Workshop, MESAS 2015, Prague, Czech Republic, April 2015/Ed. by J.Hodicky.-Berlin: Springer, 2015.-Vol. 9055.-241 p.-(Lecture Notes in Computer Science). 4. Curves and Surfaces: Revised Selected Papers/8th International Conference, Paris, France, June 2014/Ed. by J.-D.Boissonnat, A.Cohen, O.Gibaru, C.Gout.-Berlin: Springer, 2015. -Vol. 9213.-492 p.-(Lecture Notes in Computer Science). 5. Database Systems for Advanced Applications: Revised Selected Papers/DASFAA 2015 International Workshops, SeCoP, BDMS, and Posters, Hanoi, Vietnam, April 2015/Ed. by A.Liu, Yo.Ishikawa, T.Qian, S.Nutanong.-Berlin: Springer, 2015.-Vol. 9052.-328 p. -(Lecture Notes in Computer Science). 6. Search-Based Software Engineering: Proc./7th International Symposium, SSBSE 2015, Bergamo, Italy, September 2015/Ed. by M.Barros, Y.Labiche.-Berlin: Springer, 2015.-Vol. 9275.-355 p. -(Lecture Notes in Computer Science). 7. Advanced Parallel Processing Technologies: Proc./11th International Symposium, APPT 2015, Jinan, China, August 2015/Ed. by Yu.Chen, P.Ienne, Q.Ji.-Berlin: Springer, 2015.-Vol. 9231. -117 p.-(Lecture Notes in Computer Science). 8. Software Engineering for Resilient Systems: Proc./7th International Workshop, SERENE 2015, Paris, France, September 2015 /Ed. by A.Fantechi, P.Pelliccione.-Berlin: Springer, 2015.-Vol. 9274.-145 p.-(Lecture Notes in Computer Science). 9. Machines, Computations, and Universality: Proc./7th International Conference, MCU 2015, Famagusta, North Cyprus, September 2015/Ed. by J.Durand-Lose, B.Nagy.-Berlin: Springer, 2015.-Vol. 9288.-199 p.-(Lecture Notes in Computer Science). 10. Parallel Computing Technologies: Proc./13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 2015/Ed. by V.Malyshkin.-Berlin: Springer, 2015.-Vol. 9251.-548 p.-(Lecture Notes in Computer Science). 11. Principles and Practice of Constraint Programming: Proc./21st International Conference, CP 2015, Cork, Ireland, August 2015/Ed. by G.Pesant.-Berlin: Springer, 2015.-Vol. 9255. -747 p.-(Lecture Notes in Computer Science). 12. Euro-Par 2015: Parallel Processing: Proc./21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 2015/Ed. by J.L.Traff, S.Hunold, F.Versaci. -Berlin: Springer, 2015.-Vol. 9233.-703 p.-(Lecture Notes in Computer Science). 13. Implementation and Application of Automata: Proc./20th International Conference, CIAA 2015, Umea, Sweden, August 2015/ Ed. by F.Drewes.-Berlin: Springer, 2015.-Vol. 9223.-337 p. -(Lecture Notes in Computer Science). 14. Human-Computer Interaction: Users and Contexts, Part III: Proc./17th International Conference, HCI International 2015, Los Angeles,CA,USA, August 2015/Ed. by M.Kurosu.-Berlin: Springer, 2015.-Vol. 9171.-566 p.-(Lecture Notes in Computer Science). 15. Марков А.В. Автоматизация проектирования и анализа программного обеспечения с использованием языка UML и сетей Петри: Автореф. дис... канд. тех. наук: 05.13.11.-Новосибирск, 2015.-24 с.-Библиогр.: c.23-24. 16. Филатов А.Ю., Михеев В.В. Стратегии внутрипотоковой сборки мусора и оценка их эффективности.-Новосибирск, 2015.-27 с. -(Препринт/ИСИ СО РАН; N 179). 17. Гурий Иванович Марчук. К 90-летию со дня рождения: биобиблиографический указатель (1950-2015)/сост. Л.А.Мандринина; СО РАН. .- Новосибирск, 2015.- 240 с. 18. Марчук Г.И. Наука управлять наукой/отв. ред. В.П.Дымников, В.И.Ильин; СО РАН. .- Новосибирск: Изд-во СО РАН, 2015.- 704 с. 19. Wireless Algorithms, Systems, and Applications: Proc./10th International Conference, WASA 2015, Qufu, China, August 2015/Ed. by K.Xu, H.Zhu.-Berlin: Springer, 2015.-Vol. 9204.-859 p. -(Lecture Notes in Computer Science). 20. Algebraic Informatics: Proc./6th International Conference, CAI 2015, Stuttgart, Germany, September 2015/Ed. by A.Maletti. -Berlin: Springer, 2015.-Vol. 9270.-223 p.-(Lecture Notes in Computer Science). 21. Computer Performance Engineering: Proc./12th European Workshop, EPEW 2015, Madrid, Spain, August 2015/Ed. by M.Beltran, W.Knottenbelt, J.Bradley.-Berlin: Springer, 2015.-Vol. 9272.-367 p.-(Lecture Notes in Computer Science). 22. Fundamentals of Computation Theory: Proc./20th International Symposium, FCT 2015, Gdansk, Poland, August 2015/Ed. by A.Kosowski, I.Walukiewicz.-Berlin: Springer, 2015.-Vol. 9210.-395 p.-(Lecture Notes in Computer Science). 23. Formal Modeling and Analysis of Timed Systems: Proc./13th International Conference, FORMATS 2015, Madrid, Spain, September 2015/Ed. by S.Sankaranarayanan, E.Vicario.-Berlin: Springer, 2015. -Vol. 9268.-321 p.-(Lecture Notes in Computer Science). 24. Trust and Trustworthy Computing: Proc./8th International Conference, TRUST 2015, Heraklion, Greece, August 2015/Ed. by M.Conti, M.Schunter, I.Askoxylakis.-Berlin: Springer, 2015.-Vol. 9229.-328 p.-(Lecture Notes in Computer Science). 25. Quantitative Evaluation of Systems: Proc./12th International Conference, QEST 2015, Madrid, Spain, September 2015/Ed. by J.Campos, B.R.Haverkort.-Berlin: Springer, 2015.-Vol. 9259.-329 p. -(Lecture Notes in Computer Science). 26. Mathematical Foundations of Computer Science 2015, Part I: Proc./40th International Symposium, MFCS 2015, Milan, Italy, August 2015/Ed. by G.F.Italiano, G.Pighizzini, D.T.Sannella. -Berlin: Springer, 2015.-Vol. 9234.-459 p.-(Lecture Notes in Computer Science). 27. Mathematical Foundations of Computer Science 2015, Part II: Proc./40th International Symposium, MFCS 2015, Milan, Italy, August 2015/Ed. by G.F.Italiano, G.Pighizzini, D.T.Sannella. -Berlin: Springer, 2015.-Vol. 9235.-615 p.-(Lecture Notes in Computer Science). 28. Information Security: Proc./18th International Conference, ISC 2015, Trondheim, Norway, September 2015/Ed. by J.Lopez, C.J.Mitchell.-Berlin: Springer, 2015.-Vol. 9290.-570 p.-(Lecture Notes in Computer Science). 29. Advances in Information and Computer Security: Proc./10th International Wiorkshop, IWSEC 2015, Nara, Japan, August 2015/Ed. by K.Tanaka, Y.Suga.-Berlin: Springer, 2015.-Vol. 9241.-357 p. -(Lecture Notes in Computer Science). 30. Fast Software Encryption: Revised Selected Papers/22nd International Workshop, FSE 2015, Istanbul. Turkey, March 2015/ Ed. by G.Leander.-Berlin: Springer, 2015.-Vol. 9054.-600 p. -(Lecture Notes in Computer Science). 31. Cryptography and Information Srcurity in the Balkans: Revised Selected Papers/1st International Conference, BalkanCryptSec 2014, Istanbul, Turkey, October 2014/Ed. by B.Ors, B.Preneel.-Berlin: Springer, 2015.-Vol. 9024.-251 p. -(Lecture Notes in Computer Science). 32. Constructive Side-Channel Analysis and Secure Design: Revised Selected Papers/6th International Workshop, COSADE 2015, Berlin, Germany, April 2015/Ed. by S.Mangard, A.Y.Poschmann. -Berlin: Springer, 2015.-Vol. 9064.-271 p.-(Lecture Notes in Computer Science). 33. Rule Technologies: Foundations, Tools, and Applications: Proc./9th International Symposium, RuleML 2015, Berlin, Germany, August 2015/Ed. by N.Bassiliades, G.Gottlob, F.Sadri, A.Paschke. -Berlin: Springer, 2015.-Vol. 9202.-474 p.-(Lecture Notes in Computer Science). 34. Trust, Privacy and Security in Digital Business: Proc./12th International Conference, TrustBus 2015, Valencia, Spain, September 2015/Ed. by S.Fischer-Hubner, C.Lambrinoudakis, J.Lopez. -Berlin: Springer, 2015.-Vol. 9264.-235 p.-(Lecture Notes in Computer Science). 35. Algorithms in Bioinformatics: Proc./15th International Workshop, WABI 2015, Atlanta,GA,USA, September 2015/Ed. by M.Pop, H.Touzet.-Berlin: Springer, 2015.-Vol. 9289.-328 p. -(Lecture Notes in Bioinformatics). 36. Algorithms for Computational Biology: Proc./2nd International Conference, AICoB 2015, Mexico City, Mexico, August 2015/Ed. by A.-H.Dediu, F.Hernandez-Quiros, C.Martin-Vide, D.A.Rosenblueth.-Berlin: Springer, 2015.-Vol. 9199.-155 p. -(Lecture Notes in Bioinformatics). 37. Industrial Applications of Holonic and Multi-Agent Systems: Proc./7th International Conference, HoloMAS 2015, Valencia, Spain, September 2015/Ed. by V.Marik, A.Schirrmann, D.Trentesaux, P.Vrba.-Berlin: Springer, 2015.-Vol. 9266.-243 p. -(Lecture Notes in Artificial Intelligence). 38. Progress in Artificial Intelligence: Proc./17th Portuguese Conference on AI, EPIA 2015, Coimbra, Portugal, September 2015/ Ed. by F.Pereira, P.Machado, E.Costa, A.Cardoso.-Berlin: Springer, 2015.-Vol. 9273.-811 p.-(Lecture Notes in Artificial Intelligence). 39. Towards Autonomous Robotic Systems: Proc./16th Annual Conference, TAROS 2015, Liverpool, UK, September 2015/Ed. by C.Dixon, K.Tuyls.-Berlin: Springer, 2015.-Vol. 9287.-312 p. -(Lecture Notes in Artificial Intelligence). 40. Automated Deduction in Geometry: Revised Selected Papers/10th International Workshop, ADG 2014, Coimbra, Portugal, July 2014/Ed. by F.Botana, P.Quaresma.-Berlin: Springer, 2015. -Vol. 9201.-181 p.-(Lecture Notes in Artificial Intelligence). 41. Biomemetic and Biohybrid Systems: Proc./4th International Conference, Living Machines 2015, Barcelona, Spain, July 2015/Ed. by S.P.Wilson, P.F.M.J.Verschure, A.Mura, T.J.Prescott.-Berlin: Springer, 2015.-Vol. 9222.-474 p.-(Lecture Notes in Artificial Intelligence). 42. Engineering Psychology and Cognitive Ergonomics: Proc./12th International Conference, EPCE 2015 Held as Part of HCI International 2015, Los Angeles,CA,USA, August 2015/Ed. by D.Harris.-Berlin: Springer, 2015.-Vol. 9174.-524 p.-(Lecture Notes in Artificial Intelligence). 43. Electronic Government: Proc./14th IFIP WG 8,5 International Conference, EGOV 2015, Thessaloniki, Greece, August 2015/Ed. by E.Tambouris, M.Janssen, H.J.Scholl, M.A.Wimmer.-Berlin: Springer, 2015.-Vol. 9248.-349 p.-(Lecture Notes in Computer Science). 44. DNA Computing and Molecular Programming: Proc./21st International Conference, DNA 21, Boston and Cambridge,MA,USA, August 2015/Ed. by A.Phillips, P.Yin.-Berlin: Springer, 2015. -Vol. 9211.-213 p.-(Lecture Notes in Computer Science). 45. Swarm, Evolutionary, and Memetic Computing: Revised Selected Papers/5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 2014/Ed. by B.K.Panigrahi, P.N.Suganthan, S.Das. -Berlin: Springer, 2015.-Vol. 8947.-881 p.-(Lecture Notes in Computer Science). 46. Information Technology in Bio-and Medical Informatics: Proc./6th International Conference, ITBAM 2015, Valencis, Spain, September 2015/Ed. by M.E.Renda, M.Bursa, A.Holzinger, S.Khuri. -Berlin: Springer, 2015.-Vol. 9267.-115 p.-(Lecture Notes in Computer Science). 47. Big Data Analytics and Knowledge Discovery: Proc./17th International Conference, DaWaK 2015, Valencia, Spain, September 2015/Ed. by S.Madria, T.Hara.-Berlin: Springer, 2015.-Vol. 9263. -418 p.-(Lecture Notes in Computer Science). 48. Human-Computer Interaction - INTERACT 2015, Part I: Proc./15th IFIP TC 13 International Conference, Bamberg, Germany, September 2015/Ed. by J.Abascal, S.Barbosa, M.Fetter, T.Gross. -Berlin: Springer, 2015.-Vol. 9296.-584 p.-(Lecture Notes in Computer Science). 49. Human-Computer Interaction - INTERACT 2015, Part II: Proc./15th IFIP TC 13 International Conference, Bamberg, Germany, September 2015/Ed. by J.Abascal, S.Barbosa, M.Fetter, T.Gross. -Berlin: Springer, 2015.-Vol. 9297.-636 p.-(Lecture Notes in Computer Science). 50. Human-Computer Interaction - INTERACT 2015, Part III: Proc./15th FIP TC 13 International Conference, Bamberg, Germany, September 2015/Ed. by J.Abascal, S.Barbosa, M.Fetter, T.Gross. -Berlin: Springer, 2015.-Vol. 9298.-638 p.-(Lecture Notes in Computer Science). 51. Human-Computer Interaction - INTERACT 2015, Part IV: Proc./15th IFIP TC 13 International Conference, Bomberg, Germany, September 2015/Ed. by J.Abascal, S.Barbosa, M.Fetter, T.Gross. -Berlin: Springer, 2015.-Vol. 9299.-686 p.-(Lecture Notes in Computer Science). 52. Intelligent Computing: Theories and Methodologies, Part I: Proc./11th International Conference, ICIC 2015, Fuzhou, China, August 2015/Ed. by D.-S.Huang, V.Bevilacqua, P.Premaratne.-Berlin: Springer, 2015.-Vol. 9225.-755 p.-(Lecture Notes in Computer Science). 53. Intelligent Computing: Theories and Methodologies, Part II: Proc./11th International Conference, ICIC 2015, Fuzhou, China, August 2015/Ed. by D.-S.Huang, K.-H.Jo, A.Hussain.-Berlin: Springer, 2015.-Vol. 9226.-755 p.-(Lecture Notes in Computer Science). 54. Advanced Intelligent Computing Theories and Applications, Part III: Proc./11th International Conference, ICIC 2015, Fuzhou, China, August 2015/Ed. by D.-S.Huang, K.Han.-Berlin: Springer, 2015.-Vol. 9227.-797 p.-(Lecture Notes in Artificial Intelligence). 55. Intelligent Robotics and Applications, Part I: Proc./8th International Conference, ICIRA 2015, Portsmouth, UK, August 2015/ Ed. by H.Liu, N.Kubota, X.Zhu, R.Dillmann.-Berlin: Springer, 2015. -Vol. 9244.-686 p.-(Lecture Notes in Artificial Intelligence). 56. Intelligent Robotics and Applications, Part II: Proc/8th International Conference, ICIRA 2015, Portsmouth, UK, August 2015/ Ed. by H.Liu, N.Kubota, X.Zhu, R.Dillmann.-Berlin: Springer, 2015. -Vol. 9245.-716 p.-(Lecture Notes in Artificial Intelligence). 57. Intelligent Robotics and Applications, Part III: Proc./8th International Conference, ICIRA 2015, Portsmouth, UK, August 2015/ Ed. by H.Liu, N.Kuboto, X.Zhu, R.Dillmann.-Berlin: Springer, 2015. -Vol. 9246.-586 p.-(Lecture Notes in Artificial Intelligence). 58. Computational Science anr Its Applications - ICCSA 2015, Part V: Proc./15th International Conference, Banff,AB,Canada, June 2015/Ed. by O.Gervasi, B.Murgante, S.Misra, M.L.Gavrilova. -Berlin: Springer, 2015.-Vol. 9159.-273 p.-(Lecture Notes in Computer Science). 59. Database and Expert Systems Applications, Part I: Proc./26th Interntional Conference, DEXA 2015, Valencia, Spain, September 2015/Ed. by Q.Chen, A.Hameurlain, F.Toumani, R.Wagner.-Berlin: Springer, 2015.-Vol. 9261.-578 p.-(Lecture Notes in Computer Science). 60. Database and Expert Systems Applicationas, Part II: Proc./26th International Conference, DEXA 2015, Valencia, Spain, September 2015/Ed. by Q.Chen, A.Hameurlain, F.Toumani, R.Wagner. -Berlin: Springer, 2015.-Vol. 9262.-538 p.-(Lecture Notes in Computer Science). 61. Computer Analysis of Images and Patterns, Part I: Proc./16th International Conference, CAIP 2015, Valletta, Nalta, September 2015/Ed. by G.Azzopardi, N.Petkov.-Berlin: Springer, 2015.-Vol. 9256.-841 p.-(Lecture Notes in Computer Science). 62. Computer Analysis of Images and Patterns, Part II: Proc./16th International Conference, CAIP 2015, Valletta, Malta, September 2015/Ed. by G.Azzopardi, N.Petkov.-Berlin: Springer, 2015.-Vol. 9257.-799 p.-(Lecture Notes in Computer Science). 63. Image and Graphics, Part I: Proc./8th International Conference, ICIG 2015, Tianjin, China, August 2015/Ed. by Y.-J.Zhang.-Berlin: Springer, 2015.-Vol. 9217.-683 p.-(Lecture Notes in Computer Science). 64. Image and Graphics, Part II: Proc./8th International Conference, ICIG 2015, Tianjin, China, August 2015/Ed. by Y.-J.Zhang.-Berlin: Springer, 2015.-Vol. 9218.-653 p.-(Lecture Notes in Computer Science). 65. Image anf Graphics, Part III: Proc./8th International Conference, ICIG 2015, Tianjin, Chins, August 2015/Ed. by Y.-J.Zhang.-Berlin: Springer, 2015.-Vol. 9219.-615 p.-(Lecture Notes in Computer Science). 66. Computer Aided Verification, Part I: Proc./27th International Conference, CAV 2015, San Francisco,CA,USA, July 2015/Ed. by D.Kroening, C.S.Pasareanu.-Berlin: Springer, 2015. -Vol. 9206.-677 p.-(Lecture Notes in Computer Science). 67. Computer Aided Verification, Part II: Proc./27th International Conference, CAV 2015, San Francisco,CA,USA, July 2015/Ed. by D.Kroening, C.S.Pasareanu.-Berlin: Springer, 2015. -Vol. 9207.-469 p.-(Lecture Notes in Computer Science). 68. Digital Human Modeling, Part I: Proc./6th International Conference, DHM 201 Held as Part of HCI International 2015, Los Angeles,CA.USA, August 2015/Ed. by V.G.Duffy.-Berlin: Springer, 2015.-Vol. 9184.-447 p.-(Lecture Notes in Computer Science). 69. Digital Human Modeling, Part II: Proc./6th International Conference, DHM 2015 Held as Part of HCI International 2015, Los Angeles,CA,USA, August 2015/Ed. by V.G.Duffy.-Berlin: Springer, 2015.-Vol. 9185.-535 p.-(Lecture Notes in Computer Science). 70. Virtual, Augmented and Mixed Reality: Proc./7th International Conference, VAMR 2015, Held as Part of HCI International 2015, Los Angeles,CA,USA, August 2015/Ed. by R.Shumaker, S.Lackey.-Berlin: Springer, 2015.-Vol. 9179.-546 p. -(Lecture Notes in Computer Science). 71. Бродский Ю.И. Проблема описания и синтеза распределенных имитационных моделей сложных многокомпонентных систем: Автореф. дис... докт. ф.-м. наук: 05.13.17.-М., 2015.-41 с.-Библиогр.: c.38-41. 72. Intelligent Software Methodologies, Tools and Techniques: Proc./14th International Conference, SoMeT 2015, Naples, Italy, September 2015/Ed. by H.Fujita, G.Guizzi.-Berlin: Springer, 2015. -Vol. 532.-636 p.-(Communications in Computer and Information Science).