18.12.2012

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

  1. Information Computing and Applications: Proc./3rd 
International Conference, ICICA 2012, Chengde, China, September 
2012/Ed. by  B.Liu, M.Ma, J.Chang.-Berlin: Springer, 2012.-Vol. 
7473.-782 p.-(Lecture Notes in Computer Science).
 
  2. Computational Visual Media: Proc./1st International 
Conference, CVM 2012, Beijing, China, November 2012/Ed. by  
S.-M.Hu, R.R.Martin.-Berlin: Springer, 2012.-Vol. 7633.-268 p.
-(Lecture Notes in Computer Science).
 
  3. Business Process Management: Proc./10th International 
Conference, BPM 2012, Tallinn, Estonia, September 2012/Ed. by  
A.Barros, A.Gal, E.Kindler.-Berlin: Springer, 2012.-Vol. 7481.
-354 p.-(Lecture Notes in Computer Science).
 
  4. Research in Attacks, Intrusions, and Defenses: Proc./15th 
International Symposium, RAID 2012, Amsterdam. The Netherlands, 
September 2012/Ed. by  D.Balzarotti, S.J.Stolfo, M.Cova.-Berlin: 
Springer, 2012.-Vol. 7462.-400 p.-(Lecture Notes in Computer 
Science).
 
  5. Computer Vision and Graphics: Proc./International 
Conference, ICCVG 2012, Warsaw, Poland, September 2012/Ed. by  
L.Bolc, R.Tadeusiewicz, L.J.Chmielewski, K.Wojciechowski.-Berlin: 
Springer, 2012.-Vol. 7594.-755 p.-(Lecture Notes in Computer 
Science).
 
  6. Progress in Cryptology - LATINCRYPT 2012: Proc./2nd 
International Conference on Cryptology and Information Security 
in Latin America, Santiago, Chile, October 2012/Ed. by  A.Hevia, 
G.Neven.-Berlin: Springer, 2012.-Vol. 7533.-323 p.-(Lecture Notes 
in Computer Science).
 
  7. Security and Cryptography for Networks: Proc./8th 
International Conference, SCN 2012, Amalfi, Italy, September 2012/
Ed. by  I.Visconti, R.De_Prisco.-Berlin: Springer, 2012.-Vol. 7485.
-582 p.-(Lecture Notes in Computer Science).
 
  8. Privacy in Statistical Databases: Proc./UNESCO Chair in Data 
Privacy International Conference, PSD 2012, Palermo, Italy, 
September 2012/Ed. by  J.Domingo-Ferrer, I.Tinnirello.-Berlin: 
Springer, 2012.-Vol. 7556.-365 p.-(Lecture Notes in Computer 
Science).
 
  9. Information Security: Proc./15th International Conference, 
ISC 2012, Passau, Germany, September 2012/Ed. by  D.Gollmann, 
F.C.Freiling.-Berlin: Springer, 2012.-Vol. 7483.-402 p.-(Lecture 
Notes in Computer Science).
 
 10. Provable Security: Proc./6th International Conference, 
ProvSec 2012, Chengdu, China, September 2012/Ed. by  T.Takagi, 
G.Wang, Zh.Qin, Sh.Jiang.-Berlin: Springer, 2012.-Vol. 7496.-337 
p.-(Lecture Notes in Computer Science).
 
 11. Algorithmic Learning Theory: Proc./23rd International 
Conference, ALT 2012, Lyon, France, October 2012/Ed. by  
N.H.Bshouty, G.Stoltz, N.Vayatis, Th.Zeugmann.-Berlin: Springer, 
2012.-Vol. 7568.-381 p.-(Lecture Notes in Artificial 
Intelligence).
 
 12. Нариньяни Н.П. Между прошлым и будущим.- М.: Московский 
рабочий, 2001.- 263 с.

 13. Mesh Processing in Medical Image Analysis: Proc./MICCAI 2012 
International Workshop, MeshMed 2012, Nice, France, October 2012/
Ed. by  J.A.Levine, R.R.Paulsen, Y.Zhang.-Berlin: Springer, 2012.
-Vol. 7599.-169 p.-(Lecture Notes in Computer Science).
 
 14. E-Learning and Games for Training, Education, Health and 
