Библиотека

06.10.2014

Hовые поступления с 10 сентября по 6 октября 2014 года

  1. Computer Algebra in Scientific Compiting: Proc./16th 
International Workshop, CASC 2014, Warsaw, Poland, September 2014/
Ed. by  V.P.Gerdt, W.Koepf, W.M.Seiler, E.V.Vorozhtsov.-Berlin: 
Springer, 2014.-Vol. 8660.-502 p.-(Lecture Notes in Computer 
Science).
 
  2. Availability, Reliability, and Security in Information 
Systems: Proc./IFIP WG 8.4, 8.9, TC 5 International Cross-Domain 
Conference, CD-ARES 2014 and 4th Iternational Workshop, SeCIHD 
2014, Fribourg, Switzerland, September 2014/Ed. by  S.Teufel, 
T.A.Min, I.You, E.Weippl.-Berlin: Springer, 2014.-Vol. 8708.-311 
p.-(Lecture Notes in Computer Science).
 
  3. Cooperative Design, Visualization, and Engineering: 
Proc./11th International Conference, CDVE 2014, Seattle,WA,USA, 
September 2014/Ed. by  Y.Luo.-Berlin: Springer, 2014.-Vol. 8683.
-312 p.-(Lecture Notes in Computer Science).
 
  4. Augmented Environments for Computer-Assisted Interventions: 
Proc./9th International Workshop, AE-CAI 2014 Held in Conjunction 
with MICCAI 2014, Boston,MA,USA, September 2014/Ed. by  
C.A.Linte, Z.Yaniv, P.Fallavollita, P.Abolmaesumi.-Berlin: 
Springer, 2014.-Vol. 8678.-149 p.-(Lecture Notes in Computer 
Science).
 
  5. Formal Modeling and Analysis of Timed Systems: Proc./12th 
International Conference, FORMATS 2014, Florence, Italy, 
September 2014/Ed. by  A.Legay, M.Bozga.-Berlin: Springer, 2014.
-Vol. 8711.-253 p.-(Lecture Notes in Computer Science).
 
  6. Structural, Syntactic, and Statistical Pattern Recognition: 
Proc./Joint IAPR International Workshop, S+SSPR 2014, Joensuu, 
Finland, August 2014/Ed. by  P.Franti, G.Brown, M.Loog, F.Escolano.
-Berlin: Springer, 2014.-Vol. 8621.-478 p.-(Lecture Notes in 
Computer Science).
 
  7. Euro-Par 2014 Parallel Processing: Proc./20th International 
Conference, Porto, Portugal, August 2014/Ed. by  F.Silva, 
I.Dutra, V.S.Costa.-Berlin: Springer, 2014.-Vol. 8632.-828 p.
-(Lecture Notes in Computer Science).
 
  8. Computational Modeling of Objects. Presents in Images. 
Fundamentals, Mathods, and Applications: Proc./4th International 
Conference, ComplMAGE 2014, Pittsburgh, PA, USA, September 2014/
Ed. by  Y.J.Zhang, J.M.R.S.Tavares.-Berlin: Springer, 2014.-Vol. 
8641.-414 p.-(Lecture Notes in Computer Science).
 
  9. Developments in Language Theory: Proc./18th International 
Conference, DLT 2014, Ekaterinburg, Russia, August 2014/Ed. by  
A.M.Shur, M.V.Volkov.-Berlin: Springer, 2014.-Vol. 8633.-349 p.
-(Lecture Notes in Computer Science).
 
 10. Hybrid Learning: Theory and Practice: Proc./7th 
International Conference, ICHL 2014, Shanghai, China, August 2014/
Ed. by  S.K.S.Cheung, J.Fong, J.Zhang, R.Kwan.-Berlin: Springer, 
2014.-Vol. 8595.-345 p.-(Lecture Notes in Computer Science).
 
 11. Data Management in Cloud, Grid and P2P Systems: Proc./7th 
International Conference, Globe 2014, Munich, Germany, September 
2014/Ed. by  A.Hameurlain, T.K.Dang, F.Morvan.-Berlin: Springer, 
2014.-Vol. 8648.-85 p.-(Lecture Notes in Computer Science).
 
 12. Trust, Privacy, and Security in Digital Business: Proc./11th 
