Библиотека

20.06.2016

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

  1. Отчет о деятельности Института систем информатики им. 
А.П.Ершова СО РАН в 2015 году/ИСИ СО РАН. .- Новосибирск, 2015.- 
112 с.-Библиогр.: c.103-112.
 
  2. Отчет о деятельности Института систем информатики им. 
А.П.Ершова СО РАН в 2014 году/ИСИ СО РАН;.-Новосибирск, 2015.-112 
с.
 
  3. Transactions on Computational Science XXVII/Ed. by  
M.L.Gavrilova, C.J.K.Tan.-Berlin: Springer, 2016.-Vol. 9570.-141 
p.-(Lecture Notes in Computer Science).
 
  4. Transactions on Large-Scale Data-and Knowledge-Centered 
Systems XXVI: Special Issue on Data Warehousing and Knowledge 
Discovery/Ed. by  A.Hameurlain, J.Kung, R.Wagner.-Berlin: Springer,
 2016.-Vol. 9670.-109 p.-(Lecture Notes in Computer Science).
 
  5. A List of Successes That Can Change the World: Essays 
Dedicated to Philip Wadler on the Occasion of His 60th Birthday/
Ed. by  S.Lindley, C.Mcbride, P.Trinder, D.Sannella.-Berlin: 
Springer, 2016.-Vol. 9600.-479 p.-(Lecture Notes in Computer 
Science).
 
  6. Foundations of Software Science and Computation Structures: 
Proc./19th International Conference, FOSSACS 2016 Held as Part of 
the ETAPS 2016, Eindhoven, The Netherlands, April 2016/Ed. by  
B.Jacobs, Ch.Loding.-Berlin: Springer, 2016.-Vol. 9634.-550 p.
-(Lecture Notes in Computer Science).
 
  7. LATIN 2016: Theoretical Informatics: Proc./12th Latin 
American Symposium, Ensenada, Mexico, April 2016/Ed. by  
E.Kranakis, G.Navarro, E.Chavez.-Berlin: Springer, 2016.-Vol. 9644.
-714 p.-(Lecture Notes in Computer Science).
 
  8. Applications of Evolutionary Computation, Part I: Proc./19th 
European Conference, EvoApplications 2016, Porto, Portugal, March 
2016/Ed. by  G.Squillero, P.Burelli.-Berlin: Springer, 2016.-Vol. 
9597.-849 p.-(Lecture Notes in Computer Science).
 
  9. Applications of Evolutionary Computation, Part II: 
Proc./19th European Conference, EvoApplications 2016, Porto, 
Portugal, March 2016/Ed. by  G.Squillero, P.Burelli.-Berlin: 
Springer, 2016.-Vol. 9598.-329 p.-(Lecture Notes in Computer 
Science).
 
 10. Digital-Forensics and Watermarking: Revised Selected 
Papers/14th International Workshop, IWDW 2015, Tokyo, Japan, 
October 2015/Ed. by  Y.-Q.Shi, H.J.Kim, F.Perez-Gonzalez, 
I.Echizen.-Berlin: Springer, 2016.-Vol. 9569.-448 p.-(Lecture 
Notes in Computer Science).
 
 11. Web Services, Formal Methods, and Behavioral Types: 
Proc./11th International Workshop, WS-FM 2014, Eindhoven, The 
Netherlands, September 2014 and 12th International Workshop, 
WS-FM/BEAT 2015, Madrid, Spain, September 2015/Ed. by  
T.Hildebrandt, A.Ravara.-Berlin: Springer, 2016.-Vol. 9421.-167 p.
-(Lecture Notes in Computer Science).
 
 12. Ontology Engineering: Revised Selected Papers/12th 
International Experiences and Directions Workshop on OWL, OWLED 
2015, co-located with ISWC 2015, Bethlehem,PA,USA, October 2015/
Ed. by  V.Tamma, M.Dragoni, R,Goncalves, A.Lawrynowicz.-Berlin: 
Springer, 2016.-Vol. 9557.-183 p.-(Lecture Notes in Computer 
Science).

 13. Risks and Security of Internet and Systems: Revised Selected 
Papers/10th International Conference, CRiSIS 2015, Mytilene, 
Lesbos Island, Greece, July 2015/Ed. by  C.Lambrinoudakis, 
A.Gabillon.-Berlin: Springer, 2016.-Vol. 9572.-307 p.-(Lecture 
Notes in Computer Science).
 
 14. Parallel Processing and Applied Mathematics, Part I: Revised 
Selected Papers/11th International Conference, PPAM 2015, Krakow, 
Poland, September 2015/Ed. by  R.Wyrzykowski, E.Deelman, 
J.Dongarra, K.Wiatr.-Berlin: Springer, 2016.-Vol. 9573.-622 p.
-(Lecture Notes in Computer Science).
 
 15. Parallel Processing and Applied Mathematics, Part II: 
