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).