Hовые поступления с 10 сентября по 6 октября 2014 года
1. Computer Algebra in Scientific Compiting: Proc./16th International Workshop, CASC 2014, Warsaw, Poland, September 2014/ Ed. by V.P.Gerdt, W.Koepf, W.M.Seiler, E.V.Vorozhtsov.-Berlin: Springer, 2014.-Vol. 8660.-502 p.-(Lecture Notes in Computer Science). 2. Availability, Reliability, and Security in Information Systems: Proc./IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2014 and 4th Iternational Workshop, SeCIHD 2014, Fribourg, Switzerland, September 2014/Ed. by S.Teufel, T.A.Min, I.You, E.Weippl.-Berlin: Springer, 2014.-Vol. 8708.-311 p.-(Lecture Notes in Computer Science). 3. Cooperative Design, Visualization, and Engineering: Proc./11th International Conference, CDVE 2014, Seattle,WA,USA, September 2014/Ed. by Y.Luo.-Berlin: Springer, 2014.-Vol. 8683. -312 p.-(Lecture Notes in Computer Science). 4. Augmented Environments for Computer-Assisted Interventions: Proc./9th International Workshop, AE-CAI 2014 Held in Conjunction with MICCAI 2014, Boston,MA,USA, September 2014/Ed. by C.A.Linte, Z.Yaniv, P.Fallavollita, P.Abolmaesumi.-Berlin: Springer, 2014.-Vol. 8678.-149 p.-(Lecture Notes in Computer Science). 5. Formal Modeling and Analysis of Timed Systems: Proc./12th International Conference, FORMATS 2014, Florence, Italy, September 2014/Ed. by A.Legay, M.Bozga.-Berlin: Springer, 2014. -Vol. 8711.-253 p.-(Lecture Notes in Computer Science). 6. Structural, Syntactic, and Statistical Pattern Recognition: Proc./Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 2014/Ed. by P.Franti, G.Brown, M.Loog, F.Escolano. -Berlin: Springer, 2014.-Vol. 8621.-478 p.-(Lecture Notes in Computer Science). 7. Euro-Par 2014 Parallel Processing: Proc./20th International Conference, Porto, Portugal, August 2014/Ed. by F.Silva, I.Dutra, V.S.Costa.-Berlin: Springer, 2014.-Vol. 8632.-828 p. -(Lecture Notes in Computer Science). 8. Computational Modeling of Objects. Presents in Images. Fundamentals, Mathods, and Applications: Proc./4th International Conference, ComplMAGE 2014, Pittsburgh, PA, USA, September 2014/ Ed. by Y.J.Zhang, J.M.R.S.Tavares.-Berlin: Springer, 2014.-Vol. 8641.-414 p.-(Lecture Notes in Computer Science). 9. Developments in Language Theory: Proc./18th International Conference, DLT 2014, Ekaterinburg, Russia, August 2014/Ed. by A.M.Shur, M.V.Volkov.-Berlin: Springer, 2014.-Vol. 8633.-349 p. -(Lecture Notes in Computer Science). 10. Hybrid Learning: Theory and Practice: Proc./7th International Conference, ICHL 2014, Shanghai, China, August 2014/ Ed. by S.K.S.Cheung, J.Fong, J.Zhang, R.Kwan.-Berlin: Springer, 2014.-Vol. 8595.-345 p.-(Lecture Notes in Computer Science). 11. Data Management in Cloud, Grid and P2P Systems: Proc./7th International Conference, Globe 2014, Munich, Germany, September 2014/Ed. by A.Hameurlain, T.K.Dang, F.Morvan.-Berlin: Springer, 2014.-Vol. 8648.-85 p.-(Lecture Notes in Computer Science). 12. Trust, Privacy, and Security in Digital Business: Proc./11th International Conference, TrustBus 2014, Munich, Germany, September 2014/Ed. by C.Eckert, S.K.Katsikas, G.Pernul.-Berlin: Springer, 2014.-Vol. 8647.-191 p.-(Lecture Notes in Computer Science). 13. Active Media Technology: Proc./10th International Conference, AMT 2014, Warsaw, Poland, August 2014/Ed. by D.Slezak, G.Schaefer, S.T.Vuong, Y.-S.Kim.-Berlin: Springer, 2014. -Vol. 8610.-572 p.-(Lecture Notes in Computer Science). 14. Advances in Cryptology - CRYPTO 2014, Part I: Proc./34th Annual Cryptology Conference, Santa Barbara,CA,USA, August 2014/ Ed. by J.A.Garay, R.Gennaro.-Berlin: Springer, 2014.-Vol. 8616. -574 p.-(Lecture Notes in Computer Science). 15. Advances in Cryptology - CRYPTO 2014, Part II: Proc./34th Annual Cryptology Conference, Santa Barbara,CA,USA, August 2014/ Ed. by J.A.Garay, R.Gennaro.-Berlin: Springer, 2014.-Vol. 8617. -532 p.-(Lecture Notes in Computer Science). 16. Computers Helping People with Special Needs, Part I: Proc./14th International Conference, ICCHP 2014, Paris, France, July 2014/Ed. by K.Miesenberger, D.Fels, D.Archambault, P.Penaz. -Berlin: Springer, 2014.-Vol. 8547.-676 p.-(Lecture Notes in Computer Science). 17. Computers Helping People with Special Needs, Part II: Proc./14th International Conference, ICCHP 2014, Paris, France, July 2014/Ed. by K.Meisenberger, D.Fels, D.Archambault, P.Penaz. -Berlin: Springer, 2014.-Vol. 8548.-606 p.-(Lecture Notes in Computer Science). 18. Human Interface and the Management of Information. Information and Knowledge, Design and Evaluation, Part I: Proc./16th International Conference, HCI International 2014, Heraklion, Crete, Greece, June 2014/Ed. by S.Yamamoto.-Berlin: Springer, 2014.-Vol. 8521.-695 p.-(Lecture Notes in Computer Science). 19. Human Interface and the Management of Information, Information and Knowledge in Applications and Services, Part II: Proc./16th International Conference, HCI International 2014, Heraklion, Crete, Greece, June 2014/Ed. by S.Yamamoto.-Berlin: Springer, 2014.-Vol. 8522.-657 p.-(Lecture Notes in Computer Science). 20. CONCUR 2014 - Concurrency Theory: Proc./25th International Conference, CONCUR 2014, Rome, Italy, September 2014/Ed. by P.Baldan, D.Gorla.-Berlin: Springer, 2014.-Vol. 8704.-594 p. -(Lecture Notes in Computer Science). 21. Interactive Theorem Proving: Proc./5th Internatinal Conference, ITP 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014/Ed. by G.Klein, R.Gamboa. -Berlin: Springer, 2014.-Vol. 8558.-555 p.-(Lecture Notes in Computer Science). 22. Computing and Combinatorics: Proc./20th International Conference, COCOON 2014, Atlanta,GA,USA, August 2014/Ed. by Z.Cai, A.Zelikovsky, A.Bourgeois.-Berlin: Springer, 2014.-Vol. 8591.-688 p.-(Lecture Notes in Computer Science). 23. Algorithmic Aspects in Information and Management: Proc./10th International Conference, AAIM 2014, Vancouver,BC,Canada, July 2014/Ed. by Q.Gu, P.Hell, B.Yang. -Berlin: Springer, 2014.-Vol. 8546.-342 p.-(Lecture Notes in Computer Science). 24. ECOOP 2014 - Object-Oriented Programming: Proc./28th European Conference, Uppsala, Sweden, July 2014/Ed. by R.Jones. -Berlin: Springer, 2014.-Vol. 8586.-698 p.-(Lecture Notes in Computer Science). 25. From Animals to Animats 13: Proc./13th International Conference on Simulation of Adaptive Behavior, SAB 2014, Castellon, Spain, July 2014/Ed. by A.P.Del_Pobil, E.Chinellato, E.Martinez-Martin, J.Hallam.-Berlin: Springer, 2014.-Vol. 8575. -340 p.-(Lecture Notes in Artificial Intelligence). 26. Rough Sets and Intelligent Systems Paradigms: Proc./2nd International Conference, RSEISP 2014 Held as Part of JRS 2014, Granada and Madrid, Spain, July 2014/Ed. by D.Ciucci, Ch.Cornelis, M.Kryszkiewicz, J.Medina-Moreno.-Berlin: Springer, 2014.-Vol. 8537.-394 p.-(Lecture Notes in Artificial Intelligence). 27. Informatics in Schools: Teaching and Learning Perspectives: Proc./7th International Conference, ISSEP 2014, Istanbul, Turkey, September 2014/Ed. by Ya.Gulbahar, E.Karatas.-Berlin: Springer, 2014.-Vol. 8730.-173 p.-(Lecture Notes in Computer Science). 28. Algorithm Theory - SWAT 2014: Proc./14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2014/Ed. by R.Ravi, I.L.Gortz.-Berlin: Springer, 2014.-Vol. 8503.-394 p. -(Lecture Notes in Computer Science). 29. Theoretical Computer Science: Proc./8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 2014/ Ed. by J.Diaz, I.Lanese, D.Sangiorgi.-Berlin: Springer, 2014. -Vol. 8705.-355 p.-(Lecture Notes in Computer Science). 30. Analytical and Stochastic Modelling Techniques and Applications: Proc./21st International Conference, ASMTA 2014, Budapest, Hungary, June 2014/Ed. by B.Sericola, M.Telek, G.Harvath.-Berlin: Springer, 2014.-Vol. 8499.-273 p.-(Lecture Notes in Computer Science). 31. Combinatorial Optimization: Revised Selected Papers/3rd International Symposium, ISCO 2014, Lisbon, Portugal. March 2014/ Ed. by P.Fouilhoux, L.E.N.Gouveia, A.R.Mahjoub, V.T.Paschos. -Berlin: Springer, 2014.-Vol. 8596.-446 p.-(Lecture Notes in Computer Science). 32. Databases Theory and Applications: Proc./25th Australasian Database Conference, ADC 2014, Brisbane,QLD,Australia, July 2014/ Ed. by H.Wang, M.A.Sharaf.-Berlin: Springer, 2014.-Vol. 8506. -231 p.-(Lecture Notes in Computer Science). 33. Theory and Practice of Model Transformations: Proc./7th International Conference, ICMT 2014 Held as Part of STAF 2014, York, UK, July 2014/Ed. by D.Di_Ruscio, D.Varro.-Berlin: Springer, 2014.-Vol. 8568.-203 p.-(Lecture Notes in Computer Science). 34. Search-Based Software Engineering: Proc./6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 2014/Ed. by C.Le_Goues, S.Yoo.-Berlin: Springer, 2014.-Vol. 8636.-268 p. -(Lecture Notes in Computer Science). 35. Collaboration and Technology: Proc./20th International Conference, CRIWG 2014, Santiago, Chile, September 2014/Ed. by N.Baloian, F.Burstein, H.Ogata, F.Santoro.-Berlin: Springer, 2014. -Vol. 8658.-382 p.-(Lecture Notes in Computer Science). 36. Database Systems for Advanced Applications: Revised Selected Papers/19th International Conference, DASFAA 2014, International Workshops: BDMA, DaMEN, SIM3, UnCrowd, Bali, Indonesia, April 2014 /Ed. by W.-S.Han, M.L.Lee, A.Muliantara, N.A.Sanjaya.-Berlin: Springer, 2014.-Vol. 8505.-430 p.-(Lecture Notes in Computer Science). 37. Large-Scale Scientific Computing: Revised Selected Papers/9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 2013/Ed. by I.Lirkov, S.Margenov, J.Wasniewski. -Berlin: Springer, 2014.-Vol. 8353.-654 p.-(Lecture Notes in Computer Science). 38. Experimental Algorithms: Proc./13th International Symposium, SEA 2014, Copenhagen, Denmark, June, 2014/Ed. by J.Gudmundsson, J.Katajainen.-Berlin: Springer, 2014.-Vol. 8504.-450 p.-(Lecture Notes in Computer Science). 39. Approximation and Online Algorithms: Revised Selected Papers/11th International Workshop, WAOA 2013, Sophia Antipolis, France, September 2013/Ed. by Ch.Kaklamanis, K.Pruhs.-Berlin: Springer, 2014.-Vol. 8447.-169 p.-(Lecture Notes in Computer Science). 40. Job Scheduling Strategies for Parallel Processing: Revised Selected Papers/17th International Workshop, JSSPP 2013, Boston,MA,USA, May 2013/Ed. by N.Desai, W.Cirne.-Berlin: Springer, 2014.-Vol. 8429.-193 p.-(Lecture Notes in Computer Science). 41. Automated Reasoning: Proc./7th International Joint Conference, IJCAR 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014/Ed. by S.Demri, D.Kapur, Ch.Weidenbach.-Berlin: Springer, 2014.-Vol. 8562.-528 p. -(Lecture Notes in Artificial Intelligence). 42. Соченков И.В. Реляционно-ситуационные структуры данных, методы и алгоритмы решения поисково-аналитических задач: Автореф. дис... канд. ф.-м. наук: 05.13.17.-М., 2014.-26 с.-Библиогр.: c.24-26. 43. Полицын С.А. Математическая модель и система планирования проектов разработки программного обеспечения: Автореф. дис... канд. тех. наук: 05.13.18.-М., 2014.-20 с.-Библиогр.: c.19-20. 44. Толстихин И.О. Неравенства концентрации вероятностной меры в трансдуктивном обучении и РАС-Байесовском анализе: Автореф. дис... канд. ф.-м. наук: 05.13.17.-М., 2014.-20 с.-Библиогр.: c.19-20. 45. Rules on the Web: From Theory to Applications: Proc./8th International Symposium, RuleML 2014 Co-located with the 21st European Conference ECAI 2014, Prague, Czech Republic, August 2014 /Ed. by A.Bikakis, P.Fodor, D.Roman.-Berlin: Springer, 2014. -Vol. 8620.-339 p.-(Lecture Notes in Computer Science). 46. Human-Centered Software Engineering: Proc./5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, Septemver 2014/Ed. by S.Sauer, C.Bogdan, P.Forbrig, R.Bernhaupt. -Berlin: Springer, 2014.-Vol. 8742.-323 p.-(Lecture Notes in Computer Science). 47. Constructive Side-Channel Analysis and Secure Design: Revised Selected Papers/5th International Workshop, COSADE 2014, Paris, France, April 2014/Ed. by E.Prouff.-Berlin: Springer, 2014. -Vol. 8622.-313 p.-(Lecture Notes in Computer Science). 48. Communications and Multimedia Security: Proc./15th IFIP TC 6/TC 11 International Conference, CMS 2014, Aveiro, Portugal, September 2014/Ed. by B.De_Decker, A.Zuquete.-Berlin: Springer, 2014.-Vol. 8735.-157 p.-(Lecture Notes in Computer Science). 49. Research in Attacks, Intrusions, and Defenses: Proc./17th International Symposium, RAID 2014, Gothenburg, Sweden, September 2014/Ed. by A.Stavrou, H.Bos, G.Portokalidis.-Berlin: Springer, 2014.-Vol. 8688.-490 p.-(Lecture Notes in Computer Science). 50. Universal Access in Human-Computer Interaction: Design and Development Methods for Universal Access, Part I: Proc./8th International Conference, UAHCI 2014 Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 2014/Ed. by M.Antona.-Berlin: Springer, 2014.-Vol. 8513.-557 p.-(Lecture Notes in Computer Science). 51. Universal Access in Human-Computer Interaction: Universal Access to Information and Knowledge, Part II: Proc./8th International Conference, UAHCI 2014 Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 2014/Ed. by M.Antona.-Berlin: Springer, 2014.-Vol. 8514.-735 p.-(Lecture Notes in Computer Science). 52. Universal Access in Human-Computer Interaction: Aging and Assistive Environments, Part III: Proc./8th International Conference, UAHCI 2014 Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 2014/Ed. by M.Antona.-Berlin: Springer, 2014.-Vol. 8515.-823 p.-(Lecture Notes in Computer Science). 53. Universal Access in Human-Computer Interaction: Design for All and Accessibility Practice, Part IV: Proc./8th International Conference, UAHCI 2014 Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 2014/Ed. by M.Antona, C.Stephanidis.-Berlin: Springer, 2014.-Vol. 8516.-649 p.-(Lecture Notes in Computer Science). 54. Mathematical Foundations of Computer Science 2014, Part I: Proc./39th Internatioanl Symposium, MFCS 2014, Budapest, Hungary, August 2014/Ed. by E.Csuhaj-Varju, M.Dietzfelbinger, Z.Esik. -Berlin: Springer, 2014.-Vol. 8634.-561 p.-(Lecture Notes in Computer Science). 55. Mathematical Foundations of Computer Science 2014, Part II: Proc./39th International Symposium, MFCS 2014, Budapest, Hungary, August 2014/Ed. by E.Csuhaj-Varju, M.Dietzfelbinger, Z.Esik. -Berlin: Springer, 2014.-Vol. 8635.-640 p.-(Lecture Notes in Computer Science). 56. Implementation and Application of Automata: Proc./19th International Conference, CIAA 2014, Giessen, Germany, July 2014/ Ed. by M.Holzer, M.Kutrib.-Berlin: Springer, 2014.-Vol. 8587. -347 p.-(Lecture Notes in Computer Science). 57. Coalgebraic Methods in Computer Science: Revised Selected Papers/12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 2014/Ed. by M.M.Bonsangue.-Berlin: Springer, 2014.-Vol. 8446.-245 p.-(Lecture Notes in Computer Science). 58. Graph Transformation: Proc./7th International Conference, ICGT 2014 Held as Part of STAF 2014, York, UK, July 2014/Ed. by H.Giese, B.Konig.-Berlin: Springer, 2014.-Vol. 8571.-285 p. -(Lecture Notes in Computer Science). 59. Reversible Computation: Proc./6th International Conference, RC 2014, Kyoto, Japan, July 2014/Ed. by Sh.Yamashita, Sh.-I.Minato.-Berlin: Springer, 2014.-Vol. 8507.-231 p.-(Lecture Notes in Computer Science). 60. Formal Grammar: Proc./19th International Conference, FG 2014, Tubingen, Germany, August 2014/Ed. by G.Morrill, R.Muskens, R.Osswald, F.Richter.-Berlin: Springer, 2014.-Vol. 8612. -201 p.-(Lecture Notes in Computer Science). 61. Computer Aided Verification: Proc./26th International Conference, CAV 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Italy, July 2014/Ed. by A.Biere, R.Bloem. -Berlin: Springer, 2014.-Vol. 8559.-877 p.-(Lecture Notes in Computer Science). 62. Tests and Proofs: Proc./8th International Conference, TAP 2014 Held as Part of STAF 2014, York, UK, July 2014/Ed. by M.Seidl, N.Tillmann.-Berlin: Springer, 2014.-Vol. 8570.-214 p. -(Lecture Notes in Computer Science). 63. Algorithms - ESA 2014: Proc./22nd Annual European Symposiym, Wroclaw, Poland, September 2014/Ed. by A.S.Schulz, D.Wagner. -Berlin: Springer, 2014.-Vol. 8737.-860 p.-(Lecture Notes in Computer Science). 64. Cellular Automata: Proc./11th International Conference on CA for Research and Industry, ACRI 2014. Krakow, Poland, September 2014/Ed. by J.Was, G.Ch.Sirakoulis, S.Bandini.-Berlin: Springer, 2014.-Vol. 8751.-711 p.-(Lecture Notes in Computer Science). 65. Genetic Programming: Revised Selected Papers/17th European Conference, EuroGP 2014, Granada, Spain, April 2014/Ed. by M.Nicolau, K.Krawiec, M.I.Heywood, M.Castelli.-Berlin: Springer, 2014.-Vol. 8599.-247 p.-(Lecture Notes in Computer Science). 66. Evolutionary Computation in Combinatorial Optimization: Revised Selected Papers/14th European Conference, EvoCOP 2014, Granada, Spain, April 2014/Ed. by Ch.Blum, G.Ochoa.-Berlin: Springer, 2014.-Vol. 8600.-241 p.-(Lecture Notes in Computer Science). 67. Language, Life, Limits: Proc./10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 2014/ Ed. by A.Beckmann, E.Csuhaj-Varju, K.Meer.-Berlin: Springer, 2014. -Vol. 8493.-410 p.-(Lecture Notes in Computer Science). 68. Belief Functions: Theory and Aplications: Proc./3rd International Conference, BELIEF 2014, Oxford, UK, September 2014/ Ed. by F.Cuzzolin.-Berlin: Springer, 2014.-Vol. 8764.-444 p. -(Lecture Notes in Artificial Intelligence). 69. Probabilistic Graphical Models: Proc./7th European Workshop, PGM 2014, Utrecht, The Netherlands, September 2014/Ed. by L.C.Van_Der_Gaad, A.J.Feelders.-Berlin: Springer, 2014.-Vol. 8754. -598 p.-(Lecture Notes in Artificial Intelligence).