International Conference, TrustBus 2014, Munich, Germany, 
September 2014/Ed. by  C.Eckert, S.K.Katsikas, G.Pernul.-Berlin: 
Springer, 2014.-Vol. 8647.-191 p.-(Lecture Notes in Computer 
Science).
 
 13. Active Media Technology: Proc./10th International 
Conference, AMT 2014, Warsaw, Poland, August 2014/Ed. by  
D.Slezak, G.Schaefer, S.T.Vuong, Y.-S.Kim.-Berlin: Springer, 2014.
-Vol. 8610.-572 p.-(Lecture Notes in Computer Science).
 
 14. Advances in Cryptology - CRYPTO 2014, Part I: Proc./34th 
Annual Cryptology Conference, Santa Barbara,CA,USA, August 2014/
Ed. by  J.A.Garay, R.Gennaro.-Berlin: Springer, 2014.-Vol. 8616.
-574 p.-(Lecture Notes in Computer Science).
 
 15. Advances in Cryptology - CRYPTO 2014, Part II: Proc./34th 
Annual Cryptology Conference, Santa Barbara,CA,USA, August 2014/
Ed. by  J.A.Garay, R.Gennaro.-Berlin: Springer, 2014.-Vol. 8617.
-532 p.-(Lecture Notes in Computer Science).
 
 16. Computers Helping People with Special Needs, Part I: 
Proc./14th International Conference, ICCHP 2014, Paris, France, 
July 2014/Ed. by  K.Miesenberger, D.Fels, D.Archambault, P.Penaz.
-Berlin: Springer, 2014.-Vol. 8547.-676 p.-(Lecture Notes in 
Computer Science).
 
 17. Computers Helping People with Special Needs, Part II: 
Proc./14th International Conference, ICCHP 2014, Paris, France, 
July 2014/Ed. by  K.Meisenberger, D.Fels, D.Archambault, P.Penaz.
-Berlin: Springer, 2014.-Vol. 8548.-606 p.-(Lecture Notes in 
Computer Science).
 
 18. Human Interface and the Management of Information. 
Information and Knowledge, Design and Evaluation, Part I: 
Proc./16th International Conference, HCI International 2014, 
Heraklion, Crete, Greece, June 2014/Ed. by  S.Yamamoto.-Berlin: 
Springer, 2014.-Vol. 8521.-695 p.-(Lecture Notes in Computer 
Science).
 
 19. Human Interface and the Management of Information, 
Information and Knowledge in Applications and Services, Part II: 
Proc./16th International Conference, HCI International 2014, 
Heraklion, Crete, Greece, June 2014/Ed. by  S.Yamamoto.-Berlin: 
Springer, 2014.-Vol. 8522.-657 p.-(Lecture Notes in Computer 
Science).
 
 20. CONCUR 2014 - Concurrency Theory: Proc./25th International 
Conference, CONCUR 2014, Rome, Italy, September 2014/Ed. by  
P.Baldan, D.Gorla.-Berlin: Springer, 2014.-Vol. 8704.-594 p.
-(Lecture Notes in Computer Science).
 
 21. Interactive Theorem Proving: Proc./5th Internatinal 
Conference, ITP 2014 Held as Part of the Vienna Summer of Logic, 
VSL 2014, Vienna, Austria, July 2014/Ed. by  G.Klein, R.Gamboa.
-Berlin: Springer, 2014.-Vol. 8558.-555 p.-(Lecture Notes in 
Computer Science).
 
 22. Computing and Combinatorics: Proc./20th International 
Conference, COCOON 2014, Atlanta,GA,USA, August 2014/Ed. by  
Z.Cai, A.Zelikovsky, A.Bourgeois.-Berlin: Springer, 2014.-Vol. 
8591.-688 p.-(Lecture Notes in Computer Science).

 23. Algorithmic Aspects in Information and Management: 
