Hовые поступления с 1 апреля по 12 мая 2014 года
1. Transactions on Large-Scale Data-and Knowledge-Centered Systems XIII/Ed. by A.Hameurlain, J.Kung, R.Wagner.-Berlin: Springer, 2014.-Vol. 8420.-187 p.-(Lecture Notes in Computer Science). 2. Compiler Construction: Proc./23rd International Conference, CC 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014/Ed. by A.Cohen.-Berlin: Springer, 2014.-Vol. 8409.-251 p. -(Lecture Notes in Computer Science). 3. Programming Languages and Systems: Proc./23rd European Symposium on Programming, ESOP 2014 Held as Part of the ETASPS 2014, Grenoble, France, April 2014/Ed. by Zh.Shao.-Berlin: Springer, 2014.-Vol. 8410.-576 p.-(Lecture Notes in Computer Science). 4. Fundamental Approaches to Software Engineering: Proc./17th International Conference, FASE 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014/Ed. by S.Gnesi, A.Rensink. -Berlin: Springer, 2014.-Vol. 8411.-432 p.-(Lecture Notes in Computer Science). 5. Foundations of Software Science and Compitation Structures: Proc./17th International Conference, FOSSACS 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014/Ed. by A.Muscholl. -Berlin: Springer, 2014.-Vol. 8412.-457 p.-(Lecture Notes in Computer Science). 6. Tools and Algorithms for the Construction and Analysis of Systems: Proc./20th International Conference, TACAS 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014/Ed. by E.Abraham, K.Havelund.-Berlin: Springer, 2014.-Vol. 8413.-652 p. -(Lecture Notes in Computer Science). 7. Principles of Security and Trust: Proc/3rd International Conference, POST 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014/Ed. by M.Abadi, S.Kremer.-Berlin: Springer, 2014.-Vol. 8414.-307 p.-(Lecture Notes in Computer Science). 8. From Programs to Systems. The System Perspective in Computing: Proc./ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 2014/Ed. by S.Bensalem, Ya.Lakhneck, A.Legay.-Berlin: Springer, 2014.-Vol. 8415.-279 p. -(Lecture Notes in Computer Science). 9. Transactions on Rough Sets XVII/Ed. by J.F.Peters, A.Skowron. -Berlin: Springer, 2014.-Vol. 8375.-294 p.-(Lecture Notes in Computer Science). 10. Algebraic and Algorithmic Aspects of Differential and Integral Operators: Selected and Invited Papers/5th International Meeting, AADIOS 2012 Held at the Applications of ACA 2012, Sofia, Bulgaria, June 2012/Ed. by M.Barkatou, T.Cluzeau, G.Regensburger. -Berlin: Springer, 2014.-Vol. 8372.-201 p.-(Lecture Notes in Computer Science). 11. Databases in Networked Information Systems: Proc./9th International Workshop, DNIS 2014, Aizu-Wakamatsu, Japan, March 2014/Ed. by A.Madaan, S.Kikuchi, S.Bhalla.-Berlin: Springer, 2014. -Vol. 8381.-275 p.-(Lecture Notes in Computer Science). 12. Structured Object-Oriented Formal Language and Method: Revised Selected Papers/3rd International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 2013/Ed. by A.Liu, Z.Duan. -Berlin: Springer, 2014.-Vol. 8332.-193 p.-(Lecture Notes in Computer Science). 13. Information Technology and Open Source: Applications for Education, Innovation, and Sustainability: Revised Selected Papers/SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert, Thessaloniki, Greece, October 2012/Ed. by A.Cerone. -Berlin: Springer, 2014.-Vol. 7991.-305 p.-(Lecture Notes in Computer Science). 14. Radio Frequency Identification. Security and Privacy Issues: Revised Selected Papers/9th International Workshop, RFIDsec 2013, Graz, Austria, July 2013/Ed. by M.Hutter, J.-M.Schmidt.-Berlin: Springer, 2014.-Vol. 8262.-177 p.-(Lecture Notes in Computer Science). 15. Web Information Systems Engineering - WISE 2013 Workshops: Revised Selected Papers/WISE 2013 International Workshops, BigWebData, MBC, PCS, STeH, QUAT, SCEH, and STSC, Nanjing, China, October 2013/Ed. by Z.Huang, C.Liu, J.He, G.Huang.-Berlin: Springer, 2014.-Vol. 8182.-494 p.-(Lecture Notes in Computer Science). 16. Research in Computational Molecular Biology: Proc./18th Annual International Conference, RECOMB 2014, Pittsburg,PA,USA, April 2014/Ed. by R.Sharan.-Berlin: Springer, 2014.-Vol. 8394. -464 p.-(Lecture Notes in Bioinformatics). 17. Башкин В.А. Некоторые методы ресурсного анализа сетей Петри: Автореф. дис... докт. ф.-м. наук: 05.13.17.-Ярославль, 2014.-44 с. -Библиогр.: c.37-44. 18. Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 2013/ Ed. by S.Counsell, M.Nunez.-Berlin: Springer, 2014.-Vol. 8368. -432 p.-(Lecture Notes in Computer Science). 19. Health Information Science: Proc./3rd International Conference, HIS 2014, Shenzhen, China, April 2014/Ed. by Y.Zhang, G.Yao, J.He, L.Wang.-Berlin: Springer, 2014.-Vol. 8423. -282 p.-(Lecture Notes in Computer Science). 20. Traffic Monitoring and Analysis: Proc./6th International Workshop, TMA 2014, London, UK, April 2014/Ed. by A.Dainotti, A.Mahanti, S.Uhlig.-Berlin: Springer, 2014.-Vol. 8406.-139 p. -(Lecture Notes in Computer Science). 21. Data Privacy Management and Autonomous Spontaneous Security: Revised Selected Papers/8th International Workshop, DPM 2013, and 6th International Workshop, SETOP 2013, Egham, UK, September 2013/ Ed. by S.Foley, G.Lioudakis, J.Garcia-Alfaro.-Berlin: Springer, 2014.-Vol. 8247.-400 p.-(Lecture Notes in Computer Science). 22. Requirements Engineering: Foundation for Software Quality: Proc./20th International Working Conference, REFSQ 2014, Essen, Germany, April 2014/Ed. by C.Salinesi, I.Van_De_Weerd.-Berlin: Springer, 2014.-Vol. 8396.-326 p.-(Lecture Notes in Computer Science). 23. NASA Formal Methods: Proc./6th International Symposium, NFM 2014, Houston,TX,USA, April 2014/Ed. by J.M.Badger, K.Y.Rozier. -Berlin: Springer, 2014.-Vol. 8430.-360 p.-(Lecture Notes in Computer Science). 24. Games for Training, Education, Health and Sports: Proc./4th International Conference on Serious Games, GameDays 2014, Darmstadt, Germany, April 2014/Ed. by S.Gobel, J.Wiemeyer.-Berlin: Springer, 2014.-Vol. 8395.-200 p.-(Lecture Notes in Computer Science). 25. Reconfigurable Computing: Architectures, Tools, and Applications: Proc./10th International Symposium, ARC 2014, Vilamoura, Portugal, April 2014/Ed. by D.Goehringer, M.D.Santambrogio, J.M.P.Cardoso, K.Bertels.-Berlin: Springer, 2014. -Vol. 8405.-354 p.-(Lecture Notes in Computer Science). 26. Social Computing, Behavioral-Cultural Modeling, and Prediction: Proc./7th International Conference, SBP 2014, Washington,DC,USA, April 2014/Ed. by W.G.Kennedy, N.Agarwal, Sh.J.Yang.-Berlin: Springer, 2014.-Vol. 8393.-432 p.-(Lecture Notes in Computer Science). 27. Engineering Secure Software and Systems: Proc./6th International Symposium, ESSoS 2014, Munich, Germany, February 2014/Ed. by J.Jurjens, F.Piessens, N.Bielova.-Berlin: Springer, 2014.-Vol. 8364.-231 p.-(Lecture Notes in Computer Science). 28. Trastworthy Global Computing: Revised Selected Papers/8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 2013/Ed. by M.Abadi, A.L.Lafuente.-Berlin: Springer, 2014. -Vol. 8358.-331 p.-(Lecture Notes in Computer Science). 29. Theory of Quantum Computation, Communication, and Cryptography: Revised Selected Papers/6th Conference, TQC 2011, Madrid, Spain, May 2011/Ed. by D.Bacon, M.Martin-Delgado, M.Roetteler.-Berlin: Springer, 2014.-Vol. 6745.-209 p.-(Lecture Notes in Computer Science). 30. Categories and Types in Logic, Language, and Phisics: Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday/Ed. by C.Casadio, B.Coecke, M.Moortgat, Ph.Scott.-Berlin: Springer, 2014.-Vol. 8222.-421 p.-(Lecture Notes in Computer Science). 31. Infomation Security Applications: Revised Selected Papers/14th International Workshop, WISA 2013, Jeju Island, Korea, August 2013/Ed. by Y.Kim, H.Lee, A.Perrig.-Berlin: Springer, 2014.-Vol. 8267.-273 p.-(Lecture Notes in Computer Science). 32. Intelligent Information and Database Systems, Part I: Proc./6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 2014/Ed. by N.T.Nguyen, B.Attachoo, B.Trawinski, K.Somboonviwat. -Berlin: Springer, 2014.-Vol. 8397.-622 p.-(Lecture Notes in Artificial Intelligence). 33. Intelligent Information and Database Systems, Part II: Proc./6th Asian Conference, ACIIDC 2014, Bangkok, Thailand, April 2014/Ed. by N.T.Nguyen, B.Attachoo, B.Trawinski, K.Somboonviwat. -Berlin: Springer, 2014.-Vol. 8398.-618 p.-(Lecture Notes in Artificial Intelligence). 34. Advances in Information Retrieval: Proc./36th European Conference on IR Research, ECIR 2014, Amsterdam, The Netherlands, April 2014/Ed. by M.De_Rijke, T.Kenter, A.P.De_Vries, C.X.Zhai. -Berlin: Springer, 2014.-Vol. 8416.-830 p.-(Lecture Notes in Computer Science). 35. Database Systems for Advanced Applications, Part I: Proc./19th International Conference, DASFAA 2014, Bali, Indonesia, April 2014/Ed. by S.S.Bhowmick, C.E.Dyreson, Ch.S.Jensen, M.L.Lee.-Berlin: Springer, 2014.-Vol. 8421.-514 p. -(Lecture Notes in Computer Science). 36. Database Systems for Advanced Applications, Part II: Proc./19th International Conference, DASFAA 2014, Bali, Indonesia, April 2014/Ed. by S.S.Bhowmick, C.E.Dyreson, Ch.S.Jensen, M.L.Lee.-Berlin: Springer, 2014.-Vol. 8422.-558 p. -(Lecture Notes in Computer Science). 37. Computational Linguistics and Intelligent Text Processing, Part I: Proc./15th International Conference, CICLing 2014, Kathmandu, Nepal, April 2014/Ed. by A.Gelbukh.-Berlin: Springer, 2014.-Vol. 8403.-531 p.-(Lecture Notes in Computer Science). 38. Computational Linguistics and Intelligent Text Processing, Part II: Proc./15th International Conference, CICLing 2014, Kathmandu, Nepal, April 2014/Ed. by A.Gelbukh.-Berlin: Springer, 2014.-Vol. 8404.-581 p.-(Lecture Notes in Computer Science). 39. Informatiion and Communication Technology: Proc./2nd IFIP TC5/8 International Conference, ICT-EurAsia 2014, Bali, Indonesia, April 2014/Ed. by Linawati, M.S.Mahendra, E.J.Neuhold, A.M.Tjoa.-Berlin: Springer, 2014.-Vol. 8407.-699 p. -(Lecture Notes in Computer Science). 40. FM 2014: Formal Methods: Proc./19th International Symposium, Singapore, May 2014/Ed. by C.Jones, P.Pihlajasaari, J.Sun.-Berlin: Springer, 2014.-Vol. 8442.-750 p.-(Lecture Notes in Computer Science). 41. Information Security Practice and Experience: Proc./10th International Conference, ISPEC 2014, Fuzhou, China, May 2014/Ed. by X.Huang, J.Zhou.-Berlin: Springer, 2014.-Vol. 8434.-578 p. -(Lecture Notes in Computer Science). 42. Theory and Application of Models of Computation: Proc./11th Annual Conference, TAMC 2014, Chennai, India, April 2014/Ed. by T.V.Gopal, M.Agrawal, A.Li, S.B.Cooper.-Berlin: Springer, 2014. -Vol. 8402.-423 p.-(Lecture Notes in Computer Science). 43. Euro-Par 2013: Parallel Processing Workshops: Revised Selected Papers/ BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, and UCHPC 2013, Aachen, Germany, August 2013/Ed. by D.An_Mey.-Berlin: Springer, 2014.-Vol. 8374.-898 p.-(Lecture Notes in Computer Science).