12.08.2013

Hовые поступления с 1 июля по 12 августа 2013 года

  1. Transactions on Petri Nets and Other Models of Concurrency 
VII/Ed. by  K.Jensen.-Berlin: Springer, 2013.-Vol. 7480.-423 p.
-(Lecture Notes in Computer Science).
 
  2. Reliable Software Technologies - Ada-Europe 2013: Proc./18th 
Ada-Europe International Conference, Berlin, Germany, June 2013/
Ed. by  H.B.Keller, E.Plodereder, P.Dencker, H.Klenk.-Berlin: 
Springer, 2013.-Vol. 7896.-177 p.-(Lecture Notes in Computer 
Science).
 
  3. Theory and Applications of Models of Computation: Proc./10th 
International Conference, TAMC 2013, Hong Kong, China, May 2013/
Ed. by  T.-H.H.Chan, L.C.Lau, L.Trevisan.-Berlin: Springer, 2013.
-Vol. 7876.-356 p.-(Lecture Notes in Computer Science).
 
  4. Approximation and Online Algorithms: Revised Selected 
Papers/10th International Workshop, WAOA 2012, Ljubljana, 
Slovenia, September 2012/Ed. by  Th.Erlebach, G.Persiano.-Berlin: 
Springer, 2013.-Vol. 7846.-299 p.-(Lecture Notes in Computer 
Science).
 
  5. Integration of AI and OR Techniques in Constraint 
Programming for Combinatorial Optimization Problems: Proc./10th 
International Conference, CPAIOR 2013, Yorktown Heights,NY,USA, 
May 2013/Ed. by  C.Gomes, M.Sellmann.-Berlin: Springer, 2013.
-Vol. 7874.-403 p.-(Lecture Notes in Computer Science).
 
  6. Formal Techniques for Distributed Systems: Proc./Joint IFIP 
WG 6.1 International Conference, FMOODS/FORTE 2013 Held as Part 
of the 8th International Federated Conference, DisCoTec 2013, 
Florence, Italy, June 2013/Ed. by  D.Beyer, M.Boreale.-Berlin: 
Springer, 2013.-Vol. 7892.-321 p.-(Lecture Notes in Computer 
Science).
 
  7. Supercomputing: Proc./28th International Supercomputing 
Conference, ISC 2013, Leipzig, Germany, June 2013/Ed. by  
J.M.Kunkel, Th.Ludwig, H.W.Meuer.-Berlin: Springer, 2013.-Vol. 
7905.-477 p.-(Lecture Notes in Computer Science).
 
  8. Mathematical Morphology and Its Applications to Signal and 
Jmage Processing: Proc./11th International Symposium, ISMM 2013. 
Uppsala, Sweden, May 2013/Ed. by  C.L.L.Hendriks, G.Borgefors, 
R.Strand.-Berlin: Springer, 2013.-Vol. 7883.-532 p.-(Lecture 
Notes in Computer Science).
 
  9. Computation, Logic, Games, and Quantum Foundations: The Many 
Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on 
the Occasion of His 60th Birthday/Ed. by  B.Coecke, L.Ong, 
P.Panangaden.-Berlin: Springer, 2013.-Vol. 7860.-363 p.-(Lecture 
Notes in Computer Science).
 
 10. Distributed Applications and Interoperable Systems: 
Proc./13th IFIP WG 6.1 International Conference, DAIS 2013 Held 
as Part of the 8th International Federated Conference, DisCoTec 
2013, Florence, Italy, June 2013/Ed. by  J.Dowling, F.Taiani.
-Berlin: Springer, 2013.-Vol. 7891.-205 p.-(Lecture Notes in 
Computer Science).
 
 11. Coordination Models and Languages: Proc./15th International 
Conference, COORDINATION 2013 Held as Part of the 8th 
International Federated Conference, DisCoTec 2013, Florence, 
Italy, June 2013/Ed. by  C.Julien, R.De_Nicola.-Berlin: Springer, 
2013.-Vol. 7890.-251 p.-(Lecture Notes in Computer Science).

 12. End-User Development: Proc./4th International Symposium, 
