Hовые поступления с 5 ноября по 18 декабря 2012 года
1. Information Computing and Applications: Proc./3rd International Conference, ICICA 2012, Chengde, China, September 2012/Ed. by B.Liu, M.Ma, J.Chang.-Berlin: Springer, 2012.-Vol. 7473.-782 p.-(Lecture Notes in Computer Science). 2. Computational Visual Media: Proc./1st International Conference, CVM 2012, Beijing, China, November 2012/Ed. by S.-M.Hu, R.R.Martin.-Berlin: Springer, 2012.-Vol. 7633.-268 p. -(Lecture Notes in Computer Science). 3. Business Process Management: Proc./10th International Conference, BPM 2012, Tallinn, Estonia, September 2012/Ed. by A.Barros, A.Gal, E.Kindler.-Berlin: Springer, 2012.-Vol. 7481. -354 p.-(Lecture Notes in Computer Science). 4. Research in Attacks, Intrusions, and Defenses: Proc./15th International Symposium, RAID 2012, Amsterdam. The Netherlands, September 2012/Ed. by D.Balzarotti, S.J.Stolfo, M.Cova.-Berlin: Springer, 2012.-Vol. 7462.-400 p.-(Lecture Notes in Computer Science). 5. Computer Vision and Graphics: Proc./International Conference, ICCVG 2012, Warsaw, Poland, September 2012/Ed. by L.Bolc, R.Tadeusiewicz, L.J.Chmielewski, K.Wojciechowski.-Berlin: Springer, 2012.-Vol. 7594.-755 p.-(Lecture Notes in Computer Science). 6. Progress in Cryptology - LATINCRYPT 2012: Proc./2nd International Conference on Cryptology and Information Security in Latin America, Santiago, Chile, October 2012/Ed. by A.Hevia, G.Neven.-Berlin: Springer, 2012.-Vol. 7533.-323 p.-(Lecture Notes in Computer Science). 7. Security and Cryptography for Networks: Proc./8th International Conference, SCN 2012, Amalfi, Italy, September 2012/ Ed. by I.Visconti, R.De_Prisco.-Berlin: Springer, 2012.-Vol. 7485. -582 p.-(Lecture Notes in Computer Science). 8. Privacy in Statistical Databases: Proc./UNESCO Chair in Data Privacy International Conference, PSD 2012, Palermo, Italy, September 2012/Ed. by J.Domingo-Ferrer, I.Tinnirello.-Berlin: Springer, 2012.-Vol. 7556.-365 p.-(Lecture Notes in Computer Science). 9. Information Security: Proc./15th International Conference, ISC 2012, Passau, Germany, September 2012/Ed. by D.Gollmann, F.C.Freiling.-Berlin: Springer, 2012.-Vol. 7483.-402 p.-(Lecture Notes in Computer Science). 10. Provable Security: Proc./6th International Conference, ProvSec 2012, Chengdu, China, September 2012/Ed. by T.Takagi, G.Wang, Zh.Qin, Sh.Jiang.-Berlin: Springer, 2012.-Vol. 7496.-337 p.-(Lecture Notes in Computer Science). 11. Algorithmic Learning Theory: Proc./23rd International Conference, ALT 2012, Lyon, France, October 2012/Ed. by N.H.Bshouty, G.Stoltz, N.Vayatis, Th.Zeugmann.-Berlin: Springer, 2012.-Vol. 7568.-381 p.-(Lecture Notes in Artificial Intelligence). 12. Нариньяни Н.П. Между прошлым и будущим.- М.: Московский рабочий, 2001.- 263 с. 13. Mesh Processing in Medical Image Analysis: Proc./MICCAI 2012 International Workshop, MeshMed 2012, Nice, France, October 2012/ Ed. by J.A.Levine, R.R.Paulsen, Y.Zhang.-Berlin: Springer, 2012. -Vol. 7599.-169 p.-(Lecture Notes in Computer Science). 14. E-Learning and Games for Training, Education, Health and Sports: Proc./7th International Conference, Edutainment 2012 and 3rd International Conference, GameDays 2012, Darmstadt, Germany, September 2012/Ed. by S.Gobel, W.Muller, B.Urban, J.Wiemeyer. -Berlin: Springer, 2012.-Vol. 7516.-194 p.-(Lecture Notes in Computer Science). 15. Reachability Problems: Proc./6th International Workshop, RP 2012, Bordeaux, France, September 2012/Ed. by A.Finkel, J.Leroux, I.Potapov.-Berlin: Springer, 2012.-Vol. 7550.-149 p. -(Lecture Notes in Computer Science). 16. Information Access Evaluation. Multilinguality, Multimodality, and Visual Analytics: Proc./3rd International Conference of the CLEF Initiative, CLEF 2012, Rome, Italy, September 2012/Ed. by T.Catarci, P.Forner, D.Hiemstra, A.Penas. -Berlin: Springer, 2012.-Vol. 7488.-145 p.-(Lecture Notes in Computer Science). 17. Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data: Proc./2nd International Workshop, STIA 2012 Held in Conjunction with MICCAI 2012, Nice, France, October 2012/Ed. by S.Durrieman, T.Fletcher, G.Gerig, M.Niethammer. -Berlin: Springer, 2012.-Vol. 7570.-163 p.-(Lecture Notes in Computer Science). 18. Augmented Environments for Computer-Assisted Interventions: Revised Selected Papers/6th International Workshop, AE-CAI 2011 Held in Conjuction with MICCAI 2011, Toronto, ON, Canada, September 2011/Ed. by C.A.Linte, J.T.Moore, E.C.S.Chen, D.R.Holmes_Iii.-Berlin: Springer, 2012.-Vol. 7264.-139 p. -(Lecture Notes in Computer Science). 19. Progress in Pattern Recognition, Image Analysis, Computer Vision, and Application: Proc./17th Iberoamerican Congress, CIARP 2012, Buenos Aires, Argentina, September 2012/Ed. by L.Alvarez, M.Mejail, L.Gomez, J.Jacobo.-Berlin: Springer, 2012.-Vol. 7441. -896 p.-(Lecture Notes in Computer Science). 20. Datalog in Academia and Industry: Proc./2nd International Workshop, Datalog 2.0, Vienna, Austria, September 2012/Ed. by P.Barcelo, R.Pichler.-Berlin: Springer, 2012.-Vol. 7494.-191 p. -(Lecture Notes in Computer Science). 21. Search Based Software Engineering: Proc./4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 2012/Ed. by G.Fraser, J.Teixeira_De_Souza.-Berlin: Springer, 2012.-Vol. 7515.-293 p.-(Lecture Notes in Computer Science). 22. Pattern Recognition: Proc./Joint 34th DAGM and 36th OAGM Symposium, Graz, Austria, August 2012/Ed. by A.Pinz, Th.Pock, H.Bischof, F.Leberl.-Berlin: Springer, 2012.-Vol. 7476.-510 p. -(Lecture Notes in Computer Science). 23. Automated Technology for Verification and Analysis: Proc./10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 2012/Ed. by S.Chakraborty, M.Mukund.-Berlin: Springer, 2012.-Vol. 7561.-436 p.-(Lecture Notes in Computer Science). 24. Computational Logistics: Proc./3rd International Conference, ICCL 2012, Shanghai, China, September 2012/Ed. by H.Hu, X.Shi, R.Stahlbock, S.Voss.-Berlin: Springer, 2012.-Vol. 7555.-217 p. -(Lecture Notes in Computer Science). 25. Collaboration and Technology: Proc./18th International Conference, CRIWG 2012, Raesfeld, Germany, September 2012/Ed. by V.Harskovic, H.U.Hoppe, M.Jansen, J.Ziegler.-Berlin: Springer, 2012.-Vol. 7493.-237 p.-(Lecture Notes in Computer Science). 26. Web Reasoning and Rule Systems: Proc./6th International Conference, RR 2012, Vienna, Austria, September 2012/Ed. by M.Krotzsch, U.Straccia.-Berlin: Springer, 2012.-Vol. 7497.-298 p. -(Lecture Notes in Computer Science). 27. Lerge-Scale Complex IT Systems. Development, Operation, and Management: Revised Selected Papers/17th Monterey Workshop 2012, Oxford, UK, March 2012/Ed. by R.Calinescu, D.Garlan.-Berlin: Springer, 2012.-Vol. 7539.-417 p.-(Lecture Notes in Computer Science). 28. Advances in Conceptual Modeling: Proc./ER 2012 Workshops: CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 2012/Ed. by S.Castano, P.Vassiliadis, L.V.S.Lakshmanan, M.L.Li.-Berlin: Springer, 2012.-Vol. 7518.-406 p.-(Lecture Notes in Computer Science). 29. Human Behavior Understanding: Proc./3rd International Workshop, HBU 2012, Vilamoura, Portugal, October 2012/Ed. by A.A.Salah, J.Ruiz_Del_Solar, C.Mericli, P.-Y.Oudeyer.-Berlin: Springer, 2012.-Vol. 7559.-175 p.-(Lecture Notes in Computer Science). 30. Distributed Computing: Proc./26th International Symposium, DISC 2012, Salvador, Brazil, October 2012/Ed. by M.K.Aguilera. -Berlin: Springer, 2012.-Vol. 7611.-450 p.-(Lecture Notes in Computer Science). 31. Medical Image Computing and Computer-Assisted Intervention - MICCAI 2012, Part I: Proc./15th International Comference, Nice, France, October 2012/Ed. by N.Ayache, H.Delingette, P.Golland, K.Mori.-Berlin: Springer, 2012.-Vol. 7510.-759 p.-(Lecture Notes in Computer Science). 32. Medical Image Computing and Computer-Assisted Intervention - MICCAI 2012, Part II: Proc./15th International Conference, Nice, France, October 2012/Ed. by N.Ayache, H.Delingette, P.Golland, K.Mori.-Berlin: Springer, 2012.-Vol. 7511.-685 p.-(Lecture Notes in Computer Science). 33. Medical Image Computing and Computer Assisted Intervention - MICCAI 2012, Part III: Proc./ 15th International Conference, Nice, France, October 2012/Ed. by N.Ayache, H.Delingette, P.Golland, K.Mori.-Berlin: Springer, 2012.-Vol. 7512.-657 p. -(Lecture Notes in Computer Science). 34. Secure IT Systems: Proc./17th Nordic Conference, NordSec 2012, Karlskrona, Sweden, October 2012/Ed. by A.Josang, B.Carlsson.-Berlin: Springer, 2012.-Vol. 7617.-247 p.-(Lecture Notes in Computer Science). 35. Leveraging Applications of Formal Mathods, Verification and Validation. Technologies for Mastering Change, Part I: Proc./5th International Symposium, ISoLA 2012, Heraclion, Greece, October 2012/Ed. by T.Margaria, B.Steffen.-Berlin: Springer, 2012.-Vol. 7609.-617 p.-(Lecture Notes in Computer Science). 36. Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, Part II: Proc./5th International Symposium, ISoLA 2012, Heraclion, Greese, October 2012/Ed. by T.Margaria, B.Steffen.-Berlin: Springer, 2012.-Vol. 7610.-361 p.-(Lecture Notes in Computer Science). 37. Web-Age Information Management: Proc./WAIM 2012 International Workshops: GDMM, IWSN, MDSP, USDM, and XMLDM, Harbin, China, August 2012/Ed. by Z.Bao, Y.Gao, Y.Gu, L.Guo. -Berlin: Springer, 2012.-Vol. 7419.-362 p.-(Lecture Notes in Computer Science). 38. Transactions on Computational Collective Intelligence VIII/ Ed. by N.T.Nguyen.-Berlin: Springer, 2012.-Vol. 7430.-229 p. -(Lecture Notes in Computer Science). 39. Knowledge Engineering and Knowledge Management: Proc./18th Iternational Conference, EKAW 2012, Galway City, Ireland, October 2012/Ed. by A.Ten_Teije, J.Volker, S.Handschuh, H.Stuckenschmidt. -Berlin: Springer, 2012.-Vol. 7603.-452 p.-(Lecture Notes in Artificial Intelligence). 40. Discovery Science: Proc./15th International Conference, DS 2012, Lyon, France, October 2012/Ed. by J.-G.Ganascia, P.Lenca, J.-M.Petit.-Berlin: Springer, 2012.-Vol. 7569.-329 p.-(Lecture Notes in Artificial Intelligence). 41. Security, Privacy, and Applied Cryptography Engineering: Proc./2nd International Conference, SPACE 2012, Chennai, India, November 2012/Ed. by A.Bogdanov, S.Sanadhya.-Berlin: Springer, 2012.-Vol. 7644.-173 p.-(Lecture Notes in Computer Science). 42. Advances in Intelligent Data Analysis XI: Proc./11th International Symposium, IDA 2012, Helsinki, Finland, October 2012 /Ed. by J.Hollmen, F.Klawonn, A.Tucker.-Berlin: Springer, 2012. -Vol. 7619.-426 p.-(Lecture Notes in Computer Science). 43. Human-Centered Software Engineering: Proc./4th International Conference, HCSE 2012, Toulouse, France, October 2012/Ed. by M.Winckler, P.Forbrig, R.Bernhaupt.-Berlin: Springer, 2012.-Vol. 7623.-370 p.-(Lecture Notes in Computer Science). 44. Applications of Graph Transformations with Industrial Relevance: Revised Selected and Invited Papers/4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 2011/Ed. by A,Schurr, D.Varro, G.Varro.-Berlin: Springer, 2012.-Vol. 7233. -255 p.-(Lecture Notes in Computer Science). 45. Graph-Theoretic Concepts in Computer Science: Revised Selected Papers/38th International Workshop, WG 2012, Jerusalem, Israel, June, 2012/Ed. by M.Ch.Golumbic, M.Stern, A.Levy, G.Morgenstern.-Berlin: Springer, 2012.-Vol. 7551.-346 p.-(Lecture Notes in Computer Science). 46. Decision and Game Theory for Security: Proc./3rd International Conference, GameSec 2012, Budapest, Hungary, November 2012/Ed. by J.Grossklags, J.Walrand.-Berlin: Springer, 2012.-Vol. 7638.-309 p.-(Lecture Notes in Computer Science). 47. Formal Methods and Software Engineering: Proc./14th International Conference on Formal Engineering Mathods, ICFEM 2012, Kyoto, Japan, November 2012/Ed. by T.Aoki, K.Taguchi. -Berlin: Springer, 2012.-Vol. 7635.-512 p.-(Lecture Notes in Computer Science). 48. Progress in Cultural Heritage Preservation: Proc./4th International Conference, EuroMed 2012, Limassol, Cyprus, October 2012/Ed. by M.Ioannides, D.Fritsch, J.Leissner, R.Davies.-Berlin: Springer, 2012.-Vol. 7616.-898 p.-(Lecture Notes in Computer Science). 49. Rewriting Logic and Its Aplications: Revised Selected Papers/9th International Workshop, WRLA 2012 Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 2012/Ed. by F.Duran. -Berlin: Springer, 2012.-Vol. 7571.-241 p.-(Lecture Notes in Computer Science). 50. String Processing and Information Retrieval: Proc./19th International Symposium, SPIRE 2012, Cartagena de Indias, Colombia, October 2012/Ed. by L.Calderon-Benavides, C.Gonzalez-Caro, E.Chavez, N.Ziviani.-Berlin: Springer, 2012. -Vol. 7608.-412 p.-(Lecture Notes in Computer Science). 51. Structural, Syntactic, and Statistical Pattern Recognition: Proc./Joint IAPR International Workshop, SSPR & SPR 2012, Hiroshima, Japan, November 2012/Ed. by G.Gimel'Farb, E.Hancock, A.Imiya, A.Kuijper.-Berlin: Springer, 2012.-Vol. 7626.-755 p. -(Lecture Notes in Computer Science). 52. Advances in Information and Computer Security: Proc./7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 2012/Ed. by G.Hanaoka, T.Yamauchi.-Berlin: Springer, 2012.-Vol. 7631.-261 p.-(Lecture Notes in Computer Science). 53. Network and System Security: Proc./6th International Conference, NSS 2012, Wuyishan, Fujian, China, November 2012/Ed. by L.Xu, E.Bertino, Y.Mu.-Berlin: Springer, 2012.-Vol. 7645.-532 p.-(Lecture Notes in Computer Science). 54. Advances in Cryptology - ASIACRYPT 2012: Proc./18th International Conference on the Theory and Applications of Cryptology and Information Security, Beijing, China, December 2012 /Ed. by X.Wang, K.Sako.-Berlin: Springer, 2012.-Vol. 7658.-780 p. -(Lecture Notes in Computer Science). 55. Information and Communications Security: Proc./14th International Conference, ICICS 2012, Hong Kong, China, October 2012/Ed. by T.W.Chim, T.H.Yuen.-Berlin: Springer, 2012.-Vol. 7618. -506 p.-(Lecture Notes in Computer Science). 56. Service-Oriented Computing: Proc./10th International Conference, ICSOC 2012, Shanghai, China, November 2012/Ed. by C.Liu, H.Ludwig, F.Toumani, Q.Yu.-Berlin: Springer, 2012.-Vol. 7636.-795 p.-(Lecture Notes in Computer Science). 57. Simulation, Modeling, and Programming for Autonomous Robots: Proc./3rd International Conference, SIMPAR 2012, Tsukuba, Japan, November 2012/Ed. by I.Noda, N.Ando, D.Brugali, J.J.Kuffner. -Berlin: Springer, 2012.-Vol. 7628.-414 p.-(Lecture Notes in Artificial Intelligence). 58. Advances in Natural Language Processing: Proc./8th International Conference on NLP, JapTAL 2012, Kanazawa, Japan, October 2012/Ed. by H.Isahara, K.Kanzaki.-Berlin: Springer, 2012. -Vol. 7614.-334 p.-(Lecture Notes in Artificial Intelligence). 59. Gesture and Sign Language in Human-Computer Interaction and Embodied Communication: Revised Selected Papers/9th International Gesture Workshop, GW 2011, Athens, Greece, May 2011/Ed. by E.Efthimiou, G.Kouroupetroglou, S.-E.Fotinea.-Berlin: Springer, 2012.-Vol. 7206.-275 p.-(Lecture Notes in Artificial Intelligence). 60. Pattern Recognition in Bioinformatics: Proc./7th IAPR International Cinference, PRIB 2012, Tokyo, Japan, November 2012/ Ed. by T.Shibuya, H.Kashima, J.Sese, S.Ahmad.-Berlin: Springer, 2012.-Vol. 7632.-278 p.-(Lecture Notes in Bioinformatics). 61. Каблуков И.В., Шелехов В.И. Контроль динамической семантики предикатной программы.-Новосибирск, 2012.-28 с.-(Препринт/ИСИ СО РАН; N 162). 62. Непомнящий В.А., Бодин Е.В., Веретнов С.О. Применение языка Dynamic-real для анализа и верификации распределенных систем, специфицированных на языке SDL.-Новосибирск, 2012.-52 с. -(Препринт/ИСИ СО РАН; N 161). 63. Мгновения истории Акдемгородка. Первые десятилетия в фотографиях Рашида Ахмерова/СО РАН. .- Новосибирск: Академическое издательство "Гео", 2012.- 108 с.