03.08.2015

Hовые поступления со 2 июня по 3 августа 2015 года

  1. Стененко А.А., Непомнящий В.А. Верификация раскрашенных 
сетей Петри методом проверки моделей.-Новосибирск, 2015.-27 с.
-(Препринт/ИСИ СО РАН; N 178).
 
  2. Computer Vision - ACCV 2014, Part I: Revised Selected 
Papers/12th Asian Conference on CV, Singapore, November 2014/Ed. 
by  D.Cremers, I.Reid, H.Saito, M.-H.Yang.-Berlin: Springer, 2015.
-Vol. 9003.-727 p.-(Lecture Notes in Computer Science).
 
  3. Computer Vision - ACCV 2014, Part II: Revised Selected 
Papers/12th Asian Conference on CV, Singapore, November 2014/Ed. 
by  D.Cremers, I.Reid, H.Saito, M.-H.Yang.-Berlin: Springer, 2015.
-Vol. 9004.-709 p.-(Lecture Notes in Computer Science).
 
  4. Computer Vision - ACCV 2014, Part III: Revised Selected 
Papers/12th Asian Conference on CV, Singapore, November 2014/Ed. 
by  D.Cremers, I.Reid, H.Saito, M.-H.Yang.-Berlin: Springer, 2015.
-Vol. 9005.-725 p.-(Lecture Notes in Computer Science).
 
  5. Computer Vision - ACCV 2014, Part IV: Revised Selected 
Papers/12th Asian Conference on CV, Singapore, November 2014/Ed. 
by  D.Cremers, I.Reid, H.Saito, M.-H.Yang.-Berlin: Springer, 2015.
-Vol. 9006.-731 p.-(Lecture Notes in Computer Science).
 
  6. Computer Vision - ACCV 2014, Part V: Revised Selected 
Papers/12th Asian Conference, Singapore, November 2014/Ed. by  
D.Cremers, I.Reid, H.Saito, M.-H.Yang.-Berlin: Springer, 2015.
-Vol. 9007.-683 p.-(Lecture Notes in Computer Science).
 
  7. Multi-Agent Systems: Revised Selected Papers/12th European 
Conference, EUMAS 2014, Prague, Czech Republic, December 2014/Ed. 
by  N.Bulling.-Berlin: Springer, 2015.-Vol. 8953.-426 p.-(Lecture 
Notes in Artificial Intelligence).
 
  8. Artificial Intelligence and Soft Computing, Part I: 
Proc./14th International Conference, ICAISC 2015, Zakopane, 
Poland, June 2015/Ed. by  L.Rutkowski, M.Korytkowski, R.Scherer, 
R.Tadeusiewicz.-Berlin: Springer, 2015.-Vol. 9119.-804 p.
-(Lecture Notes in Artificial Intelligence).
 
  9. Artificial Intelligence and Soft Computing, Part II: 
Proc./14th International Conference, ICAISC 2015, Zakopane, 
Poland, June 2015/Ed. by  L.Rutkowski, M.Korytkowski, R.Scherer, 
R.Tadeusiewicz.-Berlin: Springer, 2015.-Vol. 9120.-814 p.
-(Lecture Notes in Artificial Intelligence).
 
 10. Advances in Practical Applications of Agents, Multi-Agent 
Systems, and Sustainability: The PAAMS Collection: Pric./13th 
International Conference, PAAMS 2015, Salamanca, Spain, June 2015/
Ed. by  Y.Demazeau.-Berlin: Springer, 2015.-Vol. 9086.-326 p.
-(Lecture Notes in Artificial Intelligence).
 
 11. RoboCup 2014: Robot World Cup XVIII/Ed. by  H.L.Akin, 
R.A.C.Bianchi, S.Ramamoorthy, K.Sugiura.-Berlin: Springer, 2015.
-Vol. 8992.-719 p.-(Lecture Notes in Artificial Intelligence).
 
 12. The Semantic Web: ESWC 2012 Satellite Events: Revised 
