22.05.2017

Hовые поступления с 19 апреля по 15 мая 2017 года

  1. Smart Graphics: Revised Selected Papers/13th International 
Symposium, SG 2015, Chengdu, China, August 2015/Ed. by  Y.Chen, 
M.Christie, W.Tan.-Berlin: Springer, 2017.-Vol. 9317.-215 p.
-(Lecture Notes in Computer Science).
 
  2. Principles of Security and Trust: Proc./6th International 
Conference, POST 2017 Held as Part of the European Joint 
Conferences ETAPS 2017, Uppsala, Sweden, April 2017/Ed. by  
M.Maffei, M.Ryan.-Berlin: Springer, 2017.-Vol. 10204.-321 p.
-(Lecture Notes in Computer Science).
 
  3. Tools and Algorithms for the Construction and Analysis of 
Systems, Part I: Proc./23rd International Conference, TACAS 2017 
Held as Part of ETAPS 2017, Uppsala, Sweden, April 2017/Ed. by  
A.Legay, T.Margaria.-Berlin: Springer, 2017.-Vol. 10205.-609 p.
-(Lecture Notes in Computer Science).
 
  4. Tools and Algorithms for the Construction and Analysis of 
Systems, Part II: Proc./23rd International Conference, TACAS 2017 
Held as part of ETAPS 2017, Uppsala, Sweden, April 2017/Ed. by  
A.Legay, T.Margaria.-Berlin: Springer, 2017.-Vol. 10206.-411 p.
-(Lecture Notes in Computer Science).
 
  5. Bioinformatics and Biomedical Engineering, Part I: Proc./5th 
International Work-Conference, IWBBIO 2017, Granada, Spain, April 
2017/Ed. by  I.Rojas, F.Ortuno.-Berlin: Springer, 2017.-Vol. 10208.
-673 p.-(Lecture Notes in Bioinformatics).
 
  6. Bioinformatics and Biomedical Engineering, Part II: 
Proc./5th International Work-Conference, IWBBIO 2017, Granada, 
Spain, April 2017/Ed. by  I.Rojas, F.Ortuno.-Berlin: Springer, 
2017.-Vol. 10209.-741 p.-(Lecture Notes in Bioinformatics).
 
  7. Advances in Cryptology - EUROCRYPT 2017, Part I: Proc./36th 
Annual International Conference on the Theory and Applications of 
Cryptigraphic Techniques, Paris, France, April 2017/Ed. by  
J.-S.Coron, J.B.Nielsen.-Berlin: Springer, 2017.-Vol. 10210.-709 
p.-(Lecture Notes in Computer Science).
 
  8. Advances in Cryptology - EUROCRYPT 2017, Part II: Proc./36th 
Annual International Conference on the Theory and Applications of 
Cryptographic Techniques, Paris, France, April 2017/Ed. by  
J.-S.Coron, J.B.Nielsen.-Berlin: Springer, 2017.-Vol. 10211.-677 
p.-(Lecture Notes in Computer Science).
 
  9. Advances in Cryptology - EUROCRYPT 2017, Part III: 
Proc./36th Annual International Conference on the Theory and 
Applications of Cryptographic Techniques, Paris, France, April 
2017/Ed. by  J.-S.Coron, J.B.Nielsen.-Berlin: Springer, 2017.
-Vol. 10212.-641 p.-(Lecture Notes in Computer Science).
 
 10. Genetic Programming: Proc./20th European Conference, EuroGP 
2017, Amsterdam, The Netherlands, April 2017/Ed. by  J.Mcdermott, 
M.Castelli, L.Sekanina, E.Haasdijk.-Berlin: Springer, 2017.-Vol. 
10196.-359 p.-(Lecture Notes in Computer Science).
 
 11. Evolutionary Computation in Combinatorial Optimization: 
Proc./17th European Conference, EvoCOP, Amsterdam, The 
Netherlands, April 2017/Ed. by  B.Hu, M.Lopez-Ibanez.-Berlin: 
Springer, 2017.-Vol. 10197.-249 p.-(Lecture Notes in Computer 
Science).

 12. Applications of Evolutionary Computation, Part I: Proc./20th 
