Hовые поступления со 2 апреля по 2 мая 2012 года
1. Ерусалимский Я.М. Нестандартная достижимость на ориентированных графах и сетях: Автореф. дис... докт. ф.-м. наук: 01.01.09.-Ярославль, 2012.-36 с.-Библиогр.: c.33-36. 2. Intelligent Information and Database Systems, Part I: Proc./4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 2012/Ed. by J.-S.Pan, S.-M.Chen, N.T.Nguyen.-Berlin: Springer, 2012.-Vol. 7196.-503 p.-(Lecture Notes in Artificial Intelligence). 3. Intelligent Information and Database Systems, Part II: Proc./4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 2012/Ed. by J.-S.Pan, S.-M.Chen, N.T.Nguyen.-Berlin: Springer, 2012.-Vol. 7197.-575 p.-(Lecture Notes in Artificial Intelligence). 4. Intelligent Information and Database Systems, Part III: Proc./4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 2012/Ed. by J.-S.Pan, S.-M.Chen, N.T.Nguyen.-Berlin: Springer, 2012.-Vol. 7198.-529 p.-(Lecture Notes in Artificial Intelligence). 5. Medical Content-Based Retrieval for Clinical Decision Support: Revised Selected Papers/2nd MICCAI International Workshop, MCBR-CDS 2011, Toronto,ON,Canada, September 2011/Ed. by H.Muller, H.Greenspan, T.Syeda-Mahmood.-Berlin: Springer, 2012. -Vol. 7075.-153 p.-(Lecture Notes in Computer Science). 6. Reconfigurable Computing: Architectures, Tools and Applications: Proc./8th International Symposium, ARC 2012, Hong Kong, China, March 2012/Ed. by O.C.S.Choy, R.C.C.Cheung, P.Athanas, K.Sano.-Berlin: Springer, 2012.-Vol. 7199.-386 p. -(Lecture Notes in Computer Science). 7. Selected Areas in Cryptography: Revised Selected Papers/18th International Conference, SAC 2011, Toronto,ON,Canada, August 2011 /Ed. by A.Miri, S.Vaudenay.-Berlin: Springer, 2012.-Vol. 7118. -431 p.-(Lecture Notes in Computer Science). 8. Cryptography and Security: From Theory to Applications: Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday/Ed. by D.Naccache.-Berlin: Springer, 2012. -Vol. 6805.-502 p.-(Lecture Notes in Computer Science). 9. Advances in User Modeling: Revised Selected Papers/ UMAP 2011 Workshops, Girona, Spain, July 2011/Ed. by L.Ardissono, T.Kuflik.-Berlin: Springer, 2012.-Vol. 7138.-416 p.-(Lecture Notes in Computer Science). 10. Latent Variable Analysis and Signal Separation: Proc./10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 2012/Ed. by F.Theis, A.Cichocki, A.Yeredor, M.Zibulevsky.-Berlin: Springer, 2012.-Vol. 7191.-538 p.-(Lecture Notes in Computer Science). 11. Traffic Monitoring and Analysis: Proc./4th International Workshop, TMA 2012, Vienna, Austria, March 2012/Ed. by A.Pescape, L.Salgarelli, X.Dimitropoulos.-Berlin: Springer, 2012. -Vol. 7189.-200 p.-(Lecture Notes in Computer Science). 12. Self-Organizing Systems: Proc./6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 2012/Ed. by F.A.Kuipers, P.E.Heegaard.-Berlin: Springer, 2012.-Vol. 7166.-130 p.-(Lecture Notes in Computer Science). 13. Fundamental Approaches to Software Engineering: Proc./15th International Conference, FASE 2012 Held as Part of the European Joint Conferences, ETAPS 2012, Tallinn, Estonia, March 2012/Ed. by J.De_Lara, A.Zisman.-Berlin: Springer, 2012.-Vol. 7212.-518 p. -(Lecture Notes in Computer Science). 14. Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: Proc./16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March, 2012/Ed. by J.B.Schmitt.-Berlin: Springer, 2012.-Vol. 7201. -331 p.-(Lecture Notes in Computer Science). 15. Abdominal Imaging. Computational and Clinical Applications: Revised Selected Papers/3rd International Workshop, Held in Conjunction with MICCAI 2011, Toronto,ON,Canada, September 2011/ Ed. by H.Yoshida, G.Sakas, M.G.Linguraru.-Berlin: Springer, 2012. -Vol. 7029.-274 p.-(Lecture Notes in Computer Science). 16. Formal Aspects of Component Software: Revised Selected Papers/7th International Workshop, FACS 2010, Guimaraes, Portugal, October 2010/Ed. by L.S.Barbosa, M.Lumpe.-Berlin: Springer, 2012.-Vol. 6921.-305 p.-(Lecture Notes in Computer Science). 17. Passive and Active Measurement: Proc./13th International Conference, PAM 2012, Vienna, Austria, March 2012/Ed. by N.Taft, F.Ricciato.-Berlin: Springer, 2012.-Vol. 7192.-280 p.-(Lecture Notes in Computer Science). 18. Resource Discovery: Revised Selected Papers/3rd International Workshop, RED 2010, Paris, France, November 2010/ Ed. by Z.Lacroix, M.E.Vidal.-Berlin: Springer, 2012.-Vol. 6799. -191 p.-(Lecture Notes in Computer Science). 19. Language and Automata Theory and Applications: Proc./6th International Conference, LATA 2012, A Coruna, Spain, March 2012/ Ed. by A.-H.Dediu, C.Martin-Vide.-Berlin: Springer, 2012.-Vol. 7183.-556 p.-(Lecture Notes in Computer Science). 20. Computational Linguistics and Intelligent Text Pricessing, Part I: Proc./13th International Conference, CICLing 2012, New Delhi, India, March 2012/Ed. by A.Gelbukh.-Berlin: Springer, 2012. -Vol. 7181.-617 p.-(Lecture Notes in Computer Science). 21. Computational Linguistics and Intelligent Text Processing, Part II: Proc./13th International Conference, CICLing 2012, New Delhi, India, March 2012/Ed. by A.Gelbukh.-Berlin: Springer, 2012. -Vol. 7182.-517 p.-(Lecture Notes in Computer Science). 22. Building a National Distributed e-Infrastructure - PL-Grid: Scientific and Technical Achievements/Ed. by M.Bubak, T.Szepieniec, K.Wiatr.-Berlin: Springer, 2012.-Vol. 7136.-354 p. -(Lecture Notes in Computer Science). 23. Foundations of Information and Knowledge Systems: Proc./7th International Symposium, FolKS 2012, Kiel, Germany, March 2012/ Ed. by Th.Lukasiewicz, A.Sali.-Berlin: Springer, 2012.-Vol. 7153. -405 p.-(Lecture Notes in Computer Science). 24. Mathematical Modeling and Computational Science: Revised Selected Papers/ International Conference, MMCP 2011, Stara Lesna, Slovakia, July 2011/Ed. by G.Adam, J.Busa, M.Hnatic. -Berlin: Springer, 2012.-Vol. 7125.-336 p.-(Lecture Notes in Computer Science). 25. Logic and Programming, Artificial Intelligence, and Reasoning: Proc./18th International Conference, LPAR-18, Merida, Venezuela, March 2012/Ed. by N.Bjorner, A.Voronkov.-Berlin: Springer, 2012.-Vol. 7180.-446 p.-(Lecture Notes in Computer Science). 26. Multi-Agent-Based Simulation XII: Revised Selected Papers/ International Workshop, MABS 2011, Taipei, Taiwan, May 2011/Ed. by D.Villatoro, J.Sabater-Mir, J.S.Sichman.-Berlin: Springer, 2012.-Vol. 7124.-127 p.-(Lecture Notes in Artificial Intelligence). 27. Adaptive and Learning Agents: Revised Selected Papers/ International Workshop, ALA 2011 Held at AAMAS 2011, Taipei, Taiwan, May 2011/Ed. by P.Vrancx, M.Knudson, M.Grzes.-Berlin: Springer, 2012.-Vol. 7113.-135 p.-(Lecture Notes in Artificial Intelligence). 28. Марьясов И.В. Верификация С-программ с помощью смешанной аксиоматической семантики: Автореф. дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2012.-17 с.-Библиогр.: c.15-17. 29. Чиркунов К.С. Мультиагентный подход и моделирование поведения взаимодействующих иерархических систем экономической природы: Автореф. дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2012.-25 с.-Библиогр.: c.23-25. 30. Дацун Н.Н. Разработка и исследование модели и алгоритма недекларированных возможностей в автоматизированных системах: Автореф. дис... канд. тех. наук: 05.13.19.-Санкт-Петербург, 2012. -17 с.-Библиогр.: c.16-17. 31. Кольцов П.П. Разработка методологии сравнительного исследования компьютерных методов обработки изображений: Автореф. дис... докт. тех. наук: 05.13.17.-М., 2012.-38 с.-Библиогр.: c.36-38. 32. Data Privacy Management and Autonomous Spontaneus Security: Revised Selected Papers/6th International Workshop, DPM 2011 and 4th International Workshop, SETOP 2011, Leuven, Belgium, September 2011/Ed. by J.Garcia-Alfaro, G.Navarro-Arribas.-Berlin: Springer, 2012.-Vol. 7122.-319 p.-(Lecture Notes in Computer Science). 33. Current Trends in Web Engieering: Revised Selected Papers/Workshops, Doctoral Symposium, and Tutorials Held at ICWE 2011, Paphos, Cyprus, June 2011/Ed. by A.Harth, N.Koch.-Berlin: Springer, 2012.-Vol. 7059.-361 p.-(Lecture Notes in Computer Science). 34. Social Computing, Behavioral-Cultural Modeling and Prediction: Proc./5th International Conference, SBP 2012, College Park,MD,USA, April 2012/Ed. by Sh.J.Yang, A.M.Greenberg, M.Endsley.-Berlin: Springer, 2012.-Vol. 7227.-366 p.-(Lecture Notes in Computer Science). 35. Transactions on Computational Science XV/Ed. by M.L.Gavrilova, C.J.K.Tan, C.-V.Phan.-Berlin: Springer, 2012.-Vol. 7050.-217 p.-(Lecture Notes in Computer Science). 36. Transactions on Data Hiding and Multimedia Security VII/Ed. by Y.Q.Shi.-Berlin: Springer, 2012.-Vol. 7110.-115 p.-(Lecture Notes in Computer Science). 37. Parameterized and Exact Computation: Revised Selected Papers/6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 2011/Ed. by D.Marx, P.Rossmanith.-Berlin: Springer, 2012.-Vol. 7112.-273 p.-(Lecture Notes in Computer Science). 38. Web-Age Information Management: Revised Selected Papers/WAIM 2011 International Workshops: WGIM 2011, XMLDM 2011, SNA 2011, Wuhan, China, September 2011/Ed. by L.Wang, J.Jiang, J.Lu, L.Hong. -Berlin: Springer, 2012.-Vol. 7142.-223 p.-(Lecture Notes in Computer Science). 39. Requirements Engineering: Foundations for Software Quality: Proc./18th International Working Conference, REFSQ 2012, Essen, Germany, March 2012/Ed. by B.Rignell, D.Damian.-Berlin: Springer, 2012.-Vol. 7195.-322 p.-(Lecture Notes in Computer Science). 40. Economics of Grids, Clouds, Systems, and Services: Revised Selected Papers/8th International Workshop, GECON 2011, Paphos, Cyprus, December 2011/Ed. by K.Vanmechelen, J.Altmann, O.F.Rana. -Berlin: Springer, 2012.-Vol. 7150.-199 p.-(Lecture Notes in Computer Science). 41. Theory of Cryptography: Proc./9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 2012/Ed. by R.Cramer.-Berlin: Springer, 2012.-Vol. 7194.-656 p.-(Lecture Notes in Computer Science). 42. Tools and Algorithms for the Construction and Analysis of Systems: Proc./18th International Conference, TACAS 2012 Held as Part of the European Joint Conferences, ETAPS 2012, Tallinn, Estonia, March 2012/Ed. by C.Flanagan, B.Konig.-Berlin: Springer, 2012.-Vol. 7214.-560 p.-(Lecture Notes in Computer Science). 43. Programming Languages and Systems: Proc./21st European Symposium on Programming, ESOP 2012 Held as Part of the European Joint Conferences ETAPS 2012, Tallinn, Estonia, March 2012/Ed. by H.Seidl.-Berlin: Springer, 2012.-Vol. 7211.-602 p.-(Lecture Notes in Computer Science). 44. Foundations of Software Science and Computational Structures: Proc./15th International Conference, FOSSACS 2012 Held as Part of the European Joint Conferences, ETAPS 2012, Tallinn, Estonia, March 2012/Ed. by L.Birkedal.-Berlin: Springer, 2012.-Vol. 7213.-484 p.-(Lecture Notes in Computer Science). 45. Principles of Security and Trust: Proc./1st International Conference, POST 2012 Held as Part of the European Joint Conferences, ETAPS 2012, Tallinn, Estonia, March 2012/Ed. by P.Degano, J.D.Guttman.-Berlin: Springer, 2012.-Vol. 7215.-431 p. -(Lecture Notes in Computer Science). 46. Compiler Construction: Proc./21st International Conference, CC 2012 Held as Part of the European Joint Conferences ETAPS 2012, Tallinn, Estonia, March 2012/Ed. by M.O'Boyle.-Berlin: Springer, 2012.-Vol. 7210.-245 p.-(Lecture Notes in Computer Science). 47. Hibrid Artificial Intelligent Systems, Part I: Proc./7th International Conference, HAIS 2012, Salamanca, Spain, March 2012/ Ed. by E.Corchado, V.Snasel, A.Abraham, M.Wozniak.-Berlin: Springer, 2012.-Vol. 7208.-708 p.-(Lecture Notes in Artificial Intelligence). 48. Hybrid Artificial Intelligent Systems, Part II: Proc./7th International Conference, HAIS 2012, Salamanca, Spain, March 2012/ Ed. by E.Corchado, V.Snasel, A.Abraham, M.Wozniak.-Berlin: Springer, 2012.-Vol. 7209.-606 p.-(Lecture Notes in Artificial Intelligence). 49. Пестрякова Н.В. Метод распознавания символов, основанный на полиномиальной регрессии: Автореф. дис... докт. тех. наук: 05.13.01.-М., 2012.-32 с.-Библиогр.: c.29-32. 50. Нечта И.В. Разработка методов обеспечения безопасности использования информационных технологий, базирующихся на идеях стеганографии: Автореф. дис... канд. тех. наук: 05.13.17. -Новосибирск, 2012.-29 с.-Библиогр.: c.19-20. 51. Новиков Д.Б. Метод и алгоритмы принятия решений при управлении сложными объектами на основе экспертных систем: Автореф. дис... канд. тех. наук: 05.13.11.-М., 2012.-19 с. -Библиогр.: c.18-19. 52. Евстигнеев В.А., Касьянов В.Н. Русско-анлийский и англо-русский словарь по графам в информатике/ИСИ СО РАН. .- Новосибирск: ООО "Сибирское научное издательство", 2012.- 219 с. 53. Непомнящий В.А., Бодин Е.В., Веретнов С.О. Применение языка DYNAMIC-REAL для анализа и верификации распределенных систем. специфицированных на языке SDL.-Новосибирск, 2012.-52 с. -(Препринт/ИСИ СО РАН; N 161). 54. Чиркунов К.С. Мультиагентный подход и моделирование поведения взаимодействующих иерархических систем экономической природы: Дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2012. -159 с.-Библиогр.: c.154-159.