11.04.2016

Hовые поступления с 16 марта по 11 апреля 2016 года

  1. Annual Report 2015/CMP. .- Grenoble, 2015.- 57 p.
 
  2. От информатики в школе к техносфере образования: Сборник 
научных трудов Международной научно-практической конференции, 
посвященной 30-летию школьной информатики/МПГУ; .-Воронеж: 
"Научная книга", 2016.-332 с.
 
  3. Membrane Computing: Revised Selected Papers/16th 
International Conference, CMC 2015, Valencia, Spain, August 2015/
Ed. by  G.Rozenberg, A.Salomaa, J.M.Sempere, C.Zandron.-Berlin: 
Springer, 2015.-Vol. 9504.-387 p.-(Lecture Notes in Computer 
Science).
 
  4. Foundations of Biomedical Knowledge Representation: Methods 
and Aplications/Ed. by  A.Hommerson, P.J.F.Lucas.-Berlin: Springer,
 2015.-Vol. 9521.-339 p.-(Lecture Notes in Computer Science).
 
  5. Smart Health: Revised Selected Papers/International 
Conference, ICSH 2015, Phoenix,AZ,USA, November 2015/Ed. by  
X.Zheng, D.D.Zeng, H.Chen, S.J.Leischow.-Berlin: Springer, 2016.
-Vol. 9545.-354 p.-(Lecture Notes in Computer Science).
 
  6. Statistical Atlases and Computational Models of the Heart: 
Imaging and Modelling Challenges: Revised Selected Papers/6th 
International Workshop, STACOM 2015 Held as Conjunction with 
MICCAI 2015, Munich, Germany, October 2015/Ed. by  O.Camara, 
T.Mansi.-Berlin: Springer, 2016.-Vol. 9534.-218 p.-(Lecture Notes 
in Computer Science).
 
  7. Advances in Network Science: Proc./12th International 
Conference and School, NetSci-X 2016, Wroclaw, Poland, January 
2016/Ed. by  A.Wierzbicki, U.Brandes, F.Schweitzer, D.Pedreschi.
-Berlin: Springer, 2016.-Vol. 9564.-213 p.-(Lecture Notes in 
Computer Science).
 
  8. Quantum Interaction: Revised Selected Papers/9th 
International Conference, QI 2015, Filzbach, Switzerland, July 
2015/Ed. by  H.Atmanspacher, T.Filk, E.Pothos.-Berlin: Springer, 
2016.-Vol. 9535.-295 p.-(Lecture Notes in Computer Science).
 
  9. Cloud Computing and Big Data: Revised Selected Papers/2nd 
International Conference, CloudCom-Asia 2015, Huangshan, China, 
June 2015/Ed. by  W.Qiang, X.Zheng, C.-H.Hsu.-Berlin: Springer, 
2015.-Vol. 9106.-400 p.-(Lecture Notes in Computer Science).
 
 10. Verification, Model Checking, and Abstract Interpretation: 
Proc./17th International Conference, VMCAI 2016, 
St.Petersburg,FL,USA, January 2016/Ed. by  B.Jobstmann, 
K.R.M.Leino.-Berlin: Springer, 2016.-Vol. 9583.-558 p.-(Lecture 
Notes in Computer Science).
 
 11. Software Engineering: Revised Tutorial Lectures/ 
International Summer Schools, LASER 2013-2014, Elba, Italy,/Ed. 
by  B.Meyer, M.Nordio.-Berlin: Springer, 2015.-Vol. 8987.-191 p.
-(Lecture Notes in Computer Science).
 
 12. Adaptive Resourse Management and Scheduling for Cloud 
Computing: Revised Selected Papers/2nd International Workshop, 
ARMS-CC 2015 Held in Conjunction with ACM Symposium PODC 2015, 
Donostia-San Sebastian, Spain, July 2015/Ed. by  F.Pop, 
M.Potop-Butucaru.-Berlin: Springer, 2015.-Vol. 9438.-187 p.
-(Lecture Notes in Computer Science).

 13. Big Data Benchmarks, Performance Optimization, and Emerging 