European Conference, EvoApplications 2017, Amsterdam, The 
Netherlands, April 2017/Ed. by  G.Squillero, K.Sim.-Berlin: 
Springer, 2017.-Vol. 10199.-905 p.-(Lecture Notes in Computer 
Science).
 
 13. Applications of Evolutionary Computations, Part II: 
Proc./20th European Conference, EvoApplications 2017, Amsterdam, 
The Netherlands, April 2017/Ed. by  G.Squillero, K.Sim.-Berlin: 
Springer, 2017.-Vol. 10200.-243 p.-(Lecture Notes in Computer 
Science).
 
 14. Computer Vision - ACCV 2016 Workshops, Part I: Revised 
Selected Papers/ACCV 2016 International Workshops, Taipei, 
Taiwan, November 2016/Ed. by  C.-S.Chen, J.Lu, K.-K.Ma.-Berlin: 
Springer, 2017.-Vol. 10116.-652 p.-(Lecture Notes in Computer 
Science).
 
 15. Computer Vision - ACCV 2016 Workshops, Part II: Revised 
Selected Papers/ACCV 2016 International Workshops, Taipei, 
Taiwan, November 2016/Ed. by  C.-S.Chen, J.Lu, K.-K.Ma.-Berlin: 
Springer, 2017.-Vol. 10117.-640 p.-(Lecture Notes in Computer 
Science).
 
 16. Computer Vision - ACCV 2016 Workshops, Part III: Revised 
Selected Papers/ACCV 2016 International Workshops, Taipei, 
Taiwan, November 2016/Ed. by  C.-S.Chen, J.Lu, K.-K.Ma.-Berlin: 
Springer, 2017.-Vol. 10118.-660 p.-(Lecture Notes in Computer 
Science).
 
 17. Persuasive Technology: Development and Implementation of 
Personolized Technologies to Change Attitudes and Behaviors: 
Proc./12th International Conference, PERSUASIVE 2017, Amsterdam, 
The Netherlands, April 2017/Ed. by  P.W.De_Vires, 
H.Oinas-Kukkonen, L.Siemons, N.Beerlage-De_Jong.-Berlin: Springer,
 2017.-Vol. 10171.-308 p.-(Lecture Notes in Computer Science).
 
 18. Smart Card Research and Advanced Applications: Revised 
Selected Papers/15th International Conference, CARDIS 2016, 
Cannes, France, November 2016/Ed. by  K.Lemke-Rust, M.Tunstall.
-Berlin: Springer, 2017.-Vol. 10146.-265 p.-(Lecture Notes in 
Computer Science).
 
 19. Transactions on Edutainment XIII/Ed. by  Z.Pan, A.D.Cheok, 
W.Muller.-Berlin: Springer, 2017.-Vol. 10092.-304 p.-(Lecture 
Notes in Computer Science).
 
 20. Computational Modeling of Objects Presented in Images: 
Fundamentals, Methods, and Applications: Revised Selected 
Papers/5th International Symposium, CompIMAGE 2016, Niagara 
Falls,NY,USA, September 2016/Ed. by  R.P.Barneva, V.E.Brimkov, 
J.M.R.S.Tavares.-Berlin: Springer, 2017.-Vol. 10149.-259 p.
-(Lecture Notes in Computer Science).
 
 21. On the Move to Meaningful Internet Systems: OTM 2016 
Workshops: Revised Selected Papers/Confederated International 
Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, 
Greece, October 2016/Ed. by  I.Ciuciu, Ch.Debruyne, H.Panetto, 
G.Weichhart.-Berlin: Springer, 2017.-Vol. 10034.-342 p.-(Lecture 
Notes in Computer Science).

 22. Video Analytics: Face and Facial, Expression Recognition and 