Selected Papers/ESWC 2012 Satellite Events, Heraklion, Crete, 
Greece, May 2012/Ed. by  E.Simperl, B.Norton, D.Mladenic, 
E.D.Valle.-Berlin: Springer, 2015.-Vol. 7540.-527 p.-(Lecture 
Notes in Computer Science).

 13. Cellular Automata and Discrete Complex Systems: Revised 
Selected Papers/20th International Workshop, AUTOMATA 2014, 
Himeji, Japan, July 2014/Ed. by  T.Isokawa, K.Imai, N.Matsui, 
F.Peper.-Berlin: Springer, 2015.-Vol. 8996.-148 p.-(Lecture Notes 
in Computer Science).
 
 14. Languages and Compilers for Parallel Computing: Revised 
Selected Papers/27th International Workshop, LCPC 2014, 
Hillsboro,OR,USA, September 2014/Ed. by  J.Brodman, P.Tu.-Berlin: 
Springer, 2015.-Vol. 8967.-398 p.-(Lecture Notes in Computer 
Science).
 
 15. Digital-Forensics and Watermarking: Revised Selected 
Papers/13th International Workshop, IWDW 2014, Taipei, Taiwan, 
October 2014/Ed. by  Y.-Q.Shi, H.J.Kim, F.Perez-Gonzalez, 
C.-N.Yang.-Berlin: Springer, 2015.-Vol. 9023.-626 p.-(Lecture 
Notes in Computer Science).
 
 16. New Horizons in Design Science: Broadening the Reseach 
Agenda: Proc./10th International Conference, DESRIST 2015, 
Dublin, Ireland, May 2015/Ed. by  B.Donnellan, M.Helfert, 
J.Kenneally, D.Vandermeer.-Berlin: Springer, 2015.-Vol. 9073.-506 
p.-(Lecture Notes in Computer Science).
 
 17. Persuasive Technology: Proc./10th International Conference, 
PERSUASIVE 2015, Chicago,IL,USA, June 2015/Ed. by  T.Mactavish, 
S.Basapur.-Berlin: Springer, 2015.-Vol. 9072.-265 p.-(Lecture 
Notes in Computer Science).
 
 18. Internet Science: Proc./2nd International Conference, INSCI 
2015, Brussels, Belgium, May 2015/Ed. by  T.Tiropanis, A.Vakali, 
L.Sartori, P.Burnap.-Berlin: Springer, 2015.-Vol. 9089.-160 p.
-(Lecture Notes in Computer Science).
 
 19. Scale Space and Variational Methods in Computer Vision: 
Proc./5th International Conference, SSVM 2015, Lege-Cap Terret, 
France, May 2015/Ed. by  J.-F.Aujol, M.Nikolova, N.Papadakis.
-Berlin: Springer, 2015.-Vol. 9087.-716 p.-(Lecture Notes in 
Computer Science).
 
 20. Health Information Science: Proc./4th International 
Conference, HIS 2015, Melbourne, Australia, May 2015/Ed. by  
X.Yin, K.Ho, D.Zeng, U.Aickelin.-Berlin: Springer, 2015.-Vol. 9085.
-248 p.-(Lecture Notes in Computer Science).
 
 21. Cellular Automata and Discrete Complex Systems: Proc./21st 
IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, 
Finland, June 2015/Ed. by  J.Kari.-Berlin: Springer, 2015.-Vol. 
9099.-263 p.-(Lecture Notes in Computer Science).
 
 22. Formal Techniques for Distributed Objects, Components, and 
Systems: Proc./35th IFIP WG 6.1 International Conference, FORTE 
2015 Held as Part of the International Federated Conference, 
DisCoTec 2015, Grenoble, France, June 2015/Ed. by  S.Graf, 
M.Viswanathan.-Berlin: Springer, 2015.-Vol. 9039.-245 p.-(Lecture 
Notes in Computer Science).
 
 23. Coordination Models and Languages: Proc./17th IFIP WG 6.1 