Proc./10th International Conference, AAIM 2014, 
Vancouver,BC,Canada, July 2014/Ed. by  Q.Gu, P.Hell, B.Yang.
-Berlin: Springer, 2014.-Vol. 8546.-342 p.-(Lecture Notes in 
Computer Science).
 
 24. ECOOP 2014 - Object-Oriented Programming: Proc./28th 
European Conference, Uppsala, Sweden, July 2014/Ed. by  R.Jones.
-Berlin: Springer, 2014.-Vol. 8586.-698 p.-(Lecture Notes in 
Computer Science).
 
 25. From Animals to Animats 13: Proc./13th International 
Conference on Simulation of Adaptive Behavior, SAB 2014, 
Castellon, Spain, July 2014/Ed. by  A.P.Del_Pobil, E.Chinellato, 
E.Martinez-Martin, J.Hallam.-Berlin: Springer, 2014.-Vol. 8575.
-340 p.-(Lecture Notes in Artificial Intelligence).
 
 26. Rough Sets and Intelligent Systems Paradigms: Proc./2nd 
International Conference, RSEISP 2014 Held as Part of JRS 2014, 
Granada and Madrid, Spain, July 2014/Ed. by  D.Ciucci, 
Ch.Cornelis, M.Kryszkiewicz, J.Medina-Moreno.-Berlin: Springer, 
2014.-Vol. 8537.-394 p.-(Lecture Notes in Artificial 
Intelligence).
 
 27. Informatics in Schools: Teaching and Learning Perspectives: 
Proc./7th International Conference, ISSEP 2014, Istanbul, Turkey, 
September 2014/Ed. by  Ya.Gulbahar, E.Karatas.-Berlin: Springer, 
2014.-Vol. 8730.-173 p.-(Lecture Notes in Computer Science).
 
 28. Algorithm Theory - SWAT 2014: Proc./14th Scandinavian 
Symposium and Workshops, Copenhagen, Denmark, July 2014/Ed. by  
R.Ravi, I.L.Gortz.-Berlin: Springer, 2014.-Vol. 8503.-394 p.
-(Lecture Notes in Computer Science).
 
 29. Theoretical Computer Science: Proc./8th IFIP TC 1/WG 2.2 
International Conference, TCS 2014, Rome, Italy, September 2014/
Ed. by  J.Diaz, I.Lanese, D.Sangiorgi.-Berlin: Springer, 2014.
-Vol. 8705.-355 p.-(Lecture Notes in Computer Science).
 
 30. Analytical and Stochastic Modelling Techniques and 
Applications: Proc./21st International Conference, ASMTA 2014, 
Budapest, Hungary, June 2014/Ed. by  B.Sericola, M.Telek, 
G.Harvath.-Berlin: Springer, 2014.-Vol. 8499.-273 p.-(Lecture 
Notes in Computer Science).
 
 31. Combinatorial Optimization: Revised Selected Papers/3rd 
International Symposium, ISCO 2014, Lisbon, Portugal. March 2014/
Ed. by  P.Fouilhoux, L.E.N.Gouveia, A.R.Mahjoub, V.T.Paschos.
-Berlin: Springer, 2014.-Vol. 8596.-446 p.-(Lecture Notes in 
Computer Science).
 
 32. Databases Theory and Applications: Proc./25th Australasian 
Database Conference, ADC 2014, Brisbane,QLD,Australia, July 2014/
Ed. by  H.Wang, M.A.Sharaf.-Berlin: Springer, 2014.-Vol. 8506.
-231 p.-(Lecture Notes in Computer Science).
 
 33. Theory and Practice of Model Transformations: Proc./7th 
International Conference, ICMT 2014 Held as Part of STAF 2014, 
York, UK, July 2014/Ed. by  D.Di_Ruscio, D.Varro.-Berlin: Springer,
 2014.-Vol. 8568.-203 p.-(Lecture Notes in Computer Science).
 
 34. Search-Based Software Engineering: Proc./6th International 
Symposium, SSBSE 2014, Fortaleza, Brazil, August 2014/Ed. by  
C.Le_Goues, S.Yoo.-Berlin: Springer, 2014.-Vol. 8636.-268 p.
-(Lecture Notes in Computer Science).

 35. Collaboration and Technology: Proc./20th International 
