06.11.2012

Hовые поступления с 30 сентября по 5 ноября 2012 года

  1. Program Semantics, Specification and Verification: 
Theory and Applications: Proc./7th International Computer 
Science Symposium in Russia, Nizhni Novgorod, Russia, July 
2012/Ed. by  V.Nepomniaschy, V.Sokolov.-Nizhni Novgorod: 
Publ.House of the Nizhni Novgorod State University, 2012.
-149 p.
 
  2. Machine Learning and Knowledge Discovery in Databases, 
Part I: Proc./European Conference, ECML PKDD 2012, Bristol, 
UK, September 2012/Ed. by  P.A.Flach, T.D.Bie, N.Cristianini.
-Berlin: Springer, 2012.-Vol. 7523.-879 p.-(Lecture Notes in 
Artificial Intelligence).
 
  3. Machine Learning and Knowledge Discovery in Databases, 
Part II: Proc./European Conference, ECML PKDD 2012, Bristol, 
UK, September 2012/Ed. by  P.A.Flach, T.D.Bie, N.Cristianini.
-Berlin: Springer, 2012.-Vol. 7524.-867 p.-(Lecture Notes in 
Artificial Intelligence).
 
  4. On the Move to Meaningful Internet Systems: OTM 2012, 
Part I: Proc./ Confederated International Conference: 
CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 2012
/Ed. by  R.Meersman, H.Panetto, T.Dillon.-Berlin: Springer, 
2012.-Vol. 7565.-467 p.-(Lecture Notes in Computer Science).
 
  5. On the Move to Meaningful Internet Systems: OTM 2012, 
Part II: Proc./ Confederated International Conferences: 
CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 2012
/Ed. by  R.Meersman, H.Panetto, T.Dillon.-Berlin: Springer, 
2012.-Vol. 7566.-485 p.-(Lecture Notes in Computer Science).
 
  6. Artificial Neural Networks and Machine Learning - ICANN 
2012, Part I: Proc./22nd International Conference on ANN, 
Lausanne, Switzerland, September 2012/Ed. by  A.E.P.Villa, 
W.Duch, P.Erdi, F.Masulli.-Berlin: Springer, 2012.-Vol. 7552.
-739 p.-(Lecture Notes in Computer Science).
 
  7. Artificial Neural Networks and Machine Learning - ICANN 
2012, Part II: Proc./22nd International Conference on ANN, 
Lausanne, Switzerland, September 2012/Ed. by  A.E.P.Villa, 
W.Duch, P.Erdi, F.Masulli.-Berlin: Springer, 2012.-Vol. 7553.
-587 p.-(Lecture Notes in Computer Science).
 
  8. Programming Languages: Proc./16th Brazilian Symposium, 
SBLP 2012, Natal, Brazil, September 2012/Ed. by  
F.Heron_De_Carvalho_Junior, L.S.Barbosa.-Berlin: Springer, 
2012.-Vol. 7554.-165 p.-(Lecture Notes in Computer Science).
 
  9. Cryptographic Hardware and Embedded Systems - CHES 
2012: Proc./14th International Workshop, Leuven, Belgium, 
September 2012/Ed. by  E.Prouff, P.Schaumont.-Berlin: 
Springer, 2012.-Vol. 7428.-562 p.-(Lecture Notes in Computer 
Science).
 
 10. Electronic Participation: Proc./4th IFIP WG 8.5 
International Conference, ePart 2012, Kristiansand, Norway, 
September 2012/Ed. by  E.Tambouris, A.Macintosh, Q.Saebo.
-Berlin: Springer, 2012.-Vol. 7444.-171 p.-(Lecture Notes in 
Computer Science).
 
 11. Secure Data Management: Proc./9th VLDB Workshop, SDM 
2012, Istanbul, Turkey, August 2012/Ed. by  W.Jonker, 
M.Petkovic.-Berlin: Springer, 2012.-Vol. 7482.-177 p.
-(Lecture Notes in Computer Science).

 12. Algorithms - ESA 2012: Proc./20th Annual European 
Symposium, Ljubljana, Slovenia, September 2012/Ed. by  
L.Epstein, P.Ferragina.-Berlin: Springer, 2012.-Vol. 7501.
-839 p.-(Lecture Notes in Computer Science).
 
 13. Theoretical Computer Science: Proc./7th IFIP TC 1/WG 