Audience Measurement: Revised Selected Papers/3rd International 
Workshop, VAAM 2016 and 2nd International Workshop, FFER 2016, 
Cancun, Mexico, December 2016/Ed. by  K.Nasrollahi, C.Distante.
-Berlin: Springer, 2017.-Vol. 10165.-163 p.-(Lecture Notes in 
Computer Science).
 
 23. Computational Color Imaging: Proc./6th International 
Workshop, CCIW 2017, Milan, Spain, March 2017/Ed. by  S.Bianco, 
R.Schettini, A.Tremeau, S.Tominaga.-Berlin: Springer, 2017.-Vol. 
10213.-283 p.-(Lecture Notes in Computer Science).
 
 24. Data Management on New Hardware: Revised Selected Papes/7th 
International Workshop, ADMS 2016, and 4th International 
Workshop,IMDM 2016, New Delhi, India, September 2016/Ed. by  
S.Bianas, R.Bordawekar, T.Lahiri, J.Levandoski.-Berlin: Springer, 
2017.-Vol. 10195.-167 p.-(Lecture Notes in Computer Science).
 
 25. Web and Wireless Geographical Information Systems: 
Proc./15th International Symposium, W2GIS 2017, Shanghai, China, 
May 2017/Ed. by  D.Brosset, Ch.Claramunt, X.Li, T.Wang.-Berlin: 
Springer, 2017.-Vol. 10181.-179 p.-(Lecture Notes in Computer 
Science).
 
 26. Information Security Applications: Revised Selected 
Papers/17th International Workshop, WISA 2016, Jeju Island, 
Korea, August 2016/Ed. by  D.Choi, S.Guilley.-Berlin: Springer, 
2017.-Vol. 10144.-398 p.-(Lecture Notes in Computer Science).
 
 27. Applied Reconfigurable Computing: Proc./13th International 
Symposium, ARC 2017, Delft, The Netherlands, April 2017/Ed. by  
S.Wong, A.C.Beck, K.Bertels, L.Carro.-Berlin: Springer, 2017.
-Vol. 10216.-332 p.-(Lecture Notes in Computer Science).
 
 28. Information Security and Cryptology: Revised Selected 
Papers/12th International Conference, Inscrypt 2016, Beijing, 
China, November 2016/Ed. by  K.Chen, D.Lin, M.Yung.-Berlin: 
Springer, 2017.-Vol. 10143.-544 p.-(Lecture Notes in Computer 
Science).
 
 29. Architecture of Computing Systems - ARCS 2017: Proc./30th 
International Conference, Vienna, Austria, April 2017/Ed. by  
J.Knoop, W.Karl, M.Schulz, K.Inoue.-Berlin: Springer, 2017.-Vol. 
10172.-262 p.-(Lecture Notes in Computer Science).
 
 30. Enterprise Security: Revised Selected Papers/2nd 
International Workshop, ES 2015, Vancouver,BC,Canada, November 
2015/Ed. by  V.Chang, M.Ramachandran, R.J.Walters, G.Wills.-Berlin:
 Springer, 2017.-Vol. 10131.-277 p.-(Lecture Notes in Computer 
Science).
 
 31. Foundations of Software Science and Computation Structures: 
Proc./20th International Conference, FOSSACS 2017 Held as Part of 
ETAPS 2017, Uppsala, Sweden, April 2017/Ed. by  J.Esparza, 
A.S.Murawski.-Berlin: Springer, 2017.-Vol. 10203.-568 p.-(Lecture 
Notes in Computer Science).
 
 32. Programming Languages and Systems: Proc./26th European 
Symposium on Programming, ESOP 2017 Held as Part of ETAPS 2017, 
Uppsala, Sweden, April 2017/Ed. by  H.Yang.-Berlin: Springer, 2017.
-Vol. 10201.-992 p.-(Lecture Notes in Computer Science).
 
 33. Transactions on Computational Science XXIX/Ed. by  
M.L.Gavrilova, C.J.K.Tan.-Berlin: Springer, 2017.-Vol. 10220.-139 
p.-(Lecture Notes in Computer Science).

 34. Computer Vision - ACCV 2016, Part IV: Revised Selected 