Conference, CRIWG 2014, Santiago, Chile, September 2014/Ed. by  
N.Baloian, F.Burstein, H.Ogata, F.Santoro.-Berlin: Springer, 2014.
-Vol. 8658.-382 p.-(Lecture Notes in Computer Science).
 
 36. Database Systems for Advanced Applications: Revised Selected 
Papers/19th International Conference, DASFAA 2014, International 
Workshops: BDMA, DaMEN, SIM3, UnCrowd, Bali, Indonesia, April 2014
/Ed. by  W.-S.Han, M.L.Lee, A.Muliantara, N.A.Sanjaya.-Berlin: 
Springer, 2014.-Vol. 8505.-430 p.-(Lecture Notes in Computer 
Science).
 
 37. Large-Scale Scientific Computing: Revised Selected 
Papers/9th International Conference, LSSC 2013, Sozopol, 
Bulgaria, June 2013/Ed. by  I.Lirkov, S.Margenov, J.Wasniewski.
-Berlin: Springer, 2014.-Vol. 8353.-654 p.-(Lecture Notes in 
Computer Science).
 
 38. Experimental Algorithms: Proc./13th International Symposium, 
SEA 2014, Copenhagen, Denmark, June, 2014/Ed. by  J.Gudmundsson, 
J.Katajainen.-Berlin: Springer, 2014.-Vol. 8504.-450 p.-(Lecture 
Notes in Computer Science).
 
 39. Approximation and Online Algorithms: Revised Selected 
Papers/11th International Workshop, WAOA 2013, Sophia Antipolis, 
France, September 2013/Ed. by  Ch.Kaklamanis, K.Pruhs.-Berlin: 
Springer, 2014.-Vol. 8447.-169 p.-(Lecture Notes in Computer 
Science).
 
 40. Job Scheduling Strategies for Parallel Processing: Revised 
Selected Papers/17th International Workshop, JSSPP 2013, 
Boston,MA,USA, May 2013/Ed. by  N.Desai, W.Cirne.-Berlin: Springer,
 2014.-Vol. 8429.-193 p.-(Lecture Notes in Computer Science).
 
 41. Automated Reasoning: Proc./7th International Joint 
Conference, IJCAR 2014 Held as Part of the Vienna Summer of 
Logic, VSL 2014, Vienna, Austria, July 2014/Ed. by  S.Demri, 
D.Kapur, Ch.Weidenbach.-Berlin: Springer, 2014.-Vol. 8562.-528 p.
-(Lecture Notes in Artificial Intelligence).
 
 42. Соченков И.В. Реляционно-ситуационные структуры данных, 
методы и алгоритмы решения поисково-аналитических задач: Автореф. 
дис... канд. ф.-м. наук: 05.13.17.-М., 2014.-26 с.-Библиогр.: 
c.24-26.
 
 43. Полицын С.А. Математическая модель и система планирования 
проектов разработки программного обеспечения: Автореф. дис... 
канд. тех. наук: 05.13.18.-М., 2014.-20 с.-Библиогр.: c.19-20.
 
 44. Толстихин И.О. Неравенства концентрации вероятностной меры в 
трансдуктивном обучении и РАС-Байесовском анализе: Автореф. 
дис... канд. ф.-м. наук: 05.13.17.-М., 2014.-20 с.-Библиогр.: 
c.19-20.
 
 45. Rules on the Web: From Theory to Applications: Proc./8th 
International Symposium, RuleML 2014 Co-located with the 21st 
European Conference ECAI 2014, Prague, Czech Republic, August 2014
/Ed. by  A.Bikakis, P.Fodor, D.Roman.-Berlin: Springer, 2014.
-Vol. 8620.-339 p.-(Lecture Notes in Computer Science).
 
 46. Human-Centered Software Engineering: Proc./5th IFIP WG 13.2 
International Conference, HCSE 2014, Paderborn, Germany, 
Septemver 2014/Ed. by  S.Sauer, C.Bogdan, P.Forbrig, R.Bernhaupt.
-Berlin: Springer, 2014.-Vol. 8742.-323 p.-(Lecture Notes in 
Computer Science).

 47. Constructive Side-Channel Analysis and Secure Design: 
