Библиотека

12.05.2014

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).