Papers/13th Asian Conference on CV, Taipei, Taiwan, November 2016/
Ed. by  S.-H.Lai, V.Lepetit, K.Nishino, Y.Sato.-Berlin: Springer, 
2017.-Vol. 10114.-556 p.-(Lecture Notes in Computer Science).
 
 35. Маличенко Д.А. Разработка и исследование методов хранения и 
передачи информации в распределенных системах: Автореф. дис... 
канд. тех. наук: 05.12.13.-Санкт-Петербург, 2017.-20 с.
-Библиогр.: c.19-20.
 
 36. Мохов А.С. Метод классификации библиографической информации 
на основе комбинированных профилей классов с учетом структуры 
документов: Автореф. дис... канд. тех. наук: 05.13.01.-Нижний 
Новгород, 2017.-23 с.-Библиогр.: c.21-23.
 
 37. Algorithmic Aspects of Cloud Computing: Revised Selected 
Papers/2nd International Worklshop, ALGOCLOUD 2016, Aarhus. 
Denmark, August 2016/Ed. by  T.Sellis, K.Oikonomou.-Berlin: 
Springer, 2017.-Vol. 10230.-183 p.-(Lecture Notes in Computer 
Science).
 
 38. NASA Formal Methods: Proc./9th International Symposium, NFM 
2017, Moffett Field,CA,USA, May 2017/Ed. by  C.Barret, M.Davies, 
T.Kahsai.-Berlin: Springer, 2017.-Vol. 10227.-436 p.-(Lecture 
Notes in Computer Science).
 
 39. Progress in Cryptology - AFRICACRYPT 2017: Proc./9th 
International Conference on Cryptology in Africa, Dakar, Senegal, 
May 2017/Ed. by  M.Joye, A.Nitaj.-Berlin: Springer, 2017.-Vol. 
10239.-231 p.-(Lecture Notes in Computer Science).
 
 40. Structured Object-Oriented Formal Language and Method: 
Revised Selected Papers/6th International Workshop, SOFL+MSVL 
2016, Tokyo, Japan, November 2016/Ed. by  S.Liu, Z.Duan, C.Tian, 
F.Nagoya.-Berlin: Springer, 2017.-Vol. 10189.-239 p.-(Lecture 
Notes in Computer Science).
 
 41. Intelligence and Security Informatics: Proc./12th Pacific 
Asia Workshop, PAISI 2017, Jeju Island, South Korea, May 2017/Ed. 
by  M.Chau, G.A.Wang, H.Chen.-Berlin: Springer, 2017.-Vol. 10241.
-151 p.-(Lecture Notes in Computer Science).
 
 42. Formal Aspects of Component Software: Revised Selected 
Papers/13th International Conference, FACS 2016, Besancon, 
France, October 2016/Ed. by  O.Kouchnarenko, R.Khosravi.-Berlin: 
Springer, 2017.-Vol. 10231.-281 p.-(Lecture Notes in Computer 
Science).
 
 43. Brainlesion: Glioma, Multiple Sclerosis, Stroke and 
Traumatic Brain Injuries: Revised Selected Papers/2nd IW, 
BrainLes 2016, with the Challenges on BRATS, ISLES and mTOP 2016 
Held in Conjunction with MICCAI 2016, Athens, Greece, October 2016.
-Berlin: Springer, 2017.-Vol. 10154.-292 p.-(Lecture Notes in 
Computer Science).
 
 44. Mathematical Morphology and Its Applications to Signal and 
Image Processing: Proc./13th International Symposium, ISMM 2017, 
Fontainebleau, France, May 2017/Ed. by  J.Angulo, 
S.Velasco-Forero, F.Meyer.-Berlin: Springer, 2017.-Vol. 10225.
-500 p.-(Lecture Notes in Computer Science).
 
 45. Algorithms and Complexity: Proc./10th International 