IS-EUD 2013, Copenhagen, Denmark, June 2013/Ed. by  Y.Dittrich, 
M.Burnett, A.Morch, D.Redmiles.-Berlin: Springer, 2013.-Vol. 7897.
-311 p.-(Lecture Notes in Computer Science).
 
 13. Computer Science - Theory and Applications: Proc./8th 
International Computer Science Symposium in Russia, CSR 2013, 
Ekaterinburg, Russia, June 2013/Ed. by  A.A.Bulatov, A.M.Shur.
-Berlin: Springer, 2013.-Vol. 7913.-445 p.-(Lecture Notes in 
Computer Science).
 
 14. Formal Concept Analysis: Proc./11th International 
Conference, ICFCA 2013, Dresden, Germany, May 2013/Ed. by  
P.Cellier, F.Distel, B.Ganter.-Berlin: Springer, 2013.-Vol. 7880.
-267 p.-(Lecture Notes in Artificial Intelligence).
 
 15. Model-Based Methodologies for Pervasive and Embedded 
Software: Revised Papers/8th International Workshop, MOMPES 2012, 
Essen, Germany, September 2012/Ed. by  R.J.Machado, R.S.P.Maciel, 
J.Rubin, G.Botterweck.-Berlin: Springer, 2013.-Vol. 7706.-139 p.
-(Lecture Notes in Computer Science).
 
 16. Social Computing, Behavioral-Cultural Modeling and 
Prediction: Proc./6th International Conference, SBP 2013, 
Washington,DC,USA, April 2013/Ed. by  A.M.Greenberg, W.G.Kennedy, 
N.D.Bos.-Berlin: Springer, 2013.-Vol. 7812.-535 p.-(Lecture Notes 
in Computer Science).
 
 17. Intelligent Science and Intelligent Data Engineering: 
Revised Selected Papers/3rd Sino-foreign-interchange Workshop, 
IScIDE 2012, Nanjing, China, October 2012/Ed. by  J.Yang, F.Fang, 
Ch.Sun.-Berlin: Springer, 2013.-Vol. 7751.-880 p.-(Lecture Notes 
in Computer Science).
 
 18. Information Hiding: Revised Selected Papers/14th 
International Conference, IH 2012, Berkley,CA,USA, May 2012/Ed. 
by  M.Kirchner, D.Ghosal.-Berlin: Springer, 2013.-Vol. 7692.-285 
p.-(Lecture Notes in Computer Science).
 
 19. Applications of Evolutionary Computation: Proc./16th 
European Conference, EvoApplications 2013, Vienna, Austria, April 
2013/Ed. by  A.I.Esparcia-Alcazar.-Berlin: Springer, 2013.-Vol. 
7835.-639 p.-(Lecture Notes in Computer Science).
 
 20. Evolutionary and Biologically Inspired Music, Sound, Art and 
Design: Proc./2nd International Conference, EvoMUSART 2013, 
Vienna, Austria, April 2013/Ed. by  P.Machado, J.Mcdermott, 
A.Carballal.-Berlin: Springer, 2013.-Vol. 7834.-193 p.-(Lecture 
Notes in Computer Science).
 
 21. Evolutionary Computation, Machine Learning and Data Mining 
in Bioinformatics: Proc./11th European Conference, EvoBIO 2013, 
Vienna, Austria, April 2013/Ed. by  L.Vanneschi, W.S.Bush, 
M.Giacobini.-Berlin: Springer, 2013.-Vol. 7833.-217 p.-(Lecture 
Notes in Computer Science).
 
 22. Data Privacy Management and Autonomous Spontaneous Security: 
Revised Selected Papers/7th International Workshop, DPM 2012, and 
5th International Workshop, SETOP 2012, Pisa, Italy, September 
2012/Ed. by  R.Di_Pietro, J.Herranz, E.Damiani, R.State.-Berlin: 
Springer, 2013.-Vol. 7731.-333 p.-(Lecture Notes in Computer 
Science).

 23. Semantics and Data and Knowledge Bases: Revised Selectes 
Papers/5th International Workshop SDKB 2011, Zurich, Switzerland, 
July 2011/Ed. by  K.-D.Schewe, B.Thalheim.-Berlin: Springer, 2013.
-Vol. 7693.-199 p.-(Lecture Notes in Computer Science).
 
 24. Database Systems for Advanced Applications, Part I: 
