Библиотека

10.11.2014

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

  1. Algorithms in Bioinformatics: Proc./14tth International 
Workshop, WABI 2014, Wroclaw, Poland, September 2014/Ed. by  
D.Brown, B.Morgenstern.-Berlin: Springer, 2014.-Vol. 8701.-369 p.
-(Lecture Notes in Bioinformatics).
 
  2. Controlled Natural Language: Proc./4th International 
Workshop, CNL 2014, Galway, Ireland, August 2014/Ed. by  B.Davis, 
K.Kaljurand, T.Kuhn.-Berlin: Springer, 2014.-Vol. 8625.-202 p.
-(Lecture Notes in Artificial Intelligence).
 
  3. Case-Based Reasoning Research and Development: Proc./22nd 
International Conference, ICCBR 2014, Cork, Ireland, September 
2014/Ed. by  L.Lamontagne, E.Plaza.-Berlin: Springer, 2014.-Vol. 
8765.-542 p.-(Lecture Notes in Artificial Intelligence).
 
  4. Discovery Science: Proc./17th International Conference, DS 
2014, Blrd, Slovenia, October 2014/Ed. by  S.Dzeroski, P.Panov, 
D.Kocev, L.Todorovski.-Berlin: Springer, 2014.-Vol. 8777.-364 p.
-(Lecture Notes in Artificial Intelligence).
 
  5. Logics in Artficial Intelligence: Proc./14th European 
Conference, JELIA 2014, Funchal, Madeira, Portugal, September 2014
/Ed. by  E.Ferme, J.Leite.-Berlin: Springer, 2014.-Vol. 8761.-704 
p.-(Lecture Notes in Artificial Intelligence).
 
  6. Medical Image Computing and Computer-Assisted Intervention - 
MICCAI 2014, Part I: Proc./17th International Conference, 
Boston,MA,USA, September 2014/Ed. by  P.Golland, N.Hata, 
Ch.Barillot, J.Hornegger.-Berlin: Springer, 2014.-Vol. 8673.-824 
p.-(Lecture Notes in Computer Science).
 
  7. Medical Image Computing and Computer Assisted Intervention - 
MICCAI 2014, Part II: Proc./17th International Conference, 
Boston,MA,USA, September 2014/Ed. by  P.Golland, N.Hata, 
Ch.Barillot, J.Hornegger.-Berlin: Springer, 2014.-Vol. 8674.-824 
p.-(Lecture Notes in Computer Science).
 
  8. Medical Image Computing and Computer-Assisted Intervention - 
MICCAI 2014, Part III: Proc./17th International Conference, 
Boston,MA,USA, September 2014/Ed. by  P.Golland, N.Hata, 
Ch.Barillot, J.Hornegger.-Berlin: Springer, 2014.-Vol. 8675.-436 
p.-(Lecture Notes in Computer Science).
 
  9. DNA Computing and Molecular Programming: Proc./20th 
International Conference, DNA 20, Kyoto, Japan, September 2014/
Ed. by  S.Murata, S.Kobayashi.-Berlin: Springer, 2014.-Vol. 8727.
-161 p.-(Lecture Notes in Computer Science).
 
 10. Electronic Participation: Proc./6th IFIP WG 8.5 
International Conference, ePart 2014, Dublin, Ireland, September 
2014/Ed. by  E.Tambouris, A.Macintosh, F.Bannister.-Berlin: 
Springer, 2014.-Vol. 8654.-142 p.-(Lecture Notes in Computer 
Science).
 
 11. Evolutionary and Biologically Inspired Music, Sound, Art and 
Design: Revised Selected Papers/3rd International Conference, 
EvoMUSART 2014, Granada, Spain, April 2014/Ed. by  J.Romero, 
J.Mcdermott, J.Correia.-Berlin: Springer, 2014.-Vol. 8601.-132 p.
-(Lecture Notes in Computer Science).
 
 12. Discrete Geometry for Computer Imagery: Proc./18th IAPR 