International Conference, COORDINATION 2015 Held as Part of the 
10th International Federated Conference, DisCoTec 2015, Grenoble, 
France, June 2015/Ed. by  T.Holvoet, M.Viroli.-Berlin: Springer, 
2015.-Vol. 9037.-247 p.-(Lecture Notes in Computer Science).

 24. Web Information Systems Engineering - WISE 2014 Workshops: 
Revised Selected Papers/15th International Workshops IWCSN 2014, 
Org2 2014, PCS 2014, and QUAT 2014, Thessaloniki, Greece, October 
2014/Ed. by  B.Benatallah, A.Bestavros, B.Catania, A.Haller.
-Berlin: Springer, 2015.-Vol. 9051.-251 p.-(Lecture Notes in 
Computer Science).
 
 25. Reversible Computation: Proc./7th International Conference, 
RC 2015, Grenoble, France, July 2015/Ed. by  J.Krivine, 
J.-B.Stefani.-Berlin: Springer, 2015.-Vol. 9138.-291 p.-(Lecture 
Notes in Computer Science).
 
 26. Tests and Proofs: Proc./9th International Conference, TAP 
2015 Held as Part of STAF 2015, L'Aquila, Italy, July 2015/Ed. by 
J.C.Blanchette, N.Kosmatov.-Berlin: Springer, 2015.-Vol. 9154.
-209 p.-(Lecture Notes in Computer Science).
 
 27. Learning and Collaboration Technologies: Proc./2nd 
International Conference, LCT 2015, Held as Part of HCI 
International 2015, Los Angeles,CA,USA, August 2015/Ed. by  
P.Zaphiris, A.Ioannou.-Berlin: Springer, 2015.-Vol. 9192.-739 p.
-(Lecture Notes in Computer Science).
 
 28. Intelligent Cloud Computing: 1st International Conference, 
ICC 2014, Muscat, Oman, February 2014/Ed. by  A.Al-Saidi, 
R.Fleischer, Z.Maamar, O.F.Rana.-Berlin: Springer, 2015.-Vol. 8993.
-169 p.-(Lecture Notes in Computer Science).
 
 29. Data and Applications Security and Privacy XXIX: Proc./29th 
Annual IFIP WG 11.3 Working Conference, DBSec 2015, 
Fairfax,VA,USA,July 2015/Ed. by  P.Samarati.-Berlin: Springer, 
2015.-Vol. 9149.-364 p.-(Lecture Notes in Computer Science).
 
 30. Distributed Applications and Interoperable Systems: 
Proc./15th IFIP WG 6.1 International Conference, DAIS 2015 Held 
as Part of the 10th International Conference, DisCoTec 2015, 
Grenoble, France, June 2015/Ed. by  A.Bessani, S.Bouchenak.-Berlin:
 Springer, 2015.-Vol. 9038.-221 p.-(Lecture Notes in Computer 
Science).
 
 31. Advances in Computational Intelligence, Part I: Proc./13th 
International Work-Conference on Artificial Neural Networks, 
IWANN 2015, Palma de Mallorca, Spain, June 2015/Ed. by  I.Rojas, 
G.Joya, A.Catala.-Berlin: Springer, 2015.-Vol. 9094.-612 p.
-(Lecture Notes in Computer Science).
 
 32. Advances in Computational Intelligence, Part II: Proc./13th 
International Work-Conference on Artificial Neural Networks, 
IWANN 2015, Palma de Mallorca, Spain, June 2015/Ed. by  I.Rojas, 
G.Joya, A.Catala.-Berlin: Springer, 2015.-Vol. 9095.-620 p.
-(Lecture Notes in Computer Science).
 
 33. Advances in Swarm and Computational Intelligence, Part I: 
