01.04.2013

Hовые поступления с 1 по 25 марта 2013 года

  1. Graphics Recognition. New Trends and Challenges: Revised 
Selected Papers/9th International Workshop, GREC 2011, Seoul, 
Korea, September 2011/Ed. by  Y.-B.Kwon, J.-M.Ogier.-Berlin: 
Springer, 2013.-Vol. 7423.-275 p.-(Lecture Notes in Computer 
Science).
 
  2. Jogers S. Construction and Evolution of Code Generations. A 
Model-Driven and Service-Oriented Approach.- Berlin: Springer, 
2013.- 246 p.-(Lecture Notes in Computer Science; Vol. 7747).
-Bibliogr.: p.223-241.
 
  3. Transactions on Computational Collective Intelligence IX/Ed. 
by  N.T.Nguyen.-Berlin: Springer, 2013.-Vol. 7770.-237 p.
-(Lecture Notes in Computer Science).
 
  4. Reconfigurable Computing: Architectures, Tools, and 
Applications: Proc./9th International Symposium, ARC 2013, Los 
Angeles,CA,USA, March 2013/Ed. by  P.Brisk, P.C.Diniz, 
J,G.F.Countinho.-Berlin: Springer, 2013.-Vol. 7806.-238 p.
-(Lecture Notes in Computer Science).
 
  5. Theory of Cryptography: Proc./10th Theory of Cryptography 
Conference, TCC 2013, Tokyo, Japan, March 2013/Ed. by  A.Sahai.
-Berlin: Springer, 2013.-Vol. 7785.-724 p.-(Lecture Notes in 
Computer Science).
 
  6. Passive and Active Measurement: Proc./14th International 
Conference, PAM 2013, Hong Kong, China, March 2012/Ed. by  
M.Roughan, R.Chang.-Berlin: Springer, 2013.-Vol. 7799.-282 p.
-(Lecture Notes in Computer Science).
 
  7. Wireless Sensor Networks: Proc./10th European Conference, 
EWSN 2013, Ghent, Belgium, February 2012/Ed. by  P.Demeester, 
I.Moerman, A.Terzis.-Berlin: Springer, 2013.-Vol. 7772.-197 p.
-(Lecture Notes in Computer Science).
 
  8. Runtime Verification: Revised Selected Papers/3rd 
International Conference, RV 2012, Istanbul, Turkey, September 
2012/Ed. by  S.Qadeer, S.Tasiran.-Berlin: Springer, 2013.-Vol. 
7687.-322 p.-(Lecture Notes in Computer Science).
 
  9. Ganesalingam M. The Language of Mathematics. A Linguistics 
and Philosophical Investigation.- Berlin: Springer, 2013.- 260 p.
-(Lecture Notes in Computer Science; Vol. 7805).
 
 10. Agents and Data Mining Interaction: Revised Selected 
Papers/8th International Worshop, ADMI 2012, Valencia, Spain, 
June 2012/Ed. by  L.Cao, Y.Zeng, A.L.Symeonidis, V.I.Gorodetsky.
-Berlin: Springer, 2013.-Vol. 7607.-217 p.-(Lecture Notes in 
Artificial Intelligence).
 
 11. Multimodal Pattern Recognition of Social Signals in 
Human-Computer-Interaction: Revised Selected Papers/1st IAPR TC3 
Workshop, MPRSS 2012, Tsukuba, Japan, November 2012/Ed. by  
F.Schwenker, S.Scherer, L.-Ph.Morency.-Berlin: Springer, 2013.
-Vol. 7742.-131 p.-(Lecture Notes in Artificial Intelligence).
 
 12. Logic, Language, and Computation: Revised Selected 
Papers/9th International Tbilisi Symposium, TbiLLC 2011, Kutaisi, 
Georgia, September 2011/Ed. by  G.Bezhanishvili, S.Lobner, 
V.Marra, F.Richter.-Berlin: Springer, 2013.-Vol. 7758.-277 p.
-(Lecture Notes in Computer Science).

 13. Parallel Problem Solving from Nature - PPSN XII, Part II: 
Proc./12th International Conference, Taormina, Italy, September 
2012/Ed. by  C.A.C.Coello, V.Cutello, K.Deb, S.Forrest.-Berlin: 
Springer, 2012.-Vol. 7492.-531 p.-(Lecture Notes in Computer 
Science).
 
 14. Computer Construction: Proc./22nd International Conference, 
CC 2013 Held as Part of the European Joint Conferences ETAPS 
2013, Rome, Italy, March 2013/Ed. by  R.Jhala, K.De_Bosschere.
-Berlin: Springer, 2013.-Vol. 7791.-265 p.-(Lecture Notes in 
Computer Science).
 
 15. Fundamental Approaches to Software Engineering: Proc./16th 
International Conference, FASE 2013 Held as Part of the European 
Joint Conferences ETAPS 2013, Rome, Italy, March 2013/Ed. by  
V.Cortelessa, D.Varro.-Berlin: Springer, 2013.-Vol. 7793.-376 p.
-(Lecture Notes in Computer Science).
 
 16. Foundations of Software Science and Computational 