Conference, CIAC 2017, Athens, Greece, May 2017/Ed. by  
D.Fotakis, A.Pagourtzis, V.T.Paschos.-Berlin: Springer, 2017.
-Vol. 10236.-486 p.-(Lecture Notes in Computer Science).

 46. Green, Pervasive, and Cloud Computing: Proc./12th 
International Conference, GPC 2017, Cetara, Italy. May 2015/Ed. 
by  M.H.A.Au, A.Castiglione, K.-K.R.Choo, F.Palmieri.-Berlin: 
Springer, 2017.-Vol. 10232.-815 p.-(Lecture Notes in Computer 
Science).
 
 47. Computer Vision - ACCV 2016, Part I: Revised Selected 
Papers/13th Asian Conference on Computer Vision, Taipei, Taiwan, 
November 2016/Ed. by  S.-H.Lai, V.Lepetit, K.Nishino, Y.Sato.
-Berlin: Springer, 2017.-Vol. 10111.-438 p.-(Lecture Notes in 
Computer Science).
 
 48. Computer Vision - ACCV 2016, Part II: Revised Selected 
Papers/13th Asian Conference on Computer Vision, Taipei, Taiwan, 
November 2016/Ed. by  S.-H.Lai, V.Lepetit, K.Nishino, Y.Sato.
-Berlin: Springer, 2017.-Vol. 10112.-435 p.-(Lecture Notes in 
Computer Science).
 
 49. Computer Vision - ACCV 2016, Part III: Revised Selected 
Papers/13th Asian Conference on Computer Vision, Taipei, Taiwan, 
November 2016/Ed. by  S.-H.Lai, V.Lepetit, K.Nishino, Y.Sato.
-Berlin: Springer, 2017.-Vol. 10113.-490 p.-(Lecture Notes in 
Computer Science).
 
 50. Computer Vision - ACCV 2016, Part V: Revised Selected 
Papers/13th Asian Conference on Computer Vision, Taipei, Taiwan, 
November 2016/Ed. by  S.-H.Lai, V.Lepetit, K.Nishino, Y.Sato.
-Berlin: Springer, 2017.-Vol. 10115.-434 p.-(Lecture Notes in 
Computer Science).
 
 51. Numerical Analysis and Its Applications: revised Selected 
Papers/6th International Conference, NAA 2016, Lozenetz, 
Bulgaria, June 2016/Ed. by  I.Dimov, I.Farago, L.Vulkov.-Berlin: 
Springer, 2017.-Vol. 10187.-785 p.-(Lecture Notes in Computer 
Science).
 
 52. Codes, Cryptology and Information Security. In Honor of 
Claude Carlet: Proc./2nd International Conference, C2SI 2017, 
Rabat, Morocco, April 2017/Ed. by  S.El_Hajji, A.Nitaj, E.M.Souidi.
-Berlin: Springer, 2017.-Vol. 10194.-384 p.-(Lecture Notes in 
Computer Science).
 
 53. Arithmetic of Finite Fields: Revised Selected Papers/6th 
International Workshop, WAIFI 2016, Ghent, Belgium, July 2016/Ed. 
by  S.Duquesne, S.Petkova-Nikova.-Berlin: Springer, 2017.-Vol. 
10064.-277 p.-(Lecture Notes in Computer Science).
 
 54. Lightweight Cryptography for Security and Privacy: Revised 
Selected Papers/5th International Workshop, LightSec 2016, 
Aksaray, Turkey, September 2016/Ed. by  A.Bogdanov.-Berlin: 
Springer, 2017.-Vol. 10098.-149 p.-(Lecture Notes in Computer 
Science).
 
 55. Symbiotic Interaction: Revised Selected Papers/5th 
International Workshop, Symbiotic 2016, Padua, Italy, September 
2016/Ed. by  L.Gamberini, A.Spagnolli, G.Jacucci, B.Blankertz.
-Berlin: Springer, 2017.-Vol. 9961.-181 p.-(Lecture Notes in 
Computer Science).
 
 56. Interoperability and Open-Source Solutions for the Internet 