Proc./18th International Conference, DASFAA 2013, Wuhan, China, 
April 2013/Ed. by  W.Meng, L.Feng, S.Bressan, W.Winiwarter.-Berlin:
 Springer, 2013.-Vol. 7825.-489 p.-(Lecture Notes in Computer 
Science).
 
 25. Database Systems for Advanced Applications, Part II: 
Proc./18th International Conference, DASFAA 2013, Wuhan, China, 
April 2013/Ed. by  W.Meng, L.Feng, S.Bressan, W.Winiwarter.-Berlin:
 Springer, 2013.-Vol. 7826.-487 p.-(Lecture Notes in Computer 
Science).
 
 26. Artificial Intelligence and Soft Computing, Part I: 
Proc./12th International Conference, ICAISC 2013, Zakopane, 
Poland, June 2013/Ed. by  L.Rutkovski, M.Korytkowski, R.Scherer, 
R.Tadeusiewicz.-Berlin: Springer, 2013.-Vol. 7894.-637 p.
-(Lecture Notes in Artificial Intelligence).
 
 27. Artificial Intelligence and Soft Computing, Part II: 
Proc./12th International Conference, ICAISC 2013, Zakopane, 
Poland, June 2013/Ed. by  L.Rutkowski, M.Korytkowski, R.Scherer, 
R.Tadeusiewicz.-Berlin: Springer, 2013.-Vol. 7895.-625 p.
-(Lecture Notes in Artificial Intelligence).
 
 28. Advances on Practical Applications of Agents and Multi-Agent 
Systems: Proc./11th International Conference, PAAMS 2013, 
Salamanca, Spain, May 2013/Ed. by  Y.Demazeau, T.Ishida, 
J.M.Corchado, J.Bajo.-Berlin: Springer, 2013.-Vol. 7879.-330 p.
-(Lecture Notes in Artificial Intelligence).
 
 29. Advances in Artificial Intelligence: Proc./26th Canadian 
Conference on Artificial Intelligence, Canadian AI 2013, 
Regina,SK,Canada, May 2013/Ed. by  O.R.Zaiane, S.Zilles.-Berlin: 
Springer, 2013.-Vol. 7884.-372 p.-(Lecture Notes in Artificial 
Intelligence).
 
 30. Advances in Swarm Intelligence, Part I: Proc./4th 
International Conference, ICSI 2013, Harbin, China, June, 2013/
Ed. by  Y.Tan, Y.Shi, H.Mo.-Berlin: Springer, 2013.-Vol. 7928.
-576 p.-(Lecture Notes in Computer Science).
 
 31. Advances in Swarm Intelligence, Part II: Proc./4th 
International Conference, ICSI 2013, Harbin, China, June 2013/Ed. 
by  Y.Tan, Y.Shi, H.Mo.-Berlin: Springer, 2013.-Vol. 7929.-534 p.
-(Lecture Notes in Computer Science).
 
 32. Semantic Technology: Proc./2nd Joint International 
Conference, JIST 2012, Nara, Japan, December 2012/Ed. by  
H.Takeda, Y.Qu, R.Mizoguchi, Y.Kitamura.-Berlin: Springer, 2013.
-Vol. 7774.-390 p.-(Lecture Notes in Computer Science).
 
 33. Artificial Intelligence in Medicine: Proc./14th Conference 
on Artificial Intelligent in Medicine, AIME 2013, Murcia, Spain, 
May 2013/Ed. by  N.Peek, R.M.Morales, M.Peleg.-Berlin: Springer, 
2013.-Vol. 7885.-316 p.-(Lecture Notes in Artificial 
Intelligence).

 34. Graph-Based Representations in Pattern Recognition: 
Proc./9th IAPR-TC-15 International Workshop, GbRPR 2013, Vienna, 
Austria, May 2013/Ed. by  W.G.Kropatsch, N.M.Artner, Y.Haxhimusa, 
X.Jiang.-Berlin: Springer, 2013.-Vol. 7877.-255 p.-(Lecture Notes 
in Computer Science).
 
 35. The Semantic Web: Semantics and Big Data: Proc./10th 
