05.10.2015

Hовые поступления с 14 сентября по 5 октября 2015 года

  1. Logic, Rewriting, and Concurrency: Essays Dedicated to Jose 
Meseguer on the Occasion of His 65th Birthday/Ed. by  
N.Marti-Oliet, P.C.Olveczky, C.Talcott.-Berlin: Springer, 2015.
-Vol. 9200.-654 p.-(Lecture Notes in Computer Science).
 
  2. Software Engineering and Formal Methods: Proc./13th 
International Conference, SEFM 2015, York, UK, September 2015/Ed. 
by  R.Calinescu, B.Rumpe.-Berlin: Springer, 2015.-Vol. 9276.-369 
p.-(Lecture Notes in Computer Science).
 
  3. Modelling and Simulation for Autonomous Systems: Revised 
Selected Papers/2nd International Workshop, MESAS 2015, Prague, 
Czech Republic, April 2015/Ed. by  J.Hodicky.-Berlin: Springer, 
2015.-Vol. 9055.-241 p.-(Lecture Notes in Computer Science).
 
  4. Curves and Surfaces: Revised Selected Papers/8th 
International Conference, Paris, France, June 2014/Ed. by  
J.-D.Boissonnat, A.Cohen, O.Gibaru, C.Gout.-Berlin: Springer, 2015.
-Vol. 9213.-492 p.-(Lecture Notes in Computer Science).
 
  5. Database Systems for Advanced Applications: Revised Selected 
Papers/DASFAA 2015 International Workshops, SeCoP, BDMS, and 
Posters, Hanoi, Vietnam, April 2015/Ed. by  A.Liu, Yo.Ishikawa, 
T.Qian, S.Nutanong.-Berlin: Springer, 2015.-Vol. 9052.-328 p.
-(Lecture Notes in Computer Science).
 
  6. Search-Based Software Engineering: Proc./7th International 
Symposium, SSBSE 2015, Bergamo, Italy, September 2015/Ed. by  
M.Barros, Y.Labiche.-Berlin: Springer, 2015.-Vol. 9275.-355 p.
-(Lecture Notes in Computer Science).
 
  7. Advanced Parallel Processing Technologies: Proc./11th 
International Symposium, APPT 2015, Jinan, China, August 2015/Ed. 
by  Yu.Chen, P.Ienne, Q.Ji.-Berlin: Springer, 2015.-Vol. 9231.
-117 p.-(Lecture Notes in Computer Science).
 
  8. Software Engineering for Resilient Systems: Proc./7th 
International Workshop, SERENE 2015, Paris, France, September 2015
/Ed. by  A.Fantechi, P.Pelliccione.-Berlin: Springer, 2015.-Vol. 
9274.-145 p.-(Lecture Notes in Computer Science).
 
  9. Machines, Computations, and Universality: Proc./7th 
International Conference, MCU 2015, Famagusta, North Cyprus, 
September 2015/Ed. by  J.Durand-Lose, B.Nagy.-Berlin: Springer, 
2015.-Vol. 9288.-199 p.-(Lecture Notes in Computer Science).
 
 10. Parallel Computing Technologies: Proc./13th International 
Conference, PaCT 2015, Petrozavodsk, Russia, August 2015/Ed. by  
V.Malyshkin.-Berlin: Springer, 2015.-Vol. 9251.-548 p.-(Lecture 
Notes in Computer Science).
 
 11. Principles and Practice of Constraint Programming: 
Proc./21st International Conference, CP 2015, Cork, Ireland, 
August 2015/Ed. by  G.Pesant.-Berlin: Springer, 2015.-Vol. 9255.
-747 p.-(Lecture Notes in Computer Science).
 
 12. Euro-Par 2015: Parallel Processing: Proc./21st International 
Conference on Parallel and Distributed Computing, Vienna, 
Austria, August 2015/Ed. by  J.L.Traff, S.Hunold, F.Versaci.
-Berlin: Springer, 2015.-Vol. 9233.-703 p.-(Lecture Notes in 
Computer Science).
 
 13. Implementation and Application of Automata: Proc./20th 
