Hовые поступления с 1 по 25 марта 2013 года
1. Graphics Recognition. New Trends and Challenges: Revised Selected Papers/9th International Workshop, GREC 2011, Seoul, Korea, September 2011/Ed. by Y.-B.Kwon, J.-M.Ogier.-Berlin: Springer, 2013.-Vol. 7423.-275 p.-(Lecture Notes in Computer Science). 2. Jogers S. Construction and Evolution of Code Generations. A Model-Driven and Service-Oriented Approach.- Berlin: Springer, 2013.- 246 p.-(Lecture Notes in Computer Science; Vol. 7747). -Bibliogr.: p.223-241. 3. Transactions on Computational Collective Intelligence IX/Ed. by N.T.Nguyen.-Berlin: Springer, 2013.-Vol. 7770.-237 p. -(Lecture Notes in Computer Science). 4. Reconfigurable Computing: Architectures, Tools, and Applications: Proc./9th International Symposium, ARC 2013, Los Angeles,CA,USA, March 2013/Ed. by P.Brisk, P.C.Diniz, J,G.F.Countinho.-Berlin: Springer, 2013.-Vol. 7806.-238 p. -(Lecture Notes in Computer Science). 5. Theory of Cryptography: Proc./10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 2013/Ed. by A.Sahai. -Berlin: Springer, 2013.-Vol. 7785.-724 p.-(Lecture Notes in Computer Science). 6. Passive and Active Measurement: Proc./14th International Conference, PAM 2013, Hong Kong, China, March 2012/Ed. by M.Roughan, R.Chang.-Berlin: Springer, 2013.-Vol. 7799.-282 p. -(Lecture Notes in Computer Science). 7. Wireless Sensor Networks: Proc./10th European Conference, EWSN 2013, Ghent, Belgium, February 2012/Ed. by P.Demeester, I.Moerman, A.Terzis.-Berlin: Springer, 2013.-Vol. 7772.-197 p. -(Lecture Notes in Computer Science). 8. Runtime Verification: Revised Selected Papers/3rd International Conference, RV 2012, Istanbul, Turkey, September 2012/Ed. by S.Qadeer, S.Tasiran.-Berlin: Springer, 2013.-Vol. 7687.-322 p.-(Lecture Notes in Computer Science). 9. Ganesalingam M. The Language of Mathematics. A Linguistics and Philosophical Investigation.- Berlin: Springer, 2013.- 260 p. -(Lecture Notes in Computer Science; Vol. 7805). 10. Agents and Data Mining Interaction: Revised Selected Papers/8th International Worshop, ADMI 2012, Valencia, Spain, June 2012/Ed. by L.Cao, Y.Zeng, A.L.Symeonidis, V.I.Gorodetsky. -Berlin: Springer, 2013.-Vol. 7607.-217 p.-(Lecture Notes in Artificial Intelligence). 11. Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction: Revised Selected Papers/1st IAPR TC3 Workshop, MPRSS 2012, Tsukuba, Japan, November 2012/Ed. by F.Schwenker, S.Scherer, L.-Ph.Morency.-Berlin: Springer, 2013. -Vol. 7742.-131 p.-(Lecture Notes in Artificial Intelligence). 12. Logic, Language, and Computation: Revised Selected Papers/9th International Tbilisi Symposium, TbiLLC 2011, Kutaisi, Georgia, September 2011/Ed. by G.Bezhanishvili, S.Lobner, V.Marra, F.Richter.-Berlin: Springer, 2013.-Vol. 7758.-277 p. -(Lecture Notes in Computer Science). 13. Parallel Problem Solving from Nature - PPSN XII, Part II: Proc./12th International Conference, Taormina, Italy, September 2012/Ed. by C.A.C.Coello, V.Cutello, K.Deb, S.Forrest.-Berlin: Springer, 2012.-Vol. 7492.-531 p.-(Lecture Notes in Computer Science). 14. Computer Construction: Proc./22nd International Conference, CC 2013 Held as Part of the European Joint Conferences ETAPS 2013, Rome, Italy, March 2013/Ed. by R.Jhala, K.De_Bosschere. -Berlin: Springer, 2013.-Vol. 7791.-265 p.-(Lecture Notes in Computer Science). 15. Fundamental Approaches to Software Engineering: Proc./16th International Conference, FASE 2013 Held as Part of the European Joint Conferences ETAPS 2013, Rome, Italy, March 2013/Ed. by V.Cortelessa, D.Varro.-Berlin: Springer, 2013.-Vol. 7793.-376 p. -(Lecture Notes in Computer Science). 16. Foundations of Software Science and Computational Structures: Proc./16th International Conference, FOSSACS 2013 Held as Part of the European Joint Conferences ETAPS 2013, Rome, Italy, Narch 2013/Ed. by F.Pfenning.-Berlin: Springer, 2013. -Vol. 7794.-451 p.-(Lecture Notes in Computer Science). 17. Programming Languages and Systems: Proc./22nd European Symposium on Programming, ESOP 2013 Held as Part of the ETAPS 2013, Rome, Italy, March 2013/Ed. by M.Felleisen, Ph.Gardner. -Berlin: Springer, 2013.-Vol. 7792.-620 p.-(Lecture Notes in Computer Science). 18. Tools and Algorithms for the Construction and Analysis of Systems: Proc./19th International Conference, ETAPS 2013 Held as Part of the ETAPS 2013, Rome, Italy, March 2013/Ed. by N.Piterman, S.A.Smolka.-Berlin: Springer, 2013.-Vol. 7795.-646 p. -(Lecture Notes in Computer Science). 19. Principles of Security and Trust: Proc./2nd International Conference, POST 2013 Held as Part of the European Joint Conferencees ETAPS 2013, Rome, Italy, March 2013/Ed. by D.Basin, J.C.Mitchell.-Berlin: Springer, 2013.-Vol. 7796.-287 p.-(Lecture Notes in Computer Science). 20. Evolutionary Multi-Criterion Optimization: Proc./7th International Conference, EMO 2013, Sheffield, UK, March 2013/Ed. by R.C.Purshouse, P.J.Fleming, C.M.Fonseca, S.Greco.-Berlin: Springer, 2013.-Vol. 7811.-842 p.-(Lecture Notes in Computer Science). 21. Transactions on Aspect-Oriented Software Development X/Ed. by G.T.Leavens, Sh.Chiba, E.Tanter.-Berlin: Springer, 2013.-Vol. 7800.-185 p.-(Lecture Notes in Computer Science). 22. Euro-Par 2012: Parallel Processing Workshops: Revised Selected Papers/BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Island, Greece, August 2012/Ed. by I.Caragiannis.-Berlin: Springer, 2013.-Vol. 7640. -589 p.-(Lecture Notes in Computer Science). 23. Graph Drawing: Revised Selected Papers/20th International Symposium, GD 2012, Redmont,WA,USA, September 2012/Ed. by W.Didimo, M.Patrignani.-Berlin: Springer, 2013.-Vol. 7704.-582 p. -(Lecture Notes in Computer Science). 24. Databases in Networked Information Systems: Proc./8th International Workshop, DNIS 2013, Aizu-Wakamatsu, Japan, March 2013/Ed. by A.Madaan, S.Kikuchi, S.Bhalla.-Berlin: Springer, 2013. -Vol. 7813.-311 p.-(Lecture Notes in Computer Science). 25. Applied Parallel and Scientific Computing: Revised Selected Papers/11th International Conference, PARA 2012, Helsinki, Finland, June 2012/Ed. by P.Manninen, P.Oster.-Berlin: Springer, 2013.-Vol. 7782.-568 p.-(Lecture Notes in Computer Science). 26. Discrete Geometry for Computer Imagery: Proc./17th IAPR International Conference, DGCI 2013, Seville, Spain, March 2013/ Ed. by R.Gonzalez-Diaz, M.-J.Jimenez, B.Medrano.-Berlin: Springer, 2013.-Vol. 7749.-408 p.-(Lecture Notes in Computer Science). 27. Perspectives on Soviet and Russian Computing: Revised Selected Papers/1st IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 2006/Ed. by J.Impagliazzo, E.Proydakov. -Berlin: Springer, 2011.-Vol. 357-(IFIP AICT). 28. Promsky A.V. A Formal Approach to the Error Localization. -Новосибирск, 2012.-32 с.-(Rep./ИСИ СО РАН; N 169). 29. Ошевская Е.С. Категорные методы исследования полукубических множеств и пространств как моделей параллельных процессов: Автореф. дис... канд. ф.-м. наук: 01.01.04.-Новосибирск, 2013.-16 с.-Библиогр.: c.15-16. 30. Advances in Databases and Information Systems: Proc./7th East European Conference, ADBIS 2003, Dresden, Germany, September 2003/Ed. by L. Kalinichenko, R. Manthey, B. Thalheim, U. Wloka. -Dresden, 2003.-220 p.