International Conference, DGCI 2014, Siena, Italy, September 2014/
Ed. by  E.Barcucci, A.Frosini, S.Rinaldi.-Berlin: Springer, 2014.
-Vol. 8668.-423 p.-(Lecture Notes in Computer Science).
 
 13. Software Architecture: Proc./8th European Conference, ECSA 
2014, Vienna, Austria, August 2014/Ed. by  P.Avgeriou, U.Zdun.
-Berlin: Springer, 2014.-Vol. 8627.-408 p.-(Lecture Notes in 
Computer Science).
 
 14. Principles and Practice of Constraint Programming: 
Proc./20th International Conference, CP 2014, Lyon, France, 
September 2014/Ed. by  B.O'Sullivan.-Berlin: Springer, 2014.-Vol. 
8656.-944 p.-(Lecture Notes in Computer Science).
 
 15. Smart Grid Security: Revised Selected Papers/2nd 
International Workshop, SmartGridSec 2014, Munich, Germany, 
February 2014/Ed. by  J.Guellar.-Berlin: Springer, 2014.-Vol. 8448.
-193 p.-(Lecture Notes in Computer Science).
 
 16. Computational Science and Its Applications - ICCSA 2014, 
Part I: Proc./14th International Conference, Guimaraes, Portugal, 
June 2014/Ed. by  B.Murgante, S.Misra, A.M.A.C.Rocha, C.Torre.
-Berlin: Springer, 2014.-Vol. 8579.-838 p.-(Lecture Notes in 
Computer Science).
 
 17. Computational Science and Its Applications - ICCSA 2014, 
Part II: Proc./14th International Conference, Guimaraes, 
Portugal, June 2014/Ed. by  B.Murgante, S.Misra, A.M.A.C.Rocha, 
C.Torre.-Berlin: Springer, 2014.-Vol. 8580.-793 p.-(Lecture Notes 
in Computer Science).
 
 18. Computational Science and Its Applications - ICCSA 2014, 
Part III: Proc./14 International Conference, Guimaraes, Portugal, 
June 2014/Ed. by  B.Murgante, S.Misra, A.M.A.C.Rocha, C.Torre.
-Berlin: Springer, 2014.-Vol. 8581.-810 p.-(Lecture Notes in 
Computer Science).
 
 19. Computational Science and Its Applications - ICCSA 2014, 
Part IV: Proc./14th International Conference, Guimaraes, 
Portugal, June 2014/Ed. by  B.Murgante, S.Misra, A.M.A.C.Rocha, 
C.Torre.-Berlin: Springer, 2014.-Vol. 8582.-807 p.-(Lecture Notes 
in Computer Science).
 
 20. Computational Science and Its Applications - ICCSA 2014, 
Part V: Proc./14th International Conference, Guimaraes, Portugal, 
June 2014/Ed. by  B.Murgante, S.Misra, A.M.A.C.Rocha, C.Torre.
-Berlin: Springer, 2014.-Vol. 8583.-808 p.-(Lecture Notes in 
Computer Science).
 
 21. Computational Science and Its Applications - ICCSA 2014, 
Part VI: Proc./14th International Conference, Guimaraes, 
Portugal, June 2014/Ed. by  B.Murgante, S.Misra, A.M.A.C.Rocha, 
C.Torre.-Berlin: Springer, 2014.-Vol. 8584.-811 p.-(Lecture Notes 
in Computer Science).
 
 22. Mobile Web Information Systems: Proc./11th International 
Conference, MobiWIS 2014, Barcelona, Spain, August 2014/Ed. by  
I.Awan, M.Younas, X.Franch, C.Quer.-Berlin: Springer, 2014.-Vol. 
8640.-308 p.-(Lecture Notes in Computer Science).
 
 23. Theory and Applications of Satisfiability Testing - SAT 
2014: Proc./17th International Conference Held as Part of the 
Vienna Summer of Logoc, VSL 2014, Vienna, Austria, July 2014/Ed. 
by  C.Sinz, U.Egly.-Berlin: Springer, 2014.-Vol. 8561.-448 p.
-(Lecture Notes in Computer Science).
 
 24. Transactions on Rough Sets XVIII/Ed. by  J.F.Peters, 