International Conference, CIAA 2015, Umea, Sweden, August 2015/
Ed. by  F.Drewes.-Berlin: Springer, 2015.-Vol. 9223.-337 p.
-(Lecture Notes in Computer Science).

 14. Human-Computer Interaction: Users and Contexts, Part III: 
Proc./17th International Conference, HCI International 2015, Los 
Angeles,CA,USA, August 2015/Ed. by  M.Kurosu.-Berlin: Springer, 
2015.-Vol. 9171.-566 p.-(Lecture Notes in Computer Science).
 
 15. Марков А.В. Автоматизация проектирования и анализа 
программного обеспечения с использованием языка UML и сетей 
Петри: Автореф. дис... канд. тех. наук: 05.13.11.-Новосибирск, 
2015.-24 с.-Библиогр.: c.23-24.
 
 16. Филатов А.Ю., Михеев В.В. Стратегии внутрипотоковой сборки 
мусора и оценка их эффективности.-Новосибирск, 2015.-27 с.
-(Препринт/ИСИ СО РАН; N 179).
 
 17. Гурий Иванович Марчук. К 90-летию со дня рождения: 
биобиблиографический указатель (1950-2015)/сост. Л.А.Мандринина; 
СО РАН. .- Новосибирск, 2015.- 240 с.
 
 18. Марчук Г.И. Наука управлять наукой/отв. ред. В.П.Дымников, 
В.И.Ильин; СО РАН. .- Новосибирск: Изд-во СО РАН, 2015.- 704 с.
 
 19. Wireless Algorithms, Systems, and Applications: Proc./10th 
International Conference, WASA 2015, Qufu, China, August 2015/Ed. 
by  K.Xu, H.Zhu.-Berlin: Springer, 2015.-Vol. 9204.-859 p.
-(Lecture Notes in Computer Science).
 
 20. Algebraic Informatics: Proc./6th International Conference, 
CAI 2015, Stuttgart, Germany, September 2015/Ed. by  A.Maletti.
-Berlin: Springer, 2015.-Vol. 9270.-223 p.-(Lecture Notes in 
Computer Science).
 
 21. Computer Performance Engineering: Proc./12th European 
Workshop, EPEW 2015, Madrid, Spain, August 2015/Ed. by  
M.Beltran, W.Knottenbelt, J.Bradley.-Berlin: Springer, 2015.-Vol. 
9272.-367 p.-(Lecture Notes in Computer Science).
 
 22. Fundamentals of Computation Theory: Proc./20th International 
Symposium, FCT 2015, Gdansk, Poland, August 2015/Ed. by  
A.Kosowski, I.Walukiewicz.-Berlin: Springer, 2015.-Vol. 9210.-395 
p.-(Lecture Notes in Computer Science).
 
 23. Formal Modeling and Analysis of Timed Systems: Proc./13th 
International Conference, FORMATS 2015, Madrid, Spain, September 
2015/Ed. by  S.Sankaranarayanan, E.Vicario.-Berlin: Springer, 2015.
-Vol. 9268.-321 p.-(Lecture Notes in Computer Science).
 
 24. Trust and Trustworthy Computing: Proc./8th International 
Conference, TRUST 2015, Heraklion, Greece, August 2015/Ed. by  
M.Conti, M.Schunter, I.Askoxylakis.-Berlin: Springer, 2015.-Vol. 
9229.-328 p.-(Lecture Notes in Computer Science).
 
 25. Quantitative Evaluation of Systems: Proc./12th International 
Conference, QEST 2015, Madrid, Spain, September 2015/Ed. by  
J.Campos, B.R.Haverkort.-Berlin: Springer, 2015.-Vol. 9259.-329 p.
-(Lecture Notes in Computer Science).
 
 26. Mathematical Foundations of Computer Science 2015, Part I: 
Proc./40th International Symposium, MFCS 2015, Milan, Italy, 
August 2015/Ed. by  G.F.Italiano, G.Pighizzini, D.T.Sannella.
-Berlin: Springer, 2015.-Vol. 9234.-459 p.-(Lecture Notes in 
Computer Science).

 27. Mathematical Foundations of Computer Science 2015, Part II: 
