03.09.2012

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

  1. Natural Language Processing and Information Systems: 
Proc./17th International Conference, NLDB 2012, Groningen, The 
Netherlands, June 2012/Ed. by  G.Bouma, A.Ittoo, E.Metais, 
H.Wortmann.-Berlin: Springer, 2012.-Vol. 7337.-398 p.-(Lecture 
Notes in Computer Science).
 
  2. Applied Cryptography and Network Security: Proc./10th 
International Conference, ACNS 2012, Singapore 2012/Ed. by  
F.Bao, P.Samarati, J.Zhou.-Berlin: Springer, 2012.-Vol. 7341.-580 
p.-(Lecture Notes in Computer Science).
 
  3. Image and Signal Processing: Proc./5th International 
Conference, ICISP 2012, Agadir, Morocco, June 2012/Ed. by  
A.Elmoataz, D.Mammass, O.Lezoray, F.Nouboud.-Berlin: Springer, 
2012.-Vol. 7340.-609 p.-(Lecture Notes in Computer Science).
 
  4. Image Analysis and Recognition, Part I: Proc./9th 
International Conference, ICIAR 2012, Aveiro, Portugal, June 2012/
Ed. by  A.Campilho, M.Kamel.-Berlin: Springer, 2012.-Vol. 7324.
-440 p.-(Lecture Notes in Computer Science).
 
  5. Image Analysis and Recognition, Part II: Proc./9th 
International Conference, ICIAR 2012, Aveiro, Portugal, June 2012/
Ed. by  A,Campilho, M.Kamel.-Berlin: Springer, 2012.-Vol. 7325.
-494 p.-(Lecture Notes in Computer Science).
 
  6. Scientific and Statistical Database Management: Proc./24th 
International Conference, SSDBM 2012, Chania, Crete, Greece, June 
2012/Ed. by  A.Ailamaki, S.Bowers.-Berlin: Springer, 2012.-Vol. 
7338.-654 p.-(Lecture Notes in Computer Science).
 
  7. Information Security and Privacy: Proc./17th Australasian 
Conference, ACISP 2012, Wollongong, NSW, Australia, June 2012/Ed. 
by  W.Susilo, Y.Mu, J.Seberry.-Berlin: Springer, 2012.-Vol. 7372.
-460 p.-(Lecture Notes in Computer Science).
 
  8. Computer Aided Verification: Proc./24th International 
Conference, CAV 2012, Berkeley,CA,USA, July 2012/Ed. by  
P.Madhusudan, S.A.Seshia.-Berlin: Springer, 2012.-Vol. 7358.-789 
p.-(Lecture Notes in Computer Science).
 
  9. Automated Reasoning: Proc./6th International Joint 
Conference, IJCAR 2012, Manchester, UK, June 2012/Ed. by  
B.Gramlich, D.Miller, U.Sattler.-Berlin: Springer, 2012.-Vol. 7364.
-568 p.-(Lecture Notes in Artificial Intelligence).
 
 10. Controlled Natural Language: Revised Papers/Second 
International Workshop, CNL 2010, Marettimo Island, Italy, 
September 2010/Ed. by  M.Rosner, N.E.Fuchs.-Berlin: Springer, 2012.
-Vol. 7175.-195 p.-(Lecture Notes in Artificial Intelligence).
 
 11. Diagrammatic Representation and Inference: Proc./7th 
International Conference, Diagrams 2012, Canterbury, UK, July 2012
/Ed. by  Ph.Cox, B.Plimmer, P.Rodgers.-Berlin: Springer, 2012.
-Vol. 7352.-358 p.-(Lecture Notes in Artificial Intelligence).
 
 12. Advanced Research in Applied Artificial Intelligence: 
Proc./25th International Conference, IEA/AIE 2012, Dalian, China, 
June 2012/Ed. by  H,Jiang, W.Ding, M.Ali, X.Wu.-Berlin: Springer, 
2012.-Vol. 7345.-850 p.-(Lecture Notes in Artificial 
Intelligence).
 
 13. Information Technologies in Biomedicine: Proc./3rd 
International Conference, ITIB 2012, Gliwice, Poland, June 2012/
Ed. by  E.Pietka, J.Kawa.-Berlin: Springer, 2012.-Vol. 7339.-630 
p.-(Lecture Notes in Bioinformatics).

 14. Pattern Recognition: Proc./4th Mexican Conference, MCPR 