Proc./6th International Conference, ICSI 2015 Held in conjunction 
with the 2nd BRICS Congress, CCI 2015, Beijing, China, June 2015/
Ed. by  Y.Tan, Y.Shi, F.Buarque, A.Gelbukh.-Berlin: Springer, 2015.
-Vol. 9140.-600 p.-(Lecture Notes in Computer Science).
 
 34. Advances in Swarm and Computational Intelligence, Part II: 
Proc./6th International Conference, ICSI 2015, Held in 
conjunction with the 2nd BRICS Congress, CCI 2015, Beijing, 
China, June 2015/Ed. by  Y.Tan, Y.Shi, F.Buarque, A.Gelbukh.
-Berlin: Springer, 2015.-Vol. 9141.-498 p.-(Lecture Notes in 
Computer Science).

 35. Advances in Swarm and Computational Intelligence, Part III: 
Proc./6th International Conference, ICSI 2015, Held in 
conjunction with the 2nd BRICS Congress, CCI 2015, Beijing, 
China, June 2015/Ed. by  Y.Tan, Y.Shi, F.Buarque, A.Gelbukh.
-Berlin: Springer, 2015.-Vol. 9142.-496 p.-(Lecture Notes in 
Computer Science).
 
 36. Mathematics of Program Construction: Proc./12th 
International Conference, MPC 2015, Konigswinter, Germany, June 
2015/Ed. by  R.Hinze, J.Voigtlander.-Berlin: Springer, 2015.-Vol. 
9129.-323 p.-(Lecture Notes in Computer Science).
 
 37. Image Analysis: Proc./19th Scandinavian Conference, SCIA 
2015, Copenhagen, Denmark, June 2015/Ed. by  R.R.Paulsen, 
K.S.Pedersen.-Berlin: Springer, 2015.-Vol. 9127.-544 p.-(Lecture 
Notes in Computer Science).
 
 38. Natural Language Processing and Information Systems: 
Proc./20th International Conference on Applications of NL to 
Information Systems, NLDB 2015, Passau, Germany, June 2015/Ed. by 
C.Biemann, S.Handschuh, A.Freitas.-Berlin: Springer, 2015.-Vol. 
9103.-460 p.-(Lecture Notes in Computer Science).
 
 39. FM 2015: Formal Methods: Proc./20th International Symposium, 
Oslo, Norway, June 2015/Ed. by  N.Bjorner, F.De_Boer.-Berlin: 
Springer, 2015.-Vol. 9109.-610 p.-(Lecture Notes in Computer 
Science).
 
 40. Reliable Software Technologies - Ada-Europe 2015: Proc./20th 
Ada-Europe International Conference on RST, Madrid, Spain, June 
2015/Ed. by  J.A.De_La_Puente, T.Vardanega.-Berlin: Springer, 2015.
-Vol. 9111.-229 p.-(Lecture Notes in Computer Science).
 
 41. Pattern Recognition: Proc./7th Mexican Conference, MCPR 
2015, Mexico City, Mexico, June 2015/Ed. by  J.A.Carrasco-Ochoa, 
J.F.Martinez-Trinidad, J.H.Sossa-Azuela, J.A.O.Lopez.-Berlin: 
Springer, 2015.-Vol. 9116.-314 p.-(Lecture Notes in Computer 
Science).
 
 42. User Modeling, Adaptation and Personalization: Proc./23rd 
International Conference, UMAP 2015, Dulin, Ireland, June 2015/
Ed. by  F.Ricci, K.Bontcheva, O.Conlan, S.Lawless.-Berlin: 
Springer, 2015.-Vol. 9146.-404 p.-(Lecture Notes in Computer 
Science).
 
 43. Functional Imaging and Modeling of the Heart: Proc./8th 
International Conference, FIMH 2015, Maastricht, The Netherlands, 
June 2015/Ed. by  H.Van_Assen, P.Bovendeerd, T.Delhaas.-Berlin: 
Springer, 2015.-Vol. 9126.-487 p.-(Lecture Notes in Computer 
Science).
 
 44. Experimental Algorithms: Proc./14th International Symposium, 