Proc./40th International Symposium, MFCS 2015, Milan, Italy, 
August 2015/Ed. by  G.F.Italiano, G.Pighizzini, D.T.Sannella.
-Berlin: Springer, 2015.-Vol. 9235.-615 p.-(Lecture Notes in 
Computer Science).
 
 28. Information Security: Proc./18th International Conference, 
ISC 2015, Trondheim, Norway, September 2015/Ed. by  J.Lopez, 
C.J.Mitchell.-Berlin: Springer, 2015.-Vol. 9290.-570 p.-(Lecture 
Notes in Computer Science).
 
 29. Advances in Information and Computer Security: Proc./10th 
International Wiorkshop, IWSEC 2015, Nara, Japan, August 2015/Ed. 
by  K.Tanaka, Y.Suga.-Berlin: Springer, 2015.-Vol. 9241.-357 p.
-(Lecture Notes in Computer Science).
 
 30. Fast Software Encryption: Revised Selected Papers/22nd 
International Workshop, FSE 2015, Istanbul. Turkey, March 2015/
Ed. by  G.Leander.-Berlin: Springer, 2015.-Vol. 9054.-600 p.
-(Lecture Notes in Computer Science).
 
 31. Cryptography and Information Srcurity in the Balkans: 
Revised Selected Papers/1st International Conference, 
BalkanCryptSec 2014, Istanbul, Turkey, October 2014/Ed. by  
B.Ors, B.Preneel.-Berlin: Springer, 2015.-Vol. 9024.-251 p.
-(Lecture Notes in Computer Science).
 
 32. Constructive Side-Channel Analysis and Secure Design: 
Revised Selected Papers/6th International Workshop, COSADE 2015, 
Berlin, Germany, April 2015/Ed. by  S.Mangard, A.Y.Poschmann.
-Berlin: Springer, 2015.-Vol. 9064.-271 p.-(Lecture Notes in 
Computer Science).
 
 33. Rule Technologies: Foundations, Tools, and Applications: 
Proc./9th International Symposium, RuleML 2015, Berlin, Germany, 
August 2015/Ed. by  N.Bassiliades, G.Gottlob, F.Sadri, A.Paschke.
-Berlin: Springer, 2015.-Vol. 9202.-474 p.-(Lecture Notes in 
Computer Science).
 
 34. Trust, Privacy and Security in Digital Business: Proc./12th 
International Conference, TrustBus 2015, Valencia, Spain, 
September 2015/Ed. by  S.Fischer-Hubner, C.Lambrinoudakis, J.Lopez.
-Berlin: Springer, 2015.-Vol. 9264.-235 p.-(Lecture Notes in 
Computer Science).
 
 35. Algorithms in Bioinformatics: Proc./15th International 
Workshop, WABI 2015, Atlanta,GA,USA, September 2015/Ed. by  
M.Pop, H.Touzet.-Berlin: Springer, 2015.-Vol. 9289.-328 p.
-(Lecture Notes in Bioinformatics).
 
 36. Algorithms for Computational Biology: Proc./2nd 
International Conference, AICoB 2015, Mexico City, Mexico, August 
2015/Ed. by  A.-H.Dediu, F.Hernandez-Quiros, C.Martin-Vide, 
D.A.Rosenblueth.-Berlin: Springer, 2015.-Vol. 9199.-155 p.
-(Lecture Notes in Bioinformatics).
 
 37. Industrial Applications of Holonic and Multi-Agent Systems: 
Proc./7th International Conference, HoloMAS 2015, Valencia, 
Spain, September 2015/Ed. by  V.Marik, A.Schirrmann, 
D.Trentesaux, P.Vrba.-Berlin: Springer, 2015.-Vol. 9266.-243 p.
-(Lecture Notes in Artificial Intelligence).

 38. Progress in Artificial Intelligence: Proc./17th Portuguese 