Sports: Proc./7th International Conference, Edutainment 2012 and 
3rd International Conference, GameDays 2012, Darmstadt, Germany, 
September 2012/Ed. by  S.Gobel, W.Muller, B.Urban, J.Wiemeyer.
-Berlin: Springer, 2012.-Vol. 7516.-194 p.-(Lecture Notes in 
Computer Science).
 
 15. Reachability Problems: Proc./6th International Workshop, RP 
2012, Bordeaux, France, September 2012/Ed. by  A.Finkel, 
J.Leroux, I.Potapov.-Berlin: Springer, 2012.-Vol. 7550.-149 p.
-(Lecture Notes in Computer Science).
 
 16. Information Access Evaluation. Multilinguality, 
Multimodality, and Visual Analytics: Proc./3rd International 
Conference of the CLEF Initiative, CLEF 2012, Rome, Italy, 
September 2012/Ed. by  T.Catarci, P.Forner, D.Hiemstra, A.Penas.
-Berlin: Springer, 2012.-Vol. 7488.-145 p.-(Lecture Notes in 
Computer Science).
 
 17. Spatio-temporal Image Analysis for Longitudinal and 
Time-Series Image Data: Proc./2nd International Workshop, STIA 
2012 Held in Conjunction with MICCAI 2012, Nice, France, October 
2012/Ed. by  S.Durrieman, T.Fletcher, G.Gerig, M.Niethammer.
-Berlin: Springer, 2012.-Vol. 7570.-163 p.-(Lecture Notes in 
Computer Science).
 
 18. Augmented Environments for Computer-Assisted Interventions: 
Revised Selected Papers/6th International Workshop, AE-CAI 2011 
Held in Conjuction with MICCAI 2011, Toronto, ON, Canada, 
September 2011/Ed. by  C.A.Linte, J.T.Moore, E.C.S.Chen, 
D.R.Holmes_Iii.-Berlin: Springer, 2012.-Vol. 7264.-139 p.
-(Lecture Notes in Computer Science).
 
 19. Progress in Pattern Recognition, Image Analysis, Computer 
Vision, and Application: Proc./17th Iberoamerican Congress, CIARP 
2012, Buenos Aires, Argentina, September 2012/Ed. by  L.Alvarez, 
M.Mejail, L.Gomez, J.Jacobo.-Berlin: Springer, 2012.-Vol. 7441.
-896 p.-(Lecture Notes in Computer Science).
 
 20. Datalog in Academia and Industry: Proc./2nd International 
Workshop, Datalog 2.0, Vienna, Austria, September 2012/Ed. by  
P.Barcelo, R.Pichler.-Berlin: Springer, 2012.-Vol. 7494.-191 p.
-(Lecture Notes in Computer Science).
 
 21. Search Based Software Engineering: Proc./4th International 
Symposium, SSBSE 2012, Riva del Garda, Italy, September 2012/Ed. 
by  G.Fraser, J.Teixeira_De_Souza.-Berlin: Springer, 2012.-Vol. 
7515.-293 p.-(Lecture Notes in Computer Science).
 
 22. Pattern Recognition: Proc./Joint 34th DAGM and 36th OAGM 
Symposium, Graz, Austria, August 2012/Ed. by  A.Pinz, Th.Pock, 
H.Bischof, F.Leberl.-Berlin: Springer, 2012.-Vol. 7476.-510 p.
-(Lecture Notes in Computer Science).
 
 23. Automated Technology for Verification and Analysis: 
Proc./10th International Symposium, ATVA 2012, 
Thiruvananthapuram, India, October 2012/Ed. by  S.Chakraborty, 
M.Mukund.-Berlin: Springer, 2012.-Vol. 7561.-436 p.-(Lecture 
Notes in Computer Science).
 
 24. Computational Logistics: Proc./3rd International Conference, 
ICCL 2012, Shanghai, China, September 2012/Ed. by  H.Hu, X.Shi, 
R.Stahlbock, S.Voss.-Berlin: Springer, 2012.-Vol. 7555.-217 p.
-(Lecture Notes in Computer Science).
 
 25. Collaboration and Technology: Proc./18th International 
Conference, CRIWG 2012, Raesfeld, Germany, September 2012/Ed. by  
V.Harskovic, H.U.Hoppe, M.Jansen, J.Ziegler.-Berlin: Springer, 
2012.-Vol. 7493.-237 p.-(Lecture Notes in Computer Science).
 
 26. Web Reasoning and Rule Systems: Proc./6th International 
