Hовые поступления с 5 декабря 2011 года по 10 января 2012 года
1. Software Engineering and Formal Methods: Proc./9th International Conference, SEFM 2011, Montevideo, Uruguay, November 2011/Ed. by G.Barthe, A.Pardo, G.Schneider.-Berlin: Springer, 2011.-Vol. 7041.-504 p.-(Lecture Notes in Computer Science). 2. Quantum Interaction: Revised Selected Papers/5th International Symposium, QI 2011, Aberdeen, UK, June 2011/Ed. by D.Song, M.Melucci, I.Frommholz, P.Zhang.-Berlin: Springer, 2011. -Vol. 7052.-229 p.-(Lecture Notes in Computer Science). 3. Formal Methods and Software Engineering: Proc./13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 2011/Ed. by S.Qin, Z.Qiu.-Berlin: Springer, 2011.-Vol. 6991.-670 p.-(Lecture Notes in Computer Science). 4. Testing Software and Systems: Proc./23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 2011 /Ed. by B.Wolff, F.Zaidi.-Berlin: Springer, 2011.-Vol. 7019.-226 p.-(Lecture Notes in Computer Science). 5. Formal Methods: Foundations and Applications: Revised Selected Papers/14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 2011/Ed. by A.Simao, C.Morgan.-Berlin: Springer, 2011.-Vol. 7021.-205 p.-(Lecture Notes in Computer Science). 6. Agent-Oriented Software Engineering XI: Revised Selected Papers/11th International Workshop, AOSE 2010, Toronto, Canada, May 2010/Ed. by D.Weyns, M.-P.Gleizes.-Berlin: Springer, 2011. -Vol. 6788.-249 p.-(Lecture Notes in Computer Science). 7. Advanced Parallel Processing Technologies: Proc./9th International Symposium, APPT 2011, Shanghai, China, September 2011/Ed. by O.Temam, P.-C.Yew, B.Zang.-Berlin: Springer, 2011. -Vol. 6965.-190 p.-(Lecture Notes in Computer Science). 8. Conceptual Modeling - ER 2011: Proc./30th International Conference, ER 2011, Brussels, Belgium, October/November 2011/Ed. by M.A.Jeusfeld, L.Delcambre, T.W.Ling.-Berlin: Springer, 2011. -Vol. 6998.-530 p.-(Lecture Notes in Computer Science). 9. Advances in Conceptual Modeling. Recent Developments and New Directories: Proc./ER 2011 Worksops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 2011/ Ed. by O.De_Troyer, C.B.Medeiros, R.Billen, P.Hallot.-Berlin: Springer, 2011.-Vol. 6999.-396 p.-(Lecture Notes in Computer Science). 10. String Processing and Information Retrieval: Proc./18th International Symposium, SPIRE 2011, Pisa, Italy, October 2011/ Ed. by R.Grossi, F.Sebastiani, F.Silvestri.-Berlin: Springer, 2011.-Vol. 7024.-428 p.-(Lecture Notes in Computer Science). 11. Stabilization, Safety, and Security of Distributed Systems: Proc./13th International Symposium, SSS 2011, Grenoble, France, October 2011/Ed. by X.Defago, F.Petit, V.Villain.-Berlin: Springer, 2011.-Vol. 6976.-452 p.-(Lecture Notes in Computer Science). 12. Algorithmic Game Theory: Proc./4th International Symposium, SAGT 2011, Amalfi, Italy, October 2011/Ed. by G.Persiano.-Berlin: Springer, 2011.-Vol. 6982.-327 p.-(Lecture Notes in Computer Science). 13. Algorithms and Architectures for Parallel Processing, Part I: Proc./11th International Conference, ICA3PP 2011, Melbourne, Australia, October 2011/Ed. by Y.Xiang, A.Cuzzocrea, M.Hobbs, W.Zhou.-Berlin: Springer, 2011.-Vol. 7016.-497 p.-(Lecture Notes in Computer Science). 14. Algorithms and Architectures for Parallel Processing, Part II: Proc./ 11th International Conference, ICA3PP 2011, Melbourne, Australia, October 2011/Ed. by X.Xiang, A.Cuzzocrea, M.Hobbs, W.Zhou.-Berlin: Springer, 2011.-Vol. 7017.-411 p.-(Lecture Notes in Computer Science). 15. Computer Performance Engineering: Proc./8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 2011/Ed. by N.Thomas.-Berlin: Springer, 2011.-Vol. 6977. -341 p.-(Lecture Notes in Computer Science). 16. Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday/Ed. by G.Agha, O.Danvy, J.Meseguer.-Berlin: Springer, 2011.-Vol. 7000.-447 p.-(Lecture Notes in Computer Science). 17. Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday/Ed. by C.B.Jones, J.L.Lloyd.-Berlin: Springer, 2011.-Vol. 6875.-523 p.-(Lecture Notes in Computer Science). 18. Algebraic Foundations in Computer Science: Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement/Ed. by W.Kuich, G.Rahonis.-Berlin: Springer, 2011.-Vol. 7020.-363 p. -(Lecture Notes in Computer Science). 19. Principles of Distributed Systems: 15th International Conference, OPODIS 2011, Toulouse, France, December 2011/Ed. by A.F.Anta, G.Lipari, M.Roy.-Berlin: Springer, 2011.-Vol. 7109.-564 p.-(Lecture Notes in Computer Science). 20. Information Retrieval Technology: Proc./7th Asia Information Retrieval Societies Conference, AIRS 2011, Dubai, United Arab Emirates, December 2011/Ed. by M.Vall, M.Salem, K.Shaalan, F.Oroumchian.-Berlin: Springer, 2011.-Vol. 7097.-626 p.-(Lecture Notes in Computer Science). 21. Middleware 2011: Proc./ ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 2011/Ed. by F.Kon, A.-M.Kermarrec.-Berlin: Springer, 2011.-Vol. 7049.-500 p. -(Lecture Notes in Computer Science). 22. Computer Architecture: Revised Selected Papers/ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 2010/Ed. by A.L.Varbanescu, A.Malnos, R.Van_Nieuwpoort.-Berlin: Springer, 2011.-Vol. 6161.-378 p. -(Lecture Notes in Computer Science). 23. Service-Oriented Computing: Proc./9th International Conference, ICSOC 2011, Paphos, Cyprus, December 2011/Ed. by G.Kappel, Z.Maamar, H.R.Motahari-Nezhad.-Berlin: Springer, 2011. -Vol. 7084.-682 p.-(Lecture Notes in Computer Science). 24. Future Generation Information Technology: Proc./3rd International Conference, FGIT 2011 in Conjuction with GDC 2011, Jeju Island, Korea, December 2011/Ed. by T.Kim, H.Adeli, D.Slezak, F.E.Sandnes.-Berlin: Springer, 2011.-Vol. 7105.-424 p. -(Lecture Notes in Computer Science). 25. Distributed Computing: Proc./25th International Symposium, DISC 2011, Rome, Italy, September 2011/Ed. by D.Peleg.-Berlin: Springer, 2011.-Vol. 6950.-506 p.-(Lecture Notes in Computer Science). 26. Static Analysis: Proc./18th International Symposium, SAS 2011, Venice, Italy, September 2011/Ed. by E.Yahav.-Berlin: Springer, 2011.-Vol. 6887.-387 p.-(Lecture Notes in Computer Science). 27. Implementation and Application of Functional Languages: Revised Selected Papers/22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 2010/Ed. by J.Hage, M.T.Morazan.-Berlin: Springer, 2011.-Vol. 6647.-217 p. -(Lecture Notes in Computer Science). 28. Computer Algebra in Scientific Computing: Proc./13th International Workshop, CASC 2011, Kassel, Germany, September 2011 /Ed. by V.P.Gerdt, W.Koepf, E.W.Mayr, E.V.Vorozhtsov.-Berlin: Springer, 2011.-Vol. 6885.-359 p.-(Lecture Notes in Computer Science). 29. CONCUR 2011 - Concurrency Theory: Proc./22nd International Conference, CONCUR 2011, Aachen,Germany, September 2011/Ed. by J.-P.Katoen, B.Konig.-Berlin: Springer, 2011.-Vol. 6901.-560 p. -(Lecture Notes in Computer Science). 30. Comparative Evaluation of Focused Retrieval: Revised Selected Papers/9th International Workshop, INEX 2010, Vught, The Netherlands, December 2011/Ed. by S.Geva, J.Kamps, R.Schenkel, A.Trotman.-Berlin: Springer, 2011.-Vol. 6932.-98 p.-(Lecture Notes in Computer Science). 31. Implementation and Application of Functional Languages: Revised Selected Papers/20th International Symposium, IFL 2008, Hatfield, UK, September 2008/Ed. by S.-B.Scholz, O.Chitil.-Berlin: Springer, 2011.-Vol. 5836.-291 p.-(Lecture Notes in Computer Science). 32. Automated Technology for Verification and Analysis: Proc./9th International Symposium, ATVA 2011, Taipei, Taiwan, October 2011/Ed. by T.Bultan, P.-A.Hsiung.-Berlin: Springer, 2011. -Vol. 6996.-532 p.-(Lecture Notes in Computer Science). 33. Databases in Networked Information Systems: Proc./7th International Workshop, DNIS 2011, Aizu-Wakamatsu, Japan, December 2011/Ed. by S.Kikuchi, A.Madaan, S.Sachdeva, S.Bhalla. -Berlin: Springer, 2011.-Vol. 7108.-325 p.-(Lecture Notes in Computer Science). 34. Advances in Databases: Revised Selected Papers/28th British National Conference on Databases, BNCOD 28, Manchester, UK, July 2011/Ed. by A.A.A.Fernandes, A.J.G.Gray, K.Belhajjame.-Berlin: Springer, 2011.-Vol. 7051.-238 p.-(Lecture Notes in Computer Science). 35. Advances in Intelligent Data Analysis X: Proc./10th International Symposium, IDA 2011, Porto, Portugal, October 2011/ Ed. by J.Gama, E.Bradley, J.Hollmen.-Berlin: Springer, 2011. -Vol. 7014.-425 p.-(Lecture Notes in Computer Science). 36. Graph-Theoretic Concepts in Computer Science: Revised Papers/37th International Workshop, WG 2011, Tepla Monastery, Czech Republic, June 2011/Ed. by P.Kolman, J.Kratochvil.-Berlin: Springer, 2011.-Vol. 6986.-344 p.-(Lecture Notes in Computer Science). 37. Information Computing and Applications: Proc./2nd International Conference, ICICA 2011, Qinhuangdao, China, October 2011/Ed. by B.Liu, Ch.Chai.-Berlin: Springer, 2011.-Vol. 7030. -775 p.-(Lecture Notes in Computer Science). 38. Algorithms and Computation: Proc./22nd International Symposium, ISAAC 2011, Yakohama, Japan, December 2011/Ed. by T.Asano, S.Nakano, Y.Okamoto, O.Watanabe.-Berlin: Springer, 2011. -Vol. 7074.-775 p.-(Lecture Notes in Computer Science). 39. Programming Languages and Systems: Proc./9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 2011/Ed. by H.Yang.-Berlin: Springer, 2011.-Vol. 7078.-372 p.-(Lecture Notes in Computer Science). 40. Certified Programs and Proofs: Proc./1st International Conference, CPP 2011, Kenting, Taiwan, December 2011/Ed. by J.-P.Jouannaud, Z.Shao.-Berlin: Springer, 2011.-Vol. 7086.-401 p. -(Lecture Notes in Computer Science). 41. SDL 2011 - Integrating System and Software Modeling: Revised Papers/15th International SDL Forum, Toulouse, France, July 2011/ Ed. by Iu.Ober, Il.Ober.-Berlin: Springer, 2011.-Vol. 7083.-277 p.-(Lecture Notes in Computer Science). 42. Trusted Systems: Revised Selected Papers/2nd International Conference, INTRUST 2010, Beijing, China, December 2010/Ed. by L.Chen, M.Yung.-Berlin: Springer, 2011.-Vol. 6802.-362 p. -(Lecture Notes in Computer Science). 43. Transactions on High-Performance Embedded Architectures and Compilers IV/Ed. by P.Stenstrom.-Berlin: Springer, 2011.-Vol. 6760.-430 p.-(Lecture Notes in Computer Science). 44. Казаков В.В. Разработка технологии поддержки мультимедийных ресурсов обучения: Автореф. дис... канд. тех. наук: 05.25.05. -Новосибирск, 2011.-18 с.-Библиогр.: c.17-18. 45. Чернышев С.В. Модели, методы и алгоритмы эффективного решения задачи маршрутизации транспорта на грфах больших размерностей: Автореф. дис... канд. ф.-м. наук: 05.13.18.-М., 2011. -22 с.-Библиогр.: c.21-22. 46. Ботов П.В. Оценки вероятности переобучения многомерных семейств алгоритмов классификации: Автореф. дис... канд. ф.-м. наук: 05.13.17.-М., 2011.-20 с.-Библиогр.: c.20. 47. Кочедыков Д.А. Оценки обобщающей способности на основе характеристик расслоения и связности семейств функций: Автореф. дис... канд. ф.-м. наук: 05.13.17.-М., 2011.-22 с.-Библиогр.: c.21-22. 48. Торшин И.Ю. Модели и алгоритмы обнаружения локальных закономерностей в задаче распознавания вторичной структуры белка: Автореф. дис... канд. ф.-м. наук: 05.13.17.-М., 2011.-21 с. -Библиогр.: c.21. 49. Лексин В.А. Вероятностные модели в анализе клиентских сред: Автореф. дис... канд. ф.-м. наук: 01.01.09.-М., 2011.-18 с. -Библиогр.: c.16-18. 50. Халявин А.В. О построении и оценках характеристик корреляционно-имунных булевых функций и сложных комбинаторных объектов: Автореф. дис... канд. ф.-м. наук: 05.13.19.-М., 2011. -17 с.-Библиогр.: c.16-17. 51. Друца А.В. О решении некоторых задач динамики океана: Автореф. дис... канд. ф.-м. наук: 01.01.07.-М., 2011.-20 с. -Библиогр.: c.20. 52. Родионова З.В. Моделирование и разработка информационной системы формализации и актуализации прав доступа: Автореф. дис... канд. тех. наук: 05.25.05.-Новосибирск, 2011.-21 с.-Библиогр.: c.20-21. 53. Мехедов И.С. Многолистная фигура и ее медиальные дескрипторы: Автореф. дис... канд. ф.-м. наук: 05.13.17.-М., 2011. -22 с.-Библиогр.: c.22. 54. Кудинов П.Ю. Адаптивные методы извлечения информации из статистических таблиц, представленных в текстовом виде: Автореф. дис... канд. тех. наук: 05.13.17.-М., 2011.-22 с.-Библиогр.: c.21-22. 55. Tarasyuk I.V. Equivalences for modular performance analysis in dtsPBC.-Oldenburg, 2011.-42 p.-(Rep./Univ. Oldenburg; N 04/11). 56. Dertouzos M.L., Iannucci R.A. A Multiprocessor Emulation Facility, 1983.-22 p.-(Rep./MIT; N MIT/LCS/TR-302). 57. Pingali K. Efficient Demand-driven Evaluation, 1983.-53 p. -(Rep./MIT; N MIT/LCS/TM-243). 58. Transactions on Large-Scale Data-and Knowledge-Centered Systems IV. Special Issue on Database Systems for Biomedical Applications/Ed. by A.Hameurlain, J.Kung, R.Wagner.-Berlin: Springer, 2011.-Vol. 6990.-209 p.-(Lecture Notes in Computer Science). 59. Rule-Based Modeling and Computing on the Semantic Web: Proc./5th International Symposium, RuleML 2011-America, Ft.Lauderdale,FL,USA, Novembrt 2011/Ed. by F.Olken, M.Palmirani, D.Sottara.-Berlin: Springer, 2011.-Vol. 7018.-313 p.-(Lecture Notes in Computer Science). 60. Pattern Recognition in Bioinformatics: Proc./6th IAPR International Conference, PRIB 2011, Delft, The Netherlands, November 2011/Ed. by M.Loog, L.Wessel, M.J.T.Reinders, D.De_Ridder.-Berlin: Springer, 2011.-Vol. 7036.-342 p.-(Lecture Notes in Bioinformatics). 61. Advances in Artificial Intelligence, Part I: Proc./10th Mexican International Conference, MICAI 2011, Puebla, Mexico, November 2011/Ed. by I.Batyrshin, G.Sidorov.-Berlin: Springer, 2011.-Vol. 7094.-598 p.-(Lecture Notes in Artificial Intelligence). 62. Advances in Soft Computing, Part II: Proc./10th Mexican International Conference, MICAI 2011, Puebla, Mexico, November 2011/Ed. by I.Batyrshin, G.Sidorov.-Berlin: Springer, 2011.-Vol. 7095.-540 p.-(Lecture Notes in Artificial Intelligence). 63. Knowledge, Information, and Creativity Support Systems: Revised Selected Papers/5th International Conference, KICSS 2010, Chiang Mai, Thailand, November 2010/Ed. by T.Theeramunkong, S.Kunifuji, V.Sornlertlamvanich, C.Nattee.-Berlin: Springer, 2011. -Vol. 6746.-263 p.-(Lecture Notes in Artificial Intelligence). 64. Advances in Artificial Intelligence: Proc./14th Conference of the Spanish Assocoation for AI, CAEPIA 2011, La Laguna, Spain, November 2011/Ed. by J.A.Lozano, J.A.Gamez, J.A.Moreno.-Berlin: Springer, 2011.-Vol. 7023.-506 p.-(Lecture Notes in Artificial Intelligence). 65. Flexible Query Answering Systems: Proc./9th International Conference, FQAS 2011, Ghent, Belgium, October 2011/Ed. by H.Christiansen, G.De_Tre, A.Yazici, S.Zadrozny.-Berlin: Springer, 2011.-Vol. 7022.-510 p.-(Lecture Notes in Artificial Intelligence). 66. Advances in Nonlinear Speech Processing: Proc./5th International Conference, NOLISP 2011, Las Palamos de Gran Canaria, Spain, November 2011/Ed. by C.M.Travieso-Gonzalez, J.B.Alonso-Hernandez.-Berlin: Springer, 2011.-Vol. 7015.-280 p. -(Lecture Notes in Artificial Intelligence). 67. Agents in Principle, Agents in Practice: Proc./14th International Conference, PRIMA 2011, Wollongong, Australia, November 2011/Ed. by D.Kinny, J.Y.Hsu, G.Governatori, A.Ghose. -Berlin: Springer, 2011.-Vol. 7047.-534 p.-(Lecture Notes in Artificial Intelligence). 68. Computational Collective Intelligence. Technologies and Applications, Part I: Proc./3nd International Conference, ICCCI 2011, Gdynia, Poland, September 2011/Ed. by P.Jedrzejowicz, N.T.Nguyen, K.Hoang.-Berlin: Springer, 2011.-Vol. 6922.-635 p. -(Lecture Notes in Artificial Intelligence). 69. Computational Collective Intelligence. Technologies and Applications, Part II: Proc./3rd International Conference, ICCCI 2011, Gdynia, Poland, September 2011/Ed. by P.Jedrzejowicz, N.T.Nguyen, K.Hoang.-Berlin: Springer, 2011.-Vol. 6923.-517 p. -(Lecture Notes in Artificial Intelligence). 70. Integrated Uncertainty in Knowledge Modelling and Decision Making: Proc./International Symposium, IUKM 2011, Hangzhou, China, October 2011/Ed. by Y.Tang, V.-N.Huyng, J.Lawry.-Berlin: Springer, 2011.-Vol. 7027.-272 p.-(Lecture Notes in Artificial Intelligence).