Hardware: Revised Selected Papers/6th Workshop, BPOE 2015, 
Kohala,HI,USA, August 2015/Ed. by  J.Zhan, R.Han, R.V.Zicari.
-Berlin: Springer, 2016.-Vol. 9495.-147 p.-(Lecture Notes in 
Computer Science).
 
 14. Patch-Based Techniques in Medical Imaging: Revised Selected 
Papers/1st International Workshop, Patch-MI 2015 Held in 
Conjunction with MICCAI 2015, Munich, Germany, October 2015/Ed. 
by  G.Wu, P.Coupe, Y.Zhan, B.Munsell.-Berlin: Springer, 2015.
-Vol. 9467.-216 p.-(Lecture Notes in Computer Science).
 
 15. Approximation and Online Algorithms: Revised Selected 
Papers/13th International Workshop, WAOA 2015, Patras, Greece, 
September 2015/Ed. by  L.Sanita, M.Skutella.-Berlin: Springer, 
2015.-Vol. 9499.-209 p.-(Lecture Notes in Computer Science).
 
 16. Formal Methods: Founations and Applications: Proc./18th 
Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, Septenber 
2015/Ed. by  M.Cornelio, B.Roscoe.-Berlin: Springer, 2016.-Vol. 
9526.-195 p.-(Lecture Notes in Computer Science).
 
 17. Algorithms for Sensor Systems: Revised Selected Papers/11th 
International Symposium, ALGOSENSORS 2015, Patras, Greece, 
September 2015/Ed. by  P.Bose, L.A.Gasieniec, K.Romer, 
R.Wattenhofer.-Berlin: Springer, 2015.-Vol. 9536.-225 p.-(Lecture 
Notes in Computer Science).
 
 18. Formal Aspects of Component Software: Revised Selected 
Papers/12th International Conference, FACS 2015, Niteroi, Brazil, 
October 2015/Ed. by  C.Braga, P.C.Olveczky.-Berlin: Springer, 2016.
-Vol. 9539.-331 p.-(Lecture Notes in Computer Science).
 
 19. Languages and Compilers for Parallel Computing: Revised 
Selected Papers/28th International Workshop, LCPC 2015, 
Releigh,NC,USA, September 2015/Ed. by  X.Shen, F.Mueller, J.Tuck.
-Berlin: Springer, 2016.-Vol. 9519.-319 p.-(Lecture Notes in 
Computer Science).
 
 20. Graphical Models for Security: Revised Selected Papers/2nd 
International Workshop, GraMSec 2015, Verona, Italy, July 2015/
Ed. by  S.Mauw, B.Kordy, S.Jajodia.-Berlin: Springer, 2016.-Vol. 
9390.-103 p.-(Lecture Notes in Computer Science).
 
 21. Post-Quantum Cryptography: Proc./7th International Workshop, 
PQCrypto 2016, Fukuoka, Japan, February 2016/Ed. by  T.Takagi.
-Berlin: Springer, 2016.-Vol. 9606.-267 p.-(Lecture Notes in 
Computer Science).
 
 22. Computer Assisted and Robotic Endoscopy: Revised Selected 
Papers/2nd International Workshop, CARE 2015 Held in Conjunction 
with MICCAI 2015, Munich, Germany, October 2015/Ed. by  X.Luo, 
T.Reichl, A.Reiter, G.-L.Mariottini.-Berlin: Springer, 2016.-Vol. 
9515.-164 p.-(Lecture Notes in Computer Science).
 
 23. Engineering Trustworthy Software Systems: Tutorial 
Lecture/1st International School, SETSS 2014, Chongqing, China, 
September 2014/Ed. by  Z.Liu, Z.Zhang.-Berlin: Springer, 2016.
-Vol. 9506.-325 p.-(Lecture Notes in Computer Science).
 
 24. Combinatorial Algorithms: Revised Selected Papers/26th 
International Workshop, IWOCA 2015, Verona, Italy, October 2015/
Ed. by  Z.Liptak, W.F.Smyth.-Berlin: Springer, 2016.-Vol. 9538.
-360 p.-(Lecture Notes in Computer Science).

 25. Transactions on Computational Collective Intelligence XXII/
