Hовые поступления с 31 января по 14 марта 2011 года
1. Пирогов М.В. Разработка метода интеллектуализации сложных систем на основе среды радикалов: Автореф. дис... канд. ф.-м. наук: 05.13.17.-М., 2011.-29 с.-Библиогр.: c.27-29. 2. Гриневич П.П. Итерационные методы решения задачи Стокса с переменной вязкостью: Автореф. дис... канд. ф.-м. наук: 01.01.07.-М., 2011.-20 с.-Библиогр.: c.18-20. 3. Computational Logic in Multi-Agent Systems: Revised Selected and Invited Papers/10th International Workshop, CLIMA X, Hamburg, Germany, September 2009/Ed. by J.Dix, M.Fisher, P.Novak.-Berlin: Springer, 2010.-Vol. 6214.-197 p. -(Lecture Notes in Artificial Intelligence). 4. Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday/Ed. by S.Siegler, N.Wasser.-Berlin: Springer, 2010.-Vol. 6463.-145 p.-(Lecture Notes in Artificial Intelligence). 5. Advances in Artificial Intelligence - IBERAMIA 2010: Proc./12th Ibero-American Conference on AI, Bahia Blanca, Argentina, November 2010/Ed. by A.Kuri-Morales, G.S.Simari. -Berlin: Springer, 2010.-Vol. 6433.-604 p.-(Lecture Notes in Artificial Intelligence). 6. Architecting Dependable Systems VII/Ed. by A.Casimiro, R.De_Lemos, C.Gacek.-Berlin: Springer, 2010.-Vol. 6420.-324 p.-(Lecture Notes in Computer Science). 7. Information Retrieval Technology: Proc./6th Asia Information Retrieval Societies Conference, AIRS 2010, Taipei, Taiwan, December 2010/Ed. by P.-J.Cheng, M.-Y.Kan, W.Lam, P.Nakov.-Berlin: Springer, 2010.-Vol. 6458.-627 p. -(Lecture Notes in Computer Science). 8. Swarm, Evolutionary, and Memetic Computing: Proc./First International Conference, SEMCCO 2010, Chennai, India, December 2010/Ed. by B.K.Panigrahi, S.Das, P.N.Sugantham, S.S.Dash.-Berlin: Springer, 2010.-Vol. 6466.-755 p.-(Lecture Notes in Computer Science). 9. Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday/Ed. by G.Engels, C.Lewerentz, W.Schafer, A.Schurr. -Berlin: Springer, 2010.-Vol. 5765.-768 p.-(Lecture Notes in Computer Science). 10. Graph-Theoretic Concepts in Computer Science: Revised Papers/36th International Workshop, WG 2010, Xaros, Crete, Greece, June 2010/Ed. by D.M.Thilikos.-Berlin: Springer, 2010.-Vol. 6410.-338 p.-(Lecture Notes in Computer Science). 11. Ambient Intelligence: Proc./First International Joint Conference, Aml 2010, Malaga, Spain, November 2010/Ed. by B.De_Ruytor, R.Wichert, D.V.Keyson, P.Markopoulos.-Berlin: Springer, 2010.-Vol. 6439.-354 p.-(Lecture Notes in Computer Science). 12. Service-Oriented Computing: Proc./8th International Conference, ICSOC 2010, San Francisco,CA,USA, December 2010/ Ed. by P.P.Maglio, M.Weske, J.Yang, M.Fantinato.-Berlin: Springer, 2010.-Vol. 6470.-737 p.-(Lecture Notes in Computer Science). 13. Algorithms for Sensor Systems: Revised Selected Papers/6th International Workshop, ALGOSENSORS 2010, Bordeaux, France, July 2010/Ed. by Ch.Scheideler.-Berlin: Springer, 2010.-Vol. 6451.-190 p.-(Lecture Notes in Computer Science). 14. Formal Methods and Software Engineering: Proc./12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 2010/Ed. by J.S.Dong, H.Zhu.-Berlin: Springer, 2010.-Vol. 6447.-712 p.-(Lecture Notes in Computer Science). 15. Parameterized and Exact Computation: Proc./5th International Symposium, IPEC 2010, Chennai, India, December 2010/Ed. by V.Raman, S.Saurabh.-Berlin: Springer, 2010. -Vol. 6478.-239 p.-(Lecture Notes in Computer Science). 16. Беззатеев С.В. Кодовые конструкции на основе классических кодов Гоппы для обработки и передачи информации: Автореф. дис... докт. тех. наук: 05.13.01. -Санкт-Петербург, 2010.-34 с.-Библиогр.: c.28-34. 17. Sanakrit Computational Linguistics: Proc./4th International Symposium, New Delhi, India, December 2010/Ed. by G.N.Jha.-Berlin: Springer, 2010.-Vol. 6465.-259 p. -(Lecture Notes in Artificial Intelligence). 18. Logic and Its Applications: Proc./4th Indian Conference, ICLA 2011, Delhi, India, January 2011/Ed. by M.Banerjee, A.Seth.-Berlin: Springer, 2010.-Vol. 6521.-219 p. -(Lecture Notes in Artificial Intelligence). 19. Learning Classifier Systems: Revised Selected Papers/11th International Workshop, IWLCS 2008, USA, July 2008, and 12th International Workshop, IWLCS 2009, Canada, July 2009/Ed. by J.Bacardit, W.Browne, J.Drugowitsch, E.Bernado-Mansilla.-Berlin: Springer, 2010.-Vol. 6471.-199 p. -(Lecture Notes in Artificial Intelligence). 20. Ubiquitous Knowledge Discovery: Challenges, Techniques, Applications/Ed. by M.May, L.Saitta.-Berlin: Springer, 2010. -Vol. 6202.-255 p.-(Lecture Notes in Artificial Intelligence). 21. AI Approaches to the Complexity of Legal Systems: Revised Selected Papers/ International Workshops ALCOL-I/IVR-XXIV, China, September 2009 and ALCOL-II/JURIX 2009, The Netherlands, December 2009/Ed. by P.Casanovas, U.Pagallo, G.Sartor, G.Ajani.-Berlin: Springer, 2010.-Vol. 6237.-243 p.-(Lecture Notes in Artificial Intelligence). 22. Distributed Computing and Networking: Proc./12th International Conference, ICDCN 2011, Bangalore, India, January 2011/Ed. by M.K.Aguilera, H.Yu, N.H.Vaidya, V.Srinivasan.-Berlin: Springer, 2011.-Vol. 6522.-420 p. -(Lecture Notes in Computer Science). 23. Generative and Transformational Techniques in Software Engineering III: Revised Papers/ International Summer School, GTTSE 2009, Braga, Portugal, July 2009/Ed. by J.M.Fernandes, R.Lammel, J.Visser, J.Saraiva.-Berlin: Springer, 2011.-Vol. 6491.-499 p.-(Lecture Notes in Computer Science). 24. Transactions on Petri Nets and Other Models of Concurrency IV/Ed. by K.Jensen, S.Donatelli, M.Koutny. -Berlin: Springer, 2010.-Vol. 6550.-225 p.-(Lecture Notes in Computer Science). 25. Programming Languages and Systems: Proc./8th Asian Symposium, APLAS 2010, Shanghai, China, November/December 2010/Ed. by K.Ueda.-Berlin: Springer, 2010.-Vol. 6461.-440 p.-(Lecture Notes in Computer Science). 26. Principles of Distributed Systems: Proc./14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 2010/Ed. by Ch.Lu, T.Masuzawa, M.Mosbah.-Berlin: Springer, 2010.-Vol. 6490.-517 p.-(Lecture Notes in Computer Science). 27. Future Generation Information Technology: Proc./ Second International Conference, FGIT 2010< Jeju Island, Korea, December 2010/Ed. by T.-H.Kim, Y.-H.Lee, B.-H.Kang, D.Slezak. -Berlin: Springer, 2010.-Vol. 6485.-756 p.-(Lecture Notes in Computer Science). 28. Digital Heritage: Proc./ Third International Conference, EuroMed 2010, Lemessos, Cyprus, November 2010/ Ed. by M.Ioannides, D.Fellner, A.Georgopoulos, D.G.Hadjimitsis.-Berlin: Springer, 2010.-Vol. 6436.-550 p. -(Lecture Notes in Computer Science). 29. Advanced Concepts for Intelligent Vision Systems, Part I: Proc./12th International Conference, ACIVS 2010, Sydney, Australia, December 2010/Ed. by J.Blanc-Talon, D.Bone, W.Philips, D.Popescu.-Berlin: Springer, 2010.-Vol. 6474.-491 p.-(Lecture Notes in Computer Science). 30. Advanced Concepts for Intelligent Vision Systems, Part II: Proc./12th Internatinal Conference, ACIVS 2010, Sydney, Australia, December 2010/Ed. by J.Blanc-Talon, D.Bone, W.Philips, D.Popescu.-Berlin: Springer, 2010.-Vol. 6475.-379 p.-(Lecture Notes in Computer Science). 31. Algorithms and Computation, Part I: Proc./21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 2010/Ed. by O.Cheong, K.-Y.Chwa, K.Park.-Berlin: Springer, 2010.-Vol. 6506.-465 p.-(Lecture Notes in Computer Science). 32. Algorithms and Computation, Part II: Proc./21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 2010/Ed. by O.Cheong, K.-Y.Chwa, K.Park.-Berlin: Springer, 2010.-Vol. 6507.-473 p.-(Lecture Notes in Computer Science). 33. Combinatorial Optimization and Applications, Part I: Proc./4th International Conference, COCOA 2010, Kailua-Kona,HI,USA, December 2010/Ed. by W.Wu, O.Daescu. -Berlin: Springer, 2010.-Vol. 6508.-424 p.-(Lecture Notes in Computer Science). 34. Combinatorial Optimization and Applications, Part II: Proc./4th International Conference, COCOA 2010, Kailua-Kona,HI,USA, December 2010/Ed. by W.Wu, O.Daescu. -Berlin: Springer, 2010.-Vol. 6509.-416 p.-(Lecture Notes in Computer Science). 35. Advances in Multimedia Modeling, Part I: Proc./17th International Multimedia Modeling Conference, MMM 2011, Taipei, Taiwan, January 2011/Ed. by K.-T.Lee, W.-H.Tsai, H.-Y.M.Liao, T.Chen.-Berlin: Springer, 2011.-Vol. 6523.-562 p.-(Lecture Notes in Computer Science). 36. Advances in Multimedia Modeling, Part II: Proc./17th International Multimedia Modeling Conference, MMM 2011, Taipei, Taiwan, January 2011/Ed. by K.-T.Lee, W.-H.Tsai, H.-Y.M.Liao, T.Chen.-Berlin: Springer, 2011.-Vol. 6524.-492 p.-(Lecture Notes in Computer Science). 37. Advances in Web-Based Learning - ICWL 2010: Proc./9th International Conference, Shanghai, China, December 2010/Ed. by X.Luo, M.Spaniol, L.Wang, Q.Li.-Berlin: Springer, 2010. -Vol. 6483.-412 p.-(Lecture Notes in Computer Science). 38. Advances in Visual Computing, Part I: Proc./6th International Symposium, ISVC 2010, Las Vegas,NV,USA, November/December 2010/Ed. by G.Bebis.-Berlin: Springer, 2010.-Vol. 6453.-766 p.-(Lecture Notes in Computer Science). 39. Advances in Visual Computing, Part II: Proc./6th International Symposium, ISVC 2010, Las Vegas,NV,USA, November/December 2010/Ed. by G.Bebis.-Berlin: Springer, 2010.-Vol. 6454.-762 p.-(Lecture Notes in Computer Science). 40. Advances in Visual Computing, Part III: Proc./6th International Symposium, ISVC 2010, Las Vegas,NV,USA, November/December 2010/Ed. by G.Bebis.-Berlin: Springer, 2010.-Vol. 6455.-650 p.-(Lecture Notes in Computer Science). 41. Approximation and Online Algorithms: Revised Papers/8th International Workshop, WAOA 2010, Liverpool, UK, September 2010/Ed. by K.Jansen, R.Solis-Oba.-Berlin: Springer, 2011. -Vol. 6534.-273 p.-(Lecture Notes in Computer Science). 42. Central European Functional Programming School: Revised Selected Lectures/ Third Summer School, CEFP 2009, Budapest, Hungary and Komarno, Slovakia, May 2009/Ed. by Z.Horvath, R.Plasmeijer, V.Zsok.-Berlin: Springer, 2010.-Vol. 6299.-391 p.-(Lecture Notes in Computer Science). 43. Transactions on Computational Science XI: Special Issue on Security in Computing, Part II/Ed. by E.D.Moreno, M.L.Gavrilova, C.J.K.Tan.-Berlin: Springer, 2010.-Vol. 6480. -294 p.-(Lecture Notes in Computer Science). 44. Transactions on Computational Science X: Special Issue on Security in Computing, Part I/Ed. by E.D.Moreno, M.L.Gavrilova, C.J.K.Tan.-Berlin: Springer, 2010.-Vol. 6340. -366 p.-(Lecture Notes in Computer Science). 45. Formal Methods for Components and Objects: Revised Selected Papers/8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 2009/Ed. by F.S.De_Boer, M.M.Bonsangue, S.Hallerstede, M.Leuschel.-Berlin: Springer, 2010.-Vol. 6286.-339 p.-(Lecture Notes in Computer Science). 46. SOFSEM 2011: Theory and Practice of Computer Science: Proc./37th Conference of Current Trends in Theory and Practice of CS, Novy Smokovec, Slovakia, January 2011/Ed. by I.Cerna, T.Gyimothy, J.Hromkovic, K.Jeffery.-Berlin: Springer, 2011.-Vol. 6543.-572 p.-(Lecture Notes in Computer Science). 47. Engineering Secure Software and Systems: Proc./ Third International Symposium, ESSoS 2011, Madrid, Spain, February 2011/Ed. by U.Erlingsson, R.Wieringa, N.Zannone.-Berlin: Springer, 2011.-Vol. 6542.-273 p.-(Lecture Notes in Computer Science). 48. Verification, Model Checking, and Abstract Interpretation: Proc./12th International Conference, VMCAI 2011, Austin,TX,USA, January 2011/Ed. by R.Jhala, D.Schmidt. -Berlin: Springer, 2011.-Vol. 6538.-419 p.-(Lecture Notes in Computer Science). 49. Practical Aspects of Declarative Languages: Proc./13th International Symposium, PADL 2011, Austin,TX,USA, January 2011/Ed. by R.Rocha, J.Launchbury.-Berlin: Springer, 2011. -Vol. 6539.-265 p.-(Lecture Notes in Computer Science). 50. Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: Revised Selected Papers/20th International Workshop, PATMOS 2010, Grenoble, France, September 2010/Ed. by R.Van_Leuken, G.Sicard.-Berlin: Springer, 2011.-Vol. 6448.-260 p.-(Lecture Notes in Computer Science). 51. The Evolution of Conceptual Modeling: From a Historical Perspective towards the Future of Conceptual Modeling/Ed. by R.Kaschek, L.Delcambre.-Berlin: Springer, 2011.-Vol. 6520. -360 p.-(Lecture Notes in Computer Science). 52. Human-Computer Interaction, Tourism and Cultural Heritage: Revised Selected Papers/ First International Workshop, HCITOCH 2010, Brescello, Italy, September 2010/Ed. by F.V.C.Ficarra, C.De_Castro_Lozano, E.Nicol, A.Kratky. -Berlin: Springer, 2011.-Vol. 6529.-195 p.-(Lecture Notes in Computer Science). 53. Performance Evaluation, Measurement and Characterization of Complex Systems: Revised Selected Papers/ Second TPC Technology Conference, TPCTC 2010, Singapore, September 2010/Ed. by R.Nambiar, M.Poess.-Berlin: Springer, 2011.-Vol. 6417.-233 p.-(Lecture Notes in Computer Science). 54. Vagueness in Communication: Revised Selected Papers/ International Workshop, ViC 2009 held as part of ESSLLI 2009, Bordeaux, France, July 2009/Ed. by R.Nouwen, R.Van_Rooij, U.Sauerland, H.-Ch.Schmitz.-Berlin: Springer, 2011.-Vol. 6517.-207 p.-(Lecture Notes in Artificial Intelligence). 55. Logic for Programming, Artificial Intelligence, and Reasoning: Revised Selected Papers/16th International Conference, LPAR-16, Dakar, Senegal, April/May 2010/Ed. by E.M.Clarke, A.Voronkov.-Berlin: Springer, 2010.-Vol. 6355. -517 p.-(Lecture Notes in Artificial Intelligence). 56. Щербина О.А. Локальные элиминационные алгоритмы для разреженных задач дискретной оптимизации: Автореф. дис... докт. ф.-м. наук: 05.13.17.-М., 2011.-30 с.-Библиогр.: c.22-30. 57. Николайчук О.А. Методы, модели и инструментальное средство для исследовния надежности и безопасности сложных технических систем: Автореф. дис... докт. тех. наук: 05.13.01. -Иркутск, 2011.-37 с.-Библиогр.: c.34-37. 58. Мельник А.П. Моделирование процессов теплопереноса через ограждающие конструкции зданий и системы вентиляции: Автореф. дис... канд. тех. наук: 05.13.18.-М., 2011.-18 с. -Библиогр.: c.17-18. 59. Ануреев И.С. Язык Atoment: синтаксис и семантика. -Новосибирск, 2010.-38 с.-(Препринт/ИСИ СО РАН; N 157). 60. Ануреев И.С. Язык Atoment: стандартная библиотека. -Новосибирск, 2010.-31 с.-(Препринт/ИСИ СО РАН; N 158). 61. Information Security: Revised Selected Papers/13th International Conference, ISC 2010, Boca Raton,FL,USA, October 2010/Ed. by M.Burmester, G.Tsudic, S.Magliveras, I.Ilic.-Berlin: Springer, 2011.-Vol. 6531.-446 p.-(Lecture Notes in Computer Science). 62. Topics in Cryptology - CT-RSA 2011: Proc./The Cryptographers' Track at the RSA Conference 2011, San Francisco,CA,USA, February 2011/Ed. by A.Kiayias.-Berlin: Springer, 2011.-Vol. 6558.-417 p.-(Lecture Notes in Computer Science). 63. Security Protocols: Revised Selected Papers/15th International Workshop, Brno, Czech Republic, April 2007/Ed. by B.Christianson, B.Crispo, J.A.Malcolm, M.Roe.-Berlin: Springer, 2010.-Vol. 5964.-257 p.-(Lecture Notes in Computer Science). 64. Advances in Information and Computer Security: Proc./5th International Workshop on Security, IWSEC 2010, Kobe, Japan, November 2010/Ed. by I.Echizen, N.Kunihiro, R.Sasaki.-Berlin: Springer, 2010.-Vol. 6434.-371 p.-(Lecture Notes in Computer Science). 65. Advances in Cryptology - ASIACRYPT 2010: Proc./16th International Conference on the Theory and Aplications of Cryptology and Infermation Security, Singapore, December 2010 /Ed. by M.Abe.-Berlin: Springer, 2010.-Vol. 6477.-634 p. -(Lecture Notes in Computer Science). 66. Progress in Cryptology - INDOCRYPT 2010: Proc./11th International Conference on Cryptology in India, Hyderabad, India, December 2010/Ed. by G.Gong, K.Ch.Gupta.-Berlin: Springer, 2010.-Vol. 6498.-366 p.-(Lecture Notes in Computer Science). 67. Information Security and Cryptology: Revised Selected Papers/5th International Conference, Inscrypt 2009, Beijing, China, December 2009/Ed. by F.Bao, M.Yung, D.Lin, J.Jing. -Berlin: Springer, 2010.-Vol. 6151.-460 p.-(Lecture Notes in Computer Science). 68. Decision and Game Theory for Security: Proc./First International Conference, GameSec 2010, Berlin, Germany, November 2010/Ed. by T.Alpcan, L.Buttyan, J.S.Baras.-Berlin: Springer, 2010.-Vol. 6442.-281 p.-(Lecture Notes in Computer Science). 69. Pairing-Based Gryptography - Pairing 2010: Proc./4th International Conference, Yamanaka Hot Spring, Japan, December 2010/Ed. by M.Joye, A.Miyaji, A.Otsuka.-Berlin: Springer, 2010.-Vol. 6487.-467 p.-(Lecture Notes in Computer Science). 70. Cryptology and Network Security: Proc./9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 2010/Ed. by S.-H.Heng, R.N.Wright, B.-M.Goi.-Berlin: Springer, 2010.-Vol. 6467.-355 p.-(Lecture Notes in Computer Science). 71. Information and Communications Security: Proc./12th International Conference, ICICS 2010, Barcelona, Spain, December 2010/Ed. by M.Soriano, S.Qing, J.Lopez.-Berlin: Springer, 2010.-Vol. 6476.-474 p.-(Lecture Notes in Computer Science). 72. Radio Frequency Identification: Security and Privacy Issues: Revised Selected Papers/6th International Workshop, RFIDSec 2010, Istanbul, Turkey, June 2010/Ed. by S.B.O.Yalcin.-Berlin: Springer, 2010.-Vol. 6370.-271 p. -(Lecture Notes in Computer Science). 73. Information System Security: Proc./6th International Conference, ICISS 2010, Gandhinagar, India, December 2010/ Ed. by S.Jha, A.Mathuria.-Berlin: Springer, 2010.-Vol. 6503. -261 p.-(Lecture Notes in Computer Science). 74. Public Key Infrastructures, Services and Applications: Revised Selectes Papers/6th European Workshop, EuroPKI 2009, Pisa, Italy, September 2009/Ed. by F.Martinelly, B.Preneel. -Berlin: Springer, 2010.-Vol. 6391.-303 p.-(Lecture Notes in Computer Science). 75. Димитриенко О.Ю. Кластерно-континуальная модель динамики рынка продаж при маркетинговых воздействиях: Автореф. дис... канд. ф.-м. наук: 05.13.18.-М., 2010.-18 с. -Библиогр.: c.16-18.