Conference on AI, EPIA 2015, Coimbra, Portugal, September 2015/
Ed. by  F.Pereira, P.Machado, E.Costa, A.Cardoso.-Berlin: Springer,
 2015.-Vol. 9273.-811 p.-(Lecture Notes in Artificial 
Intelligence).
 
 39. Towards Autonomous Robotic Systems: Proc./16th Annual 
Conference, TAROS 2015, Liverpool, UK, September 2015/Ed. by  
C.Dixon, K.Tuyls.-Berlin: Springer, 2015.-Vol. 9287.-312 p.
-(Lecture Notes in Artificial Intelligence).
 
 40. Automated Deduction in Geometry: Revised Selected 
Papers/10th International Workshop, ADG 2014, Coimbra, Portugal, 
July 2014/Ed. by  F.Botana, P.Quaresma.-Berlin: Springer, 2015.
-Vol. 9201.-181 p.-(Lecture Notes in Artificial Intelligence).
 
 41. Biomemetic and Biohybrid Systems: Proc./4th International 
Conference, Living Machines 2015, Barcelona, Spain, July 2015/Ed. 
by  S.P.Wilson, P.F.M.J.Verschure, A.Mura, T.J.Prescott.-Berlin: 
Springer, 2015.-Vol. 9222.-474 p.-(Lecture Notes in Artificial 
Intelligence).
 
 42. Engineering Psychology and Cognitive Ergonomics: Proc./12th 
International Conference, EPCE 2015 Held as Part of HCI 
International 2015, Los Angeles,CA,USA, August 2015/Ed. by  
D.Harris.-Berlin: Springer, 2015.-Vol. 9174.-524 p.-(Lecture 
Notes in Artificial Intelligence).
 
 43. Electronic Government: Proc./14th IFIP WG 8,5 International 
Conference, EGOV 2015, Thessaloniki, Greece, August 2015/Ed. by  
E.Tambouris, M.Janssen, H.J.Scholl, M.A.Wimmer.-Berlin: Springer, 
2015.-Vol. 9248.-349 p.-(Lecture Notes in Computer Science).
 
 44. DNA Computing and Molecular Programming: Proc./21st 
International Conference, DNA 21, Boston and Cambridge,MA,USA, 
August 2015/Ed. by  A.Phillips, P.Yin.-Berlin: Springer, 2015.
-Vol. 9211.-213 p.-(Lecture Notes in Computer Science).
 
 45. Swarm, Evolutionary, and Memetic Computing: Revised Selected 
Papers/5th International Conference, SEMCCO 2014, Bhubaneswar, 
India, December 2014/Ed. by  B.K.Panigrahi, P.N.Suganthan, S.Das.
-Berlin: Springer, 2015.-Vol. 8947.-881 p.-(Lecture Notes in 
Computer Science).
 
 46. Information Technology in Bio-and Medical Informatics: 
Proc./6th International Conference, ITBAM 2015, Valencis, Spain, 
September 2015/Ed. by  M.E.Renda, M.Bursa, A.Holzinger, S.Khuri.
-Berlin: Springer, 2015.-Vol. 9267.-115 p.-(Lecture Notes in 
Computer Science).
 
 47. Big Data Analytics and Knowledge Discovery: Proc./17th 
International Conference, DaWaK 2015, Valencia, Spain, September 
2015/Ed. by  S.Madria, T.Hara.-Berlin: Springer, 2015.-Vol. 9263.
-418 p.-(Lecture Notes in Computer Science).
 
 48. Human-Computer Interaction - INTERACT 2015, Part I: 
Proc./15th IFIP TC 13 International Conference, Bamberg, Germany, 
September 2015/Ed. by  J.Abascal, S.Barbosa, M.Fetter, T.Gross.
-Berlin: Springer, 2015.-Vol. 9296.-584 p.-(Lecture Notes in 
Computer Science).
 
 49. Human-Computer Interaction - INTERACT 2015, Part II: 
