Библиотека

12.03.2018

Hовые поступления с 6 февраля по 12 марта 2018 года

  1. Perspectives of System Informatics: Revised Selected 
Papers/11th International Andrei P. Ershov Informatics 
Conference, PSI 2017, Moscow, Russia, June 2017/Ed. by  
A.K.Petrenko, A.Voronkov.-Berlin: Springer, 2018.-Vol. 10742.
-432 p.-(Lecture Notes in Computer Science).
 
  2. Smart Computing and Communication: Proc./2nd 
International Conference, SmartCom 2017, Shenzhen, China, 
December 2017/Ed. by  M.Qiu.-Berlin: Springer, 2018.-Vol. 
10699.-458 p.-(Lecture Notes in Computer Science).
 
  3. Software Engineering for Self-Adaptive Systems III: 
Assurances: Revised Selected and Invited Papers/ 
International Seminar, Dagstuhl Castle, Germany, December 
2013/Ed. by  R.De_Lemos, D.Garlan, C.Ghezzi, H.Giese.-Berlin:
 Springer, 2017.-Vol. 9640.-435 p.-(Lecture Notes in 
Computer Science).
 
  4. Algorithmic Aspects of Cloud Computing: Revised 
Selected Papers/3rd International Workshop, ALGOCLOUD 2017, 
Vienna, Austria, September 2017/Ed. by  D.Alistarh, A.Delis, 
G.Pallis.-Berlin: Springer, 2018.-Vol. 10739.-171 p.
-(Lecture Notes in Computer Science).
 
  5. On the Move to Meaningful Internet Systems: OTM 2017 
Workshops: Revised Selected Papers/ Confederated 
International Workshops EI2N, FBM, ICSP, Meta4eS, OTMA 2017 
and ODBASE Posters 2017, Rhodes, Greece, October 2017/Ed. by 
C.Debruyne, H.Panetto, G.Weichhart, P.Bollen.-Berlin: 
Springer, 2018.-Vol. 10697.-308 p.-(Lecture Notes in 
Computer Science).
 
  6. WALCOM: Algorithms and Compitation: Proc./12th 
International Conference, WALCOM 2018, Dhaka, Bangladesh, 
March 2018/Ed. by  M.S.Rahman, W.-K.Sung, R.Uehara.-Berlin: 
Springer, 2018.-Vol. 10755.-265 p.-(Lecture Notes in 
Computer Science).
 
  7. Software Engineering and Formal Methods: Revised 
Selected Papers/SEFM 2017 Collocated Workshops: DataMod, 
FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 
2017/Ed. by  A.Cerone, M.Roveri.-Berlin: Springer, 2018.
-Vol. 10729.-592 p.-(Lecture Notes in Computer Science).
 
  8. Transactions on Computational Science XXXI: Special 
Issue on Signal Processing and Security in Distributed 
Systems/Ed. by  M.L.Gavrilova, C.J.K.Tan.-Berlin: Springer, 
2018.-Vol. 10730.-155 p.-(Lecture Notes in Computer Science).
 
  9. Algorithms and Discrete Applied Mathematics: Proc./4th 
International Conference, CALDAM 2018, Guwahati, India, 
February 2018/Ed. by  B.S.Panda, P.P.Goswami.-Berlin: 
Springer, 2018.-Vol. 10743.-301 p.-(Lecture Notes in 
Computer Science).
 
 10. Graph Drawing and Network Visualization: Revised 
Selected Papers/25th International Symposium, GD 2017, 
Boston,MA,USA, September 2017/Ed. by  F.Frati, K.-L.Ma.
-Berlin: Springer, 2018.-Vol. 10692.-634 p.-(Lecture Notes 
in Computer Science).
 
 11. Smart Card Research and Advanced Applications: Revised 
Selected Papers/16th International Conference, CARDIS 2017, 
Lugano, Switzerland, November 2017/Ed. by  T.Eisenbarth, 

 12. Computer Aided Systems Theory - EUROCAST 2017, Part I: 
Revised Selected Papers/16th International Conference, Las 
Palmas de Gran Canaria, Spain, February 2017/Ed. by  
R.Moreno-Diaz, F.Pichler, A.Quesada-Arencibia.-Berlin: 
Springer, 2018.-Vol. 10671.-492 p.-(Lecture Notes in 
Computer Science).
 
 13. Computer Aided Systems Theory - EUROCAST 2017, Part II: 
Revised Selected Papers/16th International Conference, Las 
Palmas de Gran Canaria, Spain, February 2017/Ed. by  
R.Moreno-Diaz, F.Pichler, A.Quesada-Arencibia.-Berlin: 
Springer, 2018.-Vol. 10672.-480 p.-(Lecture Notes in 
Computer Science).
 
 14. Measurement, Modelling and Evaluation of Computing 
Systems: Proc./19th International GI/ITG Conference, MMB 
2018, Erlangen, Germany, February 2018/Ed. by  R.German, 
K.-S.Heilscher, U.R.Krieger.-Berlin: Springer, 2018.-Vol. 
10740.-344 p.-(Lecture Notes in Computer Science).
 
 15. Chinese Lexical Semantics: Revised Selected Papers/18th 
Workshop, CLSW 2017, Leshan, China, May 2017/Ed. by  Y.Wu, 
J.-F.Hong, Q.Su.-Berlin: Springer, 2018.-Vol. 10709.-602 p.
-(Lecture Notes in Artificial Intelligence).
 
 16. Заславская Т.И. Избранное в 3-х томах. Социальная 
экономика и экономическая социология.- М.: ЗАО "Издательство 
"Экономика", 2007.- 735 с.; Т. 1.
 
 17. Заславская Т.И. Избранное в 3-х томах. 
Трансформационный процесс в России: в поиске новой 
методологии.- М.: ЗАО "Издательство "Экономика", 2007.- 591 
с.; Т. 2.
 
 18. Заславская Т.И. Избранное в 3-х томах. Моя жизнь: 
воспоминания и размышления.- М.: ЗАО "Издательство 
"Экономика", 2007.- 764 с.; Т. 3.
 
 19. Lectures on Runtime Verification: Introductory and 
Advanced Topics/Ed. by  E.Bartocci, Y.Falcone.-Berlin: 
Springer, 2018.-Vol. 10457.-233 p.-(Lecture Notes in 
Computer Science).
 
 20. Accelerator Programming Using Directives: Proc./4th 
International Workshop, WACCPD 2017 Held in Conjuction with 
the SC 2017, Denver,CO,USA, November 2017/Ed. by  
S.Chandrasekaran, G.Juckeland.-Berlin: Springer, 2018.-Vol. 
10732.-183 p.-(Lecture Notes in Computer Science).