Hовые поступления со 2 февраля по 1 марта 2010 г.
1. Data Management in Grid and Peer-to-Peer Systems: Proc./2nd International Conference, Globe 2009, Linz, Austria, September 2009/Ed. by A.Hameurlain, A.M.Tjoa. -Berlin: Springer, 2009.-Vol. 5697.-151 p.-(Lecture Notes in Computer Science). 2. Holonic and Multi-Agent Systems for Manufacturing: Proc./4th International Conference HoloMAS 2009, Linz, Austria, August/September 2009/Ed. by V.Marik, Th.Strasser, A.Zoitl.-Berlin: Springer, 2009.-Vol. 5696.-326 p.-(Lecture Notes in Artificial Intelligence). 3. Trust, Privacy and Security in Digital Business: Proc./6th International Conference, TrustBus 2009, Linz, Austria, September 2009/Ed. by S.Fischer-Hubner, C.Lambrinoudakis, G.Pernul.-Berlin: Springer, 2009.-Vol. 5695. -169 p.-(Lecture Notes in Computer Science). 4. Electronic Participation: Proc./First International Conference, ePart 2009, Linz, Austria, September 2009/Ed. by A.Macintosh, E.Tambouris.-Berlin: Springer, 2009.-Vol. 5694. -187 p.-(Lecture Notes in Computer Science). 5. E-Commerce and Web Technologies: Proc./10th International Conference, EC-Web 2009, Linz, Austria, September 2009/Ed. by T.Di_Noia, F.Buccafurri.-Berlin: Springer, 2009.-Vol. 5692.-374 p.-(Lecture Notes in Computer Science). 6. Database and Expert Systems Applications: Proc./20th International Conference, DEXA 2009, Linz, Austria, August/September 2009/Ed. by S.S.Bhowmick, J.Kung, R.Wagner. -Berlin: Springer, 2009.-Vol. 5690.-865 p.-(Lecture Notes in Computer Science). 7. Approximation, Randomixation, and Combinatorial Optimization. Algorithms and Techniques: Proc./12th IW, APPROX 2009 and 13th IW, RANDOM 2009, Berkeley, CA, USA, August 2009/Ed. by I.Dinur, K.Jansen, J.Naor, J.Rolim. -Berlin: Springer, 2009.-Vol. 5687.-740 p.-(Lecture Notes in Computer Science). 8. Energy Minimization Methods in Computer Vision and Pattern Recognition: Proc./7th International Conference, EMMCVPR 2009, Bonn, Germany, August 2009/Ed. by D.Cremers, Yu.Boykov, A.Blake, F.R.Schmidt.-Berlin: Springer, 2009. -Vol. 5681.-494 p.-(Lecture Notes in Computer Science). 9. Mathematics of Surfaces XIII: Proc./13th International Conference, York, UK, September 2009/Ed. by E.R.Hancock, R.R.Martin, M.A.Sabin.-Berlin: Springer, 2009.-Vol. 5654. -409 p.-(Lecture Notes in Computer Science). 10. Artificial Intelligence: An International Perspective/ Ed. by M.Bramer.-Berlin: Springer, 2009.-Vol. 5640.-260 p. -(Lecture Notes in Artificial Intelligence). 11. Agents and Data Mining Interaction: Revised Selected Papers/4th International Workshop, ADMI 2009, Budapest, Hungary, May 2009/Ed. by L.Gao, V.Gorodetsky, J.Liu, G.Weiss. -Berlin: Springer, 2009.-Vol. 5680.-200 p.-(Lecture Notes in Artificial Intelligence). 12. Computational Methods in Systems Biology: Proc./7th International Conference, CMSB 2009, Bologna, Italy, August/September 2009/Ed. by P.Degano, R.Gorrieri.-Berlin: Springer, 2009.-Vol. 5688.-329 p.-(Lecture Notes in Bioinformatics). 13. Management Enabling the Future Internet for Changing Business and New Computing Services: Proc./12th Asia-Pacific Symposium, APNOMS 2009, Jeju, Sourth Korea, September 2009/ Ed. by Ch.S.Hong, T.Tonouchi, Y.Ma, Ch.-Sh.Chao.-Berlin: Springer, 2009.-Vol. 5787.-551 p.-(Lecture Notes in Computer Science). 14. Groupware: Design, Implementation, and Use: Proc./15th International Workshop, CRIWG 2009, Peso da Regua, Douro, Portugal, September 2009/Ed. by L.Carrico, N.Baloian, B.Fonseca.-Berlin: Springer, 2009.-Vol. 5784.-366 p. -(Lecture Notes in Computer Science). 15. Efficient Algorithms: Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday/Ed. by S.Albers, H.Alt, S.Naher.-Berlin: Springer, 2009.-Vol. 5760.-439 p. -(Lecture Notes in Computer Science). 16. Advances in Information Retrieval Theory: Proc./Second International Conference, ICTIR 2009, Cambrige, UK, September 2009/Ed. by L.Azzopardi, G.Kazai, S.Robertson, S.Ruger.-Berlin: Springer, 2009.-Vol. 5766.-386 p.-(Lecture Notes in Computer Science). 17. Eerging Intelligent Computing Technology and Applications: Proc./5th International Conference, ICIC 2009, Ulsan, Sourth Korea, September 2009/Ed. by D.-Sh.Huang, K.-H.Jo, H.-H.Lee, H.-J.Kang.-Berlin: Springer, 2009.-Vol. 5754.-1134 p.-(Lecture Notes in Computer Science). 18. Advances in Databases and Information Systems: Proc./13th East European Conference, ADBIS 2009, Riga, Latvia, September 2009/Ed. by J.Grundspenkis, T.Morzy, G.Vossen.-Berlin: Springer, 2009.-Vol. 5739.-379 p.-(Lecture Notes in Computer Science). 19. Computer Algebra in Scientific Computing: Proc./11th International Workshop, CASC 2009, Kobe, Japan, September 2009/Ed. by V.P.Gerdt, E.W.Mayr, E.V.Vorozhtsov.-Berlin: Springer, 2009.-Vol. 5743.-393 p.-(Lecture Notes in Computer Science). 20. Cryptographic Hardware and Embedded Systems - CHES 2009, Proc./11th International Workshop, Lausanne, Switzerland, September 2009/Ed. by Ch.Claver, K.Gaj.-Berlin: Springer, 2009.-Vol. 5747.-472 p.-(Lecture Notes in Computer Science). 21. Information Security: Proc./12th International Conference, ISC 2009, Pisa, Italy, September 2009/Ed. by P.Samarati, M.Yung, F.Martinelli, C.A.Ardagna.-Berlin: Springer, 2009.-Vol. 5735.-508 p.-(Lecture Notes in Computer Science). 22. The Internet of the Future: Proc./15th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2009, Barselona, Spain, September 2009/Ed. by M.Oliver, S.Sallent. -Berlin: Springer, 2009.-Vol. 5733.-227 p.-(Lecture Notes in Computer Science). 23. String Processing and Information Retrieval: Proc./16th International Sumposium, SPIRE 2009, Saariselka, Finland, August 2009/Ed. by J.Karlgren, J.Tarhio, H.Hyyro.-Berlin: Springer, 2009.-Vol. 5721.-354 p.-(Lecture Notes in Computer Science). 24. Object-Oriented Technology: Final Reports/ ECOOP 2008 Workshops, Paphos, Cyprus, July 2008/Ed. by P.Eugster. -Berlin: Springer, 2009.-Vol. 5475.-117 p.-(Lecture Notes in Computer Science). 25. Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information/Ed. by G.Sommaruga.-Berlin: Springer, 2009. -Vol. 5363.-269 p.-(Lecture Notes in Computer Science). 26. Modular Ontologies: Consepts, Theories and Techniques for Knowledge Modularization/Ed. by H.Stuckenschmidt, Ch.Parent, S.Spaccapietra.-Berlin: Springer, 2009.-Vol. 5445. -378 p.-(Lecture Notes in Computer Science). 27. Active Media Technology: Proc./5th International Conference, AMT 2009, Beijing, China, October 2009/Ed. by J.Liu, J.Wu, Y.Yao, T.Nishida.-Berlin: Springer, 2009.-Vol. 5820.-530 p.-(Lecture Notes in Computer Science). 28. Relations and Kleene Algebra in Computer Science: Proc./11th International Conference, RelMiCS 2009 and 6th International Conference, AKA 2009, Doha, Qatar, November 2009/Ed. by R.Berghammer, A.M.Jaoua, B.Moller.-Berlin: Springer, 2009.-Vol. 5827.-367 p.-(Lecture Notes in Computer Science). 29. Stochastic Algorithms: Foundations and Applications: Proc./5th Iternational Symposium, SAGA 2009, Sapporo, Japan, October 2009/Ed. by O.Watanabe, Th.Zeugmann.-Berlin: Springer, 2009.-Vol. 5792.-221 p.-(Lecture Notes in Computer Science). 30. Job Schedulig Strategies for Parallel Processing: Revised Papers/14th International Workshop, JSSPP 2009, Rome, Italy, May 2009/Ed. by E.Frachtenberg, U.Schwiegelshohn.-Berlin: Springer, 2009.-Vol. 5798.-301 p. -(Lecture Notes in Computer Science). 31. Artificial Neural Networks - ICANN 2009, Part I: Proc./19th International Conference, Limassol, Cyprus, September 2009/Ed. by C.Alippi, M.Polycarpou, Ch.Panayiotou, G.Ellinas.-Berlin: Springer, 2009.-Vol. 5768. -1030 p.-(Lecture Notes in Computer Science). 32. Artificial Neural Networks - ICANN 2009, Part II: Proc./19th International Conference, Limassol, Cyprus, September 2009/Ed. by C.Alippi, M.Policarpou, Ch.Panayiotou, G.Ellinas.-Berlin: Springer, 2009.-Vol. 5769. -1002 p.-(Lecture Notes in Computer Science). 33. Algorithms - ESA 2009: Proc./17th Annual European Symposium, Copenhagen, Denmark, September 2009/Ed. by A.Fiat, P.Sanders.-Berlin: Springer, 2009.-Vol. 5757.-790 p. -(Lecture Notes in Computer Science). 34. Spatial Information Theory: Proc./9th International Conference, COSIT 2009, Aber Wrac'h, France, September 2009/ Ed. by K.S.Hornsby, Ch.Claramunt, M.Denis, G.Ligozat.-Berlin: Springer, 2009.-Vol. 5756.-505 p.-(Lecture Notes in Computer Science). 35. Grid Economics and Business Models: Proc./6th International Workshop, GECON 2009, Delft, The Netherlands, August 2009/Ed. by J.Altmann, R.Buyya, O.F.Rana.-Berlin: Springer, 2009.-Vol. 5745.-183 p.-(Lecture Notes in Computer Science). 36. Machine Learning and Knowledge Discovery in Databases, Part II: Proc./European Conference, ECML PKDD 2009, Bled, Slovenia, September 2009/Ed. by W.Buntine, M.Grobelnic, D.Mladenic, J.Shawe-Taylor.-Berlin: Springer, 2009.-Vol. 5782. -762 p.-(Lecture Notes in Artificial Intelligence). 37. Mashine Learning and Knowledge Discovery in Databases, Part I: Proc./European Conference, ECML PKDD 2009, Bled, Slovenia, September 2009/Ed. by W.Buntine, M.Grobelnik, D.Mladenic, J.Shawe-Taylor.-Berlin: Springer, 2009.-Vol. 5781. -756 p.-(Lecture Notes in Artificial Intelligence). 38. Algorithmic Desision Theory: Proc./First International Conference, ADT 2009, Venice, Italy, October 2009/Ed. by F.Rossi, A.Tsoukias.-Berlin: Springer, 2009.-Vol. 5783.-460 p.-(Lecture Notes in Artificial Intelligence). 39. Logic, Language, Information and Computation: Proc./16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 2009/Ed. by H.Ono, M.Kanazawa, R.De_Queiroz. -Berlin: Springer, 2009.-Vol. 5514.-409 p.-(Lecture Notes in Artificial Intelligence). 40. Advances in Knowledge Discovery and Data Mining: Proc./13th Pacific-Asia Conference, PACDD 2009, Bangkok, Thailand, April 2009/Ed. by Th.Theeramunkong, B.Kijsirikul, N.Cercone, T.-B.Ho.-Berlin: Springer, 2009.-Vol. 5476.-1076 p.-(Lecture Notes in Artificial Intelligence). 41. Types for Proofs and Programs: Revised Selected Papers/ International Conference, TYPES 2008, Toronto, Italy, March 2008/Ed. by S.Berardi, F.Domiani, U.De'Liguoro.-Berlin: Springer, 2009.-Vol. 5497.-323 p.-(Lecture Notes in Computer Science). 42. Journal on Data Semantics XII/Ed. by S.Spaccapietra. -Berlin: Springer, 2009.-Vol. 5480.-179 p.-(Lecture Notes in Computer Science). 43. Transactions on Petri Nets and Other Models of Concurrency II: Special Issue on Concurrency in Process-Aware Information Systems/Ed. by K.Jensen.-Berlin: Springer, 2009.-Vol. 5460.-297 p.-(Lecture Notes in Computer Science). 44. Euro-Par 2008 Workshops - Parallel Processing: Revised Selected Papers/ VHPC 2008, UNICODE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canada, Spain, August 2008/Ed. by E.Cesar, M.Alexander, A.Streit, J.L.Traff.-Berlin: Springer, 2009. -Vol. 5415.-462 p.-(Lecture Notes in Computer Science). 45. Architectures for Adaptive Software Systems: Proc./5th International Conference of the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 2009/Ed. by R.Mirandola, I.Gorton, Ch.Hofmeister.-Berlin: Springer, 2009.-Vol. 5581.-213 p.-(Lecture Notes in Computer Science). 46. Evolving OpenMP in an Age of Extreme Parallelism: Proc./5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 2009/Ed. by M.S.Muller, B.R.De_Supinski, B.M.Chapmen.-Berlin: Springer, 2009.-Vol. 5568.-183 p.-(Lecture Notes in Computer Science). 47. Advanced Information Systems Engineering: Proc./21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 2009/Ed. by P.Van_Eck, J.Gordijn, R.Wieringa.-Berlin: Springer, 2009.-Vol. 5565.-562 p. -(Lecture Notes in Computer Science). 48. Algorithmic Aspects in Information and Management: Proc./5th International Conference, AAIM 2009, San Francisco,CA,USA, June 2009/Ed. by A.V.Goldberg, Yu.Zhou. -Berlin: Springer, 2009.-Vol. 5564.-327 p.-(Lecture Notes in Computer Science). 49. Coding and Criptology: Proc./ Second International Workshop, IWCC 2009, Zhangjiajie, China, June 2009/Ed. by Y.M.Chee, C.Li, S.Ling, H.Wang.-Berlin: Springer, 2009.-Vol. 5557.-275 p.-(Lecture Notes in Computer Science). 50. The Semantic Web: Research and Applications: Proc./6th European Semantic Web Conference, ESWC 2009, Heraklion, Greece, May/June 2009/Ed. by L.Aroyo.-Berlin: Springer, 2009. -Vol. 5554.-961 p.-(Lecture Notes in Computer Science). 51. Transactions on Computational Science V: Special Issue on Cognitive Knowledge Representation/Ed. by M.L.Gavrilova, C.J.K.Tan.-Berlin: Springer, 2009.-Vol. 5540.-237 p. -(Lecture Notes in Computer Science). 52. Distributed Computing in Sensor Systems: Proc./5th IEEE International Conference, DCOSS 2009, Marina del Rey,CA,USA, June 2009/Ed. by B.Krishnamachari, S.Suri, W.Heinzelman, U.Mitra.-Berlin: Springer, 2009.-Vol. 5516.-372 p.-(Lecture Notes in Computer Science). 53. Multiple Classifier Systems: Proc./8th International Workshop, MCS 2009, Reykjavik, Iceland, June 2009/Ed. by J.A.Benediksson, J.Kittler, F.Roli.-Berlin: Springer, 2009. -Vol. 5519.-540 p.-(Lecture Notes in Computer Science). 54. Coordination Models and Languages: Proc./11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 2009/Ed. by J.Field, V.T.Vasconcelos.-Berlin: Springer, 2009.-Vol. 5521.-307 p.-(Lecture Notes in Computer Science). 55. Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes: Proc./18th International Symposium, AAECC-18, Tarragona, Spain, June 2009/Ed. by M.Bras-Amoros, T.Hoholdt.-Berlin: Springer, 2009.-Vol. 5527.-243 p. -(Lecture Notes in Computer Science). 56. Requirements Engineering: Foundation for Software Quality: 15th International Working Conference, REFSQ 2009, Amsterdam, The Netherlands, June 2009/Ed. by M.Glinz, P.Heymans.-Berlin: Springer, 2009.-Vol. 5512.-257 p. -(Lecture Notes in Computer Science). 57. Вознесенский И.Б. Пособие по корреспонденции на английском языке.- Ленинград: Наука, 1981.- 305 с. 58. Герасимов А.Н. Математические модели системы "Паразит-хозяин": Автореф. дис... докт. ф.-м. наук: 05.13.18. -М., 2009.-44 с.-Библиогр.: c.41-44. 59. Городняя Л.В. Функциональный подход к описанию парадигм программирования.-Новосибирск, 2009.-66 с.-(Препринт/ИСИ СО РАН; N 152). 60. Logic Programming: Proc./25th International Conference, ICLP 2009, Pasadena, CA,USA, July 2009/Ed. by P.M.Hill, D.S.Warren.-Berlin: Springer, 2009.-Vol. 5649.-564 p. -(Lecture Notes in Computer Science). 61. Computer Aided Verification: Proc./21st International Conference, CAV 2009, Grenoble, France, June/Jule 2009/Ed. by A.Bouajjani, O.Maler.-Berlin: Springer, 2009.-Vol. 5643. -722 p.-(Lecture Notes in Computer Science). 62. Typed Lambda Calculi and Applications: Proc./9th International Conference, TLCA 2009, Brasilia, Brazil, July 2009/Ed. by P.-L.Curien.-Berlin: Springer, 2009.-Vol. 5608. -417 p.-(Lecture Notes in Computer Science). 63. Models in Software Engineering: Reports and Revised Selected Papers/ Workshop and Symposia at MODELS 2008, Toulouse, France, September/October 2009/Ed. by M.R.V.Chaudron.-Berlin: Springer, 2009.-Vol. 5421.-404 p. -(Lecture Notes in Computer Science). 64. Hardware and Software: Verification and Testing: Proc./4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 2008/Ed. by H.Chockler, A.J.Hu. -Berlin: Springer, 2009.-Vol. 5349.-215 p.-(Lecture Notes in Computer Science). 65. Advanced Internet Based Systems and Applications: Revised Selected Papers/2nd International Conference, SITIS 2006, Hammamet, Tunisia, December 2006/Ed. by E.Damiani, K.Yetongnon, R.Chbeir, A.Dipanda.-Berlin: Springer, 2009. -Vol. 4879.-374 p.-(Lecture Notes in Computer Science). 66. Model Checking Software: Proc./16th International SPIN Workshop, Grenoble, France, June 2009/Ed. by C.S.Pasareanu. -Berlin: Springer, 2009.-Vol. 5578.-297 p.-(Lecture Notes in Computer Science). 67. Reliable Software Technologies - Ada-Europe 2009: Proc./14th Ada-Europe International Conference, Brest, France, June 2009/Ed. by F.Kordon, Y.Kermarres.-Berlin: Springer, 2009.-Vol. 5570.-283 p.-(Lecture Notes in Computer Science). 68. Software Engineering for Self-Adaptive Systems/Ed. by B.H.C.Cheng, R.De_Lemos, H.Giese, P.Inverardi.-Berlin: Springer, 2009.-Vol. 5525.-261 p.-(Lecture Notes in Computer Science). 69. Experimental Algorithms: Proc./8th International Symposium, SEA 2009, Dortmund, Germany, June 2009/Ed. by J.Vahrenhold.-Berlin: Springer, 2009.-Vol. 5526.-293 p. -(Lecture Notes in Computer Science). 70. Language Engineering and Rigorous Software Development: Recides Tutorial Lectires/ International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February/March 2008/Ed. by A.Bove, L.S.Barbosa, A.Pardo, J.S.Pinto.-Berlin: Springer, 2009.-Vol. 5520.-301 p.-(Lecture Notes in Computer Science). 71. Automated Reasoning with Analytic Tableaux and Related Methods: Proc/18th International Conference, TABLEAUX 2009, Oslo, Norway, July 2009/Ed. by M.Giese, A.Waaler.-Berlin: Springer, 2009.-Vol. 5607.-341 p.-(Lecture Notes in Artificial Intelligence). 72. Политов М.С. Экспериментально-аналитический метод оценки и прогнозирования уровня защищенности информационных систем на основе модели временных рядов: Автореф. дис... канд. тех. наук: 05.13.19.-Уфа, 2010.-16 с.-Библиогр.: c.16. 73. Ильев В.П. Задачи оптимизации и аппроксимации на наследственных системах: Автореф. дис... докт. ф.-м. наук: 01.01.09.-Новосибирск, 2010.-30 с.-Библиогр.: c.25-30. 74. Поспелов А.И. Методы многокритериальной целочисленной оптимизации, основанные на аппроксимации границы Парето: Автореф. дис... канд. ф.-м. наук: 05.13.18.-М., 2010.-20 с. -Библиогр.: c.19-20.