Revised Selected Papers/11th International Conference, PPAM 2015, 
Krakow, Poland, September 2015/Ed. by  R.Wyrzykowski, E.Deelman, 
J.Dongarra, K.Wiatr.-Berlin: Springer, 2016.-Vol. 9574.-622 p.
-(Lecture Notes in Computer Science).
 
 16. Open Problems in Network Security: Revised Selected 
Papers/IFIP WG 11.4 International Workshop, iNetSec 2015, Zurich, 
Switzerland, October 2015/Ed. by  J.Camenisch, D.Kesdogan.-Berlin:
 Springer, 2016.-Vol. 9591.-127 p.-(Lecture Notes in Computer 
Science).
 
 17. Wired/Wireless Internet Communications: Proc./14th IFIP WG 
6.2 International Conference, WWIC 2016, Thessaloniki, Greece, 
May 2016/Ed. by  L.Mamatas, I.Matta, P.Papadimitriou, 
Ye.Koucheryavy.-Berlin: Springer, 2016.-Vol. 9674.-362 p.
-(Lecture Notes in Computer Science).
 
 18. Bioinformatics and Biomedical Engineering: Proc./4th 
International Conference, IWBBIO 2016, Granada, Spain, April 2016/
Ed. by  F.Ortuno, I.Rojas.-Berlin: Springer, 2016.-Vol. 9656.-818 
p.-(Lecture Notes in Bioinformatics).
 
 19. Clinical Image-Based Procedures: Translational Research in 
Medical Imaging: Revised Selected Papers/4th International 
Workshop, CLIP 2015 Held in Conjunction with MICCAI 2015, Munich, 
Germany, October 2015/Ed. by  C.O.Laura, R.Shekhar, S.Wesarg.
-Berlin: Springer, 2016.-Vol. 9401.-132 p.-(Lecture Notes in 
Computer Science).
 
 20. Critical Information Infrastructures Security: Revised 
Selected Papers/9th International Conference, CRITIS 2014, 
Limassol, Cyprus, October 2014/Ed. by  C.G.Panayiotou, G.Ellinas, 
E.Kyriakides, M.M.Polycarpou.-Berlin: Springer, 2016.-Vol. 8985.
-388 p.-(Lecture Notes in Computer Science).
 
 21. Networked Systems: Revised Selected Papers/3rd International 
Conference, NETYS 2015, Agadir, Morocco, May 2015/Ed. by  
A.Bouajjani, H.Fauconnier.-Berlin: Springer, 2016.-Vol. 9466.-526 
p.-(Lecture Notes in Computer Science).
 
 22. Information Security Applications: Revised Selected 
Papers/16th International Workshop, WISA 2015, Jeju Island, 
Korea, August 2015/Ed. by  H.-W.Kim, D.Choi.-Berlin: Springer, 
2016.-Vol. 9503.-438 p.-(Lecture Notes in Computer Science).
 
 23. Scientific Computing, Computer Arithmetic, and Validated 
Numerics: Revised Selecte Papers/16th International Symposium, 
SCAN 2014, Wursburg, Germany, September 2014/Ed. by  M.Nehmeier.
-Berlin: Springer, 2016.-Vol. 9553.-291 p.-(Lecture Notes in 
Computer Science).

 24. Genetic Programming: Proc./19th European Conference, EuroGP 
2016, Porto, Portugal, March 2016/Ed. by  M.I.Heywood, 
J.Mcdermott, M.Castelli, E.Costa.-Berlin: Springer, 2016.-Vol. 
9594.-311 p.-(Lecture Notes in Computer Science).
 
 25. Trusted Systems: Revised Selected Papers/7th International 
Conference, INTRUST 2015, Beijing, China, December 2015/Ed. by  
M.Yung, J.Zhang, Z.Yang.-Berlin: Springer, 2016.-Vol. 9565.-235 p.
-(Lecture Notes in Computer Science).
 
 26. Mathematical Aspects of Computer and Information Science: 
Revised Selectes Papers/6th International Conference, MACIS 2015, 
Berlin, Germany, November 2015/Ed. by  I.S.Kotsireas, S.M.Rump, 
C.K.Yap.-Berlin: Springer, 2016.-Vol. 9582.-628 p.-(Lecture Notes 
in Computer Science).
 
 27. Semantic Web Collaborative Spaces: Revised Selected and 
Invited Papers/2nd International Workshop, SWCS 2013, 
Montpellier, France, May 2013 and 3rd International Workshop, 
SWCS 2014, Trentino, Italy. October 2014/Ed. by  P.Molli, 
J.G.Breslin, M.-E.Vidal.-Berlin: Springer, 2016.-Vol. 9507.-207 p.
-(Lecture Notes in Computer Science).
 
 28. Service-Oriented Computing - ICSOC 2015 Workshops: Revised 