Ed. by  N.T.Nguyen.-Berlin: Springer, 2016.-Vol. 9655.-219 p.
-(Lecture Notes in Computer Science).
 
 26. Foundations and Practice of Security: Revised Selected 
Papers/8th International Symposium, FPS 2015, Clermont-Ferrand, 
France, October 2015/Ed. by  J.Garcia-Alfaro, E.Kranakis, 
G.Bonfante.-Berlin: Springer, 2016.-Vol. 9482.-323 p.-(Lecture 
Notes in Computer Science).
 
 27. Verified Software: Theories, Tools, and Experiments: Revised 
Selected Papers/7th Internationl Conference, VSTTE 2015, San 
Francisco,CA,USA, July 2015/Ed. by  A.Gurfinkel, S.A.Seshia.
-Berlin: Springer, 2016.-Vol. 9593.-223 p.-(Lecture Notes in 
Computer Science).
 
 28. Models of Strategic Reasoning: Logics, Games, and Communities
/Ed. by  J.Van_Benthem, S.Ghosh, R.Verbrugge.-Berlin: Springer, 
2015.-Vol. 8972.-333 p.-(Lecture Notes in Computer Science).
 
 29. Information Retrieval Technology: Proc./11th Asia 
Infermation Retrieval Societies Conference, AIRS 2015, Brisbane, 
QLD, Australia, December 2015/Ed. by  G.Zuccon, S.Geva, H.Joho, 
F.Scholer.-Berlin: Springer, 2015.-Vol. 9460.-454 p.-(Lecture 
Notes in Computer Science).
 
 30. Topics in Theoretical Computer Science: Revised Selected 
Papers/1st IFIP WG 1.8 International Conference, TTCS 2015, 
Tehran, Iran, August 2015/Ed. by  M.T.Hajiaghayi, M.R.Mousavi.
-Berlin: Springer, 2016.-Vol. 9541.-179 p.-(Lecture Notes in 
Computer Science).
 
 31. Lightweight Cryptography for Security and Privacy: Revised 
Selected Papers/4th International Workshop, LightSec 2015, 
Bochum, Germany, September 2015/Ed. by  T.Guneysu, G.Leander, 
A.Moradi.-Berlin: Springer, 2016.-Vol. 9542.-165 p.-(Lecture 
Notes in Computer Science).
 
 32. Transactions on Computational Science XXVI: Special Issue on 
Cyberworlds and Cybersecurity/Ed. by  M.L.Gavrilova, C.J.K.Tan.
-Berlin: Springer, 2016.-Vol. 9550.-173 p.-(Lecture Notes in 
Computer Science).
 
 33. Algorithms and Discrete Applied Mathematics: Proc./2nd 
International Conference, CALDAM 2016, Thiruvananthapuram, India, 
February 2016/Ed. by  S.Govindarajan, A.Maheshwari.-Berlin: 
Springer, 2016.-Vol. 9602.-369 p.-(Lecture Notes in Computer 
Science).
 
 34. Topics in Cryptology - CT-RSA 2016: Proc./The 
Cryptographers' Track at RSA Conference 2016, San 
Francisco,CA,USA, February 2016/Ed. by  K.Sako.-Berlin: Springer, 
2016.-Vol. 9610.-465 p.-(Lecture Notes in Computer Science).
 
 35. Image and Video Technology: Revised Selected Papers/7th 
Pacific-Rim Symposium, PSIVT 2015, Auckland, New Zealand, 
November 2015/Ed. by  Th.Braunl, B.Mccane, M.Rivera, X.Yu.-Berlin:
 Springer, 2016.-Vol. 9431.-793 p.-(Lecture Notes in Computer 
Science).
 
 36. Mathematical and Engineering Methods in Computer Science: 
Revised Selected Papers/10th International Doctoral Workshop, 
MEMICS 2015, Telc, Czech Republic, October 2015/Ed. by  J.Kofron, 
T.Vojnar.-Berlin: Springer, 2016.-Vol. 9548.-157 p.-(Lecture 
Notes in Computer Science).

 37. Data Privacy Management, and Security Assurance: Revised 