Revised Selected Papers/5th International Workshop, COSADE 2014, 
Paris, France, April 2014/Ed. by  E.Prouff.-Berlin: Springer, 2014.
-Vol. 8622.-313 p.-(Lecture Notes in Computer Science).
 
 48. Communications and Multimedia Security: Proc./15th IFIP TC 
6/TC 11 International Conference, CMS 2014, Aveiro, Portugal, 
September 2014/Ed. by  B.De_Decker, A.Zuquete.-Berlin: Springer, 
2014.-Vol. 8735.-157 p.-(Lecture Notes in Computer Science).
 
 49. Research in Attacks, Intrusions, and Defenses: Proc./17th 
International Symposium, RAID 2014, Gothenburg, Sweden, September 
2014/Ed. by  A.Stavrou, H.Bos, G.Portokalidis.-Berlin: Springer, 
2014.-Vol. 8688.-490 p.-(Lecture Notes in Computer Science).
 
 50. Universal Access in Human-Computer Interaction: Design and 
Development Methods for Universal Access, Part I: Proc./8th 
International Conference, UAHCI 2014 Held as Part of HCI 
International 2014, Heraklion, Crete, Greece, June 2014/Ed. by  
M.Antona.-Berlin: Springer, 2014.-Vol. 8513.-557 p.-(Lecture 
Notes in Computer Science).
 
 51. Universal Access in Human-Computer Interaction: Universal 
Access to Information and Knowledge, Part II: Proc./8th 
International Conference, UAHCI 2014 Held as Part of HCI 
International 2014, Heraklion, Crete, Greece, June 2014/Ed. by  
M.Antona.-Berlin: Springer, 2014.-Vol. 8514.-735 p.-(Lecture 
Notes in Computer Science).
 
 52. Universal Access in Human-Computer Interaction: Aging and 
Assistive Environments, Part III: Proc./8th International 
Conference, UAHCI 2014 Held as Part of HCI International 2014, 
Heraklion, Crete, Greece, June 2014/Ed. by  M.Antona.-Berlin: 
Springer, 2014.-Vol. 8515.-823 p.-(Lecture Notes in Computer 
Science).
 
 53. Universal Access in Human-Computer Interaction: Design for 
All and Accessibility Practice, Part IV: Proc./8th International 
Conference, UAHCI 2014 Held as Part of HCI International 2014, 
Heraklion, Crete, Greece, June 2014/Ed. by  M.Antona, 
C.Stephanidis.-Berlin: Springer, 2014.-Vol. 8516.-649 p.-(Lecture 
Notes in Computer Science).
 
 54. Mathematical Foundations of Computer Science 2014, Part I: 
Proc./39th Internatioanl Symposium, MFCS 2014, Budapest, Hungary, 
August 2014/Ed. by  E.Csuhaj-Varju, M.Dietzfelbinger, Z.Esik.
-Berlin: Springer, 2014.-Vol. 8634.-561 p.-(Lecture Notes in 
Computer Science).
 
 55. Mathematical Foundations of Computer Science 2014, Part II: 
Proc./39th International Symposium, MFCS 2014, Budapest, Hungary, 
August 2014/Ed. by  E.Csuhaj-Varju, M.Dietzfelbinger, Z.Esik.
-Berlin: Springer, 2014.-Vol. 8635.-640 p.-(Lecture Notes in 
Computer Science).
 
 56. Implementation and Application of Automata: Proc./19th 
International Conference, CIAA 2014, Giessen, Germany, July 2014/
Ed. by  M.Holzer, M.Kutrib.-Berlin: Springer, 2014.-Vol. 8587.
-347 p.-(Lecture Notes in Computer Science).
 
 57. Coalgebraic Methods in Computer Science: Revised Selected 
Papers/12th IFIP WG 1.3 International Workshop, CMCS 2014, 
Colocated with ETAPS 2014, Grenoble, France, April 2014/Ed. by  
M.M.Bonsangue.-Berlin: Springer, 2014.-Vol. 8446.-245 p.-(Lecture 
Notes in Computer Science).

 58. Graph Transformation: Proc./7th International Conference, 
