Hовые поступления с 2 по 31 мая 2012 года
1. Калгин К.В. Клеточно-автоматное моделирование физико-химических процессов на вычислителях с параллельной архитектурой: Автореф. дис... канд. ф.-м. наук: 05.13.18. -Новосибирск, 2012.-15 с.-Библиогр.: c.14-15. 2. Колосов А.П. Математическое и программное обеспечение полнотекстового поиска в базах данных на основе концептуального моделирования: Автореф. дис... канд. тех. наук: 05.13.11.-Тула, 2012.-16 с.-Библиогр.: c.16. 3. CMP Annual Report 2011/CMP. .- Grenoble, 2012.- 180 p. 4. Bioinformatics for Personalized Madicine: Revised Selected Papers/10th Spanish Symposium, JBI 2010, Torremolinos, Spain, October 2010/Ed. by A.T.Freitas, A.Navarro.-Berlin: Springer, 2012.-Vol. 6620.-121 p.-(Lecture Notes in Bioinformatics). 5. Theory and Applications of Formal Argumentation: Revised Selected Papers/1st International Workshop, TAFA 2011, Barcelona, Spain, July 2011/Ed. by S.Modgil, N.Oren, F.Toni.-Berlin: Springer, 2012.-Vol. 7132.-281 p.-(Lecture Notes in Artificial Intelligence). 6. Applications of Evolutionary Computation: Proc./ EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Malaga, Spain, April 2012/Ed. by C.Di_Chio.-Berlin: Springer, 2012.-Vol. 7248.-542 p.-(Lecture Notes in Computer Science). 7. Advances in Cryptology - EUROCRYPT 2012: Proc./31st Annual International Conference, Cambridge, UK, April 2012/Ed. by D.Pointcheval, Th.Johansson.-Berlin: Springer, 2012.-Vol. 7237. -758 p.-(Lecture Notes in Computer Science). 8. Web Technologies and Applications: Proc./ APWeb 2012 International Workshops: SenDe, IDP, IEKB, MBC, Kunming, China, April 2012/Ed. by H.Wang, L.Zou, G.Huang, J.He.-Berlin: Springer, 2012.-Vol. 7234.-270 p.-(Lecture Notes in Computer Science). 9. NASA Formal Methods: Proc./4th International Symposium, NFM 2012, Norfolk,VA,USA, April 2012/Ed. by A.E.Goodloe, S.Person. -Berlin: Springer, 2012.-Vol. 7226.-466 p.-(Lecture Notes in Computer Science). 10. Web Technologies and Applications: Proc./14th Asia-Pacific Web Conference, APWeb 2012, Kunming, China, April 2012/Ed. by Q.Z.Sheng, G.Wang, C.S.Jensen, G.Xu.-Berlin: Springer, 2012.-Vol. 7235.-799 p.-(Lecture Notes in Computer Science). 11. Health Information Science: Proc./1st International Conference, HIS 2012, Beijing, China, April 2012/Ed. by J.He, X.Liu, E.A.Krupinski, G.Xu.-Berlin: Springer, 2012.-Vol. 7231. -187 p.-(Lecture Notes in Computer Science). 12. LATIN 2012: Theoretical Informatics: Proc./10th Latin American Symposium, Arequipa, Peru, April 2012/Ed. by D.Fernandez-Baca.-Berlin: Springer, 2012.-Vol. 7256.-669 p. -(Lecture Notes in Computer Science). 13. Critical Infrastructure Protection: Information Infrastructure Models, Analysis, and Defense/Ed. by J.Lopez, R.Setola, S.D.Wolthusen.-Berlin: Springer, 2012.-Vol. 7130.-357 p. -(Lecture Notes in Computer Science). 14. Approximation and Online Algorithms: Revised Selected Papers/9th International Workshop, WAOA 2011, Saarbrucken, Germany, September 2011/Ed. by R.Solis-Oba, G.Persiano.-Berlin: Springer, 2012.-Vol. 7164.-275 p.-(Lecture Notes in Computer Science). 15. Evolutionary Computation in Combinatorial Optimization: Proc./12th European Conference, EvoCOP 2012, Malaga, Spain, April 2012/Ed. by J.-K.Hao, M.Middendorf.-Berlin: Springer, 2012.-Vol. 7245.-264 p.-(Lecture Notes in Computer Science). 16. Evolutionary and Biologically Inspired Music, Sound, Art and Design: Proc./1st International Conference, EvoMUSART 2012, Malaga, Spain, April 2012/Ed. by P.Machado, J.Romero, A.Carballal. -Berlin: Springer, 2012.-Vol. 7247.-236 p.-(Lecture Notes in Computer Science). 17. Information Security, Practice and Experience: Proc./8th International Conference, ISPEC 2012, Hangzhou, China, April 2012/ Ed. by M.D.Ryan, B.Smyth, G.Wang.-Berlin: Springer, 2012.-Vol. 7232.-406 p.-(Lecture Notes in Computer Science). 18. Transactions on Petri Nets and Other Models of Concurrency V/ Ed. by K.Jensen, S.Donatelli, J.Kleijn.-Berlin: Springer, 2012. -Vol. 6900.-293 p.-(Lecture Notes in Computer Science). 19. Database Systems for Advanced Applications: Proc./17th International Conference, DASFAA 2012, International Workshops: FlashDB, ITEMS, SNSM, SIM3, DQDI, Busan, South Korea, April 2012/ Ed. by H.Yu, G.Yu, W.Hsu, Y.-S.Moon.-Berlin: Springer, 2012. -Vol. 7240.-336 p.-(Lecture Notes in Computer Science). 20. Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics: Proc./10th European Conference, EvoBIO 2012, Malaga, Spain, April 2012/Ed. by M.Giacobini, L.Vanneschi, W.S.Bush.-Berlin: Springer, 2012.-Vol. 7246.-255 p.-(Lecture Notes in Computer Science). 21. Genetic Programming: Proc./15th European Conference, EuroGP 2012, Malaga, Spain, April 2012/Ed. by A.Moraglio, S.Silva, K.Krawiec, P.Machado.-Berlin: Springer, 2012.-Vol. 7244.-279 p. -(Lecture Notes in Computer Science). 22. Database Systems for Advanced Applications, Part I: Proc./17th International Conference, DASFAA 2012, Busan, South Korea, April 2012/Ed. by S.-G.Lee, Z.Peng, X.Zhou, Y.-S.Moon. -Berlin: Springer, 2012.-Vol. 7238.-595 p.-(Lecture Notes in Computer Science). 23. Database Systems for Advanced Applications, Part II: Proc./17th International Conference, DASFAA 2012, Busan, South Korea, April 2012/Ed. by S.-G.Lee, Z.Peng, X.Zhou, Y.-S.Moon. -Berlin: Springer, 2012.-Vol. 7239.-335 p.-(Lecture Notes in Computer Science). 24. Advances in Information Retrieval: Proc./34th European Conference on IR Research, ECIR 2012, Barcelona, Spain, April 2012 /Ed. by R.Baeza-Yates, A.P.De_Vries, H.Zaragoza, B.B.Cambazoglu. -Berlin: Springer, 2012.-Vol. 7224.-587 p.-(Lecture Notes in Computer Science). 25. Transactions on Edutainment VII/Ed. by Z.Pan, A.D.Cheok, W.Muller.-Berlin: Springer, 2012.-Vol. 7145.-284 p.-(Lecture Notes in Computer Science). 26. Declarative Agent Languages and Technologies IX: Revised Selected and Invited Papers/9th International Workshop, DALT 2011, Taipei, Taiwan, May 2011/Ed. by C.Sakama, S.Sardina, W.Vasconcelos, M.Winikoff.-Berlin: Springer, 2012.-Vol. 7169.-153 p.-(Lecture Notes in Artificial Intelligence). 27. Computational Processing of the Portuguese Language: Proc./10th International Conference, PROPOR 2012, Coimbra, Portugal, April 2012/Ed. by H.Caseli, A.Villavicencio, A.Teixeira, F.Perdigao.-Berlin: Springer, 2012.-Vol. 7243.-460 p. -(Lecture Notes in Artificial Intelligence). 28. Programming Multi-Agent Systems: Revised Selected Papers/8th International Workshop, ProMAS 2010, Toroto,ON,Canada, May 2010/ Ed. by R.Collier, J.Dix, P.Novak.-Berlin: Springer, 2012.-Vol. 6599.-159 p.-(Lecture Notes in Artificial Intelligence). 29. Communication Technologies for Vehicles: Proc./4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 2012/Ed. by A.Vinel, R.Mahmood, M.Berbineau, C.R.Garcia.-Berlin: Springer, 2012.-Vol. 7266.-188 p.-(Lecture Notes in Computer Science). 30. Camera-Based Document Analysis and Recognition: Revised Selected Papers/4th International Workshop, CBDAR 2011, Beijing, China, September 2011/Ed. by M.Iwamura, F.Shafait.-Berlin: Springer, 2012.-Vol. 7139.-173 p.-(Lecture Notes in Computer Science). 31. Web and Wireless Geographical Information Systems: Proc./11th International Symposium, W2GIS 2012, Naples, Italy, April 2012/Ed. by S.Di_Martino, A.Peron, T.Trzuka.-Berlin: Springer, 2012.-Vol. 7236.-257 p.-(Lecture Notes in Computer Science). 32. Information Processing in Cells and Tissues: Proc./9th International Conference, IPCAT 2012, Cambridge, UK, March 2012/ Ed. by M.A.Lones, S.L.Smith, S.Teichmann, F.Naef.-Berlin: Springer, 2012.-Vol. 7223.-278 p.-(Lecture Notes in Computer Science). 33. Transactions on Computational Collective Intelligence VI/Ed. by N.T.Nguyen.-Berlin: Springer, 2012.-Vol. 7190.-223 p. -(Lecture Notes in Computer Science). 34. Software Language Engineering: Revised Selected Papers/4th International Conference, SLE 2011, Braga, Portugal, July 2011/ Ed. by A.Sloane, U.Assmann.-Berlin: Springer, 2012.-Vol. 6940. -389 p.-(Lecture Notes in Computer Science). 35. Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday/Ed. by R.L.Constable, A.Silva.-Berlin: Springer, 2012.-Vol. 7230.-355 p.-(Lecture Notes in Computer Science). 36. Fundamentals of Software Engineering: Revised Selected Papers/4th IPM International Conference, FSEN 2011, Tehran, Iran, April 2011/Ed. by F.Arbab, M.Sirjani.-Berlin: Springer, 2012. -Vol. 7141.-377 p.-(Lecture Notes in Computer Science). 37. Applied Parallel and Scientific Computing, Part I: Revised Selected Papers/10th International Conference, PARA 2010, Reykjavik, Iceland, June 2010/Ed. by K.Jonasson.-Berlin: Springer, 2012.-Vol. 7133.-339 p.-(Lecture Notes in Computer Science). 38. Database and Expert Systems Applications, Part I: Proc./22nd International Conference, DEXA 2011, Toulouse, France, August 2011 /Ed. by A.Hameurlain, S.W.Liddle, K.-D.Schewe, X.Zhou.-Berlin: Springer, 2011.-Vol. 6860.-562 p.-(Lecture Notes in Computer Science). 39. Web Services and Formal Methods: Revised Selected Papers/8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 2011/Ed. by M.Carbone, J.-M.Petit.-Berlin: Springer, 2012.-Vol. 7176.-143 p.-(Lecture Notes in Computer Science). 40. Advanced Computing, Networking and Security: Revised Selected Papers/ International Conference, ADCONS 2011, Surathkal, India, December 2011/Ed. by P.S.Thilagam, A.R.Pais, K.Chandrasekaran, N.Balakrishnan.-Berlin: Springer, 2012.-Vol. 7135.-639 p.-(Lecture Notes in Computer Science). 41. Models in Software Engineering: Reports and Revised Selected Papers/ Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 2011/Ed. by J.Kienzle.-Berlin: Springer, 2012. -Vol. 7167.-290 p.-(Lecture Notes in Computer Science). 42. Constructive Side-Channel Analysis and Secure Design: Proc./3rd International Workshop, COSADE 2012, Darmstadt, Germany, May 2012/Ed. by W.Schindler, S.A.Huss.-Berlin: Springer, 2012.-Vol. 7275.-265 p.-(Lecture Notes in Computer Science). 43. Frontiers in Algorithmics and Algorithmic Aspects in Information and Management: Proc./Joint International Conference, FAW-AAIM 2012, Beijing, China, May 2012/Ed. by J.Snoeyink, P.Lu, K.Su, L.Wang.-Berlin: Springer, 2012.-Vol. 7285. -390 p.-(Lecture Notes in Computer Science). 44. Design Science Research in Information Systems. Advances in Theory and Practice: Proc./7th International Conference, DESRIST 2012, Las Vegas,NV,USA, May 2012/Ed. by K.Peffers, M.Rothenberger, B.Kuechler.-Berlin: Springer, 2012.-Vol. 7286. -439 p.-(Lecture Notes in Computer Science). 45. Reversible Computation: Revised Papers/3rd International Workshop, RC 2011, Gent, Belgium, July 2011/Ed. by A.De_Vos, R.Wille.-Berlin: Springer, 2012.-Vol. 7165.-123 p.-(Lecture Notes in Computer Science). 46. Information Security Technology for Applications: Revised Selected Papers/16th Nordic Conference on Secure IT Systems, NordSec 2011, Tallinn, Estonia, October 2011/Ed. by P.Laund. -Berlin: Springer, 2012.-Vol. 7161.-273 p.-(Lecture Notes in Computer Science). 47. Swarm and Evolutionary Computation: Proc./ International Symposia, SIDE 2012 and EC 2012 Held in Conjunction with ICAISC 2012, Zakopane, Poland, April 2012/Ed. by L.Rutkowski, M.Korytkowski, R.Scherer, R.Tadeusiewicz.-Berlin: Springer, 2012. -Vol. 7269.-440 p.-(Lecture Notes in Computer Science). 48. Advances in Knowledge Discovery and Data Mining, Part II: Proc./16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 2012/Ed. by P.-N.Tan, S.Chawla, C.K.Ho, J.Bailey. -Berlin: Springer, 2012.-Vol. 7302.-445 p.-(Lecture Notes in Artificial Intelligence). 49. Formal Concept Analysis: Proc./10th International Conference, ICFCA 2012, Leuven, Belgium, May 2012/Ed. by F.Domenach, D.L.Ignatov, J.Poelmans.-Berlin: Springer, 2012.-Vol. 7278.-309 p.-(Lecture Notes in Artificial Intelligence). 50. Artificial Intelligence and Soft Computing, Part I: Proc./11th International Conference, ICAISC 2012, Zakopane, Poland, April 2012/Ed. by L.Rutkowski, M.Korytkowski, R.Scherer, R.Tadeusiewicz.-Berlin: Springer, 2012.-Vol. 7267.-702 p. -(Lecture Notes in Artificial Intelligence). 51. Artificial Intelligence and Soft Computing, Part II: Proc./11th International Conference, ICAISC 2012, Zakopane, Poland, April 2012/Ed. by L.Rutkowski, M.Korytkowski, R.Scherer, R.Tadeusiewicz.-Berlin: Springer, 2012.-Vol. 7268.-736 p. -(Lecture Notes in Artificial Intelligence). 52. logic Programs, Norms and Action: Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday/Ed. by A.Artikis, R.Craven, N.K.Cicekli, B.Sadighi.-Berlin: Springer, 2012.-Vol. 7360.-425 p.-(Lecture Notes in Artificial Intelligence). 53. Research in Computational Molecular Biology: Proc./16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 2012/Ed. by B.Chor.-Berlin: Springer, 2012.-Vol. 7262.-372 p.-(Lecture Notes in Bioinformatics).