2012, Huatulco, Mexico, June 2012/Ed. by  J.A.Carrasco-Jchoa, 
J.F.Martinez-Trinidad, J.A.O.Lopez, K.L.Boyer.-Berlin: Springer, 
2012.-Vol. 7329.-346 p.-(Lecture Notes in Computer Science).
 
 15. Intelligent Tutoring Systems: Proc./11th International 
Conference, ITS 2012, Chania, Crete, Greece, June 2012/Ed. by  
S.A.Cerri, W.J.Clancey, G.Papadourakis, K.Panourgia.-Berlin: 
Springer, 2012.-Vol. 7315.-726 p.-(Lecture Notes in Computer 
Science).
 
 16. Correct Reasoning: Essays on Logic-Based AI in Honor of 
Vladimir Lifschitz/Ed. by  E.Erdem, J.Lee, Yu.Lierler, D.Pearce.
-Berlin: Springer, 2012.-Vol. 7265.-594 p.-(Lecture Notes in 
Computer Science).
 
 17. Persuasive Technology. Design for Health and Safety: 
Proc./7th International Conference, PERSUASIVE 2012, Linkoping, 
Sweden, June 2012/Ed. by  M.Bang, E.L.Ragnemalm.-Berlin: Springer,
 2012.-Vol. 7284.-295 p.-(Lecture Notes in Computer Science).
 
 18. Impact Analysis of Solutions for Chronic Disease Provention 
and Management: Proc./10th International Conference, ICOST 2012, 
Artimino, Italy, June 2012/Ed. by  M.Donnelly, C.Paggetti, 
Ch.Nugent, M.Mokhtari.-Berlin: Springer, 2012.-Vol. 7251.-297 p.
-(Lecture Notes in Computer Science).
 
 19. Advances in Computational Intelligance: Plenary/Invited 
Lectures/ IEEE World Congress on Computational Intelligence, WCCI 
2012, Brisbane, Australia, June 2012/Ed. by  J.Liu, C.Alippi, 
B.Bouchon-Meunier, G.W.Greenwood.-Berlin: Springer, 2012.-Vol. 
7311.-290 p.-(Lecture Notes in Computer Science).
 
 20. Trust and Trustworthy Computing: Proc./5th International 
Conference, TRUST 2012, Vienna, Austria, June 2012/Ed. by  
S.Katzenbeisser, E.Weippl, L.J.Camp, M.Volkamer.-Berlin: Springer,
 2012.-Vol. 7344.-341 p.-(Lecture Notes in Computer Science).
 
 21. Information Security, Theory and Practice. Security, Privacy 
and Trust in Computing Systems and Ambient Intelligent 
Ecosystems: Proc./6th IFIP WG 11.2 International Workshop, WISTP 
2012, Egham, UK, June 2012/Ed. by  J.Askoxylakis, H.C.Pohls, 
J.Posegga.-Berlin: Springer, 2012.-Vol. 7322.-225 p.-(Lecture 
Notes in Computer Science).
 
 22. Product-Focused Software Process Improvement: Proc./13th 
International Conference, PROFES 2012, Madrid, Spain, June 2012/
Ed. by  O.Dieste, A.Jedlitschka, N.Juristo.-Berlin: Springer, 2012.
-Vol. 7343.-378 p.-(Lecture Notes in Computer Science).
 
 23. The Semantic Web: Proc./Joint International Semantic 
Technology Conference, JIST 2011, Hangzhou, China, December 2011/
Ed. by  J.Z.Pan, H.Chen, H.-G.Kim, J.Li.-Berlin: Springer, 2012.
-Vol. 7185.-436 p.-(Lecture Notes in Computer Science).
 
 24. Formal Techniques for Distributed Systems: Proc./Joint 14th 
IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP 
WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, 
June 2012/Ed. by  H.Giese, G.Rosu.-Berlin: Springer, 2012.-Vol. 
7273.-269 p.-(Lecture Notes in Computer Science).
 
 25. OpenMP in Heterogeneous World: Proc./8th International 
Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 2012/Ed. by  
B.M.Chapman, F.Massaioli, M.S.Muller, M.Rorro.-Berlin: Springer, 
2012.-Vol. 7312.-280 p.-(Lecture Notes in Computer Science).

 26. Dependable Networks and Services: Proc./6th IFIP WG 6.6 
International Conference, AIMS 2012, Luxembourg, Luxembourg, June 
2012/Ed. by  R.Sadre, J.Novotny, P.Celeda, M.Waldburger.-Berlin: 
Springer, 2012.-Vol. 7279.-161 p.-(Lecture Notes in Computer 
Science).
 
 27. Algorithms and Models for the Web Graph: Proc./9th 