SEA 2015, Paris, France, June 2015/Ed. by  E.Bampis.-Berlin: 
Springer, 2015.-Vol. 9125.-404 p.-(Lecture Notes in Computer 
Science).
 
 45. Pattern Recognition and Machine Intelligence: Proc./6th 
International Conference, PReMI 2015, Warsaw, Poland, June 2015/
Ed. by  M.Kryszkiewicz, S.Bandyopadhyay, H.Rybinski, S.K.Pal.
-Berlin: Springer, 2015.-Vol. 9124.-588 p.-(Lecture Notes in 
Computer Science).
 
 46. Risks and Security of Internet and Systems: Revised Selected 
Papers/9th International Conference, CRiSIS 2014, Trentu, Italy, 
August 2014/Ed. by  J.Lopez, I.Ray, B.Crispo.-Berlin: Springer, 
2015.-Vol. 8924.-275 p.-(Lecture Notes in Computer Science).

 47. Logic, Language, and Computation: Revised Selected 
Papers/10th International Tbilisi Symposium, TbiLLC 2013, 
Gudauri, Georgia, September 2013/Ed. by  M.Aher, D.Hole, 
E.Jerabek, C.Kupke.-Berlin: Springer, 2015.-Vol. 8984.-333 p.
-(Lecture Notes in Computer Science).
 
 48. Formal Methods for Multicore Programming: Advanced 
Lectures/15th International School on Formal Methods for the 
Design of Computer, Communication, and Software Systems, SFM 
2015, Bertinoro, Italy, June 2015/Ed. by  M.Bernardo, E.B.Johnsen.
-Berlin: Springer, 2015.-Vol. 9104.-211 p.-(Lecture Notes in 
Computer Science).
 
 49. Transactions on Computational Science XXV/Ed. by  
M.Gavrilova, C.J.K.Tan.-Berlin: Springer, 2015.-Vol. 9030.-201 p.
-(Lecture Notes in Computer Science).
 
 50. Mathematical Morphology and Its Applications to Signal and 
Image Processing: Proc./12th International Symposiu, ISMM 2015, 
Reykjavik, Iceland, May 2015/Ed. by  J.A.Benediktsson, 
J.Chanussot, L.Najman, H.Talbot.-Berlin: Springer, 2015.-Vol. 9082.
-754 p.-(Lecture Notes in Computer Science).
 
 51. Inclusive Smart Cities and e-Health: Proc./13th 
International Conference on Smart Homes and Health Telematics, 
ICOST 2015, Geneva, Switzerland, June 2016/Ed. by  A.Geissbuhler, 
J.Demongeot.-Berlin: Springer, 2015.-Vol. 9102.-386 p.-(Lecture 
Notes in Computer Science).
 
 52. Application and Theory of Petri Nets and Concurrency: 
Proc./36th International Conference, PETRI NETS 2015, Brussels, 
Belgium, June 2015/Ed. by  R.Devillers, A.Valmari.-Berlin: 
Springer, 2015.-Vol. 9115.-351 p.-(Lecture Notes in Computer 
Science).
 
 53. Formal Methods for Industrial Critical Systems: Proc./20th 
International Workshop, FMICS 2015, Oslo, Norway, June 2015/Ed. 
by  M.Nunez, M.Gudemann.-Berlin: Springer, 2015.-Vol. 9128.-213 p.
-(Lecture Notes in Computer Science).
 
 54. Computational Linguistics and Intelligent Text Processing, 
Part I: Proc./16th International Conference, CICLing 2015, Cairo, 
Egypt, April 2015/Ed. by  A.Gelbukh.-Berlin: Springer, 2015.-Vol. 
9041.-662 p.-(Lecture Notes in Computer Science).
 
 55. Computational Linguistics and Intelligent Text Processing, 
Part II: Proc./16th International Conference, CICLing 2015, 
Cairo, Egipt, April 2015/Ed. by  A.Gelbukh.-Berlin: Springer, 2015.
-Vol. 9042.-686 p.-(Lecture Notes in Computer Science).
 
 56. Database Systems for Advanced Applications, Part I: 