2.2 International Conference, TCS 2012, Amsterdam, The 
Netherlands, September 2012/Ed. by  J.C.M.Baeten, T.Ball, 
F.S.De_Boer.-Berlin: Springer, 2012.-Vol. 7604.-389 p.
-(Lecture Notes in Computer Science).
 
 14. Theory and Practice of Digital Libraries: Proc./2nd 
International Conference, TPDL 2012, Paphos, Cyprus, 
September 2012/Ed. by  P.Zaphiris, G.Buchanan, E.Rasmussen, 
F.Loizides.-Berlin: Springer, 2012.-Vol. 7489.-500 p.
-(Lecture Notes in Computer Science).
 
 15. Coalgebraic Methods in Computer Science: Revised 
Selected Papers/11th International Workshop, CMCS 2012, 
Colocated with ETAPS 2012, Tallinn, Estonia, March 2012/Ed. 
by  D.Pattinson, L.Schroder.-Berlin: Springer, 2012.-Vol. 
7399.-259 p.-(Lecture Notes in Computer Science).
 
 16. Artificial Immune Systems: Proc./11th International 
Conference, ICARIS 2012, Taormina, Italy, August 2012/Ed. by 
C.A.C.Coello, J.Greensmith, N.Krasnogor, P.Lio.-Berlin: 
Springer, 2012.-Vol. 7597.-293 p.-(Lecture Notes in Computer 
Science).
 
 17. Unconventional Computation and Natural Computation: 
Proc./11th International Conference, UCNC 2012, Orleans, 
France, September 2012/Ed. by  J.Durand-Lose, N.Jonoska.
-Berlin: Springer, 2012.-Vol. 7445.-252 p.-(Lecture Notes in 
Computer Science).
 
 18. Static Analysis: Proc./19th International Symposium, 
SAS 2012, Deauville, France, September 2012/Ed. by  A.Mine, 
D.Schmidt.-Berlin: Springer, 2012.-Vol. 7460.-457 p.
-(Lecture Notes in Computer Science).
 
 19. On the Move to Meaningful Internet Systems: OTM 2012 
Workshops: Proc./Confederated Int.WSs: OTM Academy, Industry 
Case Studies Program, EI2N, INBUST, META4eS, OnToContent, 
ORM, SeDeS, SINCOM, and Somoco 2012, Rome, Italy, September 
2012/Ed. by  P.Herrero, H.Panetto.-Berlin: Springer, 2012.
-Vol. 7567.-687 p.-(Lecture Notes in Computer Science).
 
 20. Electronic Government: Proc./11th IFIP WG 8.5 
International Conference, EGOV 2012, Kristiansand, Norway, 
September 2012/Ed. by  H.J.Scholl, M.Janssen, M.A.Wimmer, 
C.E.Moe.-Berlin: Springer, 2012.-Vol. 7443.-279 p.-(Lecture 
Notes in Computer Science).
 
 21. Artificial Intelligence: Methodology, Systems, and 
Applications: Proc./15th International Conference, AIMSA 
2012, Varna, Bulgaria, September 2012/Ed. by  A.Ramsay, 
G.Agre.-Berlin: Springer, 2012.-Vol. 7557.-336 p.-(Lecture 
Notes in Artificial Intelligence).
 
 22. Logics in Artificial Intelligence: Proc./13th European 
Conference, JELIA 2012, Toulouse, France, September 2012/Ed. 
by  L.Farinas_Del_Cerro, A.Herzig, J.Mengin.-Berlin: Springer,
 2012.-Vol. 7519.-498 p.-(Lecture Notes in Artificial 
Intelligence).

 23. Algorithms in Bioinformatics: Proc./12th International 
Workshop, WABI 2012, Ljubljana, Slovenia, September 2012/Ed. 
by  B.Raphael, J.Tang.-Berlin: Springer, 2012.-Vol. 7534.
-454 p.-(Lecture Notes in Bioinformatics).
 
 24. Euro-Par 2012 Parallel Processing: Proc./18th 
International Conference, Euro-Par 2012, Rhodes Island, 
Greece, August 2012/Ed. by  Ch.Kaklamanis, Th.Papatheodorou, 
P.G.Spirakis.-Berlin: Springer, 2012.-Vol. 7484.-960 p.
-(Lecture Notes in Computer Science).
 
 25. Swarm Intelligence: Proc./8th International Conference, 