International Workshop, WAW 2012, Halifax,NS,Canada, June 2012/
Ed. by  A,Bonato, J.Janssen.-Berlin: Springer, 2012.-Vol. 7323.
-179 p.-(Lecture Notes in Computer Science).
 
 28. Distributed Applications and Interoperable Systems: 
Proc./12th IFIP WG 6.1 International Conference, DAIS 2012, 
Stockholm, Sweden, June 2012/Ed. by  K.M.Goschka, S.Haridi.-Berlin:
 Springer, 2012.-Vol. 7272.-240 p.-(Lecture Notes in Computer 
Science).
 
 29. Formal Methods for Model-Driven Engineering: Advanced 
Lectures/12th International School, SFM 2012, Bertinoro, Italy, 
June 2012/Ed. by  M.Bernardo, V.Cortellessa, A.Pierantonio.-Berlin:
 Springer, 2012.-Vol. 7320.-439 p.-(Lecture Notes in Computer 
Science).
 
 30. How the World Computes: Proc./Turing Centenary Conference 
and 8th Conference on Computability in Europe, CiE 2012, 
Cambridge, UK, June 2012/Ed. by  S.B.Cooper, A.Dawar, B.Lowe.
-Berlin: Springer, 2012.-Vol. 7318.-756 p.-(Lecture Notes in 
Computer Science).
 
 31. The Multivariate Algorithmic Revolution and Beyond: Essays 
Dedicated to Michael R.Fellows on the Occasion of His 60th 
Birthday/Ed. by  H.L.Bodlaender, R.Downey, F.V.Fomin, D.Marx.
-Berlin: Springer, 2012.-Vol. 7370.-506 p.-(Lecture Notes in 
Computer Science).
 
 32. Software Service and Application Engineering: Essays 
Dedicated to Bernd Kramer on the Occasion of His 65th Birthday/
Ed. by  M.Heisel.-Berlin: Springer, 2012.-Vol. 7365.-181 p.
-(Lecture Notes in Computer Science).
 
 33. Abstract State Machines, Allow, B, VDM, and Z: Proc./3rd 
International Conference, ABZ 2012, Pisa, Italy, June 2012/Ed. by 
J.Derreck, J.Fitzgerald, S.Gnesi, S.Khurshid.-Berlin: Springer, 
2012.-Vol. 7316.-378 p.-(Lecture Notes in Computer Science).
 
 34. Integrated Formal Methods: Proc./9th International 
Conference, IFM 2012, Pisa, Italy, June 2012/Ed. by  J.Derrick, 
S.Gnesi, D.Latella, H.Treharne.-Berlin: Springer, 2012.-Vol. 7321.
-360 p.-(Lecture Notes in Computer Science).
 
 35. Coordination Models and Languages: 14th International 
Conference, COORDINATION 2012, Stockholm, Sweden, June 2012/Ed. 
by  M.Sirjani.-Berlin: Springer, 2012.-Vol. 7274.-277 p.-(Lecture 
Notes in Computer Science).
 
 36. Experimental Algorithms: Proc./11th International Symposium, 
SEA 2012, Bordeaux, France, June 2012/Ed. by  R.Klasing.-Berlin: 
Springer, 2012.-Vol. 7276.-406 p.-(Lecture Notes in Computer 
Science).
 
 37. ECOOP 2012 - Object-Oriented Programming: Proc./26th 
European Conference, Beijing, China, June 2012/Ed. by  J.Noble.
-Berlin: Springer, 2012.-Vol. 7313.-766 p.-(Lecture Notes in 
Computer Science).

 38. Computational Science and Its Applications - ICCSA 2012, 
Part I: Proc./12th International Conference, Salvador de Bahia, 
Brazil, June 2012/Ed. by  B.Murgante, O.Gervasi, S.Misra, N.Nedjah.
-Berlin: Springer, 2012.-Vol. 7333.-759 p.-(Lecture Notes in 
Computer Science).
 
 39. Computational Science and Its Applications - ICCSA 2012, 
Part II: Proc./12th International Conference, Salvador de Bahia, 
Brazil, June 2012/Ed. by  B.Murgante, O.Gervasi, S.Misra, N.Nedjah.
-Berlin: Springer, 2012.-Vol. 7334.-759 p.-(Lecture Notes in 
Computer Science).
 
 40. Computational Science and Its Applications - ICCSA 2012, 
Part III: Proc./12th International Conference, Salvador de Bahia, 
Brazil, June 2012/Ed. by  B.Murgante, O.Gervasi, S.Misra, N.Nedjah.
-Berlin: Springer, 2012.-Vol. 7335.-765 p.-(Lecture Notes in 
Computer Science).
 
 41. Computational Science and Its Applications - ICCSA 2012, 