International Conference. ESWC 2013, Montpellier, France, May 2013
/Ed. by  P.Cimiano, O.Corcho, V.Presutti, L.Hollink.-Berlin: 
Springer, 2013.-Vol. 7882.-728 p.-(Lecture Notes in Computer 
Science).
 
 36. Transactions on Large-Scale Data-and Knowledge-Centered 
Systems VIII/Ed. by  A.Hameurlain, J.Kung, R.Wagner.-Berlin: 
Springer, 2013.-Vol. 7790.-197 p.-(Lecture Notes in Computer 
Science).
 
 37. The Future Internet: Future Internet Assembly 2013: 
Validated Results and New Horizons/Ed. by  A.Galis, A.Gavras.
-Berlin: Springer, 2013.-Vol. 7858.-369 p.-(Lecture Notes in 
Computer Science).
 
 38. Communication Technologies for Vehicles: Proc./5th 
International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve 
d'Ascq, France, May 2013/Ed. by  M.Berbineau, M.Jonsson, 
J.-M.Bonnin, S.Cherkaoui.-Berlin: Springer, 2013.-Vol. 7865.-253 
p.-(Lecture Notes in Computer Science).
 
 39. Wired/Wireless Internet Communication: Proc./11th 
International Conference, WWIC 2013, St.Petersburg, Russia, June 
2013/Ed. by  V.Tsaoussidis, A.J.Kassler, Ye.Koucheryavy, A.Mellouk.
-Berlin: Springer, 2013.-Vol. 7889.-277 p.-(Lecture Notes in 
Computer Science).
 
 40. Advances in Cryptology - EUROCRYPT 2013: Proc./32nd Annual 
International Conference on the Theory and Applications of 
Cryptographic Techniques, Athens, Greece, May 2013/Ed. by  
T.Johansson, P.Q.Nguyen.-Berlin: Springer, 2013.-Vol. 7881.-736 p.
-(Lecture Notes in Computer Science).
 
 41. Information Security and Cryptology: Revised Selected 
Papers/8th International Conference, Inscrypt 2012, Beijing, 
China, November 2012/Ed. by  M.Kutylowski, M.Yung.-Berlin: 
Springer, 2013.-Vol. 7763.-393 p.-(Lecture Notes in Computer 
Science).
 
 42. Augmented Environments for Computer-Assisted Interventions: 
Revised Selected Papers/7th International Workshop, AE-CAI 2012 
Held in Conjunction with MICCAI 2012, Nice, France, October 2013/
Ed. by  C.A.Linte, E.C.S.Chen, M.-O.Berger, J.T.Moore.-Berlin: 
Springer, 2013.-Vol. 7815.-179 p.-(Lecture Notes in Computer 
Science).
 
 43. Information Security. Practice and Experience: Proc./9th 
International Conference, ISPEC 2013, Lanzhou, China, May 2013/
Ed. by  R.H.Deng, T.Feng.-Berlin: Springer, 2013.-Vol. 7863.-388 
p.-(Lecture Notes in Computer Science).
 
 44. Security and Trust Management: Revise Selected Papers/8th 
International Workshop, STM 2012, Pisa, Italy, September 2012/Ed. 
by  A.Josang, P.Samarati, M.Petrocchi.-Berlin: Springer, 2013.
-Vol. 7783.-321 p.-(Lecture Notes in Computer Science).

 45. Network and System Security: Proc./7th International 
Conference, NSS 2013, Madrid, Spain, June 2013/Ed. by  J.Lopez, 
X.Huang, R.Sandhu.-Berlin: Springer, 2013.-Vol. 7873.-793 p.
-(Lecture Notes in Computer Science).
 
 46. Hybrid Metaheuristics: Proc./8th International Workshop, HM 
2013, Ischia, Italy, May 2013/Ed. by  M.J.Blesa, Ch.Blum, 
P.Festa, A.Roli.-Berlin: Springer, 2013.-Vol. 7919.-213 p.
-(Lecture Notes in Computer Science).
 
 47. Information Security. Theory and Practice: Security of 
Mobile and Cyber-Physical Systems: Proc./7th IFIP WG 11.2 
International Workshop, WISTP 2013, Heraklion, Greece, May 2013/
Ed. by  L.Cavallaro, D.Gollmann.-Berlin: Springer, 2013.-Vol. 7886.
-145 p.-(Lecture Notes in Computer Science).
 
 48. Progress in Cryptology - AFRICACRYPT 2013: Proc./6th 