A.Skowron.-Berlin: Springer, 2014.-Vol. 8449.-130 p.-(Lecture 
Notes in Computer Science).

 25. Integrated Formal Methods: Proc./11th International 
Conference, IFM 2014, Bertinoro, Italy, September 2014/Ed. by  
E.Albert, E.Sekerinski.-Berlin: Springer, 2014.-Vol. 8739.-390 p.
-(Lecture Notes in Computer Science).
 
 26. Network and System Security: Proc./8th International 
Conference, NSS 2014, Xi'an, China, October 2014/Ed. by  M.H.Au, 
B.Carminati, C.-C.J.Kuo.-Berlin: Springer, 2014.-Vol. 8792.-576 p.
-(Lecture Notes in Computer Science).
 
 27. Computer Safety, Reliability, and Security: Proc./33rd 
International Conference, SAFECOMP 2014, Florence, Italy, 
September 2014/Ed. by  A.Bondavalli, F.Di_Giandomenico.-Berlin: 
Springer, 2014.-Vol. 8666.-356 p.-(Lecture Notes in Computer 
Science).
 
 28. Static Analysis: Proc./21st International Symposium, SAS 
2014, Munich, Germany, September 2014/Ed. by  M.Muller-Olm, 
H.Seidl.-Berlin: Springer, 2014.-Vol. 8723.-337 p.-(Lecture Notes 
in Computer Science).
 
 29. Formal Methods for Industrial Critical Systems: Proc./19th 
International Conference, FMICS 2014, Florence, Italy, September 
2014/Ed. by  F.Lang, F.Flammini.-Berlin: Springer, 2014.-Vol. 8718.
-199 p.-(Lecture Notes in Computer Science).
 
 30. Quantitative Evaluation of Systems: Proc./11th International 
Conference, QEST 2014, Florence, Italy, September 2014/Ed. by  
G.Norman, W.Sanders.-Berlin: Springer, 2014.-Vol. 8657.-422 p.
-(Lecture Notes in Computer Science).
 
 31. Statistical Language and Speech Processing: Proc./2nd 
International Conference, SLSP 2014, Grenoble, France, October 
2014/Ed. by  L.Besacier, A.-H.Dediu, C.Martin-Vide.-Berlin: 
Springer, 2014.-Vol. 8791.-284 p.-(Lecture Notes in Artificial 
Intelligence).
 
 32. Artificial General Intelligence: Proc./7th International 
Conference, AGI 2014, Quebec City,QC,Canada, August 2014/Ed. by  
B.Goertzel, L.Orseau, J.Snaider.-Berlin: Springer, 2014.-Vol. 8598.
-268 p.-(Lecture Notes in Artificial Intelligence).
 
 33. Computational logic in Multi-Agent Systems: Proc./15th 
International Workshop, CLIMA XV, Prague, Czech Republic, August 
2014/Ed. by  N.Bulling, L.Van_Der_Torre, S.Villata, W.Jamroga.
-Berlin: Springer, 2014.-Vol. 8624.-199 p.-(Lecture Notes in 
Artificial Intelligence).
 
 34. Pattern Recognition in Bioinformatics: Proc./9th IAPR 
International Conference, PRIB 2014, Stockholm, Sweden, August 
2014/Ed. by  M.Comin, L.Kall, E.Marchiori, A.Ngom.-Berlin: 
Springer, 2014.-Vol. 8626.-132 p.-(Lecture Notes in 
Bioinformatics).
 
 35. Методы повышения эффективности поиска информации на основе 
синтаксического анализа/Т.В. Батура, Ф.А. Мурзин, А.А. Перфильев 
и др.;ИСИ СО РАН. .- Новосибирск, 2014.- 75 с.-Библиогр.: c.73-74.
 
 36. Intelligent Computing Methodologies: Proc./10th 