ANTS 2012, Brussels, Belgium, September 2012/Ed. by  
M.Dorigo, M.Birattari, Ch.Blum, A.L.Christensen.-Berlin: 
Springer, 2012.-Vol. 7461.-356 p.-(Lecture Notes in Computer 
Science).
 
 26. Serious Games Development and Applications: Proc./3rd 
International Conference, SGDA 2012, Bremen. Germany, 
September 2012/Ed. by  M.Ma, M.F.Oliveira, J.B.Hauge, H.Duin.
-Berlin: Springer, 2012.-Vol. 7528.-269 p.-(Lecture Notes in 
Computer Science).
 
 27. Parameterized and Exact Computation: Proc./7th 
International Symposium, IPEC 2012, Ljubljana, Slovenia, 
September 2012/Ed. by  D.M.Thilikos, G.J.Woeginger.-Berlin: 
Springer, 2012.-Vol. 7535.-275 p.-(Lecture Notes in Computer 
Science).
 
 28. Stabilization, Safety, and Security of Distributed 
Systems: Proc./14th International Symposium, SSS 2012, 
Toronto, Canada, October 2012/Ed. by  A.W.Richa, 
Ch.Scheideler.-Berlin: Springer, 2012.-Vol. 7596.-330 p.
-(Lecture Notes in Computer Science).
 
 29. Relational and Algebraic Methods in Computer Science: 
Proc./13th International Conference, RAMiCS 2012, Cambridge, 
UK, September 2012/Ed. by  W.Kahl, T.G.Griffin.-Berlin: 
Springer, 2012.-Vol. 7560.-357 p.-(Lecture Notes in Computer 
Science).
 
 30. Recent Advances in the Massage Passing Interface: 
Proc./19th European MPI User's Group Meeting, EuroMPI 2012, 
Vienna, Austria, September 2012/Ed. by  J.L.Traff, 
S.Benkner, J.Dongarra.-Berlin: Springer, 2012.-Vol. 7490.
-302 p.-(Lecture Notes in Computer Science).
 
 31. Multimodal Brain Image Analysis: Proc./2nd 
International Workshop, MBIA 2012 Held in Conjunction with 
MICCAI 2012, Nice, France, October 2012/Ed. by  P.-Th.Yap, 
T.Liu, D.Shen, C.-F.Westin.-Berlin: Springer, 2012.-Vol. 7509.
-226 p.-(Lecture Notes in Computer Science).
 
 32. Formal Modeling and Analysis of Timed Systems: 
Proc./10th International Conference, FORMATS 2012, London, 
UK, September 2012/Ed. by  M.Jurdzinski, D.Nickovic.-Berlin: 
Springer, 2012.-Vol. 7595.-267 p.-(Lecture Notes in Computer 
Science).
 
 33. Computational Intelligence for Multimedia 
Understanding: Revised Selected Papers/ International 
Workshop, MUSCLE 2011, Pisa, Italy, December 2011/Ed. by  
E.Salerno, A.E.Cetin, O.Salvetti.-Berlin: Springer, 2012.
-Vol. 7252.-235 p.-(Lecture Notes in Computer Science).

 34. Service-Oriented and Cloud Computing: Proc./1st 
European Conference, ESOCC 2012, Bertinoro, Italy, September 
2012/Ed. by  F.De_Paoli, E.Pimentel, G.Zavattaro.-Berlin: 
Springer, 2012.-Vol. 7592.-282 p.-(Lecture Notes in Computer 
Science).
 
 35. Model Driven Engineering Languages and Systems: 
Proc./15th International Conference, MODELS 2012, Innsbruk, 
Austria, September 2012/Ed. by  R.B.France, J.Kazmeier, 
R.Breu, C.Atkinson.-Berlin: Springer, 2012.-Vol. 7590.-828 p.
-(Lecture Notes in Computer Science).
 
 36. Software Engineering for Resilient Systems: Proc./4th 
International Workshop, SERENE 2012, Pisa, Italy, September 
2012/Ed. by  P.Avgeriou.-Berlin: Springer, 2012.-Vol. 7527.
-181 p.-(Lecture Notes in Computer Science).
 
 37. Formal Methods: Foundations and Applications: 
Proc./15th Brazilian Symposium, SBMF 2012, Natal, Brazil, 
September 2012/Ed. by  R.Gheyi, D.Naumann.-Berlin: Springer, 
2012.-Vol. 7498.-227 p.-(Lecture Notes in Computer Science).
 
 38. Theoretical Aspects of Computing - ICTAC 2012: 