Conference, RR 2012, Vienna, Austria, September 2012/Ed. by  
M.Krotzsch, U.Straccia.-Berlin: Springer, 2012.-Vol. 7497.-298 p.
-(Lecture Notes in Computer Science).
 
 27. Lerge-Scale Complex IT Systems. Development, Operation, and 
Management: Revised Selected Papers/17th Monterey Workshop 2012, 
Oxford, UK, March 2012/Ed. by  R.Calinescu, D.Garlan.-Berlin: 
Springer, 2012.-Vol. 7539.-417 p.-(Lecture Notes in Computer 
Science).
 
 28. Advances in Conceptual Modeling: Proc./ER 2012 Workshops: 
CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, 
Italy, October 2012/Ed. by  S.Castano, P.Vassiliadis, 
L.V.S.Lakshmanan, M.L.Li.-Berlin: Springer, 2012.-Vol. 7518.-406 
p.-(Lecture Notes in Computer Science).
 
 29. Human Behavior Understanding: Proc./3rd International 
Workshop, HBU 2012, Vilamoura, Portugal, October 2012/Ed. by  
A.A.Salah, J.Ruiz_Del_Solar, C.Mericli, P.-Y.Oudeyer.-Berlin: 
Springer, 2012.-Vol. 7559.-175 p.-(Lecture Notes in Computer 
Science).
 
 30. Distributed Computing: Proc./26th International Symposium, 
DISC 2012, Salvador, Brazil, October 2012/Ed. by  M.K.Aguilera.
-Berlin: Springer, 2012.-Vol. 7611.-450 p.-(Lecture Notes in 
Computer Science).
 
 31. Medical Image Computing and Computer-Assisted Intervention - 
MICCAI 2012, Part I: Proc./15th International Comference, Nice, 
France, October 2012/Ed. by  N.Ayache, H.Delingette, P.Golland, 
K.Mori.-Berlin: Springer, 2012.-Vol. 7510.-759 p.-(Lecture Notes 
in Computer Science).
 
 32. Medical Image Computing and Computer-Assisted Intervention - 
MICCAI 2012, Part II: Proc./15th International Conference, Nice, 
France, October 2012/Ed. by  N.Ayache, H.Delingette, P.Golland, 
K.Mori.-Berlin: Springer, 2012.-Vol. 7511.-685 p.-(Lecture Notes 
in Computer Science).
 
 33. Medical Image Computing and Computer Assisted Intervention - 
MICCAI 2012, Part III: Proc./ 15th International Conference, 
Nice, France, October 2012/Ed. by  N.Ayache, H.Delingette, 
P.Golland, K.Mori.-Berlin: Springer, 2012.-Vol. 7512.-657 p.
-(Lecture Notes in Computer Science).
 
 34. Secure IT Systems: Proc./17th Nordic Conference, NordSec 
2012, Karlskrona, Sweden, October 2012/Ed. by  A.Josang, 
B.Carlsson.-Berlin: Springer, 2012.-Vol. 7617.-247 p.-(Lecture 
Notes in Computer Science).
 
 35. Leveraging Applications of Formal Mathods, Verification and 
Validation. Technologies for Mastering Change, Part I: Proc./5th 
International Symposium, ISoLA 2012, Heraclion, Greece, October 
2012/Ed. by  T.Margaria, B.Steffen.-Berlin: Springer, 2012.-Vol. 
7609.-617 p.-(Lecture Notes in Computer Science).

 36. Leveraging Applications of Formal Methods, Verification and 
Validation. Applications and Case Studies, Part II: Proc./5th 
International Symposium, ISoLA 2012, Heraclion, Greese, October 
2012/Ed. by  T.Margaria, B.Steffen.-Berlin: Springer, 2012.-Vol. 
7610.-361 p.-(Lecture Notes in Computer Science).
 
 37. Web-Age Information Management: Proc./WAIM 2012 
International Workshops: GDMM, IWSN, MDSP, USDM, and XMLDM, 
Harbin, China, August 2012/Ed. by  Z.Bao, Y.Gao, Y.Gu, L.Guo.
-Berlin: Springer, 2012.-Vol. 7419.-362 p.-(Lecture Notes in 
Computer Science).
 
 38. Transactions on Computational Collective Intelligence VIII/