International Conference, ICIC 2014, Taiyuan, China, August 2014/
Ed. by  D.-S.Huang, K.-H.Jo, L.Wang.-Berlin: Springer, 2014.-Vol. 
8589.-858 p.-(Lecture Notes in Artificial Intelligence).
 
 37. Advances in Natural Language Processing: Proc./9th 
International Conference on NLP, PolTAL 2014, Warsaw, Poland, 
September 2014/Ed. by  A.Przepiorkowski, M.Ogrodniczuk.-Berlin: 
Springer, 2014.-Vol. 8686.-492 p.-(Lecture Notes in Artificial 
Intelligence).
 
 38. Biomedical Image Registration: Proc./6th International 
Workshop, WBIR 2014, London, UK, July 2014/Ed. by  S.Ourselin, 
M.Modat.-Berlin: Springer, 2014.-Vol. 8545.-242 p.-(Lecture Notes 
in Computer Science).
 
 39. Articulated Motion and Deformable Objects: Proc./8th 
International Conference, AMDO 2014, Palma de Mallorca, Spain, 
July 2014/Ed. by  F.J.Perales, J.Santos-Victor.-Berlin: Springer, 
2014.-Vol. 8563.-195 p.-(Lecture Notes in Computer Science).
 
 40. Multiple Access Communications: Proc./7th International 
Workshop, MACOM 2014, Halmstad, Sweden, August 2014/Ed. by  
M.Jonsson, A.Vinel, B.Bellalta, E.Belyaev.-Berlin: Springer, 2014.
-Vol. 8715.-138 p.-(Lecture Notes in Computer Science).
 
 41. Internet of Things, Smart Spaces, and Next Generation 
Networks and Systems: Proc./14th International Conference, NEW2AN 
2014 and 7th Conference, ruSMART 2014, St.Petersburg, Russia, 
August 2014/Ed. by  S.Balandin, S.Andreev, Ye.Koucheryavy.-Berlin:
 Springer, 2014.-Vol. 8638.-716 p.-(Lecture Notes in Computer 
Science).
 
 42. Advances in Web-Based Learning - ICWL 2014: Proc./13th 
International Conference, Tallinn, Estonia, August 2014/Ed. by  
E.Popescu, R.W.H.Lau, K.Pata, H.Leung.-Berlin: Springer, 2014.
-Vol. 8613.-245 p.-(Lecture Notes in Computer Science).
 
 43. Structural Information and Communication Complexity: 
Proc./21st International Colloquium, SIROCCO 2014, Takayama, 
Japan, July 2014/Ed. by  M.M.Halldorsson.-Berlin: Springer, 2014.
-Vol. 8576.-372 p.-(Lecture Notes in Computer Science).
 
 44. Data and Applications Security and Privacy XXVIII: 
Proc./28th Annual IFIP WG 11.3 Working Conference, DBSec 2014, 
Vienna, Austria, July 2014/Ed. by  V.Atluri, G.Pernul.-Berlin: 
Springer, 2014.-Vol. 8566.-391 p.-(Lecture Notes in Computer 
Science).
 
 45. Image and Signal Processing: Proc./6th International 
Conference, ICISP 2014, Cherbourg, France, June 2014/Ed. by  
A.Elmoataz, O.Lezoray, F.Nouboud, D.Mammass.-Berlin: Springer, 
2014.-Vol. 8509.-675 p.-(Lecture Notes in Computer Science).
 
 46. Web Engineering: Proc./14th International Conference, ICWE 
2014, Toulouse, France, July 2014/Ed. by  S.Casteleyn, G.Rossi, 
M.Winckler.-Berlin: Springer, 2014.-Vol. 8541.-584 p.-(Lecture 
Notes in Computer Science).
 
 47. User Modeling, Adaptation, and Personaliation: Proc./22nd 
International Conference, UMAP 2014, Aalborg, Denmark, July 2014/
Ed. by  V.Dimitrova, T.Kuflik, D.Chin, F.Ricci.-Berlin: Springer, 
2014.-Vol. 8538.-510 p.-(Lecture Notes in Computer Science).
 
 48. Virtual, Augmented and Mixed Reality. Designing and 
