Библиотека

01.06.2015

Hовые поступления с 12 мая по 1 июня 2015 года

  1. Evolutionary Multi-Criterion Optimization, Part I: Proc./8th 
International Conference, EMO 2015, Guimaraes, Portugal, March 
2015/Ed. by  A.Gaspar-Cunha, C.H.Antunes, C.C.Coello.-Berlin: 
Springer, 2015.-Vol. 9018.-447 p.-(Lecture Notes in Computer 
Science).
 
  2. Evolutionary Multi-Criterion Optimization, Part II: 
Proc./8th International Conference, EMO 2015, Guimaraes, 
Portigal, March 2015/Ed. by  A.Gaspar-Cinha, C.H.Antunes, 
C.C.Coello.-Berlin: Springer, 2015.-Vol. 9019.-591 p.-(Lecture 
Notes in Computer Science).
 
  3. Human Centered Computing: Revised Selected Papers/1st 
International Conference, HCC 2014, Phnom Penh, Cambodia, 
November 2014/Ed. by  Q.Zu, B.Hu, N.Gu, S.Seng.-Berlin: Springer, 
2015.-Vol. 8944.-913 p.-(Lecture Notes in Computer Science).
 
  4. Compiler Construction: Proc./24th International Conference, 
CC 2015 Held as Part of the ETAPS 2015, London, UK, April 2015/
Ed. by  B.Franke.-Berlin: Springer, 2015.-Vol. 9031.-253 p.
-(Lecture Notes in Computer Science).
 
  5. Programming Languages and Systems: Proc./24th European 
Symposium on Programming, ESOP 2015 Held as Part of the ETAPS 
2015, London, UK, April 2015/Ed. by  J.Vitek.-Berlin: Springer, 
2015.-Vol. 9032.-838 p.-(Lecture Notes in Computer Science).
 
  6. Fundamental Approaches to Software Engineering: Proc./18th 
International Conference, FASE 2015 Held as Part of the ETAPS 
2015, London, UK, April 2015/Ed. by  A.Egyed, I.Schaefer.-Berlin: 
Springer, 2015.-Vol. 9033.-363 p.-(Lecture Notes in Computer 
Science).
 
  7. Foundations of Software Science and Computation Structures: 
Proc./18th International Conference, FOSSACS 2015 Held as Part of 
the ETAPS 2015, London, UK, April 2015/Ed. by  A.Pitts.-Berlin: 
Springer, 2015.-Vol. 9034.-467 p.-(Lecture Notes in Computer 
Science).
 
  8. Semantic Technology: Revised Selectes Papers/4th Joint 
International Conference, JIST 2014, Chiang Mai, Thailand, 
November 2014/Ed. by  Th.Supnithi, T.Yamaguchi, J.Z.Pan, 
V.Wuwongse.-Berlin: Springer, 2015.-Vol. 8943.-430 p.-(Lecture 
Notes in Computer Science).
 
  9. Quantum Interaction: Revised Selected Papers/8th 
International Conference, QI 2014, Filzbach, Switzerland, June 
2014/Ed. by  H.Atmanspacher, C.Bergomi, T.Filk, K.Kitto.-Berlin: 
Springer, 2015.-Vol. 8951.-283 p.-(Lecture Notes in Computer 
Science).
 
 10. Virtual Realities: Revised Selected Papers/International 
Dagstuhl Seminar, Dagstuhl Castle, Germany, June 2013/Ed. by  
G.Brunnett, S.Coquillart, R.Van_Liere, G.Welch.-Berlin: Springer, 
2015.-Vol. 8844.-261 p.-(Lecture Notes in Computer Science).
 
 11. NASA Formal Methods: Proc./7th International Symposium, NFM 
2015, Pasadena,CA,USA, April 2015/Ed. by  K.Havelund, G.Holzmann, 
R.Joshi.-Berlin: Springer, 2015.-Vol. 9058.-458 p.-(Lecture Notes 
in Computer Science).
 
 12. Чурина Т.Г., Нестеренко Т.В. Методы программирования: 
алгоритмы и структуры данных. Часть 3: Динамические структуры 
данных, алгоритмы на графах. Учебное пособие/НГУ. .- Новосибирск, 
2014.- 214 с.-Библиогр.: c.214.

 13. Face and Facial Expression Recognition from Real World 
Videos: Revised Selected Papers/International Workshop, 
Stockholm, Sweden, August 2014/Ed. by  Q.Ji, T.B.Moeslund, G.Hua, 
K.Nasrollahi.-Berlin: Springer, 2015.-Vol. 8912.-145 p.-(Lecture 
Notes in Computer Science).
 
 14. Computational Color Imaging: Proc./5th International 
Workshop, CCIW 2015, Saint Etienne, France, March 2015/Ed. by  
A.Tremeau, R.Schettini, S.Tominaga.-Berlin: Springer, 2015.-Vol. 
9016.-244 p.-(Lecture Notes in Computer Science).
 
 15. Computer Vision - ACCV 2014 Workshops, Part I: Revised 