Part IV: Proc./12th International Conference, Salvador de Bahia, 
Brazil, June 2012/Ed. by  B.Murgante, O.Gervasi, S.Misra, N.Nedjah.
-Berlin: Springer, 2012.-Vol. 7336.-661 p.-(Lecture Notes in 
Computer Science).
 
 42. Бакаев М.А. Разработка интеллектуальной системы для 
поддержки проектирования человеко-компьютерного взаимодействия в 
ВЕБ-приложениях: Автореф. дис... канд. тех. наук: 05.13.11.
-Новосибирск, 2012.-23 с.-Библиогр.: c.21-23.
 
 43. Approximation, Randomization, and Combinatorial 
Optimization. Algorithms and Techniques: Proc./15th Int WS, 
APPROX 2012, and 16th Int WS, RANDOM 2012, Cambridge, MA, USA, 
August 2012/Ed. by  A.Gupta, K.Jansen, J.Rolim, R.Servedio.-Berlin:
 Springer, 2012.-Vol. 7408.-674 p.-(Lecture Notes in Computer 
Science).
 
 44. Developments in Language Theory: Proc./16th International 
Conference, DLT 2012, Taipei, Taiwan, August 2012/Ed. by  
H.-C.Yen, O.H.Ibarra.-Berlin: Springer, 2012.-Vol. 7410.-478 p.
-(Lecture Notes in Computer Science).
 
 45. Formal Verification of Object-Oriented Software: Revised 
Selected Papers/ International Conference, FoVeOOS 2011, Turin, 
Italy, October 2011/Ed. by  B.Beckert, F.Domiani, D.Gurov.-Berlin:
 Springer, 2012.-Vol. 7421.-251 p.-(Lecture Notes in Computer 
Science).
 
 46. Algorithm Theory - SWAT 2012: Proc./13th Scandinavian 
Symposium and Workshops, Helsinki, Finland, July 2012/Ed. by  
F.V.Fomin, P.Kaski.-Berlin: Springer, 2012.-Vol. 7357.-410 p.
-(Lecture Notes in Computer Science).
 
 47. Mathematics of Program Construction: Proc./11th 
International Conference, MPC 2012, Madrid, Spain, June 2012/Ed. 
by  J.Gibbons, P.Nogueira.-Berlin: Springer, 2012.-Vol. 7342.-363 
p.-(Lecture Notes in Computer Science).
 
 48. Combinatorial Pattern Matching: Proc./23rd Annual Symposium, 
CMP 2012, Helsinki, Finland, July 2012/Ed. by  J.Karkkainen, 
J.Stoye.-Berlin: Springer, 2012.-Vol. 7354.-454 p.-(Lecture Notes 
in Computer Science).
 
 49. Multicore Software Engineering, Performance, and Tools: 
Proc./ International Conference, MSEPT 2012, Prague, Czech 
Republic, May/June 2012/Ed. by  V.Pankratius, M.Philippsen.-Berlin:
 Springer, 2012.-Vol. 7303.-95 p.-(Lecture Notes in Computer 
Science).
 
 50. Advanced Information Systems Engineering: Proc./24th 
International Conference, CAiSE 2012, Gdansk, Poland, June 2012/
Ed. by  J.Ralyte, X.Franch, S.Brinkkemper, S.Wrycza.-Berlin: 
Springer, 2012.-Vol. 7328.-704 p.-(Lecture Notes in Computer 
Science).
 
 51. Application and Theory of Petri Nets: Proc./33rd 
International Conference, PETRI NETS 2012, Hamburg, Germany, June 
2012/Ed. by  S.Haddad, L.Pomello.-Berlin: Springer, 2012.-Vol. 
7347.-419 p.-(Lecture Notes in Computer Science).
 
 52. Advances in Neural Networks - ISNN 2012, Part I: Proc./9th 
International Symposium on NN, Shenyang, China, July 2012/Ed. by  
J.Wang, G.G.Yen, M.M.Polycarpou.-Berlin: Springer, 2012.-Vol. 7367.
-683 p.-(Lecture Notes in Computer Science).
 
 53. Advances in Neural Networks - ISNN 2012, Part II: Proc./9th 
International Symposium on NN, Shenyang, China, July 2012/Ed. by  
J.Wang, G.G.Yen, M.M.Polycarpou.-Berlin: Springer, 2012.-Vol. 7368.
-669 p.-(Lecture Notes in Computer Science).



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