Ed. by  N.T.Nguyen.-Berlin: Springer, 2012.-Vol. 7430.-229 p.
-(Lecture Notes in Computer Science).
 
 39. Knowledge Engineering and Knowledge Management: Proc./18th 
Iternational Conference, EKAW 2012, Galway City, Ireland, October 
2012/Ed. by  A.Ten_Teije, J.Volker, S.Handschuh, H.Stuckenschmidt.
-Berlin: Springer, 2012.-Vol. 7603.-452 p.-(Lecture Notes in 
Artificial Intelligence).
 
 40. Discovery Science: Proc./15th International Conference, DS 
2012, Lyon, France, October 2012/Ed. by  J.-G.Ganascia, P.Lenca, 
J.-M.Petit.-Berlin: Springer, 2012.-Vol. 7569.-329 p.-(Lecture 
Notes in Artificial Intelligence).
 
 41. Security, Privacy, and Applied Cryptography Engineering: 
Proc./2nd International Conference, SPACE 2012, Chennai, India, 
November 2012/Ed. by  A.Bogdanov, S.Sanadhya.-Berlin: Springer, 
2012.-Vol. 7644.-173 p.-(Lecture Notes in Computer Science).
 
 42. Advances in Intelligent Data Analysis XI: Proc./11th 
International Symposium, IDA 2012, Helsinki, Finland, October 2012
/Ed. by  J.Hollmen, F.Klawonn, A.Tucker.-Berlin: Springer, 2012.
-Vol. 7619.-426 p.-(Lecture Notes in Computer Science).
 
 43. Human-Centered Software Engineering: Proc./4th International 
Conference, HCSE 2012, Toulouse, France, October 2012/Ed. by  
M.Winckler, P.Forbrig, R.Bernhaupt.-Berlin: Springer, 2012.-Vol. 
7623.-370 p.-(Lecture Notes in Computer Science).
 
 44. Applications of Graph Transformations with Industrial 
Relevance: Revised Selected and Invited Papers/4th International 
Symposium, AGTIVE 2011, Budapest, Hungary, October 2011/Ed. by  
A,Schurr, D.Varro, G.Varro.-Berlin: Springer, 2012.-Vol. 7233.
-255 p.-(Lecture Notes in Computer Science).
 
 45. Graph-Theoretic Concepts in Computer Science: Revised 
Selected Papers/38th International Workshop, WG 2012, Jerusalem, 
Israel, June, 2012/Ed. by  M.Ch.Golumbic, M.Stern, A.Levy, 
G.Morgenstern.-Berlin: Springer, 2012.-Vol. 7551.-346 p.-(Lecture 
Notes in Computer Science).
 
 46. Decision and Game Theory for Security: Proc./3rd 
International Conference, GameSec 2012, Budapest, Hungary, 
November 2012/Ed. by  J.Grossklags, J.Walrand.-Berlin: Springer, 
2012.-Vol. 7638.-309 p.-(Lecture Notes in Computer Science).
 
 47. Formal Methods and Software Engineering: Proc./14th 
International Conference on Formal Engineering Mathods, ICFEM 
2012, Kyoto, Japan, November 2012/Ed. by  T.Aoki, K.Taguchi.
-Berlin: Springer, 2012.-Vol. 7635.-512 p.-(Lecture Notes in 
Computer Science).

 48. Progress in Cultural Heritage Preservation: Proc./4th 
International Conference, EuroMed 2012, Limassol, Cyprus, October 
2012/Ed. by  M.Ioannides, D.Fritsch, J.Leissner, R.Davies.-Berlin:
 Springer, 2012.-Vol. 7616.-898 p.-(Lecture Notes in Computer 
Science).
 
 49. Rewriting Logic and Its Aplications: Revised Selected 
Papers/9th International Workshop, WRLA 2012 Held as a Satellite 
Event of ETAPS, Tallinn, Estonia, March 2012/Ed. by  F.Duran.
-Berlin: Springer, 2012.-Vol. 7571.-241 p.-(Lecture Notes in 
Computer Science).
 
 50. String Processing and Information Retrieval: Proc./19th 
International Symposium, SPIRE 2012, Cartagena de Indias, 
Colombia, October 2012/Ed. by  L.Calderon-Benavides, 
C.Gonzalez-Caro, E.Chavez, N.Ziviani.-Berlin: Springer, 2012.
-Vol. 7608.-412 p.-(Lecture Notes in Computer Science).
 
 51. Structural, Syntactic, and Statistical Pattern Recognition: 
