Мемориальная библиотека им. А.П. Ершова

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


  1. Types for Proofs and Programs: Revised Selected 
Papers/International Conference, TYPES 2008. Cividale del 
Friuli, Italy, May 2007/Ed. by  M.Miculan, I.Scagnetto, 
F.Honsell.-Berlin, Heidelberg, 2007.-Vol. 4941.-203 p.
-(Lecture Notes in Computer Science).
 
  2. Formal Methods for Industrial Critical Systems: Revised 
Selected Papers/12th International Workshop, FMICS 2007. 
Berlin, Germany, July 2007/Ed. by  S.Leue, P.Merino.-Berlin, 
Heidelberg, 2007.-Vol. 4916.-251 p.-(Lecture Notes in 
Computer Science).
 
  3. Wired/Wireless Internet Communications: Proc./6th 
International Conference, WWIC 2008. Tampere, Finland, May 
2008/Ed. by  J.Harju, G.Heijenk, P.Langendoerfer, V.A.Siris.
-Berlin, Heidelberg: Springer, 2008.-Vol. 5031.-225 p.
-(Lecture Notes in Computer Science).
 
  4. Testing of Software and Communicating Systems: 
Proc./20th IFIP TC 6/WG 6.1 Intl Conf., TestCom 2008 & 8th 
Intl WS FATES 2008. Tokyo, Japan, June 2008/Ed. by  Suzuki 
Kenji, T.Higashino, A.Ulrich, T.Hasegawa.-Berlin, Heidelberg:
 Springer, 2008.-Vol. 5047.-303 p.-(Lecture Notes in 
Computer Science).
 
  5. Frontiers in Algorithmics: Proc./Second International 
Workshop, FAW 2008. Changsha, China, June 2008/Ed. by  
F.P.Preparata, X.Wu, J.Yin.-Berlin, Heidelberg: Springer, 
2008.-Vol. 5059.-350 p.-(Lecture Notes in Computer Science).
 
  6. Algorithmic Aspects in Information and Management: 
Proc./4th International Conference, AAIM 2008. Shanghai, 
China, June 2008/Ed. by  R.Fleischer, J.Xu.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5034.-350 p.-(Lecture Notes 
in Computer Science).
 
  7. Formal Methods for Open Object-Based Distributed 
Systems: Proc./10th IFIP WG 6.1 International Conference, 
FMOODS 2008. Oslo, Norway, June 2008/Ed. by  G.Barthe, Boer 
F.S.De.-Berlin, Heidelberg: Springer, 2008.-Vol. 5051.-259 p.
-(Lecture Notes in Computer Science).
 
  8. Algorithms and Architectures for Parallel Processing: 
Proc./8th International Conference, ICA3PP 2008. Cyprus, 
June 2008/Ed. by  A.G.Bourgeois, S.Q.Zheng.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5022.-320 p.-(Lecture Notes 
in Computer Science).
 
  9. Structural Information and Communication Complexity: 
Proc./15th International Colloquium, SIROCCO 2008. 
Villars-sur-Ollon, Switzerland, June 2008/Ed. by  
A.A.Shvartsman, P.Felber.-Berlin, Heidelberg: Springer, 2008.
-Vol. 5058.-307 p.-(Lecture Notes in Computer Science).
 
 10. Persuasive Technology: Proc./Third International 
Conference, PERSUASIVE 2008. Oulu, Finland, June 2008/Ed. by 
H.Oinas-Kukkonen, P.Hasle, M.Harjumaa, K.Segerstahl.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5033.-287 p.-(Lecture Notes 
in Computer Science).
 
 11. Formal Techniques for Networked and Distributed Systems 
- FORTE 2008: Proc./28th IFIP WG 6.1 International 
Conference. Tokyo, Japan, June 2008/Ed. by  K.Suzuki, 
T.Higashino, K.Yasumoto, El-Fakih Kh.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 5048.-341 p.-(Lecture Notes in Computer 
Science).

 12. Information Retrieval Technology: Revised Selected 
Papers/4th Asia Information Retrieval Symposium, AIRS 2008. 
Harbin, China, January 2008/Ed. by  H.Li, T.Liu, W.-Y.Ma, 
T.Sakai.-Berlin, Heidelberg: Springer, 2008.-Vol. 4993.-685 
p.-(Lecture Notes in Computer Science).
 
 13. Dependability Metrics: Advanced Lectures/Ed. by  
I.Eusgeld, F.C.Freiling, R.Reussner.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 4909.-305 p.-(Lecture Notes in Computer 
Science).
 
 14. Analytical and Stochastic Modeling Techniques and 
Applications: Proc./15th International Conference, ASMTA 
2008. Nicosia, Cyprus, June 2008/Ed. by  Kh.Al-Begain, 
A.Heindl, M.Telek.-Berlin, Heidelberg: Springer, 2008.-Vol. 
5055.-323 p.-(Lecture Notes in Computer Science).
 
 15. Transactions on Edutainment I/Ed. by  Zh.Pan, 
