Hовые поступления с 1 по 29 марта 2010 г.
1. Applicationas of Evolutionary Computing: Proc./EvoWorkshops 2009: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIAPS, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG, Tubingen,Germany, April 2009/ Ed. by M.Giacobini.-Berlin: Springer, 2009.-Vol. 5484.-831 p.-(Lecture Notes in Computer Science). 2. Advances in Grid and Pervasive Computing: Proc./4th International Conference, GPC 2009, Geneva. Switzerland, May 2009/Ed. by N.Adbennadher, D.Petcu.-Berlin: Springer, 2009. -Vol. 5529.-484 p.-(Lecture Notes in Computer Science). 3. Numerical Validation in Current Hardware Architectures: Revised Papers/ International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 2008/Ed. by A.Cuyt, W.Kramer, W.Luther, P.Markstein.-Berlin: Springer, 2009.-Vol. 5492. -263 p.-(Lecture Notes in Computer Science). 4. Theory and Applications of Models of Computation: Proc./6th Annual Conference, TAMC 2009, Changsha, China, May 2009/Ed. by J.Chen, S.B.Cooper.-Berlin: Springer, 2009. -Vol. 5532.-482 p.-(Lecture Notes in Computer Science). 5. Pervasive Computing: Proc./7th International Conference, Pervasive 2009, Nara, Japan, May 2009/Ed. by H.Tokuda, M.Beigl, A.Friday, A.J.B.Brush.-Berlin: Springer, 2009.-Vol. 5538.-408 p.-(Lecture Notes in Computer Science). 6. Theory and Applications of Satisfiability Testing - SAT 2009: Proc./12th International Conference, SAT 2009, Swansea, UK, June/July 2009/Ed. by O.Kullmann.-Berlin: Springer, 2009.-Vol. 5584.-540 p.-(Lecture Notes in Computer Science). 7. Scientific and Statistical Database Management: Proc./21st International Conference, SSDBM 2009, New Orleans,LA,USA, June 2009/Ed. by M.Winslett.-Berlin: Springer, 2009.-Vol. 5566.-648 p.-(Lecture Notes in Computer Science). 8. Advances in Self-Organizing Maps: Proc./7th International Workshop, WSOM 2009, St.Augustine,FL,USA, June 2009/Ed. by J.C.Principe, R.Miikkulainen.-Berlin: Springer, 2009.-Vol. 5629.-374 p.-(Lecture Notes in Computer Science). 9. Knowledge-Based and Intelligent Information and Engineering Systems, Part I: Proc./13th International Conference, KES 2009, Santiago, Chile, September 2009/Ed. by J.D.Velasquez, S.A.Rios, R.J.Howlett, L.C.Jain.-Berlin: Springer, 2009.-Vol. 5711.-381 p.-(Lecture Notes in Artificial Intelligence). 10. Knowledge-Based and Intelligence Information and Engineering Systems, Part II: Proc./13th International Conference, KES 2009, Santiago, Chile, September 2009/Ed. by J.D.Velasques, S.A.Rios, R.J.Howlett, L.C.Jain.-Berlin: Springer, 2009.-Vol. 5712.-873 p.-(Lecture Notes in Artificial Intelligence). 11. Recent Advances in Constraints: Revised Selected Papers/13th Annual ERCIM International Workshop, CSCLP 2008, Rome, Italy, June 2008/Ed. by A.Oddi, F.Fages, F.Rossi. -Berlin: Springer, 2009.-Vol. 5655.-147 p.-(Lecture Notes in Artificial Intelligence). 12. Пучков Ф.М. Методы и средства автоматизированного обнаружения уязвимостей в программах на языке С на основе стратегического анализа их исходных текстов: Автореф. дис... канд. ф.-м. наук: 05.13.19.-М., 2010.-24 с.-Библиогр.: c.22-24. 13. Махортов С.Д. Теория LP-структур для построения и исследования моделей знаний продукционного типа: Автореф. дис... докт. ф.-м. наук: 05.13.17.-М., 2010.-31 с. -Библиогр.: c.28-31. 14. Сервах В.В. Анализ сложности и разработка алгоритмов решения задач календарного планирования и теории расписаний: Автореф. дис... докт. ф.-м. наук: 01.01.09.-Новосибирск, 2010. -29 с.-Библиогр.: c.23-29. 15. Combinatorial Pattern Matching: Proc./20th Annual Symposium, CPM 2009, Lille, France. June 2009/Ed. by G.Kucherov, E.Ukkonen.-Berlin: Springer, 2009.-Vol. 5577. -370 p.-(Lecture Notes in Computer Science). 16. Formal Aspects in Security and Trust: Revised Selected Papers/5th International Workshop, FAST 2008, Malaga, Spain, October 2008/Ed. by P.Degano, J.Guttman, F.Martinelli. -Berlin: Springer, 2009.-Vol. 5491.-331 p.-(Lecture Notes in Computer Science). 17. Information Security and Cryptology: Revised Selected Papers/4th International Conference, Inscrypt 2008, Beijing, China, December 2008/Ed. by M.Yung, P.Liu, D.Lin.-Berlin: Springer, 2009.-Vol. 5487.-439 p.-(Lecture Notes in Computer Science). 18. Advances in Cryptology - EUROCRYPT 2009: Proc./28th Annual International Conference on the Theory and Applications of Cr.Techniques, Cologne, Germany, April 2009/ Ed. by A.Joux.-Berlin: Springer, 2009.-Vol. 5479.-611 p. -(Lecture Notes in Computer Science). 19. Topics in Cryptology - CT-RSA 2009: Proc./The Cryptographers' Track at the RSA Conference 2009, San Francisco, CA,USA, April 2009/Ed. by M.Fischlin.-Berlin: Springer, 2009.-Vol. 5473.-482 p.-(Lecture Notes in Computer Science). 20. Intelligence and Security Informatics: Proc./Pacific Asia Workshop, PAISI 2009, Bangkok, Thailand, April 2009/Ed. by H.Chen, Ch.C.Yang, M.Chau, S.-H.Li.-Berlin: Springer, 2009.-Vol. 5477.-169 p.-(Lecture Notes in Computer Science). 21. Trusted Computing: Proc./Second International Conference, Trust 2009, Oxford, UK, April 2009/Ed. by L.Chen, C.J.Mitchell, A.Martin.-Berlin: Springer, 2009.-Vol. 5471.-265 p.-(Lecture Notes in Computer Science). 22. Information Security Practice and Experience: Proc./5th International Conference, ISPEC 2009, Xi'an, China, April 2009/Ed. by F.Bao, H.Li, G.Wang.-Berlin: Springer, 2009. -Vol. 5451.-410 p.-(Lecture Notes in Computer Science). 23. Distributed Computing and Networking: Proc./11th International Conference, ICDCN 2010, Kolkata, India, January 2010/Ed. by K.Kant, S.V.Pemmaraju, K.M.Sivalingam, J.Wu.-Berlin: Springer, 2010.-Vol. 5935.-522 p.-(Lecture Notes in Computer Science). 24. Model Driven Engineering Languages and Systems: Proc./12th International Conference, MODELS 2009, Denver, CO,USA, October 2009/Ed. by A.Schurr, B.Selic.-Berlin: Springer, 2009.-Vol. 5795.-756 p.-(Lecture Notes in Computer Science). 25. Formal Foundations of Reuse and Domain Engineering: Proc./11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA,USA, September 2009/Ed. by S.H.Edwards, G.Kulczycki.-Berlin: Springer, 2009.-Vol. 5791. -299 p.-(Lecture Notes in Computer Science). 26. Титков А.В. Система построения генераторов комбинаторных множеств на основе деревьев и/или: Автореф. дис... канд. тех. наук: 05.13.11.-Томск, 2010.-20 с. -Библиогр.: c.19-20. 27. Grid Resource Management: On-demand Provisioning Advance Reservation, and Capacity Planning of Grid Resources/ Ed. by M.Siddiqui, Th.Fahringer.-Berlin: Springer, 2010. -Vol. 5951.-227 p.-(Lecture Notes in Computer Science). 28. Fundamentals of Software Engineering: Revised Selected Papers/3rd IPM International Conference, FSEN 2009, Kish Island, Iran, April 2009/Ed. by F.Arbab, M.Sirjani.-Berlin: Springer, 2010.-Vol. 5961.-471 p.-(Lecture Notes in Computer Science). 29. Transactions on Rough Sets XI/Ed. by J.F.Peters, A.Skowron.-Berlin: Springer, 2010.-Vol. 5946.-189 p. -(Lecture Notes in Computer Science). 30. Verification, Model Checking, and Abstract Interpretation: Proc./11th International Conference, VMCAI 2010, Madrid, Spain, January 2010/Ed. by G.Barthe, M.Hermenegildo.-Berlin: Springer, 2010.-Vol. 5944.-397 p. -(Lecture Notes in Computer Science). 31. WALCOM: Algorithms and Computation: Proc./4th International Worcshop, WALCOM 2010, Dhaka, Bangladesh, February 2010/Ed. by S.Rahman, S.Fujita.-Berlin: Springer, 2010.-Vol. 5942.-305 p.-(Lecture Notes in Computer Science). 32. Practical Aspects of Declarative Languages: Proc./12th International Symposium, PADL 2010, Madrid, Spain, January 2010/Ed. by M.Carro, R.Pena.-Berlin: Springer, 2010.-Vol. 5937.-297 p.-(Lecture Notes in Computer Science). 33. Graph-Theoretic Concepts in Computer Science: Revised Papers/35th International Workshop, WG 2009, Montpellier, France, June 2009/Ed. by Ch.Paul, M.Habib.-Berlin: Springer, 2010.-Vol. 5911.-353 p.-(Lecture Notes in Computer Science). 34. SOFSEM 2010: Theory and Practice of Computer Science: Proc./36th Conference on Current Trends in Theory and Practic of CS, Spindleruv Mlyn, Czech Republic, January 2010/ Ed. by J.Van_Leeuwen, A.Muscholl, D.Peleg, J.Pokorny.-Berlin: Springer, 2010.-Vol. 5901.-780 p.-(Lecture Notes in Computer Science). 35. Advances in Information Security and Assurance: Proc./3rd International Conference and Workshops, ISA 2009, Seoul, Korea, June 2009/Ed. by J.H.Perk, H.-H.Chen, M.Atiquzzaman, Ch.Lee.-Berlin: Springer, 2009.-Vol. 5576. -841 p.-(Lecture Notes in Computer Science). 36. High Performance Embedded Architectures and Compilers: Proc./5th International Conference, HiPEAC 2010, Pisa, Italy, January 2010/Ed. by Y.N.Patt, P.Foglia, E.Duesterwald, P.Faraboschi.-Berlin: Springer, 2010.-Vol. 5952.-364 p.-(Lecture Notes in Computer Science). 37. Engineering Secure Software and Systems: Proc./Second International Symposium, ESSoS 2010, Pisa, Italy, February 2010/Ed. by F.Massacci, D.Wallach, N.Zannone.-Berlin: Springer, 2010.-Vol. 5965.-240 p.-(Lecture Notes in Computer Science). 38. Human Machine Interaction: Research Results of the MMI Program/Ed. by D.Lalanne, J.Kohlas.-Berlin: Springer, 2009. -Vol. 5440.-311 p.-(Lecture Notes in Computer Science). 39. Automated Deduction - CADE-22: Proc./22nd International Conference, Montreal, Canada, August 2009/Ed. by R.A.Schmidt. -Berlin: Springer, 2009.-Vol. 5663.-504 p.-(Lecture Notes in Artificial Intelligence). 40. Advances in Data Mining. Applications and Theoretical Aspects: Proc./9th Industrial Conference, ICDM 2009, Leipzig, Germany, July 2009/Ed. by P.Perner.-Berlin: Springer, 2009.-Vol. 5633.-402 p.-(Lecture Notes in Artificial Intelligence). 41. Rough Sets and Knowledge Techniligy: Proc./4th International Conference, RSKT 2009, Gold Coast, Australia, July 2009/Ed. by P.Wen, Y.Li, L.Polkowski, Y.Yao.-Berlin: Springer, 2009.-Vol. 5589.-709 p.-(Lecture Notes in Artificial Intelligence). 42. Logic, Language, and Computation: Revised Selected Papers/7th International Tbilisi Symposium, TbiLLC 2007, Tbilisi, Georgia, October 2007/Ed. by P.Bosch, D.Gabelaia, J.Lang.-Berlin: Springer, 2009.-Vol. 5422.-287 p.-(Lecture Notes in Artificial Intelligence). 43. Coordination, Organizations, Institutions and Norms in Agent Systems IV: Revised Selected Papers/ COIN 2008 International Workshops, COIN@AAMAS 2008, Estoril, Poetugal, May 2008, COIN@AAAI 2008, Chicago, USA, July 2008/Ed. by J.F.Hubner, E.Matson, O.Boissier, V.Dignum.-Berlin: Springer, 2009.-Vol. 5428.-267 p.-(Lecture Notes in Artificial Intelligence). 44. Agents and Peer-to-Peer Computing: Revised and Selected Papers/6th International Workshop, AP2PC 2007, Honolulu, Hawaii, USA, May 2007/Ed. by S.R.H.Joseph, Z.Despotovic, G.Moro, S.Bergamaschi.-Berlin: Springer, 2010.-Vol. 5319. -123 p.-(Lecture Notes in Artificial Intelligence). 45. Multi-Agent Systems for Society: Revised Selected Papers/8th Pacific Rim International Workshop PRIMA 2005, Kuala Lumpur, Malaysia, September 2005/Ed. by D.Lukose, Z.Shi.-Berlin: Springer, 2009.-Vol. 4078.-412 p.-(Lecture Notes in Artificial Intelligence). 46. Formal Methods: Foundations and Applicationas: Revised Selected Papers/12th Brazilian Symposium, SBMF 2009, Gramado Brazil, August 2009/Ed. by M.V.M.Oliveira, J.Woodcock. -Berlin: Springer, 2009.-Vol. 5902.-351 p.-(Lecture Notes in Computer Science). 47. Next Generation Information Technologies and Systems: Revised Selected Papers/7th International Conference, NGITS 2009, Haifa, Israel, June 2009/Ed. by Y.A.Feldman, D.Kraft, T.Kuflik.-Berlin: Springer, 2009.-Vol. 5831.-169 p.-(Lecture Notes in Computer Science). 48. Hybrid Metaheuristic: Proc./6th International Worcshop, HM 2009, Udine, Italy, October 2009/Ed. by M.J.Blesa, Ch.Blum, L.Di_Gaspero, A.Rolf.-Berlin: Springer, 2009.-Vol. 5818.-179 p.-(Lecture Notes in Computer Science). 49. Automated Technology for Verification and Analysis: Proc./7th International Symposium, ATVA 2009, Macao, China, October 2009/Ed. by Z.Liu, A.P.Ravn.-Berlin: Springer, 2009. -Vol. 5799.-414 p.-(Lecture Notes in Computer Science). 50. Algorithmic Game Theory: Proc./2nd International Symposium, SAGT 2009, Paphos, Cyprus, October 2009/Ed. by M.Mavronicolas, V.G.Papadopoulou.-Berlin: Springer, 2009. -Vol. 5814.-359 p.-(Lecture Notes in Computer Science). 51. Computer Science Logic: Proc./23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 2009/Ed. by E.Gradel, R.Kahle. -Berlin: Springer, 2009.-Vol. 5771.-567 p.-(Lecture Notes in Computer Science). 52. Algebra and Coalgebra in Computer Science: Proc./Third International Conference, CALCO 2009, Udine, Italy, September 2009/Ed. by A.Kurz, M.Lenisa, A.Tarlecki.-Berlin: Springer, 2009.-Vol. 5728.-457 p.-(Lecture Notes in Computer Science). 53. SDL 2009: Design for Motes and Mobiles: Proc./14th International SDL Forum, Bochum, Germany, September 2009/Ed. by R.Reed, A.Bilgic, R.Gotzhein.-Berlin: Springer, 2009. -Vol. 5719.-257 p.-(Lecture Notes in Computer Science). 54. Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures/Ed. by A.Aldini, G.Barthe, R.Gorrieri.-Berlin: Springer, 2009.-Vol. 5705.-339 p. -(Lecture Notes in Computer Science). 55. CONCUR 2009 - Concurrency Theory: Proc./20th International Conference, CONCUR 2009, Bologna, Italy, September 2009/Ed. by M.Bravetti, G.Zavattaro.-Berlin: Springer, 2009.-Vol. 5710.-638 p.-(Lecture Notes in Computer Science). 56. Data Warehousing and Knowledge Discovery: Proc./11th International Conference, DaWaK 2009, Linz, Austria, August/September 2009/Ed. by T.B.Pedersen, M.K.Mohania, A.M.Tjoa.-Berlin: Springer, 2009.-Vol. 5691.-480 p.-(Lecture Notes in Computer Science). 57. Euro-Par 2009 Parallel Processing: Proc./15th International Euro-Par Conference, Delft, The Netherlands, August 2009/Ed. by H.Sips, D.Epema, H.-X.Lin.-Berlin: Springer, 2009.-Vol. 5704.-1120 p.-(Lecture Notes in Computer Science). 58. Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday/Ed. by J.-R.Abrial, U.Glasser.-Berlin: Springer, 2009.-Vol. 5115.-235 p.-(Lecture Notes in Computer Science). 59. AI 2009: Advances in Artificial Intelligence: Proc./22nd Australasian Joint Conference, Melbourne, Australia, December 2009/Ed. by A.Nicholson, X.Li.-Berlin: Springer, 2009.-Vol. 5866.-688 p.-(Lecture Notes in Artificial Intelligence). 60. Cloud Computing: Proc./First Internatioal Conference, CloudCom 2009, Beijing, China, December 2009/Ed. by M.G.Jaatun, G.Zhao], Ch.Rong.-Berlin: Springer, 2009.-Vol. 5931.-707p.-(Lecture Notes in Computer Science). 61. Interactive Storytelling: Proc./2nd Joint International Conference on Interactive Digital Storytelling, ICIDS 2009, Guimaraes, Portugal, December 2009/Ed. by I.A.Iurgel, N.Zagalo, P.Petta.-Berlin: Springer, 2009.-Vol. 5915.-360 p. -(Lecture Notes in Computer Science). 62. Parameterized and Exact Computational: Revised Selected Papers/4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 2009/Ed. by J.Chen, F.V.Fomin.-Berlin: Springer, 2009.-Vol. 5917.-335 p.-(Lecture Notes in Computer Science). 63. Advances in Computer Science - ASIAN 2009. Information Security and Privacy: Proc./13th Asian Computing Science Conference, Seoul, Korea, December 2009/Ed. by A.Datta. -Berlin: Springer, 2009.-Vol. 5913.-159 p.-(Lecture Notes in Computer Science). 64. Theory of Quantum Computation, Communication, and Cryptography: Revised Selected Papers/4th Workshop, TQC 2009, Waterloo, Canada, May 2009/Ed. by A.Childs, M.Moska. -Berlin: Springer, 2009.-Vol. 5906.-121 p.-(Lecture Notes in Computer Science). 65. Pattern Recognition and Machine Intelligence: Proc./Third Internatioal Conference, PReMI 2009, New Delhi, India, December 2009/Ed. by S.Chaudhury, S.Mitra, C.A.Murthy, P.S.Sastry.-Berlin: Springer, 2009.-Vol. 5909. -631 p.-(Lecture Notes in Computer Science). 66. Programming Languages and Systems: Proc./7th Asian Symposium, APLAS 2009, Seoul, Korea, December 2009/Ed. by Z.Hu.-Berlin: Springer, 2009.-Vol. 5904.-359 p.-(Lecture Notes in Computer Science). 67. Rough Sets, Fuzzy Sets, Data Mining and Granular Computing: Proc./12th International Conference, RSFDGrC 2009, Delhi, India, December 2009/Ed. by H.Sakai, M.K.Chakraborty, A.E.Hassanien, D.Slezak.-Berlin: Springer, 2009.-Vol. 5908.-528 p.-(Lecture Notes in Artificial Intelligence). 68. Intelligent Robotics and Applications: Proc./2nd International Conference, ICIRA 2009, Singapore, December 2009/Ed. by M.Xie, Y.Xiong, C.Xiong, H.Liu.-Berlin: Springer, 2009.-Vol. 5928.-1296 p.-(Lecture Notes in Artificial Intelligence). 69. Transactions on Edutainment III/Ed. by Z.Pan, A.D.Cheok, W.Muller.-Berlin: Springer, 2009.-Vol. 5940.-275 p.-(Lecture Notes in Computer Science). 70. Journal on Data Semantics XIV/Ed. by S.Spaccapietra, L.Delcambre.-Berlin: Springer, 2009.-Vol. 5880.-163 p. -(Lecture Notes in Computer Science). 71. Algorithms and Computation: Proc./20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 2009/ Ed. by Y.Dong, D.-Z.Du, O.Ibarra.-Berlin: Springer, 2009. -Vol. 5878.-1228 p.-(Lecture Notes in Computer Science). 72. Trasactions on Petri Nets and Other Models of Concurrency III/Ed. by K.Jensen, J.Billington, M.Koutny. -Berlin: Springer, 2009.-Vol. 5800.-275 p.-(Lecture Notes in Computer Science). 73. Transactions on Pattern Languages of Programming I/Ed. by J.Noble, R.Johnson.-Berlin: Springer, 2009.-Vol. 5770. -231 p.-(Lecture Notes in Computer Science). 74. Transactions on Large-Scale Data-and Knowledge-Centered Systems I/Ed. by A.Hameurlain, J.Kung, R.Wagner.-Berlin: Springer, 2009.-Vol. 5740.-373 p.-(Lecture Notes in Computer Science). 75. Algebraic Informatics: Proc./Third International Conference, CAI 2009, Thessaloniki, Grees, May 2009/Ed. by S.Bozapalidis, G.Rahonis.-Berlin: Springer, 2009.-Vol. 5725. -361 p.-(Lecture Notes in Computer Science). 76. Transactions on Computational Science VI/Ed. by M.L.Gavrilova, C.J.K.Tan.-Berlin: Springer, 2009.-Vol. 5730. -381 p.-(Lecture Notes in Computer Science). 77. Transactions on Data Hiding and Multimedia Security IV/ Ed. by Y.Q.Shi.-Berlin: Springer, 2009.-Vol. 5510.-103 p. -(Lecture Notes in Computer Science). 78. Transactions on Computational Science IV: Special Issue on Security in Computing/Ed. by M.L.Gavrilova, C.J.K.Tan. -Berlin: Springer, 2009.-Vol. 5430.-263 p.-(Lecture Notes in Computer Science). 79. RoboCup 2008: Robot Soccer World Cup XII/Ed. by L.Iocchi, H.Matsubara, A.Weitzenfeld, Ch.Zhou.-Berlin: Springer, 2009.-Vol. 5399.-662 p.-(Lecture Notes in Artificial Intelligence).