International Conference on Cryptology in Africa, Cairo, Egypt, 
June 2013/Ed. by  A.Youssef, A.Nitaj, A.E.Hassanien.-Berlin: 
Springer, 2013.-Vol. 7918.-453 p.-(Lecture Notes in Computer 
Science).
 
 49. Medical Content-Based Retrieval for Clinical Decision 
Support: Revised Selected Papers/3rd MICCAI International 
Workshop, MCBR-CDS 2012, Nice, France, October 2012/Ed. by  
H.Greenspan, H.Muller, T.Syeda-Mahmood.-Berlin: Springer, 2013.
-Vol. 7723.-145 p.-(Lecture Notes in Computer Science).
 
 50. Clinical Image-Based Procedures: From Planning to 
Intervention: Revised Selected Papers/ International Workshop, 
CLIP 2012 Held in Conjanctiob with MICCAI 2012, Nice, France, 
October 2012/Ed. by  K.Drechsler, M.Erdt, M.G.Linguraru.-Berlin: 
Springer, 2013.-Vol. 7761.-132 p.-(Lecture Notes in Computer 
Science).
 
 51. Medical Computer Vision: Recognition Techniques and 
Applications in Medical Imaging: Revised Selected Papers/2nd 
International MICCAI Workshop, MCV 2012, Nice, France, October 
2012/Ed. by  B.H.Menze, G.Langs, L.Lu, A.Montillo.-Berlin: 
Springer, 2013.-Vol. 7766.-294 p.-(Lecture Notes in Computer 
Science).
 
 52. Computational Color Imaging: Proc./4th International 
Workshop, CCIW 2013, Chiba, Japan, March 2013/Ed. by  S.Tominaga, 
R.Schettini, A.Tremeau.-Berlin: Springer, 2013.-Vol. 7786.-335 p.
-(Lecture Notes in Computer Science).
 
 53. Computer Vision - ACCV 2012 Workshops, Part I: Revised 
Selected Papers/ACCV 2012 International Workshops, Daejeon, 
Korea, November 2012/Ed. by  J.-I.Park, J.Kim.-Berlin: Springer, 
2013.-Vol. 7728.-335 p.-(Lecture Notes in Computer Science).
 
 54. Computer Vision - ACCV 2012 Workshops, Part II: Revised 
Selected Papers/ACCV 2012 International Workshops, Daejeon, 
Korea, November 2012/Ed. by  J.-I.Park, J.Kim.-Berlin: Springer, 
2013.-Vol. 7729.-609 p.-(Lecture Notes in Computer Science).
 
 55. Computer Vision - ACCV 2012, Part I: Revised Selected 
Papers/11th Asian Conference on CV, Daejeon, Korea, November 2012/
Ed. by  K.M.Lee, Y.Matsushita, J.M.Rehg, Z.Hu.-Berlin: Springer, 
2013.-Vol. 7724.-821 p.-(Lecture Notes in Computer Science).
 
 56. Computer Vision - ACCV 2012, Part II: Revised Selected 
Papers/11th Asian Conference on CV, Daejean, Korea, November 2012/
Ed. by  K.M.Lee, Y.Matsushita, J.M.Rehg, Z.Hu.-Berlin: Springer, 
2013.-Vol. 7725.-817 p.-(Lecture Notes in Computer Science).

 57. Computer Vision - ACCV 2012, Part III: Revised Selected 
Papers/11th Asian Conference on CV, Daejeon, Korea, November 2012/
Ed. by  K.M.Lee, Y.Mutsushita, J.M.Rehg, Z.Hu.-Berlin: Springer, 
2013.-Vol. 7726.-741 p.-(Lecture Notes in Computer Science).
 
 58. Computer Vision - ACCV 2012. Part IV: Revised Selected 
Papers/11th Asian Conference on CV, Daejeon, Korea, November 2012/
Ed. by  K.M.Lee, T.Matsushita, J.M.Rehg, Z.Hu.-Berlin: Springer, 
2013.-Vol. 7727.-661 p.-(Lecture Notes in Computer Science).
 
 59. Automated Deduction - CADE-24: Proc./24th International 