Selected Papers/Singapore, Singapore, November 2014/Ed. by  
C.V.Jawahar, S.Shan.-Berlin: Springer, 2015.-Vol. 9008.-740 p.
-(Lecture Notes in Computer Science).
 
 16. Computer Vision - ACCV 2014 Workshops, Part II: Revised 
Selected Papers/Singapore, Singapore, November 2014/Ed. by  
C.V.Jawahar, S.Shan.-Berlin: Springer, 2015.-Vol. 9009.-718 p.
-(Lecture Notes in Computer Science).
 
 17. Computer Vision - ACCV 2014 Workshops, Part III: Revised 
Selected Papers/Singapore, Singapore, November 2014/Ed. by  
C.V.Jawahar, S.Shan.-Berlin: Springer, 2015.-Vol. 9010.-716 p.
-(Lecture Notes in Computer Science).
 
 18. Evolutionary Computation in Combinatorial Optimization: 
Proc./15th European Conference, EvoCOP 2015, Copenhagen, Denmark, 
April 2015/Ed. by  G.Ochoa, F.Chicano.-Berlin: Springer, 2015.
-Vol. 9026.-235 p.-(Lecture Notes in Computer Science).
 
 19. Genetic Programming: Proc./18th European Conference, EuroGP 
2015, Copenhagen, Denmark, April 2015/Ed. by  P.Machado, 
M.I.Heywood, J.Mcdermott, M.Castelli.-Berlin: Springer, 2015.
-Vol. 9025.-231 p.-(Lecture Notes in Computer Science).
 
 20. Evolutionary and Biologically Inspired Music, Sound, Art and 
Design: Proc./4th International Conference, EvoMUSART 2015, 
Copenhagen, Denmark, April 2015/Ed. by  C.Jahnson, A.Carballal, 
J.Correia.-Berlin: Springer, 2015.-Vol. 9027.-275 p.-(Lecture 
Notes in Computer Science).
 
 21. Lightweight Cryptography for Security and Privacy: Revised 
Selected Papers/3rd International Workshop, LightSec 2014, 
Istanbul, Turkey, September 2014/Ed. by  T.Eisenbarth, E.Ozturk.
-Berlin: Springer, 2015.-Vol. 8898.-169 p.-(Lecture Notes in 
Computer Science).
 
 22. Information Security and Cryptology - ICISC 2014: Revised 
Selected Papers/17th International Conference, Seoul, Korea, 
December 2014/Ed. by  J.Lee, J.Kim.-Berlin: Springer, 2015.-Vol. 
8949.-448 p.-(Lecture Notes in Computer Science).
 
 23. Intelligent Information and Database Systems, Part I: 
Proc./7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 
2015/Ed. by  N.T.Nguyen, B.Trawinski, R.Kosala.-Berlin: Springer, 
2015.-Vol. 9011.-648 p.-(Lecture Notes in Artificial 
Intelligence).
 
 24. Intelligent Information and Database Systems, Part II: 
Proc./7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 
2015/Ed. by  N.T.Nguyen, B.Trawinski, R.Kosala.-Berlin: Springer, 
2015.-Vol. 9012.-590 p.-(Lecture Notes in Artificial 
Intelligence).

 25. Прохорова М.С. Математические методы и инструментальные 
средства обработки информации в задачах управления рисками: 
Автореф. дис... канд. ф.-м. наук: 05.13.17.-М., 2015.-18 с.
-Библиогр.: c.17-18.
 
 26. Хвостов М.Н. Матричная коррекция несобственных задач 
линейного программирования со специальной структурой: Автореф. 
дис... канд. ф.-м. наук: 05.13.17.-М., 2015.-18 с.-Библиогр.: 
c.17-18.
 
 27. Квасов Б.И. Методы изогеометрической аппроксимации сплайнами.
- М.: Физматлит, 2006.- 360 с.-Библиогр.: c.349-356.
 
 28. CMP 2014 Annual Report, 2014.-42 c.
 
 29. Advances in Cryptology - EUROCRYPT 2015, Part I: Proc./34th 
Annual International Conference on the Theory and Applications of 
Cryptographic Techniques, Sofia, Bulgaria, Aptil 2015/Ed. by  
E.Oswald, M.Fischlin.-Berlin: Springer, 2015.-Vol. 9056.-818 p.
-(Lecture Notes in Computer Science).
 
 30. Advances in Cryptology - EUROCRYPT 2015, Part II: Proc./34 
Annual International Conference on the Theory and Applications of 
Cryptographic Techniques, Sofia, Bulgaria, April 2015/Ed. by  
E.Oswald, M.Fischlin.-Berlin: Springer, 2015.-Vol. 9057.-838 p.
-(Lecture Notes in Computer Science).
 
 31. Public-Key Cryptography - PKC 2015: Proc./18th IACR 