ICGT 2014 Held as Part of STAF 2014, York, UK, July 2014/Ed. by  
H.Giese, B.Konig.-Berlin: Springer, 2014.-Vol. 8571.-285 p.
-(Lecture Notes in Computer Science).
 
 59. Reversible Computation: Proc./6th International Conference, 
RC 2014, Kyoto, Japan, July 2014/Ed. by  Sh.Yamashita, 
Sh.-I.Minato.-Berlin: Springer, 2014.-Vol. 8507.-231 p.-(Lecture 
Notes in Computer Science).
 
 60. Formal Grammar: Proc./19th International Conference, FG 
2014, Tubingen, Germany, August 2014/Ed. by  G.Morrill, 
R.Muskens, R.Osswald, F.Richter.-Berlin: Springer, 2014.-Vol. 8612.
-201 p.-(Lecture Notes in Computer Science).
 
 61. Computer Aided Verification: Proc./26th International 
Conference, CAV 2014 Held as Part of the Vienna Summer of Logic, 
VSL 2014, Vienna, Italy, July 2014/Ed. by  A.Biere, R.Bloem.
-Berlin: Springer, 2014.-Vol. 8559.-877 p.-(Lecture Notes in 
Computer Science).
 
 62. Tests and Proofs: Proc./8th International Conference, TAP 
2014 Held as Part of STAF 2014, York, UK, July 2014/Ed. by  
M.Seidl, N.Tillmann.-Berlin: Springer, 2014.-Vol. 8570.-214 p.
-(Lecture Notes in Computer Science).
 
 63. Algorithms - ESA 2014: Proc./22nd Annual European Symposiym, 
Wroclaw, Poland, September 2014/Ed. by  A.S.Schulz, D.Wagner.
-Berlin: Springer, 2014.-Vol. 8737.-860 p.-(Lecture Notes in 
Computer Science).
 
 64. Cellular Automata: Proc./11th International Conference on CA 
for Research and Industry, ACRI 2014. Krakow, Poland, September 
2014/Ed. by  J.Was, G.Ch.Sirakoulis, S.Bandini.-Berlin: Springer, 
2014.-Vol. 8751.-711 p.-(Lecture Notes in Computer Science).
 
 65. Genetic Programming: Revised Selected Papers/17th European 
Conference, EuroGP 2014, Granada, Spain, April 2014/Ed. by  
M.Nicolau, K.Krawiec, M.I.Heywood, M.Castelli.-Berlin: Springer, 
2014.-Vol. 8599.-247 p.-(Lecture Notes in Computer Science).
 
 66. Evolutionary Computation in Combinatorial Optimization: 
Revised Selected Papers/14th European Conference, EvoCOP 2014, 
Granada, Spain, April 2014/Ed. by  Ch.Blum, G.Ochoa.-Berlin: 
Springer, 2014.-Vol. 8600.-241 p.-(Lecture Notes in Computer 
Science).
 
 67. Language, Life, Limits: Proc./10th Conference on 
Computability in Europe, CiE 2014, Budapest, Hungary, June 2014/
Ed. by  A.Beckmann, E.Csuhaj-Varju, K.Meer.-Berlin: Springer, 2014.
-Vol. 8493.-410 p.-(Lecture Notes in Computer Science).
 
 68. Belief Functions: Theory and Aplications: Proc./3rd 
International Conference, BELIEF 2014, Oxford, UK, September 2014/
Ed. by  F.Cuzzolin.-Berlin: Springer, 2014.-Vol. 8764.-444 p.
-(Lecture Notes in Artificial Intelligence).
 
 69. Probabilistic Graphical Models: Proc./7th European Workshop, 
PGM 2014, Utrecht, The Netherlands, September 2014/Ed. by  
L.C.Van_Der_Gaad, A.J.Feelders.-Berlin: Springer, 2014.-Vol. 8754.
-598 p.-(Lecture Notes in Artificial Intelligence).