Selected Papers/WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, 
Goa, India, November 2015/Ed. by  A.Norta, W.Gaaloul, 
G.R.Gangadharan, H.K.Dam.-Berlin: Springer, 2016.-Vol. 9586.-255 
p.-(Lecture Notes in Computer Science).
 
 29. Database Systems for Advanced Applications: Proc./DASFAA 
2016 International Workshops: BDMS, BDQM, Mol, and SeCoP, 
Dallas,TX,USA, April 2016/Ed. by  H.Gao, J.Kim, Y.Sakurai.-Berlin:
 Springer, 2016.-Vol. 9645.-394 p.-(Lecture Notes in Computer 
Science).
 
 30. Information Security and Cryptology: Revised Selected 
Papers/11th International Conference, Inscrypt 2015, Beijing, 
China, November 2015/Ed. by  D.Lin, X.Wang, M.Yung.-Berlin: 
Springer, 2016.-Vol. 9589.-490 p.-(Lecture Notes in Computer 
Science).
 
 31. Green, Pervasive, and Cloud Computing: Proc./11th 
International Conference, GPC 2016, Xi'an, China, May 2016/Ed. by 
X.Huang, Y.Xiang, K.-C.Li.-Berlin: Springer, 2016.-Vol. 9663.-317 
p.-(Lecture Notes in Computer Science).
 
 32. Image and Signal Processing: Proc./7th International 
Conference, ICISP 2016, Trois-Rivieres,QC,Canada, May 2016/Ed. by 
A.Mansouri, F.Nouboud, A.Chalifour, D.Mammass.-Berlin: Springer, 
2016.-Vol. 9680.-408 p.-(Lecture Notes in Computer Science).
 
 33. Programming Languages and Systems: Proc./25th European 
Symposium on Programming, ESOP 2016 Held as Part of ETAPS 2016, 
Eindhoven, The Netherlands, April 2016/Ed. by  P.Thiemann.-Berlin:
 Springer, 2016.-Vol. 9632.-806 p.-(Lecture Notes in Computer 
Science).
 
 34. Fundamental Approaches to Software Engineering: Proc./19th 
International Conference, FASE 2016 Held as Part of ETAPS 2016, 
Eindhoven, The Netherlands, April 2016/Ed. by  P.Stevens, 
A.Wasowski.-Berlin: Springer, 2016.-Vol. 9633.-436 p.-(Lecture 
Notes in Computer Science).

 35. Principles of Security and Trust: Proc./5th International 
Conference, POST 2016 Held as Part of ETAPS 2016, Eindhoven, The 
Netherlands, April 2016/Ed. by  F.Piessens, L.Vigano.-Berlin: 
Springer, 2016.-Vol. 9635.-277 p.-(Lecture Notes in Computer 
Science).
 
 36. Tools and Algorithms for the Construction and Analysis of 
Systems: Proc./22nd International Conference, TACAS 2016 Held as 
Part of ETAPS 2016, Eindhoven, The Netherlands, April 2016/Ed. by 
M.Chechik, J.-F.Raskin.-Berlin: Springer, 2016.-Vol. 9636.-961 p.
-(Lecture Notes in Computer Science).
 
 37. Discrete Geometry for Computer Imagery: Proc./19th IAPR 
International Conference, DGCI 2016, Nantes, France, April 2016/
Ed. by  N.Normand, J.Guedon, F.Autrusseau.-Berlin: Springer, 2016.
-Vol. 9647.-453 p.-(Lecture Notes in Computer Science).
 
 38. Model Checking Software: Proc./23rd International Symposium, 
SPIN 2016 Co-located with ETAPS 2016, Eindhoven, The Netherlands, 
April 2016/Ed. by  D.Bosnacki, A.Wijs.-Berlin: Springer, 2016.
-Vol. 9641.-245 p.-(Lecture Notes in Computer Science).
 
 39. Progress in Cryptology - AFRICACRYPT 2016: Proc./8th 
International Conference on Cryptology in Africa, Fes, Morocco, 
April 2016/Ed. by  D.Pointcheval, A.Nitaj, T.Rachidi.-Berlin: 
Springer, 2016.-Vol. 9646.-369 p.-(Lecture Notes in Computer 
Science).
 
 40. Measurement, Modelling and Evaluation of Dependable Computer 
and Communication Systems: Proc./18th International GI/ITG 
Conference, MMB & DFT 2016, Munster, Germany, April 2016/Ed. by  
A.Remke, B.R.Haverkort.-Berlin: Springer, 2016.-Vol. 9629.-203 p.
-(Lecture Notes in Computer Science).
 
 41. Persuasive Technology: Proc./11th International Conference, 