Selected Papers/10th International Workshop, DPM 2015 and 4th 
International Workshop, QASA 2015, Vienna, Austria, September 2015
/Ed. by  A.Aldini, F.Martinelli.-Berlin: Springer, 2016.-Vol. 9481.
-291 p.-(Lecture Notes in Computer Science).
 
 38. Hybrid Systems Biology: Revised Selected Papers/4th 
International Workshop, HSB 2015, Madrid, Spain, September 2015/
Ed. by  A.Abate, D.Satranek.-Berlin: Springer, 2015.-Vol. 9271.
-248 p.-(Lecture Notes in Bioinformatics).
 
 39. Artificial Life and Computational Intelligence: Proc./2nd 
Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, 
February 2016/Ed. by  T.Ray, R.Sarker, X.Li.-Berlin: Springer, 
2016.-Vol. 9592.-375 p.-(Lecture Notes in Artificial 
Intelligence).
 
 40. Theory and Applications of Formal Argumentation: Revised 
Selected Papers/3rd International Workshop, TAFA 2015, Buenos 
Aires, Argentina, July 2015/Ed. by  E.Black, S.Modgil, N.Oren.
-Berlin: Springer, 2015.-Vol. 9524.-261 p.-(Lecture Notes in 
Artificial Intelligence).
 
 41. Big Data Analytics in the Social and Ubiquitous Context: 
Revised Selected Papers/5th International Workshop, MSM 2014, 5th 
International Workshop, MUSE 2014, and 1st International 
Workshop, SenseML 2014/Ed. by  M.Atzmueller, A.Chin.-Berlin: 
Springer, 2016.-Vol. 9546.-187 p.-(Lecture Notes in Artificial 
Intelligence).
 
 42. Advances in Multimedia Information Processing - PCM 2015, 
Part I: Proc./16th Pacific-Rim Conference on Multimedia, Gwangju, 
South Korea, September 2015/Ed. by  Y.-S.Ho, J.Sang, Y.M.Ro, J.Kim.
-Berlin: Springer, 2015.-Vol. 9314.-735 p.-(Lecture Notes in 
Computer Science).
 
 43. Transactions on Large-Scale Data-and Knowledge-Centered 
Systems XXV/Ed. by  A.Hameurlain, J.Kung, R.Wagner.-Berlin: 
Springer, 2016.-Vol. 9620.-187 p.-(Lecture Notes in Computer 
Science).
 
 44. Public-Key Cryptography - PKC 2016, Part I: Proc./19th IACR 
International Conference on Practice and Theory in Public-Key 
Cryptography, Taipei, Taiwan, March 2016/Ed. by  C.-M.Cheng, 
K.-M.Chung, G.Persiano, B.-Y.Yang.-Berlin: Springer, 2016.-Vol. 
9614.-472 p.-(Lecture Notes in Computer Science).
 
 45. Public-Key Cryptography - PKC 2016, Part II: Proc./19th IACR 
International Conference on Practice and Theory in Public-Key 
Cryptography, Taipei, Taiwan, March 2016/Ed. by  C.-M.Cheng, 
K.-M.Chung, G.Persiano, B.-Y.Yang.-Berlin: Springer, 2016.-Vol. 
9615.-464 p.-(Lecture Notes in Computer Science).
 
 46. Functional and Logic Programming: Proc./13th International 
Symposium, FLOPS 2016, Kochi, Japan, March 2016/Ed. by  
O.Kiselyov, A.King.-Berlin: Springer, 2016.-Vol. 9613.-253 p.
-(Lecture Notes in Computer Science).
 
 47. WALCOM: Algorithms and Computation: Proc./10th International 
Workshop, WALCOM 2016, Kathmandu, Nepal, March 2016/Ed. by  
M.Kaykobad, R.Petreschi.-Berlin: Springer, 2016.-Vol. 9627.-362 p.
-(Lecture Notes in Computer Science).



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