Conference on AD, Lake Placid,NY,USA, June 2012/Ed. by  
M.P.Bonacina.-Berlin: Springer, 2013.-Vol. 7898.-466 p.-(Lecture 
Notes in Artificial Intelligence).
 
 60. Service-Oriented Computing - ICSOC 2012 Workshops: Revised 
Selected Papers/ICSOC 2012 International Workshops ASC, DISA, 
PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, 
China, November 2012/Ed. by  A.Chose, H.Zhu, Q.Yu, A.Delis.-Berlin:
 Springer, 2013.-Vol. 7759.-466 p.-(Lecture Notes in Computer 
Science).
 
 61. Pattern Recognition and Image Analysis: Proc./6th Iberian 
Conference, IbPRIA 2013, Funchal, Madeira, Portugal, June 2013/
Ed. by  J.M.Sanches, L.Mico, J.S.Cardoso.-Berlin: Springer, 2013.
-Vol. 7887.-900 p.-(Lecture Notes in Computer Science).
 
 62. Natural and Artificial Models in Computation and Biology, 
Part I: Proc./5th International Work-Conference, IWINAC 2013, 
Mallorca, Spain, June 2013/Ed. by  J.M.F.Vicente, J.R.A.Sanchez, 
F.Lopez, F.J.T.Moreo.-Berlin: Springer, 2013.-Vol. 7930.-436 p.
-(Lecture Notes in Computer Science).
 
 63. Natural and Artificial Models in Computation and Biology, 
Part II: Proc./5th International Work-Conference, IWINAC 2013, 
Mallorca, Spain, June 2013/Ed. by  J.M.F.Vicente, J.R.A.Sanchez, 
F.Lopez, E.J.T.Moreo.-Berlin: Springer, 2013.-Vol. 7931.-474 p.
-(Lecture Notes in Computer Science).
 
 64. Multiple Classifier System: Proc./11th International 
Workshop, MCS 2013, Nanjing, China, May 2013/Ed. by  Z.-H.Zhou, 
F.Roli, J.Kittler.-Berlin: Springer, 2013.-Vol. 7872.-400 p.
-(Lecture Notes in Computer Science).
 
 65. Scale Space and Variational Methods in Computer Vision: 
Proc./4th International Conference, SSVM 2013, Schloss Swggau, 
Leibnitz, Austria, June 2013/Ed. by  A.Kuijper, K.Bredies, 
T.Pock, H.Bischof.-Berlin: Springer, 2013.-Vol. 7893.-514 p.
-(Lecture Notes in Computer Science).
 
 66. Bioinformatics Research and Applications: Proc./9th 
International Symposium, ISBRA 2013, Charlotte,NC,USA, May 2013/
Ed. by  Z.Cai, O.Eulenstein, D.Janies, D.Schwartz.-Berlin: 
Springer, 2013.-Vol. 7875.-312 p.-(Lecture Notes in 
Bioinformatics).
 
 67. Computational Intelligence Methods for Bioinformatics and 
Biostatistics: Revised Selected Papers/9th International Meeting, 
CIBB 2012, Houston,TX,USA, July 2012/Ed. by  L.E.Peterson, 
F.Masulli, G.Russo.-Berlin: Springer, 2013.-Vol. 7845.-185 p.
-(Lecture Notes in Bioinformatics).
 
 68. CMP Annual Report 2012/CMP;.-Grenoble, 2013.-90 p.

 69. Third Workshop "Program Semantics, Specification and 
Verification: Theory and Application": Proc./7th International 
Computer Science Symposium in Russia, Nizhni Novgorod, Russia, 
July 2012/Ed. by  V.Nepomniaschy, V.Sokolov.-Nizhni Novgorod, 2012.
-150 p.
 
 70. Fourth Workshop "Program Semantics, Specification and 
Verification: Theory and Applications": Proc./8th International 
Computer Science Symposium in Russia, Yekaterinburg, Russia, June 
1013/Ed. by  V.Nepomniaschy, V.Sokolov.-Yekaterinburg, 2013.-80 p.
 
 71. Бурдонов И.Б., Косачев А.С., Кулямин В.В. Теория 
соответствия для систем с блокировками и разрушениями.- М.: 
Физматлит, 2008.- 412 с.



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