Proc./Joint IAPR International Workshop, SSPR & SPR 2012, 
Hiroshima, Japan, November 2012/Ed. by  G.Gimel'Farb, E.Hancock, 
A.Imiya, A.Kuijper.-Berlin: Springer, 2012.-Vol. 7626.-755 p.
-(Lecture Notes in Computer Science).
 
 52. Advances in Information and Computer Security: Proc./7th 
International Workshop on Security, IWSEC 2012, Fukuoka, Japan, 
November 2012/Ed. by  G.Hanaoka, T.Yamauchi.-Berlin: Springer, 
2012.-Vol. 7631.-261 p.-(Lecture Notes in Computer Science).
 
 53. Network and System Security: Proc./6th International 
Conference, NSS 2012, Wuyishan, Fujian, China, November 2012/Ed. 
by  L.Xu, E.Bertino, Y.Mu.-Berlin: Springer, 2012.-Vol. 7645.-532 
p.-(Lecture Notes in Computer Science).
 
 54. Advances in Cryptology - ASIACRYPT 2012: Proc./18th 
International Conference on the Theory and Applications of 
Cryptology and Information Security, Beijing, China, December 2012
/Ed. by  X.Wang, K.Sako.-Berlin: Springer, 2012.-Vol. 7658.-780 p.
-(Lecture Notes in Computer Science).
 
 55. Information and Communications Security: Proc./14th 
International Conference, ICICS 2012, Hong Kong, China, October 
2012/Ed. by  T.W.Chim, T.H.Yuen.-Berlin: Springer, 2012.-Vol. 7618.
-506 p.-(Lecture Notes in Computer Science).
 
 56. Service-Oriented Computing: Proc./10th International 
Conference, ICSOC 2012, Shanghai, China, November 2012/Ed. by  
C.Liu, H.Ludwig, F.Toumani, Q.Yu.-Berlin: Springer, 2012.-Vol. 
7636.-795 p.-(Lecture Notes in Computer Science).
 
 57. Simulation, Modeling, and Programming for Autonomous Robots: 
Proc./3rd International Conference, SIMPAR 2012, Tsukuba, Japan, 
November 2012/Ed. by  I.Noda, N.Ando, D.Brugali, J.J.Kuffner.
-Berlin: Springer, 2012.-Vol. 7628.-414 p.-(Lecture Notes in 
Artificial Intelligence).
 
 58. Advances in Natural Language Processing: Proc./8th 
International Conference on NLP, JapTAL 2012, Kanazawa, Japan, 
October 2012/Ed. by  H.Isahara, K.Kanzaki.-Berlin: Springer, 2012.
-Vol. 7614.-334 p.-(Lecture Notes in Artificial Intelligence).

 59. Gesture and Sign Language in Human-Computer Interaction and 
Embodied Communication: Revised Selected Papers/9th International 
Gesture Workshop, GW 2011, Athens, Greece, May 2011/Ed. by  
E.Efthimiou, G.Kouroupetroglou, S.-E.Fotinea.-Berlin: Springer, 
2012.-Vol. 7206.-275 p.-(Lecture Notes in Artificial 
Intelligence).
 
 60. Pattern Recognition in Bioinformatics: Proc./7th IAPR 
International Cinference, PRIB 2012, Tokyo, Japan, November 2012/
Ed. by  T.Shibuya, H.Kashima, J.Sese, S.Ahmad.-Berlin: Springer, 
2012.-Vol. 7632.-278 p.-(Lecture Notes in Bioinformatics).
 
 61. Каблуков И.В., Шелехов В.И. Контроль динамической семантики 
предикатной программы.-Новосибирск, 2012.-28 с.-(Препринт/ИСИ СО 
РАН; N 162).
 
 62. Непомнящий В.А., Бодин Е.В., Веретнов С.О. Применение языка 
Dynamic-real для анализа и верификации распределенных систем, 
специфицированных на языке SDL.-Новосибирск, 2012.-52 с.
-(Препринт/ИСИ СО РАН; N 161).
 
 63. Мгновения истории Акдемгородка. Первые десятилетия в 
фотографиях Рашида Ахмерова/СО РАН. .- Новосибирск: Академическое 
издательство "Гео", 2012.- 108 с.



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