Hовые поступления с 14 марта по 11 апреля 2011 года
1. Hardware and Software: Verification and Testing: Revised Selected Papers/5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 2009/Ed. by K.Namjoshi, A.Zeller, A.Ziv.-Berlin: Springer, 2011.-Vol. 6405.-169 p.-(Lecture Notes in Computer Science). 2. WALCOM: Algorithms and Computation: Proc./5th International Workshop, WALCOM 2011, New Delhi, India, February 2011/Ed. by N.Katoh, A.Kumar.-Berlin: Springer, 2011.-Vol. 6552.-233 p.-(Lecture Notes in Computer Science). 3. Transactions on Edutainment V/Ed. by Zh.Pan, A.D.Cheok, W.Muller, X.Yang.-Berlin: Springer, 2011.-Vol. 6530.-271 p.-(Lecture Notes in Computer Science). 4. Information Security Applications: Revised Selected Papers/11th International Workshop, WISA 2010, Jeju Island, Korea, August 2010/Ed. by Y.Chung, M.Yung.-Berlin: Springer, 2011.-Vol. 6513.-352 p.-(Lecture Notes in Computer Science). 5. Algorithms and Models for the Web Graph: Proc./7th International Workshop, WAW 2010, Stanford,CA,USA, December 2010/Ed. by R.Kumar, D.Sivakumar.-Berlin: Springer, 2010. -Vol. 6516.-163 p.-(Lecture Notes in Computer Science). 6. Transactions on Rough Sets XIII/Ed. by J.F.Peters, A.Skowron.-Berlin: Springer, 2011.-Vol. 6499.-277 p. -(Lecture Notes in Computer Science). 7. Formal Verification of Object-Oriented Software: Revised Selected Papers/ International Conference, FoVeOOS 2010, Paris, France, June 2010/Ed. by B.Beckert, C.Marche. -Berlin: Springer, 2011.-Vol. 6528.-199 p.-(Lecture Notes in Computer Science). 8. Computers and Games: Revised Selected Papers/7th International Conference, CG 2010, Kanazawa, Japan, September 2010/Ed. by H.J.Van_Den_Herik, H.Iida, A.Plaat. -Berlin: Springer, 2011.-Vol. 6515.-277 p.-(Lecture Notes in Computer Science). 9. Algebraic Methodology and Software Technology: Revised Selected Papers/13th International Conference, AMAST 2010, Lac-Beauport,QC,Canada, June 2010/Ed. by M.Johnson, D.Pavlovic.-Berlin: Springer, 2011.-Vol. 6486.-238 p. -(Lecture Notes in Computer Science). 10. Theory of Quantum Computation, Communication, and Cryptography: Revised Selected Papers/5th Conference, TQC 2010, Leeds,UK, April 2010/Ed. by W.Van_Dam, V.M.Kendon, S.Severini.-Berlin: Springer, 2011.-Vol. 6519.-187 p. -(Lecture Notes in Computer Science). 11. Membrane Computing: Revised Selected Papers/11th International Conference, CMC 2010, Jena, Germany, August 2010/Ed. by M.Gheorghe, Th.Hinze, G.Paum, G.Rozenberg. -Berlin: Springer, 2010.-Vol. 6501.-393 p.-(Lecture Notes in Computer Science). 12. Implementation and Application of Automata: Revised Selected Papers/15th International Conference, CIAA 2010, Winnipeg,MB,Canada, August 2010/Ed. by M.Domaratzki, K.Salomaa.-Berlin: Springer, 2011.-Vol. 6482.-332 p. -(Lecture Notes in Computer Science). 13. Data Privacy Management and Autonomous Spontaneous Security: Revised Selected Papers/5th Int.WS, DPM 2010 and 3rd Int.WS, SETOP 2010, Athens, Greece, September 2010/Ed. by J.Garcia-Alfaro, G.Navarro-Arribas, A.Cavalli, J.Leneutre. -Berlin: Springer, 2011.-Vol. 6514.-259 p.-(Lecture Notes in Computer Science). 14. Architecture of Computing Systems - ARCS 2011: Proc./24th International Conference, Como, Italt, February 2011/Ed. by M.Berekovic, W.Fornaciari, U.Brinkschulte, C.Silvano.-Berlin: Springer, 2011.-Vol. 6566.-271 p. -(Lecture Notes in Computer Science). 15. Self-Organizing Systems: Proc./5th International Workshop, IWSOS 2011, Karlsruhe, Germany, February 2011/Ed. by Ch.Bettstetter, C.Gershenson.-Berlin: Springer, 2011. -Vol. 6557.-117 p.-(Lecture Notes in Computer Science). 16. Software Language Engineering: Revised Selected Papers/ Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 2010/Ed. by B.Malloy, S.Staab, M.Van_Den_Brand.-Berlin: Springer, 2011.-Vol. 6563.-417 p. -(Lecture Notes in Computer Science). 17. Transactions on High-Performance Embedded Architectures and Compilers III/Ed. by P.Stenstrom.-Berlin: Springer, 2011. -Vol. 6590.-299 p.-(Lecture Notes in Computer Science). 18. Open Research Problems in Network Security: Revised Selected Papers/IFIP WG 11.4 International Workshop, iNetSec 2010, Sofia, Bulgaria, March 2010/Ed. by J.Camenisch, V.Kisimov, M.Dubovitskaya.-Berlin: Springer, 2011.-Vol. 6555. -171 p.-(Lecture Notes in Computer Science). 19. Wireless Sensor Networks: Proc./8th European Conference, EWSN 2011, Bonn, Germany, February 2011/Ed. by P.J.Marron, K.Whitenouse.-Berlin: Springer, 2011.-Vol. 6567. -227 p.-(Lecture Notes in Computer Science). 20. Computational Linguistics and Intelligent Text Processing. Part I: Proc./12th International Conference, CICLing 2011, Tokyo, Japan, February 2011/Ed. by A.Gelbukh. -Berlin: Springer, 2011.-Vol. 6608.-464 p.-(Lecture Notes in Computer Science). 21. Computational Linguistics and Intelligent Text Processing, Part II: Proc./12th International Conference, CICLing 2011, Tokyo, Japan, February 2011/Ed. by A.Gelbukh. -Berlin: Springer, 2011.-Vol. 6609.-521 p.-(Lecture Notes in Computer Science). 22. Web and Wireless Geographical Information Systems: Proc./10th International Symposium, W2GIS 2011, Kyoto, Japan, March 2011/Ed. by K.Tanaka, P.Frohlich, K.-S.Kim. -Berlin: Springer, 2011.-Vol. 6574.-241 p.-(Lecture Notes in Computer Science). 23. Малюх В.Н. Введение в современные САПР: Курс лекций.- М.: ДМК Пресс, 2010.- 191 с. 24. Платонов Ю.Г. Анализ требований к системе "Электронный документооборот" на предприятии с повышенной степенью ответственности за конечный продукт и возможности использования для этих нужд современных информационных систем. -Новосибирск, 2010.-29 с.-(Препринт/ИСИ СО РАН; N 159). 25. Кондраков И.А. Обобщенный непараметрический метод вычисления положительно неоднородных индексов Конюса-Дивизиа и его приложения к анализу товарных и фондовых рынков: Автореф. дис... канд. ф.-м. наук: 05.13.18.-М., 2011.-23 с. -Библиогр.: c.22-23. 26. Numerical Methods and Applicationas: Revised Papers/7th International Conference, NMA 2010, Borovets, Bulgaria, August 2010/Ed. by I.Dimov, S.Dimova, N.Kolkovska.-Berlin: Springer, 2011.-Vol. 6046.-512 p.-(Lecture Notes in Computer Science). 27. Internet and Network Economics: Proc./6th International Workshop, WINE 2010, Stanford,CA,USA, December 2010/Ed. by A.Saberi.-Berlin: Springer, 2010.-Vol. 6484.-580 p.-(Lecture Notes in Computer Science). 28. DNA Computing and Molecular Programming: Revised Selected Papers/16th International Conference, DNA 16, Hong Kong, China, June 2010/Ed. by Y.Sakakibara, Y.Mi.-Berlin: Springer, 2011.-Vol. 6518.-187 p.-(Lecture Notes in Computer Science). 29. Agents for Games and Simulations II: Trends in Techniques, Concepts and Design/Ed. by F.Dignum.-Berlin: Springer, 2011.-Vol. 6525.-207 p.-(Lecture Notes in Computer Science). 30. Toward Autonomous, Adaptive, and Context-Aware Multimodal Interfaces. Theoretical and Practical Issues: Revised Selected Papers/3rd COST 2102 International Training School, Casetra, Italy, March 2010/Ed. by A.Esposito, R.Martone.-Berlin: Springer, 2011.-Vol. 6456.-474 p. -(Lecture Notes in Computer Science). 31. Social Computing, Behavioral-Cultural Modeling and Prediction: Proc./4th International Conference, SBP 2011, College Park,MD,USA, March 2011/Ed. by J.Salerno, Sh.J.Yang, D.Nau, S.-K.Chai.-Berlin: Springer, 2011.-Vol. 6589.-384 p.-(Lecture Notes in Computer Science). 32. Distributed Computing and Internet Technology: Proc./7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 2011/Ed. by R.Natarajan, A.Ojo. -Berlin: Springer, 2011.-Vol. 6536.-325 p.-(Lecture Notes in Computer Science). 33. Provenance and Annotation of Data and Processes: Revised Selectes Papers/ Third International Workshop, IPAW 2010, Troy,NY,USA, June 2010/Ed. by D.L.Mcguinness, J.R.Michaelis, L.Moreau.-Berlin: Springer, 2010.-Vol. 6378. -306 p.-(Lecture Notes in Computer Science). 34. The Semantic Web - ISWC 2010, Part I: Revised Selected Papers/9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 2010/Ed. by P.F.Patel-Schneider, Y.Pan, P.Hitzler, P.Mika.-Berlin: Springer, 2010.-Vol. 6496. -833 p.-(Lecture Notes in Computer Science). 35. The Semantic Web - ISWC 2010, Part II: Revised Selected Papers/9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 2010/Ed. by P.F.Patel-Schneider, Y.Pan, P.Hitzler, P.Mika.-Berlin: Springer, 2010.-Vol. 6497. -373 p.-(Lecture Notes in Computer Science). 36. Knowledge Representstion for Health-Care: Revised Selected Papers/ ECAI 2010 Workshop KR4HC 2010, Lisbon, Portugal, August 2010/Ed. by D.Riano, A.Ten_Teije, S.Miksch, M.Peleg.-Berlin: Springer, 2011.-Vol. 6512.-153 p. -(Lecture Notes in Artificial Intelligence). 37. Multi-Agent-Based Simulation XI: Revised Selected Papers/ International Workshop, MABS 2010, Toronto, Canada, May 2010/Ed. by T.Bosse, A.Geller, C.M.Jonker.-Berlin: Springer, 2011.-Vol. 6532.-167 p.-(Lecture Notes in Artificial Intelligence). 38. Culture and Computing: Computing and Communication for Crosscultural Interaction/Ed. by T.Ishida.-Berlin: Springer, 2010.-Vol. 6259.-229 p.-(Lecture Notes in Computer Science). 39. From Active Data Management to Event-Based Systems and More: Papers in Honor of Alejandro Buchmann on the Occasion of His 60th Birthday/Ed. by K.Sachs, I.Petrov, P.Guerrero. -Berlin: Springer, 2010.-Vol. 6462.-337 p.-(Lecture Notes in Computer Science). 40. Service Research Challenges and Solutions for the Future Internet: S-Cube - Towards Engineering, Managing and Adapting Service-Based Systems/Ed. by M.Papazoglou, K.Pohl, M.Parkin, A.Metzger.-Berlin: Springer, 2010.-Vol. 6500.-374 p.-(Lecture Notes in Computer Science). 41. Towards a Service-Based Internet: Proc./Third European Conference, ServiceWave 2010, Ghent, Belgium, December 2010/ Ed. by E.Di_Notto, R.Yahyapour.-Berlin: Springer, 2010. -Vol. 6481.-240 p.-(Lecture Notes in Computer Science). 42. Middleware 2010: Proc./ ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 2010/Ed. by I.Gupta, C.Mascolo.-Berlin: Springer, 2010.-Vol. 6452.-398 p.-(Lecture Notes in Computer Science). 43. Motion in Game: Proc./Third International Conference, MIG 2010, Utrecht, The Netherlands, November 2010/Ed. by R.Boulic, Y.Chrysanthou, T.Komura.-Berlin: Springer, 2010. -Vol. 6459.-436 p.-(Lecture Notes in Computer Science). 44. Current Trends in Web Engineering: Revised Selectes Papers/10th International Conference on Web Engineering ICWE 2010 Workshops, Vienna, Austria, July 2010/Ed. by F.Daniel, F.M.Facca.-Berlin: Springer, 2010.-Vol. 6385.-595 p. -(Lecture Notes in Computer Science). 45. Котов Д.С. Математическое и алгоритмическое обеспечение для системы визуализации в САПР: Автореф. дис... канд. тех. наук: 05.13.12.-Владимир, 2011.-22 с.-Библиогр.: c.22. 46. Файзрахманов Р.И. Оптимизация процесса раскроя промышленных материалов по критерию минимума материальных потерь при наличии технологических ограничений: Автореф. дис... канд. тех. наук: 05.13.01.-Уфа, 2011.-16 с. -Библиогр.: c.15-16.