Hовые поступления с 30 сентября по 5 ноября 2012 года
1. Program Semantics, Specification and Verification: Theory and Applications: Proc./7th International Computer Science Symposium in Russia, Nizhni Novgorod, Russia, July 2012/Ed. by V.Nepomniaschy, V.Sokolov.-Nizhni Novgorod: Publ.House of the Nizhni Novgorod State University, 2012. -149 p. 2. Machine Learning and Knowledge Discovery in Databases, Part I: Proc./European Conference, ECML PKDD 2012, Bristol, UK, September 2012/Ed. by P.A.Flach, T.D.Bie, N.Cristianini. -Berlin: Springer, 2012.-Vol. 7523.-879 p.-(Lecture Notes in Artificial Intelligence). 3. Machine Learning and Knowledge Discovery in Databases, Part II: Proc./European Conference, ECML PKDD 2012, Bristol, UK, September 2012/Ed. by P.A.Flach, T.D.Bie, N.Cristianini. -Berlin: Springer, 2012.-Vol. 7524.-867 p.-(Lecture Notes in Artificial Intelligence). 4. On the Move to Meaningful Internet Systems: OTM 2012, Part I: Proc./ Confederated International Conference: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 2012 /Ed. by R.Meersman, H.Panetto, T.Dillon.-Berlin: Springer, 2012.-Vol. 7565.-467 p.-(Lecture Notes in Computer Science). 5. On the Move to Meaningful Internet Systems: OTM 2012, Part II: Proc./ Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 2012 /Ed. by R.Meersman, H.Panetto, T.Dillon.-Berlin: Springer, 2012.-Vol. 7566.-485 p.-(Lecture Notes in Computer Science). 6. Artificial Neural Networks and Machine Learning - ICANN 2012, Part I: Proc./22nd International Conference on ANN, Lausanne, Switzerland, September 2012/Ed. by A.E.P.Villa, W.Duch, P.Erdi, F.Masulli.-Berlin: Springer, 2012.-Vol. 7552. -739 p.-(Lecture Notes in Computer Science). 7. Artificial Neural Networks and Machine Learning - ICANN 2012, Part II: Proc./22nd International Conference on ANN, Lausanne, Switzerland, September 2012/Ed. by A.E.P.Villa, W.Duch, P.Erdi, F.Masulli.-Berlin: Springer, 2012.-Vol. 7553. -587 p.-(Lecture Notes in Computer Science). 8. Programming Languages: Proc./16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 2012/Ed. by F.Heron_De_Carvalho_Junior, L.S.Barbosa.-Berlin: Springer, 2012.-Vol. 7554.-165 p.-(Lecture Notes in Computer Science). 9. Cryptographic Hardware and Embedded Systems - CHES 2012: Proc./14th International Workshop, Leuven, Belgium, September 2012/Ed. by E.Prouff, P.Schaumont.-Berlin: Springer, 2012.-Vol. 7428.-562 p.-(Lecture Notes in Computer Science). 10. Electronic Participation: Proc./4th IFIP WG 8.5 International Conference, ePart 2012, Kristiansand, Norway, September 2012/Ed. by E.Tambouris, A.Macintosh, Q.Saebo. -Berlin: Springer, 2012.-Vol. 7444.-171 p.-(Lecture Notes in Computer Science). 11. Secure Data Management: Proc./9th VLDB Workshop, SDM 2012, Istanbul, Turkey, August 2012/Ed. by W.Jonker, M.Petkovic.-Berlin: Springer, 2012.-Vol. 7482.-177 p. -(Lecture Notes in Computer Science). 12. Algorithms - ESA 2012: Proc./20th Annual European Symposium, Ljubljana, Slovenia, September 2012/Ed. by L.Epstein, P.Ferragina.-Berlin: Springer, 2012.-Vol. 7501. -839 p.-(Lecture Notes in Computer Science). 13. Theoretical Computer Science: Proc./7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 2012/Ed. by J.C.M.Baeten, T.Ball, F.S.De_Boer.-Berlin: Springer, 2012.-Vol. 7604.-389 p. -(Lecture Notes in Computer Science). 14. Theory and Practice of Digital Libraries: Proc./2nd International Conference, TPDL 2012, Paphos, Cyprus, September 2012/Ed. by P.Zaphiris, G.Buchanan, E.Rasmussen, F.Loizides.-Berlin: Springer, 2012.-Vol. 7489.-500 p. -(Lecture Notes in Computer Science). 15. Coalgebraic Methods in Computer Science: Revised Selected Papers/11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 2012/Ed. by D.Pattinson, L.Schroder.-Berlin: Springer, 2012.-Vol. 7399.-259 p.-(Lecture Notes in Computer Science). 16. Artificial Immune Systems: Proc./11th International Conference, ICARIS 2012, Taormina, Italy, August 2012/Ed. by C.A.C.Coello, J.Greensmith, N.Krasnogor, P.Lio.-Berlin: Springer, 2012.-Vol. 7597.-293 p.-(Lecture Notes in Computer Science). 17. Unconventional Computation and Natural Computation: Proc./11th International Conference, UCNC 2012, Orleans, France, September 2012/Ed. by J.Durand-Lose, N.Jonoska. -Berlin: Springer, 2012.-Vol. 7445.-252 p.-(Lecture Notes in Computer Science). 18. Static Analysis: Proc./19th International Symposium, SAS 2012, Deauville, France, September 2012/Ed. by A.Mine, D.Schmidt.-Berlin: Springer, 2012.-Vol. 7460.-457 p. -(Lecture Notes in Computer Science). 19. On the Move to Meaningful Internet Systems: OTM 2012 Workshops: Proc./Confederated Int.WSs: OTM Academy, Industry Case Studies Program, EI2N, INBUST, META4eS, OnToContent, ORM, SeDeS, SINCOM, and Somoco 2012, Rome, Italy, September 2012/Ed. by P.Herrero, H.Panetto.-Berlin: Springer, 2012. -Vol. 7567.-687 p.-(Lecture Notes in Computer Science). 20. Electronic Government: Proc./11th IFIP WG 8.5 International Conference, EGOV 2012, Kristiansand, Norway, September 2012/Ed. by H.J.Scholl, M.Janssen, M.A.Wimmer, C.E.Moe.-Berlin: Springer, 2012.-Vol. 7443.-279 p.-(Lecture Notes in Computer Science). 21. Artificial Intelligence: Methodology, Systems, and Applications: Proc./15th International Conference, AIMSA 2012, Varna, Bulgaria, September 2012/Ed. by A.Ramsay, G.Agre.-Berlin: Springer, 2012.-Vol. 7557.-336 p.-(Lecture Notes in Artificial Intelligence). 22. Logics in Artificial Intelligence: Proc./13th European Conference, JELIA 2012, Toulouse, France, September 2012/Ed. by L.Farinas_Del_Cerro, A.Herzig, J.Mengin.-Berlin: Springer, 2012.-Vol. 7519.-498 p.-(Lecture Notes in Artificial Intelligence). 23. Algorithms in Bioinformatics: Proc./12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 2012/Ed. by B.Raphael, J.Tang.-Berlin: Springer, 2012.-Vol. 7534. -454 p.-(Lecture Notes in Bioinformatics). 24. Euro-Par 2012 Parallel Processing: Proc./18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 2012/Ed. by Ch.Kaklamanis, Th.Papatheodorou, P.G.Spirakis.-Berlin: Springer, 2012.-Vol. 7484.-960 p. -(Lecture Notes in Computer Science). 25. Swarm Intelligence: Proc./8th International Conference, ANTS 2012, Brussels, Belgium, September 2012/Ed. by M.Dorigo, M.Birattari, Ch.Blum, A.L.Christensen.-Berlin: Springer, 2012.-Vol. 7461.-356 p.-(Lecture Notes in Computer Science). 26. Serious Games Development and Applications: Proc./3rd International Conference, SGDA 2012, Bremen. Germany, September 2012/Ed. by M.Ma, M.F.Oliveira, J.B.Hauge, H.Duin. -Berlin: Springer, 2012.-Vol. 7528.-269 p.-(Lecture Notes in Computer Science). 27. Parameterized and Exact Computation: Proc./7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 2012/Ed. by D.M.Thilikos, G.J.Woeginger.-Berlin: Springer, 2012.-Vol. 7535.-275 p.-(Lecture Notes in Computer Science). 28. Stabilization, Safety, and Security of Distributed Systems: Proc./14th International Symposium, SSS 2012, Toronto, Canada, October 2012/Ed. by A.W.Richa, Ch.Scheideler.-Berlin: Springer, 2012.-Vol. 7596.-330 p. -(Lecture Notes in Computer Science). 29. Relational and Algebraic Methods in Computer Science: Proc./13th International Conference, RAMiCS 2012, Cambridge, UK, September 2012/Ed. by W.Kahl, T.G.Griffin.-Berlin: Springer, 2012.-Vol. 7560.-357 p.-(Lecture Notes in Computer Science). 30. Recent Advances in the Massage Passing Interface: Proc./19th European MPI User's Group Meeting, EuroMPI 2012, Vienna, Austria, September 2012/Ed. by J.L.Traff, S.Benkner, J.Dongarra.-Berlin: Springer, 2012.-Vol. 7490. -302 p.-(Lecture Notes in Computer Science). 31. Multimodal Brain Image Analysis: Proc./2nd International Workshop, MBIA 2012 Held in Conjunction with MICCAI 2012, Nice, France, October 2012/Ed. by P.-Th.Yap, T.Liu, D.Shen, C.-F.Westin.-Berlin: Springer, 2012.-Vol. 7509. -226 p.-(Lecture Notes in Computer Science). 32. Formal Modeling and Analysis of Timed Systems: Proc./10th International Conference, FORMATS 2012, London, UK, September 2012/Ed. by M.Jurdzinski, D.Nickovic.-Berlin: Springer, 2012.-Vol. 7595.-267 p.-(Lecture Notes in Computer Science). 33. Computational Intelligence for Multimedia Understanding: Revised Selected Papers/ International Workshop, MUSCLE 2011, Pisa, Italy, December 2011/Ed. by E.Salerno, A.E.Cetin, O.Salvetti.-Berlin: Springer, 2012. -Vol. 7252.-235 p.-(Lecture Notes in Computer Science). 34. Service-Oriented and Cloud Computing: Proc./1st European Conference, ESOCC 2012, Bertinoro, Italy, September 2012/Ed. by F.De_Paoli, E.Pimentel, G.Zavattaro.-Berlin: Springer, 2012.-Vol. 7592.-282 p.-(Lecture Notes in Computer Science). 35. Model Driven Engineering Languages and Systems: Proc./15th International Conference, MODELS 2012, Innsbruk, Austria, September 2012/Ed. by R.B.France, J.Kazmeier, R.Breu, C.Atkinson.-Berlin: Springer, 2012.-Vol. 7590.-828 p. -(Lecture Notes in Computer Science). 36. Software Engineering for Resilient Systems: Proc./4th International Workshop, SERENE 2012, Pisa, Italy, September 2012/Ed. by P.Avgeriou.-Berlin: Springer, 2012.-Vol. 7527. -181 p.-(Lecture Notes in Computer Science). 37. Formal Methods: Foundations and Applications: Proc./15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 2012/Ed. by R.Gheyi, D.Naumann.-Berlin: Springer, 2012.-Vol. 7498.-227 p.-(Lecture Notes in Computer Science). 38. Theoretical Aspects of Computing - ICTAC 2012: Proc./9th International Colloquium, Bangalore, India, September 2012/Ed. by A.Roychoudhury, M.D'Souza.-Berlin: Springer, 2012.-Vol. 7521.-259 p.-(Lecture Notes in Computer Science). 39. 21st Century Learning for 21st Century Skills: Proc./7th European Conference, EC-TEL 2012, Saarbrucken, Dermany, September 2012/Ed. by A.Ravenscroft, S.Lindstaedt, C.D.Kloos, D.Hernandez-Leo.-Berlin: Springer, 2012.-Vol. 7563. -553 p.-(Lecture Notes in Computer Science). 40. Computer Information Systems and Industrial Management: Proc./11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 2012/Ed. by A.Cortesi, N.Chaki, K.Saeed, S.Wierzchon.-Berlin: Springer, 2012.-Vol. 7564.-444 p.-(Lecture Notes in Computer Science). 41. Graph Transformations: Proc./6th International Conference, ICGT 2012, Bremen, Germany, September 2012/Ed. by H.Ehrig, G.Engels, H.-J.Kreowski, G.Rozenberg.-Berlin: Springer, 2012.-Vol. 7562.-427 p.-(Lecture Notes in Computer Science). 42. Advances in Visual Computing, Part I: Revised Selected Papers/8th International Symposium, ISVC 2012, Rethymnon, Crete, Greece, July 2012/Ed. by G.Bebis.-Berlin: Springer, 2012.-Vol. 7431.-733 p.-(Lecture Notes in Computer Science). 43. Advances in Visual Computing, Part II: Revised Selected Papers/8th International Symposium, ISVC 2012, Rethymnon, Crete, Greece, July 2012/Ed. by G.Bebis.-Berlin: Springer, 2012.-Vol. 7432.-771 p.-(Lecture Notes in Computer Science). 44. Advanced Concepts for Intelligent Vision Systems: Proc./14th International Conference, ACIVS 2012, Brno, Czech Republic, September 2012/Ed. by J.Blanc-Talon, W.Philips, D.Popescu, P.Scheunders.-Berlin: Springer, 2012.-Vol. 7517. -540 p.-(Lecture Notes in Computer Science). 45. Computer Security - ESORICS 2012: Proc./17th European Symposium on Research in Computer Security, Pisa, Italy, September 2012/Ed. by S.Foresti, M.Yung, F.Martinelli. -Berlin: Springer, 2012.-Vol. 7459.-896 p.-(Lecture Notes in Computer Science). 46. Theory and Practice of Natural Computing: Proc./First International Conference, TPNC 2012, Tarragona, Spain, October 2012/Ed. by A.-H.Dediu, C.Martin-Vide, B.Truthe. -Berlin: Springer, 2012.-Vol. 7505.-227 p.-(Lecture Notes in Computer Science). 47. Abdominal Imaging. Computational and Clinical Applications: Proc./4th International Workshop Held in Conjunction with MICCAI 2012, Nice, France, October 2012/Ed. by H.Yoshida, D.Hawkes, M.W.Vannier.-Berlin: Springer, 2012. -Vol. 7601.-304 p.-(Lecture Notes in Computer Science). 48. Information and Communication Technologies: Proc./18th EUNICE/IFIP WG 6.2, 6.6 International Conference, EUNICE 2012, Budapest, Hungary, August 2012/Ed. by R.Szabo, A.Vidacs.-Berlin: Springer, 2012.-Vol. 7479.-450 p.-(Lecture Notes in Computer Science). 49. KI 2012: Advances in Artificial Intelligence: Proc./35th Annual German Conference on AI, Saarbrucken, Germany, September 2012/Ed. by B.Glimm, A.Kruger.-Berlin: Springer, 2012.-Vol. 7526.-267 p.-(Lecture Notes in Artificial Intelligence). 50. New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 2011/Ed. by M.Okumura, D.Bekki, K.Satoh.-Berlin: Springer, 2012.-Vol. 7258.-291 p.-(Lecture Notes in Artificial Intelligence). 51. Intelligent Virtual Agents: Proc./12th International Conference, IVA 2012, Santa Cruz, USA, September 2012/Ed. by Y.Nakano, M.Neff, A.Paiva, M.Walker.-Berlin: Springer, 2012. -Vol. 7502.-529 p.-(Lecture Notes in Artificial Intelligence). 52. Intelligent Robotics and Applications. Part I: Proc./5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 2012/Ed. by Ch.-Y.Su, S.Rakheja, H.Liu. -Berlin: Springer, 2012.-Vol. 7506.-723 p.-(Lecture Notes in Artificial Intelligence). 53. Intelligent Robotics and Applications. Part II: Proc./5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 2012/Ed. by Ch.-Y.Su, S.Rakheja, H.Liu. -Berlin: Springer, 2012.-Vol. 7507.-715 p.-(Lecture Notes in Artificial Intelligence). 54. Intelligent Robotics and Applications. Part III: Proc./5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 2012/Ed. by Ch.-Y.Su, S.Rakheja, H.Liu. -Berlin: Springer, 2012.-Vol. 7508.-625 p.-(Lecture Notes in Artificial Intelligence). 55. Artificial Neural Networks in Pattern Recognition: Proc./5th INNS IAPR TC 3 GIRPR Workshop, ANNPR 2012, Trento, Italy, September 2012/Ed. by N.Mana, F.Schwenker, E.Trentin. -Berlin: Springer, 2012.-Vol. 7477.-245 p.-(Lecture Notes in Artificial Intelligence). 56. Scalable Uncertainty Management: Proc./6th International Conference, SUM 2012, Marburg, Germany, September 2012/Ed. by E.Hullermeier, S.Link, T.Fober, B.Seeger.-Berlin: Springer, 2012.-Vol. 7520.-648 p.-(Lecture Notes in Artificial Intelligence). 57. Text,Speech and Dialogue: Proc./15th International Conference, TSD 2012, Brno, Czech Republic, September 2012/ Ed. by P.Sojka, A.Horak, I.Kopecek, K.Pala.-Berlin: Springer, 2012.-Vol. 7499.-700 p.-(Lecture Notes in Artificial Intelligence). 58. Spatial Cognition VIII: Proc./International Conference, Spatial Cognition 2012, Kloster Seeon, Germany, August/September 2012/Ed. by C.Stachniss, K.Schill, D.Uttal. -Berlin: Springer, 2012.-Vol. 7463.-494 p.-(Lecture Notes in Artificial Intelligence). 59. Computational Logic in Multi-Agent Systems: Proc./13th International Workshop, CLIMA XIII, Montpellier, France, August 2012/Ed. by M.Fisher, L.Van_Der_Torre, M.Dastani, G.Governatori.-Berlin: Springer, 2012.-Vol. 7486.-213 p. -(Lecture Notes in Artificial Intelligence). 60. Entertainment Computing - ICEC 2012: Proc./11th International Conference, ICEC 2012, Bremen, Germany, September 2012/Ed. by M.Herrlich, R.Malaka, M.Masuch.-Berlin: Springer, 2012.-Vol. 7522.-611 p.-(Lecture Notes in Computer Science). 61. Alan Turing Centenary: Proc./The Turing Conference, Turing 100, Manchester, UK, June 2012/Ed. by A.Voronkov. -Manchester: EasyChair, 2012.-435 p. 62. Дима Фон-Дер-Флаас/Отв. ред.-сост. Е.В.Константинова. . - Новосибирск: Академическое издательство "Гео", 2012.- 275 с.