A.D.Cheok, W.Mueller.-Berlin, Heidelberg: Springer, 2008.
-Vol. 5080.-305 p.-(Lecture Notes in Computer Science).
 
 16. Requirements Engineering: Foundation for Software 
Quality: Proc./14th International Working Conference, REFSQ 
2008. Montpellier, France, June 2008/Ed. by  B.Paech, 
C.Rolland.-Berlin, Heidelberg: Springer, 2008.-Vol. 5025.
-205 p.-(Lecture Notes in Computer Science).
 
 17. Heterogeneous Objects Modelling and Applications: 
Collection of Papers on Foundations and Practice/Ed. by  
A.Pashko, V.Adzhiev, P.Comninos.-Berlin, Heidelberg: Springer,
 2008.-Vol. 4889.-285 p.-(Lecture Notes in Computer Science).
 
 18. Transactions on Data Hiding and Multimedia Security III/
Ed. by  Y.Q.Shi.-Berlin, Heidelberg: Springer, 2008.-Vol. 
4920.-91 p.-(Lecture Notes in Computer Science).
 
 19. Reflections on the Teaching of Programming: Methods and 
Implementations/Ed. by  J.Bennedsen, M.E.Caspersen, 
M.Koelling.-Berlin, Heidelberg: Springer, 2008.-Vol. 4821.
-261 p.-(Lecture Notes in Computer Science).
 
 20. Distributed Applications and Interoperable Systems: 
Proc./8th IFIP WG 6.1 International Conference, DAIS 2008. 
Oslo, Norway, June 2008/Ed. by  R.Meier, S.Terzis.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5033.-303 p.-(Lecture Notes 
in Computer Science).
 
 21. Computational Science - ICCS 2008: Part I: Proc./8th 
International Conference. Krakow, Poland, June 2008/Ed. by  
M.Bubak, Albada G.D.Van, J.Dongarra, P.M.A.Sloot.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5101.-1058 p.-(Lecture 
Notes in Computer Science).
 
 22. Computational Science - ICCS 2008: Part II: Proc./8th 
International Conference. Krakow, Poland, June 2008/Ed. by  
Bubak M., Albada G.D.Van, J.Dongarra, P.M.A.Sloot.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5102.-752 p.-(Lecture Notes 
in Computer Science).
 
 23. Computational Science - ICCS 2008: Part III: Proc./8th 
International Conference. Krakow, Poland, June 2008/Ed. by  
M.Bubak, Albada G.D.Van, J.Dongarra, P.M.A.Sloot.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5103.-758 p.-(Lecture Notes 
in Computer Science).
 
 24. Coordination Models and Languages: Proc./10th 
International Conference, COORDINATION 2008. Oslo, Norway, 
June 2008/Ed. by  D.Lea, G.Zavattaro.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 5052.-347 p.-(Lecture Notes in Computer 
Science).
 
 25. Progress in Cryptology - AFRICACRYPT 2008: Proc./First 
International Conference on Cryptology in Africa. 
Casablanca, Morocco, June 2008/Ed. by  S.Vaudenay.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5023.-415 p.-(Lecture Notes 
in Computer Science).
 
 26. Model Driven Architecture - Foundations and 
Applications: Proc./4th European Conference, ECMDA-FA 2008. 
Berlin, Germany, June 2008/Ed. by  I.Schieferdecker, 
A.Hartman.-Berlin, Heidelberg: Springer, 2008.-Vol. 5095.
-445 p.-(Lecture Notes in Computer Science).
 
 27. Applications and Theory of Petri Nets: Proc./29th 
International Conference, PETRI NETS 2008. Xi'an, China, 
June 2008/Ed. by  Hee K.M.Van, R.Valk.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 5062.-429 p.-(Lecture Notes in Computer 
Science).
 
 28. Intelligence and Security Informatics: Proc./IEEE ISI 
2008 International Workshops: PAISI, PACCF, and SOCO 2008. 
Taipei, Taiwan, June 2008/Ed. by  Et Al. Ch.C.Yang.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5075.-522 p.-(Lecture Notes 
in Computer Science).
 
 29. Pattern Recognition: Proc./30th DAGM Symposium. Munich, 
Germany, June 2008/Ed. by  G.Rigoll.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 5096.-538 p.-(Lecture Notes in Computer 
Science).
 
 30. Distributed Computing in Sensor Systems: Proc./4th IEEE 
International Conference, DCOSS 2008. Santorini Island, 
Greece, June 2008/Ed. by  S.E.Nikoletseas, B.C.Chlebus, 
D.B.Johnson, Bh.Krishnamachari.-Berlin, Heidelberg: Springer,
 2008.-Vol. 5067.-552 p.-(Lecture Notes in Computer Science).
 
 31. Parallel Processing and Applied Mathematics: Revised 