Developing Virtual and Augmented Environments, Part I: Proc./6th 
International Conference, VAMR 2014 Held as Part of HCI 
International 2014, Heraklion, Crete, Greece, June 2014/Ed. by  
R.Shumaker, S.Lackey.-Berlin: Springer, 2014.-Vol. 8525.-432 p.
-(Lecture Notes in Computer Science).
 
 49. Virtual, Augmented and Mixed Reality. Applications of 
Virtual and Augmented Reality, Part II: Proc./6th International 
Conference, VAMR 2014 Held as Part of HCI International 2014, 
Heraklion, Crete, Greece, June 2014/Ed. by  R.Shumaker, S.Lackey.
-Berlin: Springer, 2014.-Vol. 8526.-480 p.-(Lecture Notes in 
Computer Science).
 
 50. Wireless Networking for Moving Objects: Protocols, 
Architectures, Tools, Services and Applications/Ed. by  
I.Ganchev, M.Curado, A.Kassler.-Berlin: Springer, 2014.-Vol. 8611.
-301 p.-(Lecture Notes in Computer Science).
 
 51. Detection of Intrusions and Malware, and Vulnerability 
Assessment: Proc./11th International Conference, DIMVA 2014, 
Egham, UK, July 2014/Ed. by  S.Dietrich.-Berlin: Springer, 2014.
-Vol. 8550.-277 p.-(Lecture Notes in Computer Science).
 
 52. Computers and Games: Revised Selected Papers/8th 
International Conference, CG 2013, Yakohama, Japan, August 2013/
Ed. by  H.J.Van_Den_Herik, H.Iida, A.Plaat.-Berlin: Springer, 2014.
-Vol. 8427.-257 p.-(Lecture Notes in Computer Science).
 
 53. Foundations of Security Analysis and Design VII: FOSAD 
2012/2013 Tutoreal Lectures/Ed. by  A.Aldini, J.Lopez, 
F.Martinelli.-Berlin: Springer, 2014.-Vol. 8604.-282 p.-(Lecture 
Notes in Computer Science).
 
 54. Natural Language Processing and Information Systems: 
Proc./19th International Conference on Applications of NL to 
Information Systems, NLDB 2014, Montpellier, France, June 2014/
Ed. by  E.Metais, M.Roche, M.Teisseire.-Berlin: Springer, 2014.
-Vol. 8455.-268 p.-(Lecture Notes in Computer Science).
 
 55. Modelling Foundations and Applications: Proc./10th European 
Conference, ECMFA 2014 Held as Part of STAF 2014, York, UK, July 
2014/Ed. by  J.Cabot, J.Rubin.-Berlin: Springer, 2014.-Vol. 8569.
-267 p.-(Lecture Notes in Computer Science).
 
 56. Brain Informatics and Health: Proc./International 
Conference, BIH 2014, Warsaw, Poland, August 2014/Ed. by  
D.Slezak, A.-H.Tan, J.F.Peters, L.Schwabe.-Berlin: Springer, 2014.
-Vol. 8609.-597 p.-(Lecture Notes in Artificial Intelligence).
 
 57. Diagrammatic Representation and Inference: Proc./8th 
International Conference, Diagrams 2014, Melbourne, VIC, 
Australia, July 2014/Ed. by  T.Dwyer, H.Purchase, A.Delaney.
-Berlin: Springer, 2014.-Vol. 8578.-311 p.-(Lecture Notes in 
Artificial Intelligence).
 
 58. Deontic Logic and Normative Systems: Proc./12th 
International Conference, DEON 2014, Ghent, Belgium, July 2014/
Ed. by  F.Cariani, D.Grossi, J.Meheus, X.Parent.-Berlin: Springer,
 2014.-Vol. 8554.-273 p.-(Lecture Notes in Artificial 
Intelligence).
 
 59. Rough Sets and Current Trends in Soft Computing: Proc./9th 