International Conference on Practice and Theory in PKC, 
Gaitheraburg,MD,USA, March 2015/Ed. by  J.Katz.-Berlin: Springer, 
2015.-Vol. 9020.-824 p.-(Lecture Notes in Computer Science).
 
 32. Information Security Practice and Experience: Proc./11th 
International Conference, ISPEC 2015, Beijing, China, May 2015/
Ed. by  J.Lopez, Y.Wu.-Berlin: Springer, 2015.-Vol. 9065.-576 p.
-(Lecture Notes in Computer Science).
 
 33. Accountability and Secure in the Cloud: Revised Selected 
Papers and Lectures/1st Summer School, Cloud Accountability 
Project, A4Cloud, Malaga, Spain, June 2014/Ed. by  M.Felici, 
C.Fernandez-Gago.-Berlin: Springer, 2015.-Vol. 8937.-306 p.
-(Lecture Notes in Computer Science).
 
 34. Algorithms and Complexity: Proc./9th International 
Conference, CIAC 2015, Paris, France, May 2015/Ed. by  
V.T.Paschos, P.Widmayer.-Berlin: Springer, 2015.-Vol. 9079.-430 p.
-(Lecture Notes in Computer Science).
 
 35. Central European Functional Programming School: Revised 
Selected Papers/5th Summer School, CEFP 2013, Cluj-Napoca, 
Romania, July 2013/Ed. by  V.Zsok, Z.Horvath, L.Csato.-Berlin: 
Springer, 2015.-Vol. 8606.-507 p.-(Lecture Notes in Computer 
Science).
 
 36. Integration of AI and OR Techniques in Constraint 
Programming: Proc./12th International Conference, CPAIOR 2015, 
Barcelona, Spain, May 2015/Ed. by  L.Michel.-Berlin: Springer, 
2015.-Vol. 9075.-456 p.-(Lecture Notes in Computer Science).
 
 37. Provenance and Annotation of Data and Processes: Revised 
Selected Papers/5th International Provenance and Annotation 
Workshop, IPAW 2014, Cologne, Germany, June 2014/Ed. by  
B.Ludascher, B.Plate.-Berlin: Springer, 2015.-Vol. 8628.-298 p.
-(Lecture Notes in Computer Science).

 38. Theory ad Applications of Models of Computation: Proc./12th 
Annual Conference, TAMC 2015, Singapore, May 2015/Ed. by  R.Jain, 
S.Jain, F.Stephan.-Berlin: Springer, 2015.-Vol. 9076.-466 p.
-(Lecture Notes in Computer Science).
 
 39. Structured Object-Oriented Formal Language and Method: 
Revised Selected Papers/4th International Workshop, SOFL+MSVL 
2014, Luxembourg, November 2014/Ed. by  S.Liu, Z.Duan.-Berlin: 
Springer, 2015.-Vol. 8979.-189 p.-(Lecture Notes in Computer 
Science).
 
 40. Computer-Human Interaction: Cognitive Effects of Spatial 
Interaction, Learning and Ability: Revised Selected Papers/25th 
Australian CHI Conference, OzCHI 2013, Adelaide, SA, Australia, 
November 2013/Ed. by  T.Wyeld, P.Calder, H.Shen.-Berlin: Springer,
 2015.-Vol. 8433.-239 p.-(Lecture Notes in Computer Science).
 
 41. Transactions on Data Hiding and Multimedia Security X/Ed. by 
Y.Q.Shi.-Berlin: Springer, 2015.-Vol. 8948.-107 p.-(Lecture Notes 
in Computer Science).
 
 42. Transactions on Large-Scale Data-and Knowledge-Cenered 
Systems XX: Special Issue on Advanced Techniques for Big Data 
Management/Ed. by  A.Hameurlain, J.Kung, R.Wagner.-Berlin: 
Springer, 2015.-Vol. 9070.-159 p.-(Lecture Notes in Computer 
Science).
 
 43. Transactions on Large-Scale Data-and Knowledge-Centered 
Systems XIX: Special Issue on Big Data and Open Data/Ed. by  
A.Hameurlain, J.Kung, R.Wagner.-Berlin: Springer, 2015.-Vol. 8990.
-129 p.-(Lecture Notes in Computer Science).
 
 44. Advances in Knowledge Discovery and Data Mining, Part I: 
Proc./19th Pacific-Asia Conference, PAKDD 2015, Ho Chi Minh City, 
Vietnam, May 2015/Ed. by  T.Cao, E.-P.Lim, Z.-H.Zhou, T.-B.Ho.
-Berlin: Springer, 2015.-Vol. 9077.-763 p.-(Lecture Notes in 
Artificial Intelligence).
 
 45. Advances in Knowledge Discovery and Data Mining, Part II: 
Proc./19th Pacific-Asia Conference, PAKDD 2015, Ho Chi Minh City, 
Vietnam, May 2015/Ed. by  T.Cao, E.-P.Lim, Z.-H.Zhou, T.-B.Ho.
-Berlin: Springer, 2015.-Vol. 9078.-773 p.-(Lecture Notes in 
Artificial Intelligence).