Hовые поступления с 4 по 18 февраля 2013 года
1. Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2013, San Diego,CA,USA, January 2013/Ed. by S.Artemov, A.Nerode.-Berlin: Springer, 2013.-Vol. 7734.-415 p. -(Lecture Notes in Computer Science). 2. Financial Cryptography and Data Security: Revised Selected Papers/FC 2012 Workshops, USEC and WECSR 2012, Kralendijk, Bonaire, March 2012/Ed. by J.Blythe, S.Dietrich, L.J.Camp.-Berlin: Springer, 2012.-Vol. 7398.-141 p.-(Lecture Notes in Computer Science). 3. Principles of Distributed Systems: Proc./16th International Conference, OPODIS 2012, Rome, Italy, December 2012/Ed. by R.Baldoni, P.Flocchini, R.Binoy.-Berlin: Springer, 2012.-Vol. 7702. -361 p.-(Lecture Notes in Computer Science). 4. Current Trends in Web Engineering: Revised Selected Papers/ICWE 2012 International Workshops MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 2012/ Ed. by M.Grossniklaus, M.Wimmer.-Berlin: Springer, 2012.-Vol. 7703.-245 p.-(Lecture Notes in Computer Science). 5. Data and Knowledge Engineering: Proc./3rd International Conference, ICDKE 2012, Wuyishan, Fujian, China, November 2012/ Ed. by Y.Xiang, M.Pathan, X.Tao, H.Wang.-Berlin: Springer, 2012. -Vol. 7696.-251 p.-(Lecture Notes in Computer Science). 6. Future Generation Information Technology: Proc./4th International Conference, FGIT 2012, Gangneug, Korea, December 2012/Ed. by T.Kim, Y.Lee, W.Fang.-Berlin: Springer, 2012.-Vol. 7709.-284 p.-(Lecture Notes in Computer Science). 7. Internet and Distributed Computing Sysitems: Proc./5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 2012/Ed. by Y.Xiang, M.Pathan, X.Tao, H.Wang.-Berlin: Springer, 2012.-Vol. 7646.-289 p.-(Lecture Notes in Computer Science). 8. Multiple Access Communications: Proc./5th International Workshop, MACOM 2012, Maynooth, Ireland, November 2012/Ed. by B.Bellatla, A.Vinel, M.Jonsson, J.Barcelo.-Berlin: Springer, 2012. -Vol. 7642.-183 p.-(Lecture Notes in Computer Science). 9. Formal Aspects of Component Software: Revised Selected Papers/8th International Symposium, FACS 2011, Oslo, Norway, September 2011/Ed. by F,Arbab, P.C.Olveczky.-Berlin: Springer, 2012.-Vol. 7253.-369 p.-(Lecture Notes in Computer Science). 10. Transactions on Aspect-Oriented Software Development IX/Ed. by G.T.Leavens, Sh.Chiba, M.Haupt, K.Ostermann.-Berlin: Springer, 2012.-Vol. 7271.-307 p.-(Lecture Notes in Computer Science). 11. Interactive Storytelling: Proc./5th International Conference, ICIDS 2012, San Sebastian, Spain, November 2012/Ed. by D.Oyarzun, F.Peinado, R.M.Young, A.Elizalde.-Berlin: Springer, 2012.-Vol. 7648.-219 p.-(Lecture Notes in Computer Science). 12. Coordination, Organizations, Institutions, and Norms in Agent System VII: Revised Selected Papers/COIN 2011 International Workshops: COIN@AAMAS 2011, Taipei, Taiwan, May 2011, COIN@WI-IAT 2011, Lyon, France, August 2011/Ed. by S.Cranefield, P.Noriega. -Berlin: Springer, 2012.-Vol. 7254.-221 p.-(Lecture Notes in Artificial Intelligence). 13. Advances in Artificial Intelligence - SBIA 2012: Proc./21th Brazilian Symposium on AI, Curitiba, Brazil, October 2012/Ed. by L.N.Barros, M.Finger, A.T.R.Pozo, M.Castilho.-Berlin: Springer, 2012.-Vol. 7589.-233 p.-(Lecture Notes in Artificial Intelligence). 14. Artificial General Intelligence: Proc./5th International Conference, AGI 2012, Oxford, UK, December 2012/Ed. by J.Bach, B.Goertzel, M.Ikle.-Berlin: Springer, 2012.-Vol. 7716.-381 p. -(Lecture Notes in Artificial Intelligence). 15. Computational Intelligence Methods for Bioinformatics and Biostatistics: Revised Selected Papers/8th International Meeting, CIBB 2011, Gargnano del Garda, Italy, June 2011/Ed. by E.Biganzoli, A.Vellido, F.Ambrogi, R.Tagliaferri.-Berlin: Springer, 2012.-Vol. 7548.-270 p.-(Lecture Notes in Bioinformatics). 16. Perspectives of System Informatics: Revised Selected Papers/8th International Ershov Informatics Conference, PSI 2011, Novosibirsk, Russa, June 2011/Ed. by E.Clarke, I.Virbitskaite, A.Voronkov.-Berlin: Springer, 2012.-Vol. 7162.-411 p.-(Lecture Notes in Computer Science). 17. Middleware 2012: Proc./ACM/IFIP/USENIX 13th International Middleware Conference, Montreal,QC.Canada, December 2012/Ed. by P.Narasimhan, P.Triantafillou.-Berlin: Springer, 2012.-Vol. 7662. -498 p.-(Lecture Notes in Computer Science). 18. Artificial Evolution: Revised Selected Papers/10th International Conference, Evolution Artificielle, lEA 2011, Angers, France, October 2011/Ed. by J.-K.Hao, P.Legrand, P.Collet, N.Monmarche.-Berlin: Springer, 2012.-Vol. 7401.-229 p. -(Lecture Notes in Computer Science). 19. Transactions on Computational Systems Biology XIV. Special Issue on Computational Models for Cell Processes/Ed. by C.Priami, I.Petre, E.De_Vink.-Berlin: Springer, 2012.-Vol. 7625. -233 p.-(Lecture Notes in Bioinformatics). 20. Quantum Interaction: Revised Selected Papers/6th International Symposium, QI 2012, Paris, France, June 2012/Ed. by F.Dubois, J.R.Busemeyer, M.Melucci, A.Lambert-Mogiliansky.-Berlin: Springer, 2012.-Vol. 7620.-239 p.-(Lecture Notes in Computer Science). 21. Communicability, Computer Graphics and Innovative Design for Interactive Systems: Revised Selected Papers/1st International Symposium, CCGIDIS 2011, Cordoba, Spain, June 2011/Ed. by F.Cipolla-Ficarra, K.Veltman, M.Cipolla-Ficarra, A,Kratky.-Berlin: Springer, 2012.-Vol. 7545.-145 p.-(Lecture Notes in Computer Science). 22. Outdoor and Large-Scale Real-World Science Analysis: Revised Selected Papers/15th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, June 2011/Ed. by F.Dellaert, J.-M.Frahm.-Berlin: Springer, 2012.-Vol. 7474.-443 p.-(Lecture Notes in Computer Science). 23. Security Protocols XX: Revised Selectes Papers/20th International Workshop, Cambridge, UK, April 2012/Ed. by B.Christianson, J.Malcolm, F.Stajano, J.Anderson.-Berlin: Springer, 2012.-Vol. 7622.-277 p.-(Lecture Notes in Computer Science). 24. Selected Areas in Cryptography: Revised Selected Papers/19th International Conference, SAC 2012, Windsor,ON,Canada, August 2012 /Ed. by L.R.Knudsen, H.Wu.-Berlin: Springer, 2013.-Vol. 7707. -407 p.-(Lecture Notes in Computer Science). 25. Theory of Quantum Computation, Communication, and Cryptography: Revised Selected Papers/7th Conference, TQC 2012, Tokyo, Japan, May 2012/Ed. by K.Iwama, Y.Kawano, M.Murao.-Berlin: Springer, 2013.-Vol. 7582.-153 p.-(Lecture Notes in Computer Science). 26. Focused Retrieval of Content and Structure: Revised Selected Papers/10th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2011, Saarbrucken. Germany, December 2011/Ed. by S.Geva, J.Kamps, R.Schenkel.-Berlin: Springer, 2012.-Vol. 7424.-338 p.-(Lecture Notes in Computer Science). 27. WALCOM: Algorithms and Communication: Proc./7th International Workshop, WALCOM 2013, Kharagpur, India, February 2013/Ed. by S.K.Ghosh, T.Tokuyama.-Berlin: Springer, 2013.-Vol. 7748.-348 p.-(Lecture Notes in Computer Science). 28. Trends and Topics in Computer Vision, Part I: Revised Selected Papers/ECCV 2010 Workshops, Heraclion, Crete, Greece, September 2010/Ed. by K.N.Kutulakos.-Berlin: Springer, 2012. -Vol. 6553.-357 p.-(Lecture Notes in Computer Science). 29. Trends and Topics in Computer Vision, Part II: Revised Selected Papers/ECCV 2010 Workshops, Heraclion, Crete, Grees, September 2010/Ed. by K.N.Kutulakos.-Berlin: Springer, 2012. -Vol. 6554.-479 p.-(Lecture Notes in Computer Science). 30. Internet and Network Economics: Proc./8th International Workshop, WINE 2012, Liverpool, UK, December 2012/Ed. by P.W.Goldberg.-Berlin: Springer, 2012.-Vol. 7695.-564 p.-(Lecture Notes in Computer Science). 31. Ambient Assisted Living and Home Care: Proc./4th International Workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, Deceber 2012/Ed. by J.Bravo, R.Hervas, M.Rodriguez.-Berlin: Springer, 2012.-Vol. 7657.-437 p.-(Lecture Notes in Computer Science). 32. Ubiquitous Computing and Ambient Intelligence: Proc./6th International Conference, UCAml 2012, Vitoria-Gasteiz, Spain, December 2012/Ed. by J.Bravo, D.Lopez-De-Ipina, F.Moya.-Berlin: Springer, 2012.-Vol. 7656.-523 p.-(Lecture Notes in Computer Science). 33. Combinatorial Algorithms: Revised Selected Papers/23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 2012/ Ed. by S.Arumugam, W.F.Smyth.-Berlin: Springer, 2012.-Vol. 7643. -303 p.-(Lecture Notes in Computer Science). 34. Advances in Web-Based Learning - ICWL 2012: Proc./11th International Conference, Sinaia, Romania, September 2012/Ed. by E.Popescu, Q.Li, R.Klamma, H.Leung.-Berlin: Springer, 2012.-Vol. 7558.-356 p.-(Lecture Notes in Computer Science). 35. Tools for Practical Software Verification: Revised Tutorial Lectures/LASER, International Summer School 2011, Elba Island, Italy/Ed. by B.Meyer, M.Nordio.-Berlin: Springer, 2012.-Vol. 7682. -183 p.-(Lecture Notes in Computer Science). 36. Network and Parallel Computing: Proc./9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 2012/Ed. by J.J.Park, A.Zomaya, S.-S.Teo, S.Sahni.-Berlin: Springer, 2012. -Vol. 7513.-647 p.-(Lecture Notes in Computer Science). 37. Social Informatics: Proc./4th International Conference, SocInfo 2012, Lausanne, Switzerland, December 2012/Ed. by K.Aberer, A.Flache, W.Jager, L.Liu.-Berlin: Springer, 2012.-Vol. 7710.-560 p.-(Lecture Notes in Computer Science). 38. Cyberspace Safety and Security: Proc./4th International Symposium, CSS 2012, Melbourne, Australia, December 2012/Ed. by Y.Xiang, J.Lopez, C.-C.J.Kuo, W.Zhou.-Berlin: Springer, 2012. -Vol. 7672.-510 p.-(Lecture Notes in Computer Science). 39. AI Approaches to the Complexity of Legal Systems: Revised Selected Papers/ International Workshop AICOL-III Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 2011/ Ed. by M.Palmirani, U.Pagallo, P.Casanovas, G.Sartor.-Berlin: Springer, 2012.-Vol. 7639.-309 p.-(Lecture Notes in Artificial Intelligence). 40. Modeling Decisions for Artificial Intelligence: Proc./9th International Conference, MDAI 2012, Girona, Catalonia, Spain, November 2012/Ed. by V.Torra, Y.Narukawa, B.Lopez, M.Villaret. -Berlin: Springer, 2012.-Vol. 7647.-422 p.-(Lecture Notes in Artificial Intelligence). 41. Cognitive Behavioural Systems: Revised Selected Papers/COST 2102 International Training School, Dresden, Germany, February 2011/Ed. by A.Esposito, A.M.Esposito, A.Vinciarelli, R.Hoffmann. -Berlin: Springer, 2012.-Vol. 7403.-450 p.-(Lecture Notes in Computer Science). 42. Distributed Computing and Networking: Proc./14tth International Conference, ICDCN 2013, Mumbai, India, January 2013/ Ed. by D.Frey, M.Raynal, S.Sarkar, R.K.Shyamasundar.-Berlin: Springer, 2013.-Vol. 7730.-466 p.-(Lecture Notes in Computer Science). 43. Active Media Technology: Proc./8th International Conference, AMT 2012, Macao, China, December 2012/Ed. by R.Huang, A.A.Ghorbani, G.Pasi, T.Yamaguchi.-Berlin: Springer, 2012.-Vol. 7696.-671 p.-(Lecture Notes in Computer Science). 44. Advances in Multimedia Information Processing - PCM 2012: Proc./13th Pacific-Rim Conference on Multimedia, Singapore, December 2012/Ed. by W.Lin, D.Xu, A.Ho, J.Wu.-Berlin: Springer, 2012.-Vol. 7674.-883 p.-(Lecture Notes in Computer Science). 45. Machine Learning in Medical Imaging: Revised Selected Papers/3rd International Workshop, MLMI 2012 Held in Conjunction with MICCAI 2012, Nice, France, October 2012/Ed. by F.Wang, D.Shen, P.Yan, K.Suzuki.-Berlin: Springer, 2012.-Vol. 7588.-276 p. -(Lecture Notes in Computer Science). 46. Web Information System Engineering - WISE 2012: Proc./13th International Conference, Paphos, Cyprus, November 2012/Ed. by X.S.Wang, I.Cruz, A.Delis, G.Huang.-Berlin: Springer, 2012.-Vol. 7651.-823 p.-(Lecture Notes in Computer Science). 47. Software Engineering for Self-Adaptive Systems II: Revised Selected and Invited Papers/ International Seminar, Dagstuhl Castle, Germany, October 2010/Ed. by R.De_Lemos, H.Giese, H.A.Muller, M.Shaw.-Berlin: Springer, 2013.-Vol. 7475.-393 p. -(Lecture Notes in Computer Science). 48. Transactions on Computational Sceince XVII/Ed. by M.L.Gavrilova, C.J.K.Tan.-Berlin: Springer, 2013.-Vol. 7420.-199 p.-(Lecture Notes in Computer Science). 49. Software Language Engineering: Revised Selected Papers/5th International Conference, SLE 2012, Dresden, Germany, September 2012/Ed. by K.Czarnecki, G.Hedin.-Berlin: Springer, 2013.-Vol. 7745.-413 p.-(Lecture Notes in Computer Science). 50. Mathematical and Engineering Methods in Computer Science: Revised Selected Papers/8th Iternational Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 2012/Ed. by A.Kucera, T.A.Henzinger, J.Nesetril, T,Vojnar.-Berlin: Springer, 2013.-Vol. 7721.-213p.-(Lecture Notes in Computer Science). 51. Generative and Transformational Techniques in Software Engineering IV: Revised Papes/ International Summer School, GTTSE 2011, Braga, Portugal, July 2011/Ed. by R.Lammel, J.Saraiva, J.Visser.-Berlin: Springer, 2013.-Vol. 7680.-449 p.-(Lecture Notes in Computer Science). 52. Formal Methods for Components and Objects: Revised Selected Papers/10th International Symposium, FMCO 2011, Turin, Italy, October 2011/Ed. by B.Beckert, F.Domiani, F.S.De_Boer, M.M.Bonsangue.-Berlin: Springer, 2013.-Vol. 7542.-356 p.-(Lecture Notes in Computer Science). 53. Assurances for Self-Adaptive Systems. Principles, Models, and Techniques/Ed. by J.Camara, R.De_Lemos, C.Ghezzi, A.Lopes. -Berlin: Springer, 2013.-Vol. 7740.-341 p.-(Lecture Notes in Computer Science). 54. Multi-disciplinary Trends in Artificial Intelligence: Proc./6th International Workshop, MIWAI 2012, Ho Chi Minh City, Vietnam, December 2012/Ed. by Ch.Sombattheera, N.K.Loi, R.Wankar, T.Quan.-Berlin: Springer, 2012.-Vol. 7694.-331 p. -(Lecture Notes in Artificial Intelligence). 55. Cognitive Agents for Virtual Environments: Revised Selected Papers/1st International Workshop, CAVE 2012 Held at AAMAS 2012, Valencia, Spain, June 2012/Ed. by F.Dignum, C.Brom, K.Hindriks, M.Beer.-Berlin: Springer, 2013.-Vol. 7764.-185 p.-(Lecture Notes in Artificial Intelligence). 56. Chinese Lexical Semantics: Revised Selected Papers/13th Workshop, CLSW 2012, Wuhan, China, July 2012/Ed. by D.Ji, G.Xiao. -Berlin: Springer, 2013.-Vol. 7717.-838 p.-(Lecture Notes in Artificial Intelligence). 57. Молчанов Альберт Макарьевич: Библиографический указатель/ Ред. И.В.Флоринский; Институт математических проблем биологии РАН. .- Пущино, 2012.- 124 с.