International Conference, RSCTC 2014, Granada and Madrid, Spain, 
July 2014/Ed. by  C.Cornelis, M.Kryszkiewicz, D.Slezak, E.M.Ruiz.
-Berlin: Springer, 2014.-Vol. 8536.-392 p.-(Lecture Notes in 
Artificial Intelligence).
 
 60. Machine Learning and Data Mining in Pattern Recognition: 
Proc./10th International Conference, MLDM 2014, St.Petersburg, 
Russa, July 2014/Ed. by  P.Perner.-Berlin: Springer, 2014.-Vol. 
8556.-536 p.-(Lecture Notes in Artificial Intelligence).
 
 61. Engineering Psychology and Cognitive Ergonomics: Proc./11th 
International Conference, EPCE 2014 Held as Part of HCI 
International 2014, Heraklion, Crete, Greece, June 2014/Ed. by  
D.Harris.-Berlin: Springer, 2014.-Vol. 8532.-556 p.-(Lecture 
Notes in Artificial Intelligence).
 
 62. Declarative Programming and Knowledge Management: Revised 
Selected Papers/ Declarative Programming Days, KDPD 2013, 
Unifying INAP, WFLP, and WLP, Kiel, Germany, September 2013/Ed. 
by  M.Hanus, R.Rocha.-Berlin: Springer, 2014.-Vol. 8439.-251 p.
-(Lecture Notes in Artificial Intelligence).
 
 63. Intelligent Virtual Agents: Proc./14th International 
Conference, IVA 2014, Baston,MA,USA, August 2014/Ed. by  
T.Bickmore, S.Marsella, C.Sidner.-Berlin: Springer, 2014.-Vol. 
8637.-545 p.-(Lecture Notes in Artificial Intelligence).
 
 64. Human Language Technology Challenges for Computer Science 
and Linguistics: Revised Selected Papers/5th Language and 
Technology Conference, LTC 2011, Poznan, Poland, November 2011/
Ed. by  Z.Vetulani, J.Mariani.-Berlin: Springer, 2014.-Vol. 8387.
-550 p.-(Lecture Notes in Artificial Intelligence).
 
 65. Bioinformatics Research and Applications: Proc./10th 
International Symposium, ISBRA 2014, Zhangjiajie, China, June 2014
/Ed. by  M.Basu, Y.Pan, J.Wang.-Berlin: Springer, 2014.-Vol. 8492.
-409 p.-(Lecture Notes in Bioinformatics).
 
 66. Formal Methods in Macro-Biology: Proc./1st International 
Conference, FMMB 2014, Noumea, New Caledonia, September 2014/Ed. 
by  F.Fages, C.Piazza.-Berlin: Springer, 2014.-Vol. 8738.-182 p.
-(Lecture Notes in Bioinformatics).
 
 67. Data Integration in the Life Science: Proc./10th 
International Conference, DILS 2014, Lisbon, Portugal, July 2014/
Ed. by  H.Galhordas, E.Rahm.-Berlin: Springer, 2014.-Vol. 8574.
-151 p.-(Lecture Notes in Bioinformatics).
 
 68. Algorithms for Computational Biology: Proc./1st 
International Conference, AICoB 2014, Tarragona, Spain, July 2014/
Ed. by  A.-H.Dediu, C.Martin-Vide, B.Truthe.-Berlin: Springer, 
2014.-Vol. 8542.-275 p.-(Lecture Notes in Bioinformatics).
 
 69. Стрижов В.В. Порождение и выбор моделей в задачах регрессии 
и классификации: Автореф. дис... докт. ф.-м. наук: 05.13.17.-М., 
2014.-36 с.-Библиогр.: c.34-36.
 
 70. Сологуб Р.А. Алгоритмы порождения и трансформации моделей в 
задачах нелинейной регрессии: Автореф. дис... канд. ф.-м. наук: 
05.13.17.-М., 2014.-22 с.-Библиогр.: c.22.