PERSUASIVE 2016, Salzurg, Austria, April 2016/Ed. by  
A.Meschtscherjakov, B.De_Ruyter, V.Fuchsberger, M.Murer.-Berlin: 
Springer, 2016.-Vol. 9638.-366 p.-(Lecture Notes in Computer 
Science).
 
 42. Database Systems for Advanced Applications, Part I: 
Proc./21st International Conference, DASFAA 2016, Dallas,TX,USA, 
April 2016/Ed. by  S.B.Navathe, W.Wu, S.Shekhar, X.Du.-Berlin: 
Springer, 2016.-Vol. 9642.-551 p.-(Lecture Notes in Computer 
Science).
 
 43. Database Systems for Advanced Applications, Part II: 
Proc./21st International Conference, DASFAA 2016, Dallas,TX,USA, 
April 2016/Ed. by  S.B.Navathe, W.Wu, S.Shekhar, X.Du.-Berlin: 
Springer, 2016.-Vol. 9643.-469 p.-(Lecture Notes in Computer 
Science).
 
 44. Engineering Secure Software and Systems: Proc./8th 
International Symposium, ESSoS 2016, London, UK, April 2016/Ed. 
by  J.Caballero, E.Bodden, E.Athanasopoulos.-Berlin: Springer, 
2016.-Vol. 9639.-269 p.-(Lecture Notes in Computer Science).
 
 45. Intelligence and Security Informatics: Proc./11th Pcific 
Asia Workshop, PAISI 2016, Auckland, New Zealand, April 2016/Ed. 
by  M.Chau, G.A.Wang, H.Chen.-Berlin: Springer, 2016.-Vol. 9650.
-203 p.-(Lecture Notes in Computer Science).
 
 46. Passive and Active Measurement: Proc./17th International 
Conference, PAM 2016, Heraklion, Greece, March 2016/Ed. by  
T.Karagiannis, X.Dimitropoulos.-Berlin: Springer, 2016.-Vol. 9631.
-414 p.-(Lecture Notes in Computer Science).

 47. Architecture of Computing Systems - ARCS 2016: Proc./29th 
International Conference, Nuremberg, Germany, April 2016/Ed. by  
F.Hannig, J.M.P.Cardoso, T.Pionteck, D.Fey.-Berlin: Springer, 2016.
-Vol. 9637.-402 p.-(Lecture Notes in Computer Science).
 
 48. Research in Computational Molecular Biology: Proc./20th 
Annual Conference, RECOMB 2016, Santa Monica,CA,USA, April 2016/
Ed. by  M.Singh.-Berlin: Springer, 2016.-Vol. 9649.-274 p.
-(Lecture Notes in Bioinformatics).
 
 49. Multi-Agent Systems and Agreement Technologies: Revised 
Selected Papers/13th European Conference, EUMAS 2015, and 3rd 
International Conference, AT 2015, Athens, Greece, December 2015/
Ed. by  M.Rovatsos, G.Vouros, V.Julian.-Berlin: Springer, 2016.
-Vol. 9571.-474 p.-(Lecture Notes in Artificial Intelligence).
 
 50. Hybrid Artificial Intelligent Systems: Proc./11th 
International Conference, HAIS 2016, Seville, Spain, April 2016/
Ed. by  F.Martinez-Alvarez, A.Troncoso, H.Quintian, E.Corchado.
-Berlin: Springer, 2016.-Vol. 9648.-765 p.-(Lecture Notes in 
Artificial Intelligence).
 
 51. Conformal and Probabilistic Prediction with Applications: 
Proc./5th International Sumposium, COPA 2016, Madrid, Spain, 
April 2016/Ed. by  A.Gammerman, Z.Luo, J.Vega, V.Vovk.-Berlin: 
Springer, 2016.-Vol. 9653.-229 p.-(Lecture Notes in Artificial 
Intelligence).
 
 52. New Frontiers in Mining Complex Patterns: Revised Selected 
Papers/4th International Workshop. NFMCP 2016 Held in Conjunction 
with ECML-PKDD 2015, Porto, Portugal, September 2015/Ed. by  
M.Ceci, C.Loglisci, G.Manco, E.Masciari.-Berlin: Springer, 2016.
-Vol. 9607.-239 p.-(Lecture Notes in Artificial Intelligence).
 
 53. Critical Information Infrastructures Security: Revised 
Selected Papers/10th International Conference, CRITIS 2015, 
Berlin, Germany, October 2015/Ed. by  E.Rome, M.Theocharidou, 
S.Wolthusen.-Berlin: Springer, 2016.-Vol. 9578.-266 p.-(Lecture 
Notes in Computer Science).