Proc./15th IFIP TC 13 International Conference, Bamberg, Germany, 
September 2015/Ed. by  J.Abascal, S.Barbosa, M.Fetter, T.Gross.
-Berlin: Springer, 2015.-Vol. 9297.-636 p.-(Lecture Notes in 
Computer Science).

 50. Human-Computer Interaction - INTERACT 2015, Part III: 
Proc./15th FIP TC 13 International Conference, Bamberg, Germany, 
September 2015/Ed. by  J.Abascal, S.Barbosa, M.Fetter, T.Gross.
-Berlin: Springer, 2015.-Vol. 9298.-638 p.-(Lecture Notes in 
Computer Science).
 
 51. Human-Computer Interaction - INTERACT 2015, Part IV: 
Proc./15th IFIP TC 13 International Conference, Bomberg, Germany, 
September 2015/Ed. by  J.Abascal, S.Barbosa, M.Fetter, T.Gross.
-Berlin: Springer, 2015.-Vol. 9299.-686 p.-(Lecture Notes in 
Computer Science).
 
 52. Intelligent Computing: Theories and Methodologies, Part I: 
Proc./11th International Conference, ICIC 2015, Fuzhou, China, 
August 2015/Ed. by  D.-S.Huang, V.Bevilacqua, P.Premaratne.-Berlin:
 Springer, 2015.-Vol. 9225.-755 p.-(Lecture Notes in Computer 
Science).
 
 53. Intelligent Computing: Theories and Methodologies, Part II: 
Proc./11th International Conference, ICIC 2015, Fuzhou, China, 
August 2015/Ed. by  D.-S.Huang, K.-H.Jo, A.Hussain.-Berlin: 
Springer, 2015.-Vol. 9226.-755 p.-(Lecture Notes in Computer 
Science).
 
 54. Advanced Intelligent Computing Theories and Applications, 
Part III: Proc./11th International Conference, ICIC 2015, Fuzhou, 
China, August 2015/Ed. by  D.-S.Huang, K.Han.-Berlin: Springer, 
2015.-Vol. 9227.-797 p.-(Lecture Notes in Artificial 
Intelligence).
 
 55. Intelligent Robotics and Applications, Part I: Proc./8th 
International Conference, ICIRA 2015, Portsmouth, UK, August 2015/
Ed. by  H.Liu, N.Kubota, X.Zhu, R.Dillmann.-Berlin: Springer, 2015.
-Vol. 9244.-686 p.-(Lecture Notes in Artificial Intelligence).
 
 56. Intelligent Robotics and Applications, Part II: Proc/8th 
International Conference, ICIRA 2015, Portsmouth, UK, August 2015/
Ed. by  H.Liu, N.Kubota, X.Zhu, R.Dillmann.-Berlin: Springer, 2015.
-Vol. 9245.-716 p.-(Lecture Notes in Artificial Intelligence).
 
 57. Intelligent Robotics and Applications, Part III: Proc./8th 
International Conference, ICIRA 2015, Portsmouth, UK, August 2015/
Ed. by  H.Liu, N.Kuboto, X.Zhu, R.Dillmann.-Berlin: Springer, 2015.
-Vol. 9246.-586 p.-(Lecture Notes in Artificial Intelligence).
 
 58. Computational Science anr Its Applications - ICCSA 2015, 
Part V: Proc./15th International Conference, Banff,AB,Canada, 
June 2015/Ed. by  O.Gervasi, B.Murgante, S.Misra, M.L.Gavrilova.
-Berlin: Springer, 2015.-Vol. 9159.-273 p.-(Lecture Notes in 
Computer Science).
 
 59. Database and Expert Systems Applications, Part I: Proc./26th 
Interntional Conference, DEXA 2015, Valencia, Spain, September 
2015/Ed. by  Q.Chen, A.Hameurlain, F.Toumani, R.Wagner.-Berlin: 
Springer, 2015.-Vol. 9261.-578 p.-(Lecture Notes in Computer 
Science).
 
 60. Database and Expert Systems Applicationas, Part II: 