Proc./9th International Colloquium, Bangalore, India, 
September 2012/Ed. by  A.Roychoudhury, M.D'Souza.-Berlin: 
Springer, 2012.-Vol. 7521.-259 p.-(Lecture Notes in Computer 
Science).
 
 39. 21st Century Learning for 21st Century Skills: 
Proc./7th European Conference, EC-TEL 2012, Saarbrucken, 
Dermany, September 2012/Ed. by  A.Ravenscroft, S.Lindstaedt, 
C.D.Kloos, D.Hernandez-Leo.-Berlin: Springer, 2012.-Vol. 7563.
-553 p.-(Lecture Notes in Computer Science).
 
 40. Computer Information Systems and Industrial Management: 
Proc./11th IFIP TC 8 International Conference, CISIM 2012, 
Venice, Italy, September 2012/Ed. by  A.Cortesi, N.Chaki, 
K.Saeed, S.Wierzchon.-Berlin: Springer, 2012.-Vol. 7564.-444 
p.-(Lecture Notes in Computer Science).
 
 41. Graph Transformations: Proc./6th International 
Conference, ICGT 2012, Bremen, Germany, September 2012/Ed. 
by  H.Ehrig, G.Engels, H.-J.Kreowski, G.Rozenberg.-Berlin: 
Springer, 2012.-Vol. 7562.-427 p.-(Lecture Notes in Computer 
Science).
 
 42. Advances in Visual Computing, Part I: Revised Selected 
Papers/8th International Symposium, ISVC 2012, Rethymnon, 
Crete, Greece, July 2012/Ed. by  G.Bebis.-Berlin: Springer, 
2012.-Vol. 7431.-733 p.-(Lecture Notes in Computer Science).
 
 43. Advances in Visual Computing, Part II: Revised Selected 
Papers/8th International Symposium, ISVC 2012, Rethymnon, 
Crete, Greece, July 2012/Ed. by  G.Bebis.-Berlin: Springer, 
2012.-Vol. 7432.-771 p.-(Lecture Notes in Computer Science).
 
 44. Advanced Concepts for Intelligent Vision Systems: 
Proc./14th International Conference, ACIVS 2012, Brno, Czech 
Republic, September 2012/Ed. by  J.Blanc-Talon, W.Philips, 
D.Popescu, P.Scheunders.-Berlin: Springer, 2012.-Vol. 7517.
-540 p.-(Lecture Notes in Computer Science).

 45. Computer Security - ESORICS 2012: Proc./17th European 
Symposium on Research in Computer Security, Pisa, Italy, 
September 2012/Ed. by  S.Foresti, M.Yung, F.Martinelli.
-Berlin: Springer, 2012.-Vol. 7459.-896 p.-(Lecture Notes in 
Computer Science).
 
 46. Theory and Practice of Natural Computing: Proc./First 
International Conference, TPNC 2012, Tarragona, Spain, 
October 2012/Ed. by  A.-H.Dediu, C.Martin-Vide, B.Truthe.
-Berlin: Springer, 2012.-Vol. 7505.-227 p.-(Lecture Notes in 
Computer Science).
 
 47. Abdominal Imaging. Computational and Clinical 
Applications: Proc./4th International Workshop Held in 
Conjunction with MICCAI 2012, Nice, France, October 2012/Ed. 
by  H.Yoshida, D.Hawkes, M.W.Vannier.-Berlin: Springer, 2012.
-Vol. 7601.-304 p.-(Lecture Notes in Computer Science).
 
 48. Information and Communication Technologies: Proc./18th 
EUNICE/IFIP WG 6.2, 6.6 International Conference, EUNICE 
2012, Budapest, Hungary, August 2012/Ed. by  R.Szabo, 
A.Vidacs.-Berlin: Springer, 2012.-Vol. 7479.-450 p.-(Lecture 
Notes in Computer Science).
 
 49. KI 2012: Advances in Artificial Intelligence: 
Proc./35th Annual German Conference on AI, Saarbrucken, 
Germany, September 2012/Ed. by  B.Glimm, A.Kruger.-Berlin: 
Springer, 2012.-Vol. 7526.-267 p.-(Lecture Notes in 
Artificial Intelligence).
 
 50. New Frontiers in Artificial Intelligence: Revised 
