Hовые поступления с 1 апреля по 13 мая 2013 года
1. Public-Key Cryptography - PKC 2013: Proc./16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 2013/Ed. by K.Kurosawa, G.Hanaoka.-Berlin: Springer, 2013.-Vol. 7778.-518 p.-(Lecture Notes in Computer Science). 2. Computer Performance Engineering: Revised Selected Papers/9th European Workshop, EPEW 2012, Munich, Germany, July 2012 and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2012/ Ed. by M.Tribastone, S.Gilmore.-Berlin: Springer, 2013.-Vol. 7567. -253 p.-(Lecture Notes in Computer Science). 3. The Outreach of Digital Libraries: A Globalized Resource Network: Proc./14th International Conference on Asia-Pacific DL, ICADL 2012, Taipei, Taiwan, China, November 2012/Ed. by H.-H.Chen, G.Chowdhury.-Berlin: Springer, 2012.-Vol. 7634.-372 p. -(Lecture Notes in Computer Science). 4. Information and Communication Technology: Proc./ International Conference, ICT-EurAsia 2013, Yogyakarta, Indonesia, March 2013/Ed. by K.Mustofa, E.J.Neuhold, A.M.Tjoa, E.Weippl.-Berlin: Springer, 2013.-Vol. 7804.-552 p.-(Lecture Notes in Computer Science). 5. Language and Automata Theory and Applications: Proc./7th International Conference, LATA 2013, Bilbao, Spain, April 2013/ Ed. by A.-H.Dediu, C.Martin-Vide, B.Truthe.-Berlin: Springer, 2013.-Vol. 7810.-580 p.-(Lecture Notes in Computer Science). 6. Uncertainty Reasoning for the Semantic Web II: Revised Selected Papers/International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC/Ed. by F.Bobillo, P.C.G.Costa, C.D'Amato, N.Fanizzi.-Berlin: Springer, 2013.-Vol. 7123.-331 p. -(Lecture Notes in Artificial Intelligence). 7. Emerging Trends in Knowledge Discovery and Data Mining: Revised Selected Papers/PAKDD 2012 International Workshops: DMHM, GeoDoc, 3Clust, and DSDM, Kuala Lumpur, Malaysia, May 2012/Ed. by T.Washio, J.Luo.-Berlin: Springer, 2013.-Vol. 7769.-157 p. -(Lecture Notes in Artificial Intelligence). 8. Intelligent Information and Database Systems, Part I: Proc./5th Asian Conference, ACIIDS 2012, Kuala Lumpur, Malaysia, March 2013/Ed. by A.Selamat, N.T.Nguyen, H.Haron.-Berlin: Springer, 2013.-Vol. 7802.-520 p.-(Lecture Notes in Artificial Intelligence). 9. Intelligent Information and Database Systems, Part II: Proc./5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 2013/Ed. by A.Selamat, N.T.Nguyen, H.Haron.-Berlin: Springer, 2013.-Vol. 7803.-562 p.-(Lecture Notes in Artificial Intelligence). 10. Process Support and Knowledge Representation in Health Care: Revised Selected Papers/BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 2012/Ed. by R.Lenz, S.Miksch, M.Peleg, M.Reichert.-Berlin: Springer, 2013.-Vol. 7738. -183 p.-(Lecture Notes in Artificial Intelligence). 11. Your Virtual Butler. The Making-of/Ed. by R.Trappl.-Berlin: Springer, 2013.-Vol. 7407.-187 p.-(Lecture Notes in Artificial Intelligence). 12. Membrane Computing: Revised Selected Papers/13th International Conference, CMC 2012, Budapest, Hungary, August 2012 /Ed. by E.Csuhaj-Varju, M.Gheorghe, G.Rozenberg, A.Salomaa. -Berlin: Springer, 2013.-Vol. 7762.-425 p.-(Lecture Notes in Computer Science). 13. Integer Programming and Combinatorial Optimization: Proc./16th International Conference, IPCO 2013, Valparaiso, Chile, March 2013/Ed. by M.Goemans, J.Correa.-Berlin: Springer, 2013.-Vol. 7801.-400 p.-(Lecture Notes in Computer Science). 14. Languages and Compilers of Parallel Computing: Revised Selected Papers/24th International Workshop, LCPC 2011, Fort Colins,CO,USA, September 2011/Ed. by S.Rajopadhye, M.M.Strout. -Berlin: Springer, 2013.-Vol. 7146.-299 p.-(Lecture Notes in Computer Science). 15. Architecture of Computing Systems - ARCS 2013: Proc./26th International Conference, Prague, Czech Republic, February 2013/ Ed. by H.Kubatova, Ch.Hochberger, M.Danek, B.Sick.-Berlin: Springer, 2013.-Vol. 7767.-354 p.-(Lecture Notes in Computer Science). 16. Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: Revised Selected Papers/22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 2012/Ed. by J.L.Ayala, D.Shang, A.Yakovlev. -Berlin: Springer, 2013.-Vol. 7606.-258 p.-(Lecture Notes in Computer Science). 17. Advances in Information Retrieval: Proc./35th European Conference on IR Research, ECIR 2013, Moscow, Russia, March 2013/ Ed. by P.Serdyukov, P.Braslavski, S.O.Kuznetsov, J.Kamps.-Berlin: Springer, 2013.-Vol. 7814.-894 p.-(Lecture Notes in Computer Science). 18. Information Theory, Combinatorics, and Search Theory: In Memory of Rudolf Ahlswede/Ed. by H.Aydinian, F.Cicalese, Ch.Deppe. -Berlin: Springer, 2013.-Vol. 7777.-773 p.-(Lecture Notes in Computer Science). 19. Transactions on Edutainment IX/Ed. by Z.Pan, A.D.Cheok, W.Muller, F.Liarokapis.-Berlin: Springer, 2013.-Vol. 7544.-297 p. -(Lecture Notes in Computer Science). 20. Adaptive Multimedia Retrieval. Large-Scale Multimedia Retrieval and Evaluation: Revised Selected Papers/9th International Workshop, AMR 2011, Barcelona, Spain, July 2011/Ed. by M.Detyniecki, A.Garcia-Serrano, A.Nurnberger, S.Stober.-Berlin: Springer, 2013.-Vol. 7836.-141 p.-(Lecture Notes in Computer Science). 21. Федеральное государственное бюджетное учреждение науки Институт систем информатики имени А.П.Ершова СО РАН. Отчет о деятельности в 2012 году/СО РАН. ИСИ СО РАН. .- Новосибирск, 2013. - 124 с.-Библиогр.: c.108-124. 22. Аронов М. Александр Галич. Полная биография.- М.: Новое литературное обозрение, 2012.- 880 с. 23. Информатика в науке и образовании/ИСИ СО РАН; Ред. В.Н.Касьянов.-Новосибирск, 2012.-171 с.-(Конструирование и оптимизация программ). 24. Мешков А.Н. Методы и средства программного моделирования для обеспечения процесса проектирования микропроцессорных систем: Автореф. дис... канд. тех. наук: 05.13.11.-М., 2013.-24 с. -Библиогр.: c.23-24.