Proc./26th International Conference, DEXA 2015, Valencia, Spain, 
September 2015/Ed. by  Q.Chen, A.Hameurlain, F.Toumani, R.Wagner.
-Berlin: Springer, 2015.-Vol. 9262.-538 p.-(Lecture Notes in 
Computer Science).

 61. Computer Analysis of Images and Patterns, Part I: Proc./16th 
International Conference, CAIP 2015, Valletta, Nalta, September 
2015/Ed. by  G.Azzopardi, N.Petkov.-Berlin: Springer, 2015.-Vol. 
9256.-841 p.-(Lecture Notes in Computer Science).
 
 62. Computer Analysis of Images and Patterns, Part II: 
Proc./16th International Conference, CAIP 2015, Valletta, Malta, 
September 2015/Ed. by  G.Azzopardi, N.Petkov.-Berlin: Springer, 
2015.-Vol. 9257.-799 p.-(Lecture Notes in Computer Science).
 
 63. Image and Graphics, Part I: Proc./8th International 
Conference, ICIG 2015, Tianjin, China, August 2015/Ed. by  
Y.-J.Zhang.-Berlin: Springer, 2015.-Vol. 9217.-683 p.-(Lecture 
Notes in Computer Science).
 
 64. Image and Graphics, Part II: Proc./8th International 
Conference, ICIG 2015, Tianjin, China, August 2015/Ed. by  
Y.-J.Zhang.-Berlin: Springer, 2015.-Vol. 9218.-653 p.-(Lecture 
Notes in Computer Science).
 
 65. Image anf Graphics, Part III: Proc./8th International 
Conference, ICIG 2015, Tianjin, Chins, August 2015/Ed. by  
Y.-J.Zhang.-Berlin: Springer, 2015.-Vol. 9219.-615 p.-(Lecture 
Notes in Computer Science).
 
 66. Computer Aided Verification, Part I: Proc./27th 
International Conference, CAV 2015, San Francisco,CA,USA, July 
2015/Ed. by  D.Kroening, C.S.Pasareanu.-Berlin: Springer, 2015.
-Vol. 9206.-677 p.-(Lecture Notes in Computer Science).
 
 67. Computer Aided Verification, Part II: Proc./27th 
International Conference, CAV 2015, San Francisco,CA,USA, July 
2015/Ed. by  D.Kroening, C.S.Pasareanu.-Berlin: Springer, 2015.
-Vol. 9207.-469 p.-(Lecture Notes in Computer Science).
 
 68. Digital Human Modeling, Part I: Proc./6th International 
Conference, DHM 201 Held as Part of HCI International 2015, Los 
Angeles,CA.USA, August 2015/Ed. by  V.G.Duffy.-Berlin: Springer, 
2015.-Vol. 9184.-447 p.-(Lecture Notes in Computer Science).
 
 69. Digital Human Modeling, Part II: Proc./6th International 
Conference, DHM 2015 Held as Part of HCI International 2015, Los 
Angeles,CA,USA, August 2015/Ed. by  V.G.Duffy.-Berlin: Springer, 
2015.-Vol. 9185.-535 p.-(Lecture Notes in Computer Science).
 
 70. Virtual, Augmented and Mixed Reality: Proc./7th 
International Conference, VAMR 2015, Held as Part of HCI 
International 2015, Los Angeles,CA,USA, August 2015/Ed. by  
R.Shumaker, S.Lackey.-Berlin: Springer, 2015.-Vol. 9179.-546 p.
-(Lecture Notes in Computer Science).
 
 71. Бродский Ю.И. Проблема описания и синтеза распределенных 
имитационных моделей сложных многокомпонентных систем: Автореф. 
дис... докт. ф.-м. наук: 05.13.17.-М., 2015.-41 с.-Библиогр.: 
c.38-41.
 
 72. Intelligent Software Methodologies, Tools and Techniques: 
Proc./14th International Conference, SoMeT 2015, Naples, Italy, 
September 2015/Ed. by  H.Fujita, G.Guizzi.-Berlin: Springer, 2015.
-Vol. 532.-636 p.-(Communications in Computer and Information 
Science).



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