Selected Papers/International Conference, PPAM 2007. Gdansk, 
Poland, September 2007/Ed. by  R.Wyrzykowski, J.Dongarra, 
K.Karczewski, J.Wasniewski.-Berlin, Heidelberg: Springer, 
2008.-Vol. 4967.-1414 p.-(Lecture Notes in Computer Science).
 
 32. Advanced Information Systems Engineering: Proc./20th 
International Conference, CAiSE 2008. Montpellier, France, 
June 2008/Ed. by  Z.Bellahsene, M.Leonard.-Berlin, Heidelberg:
 Springer, 2008.-Vol. 5074.-588 p.-(Lecture Notes in 
Computer Science).
 
 33. Haptics: Perception, Devices, and Scenarios: Proc./6th 
International Conference, EuroHaptics 2008. Madrid, Spain, 
June 2008/Ed. by  M.Ferre.-Berlin, Heidelberg: Springer, 2008.
-Vol. 5024.-950 p.-(Lecture Notes in Computer Science).
 
 34. The Semantic Web: Research and Applications: Proc./5th 
European Semantic Web Conference, ESWC 2008. Tenerife, 
Canary Islands, Spain, June 2008/Ed. by  S.Bechhofer, 
M.Hauswirth, J.Hoffmann, M.Koubarakis.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 5021.-897 p.-(Lecture Notes in Computer 
Science).
 
 35. OpenMP Shared Memory Parallel Programming: 
Proc./International Workshops, IWOMP 2005 & 2006. Eugene, 
OR, USA, June 2005, Reims, France, June 2006/Ed. by  
M.S.Mueller, B.M.Chapman, Supinski B.R.De, A.D.Malony.
-Berlin, Heidelberg: Springer, 2008.-Vol. 4315.-448 p.
-(Lecture Notes in Computer Science).
 
 36. Formal Methods for Computationad Biology: Advanced 
Lectures/8th Intl School on FM for the Design of Computer, 
Communication & Software Systems, SFM 2008. Bertinoro, Italy 
, June 2008/Ed. by  M.Bernardo, P.Degano, G.Zavattaro.
-Berlin, Heidelberg: Springer, 2008.-Vol. 5016.-525 p.
-(Lecture Notes in Computer Science).
 
 37. Logic and Theory of Algorithms: Proc./4th Conference on 
Computability in Europe, CiE 2008. Athens, Greece, June 2008/
Ed. by  A.Beckmann, C.Dimitracopoulos, B.Loewe.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5028.-596 p.-(Lecture Notes 
in Computer Science).
 
 38. Mining Complex Data: Revised Selected Papers/ECML/PKDD 
2007 Third International Workshop, MCD 2007. Warsaw, Poland, 
September 2007/Ed. by  Z.W.Ras, Sh.Tsumoto, D.Zighed.
-Berlin, Heidelberg: Springer, 2008.-Vol. 4944.-264 p.
-(Lecture Notes in Artificial Intelligence).
 
 39. Perception in Multimodal Dialogue Systems: Proc./4th 
IEEE Tutorial and Research Workshop on Perception and 
Interactice Technologies for Speech-Based Systems, PIT 2008. 
Kloster Irsee, Germany, June 2008/Ed. by  E.Andre, 
L.Dybkjaer, W.Minker, H.Neumann.-Berlin, Heidelberg: Springer,
 2008.-Vol. 5078.-311 p.-(Lecture Notes in Artificial 
Intelligence).
 
 40. Data Integration in the Life Sciences: Proc./5th 
International Workshop, DILS 2008. Evry, France, June 2008/
Ed. by  A.Bairoch, S.Cohen-Boulakia, Ch.Froidevaux.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5109.-209 p.-(Lecture Notes 
in Bioinformatics).
 
 41. Formal Methods in Systems Biology: Proc./First 
International Workshop, FMSB 2008. Cambridge, UK, June 2008/
Ed. by  J.Fisher.-Berlin, Heidelberg: Springer, 2008.-Vol. 
5054.-139 p.-(Lecture Notes in Bioinformatics).
 
 42. Barnes J. Ada 2005 Rationale: The Language. The 
Standard Libraries.- Berlin, Heidelberg: Springer, 2008.- 
267 p.-(Lecture Notes in Computer Science; Vol. 5020).
-Bibliogr.: p.261.
 
 43. Бурдонов И.Б., Косачев А.С., Кулямин В.В. Теория 
соответствия для систем с блокировками и разрушениями.- М.: 
Физматлит, 2008.- 412 с.-(Математика. Прикладная математика).
-Библиогр.: c.304-306.
 
 44. Балансно-характеристический метод численного решения 
одномерных задач аэроакустики/В.М. Головизнин, С.А. 
Карабасов, Т.К. Козубская и др. .-М., 2008.-22 с.
-(Препринт/Институт проблем безопасного развития атомной 
энергетики; N IBRAE-2007-08).



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