Structures: Proc./16th International Conference, FOSSACS 2013 
Held as Part of the European Joint Conferences ETAPS 2013, Rome, 
Italy, Narch 2013/Ed. by  F.Pfenning.-Berlin: Springer, 2013.
-Vol. 7794.-451 p.-(Lecture Notes in Computer Science).
 
 17. Programming Languages and Systems: Proc./22nd European 
Symposium on Programming, ESOP 2013 Held as Part of the ETAPS 
2013, Rome, Italy, March 2013/Ed. by  M.Felleisen, Ph.Gardner.
-Berlin: Springer, 2013.-Vol. 7792.-620 p.-(Lecture Notes in 
Computer Science).
 
 18. Tools and Algorithms for the Construction and Analysis of 
Systems: Proc./19th International Conference, ETAPS 2013 Held as 
Part of the ETAPS 2013, Rome, Italy, March 2013/Ed. by  
N.Piterman, S.A.Smolka.-Berlin: Springer, 2013.-Vol. 7795.-646 p.
-(Lecture Notes in Computer Science).
 
 19. Principles of Security and Trust: Proc./2nd International 
Conference, POST 2013 Held as Part of the European Joint 
Conferencees ETAPS 2013, Rome, Italy, March 2013/Ed. by  D.Basin, 
J.C.Mitchell.-Berlin: Springer, 2013.-Vol. 7796.-287 p.-(Lecture 
Notes in Computer Science).
 
 20. Evolutionary Multi-Criterion Optimization: Proc./7th 
International Conference, EMO 2013, Sheffield, UK, March 2013/Ed. 
by  R.C.Purshouse, P.J.Fleming, C.M.Fonseca, S.Greco.-Berlin: 
Springer, 2013.-Vol. 7811.-842 p.-(Lecture Notes in Computer 
Science).
 
 21. Transactions on Aspect-Oriented Software Development X/Ed. 
by  G.T.Leavens, Sh.Chiba, E.Tanter.-Berlin: Springer, 2013.-Vol. 
7800.-185 p.-(Lecture Notes in Computer Science).
 
 22. Euro-Par 2012: Parallel Processing Workshops: Revised 
Selected Papers/BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, 
PROPER, Resilience, UCHPC, VHPC, Rhodes Island, Greece, August 
2012/Ed. by  I.Caragiannis.-Berlin: Springer, 2013.-Vol. 7640.
-589 p.-(Lecture Notes in Computer Science).
 
 23. Graph Drawing: Revised Selected Papers/20th International 
Symposium, GD 2012, Redmont,WA,USA, September 2012/Ed. by  
W.Didimo, M.Patrignani.-Berlin: Springer, 2013.-Vol. 7704.-582 p.
-(Lecture Notes in Computer Science).
 
 24. Databases in Networked Information Systems: Proc./8th 
International Workshop, DNIS 2013, Aizu-Wakamatsu, Japan, March 
2013/Ed. by  A.Madaan, S.Kikuchi, S.Bhalla.-Berlin: Springer, 2013.
-Vol. 7813.-311 p.-(Lecture Notes in Computer Science).
 
 25. Applied Parallel and Scientific Computing: Revised Selected 
Papers/11th International Conference, PARA 2012, Helsinki, 
Finland, June 2012/Ed. by  P.Manninen, P.Oster.-Berlin: Springer, 
2013.-Vol. 7782.-568 p.-(Lecture Notes in Computer Science).
 
 26. Discrete Geometry for Computer Imagery: Proc./17th IAPR 
International Conference, DGCI 2013, Seville, Spain, March 2013/
Ed. by  R.Gonzalez-Diaz, M.-J.Jimenez, B.Medrano.-Berlin: Springer,
 2013.-Vol. 7749.-408 p.-(Lecture Notes in Computer Science).
 
 27. Perspectives on Soviet and Russian Computing: Revised 
Selected Papers/1st IFIP WG 9.7 Conference, SoRuCom 2006, 
Petrozavodsk, Russia, July 2006/Ed. by  J.Impagliazzo, E.Proydakov.
-Berlin: Springer, 2011.-Vol. 357-(IFIP AICT).
 
 28. Promsky A.V. A Formal Approach to the Error Localization.
-Новосибирск, 2012.-32 с.-(Rep./ИСИ СО РАН; N 169).
 
 29. Ошевская Е.С. Категорные методы исследования полукубических 
множеств и пространств как моделей параллельных процессов: 
Автореф. дис... канд. ф.-м. наук: 01.01.04.-Новосибирск, 2013.-16 
с.-Библиогр.: c.15-16.
 
 30. Advances in Databases and Information Systems: Proc./7th 
East European Conference, ADBIS 2003, Dresden, Germany, September 
2003/Ed. by  L. Kalinichenko, R. Manthey, B. Thalheim, U. Wloka.
-Dresden, 2003.-220 p.



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