Hовые поступления с 31 мая по 2 июля 2010 г.
1. Tools and Algorithms for the Construction and Analysis of Systems: Proc./16th International Conference, TACAS 2010, Joint European Conferences, ETAPS 2010, Paphos, Cyprus, March 2010/Ed. by J.Esparza, R.Majumdar.-Berlin: Springer, 2010.-Vol. 6015.-486 p.-(Lecture Notes in Computer Science). 2. Foundations of Software Science and Computational Structures: Proc./13th International Conference, FOSSACS 2010, Joint European Conferences, ETAPS 2010, Paphos, Cyprus, March 2010/Ed. by L.Ong.-Berlin: Springer, 2010. -Vol. 6014.-389 p.-(Lecture Notes in Computer Science). 3. Fundamental Approaches to Software Engineering: Proc./13th International Conference, FASE 2010, Joint European Conferences, ETAPS 2010, Paphos, Cyprus, March 2010/ Ed. by D.S.Rosenblum, G.Taentzer.-Berlin: Springer, 2010. -Vol. 6013.-383 p.-(Lecture Notes in Computer Science). 4. Programming Languages and Systems: Proc./19th European Symposium ESOP 2010, Joint European Conferences ETAPS 2010, Paphos, Cyprus, March 2010/Ed. by A.D.Gordon.-Berlin: Springer, 2010.-Vol. 6012.-632 p.-(Lecture Notes in Computer Science). 5. Compiler Construction: Proc./19th International Conference CC 2010, Held as Part of the Join European Conferences ETAPS 2010, Paphos, Cyprus, March 2010/Ed. by R.Gupta.-Berlin: Springer, 2010.-Vol. 6011.-326 p.-(Lecture Notes in Computer Science). 6. Computational Linguistics and Intelligent Text Processing: Proc./11th International Conference, CICLing 2010, Iasi< Romania, March 2010/Ed. by A.Gelbukh.-Berlin: Springer, 2010.-Vol. 6008.-760 p.-(Lecture Notes in Computer Science). 7. Институт автоматики и электрометрии в 2009 году. Отчет о деятельности/СО РАН. .- Новосибирск, 2010.- 146 с. 8. Авдеев А.С. Разработка адаптивных моделей и программного комплекса прогнозирования экономических временных рядов: Автореф. дис... канд. тех. наук: 05.13.18. -Барнаул, 2010.-19 с.-Библиогр.: c.18-19. 9. Тишков О.И. Математическое моделирование инновационного потециала организации на основе гибридных экспертных систем: Автореф. дис... канд. тех. наук: 05.13.18.-Барнаул, 2010.-19 с.-Библиогр.: c.19. 10. Шелехов В.И. Предикатное программирование: Учебное пособие/НГУ. .- Новосибирск, 2009.- 109 с. 11. Public Key Cryptography - PKC 2010: Proc./13th International Conference on Practice and Theory in PKC, Paris, France, May 2010/Ed. by Ph.Q.Nguyen, D.Pointcheval. -Berlin: Springer, 2010.-Vol. 6056.-519 p.-(Lecture Notes in Computer Science). 12. Experimental Algorithms: Proc./9th International Symposium, SEA 2010, Ischia Islend, Naples, Italy, May 2010/ Ed. by P.Festa.-Berlin: Springer, 2010.-Vol. 6049.-514 p. -(Lecture Notes in Computer Science). 13. Advances in Computer Games: Revised Papers/12th International Conference, ACG 2009, Pamplona, Spane, May 2009 /Ed. by H.J.Van_Den_Herik, P.Spronck.-Berlin: Springer, 2010. -Vol. 6048.-233 p.-(Lecture Notes in Computer Science). 14. Advances Lectures on Software Engineering: LASER Summer School 2007/2008/Ed. by P.Muller.-Berlin: Springer, 2010. -Vol. 6029.-189 p.-(Lecture Notes in Computer Science). 15. Databases in Networked Information Systems: Proc./6th International Workshop, DNIS 2010, Aizu-Wakamatsu, Japan, March 2010/Ed. by S.Kikuchi, S.Sachdeva, S.Bhalla.-Berlin: Springer, 2010.-Vol. 5999.-337 p.-(Lecture Notes in Computer Science). 16. Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: Proc./15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 2010/Ed. by B.Muller-Closterman, K.Echtle, E.P.Rathgeb.-Berlin: Springer, 2010.-Vol. 5987.-323 p. -(Lecture Notes in Computer Science). 17. Intelligent Information and Database Systems, Part I: Proc./Second International Conference, ACIIDS, Hue City, Vietnam, March 2010/Ed. by N.T.Nguyen, M.T.Le, J.Swiatek. -Berlin: Springer, 2010.-Vol. 5990.-476 p.-(Lecture Notes in Artificial Intelligence). 18. Intelligent Informationand Ddatabase Systems, Part II: Proc./Second International Conference, ACIIDS, Hue City, Vietnam, March 2010/Ed. by N.T.Nguyen, M.T.Le, J.Swiatek. -Berlin: Springer, 2010.-Vol. 5991.-483 p.-(Lecture Notes in Artificial Intelligence). 19. Applications of Evolutionary Computation, Part II: Proc./EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 2010/Ed. by C.Di_Chio.-Berlin: Springer, 2010.-Vol. 6025. -476 p.-(Lecture Notes in Computer Science). 20. Applications of Evolutionary Computation, Part I: Proc./EvoApplications 2010: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Istanbul, Turkey, April 2010/Ed. by C.Di_Chio.-Berlin: Springer, 2010.-Vol. 6024.-616 p.-(Lecture Notes in Computer Science). 21. Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics: Proc./8th European Conference, EvoBIO 2010, Istanbul, Turkey, April 2010/Ed. by C.Pizzuti, M.D.Rotchie, M.Giocobini.-Berlin: Springer, 2010.-Vol. 6023. -249 p.-(Lecture Notes in Computer Science). 22. Evolutionary Computation in Combinatorial Optimization: Proc./10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 2010/Ed. by P.Cowling, P.Merz.-Berlin: Springer, 2010.-Vol. 6022.-290 p.-(Lecture Notes in Computer Science). 23. Genetic Programming: Proc./13th European Conference, EuroGP 2010, Istanbul, Turkey, April 2010/Ed. by A.I.Esparcia-Alcazar, A.Ekart, S.Silva, S.Dignum.-Berlin: Springer, 2010.-Vol. 6021.-336 p.-(Lecture Notes in Computer Science). 24. Computational Science and Its Applications - ICCSA 2010. Part IV: Proc./International Conference, Fukuoka, Japan, March 2010/Ed. by D.Taniar, O.Gervasi, B.Murgante, E.Pardede.-Berlin: Springer, 2010.-Vol. 6019.-540 p. -(Lecture Notes in Computer Science). 25. Computational Science and Its Applications - ICCSA 2010, Part III: Proc./International Conference, Fukuoka, Japan, March 2010/Ed. by D.Taniar, O.Gervasi, B.Murgante, E.Pardede.-Berlin: Springer, 2010.-Vol. 6018.-570 p. -(Lecture Notes in Computer Science). 26. Computational Science and Its Applications - ICCSA 2010, Part II: Proc./International Conference, Fukuoka, Japan, March 2010/Ed. by D.Tanair, O.Gervasi, B.Murgante, E.Pardede.-Berlin: Springer, 2010.-Vol. 6017.-602 p. -(Lecture Notes in Computer Science). 27. Computational Science and Its Applications - ICCSA 2010, Part I: Proc./International Conference. Fukuoka, Japan, March 2010/Ed. by D.Taniar, O.Gervasi, B.Murgante, E.Pardede.-Berlin: Springer, 2010.-Vol. 6016.-628 p. -(Lecture Notes in Computer Science). 28. Functional and Logic Programming: Proc./10th International Symposium, FLOPS 2010, Sendai, Japan, April 2010/Ed. by M.Blume, N.Kobayashi, G.Vidal.-Berlin: Springer, 2010.-Vol. 6009.-355 p.-(Lecture Notes in Computer Science). 29. Advances in Social Computing: Proc./Third International Conference on SC, Behavioral Modeling, and Prediction, SBP 2010, Bethesda,MD,USA, March 2010/Ed. by S.-K.Chai, J.J.Salerno, P.L.Mabry.-Berlin: Springer, 2010.-Vol. 6007. -426 p.-(Lecture Notes in Computer Science). 30. Traffic Monitoring and Analysis: Proc./Second International Workshop, TMA 2010, Zurich, Switzerland, April 2010/Ed. by F.Ricciato, M.Mellia, E.Biersack.-Berlin: Springer, 2010.-Vol. 6003.-199 p.-(Lecture Notes in Computer Science). 31. Functional and Constraint Logic Programming: /18th International Workshop, WELP 2009, Brasilia, Brazil, June 2009/Ed. by S.Escobar.-Berlin: Springer, 2010.-Vol. 5979. -179 p.-(Lecture Notes in Computer Science). 32. Development of Multimodal Interfaces: Active Listening and Synchrony: Revised Selected Papers/Second COST 2102 International Training School, Dublin, Ireland, March 2009/ Ed. by A.Esposito, N.Campbell, C.Vogel, A.Hussain.-Berlin: Springer, 2010.-Vol. 5967.-446 p.-(Lecture Notes in Computer Science). 33. Auditory Display: Revised Papers/6th International Symposium, CMMR/ICAD 2009, Copenhagen, Danmark, May 2009/Ed. by S.Ystad, M.Aramaki, R.Kronland-Martinet, K.Jensen.-Berlin: Springer, 2010.-Vol. 5954.-493 p.-(Lecture Notes in Computer Science). 34. Search Computing: Challenges and Direction/Ed. by S.Ceri, M.Brambilla.-Berlin: Springer, 2010.-Vol. 5950.-321 p.-(Lecture Notes in Computer Science). 35. Natural Language Processing and Information Systems: Revised Papers/14th International Conference on Applications of NL to IS, NLDB 2009, Saarbrucken. Germany, 2009/Ed. by H.Horacek, E.Metais, R.Munoz, M.Wolska.-Berlin: Springer, 2010.-Vol. 5723.-318 p.-(Lecture Notes in Computer Science). 36. Computer Vision - ACCV 2009, Part I: Revised Selected Papers/9th Asian Conference on CV, Xi'an, September 2009/Ed. by H.Zha, R.Taniguchi, S.Naybank.-Berlin: Springer, 2010. -Vol. 5994.-390 p.-(Lecture Notes in Computer Science). 37. Computer Vision - ACCV 2009, Part II: Revised Selected Papers/9th Asian Conference on CV, Xi'an, September 2009/Ed. by H.Zha, R.Taniguchi, S.Maybank.-Berlin: Springer, 2010. -Vol. 5995.-724 p.-(Lecture Notes in Computer Science). 38. Computer Vision - ACCV 2009, Part III: Revised Selected Papers/9th Asian Conference on CV, Xi'an, September 2009/Ed. by H.Zha, R.Taniguchi, S.Maybank.-Berlin: Springer, 2010. -Vol. 5996.-684 p.-(Lecture Notes in Computer Science). 39. The Semantic Web: Research and Applications, Part I: Proc./7th Extended SW Conference, ESWC 2010, Heraclion, Greece, May/June 2010/Ed. by L.Aroyo, G.Antoniou, E.Hyvonen, A.Ten_Teije.-Berlin: Springer, 2010.-Vol. 6088. -460 p.-(Lecture Notes in Computer Science). 40. The Semantic Web: Research and Applications. Part II: Proc./7th Extended SW Conference, ESWC 2010, Heraklion, Greece, May/June 2010/Ed. by L.Aroyo, G.Anoniou, E.Hyvonen, A.Ten_Teije.-Berlin: Springer, 2010.-Vol. 6089.-505 p. -(Lecture Notes in Computer Science). 41. Fun with Algorithms: Proc./5th International Conference, FUN 2010, Iscia, Italy, June 2010/Ed. by P.Boldi. -Berlin: Springer, 2010.-Vol. 6099.-382 p.-(Lecture Notes in Computer Science). 42. Algorithms and Complexity: Proc./7th International Conference, CIAC 2010, Rome, Italy, May 2010/Ed. by T.Calamoneri, J.Diaz.-Berlin: Springer, 2010.-Vol. 6078.-384 p.-(Lecture Notes in Computer Science). 43. Advances in Artificial Intelligence: Proc./23rd Canadian Conference on AI, Canadian AI 2010, Ottawa, Canada, May/June 2010/Ed. by A.Farzindar, V.Keselj.-Berlin: Springer, 2010.-Vol. 6085.-426 p.-(Lecture Notes in Artificial Intelligence). 44. Шелехов В.И. Разработка эффективных программ стандартных функций floor, isqrt и ilog2 по технологии предикатного программирования.-Новосибирск, 2010.-42 с. -(Препринт/ИСИ СО РАН; N 154). 45. Марьясов И.В. Применение смешанной аксиоматической семантики языка c-kernel к верификации программы топологической сортировки.-Новосибирск, 2010.-34 с. -(Препринт/ИСИ СО РАН; N 155). 46. Семинар "Семантика, спецификация и верификация программ: теория и приложения"/5-й международный симпозиум по компьютерным наукам в России, Казань, 14-15 июня 2010/ Ред. В.А.Непомнящий, В.А.Соколов.-Казань, 2010.-178 с. 47. Logic-Based Program Synthesis and Transformation: Revised Selected Papers/19th International Sumposium, LOPSTR 2009, Coimbra, Portugal, September 2009/Ed. by D.De_Schreye. -Berlin: Springer, 2010.-Vol. 6037.-205 p.-(Lecture Notes in Computer Science). 48. Smart Card Research and Advanced Application: Proc./9th IFIP WG 8.8/11.2 International Conference, CARDIS 2010, Passau, Germany, April 2010/Ed. by D.Gollmann, J.-L.Lanet, J.Iguchi-Cartigny.-Berlin: Springer, 2010.-Vol. 6035.-239 p. -(Lecture Notes in Computer Science). 49. LATIN 2010: Theoretical Informatics: Proc./9th Latin American Symposium, Oaxaca, Mexico, April 2010/Ed. by A.Lopez-Ortis.-Berlin: Springer, 2010.-Vol. 6034.-706 p. -(Lecture Notes in Computer Science). 50. Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices: Proc./4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 2010/Ed. by P.Samarati, M.Tunstall, J.Posegga, K.Markantonakis.-Berlin: Springer, 2010.-Vol. 6033. -386 p.-(Lecture Notes in Computer Science). 51. Passive and Active Measurement: Proc./11th International Conference, PAM 2010, Zurich, Switzerland, April 2010/Ed. by A.Krishnamurthy, B.Plattner.-Berlin: Springer, 2010.-Vol. 6032.-233 p.-(Lecture Notes in Computer Science). 52. Advances in Grid and Pervasive Computing: Proc./5th International Conference, GPC 2010, Hualien, Yaiwan, May 2010 /Ed. by P.Bellavista, R.-S.Chang, H.-Ch.Chao, P.M.A.Sloot. -Berlin: Springer, 2010.-Vol. 6104.-701 p.-(Lecture Notes in Computer Science). 53. Networking 2010: Proc./9th International IFIP TC 6 Networking Conference, Chennai, India, May 2010/Ed. by M.Crovella, L.M.Feeney, D.Rubenstein, S.V.Raghavan.-Berlin: Springer, 2010.-Vol. 6091.-410 p.-(Lecture Notes in Computer Science). 54. Advances in Intelligent Data Analysis IX: Proc./9th International Symposium, IDA 2010, Tucson,AZ,USA, May 2010/ Ed. by P.R.Cohen, N.M.Adams, M.R.Berthold.-Berlin: Springer, 2010.-Vol. 6065.-260 p.-(Lecture Notes in Computer Science). 55. Algorithms and Applications: Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday/Ed. by T.Elomaa, H.Mannila, P.Orponen.-Berlin: Springer, 2010.-Vol. 6060.-261 p.-(Lecture Notes in Computer Science). 56. Semantic Processing of Legal Texts: Where the Language of Law Meets the Law of Language/Ed. by E.Francesconi, S.Montemagni, W.Peters, D.Tiscornia.-Berlin: Springer, 2010. -Vol. 6036.-249 p.-(Lecture Notes in Computer Science). 57. Pervasive Computing: Proc./8th International Conference, Pervasive 2010, Helsinki, Finland, May 2010/Ed. by P.Floreen, A.Kruger, M.Spasojevic.-Berlin: Springer, 2010. -Vol. 6030.-446 p.-(Lecture Notes in Computer Science). 58. Foundations of Computing Software: Future Trends and Techniques for Development: Revised Selected Papers/15th Monterey Workshop 2008, Budapest, Hungary, September 2008/ Ed. by Ch.Choppy, O.Sokolsky.-Berlin: Springer, 2010.-Vol. 6028.-275 p.-(Lecture Notes in Computer Science). 59. Computational Modeling of Objects Represented in Images: Proc./Second International Symposium, CompIMAGE 2010, Buffalo,NY,USA, May 2010/Ed. by R.P.Barneva, V.E.Brimkov, H.A.Hauptman, R.M.Natal_Jorge.-Berlin: Springer, 2010.-Vol. 6026.-326 p.-(Lecture Notes in Computer Science). 60. Ethics and Policy of Biometrics: Revised Selected Papers/Third International Conference, ICEB 2010, Hong Kong, January 2010/Ed. by A.Kumar, D.Zhang.-Berlin: Springer, 2010. -Vol. 6005.-169 p.-(Lecture Notes in Computer Science). 61. Models in Software Engineering: Reports and Revised Selected Papers/ Workshops and Symposia at MODELS 2009, Denver,CO,USA, October 2009/Ed. by S.Ghosh.-Berlin: Springer, 2010.-Vol. 6002.-360 p.-(Lecture Notes in Computer Science). 62. High Performance Computing Systems and Applications: Revised Selected Papers/23rd International Symposium, HPCS 2009, Kingston,ON,Canada, June 2009/Ed. by D.J.K.Mewhort, N.M.Cann, G.W.Slater, T.J.Naughton.-Berlin: Springer, 2010. -Vol. 5976.-418 p.-(Lecture Notes in Computer Science). 63. Mobile Multimedia Processing: Fundamentals, Methods, and Applications/Ed. by X.Jiang, M.Y.Ma, Ch.W.Chen.-Berlin: Springer, 2010.-Vol. 5960.-287 p.-(Lecture Notes in Computer Science). 64. Large-Scale Scientific Computing: Revised Papers/7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 2009/Ed. by I.Lirkov, S.Margenov, J.Wasniewski.-Berlin: Springer, 2010.-Vol. 5910.-839 p.-(Lecture Notes in Computer Science). 65. Approximation and Online Algorithms: Revised Papers/7th International Workshop, WAOA 2009, Copenhagen, Danmark, September 2009/Ed. by E.Bampis, K.Jansen.-Berlin: Springer, 2010.-Vol. 5893.-255 p.-(Lecture Notes in Computer Science). 66. Knowledge Discovery from Sensor Data: Revised Selected Papers/ Second International Workshop, Sensor-KDD 2008, Las Vegas,NV,USA, August 2008/Ed. by M.M.Gaber, R.R.Vatsavai, O.A.Omitaomu, J.Gama.-Berlin: Springer, 2010.-Vol. 5840.-227 p.-(Lecture Notes in Computer Science). 67. Theory and Applications of Models of Computation: Proc/7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 2010/Ed. by J.Kratochvil, A.Li, J.Fiala, P.Kolman.-Berlin: Springer, 2010.-Vol. 6108.-480 p.-(Lecture Notes in Computer Science). 68. Зворыгин Л.В., Курленя М.В. Летопись института горного дела Сибирского отделения РАН: Люди, события, даты 1943-2000. - Новосибирск: АНО Издательский дом "Новосибирский писатель", 2004.- 640 с. 69. Николай Никитович Пузыръв. Он долго был с нами/Ред. М.И.Эпов, А.Э.Конторович; СО РАН. Институт нефтегазовой геологии и геофизики им. А.А.Трофимука. .- Новосибирск, 2009. - 201 с.-(Наука Сибири в лицах).-Библиогр.: c.154-197. 70. Сергей Васильевич Гольдин. Стихи и формулы/Ред. А.Э.Конторович, М.И.Эпов; СО РАН. Институт нефтегазовой геологии и геофизики им. А.А.Трофимука. .- Новосибирск, 2009. - 512 с.-(Наука Сибири в лицах).-Библиогр.: c.473-509. 71. Маттис А.Р., Зворыгин Л.В., Лабутин В.Н. Творцы горных машин/СО РАН. Институт гоного дела. .- Новосибирск, 2008.- 248 с. 72. Сергей Алексеевич Христианович. Выдающийся механик ХХ века/Ред. В.М.Фомин, А.М.Харитонов; СО РАН. Институт теоретической и прикладной механики им. С.А.Христианович. .- Новосибирск: Академическое изд-во "Гео", 2008.- 356 с. -(Наука Сибири в лицах).-Библиогр.: c.343-354. 73. Институт теоретической и прикладной механики. Годы, люди, события/Ред. А.М.Харитонов; СО РАН. Институт теоретической и прикладной механики им. С.А.Христианович. .- Новосибирск, 2000.- 348 с. 74. Проблемы управления и моделирования в сложных системах: Труды XII Международной конференции, Самара, Россия, 21-23 июня 2010/Ред. Е.А.Федосов, Н.А.Кузнецов, В.А.Виттих; Самарский научный центр РАН. Институт проблем управления сложными системами. .- Самара, 2010.- 712 с. 75. Из Российской глубинки - в науку. Научная династия Келлей-Добрецовых/Ред. Н.А.Притвиц; СО РАН. .- Новосибирск, 2009.- 242 с.