Selected Papers/JSAI-isAI 2011 Workshops, LENLS, JURISIN, 
ALSIP, MiMI, Takamatsu, Japan, December 2011/Ed. by  
M.Okumura, D.Bekki, K.Satoh.-Berlin: Springer, 2012.-Vol. 
7258.-291 p.-(Lecture Notes in Artificial Intelligence).
 
 51. Intelligent Virtual Agents: Proc./12th International 
Conference, IVA 2012, Santa Cruz, USA, September 2012/Ed. by 
Y.Nakano, M.Neff, A.Paiva, M.Walker.-Berlin: Springer, 2012.
-Vol. 7502.-529 p.-(Lecture Notes in Artificial 
Intelligence).
 
 52. Intelligent Robotics and Applications. Part I: 
Proc./5th International Conference, ICIRA 2012, Montreal, 
QC, Canada, October 2012/Ed. by  Ch.-Y.Su, S.Rakheja, H.Liu.
-Berlin: Springer, 2012.-Vol. 7506.-723 p.-(Lecture Notes in 
Artificial Intelligence).
 
 53. Intelligent Robotics and Applications. Part II: 
Proc./5th International Conference, ICIRA 2012, Montreal, 
QC, Canada, October 2012/Ed. by  Ch.-Y.Su, S.Rakheja, H.Liu.
-Berlin: Springer, 2012.-Vol. 7507.-715 p.-(Lecture Notes in 
Artificial Intelligence).
 
 54. Intelligent Robotics and Applications. Part III: 
Proc./5th International Conference, ICIRA 2012, Montreal, 
QC, Canada, October 2012/Ed. by  Ch.-Y.Su, S.Rakheja, H.Liu.
-Berlin: Springer, 2012.-Vol. 7508.-625 p.-(Lecture Notes in 
Artificial Intelligence).
 
 55. Artificial Neural Networks in Pattern Recognition: 
Proc./5th INNS IAPR TC 3 GIRPR Workshop, ANNPR 2012, Trento, 
Italy, September 2012/Ed. by  N.Mana, F.Schwenker, E.Trentin.
-Berlin: Springer, 2012.-Vol. 7477.-245 p.-(Lecture Notes in 
Artificial Intelligence).

 56. Scalable Uncertainty Management: Proc./6th 
International Conference, SUM 2012, Marburg, Germany, 
September 2012/Ed. by  E.Hullermeier, S.Link, T.Fober, 
B.Seeger.-Berlin: Springer, 2012.-Vol. 7520.-648 p.-(Lecture 
Notes in Artificial Intelligence).
 
 57. Text,Speech and Dialogue: Proc./15th International 
Conference, TSD 2012, Brno, Czech Republic, September 2012/
Ed. by  P.Sojka, A.Horak, I.Kopecek, K.Pala.-Berlin: Springer,
 2012.-Vol. 7499.-700 p.-(Lecture Notes in Artificial 
Intelligence).
 
 58. Spatial Cognition VIII: Proc./International Conference, 
Spatial Cognition 2012, Kloster Seeon, Germany, 
August/September 2012/Ed. by  C.Stachniss, K.Schill, D.Uttal.
-Berlin: Springer, 2012.-Vol. 7463.-494 p.-(Lecture Notes in 
Artificial Intelligence).
 
 59. Computational Logic in Multi-Agent Systems: Proc./13th 
International Workshop, CLIMA XIII, Montpellier, France, 
August 2012/Ed. by  M.Fisher, L.Van_Der_Torre, M.Dastani, 
G.Governatori.-Berlin: Springer, 2012.-Vol. 7486.-213 p.
-(Lecture Notes in Artificial Intelligence).
 
 60. Entertainment Computing - ICEC 2012: Proc./11th 
International Conference, ICEC 2012, Bremen, Germany, 
September 2012/Ed. by  M.Herrlich, R.Malaka, M.Masuch.-Berlin:
 Springer, 2012.-Vol. 7522.-611 p.-(Lecture Notes in 
Computer Science).
 
 61. Alan Turing Centenary: Proc./The Turing Conference, 
Turing 100, Manchester, UK, June 2012/Ed. by  A.Voronkov.
-Manchester: EasyChair, 2012.-435 p.
 
 62. Дима Фон-Дер-Флаас/Отв. ред.-сост. Е.В.Константинова. .
- Новосибирск: Академическое издательство "Гео", 2012.- 275 
с.



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