Hовые поступления с 13 февраля по 19 марта 2012 года
1. Partially Supervised Learning: Revised Selected Papers/First IAPR TC3 Workshop, PSL 2011, Ulm, Germany, September 2011/Ed. by F.Schwenker, E.Trentin.-Berlin: Springer, 2012.-Vol. 7081.-159 p. -(Lecture Notes in Artificial Intelligence). 2. Architecture of Computing Systems - ARCS 2012: Proc./25th International Conference, Munich, Germany, February 2012/Ed. by A.Herkersdorf, K.Romer, U.Brinkschulte.-Berlin: Springer, 2012. -Vol. 7179.-252 p.-(Lecture Notes in Computer Science). 3. Engineering Secure Software and Systems: Proc./4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February 2012/Ed. by G.Barthe, B.Livshits, R.Scandariato.-Berlin: Springer, 2012.-Vol. 7159.-151 p.-(Lecture Notes in Computer Science). 4. Algebraic and Numeric Biology: Revised Selected Papers/4th International Conference, ANB 2010, Hagenberg, Austria, July 2010/ Ed. by K.Horimoto, M.Nakatsui, N.Popov.-Berlin: Springer, 2012. -Vol. 6479.-185 p.-(Lecture Notes in Computer Science). 5. Topics in Cryptology - CT-RSA 2012: Proc./The Cryptographers' Track at the RSA Conference 2012, San Francisco,CA,USA, February 2012/Ed. by O.Dunkelman.-Berlin: Springer, 2012.-Vol. 7178.-434 p.-(Lecture Notes in Computer Science). 6. Verification, Model Checking, and Abstract Interpretation: Proc./13th International Conference, VMCAI 2012, Philadelphia,PA,USA, January 2012/Ed. by V.Kuncak, A.Rybalchenko. -Berlin: Springer, 2012.-Vol. 7148.-457 p.-(Lecture Notes in Computer Science). 7. Membrane Computing: Revised Selected Papers/12th International Conference, CMC 2011, Fontainebleau, France, August 2011/Ed. by M.Gheorghe, G.Paum, G.Rozenberg, A.Salomaa.-Berlin: Springer, 2012.-Vol. 7184.-380 p.-(Lecture Notes in Computer Science). 8. Open Problems in Network Security: Revised Selected Papers/IFIP WG 11.4 International Workshop, iNetSec 2011, Lucerne, Switzerland, June 2011/Ed. by J.Camenisch, D.Kesdogan. -Berlin: Springer, 2012.-Vol. 7039.-161 p.-(Lecture Notes in Computer Science). 9. RFID Security and Privacy: Revised Selected Papers/7th International Workshop, RFIDSec 2011, Amherst,MA,USA, June 2011/ Ed. by A.Juels, Ch.Paar.-Berlin: Springer, 2012.-Vol. 7055.-260 p.-(Lecture Notes in Computer Science). 10. Data Security and Security Data: Revised Selrcted Papers/27th British National Conference on Databases, BNCOD 27, Dundee, UK, June 2011/Ed. by L.M.Mackinnon.-Berlin: Springer, 2012.-Vol. 6121.-155 p.-(Lecture Notes in Computer Science). 11. Computer Aided Systems Theory - EUROCAST 2011, Part I: Revised Selected Papers/13th International Conference, Las Palmes de Gran Canaria, Spain, February 2012/Ed. by R.Moreno-Diaz, F.Pichler, A.Quesada-Arencibia.-Berlin: Springer, 2012.-Vol. 6927. -637 p.-(Lecture Notes in Computer Science). 12. Computer Aided Systems Theory - EUROCAST 2011, Part II: Revised Selected Papers/13th International Conference, Las Palamas de Gran Canaria, Spain, February 2011/Ed. by R.Moreno-Diaz, F.Pichler, A.Quesada-Arencibia.-Berlin: Springer, 2012.-Vol. 6928.-637 p.-(Lecture Notes in Computer Science). 13. Information Security Applications: Revised Selected Papers/12th International Workshop, WISA 2011, Jeju Island, Korea, August 2011/Ed. by S.Jung, M.Yung.-Berlin: Springer, 2012. -Vol. 7115.-271 p.-(Lecture Notes in Computer Science). 14. WALCOM: Algorithms and Computation: Proc./6th International Workshop, WALCOM 2012, Dhaka, Bangladesh, February 2012/Ed. by Md.S.Rahman, S.-I.Nakano.-Berlin: Springer, 2012.-Vol. 7157.-241 p.-(Lecture Notes in Computer Science). 15. Wireless Sensor Networks: Proc./9th European Conference, EWSN 2012, Trento, Italy, February 2012/Ed. by G.P.Picco, W.Heinzelman.-Berlin: Springer, 2012.-Vol. 7158.-261 p.-(Lecture Notes in Computer Science). 16. Information Security Technology for Applications: Revised Selected Papers/15th Nordic Conference on Secure IT Systems, NordSec 2010, Espoo, Finland, October 2010/Ed. by T.Aura, K.Jarvinen, K.Nyberg.-Berlin: Springer, 2012.-Vol. 7127.-289 p. -(Lecture Notes in Computer Science). 17. Learning and Intelligent Optimization: Selected Papers/5th International Conference, LION 5, Rome, Italy, January 2011/Ed. by Coello C.A.Coello.-Berlin: Springer, 2011.-Vol. 6683.-636 p. -(Lecture Notes in Computer Science). 18. Distributed Computing and Networking: Proc./13th International Conference, ICDCN 2012, Hond Kong, China, January 2012/Ed. by L.Bononi, A.K.Datta, S.Devismes, A.Misra.-Berlin: Springer, 2012.-Vol. 7129.-550 p.-(Lecture Notes in Computer Science). 19. Curves and Surfaces: Revised Selected Papers/7th International Conference, Curves and Sufaces 2010, Avignon, France, June 2010/Ed. by J.-D.Boissonnat, P.Chenin, A.Cohen, Ch.Gout.-Berlin: Springer, 2012.-Vol. 6920.-748 p.-(Lecture Notes in Computer Science). 20. Practical Aspects of Declarative Languages: Proc./14th International Symposium, PADL 2012, Philadelphia,PA,USA, January 2012/Ed. by C.Russo, N.-F.Zhou.-Berlin: Springer, 2012.-Vol. 7149. -305 p.-(Lecture Notes in Computer Science). 21. Formal Methods for Components and Objects: Revised Papers/9th International Symposium, FMCO 2010, Graz, Austria, November 2010/Ed. by B.K.Aichernig, F.S.De_Boer, M.M.Bonsangue. -Berlin: Springer, 2011.-Vol. 6957.-393 p.-(Lecture Notes in Computer Science). 22. Datalog Reloaded: Revised Selected Papers/First International Workshop, Datalog 2010, Oxford, UK, March 2010/Ed. by O.De_Moor, G.Gottlob, T.Furche, A.Sellers.-Berlin: Springer, 2011.-Vol. 6702.-399 p.-(Lecture Notes in Computer Science). 23. Smart Card Research and Advanced Applications: Revised Selected Papers/10th IFIP WG 8.8/11/2 International Conference, CARDIS 2011, Leuven, Belgium, September 2011/Ed. by E.Prouff. -Berlin: Springer, 2011.-Vol. 7079.-347 p.-(Lecture Notes in Computer Science). 24. Performance Evaluation of Computer and Communication Systems: Revised Selected Papers/IFIP WG 6.3/7.3 Int WS, PERFORM 2010 in Honor of Gunter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 2010/Ed. by K.A.Hummel. -Berlin: Springer, 2011.-Vol. 6821.-255 p.-(Lecture Notes in Computer Science). 25. Advances in Multimedia Modeling: Proc./18th International Conference, MMM 2012, Klagenfurt, Austria, January 2012/Ed. by K.Schoeffmann, B.Merialdo, A.G.Hauptmann, C.-W.Ngo.-Berlin: Springer, 2012.-Vol. 7131.-786 p.-(Lecture Notes in Computer Science). 26. Swarm, Evolutionary, and Memetic Computing, Part I: Proc./2nd International Conference, SEMCCO 2011, Visakhapatnam, India, December 2011/Ed. by B.K.Panigrahi, P.N.Suganthan, S.Das, S.C.Satapathy.-Berlin: Springer, 2011.-Vol. 7076.-754 p.-(Lecture Notes in Computer Science). 27. Swarm, Evolutionary, and Memetic Computing, Part II: Proc./2nd International Conference, SEMCCO 2011, Visakhapatnam, India, December 2011/Ed. by B.K.Panigrahi, P.N.Suganthan, S.Das, S.C.Satapathy.-Berlin: Springer, 2011.-Vol. 7077.-332 p.-(Lecture Notes in Computer Science). 28. Human Behavior Understanding: Proc./2nd International Workshop, HBU 2011, Amsterdam, The Netherlands, November 2011/Ed. by A.A.Salah, B.Lepri.-Berlin: Springer, 2011.-Vol. 7065.-159 p. -(Lecture Notes in Computer Science). 29. Information Quality in e-Health: Proc./7th Conference of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2011, Graz, Austria, November 2011/Ed. by A.Holzinger, K.-M.Simonic.-Berlin: Springer, 2011. -Vol. 7058.-716 p.-(Lecture Notes in Computer Science). 30. Сотнезов Р.М. Исследование в области сложности алгебро-логического анализа данных и синтеза распознающих процедур: Автореф. дис... канд. ф.-м. наук: 01.01.09.-М., 2012. -22 с.-Библиогр.: c.21-22. 31. Жукова А.А. Применение достаточных условий оптимальности при исследовании стохастических моделей рынков не вполне ликвидных товаров: Автореф. дис... канд. ф.-м. наук: 05.13.18.-М., 2012.-21 с.-Библиогр.: c.20-21. 32. Листопад С.В. Интеллектуальная система моделирования коллективного принятия решений для сложной транспортно-логистической задачи: Автореф. дис... канд. тех. наук: 05.13.17.-М., 2012.-23 с.-Библиогр.: c.22-23. 33. Бредихин С.В., Кузнецов А.Ю. Методы библиометрии и рынок электронной научной периодики/ИВМ и МГ СО РАН. НЭИКОН. .- Новосибирск, 2012.- 256 с.-Библиогр.: c.226-245. 34. Computation, Physics and Beyond: Revised Selected and Invited Papers/ International Workshop, WTCS 2012 Dedicated to C.S.Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 2011/Ed. by M.J.Dinneen, B.Khoussainov, A.Nies. -Berlin: Springer, 2012.-Vol. 7160.-427 p.-(Lecture Notes in Computer Science). 35. Perception and Machine Intelligence: Proc./First Indo-Japan Conference, PerMin 2012, Kolkata, India, January 2012/Ed. by M.K.Kundu, S.Mitra, D.Mazumdar, S.K.Pal.-Berlin: Springer, 2012. -Vol. 7143.-380 p.-(Lecture Notes in Computer Science). 36. Data Engineering and Management: Revised Selected Papers/2nd International Conference, ICDEM 2010, Tiruchirappalli, India, July 2010/Ed. by R.Kannan, F.Andres.-Berlin: Springer, 2012. -Vol. 6411.-342 p.-(Lecture Notes in Computer Science). 37. Adaptive Multimedia Retrieval. Context, Exploration, and Fusion: Revised Selected Papers/8th International Workshop, AMR 2010, Linz, Austria, August 2010/Ed. by M.Detyniecki, P.Knees, A.Nurnberger, M.Schedl.-Berlin: Springer, 2012.-Vol. 6817.-221 p. -(Lecture Notes in Computer Science). 38. Scale Space and Variational Methods in Computer Vision: Revised Selected Papers/3rd International Conference, SSVM 2011, Ein-Gedi, Israel, May/June 2011/Ed. by A.M.Bruckstein, B.M.Ter_Haar_Romeny, A.M.Bronstein, M.M.Bronstein.-Berlin: Springer, 2012.-Vol. 6667.-798 p.-(Lecture Notes in Computer Science). 39. Empirical Software Engineering and Verification: Revised Tutorial Lectures/ International Summer Schools, LASER 2008-2010, Elba Island, Italy/Ed. by B.Meyer, M.Nordio.-Berlin: Springer, 2012.-Vol. 7007.-213 p.-(Lecture Notes in Computer Science). 40. Combinatorial Algorithms: Revised Selected Papers/22nd International Workshop, IWOCA 2011, Victoria,BC,Canada, July 2011/ Ed. by C.S.Iliopoulos, W.F.Smith.-Berlin: Springer, 2011.-Vol. 7056.-387 p.-(Lecture Notes in Computer Science). 41. Theory of Security and Applications: Revised Selected Papers/Joint Workshop, TOSCA 2011, Saarbrucken. Germany, March 2011/Ed. by S.Modersheim, C.Palamidessi.-Berlin: Springer, 2012. -Vol. 6993.-225 p.-(Lecture Notes in Computer Science). 42. The Semantic Web: ESWC 2011 Workshops: Revised Selected Papers/ESWC 2011 Workshops, Heraklion, Greece, May 2011/Ed. by R.Garcia-Castro, D.Fensel, G.Antoniou.-Berlin: Springer, 2012. -Vol. 7117.-285 p.-(Lecture Notes in Computer Science). 43. Verified Software: Theories, Tools, Experiments: Proc./4th International Conference, VSTTE 2012, Philadelphia,PF,USA, January 2012/Ed. by R.Joshi, P.Muller, A.Podelski.-Berlin: Springer, 2012.-Vol. 7152.-326 p.-(Lecture Notes in Computer Science). 44. Mathematical and Engineering Methods in Computer Science: Revised Selected Papers/7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 2011/Ed. by Z.Kotasek, J.Bouda, I.Cerna, L.Sekanina.-Berlin: Springer, 2012. -Vol. 7119.-215 p.-(Lecture Notes in Computer Science). 45. New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI-isAI 2010 Workshops LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 2010/Ed. by T.Onoda, D.Bekki, E.Mccready.-Berlin: Springer, 2011.-Vol. 6797.-342 p.-(Lecture Notes in Artificial Intelligence). 46. Principles and Practice of Multi-Agent Systems: Revised Selected Papers/13th International Conference, PRIMA 2010, Kolkata, India, November 2010/Ed. by N.Desai, A.Liu, M.Winikoff. -Berlin: Springer, 2012.-Vol. 7057.-650 p.-(Lecture Notes in Artificial Intelligence). 47. Agents and Data Mining Interaction: Revised Selected Papers/7th International Workshop, ADMI 2011, Taipei, Taiwan, May 2011/Ed. by L.Cao, A.L.C.Bazzan, A.L.Symeonidis, V.I.Gorodetsky. -Berlin: Springer, 2012.-Vol. 7103.-361 p.-(Lecture Notes in Artificial Intelligence). 48. Advanced Agent Technology: Revised Selected Papers/AAMAS 2011 Workshops AMPLE, AOSE, ARMS, DOCM3AS, ITMAS, Taipei, Taiwan, May 2011/Ed. by F.Dechesne, H.Hattori, A.Ter_Mors, J.M.Such. -Berlin: Springer, 2012.-Vol. 7068.-506 p.-(Lecture Notes in Artificial Intelligence). 49. Maryasov I.V. The Mixed Axiomatic Semantics Method. -Новосибирск, 2011.-42 с.-(Rep./ИСИ СО РАН; N 160). 50. Ручай А.Н. Текстозависимая верификация диктора: модель, статистические исследования, комплекс программ: Автореф. дис... канд. ф.-м. наук: 05.13.18.-Челябинск, 2012.-22 с.-Библиогр.: c.20-22. 51. Поляков С.П. Символьные алгоритмы, связанные с задачами суммирования: Автореф. дис... канд. ф.-м. наук: 05.13.11.-М., 2012. -19 с.-Библиогр.: c.18-19. 52. Knowledge Representation for Health-Care: Revised Selected Papers/AIME 2011 Workshop KR4HC 2011, Bled, Slovenia, July 2011/ Ed. by D.Riano, A.Ten_Teije, S.Miksch.-Berlin: Springer, 2012. -Vol. 6924.-171 p.-(Lecture Notes in Artificial Intelligence). 53. Algorithms for Sensor Systems: Revised Selected Papers/7th International Symposium, ALGOSENSORS 2011, Saarbrucken, Germany, September 2011/Ed. by Th.Erlebach, S.Nikoletseas, P.Orponen. -Berlin: Springer, 2012.-Vol. 7111.-239 p.-(Lecture Notes in Computer Science). 54. Transactions on Large-Scale Data-and Knowledge-Centered Systems V/Ed. by A.Hameurlain, J.Kung, R.Wagner.-Berlin: Springer, 2012.-Vol. 7100.-223 p.-(Lecture Notes in Computer Science). 55. Recent Trends in Algebraic Development Techniques: Revised Selected Papers/20th International Workshop, WADT 2010, Etelsen, Germany, July 2010/Ed. by T.Mossakowski, H.-J.Kreowski.-Berlin: Springer, 2012.-Vol. 7137.-303 p.-(Lecture Notes in Computer Science). 56. Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges: Revisrd Selected Papers/2nd International Workshop, STACOM 2011 Held in Conjunction with MICCAI 2011, Toronto, ON, Canada, September 2011/Ed. by O.Camara. -Berlin: Springer, 2012.-Vol. 7085.-286 p.-(Lecture Notes in Computer Science). 57. Transactions on Computational Science XIV. Special Issue on Voronoi Diagrams and Delaunay Triangulation/Ed. by M.L.Gavrilova, C.J.K.Tan.-Berlin: Springer, 2011.-Vol. 6970.-239 p.-(Lecture Notes in Computer Science). 58. Grid and Pervasive Computing Workshops: Revised Selected Papers/ International Workshops, S3E, HWTS, Doctoral Colloquium Held in Conjunction with GPC 2011, OULU, Finland, May 2011/Ed. by M.Rautiainen, T.Korhonen, E.Mutafungwa, E.Ovaska.-Berlin: Springer, 2012.-Vol. 7096.-335 p.-(Lecture Notes in Computer Science). 59. Financial Cryptography and Data Security: Revised Selected Papers/15th Internatioanl Conference, FC 2011, Gros Islet, St.Lucia, February 2011/Ed. by G.Danezis.-Berlin: Springer, 2012. -Vol. 7035.-161 p.-(Lecture Notes in Computer Science). 60. Distributed Computing and Internet Technology: Proc./8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2012/Ed. by R.Ramanujam, S.Ramaswamy.-Berlin: Springer, 2012.-Vol. 7154.-277 p.-(Lecture Notes in Computer Science). 61. Foundations and Practice of Security: Revised Selected Papers/4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 2011/Ed. by J.Garcia-Alfaro, P.Lafourcade.-Berlin: Springer, 2012.-Vol. 6888.-253 p.-(Lecture Notes in Computer Science). 62. Graph Drawing: Revised Selected Papers/19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 2011/ Ed. by M.Van_Kreveld, B.Speckmann.-Berlin: Springer, 2012.-Vol. 7034.-458 p.-(Lecture Notes in Computer Science). 63. Security and Intelligent Information Systems: Revised Selected Papers/ International Joint Conference, SIIS 2011, Warsaw, Poland, June 2011/Ed. by P.Bouvry, M.A.Klopotek, F.Leprevost, M.Marciniak.-Berlin: Springer, 2012.-Vol. 7053.-401 p.-(Lecture Notes in Computer Science). 64. Advances in Software Engineering Techniques: Revised Selected Papers/4th IFIP TC2 Central and East European Conference, CEE-SET 2009, Krakow, Poland, October 2009/Ed. by T.Szmuc, M.Szpyrka, J.Zendulka.-Berlin: Springer, 2012.-Vol. 7054. -275 p.-(Lecture Notes in Computer Science). 65. SOFSEM 2012: Theory and Practice of Computer Science: Proc./38th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 2012/ Ed. by M.Bielikova, G.Friedrich, G.Gottlob, S.Katzenbeisser. -Berlin: Springer, 2012.-Vol. 7147.-674 p.-(Lecture Notes in Computer Science). 66. Conceptual Modelling and its Theoretical Foundations: Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday/Ed. by A.Dusterhoft, M.Klettke, K.-D.Schewe.-Berlin: Springer, 2012.-Vol. 7260.-329 p.-(Lecture Notes in Computer Science). 67. New Frontiers in Applied Data Mining: Revised Selected Papers/PAKDD 2011 International Workshops, Shenzhen, China, May 2011/Ed. by L.Cao, J.Z.Huang, J.Bailey, Y.S.Koh.-Berlin: Springer, 2012.-Vol. 7104.-508 p.-(Lecture Notes in Artificial Intelligence).