Proc./20th International Conference, DASFAA 2015, Hanoi, Vietnam, 
April 2015/Ed. by  M.Renz, C.Shahabi, X.Zhou, M.A.Cheema.-Berlin: 
Springer, 2015.-Vol. 9049.-643 p.-(Lecture Notes in Computer 
Science).
 
 57. Database Systems for Advanced Applications, Part II: 
Proc./20th International Conference, DASFAA 2015, Hanoi, Vietnam, 
April 2015/Ed. by  M.Renz, C.Shahabi, X.Zhou, M.A.Cheema.-Berlin: 
Springer, 2015.-Vol. 9050.-549 p.-(Lecture Notes in Computer 
Science).
 
 58. Descriptional Complexity of Formal Systems: Proc./17th 
International Workshop, DCFS 2015, Waterloo,ON,Canada, June 2015/
Ed. by  J.Shallit, A.Okhotin.-Berlin: Springer, 2015.-Vol. 9118.
-293 p.-(Lecture Notes in Computer Science).

 59. Databases Theory and Applications: Proc./26th Australasian 
Database Conference, ADC 2015, Melbourne,VIC,Australia, June 2015/
Ed. by  M.A.Sharaf, M.A.Cheema, J.Qi.-Berlin: Springer, 2015.
-Vol. 9093.-334 p.-(Lecture Notes in Computer Science).
 
 60. Practical Aspects of Declarative Languages: Proc./17th 
International Symposium, PADL 2015, Portland,OR,USA, June 2015/
Ed. by  E.Ponteli, T.C.Son.-Berlin: Springer, 2015.-Vol. 9131.
-149 p.-(Lecture Notes in Computer Science).
 
 61. Perspectives of System Informatics: Revised Selected 
Papers/9th International Ershov Informatics Conference, PSI 2014, 
St.Petersburg, Russia, June 2014/Ed. by  A.Voronkov, 
I.Virbitskaite.-Berlin: Springer, 2015.-Vol. 8974.-415 p.
-(Lecture Notes in Computer Science).
 
 62. Evolving Computability: Proc./11th Conference of 
Computability in Europe, CiE 2015, Bucharest, Romania, June 2015/
Ed. by  A.Beckmann, V.Mitrana, M.Soskova.-Berlin: Springer, 2015.
-Vol. 9136.-363 p.-(Lecture Notes in Computer Science).
 
 63. Multiple Classifier Systems: Proc./12th International 
Workshop, MCS 2015, Gunzburg, Germany, June 2015/Ed. by  
F.Schwenker, F.Roli, J.Kittler.-Berlin: Springer, 2015.-Vol. 9132.
-231 p.-(Lecture Notes in Computer Science).
 
 64. New Frontiers in Mining Complex Patterns: Revised Selected 
Papers/3rd International Workshop, NFMCP 2014, Held in 
Conjunction with ECML-PKDD 2014, Nanvy, France, September 2014/
Ed. by  A.Appice, M.Ceci, C.Loglisci, G.Manco.-Berlin: Springer, 
2015.-Vol. 8983.-211 p.-(Lecture Notes in Artificial 
Intelligence).
 
 65. Current Approaches in Applied Artificial Intelligence: 
Proc./28th International Conference, IEA/AIE 2015, Seoul, Korea, 
June 2015/Ed. by  M.Ali, Y.S.Kwon, C.-H.Lee, J.Kim.-Berlin: 
Springer, 2015.-Vol. 9101.-755 p.-(Lecture Notes in Artificial 
Intelligence).
 
 66. Ерусалимский Я.М. Разработка и исследование методов решения 
экстремальных задач на графах и сетях с ограничениями на 
достижимость: Автореф. дис... докт. тех. наук: 05.13.17.-Таганрог,
 2015.-32 с.-Библиогр.: c.27-32.



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