of Things: Invited Papers/2nd International Workshop, 
InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, 
Germany, November 2016/Ed. by  I.P.Zarko, A.Broering, S.Soursos, 
M.Serrano.-Berlin: Springer, 2017.-Vol. 10218.-187 p.-(Lecture 
Notes in Computer Science).
 
 57. Reproducible Research in Pattern Recognition: Revised 
Selected Papers/1st Internation Workshop, RRPR 2016, Cancun, 
Mexico, December 2016/Ed. by  B.Kerautret, M.Colom, P.Monasse.
-Berlin: Springer, 2017.-Vol. 10214.-179 p.-(Lecture Notes in 
Computer Science).
 
 58. Communication Technologies for Vehicles: Proc./12th 
International Workshop Nets4Cars/Nets4Trains/Nets4Aircraft 2017, 
Toulouse, France, May 2017/Ed. by  A.Pirovano, M.Berbineau, 
A.Vinel, C.Guerber.-Berlin: Springer, 2017.-Vol. 10222.-143 p.
-(Lecture Notes in Computer Science).
 
 59. Ambient Intelligence: Proc./13th European Conference, AmI 
2017, Malaga, Spain, April 2017/Ed. by  A.Braun, R.Wichert, A.Mana.
-Berlin: Springer, 2017.-Vol. 10217.-279 p.-(Lecture Notes in 
Computer Science).
 
 60. Mastering Scale and Complexity in Software Reuse: Proc./16th 
International Conference on Software Reuse, ICSR 2017, Salvador, 
Brazil, May 2017/Ed. by  G.Botterweck, C.Werner.-Berlin: Springer,
 2017.-Vol. 10221.-225 p.-(Lecture Notes in Computer Science).
 
 61. Deductive Software Verification - The KeY Book: From Theory 
to Practice/Ed. by  W.Ahrendt, B.Beckert, R.Bubel, R.Hahnle.
-Berlin: Springer, 2017.-Vol. 10001.-702 p.-(Lecture Notes in 
Computer Science).
 
 62. Theory and Applications of Models of Computation: Proc./14th 
Annual Conference, TAMC 2017, Bern, Switzerland, April, 2017/Ed. 
by  T.V.Gopal, G.Jager, S.Steila.-Berlin: Springer, 2017.-Vol. 
10185.-698 p.-(Lecture Notes in Computer Science).
 
 63. Advances in Artificial Intelligence: Proc./30th Canadian 
Conference on AI, Canadian AI 2017, Edmonton,AB,Canada, May 2017/
Ed. by  M.Mouhoub, Ph.Langlais.-Berlin: Springer, 2017.-Vol. 10233.
-428 p.-(Lecture Notes in Artificial Intelligence).
 
 64. Conflict Resolution in Decision Making: Revised Selected 
Papers/2nd International Workshop, COREDEMA 2016, The Hague, The 
Netherlands, August 2016/Ed. by  R.Aydogan, T.Baarsiag, 
E.Gerding, C.M.Jonker.-Berlin: Springer, 2017.-Vol. 10238.-149 p.
-(Lecture Notes in Artificial Intelligence).
 
 65. New Frontiers in Artificial Intelligence: Revised Selected 
Papers/JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, 
TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 2015/Ed. by  
M.Otake, S.Kurahashi, Y.Ota, K.Satoh.-Berlin: Springer, 2017.
-Vol. 10091.-548 p.-(Lecture Notes in Artificial Intelligence).
 
 66. Research in Computational Molecular Biology: Proc./21st 
Annual International Conference, RECOMB 2017, Hong Kong, China, 
May 2017/Ed. by  S.C.Sahinalp.-Berlin: Springer, 2017.-Vol. 10229.
-406 p.-(Lecture Notes in Bioinformatics).



Вы обнаружили ошибку в следующем тексте:
Просто нажмите кнопку "Отправить сообщение об ошибке" для завершения. Вы можете также ввести комментарий (желательно).