Hовые поступления с 22 мая по 1 августа 2007 года
1. Service Availability: Proc./4th International Service Availability Symposium, ISAS 2007. Durham, NH, USA, May 2007/ Ed. by M.Malek, M.Reitenspiess, Van Moorsel A.-Berlin, Heidelberg: Springer, 2007.-Vol. 4526.-155 p.-(Lecture Notes in Computer Science). 2. Service-Oriented Computing: Agents, Semantics, and Engineering: Proc./AAMAS 2007 International Workshop, SOCASE 2007. Honolulu, HI, USA, MAy 2007/Ed. by J.Huang, R.Kowalczyk, Z.Maamar, Et Al. D.Martin.-Berlin, Heidelberg: Springer, 2007.-Vol. 4504.-175 p.-(Lecture Notes in Computer Science). 3. Intelligence and Security Informatics: Biosurveillance: Proc./Second NSF Workshop, BioSurveillance 2007. New Brunswick, NJ, USA, May 2007/Ed. by Et Al. D.Zeng.-Berlin, Heidelberg: Springer, 2007.-Vol. 4506.-234 p.-(Lecture Notes in Computer Science). 4. Interactive TV: A Shared Experience: Proc./5th European Conference, EuroITV 2007. Amsterdam, The Netherlands, May 2007/Ed. by P.Cesar, K.Chorianopoulos, J.F.Jensen.-Berlin, Heidelberg: Springer, 2007.-Vol. 4471.-236 p.-(Lecture Notes in Computer Science). 5. Software Process Dynamics and Agility: Proc./International Conference on Software Process, ICSP 2007. Minneapolis, MN, USA, May 2007/Ed. by Q.Wang, D.Pfahl, D.M.Raffo.-Berlin, Heidelberg: Springer, 2007.-Vol. 4470.-346 p.-(Lecture Notes in Computer Science). 6. Wired/Wireless Internet Communications: Proc./5th International Conference, WWIC 2007. Coimbra, Portugal, May 2007/Ed. by F.Boavida, E.Monteiro, S.Mascolo, Y.Koucheryavy. -Berlin, Heidelberg: Springer, 2007.-Vol. 4517.-382 p. -(Lecture Notes in Computer Science). 7. Multiple Classifier Systems: Proc./7th International Workshop, MCS 2007. Prague, Czech Republic, May 2007/Ed. by M.Haindl, J.Kittler, F.Roli.-Berlin, Heidelberg: Springer, 2007.-Vol. 4472.-524 p.-(Lecture Notes in Computer Science). 8. Advances in Cryptology: Eurocrypt 2007: Proc./26th Annual International Conference on the Theory and Applications of Cryptographic Techniques. Barcelona, Spain, May 2007/Ed. by M.Naor.-Berlin, Heidelberg: Springer, 2007. -Vol. 4515.-591 p.-(Lecture Notes in Computer Science). 9. Theory and Applications of Models of Computation: Proc./4th International Conference, TAMC 2007. Shanghai, China, May 2007/Ed. by J.-Y.Cai, S.B.Cooper, H.Zhu.-Berlin, Heidelberg: Springer, 2007.-Vol. 4484.-772 p.-(Lecture Notes in Computer Science). 10. Embedded Software and Systems: Proc./Third International Conference, ICESS 2007. Daegu, Korea, May 2007/ Ed. by Y.-H.Lee, H.-N.Kim, J.Kim, Y.Park.-Berlin, Heidelberg: Springer, 2007.-Vol. 4523.-829 p.-(Lecture Notes in Computer Science). 11. The Disappearing Computer: Interaction Design, System Infrastructures, and Applications for Smart Environments/Ed. by N.Streitz, A.Kameas, I.Marvommati.-Berlin, Heidelberg: Springer, 2007.-Vol. 4500.-304 p.-(Lecture Notes in Computer Science). 12. Agent-Mediated Electronic Commerce: Selected and Revised Papers/AAMAS 2006 Workshop, TADA/AMEC 2006. Hakodate, Japan, May 2006/Ed. by M.Fasli, O.Shehory. -Berlin, Heidelberg: Springer, 2007.-Vol. 4452.-249 p. -(Lecture Notes in Computer Science). 13. Advances in Artificial Intelligence: Proc./20th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2007. Montreal, Canada, May 2007 /Ed. by Z.Kobti, D.Wu.-Berlin, Heidelberg: Springer, 2007. -Vol. 4509.-552 p.-(Lecture Notes in Computer Science). 14. Водомеров А.Н. Методы и средства автоматизированного распараллеливания приложений в распределенной среде: Автореф. дис... канд. ф.-м. наук: 05.13.11.-М., 2007.-23 с. -Библиогр.: c.22-23. 15. Афонин С.А. Алгоритмы эффективного вычисления конъюнктивных регулярных путевых запросов в базах полуструктурированных данных: Автореф. дис... канд. ф.-м. наук: 05.13.11.-М., 2007.-20 с.-Библиогр.: c.19-20. 16. Model Driveb Architecture - Foundations and Applications: Proc./Third International Conference, ECMDA-FA 2007. Haifa, Israel, June 2007/Ed. by D.H.Akehurst, R.Vogel, R.F.Paige.-Berlin, Heidelberg: Springer, 2007.-Vol. 4530.-218 p.-(Lecture Notes in Computer Science). 17. Fun with Algorithms: Proc./4th International Conference, FUN 2007. Castiglioncello, Italy, June 2007/Ed. by P.Crescenzi, G.Prencipe, G.Pucci.-Berlin, Heidelberg: Springer, 2007.-Vol. 4475.-271 p.-(Lecture Notes in Computer Science). 18. Coordination Models and Languages: Proc./9th International Conference, COORDINATION 2007. Paphos, Cyprus, June 2007/Ed. by A.L.Murphy, J.Vitek.-Berlin, Heidelberg: Springer, 2007.-Vol. 4467.-323 p.-(Lecture Notes in Computer Science). 19. Network Control and Optimization: Proc./First EuroFGI International Conference, NET-COOP 2007. Avignon, France, June 2007/Ed. by T.Chahed, B.Tuffin.-Berlin, Heidelberg: Springer, 2007.-Vol. 4465.-304 p.-(Lecture Notes in Computer Science). 20. Formal Methods for Open Object-Based Distributed Systems: Proc./9th IFIP WG 6.1 International Conference FMOODS 2007. Paphos, Cyprus, June 2007/Ed. by M.M.Bonsangue, E.B.Johnsen.-Berlin, Heidelberg: Springer, 2007.-Vol. 4468.-316 p.-(Lecture Notes in Computer Science). 21. Distributed Applications and Interoperable Systems: Proc./7th IFIP WG 6.1 International Conference, DAIS 2007. Paphos, Cyprus, June 2007/Ed. by J.Indulska, K.Raymond. -Berlin, Heidelberg: Springer, 2007.-Vol. 4531.-336 p. -(Lecture Notes in Computer Science). 22. Web Reasoning and Rule Systems: Proc./First International Conference, RR 2007. Innsbruck, Austria, June 2007/Ed. by M.Marchiori, J.Z.Pan, Sainte Marie Ch.De. -Berlin, Heidelberg: Springer, 2007.-Vol. 4527.-382 p. -(Lecture Notes in Computer Science). 23. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Proc./4th International Conference, CPAIOR 2007. Brussels, Belgium, May 2007/Ed. by Hentenryck P.Van, L.Wolsey. -Berlin, Heidelberg: Springer, 2007.-Vol. 4510.-390 p. -(Lecture Notes in Computer Science). 24. Theory and Applications of Satisfiability Testing - SAT 2007: Proc./10th International Conference. Lisbon, Portugal, May 2007/Ed. by J.Marques-Silva, K.A.Sakallah.-Berlin, Heidelberg: Springer, 2007.-Vol. 4501.-384 p.-(Lecture Notes in Computer Science). 25. Model Checking Software: Proc./14th International SPIN Workshop. Berlin, Germany, July 2007/Ed. by D.Bosnacki, S.Edelkamp.-Berlin, Heidelberg: Springer, 2007.-Vol. 4595. -283 p.-(Lecture Notes in Computer Science). 26. Languages for Compilers for Parallel Computing: Revised Papers/19th International Workshop, LCPC 2006. New Orleans, LA, USA, November 2006/Ed. by G.Almasi, C.Cascaval, P.Wu. -Berlin, Heidelberg: Springer, 2007.-Vol. 4382.-366 p. -(Lecture Notes in Computer Science). 27. Combinatorial Pattern Matching: Proc./18th Annual Symposium, CPM 2007. London, Canada, July 2007/Ed. by B.Ma, K.Zhang.-Berlin, Heidelberg: Springer, 2007.-Vol. 4580.-364 p.-(Lecture Notes in Computer Science). 28. Usability and Internationalization: HCI and Culture: Part I: Proc./2nd Intl Conference, UI-HCII 2007, Part of HCI International 2007. Beijing, China, July 2007/Ed. by N.Aykin. -Berlin, Heidelberg: Springer, 2007.-Vol. 4599.-661 p. -(Lecture Notes in Computer Science). 29. Usability and Internationalization: HCI and Culture: Part II: Proc./2nd Intl Conference, UI-HCII 2007, Part of HCI International 2007. Beijing, China, July 2007/Ed. by N.Aykin.-Berlin, Heidelberg: Springer, 2007.-Vol. 4560.-573 p.-(Lecture Notes in Computer Science). 30. Experimental Algorithms: Proc./6th International Workshop, WEA 2007. Rome, Italy, June 2007/Ed. by C.Demetrescu.-Berlin, Heidelberg: Springer, 2007.-Vol. 4525. -448 p.-(Lecture Notes in Computer Science). 31. Ergonomics and Health Aspects of Work with Computers: Proc./International Conference, EHAWC 2007, Held as Part of HCI International 2007. Beijing, China, July 2007/Ed. by M.J.Dainoff.-Berlin, Heidelberg: Springer, 2007.-Vol. 4566. -390 p.-(Lecture Notes in Computer Science). 32. Term Rewriting and Applications: Proc./18th International Conference, RTA 2007. Paris, France, June 2007/ Ed. by F.Baader.-Berlin, Heidelberg: Springer, 2007.-Vol. 4533.-419 p.-(Lecture Notes in Computer Science). 33. Graph-Based Representations in Pattern Recognition: Proc./6th IAPR-TC-15 International Workshop, GbRPR 2007. Alicante, Spain, June 2007/Ed. by F.Escolano, M.Vento. -Berlin, Heidelberg: Springer, 2007.-Vol. 4538.-416 p. -(Lecture Notes in Computer Science). 34. Pattern Recognition and Image Analysis: Part I: Proc./Third Iberian Conference, IbPRIA 2007. Girona, Spain, June 2007/Ed. by J.Marti, J.M.Benedi, A.M.Mendonca, J.Serrat. -Berlin, Heidelberg: Springer, 2007.-Vol. 4477.-625 p. -(Lecture Notes in Computer Science). 35. Pattern Recognition and Image Analysis: Part II: Proc./Third Iberian Conference, IbPRIA 2007. Girona, Spain, June 2007/Ed. by J.Marti, J.M.Benedi, A.M.Mendonca, J.Serrat. -Berlin, Heidelberg: Springer, 2007.-Vol. 4478.-651 p. -(Lecture Notes in Computer Science). 36. Euro-Par 2006 Workshops: Parallel Processing: Revised Selected Papers/CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Informatics. Dresden, Germany, August/September 2006/Ed. by W.Lehner, N.Meyer, A.Streit, C.Stewart.-Berlin, Heidelberg: Springer, 2007. -Vol. 4375.-332 p.-(Lecture Notes in Computer Science). 37. Applied Cryptography and Network Security: Proc./5th International Conference, ACNS 2007. Zhuhai, China, June 2007 /Ed. by J.Katz, M.Yung.-Berlin, Heidelberg: Springer, 2007. -Vol. 4521.-498 p.-(Lecture Notes in Computer Science). 38. Optical Network Design and Modeling: Proc./11th International IFIP TC6 Conference, ONDM 2007. Athens, Greece, May 2007/Ed. by I.Tomkos, F.Neri, J.S.Pareta, X.M.Bruin.-Berlin, Heidelberg: Springer, 2007.-Vol. 4534. -460 p.-(Lecture Notes in Computer Science). 39. Functional Imaging and Modeling of the Heart: Proc./4th International Conference, FIMH 2007. Salt Lake City, UT, USA, June 2007/Ed. by F.B.Sachse, G.Seemann.-Berlin, Heidelberg: Springer, 2007.-Vol. 4466.-486 p.-(Lecture Notes in Computer Science). 40. Requirements Engineering: Foundation for Software Quality: Proc./13th International Working Conference, REFSQ 2007. Trondheim, Norway, June 2007/Ed. by P.Sawyer, B.Paech, P.Heymans.-Berlin, Heidelberg: Springer, 2007.-Vol. 4542.-381 p.-(Lecture Notes in Computer Science). 41. Algorithmic Aspects in Information and Management: Proc./Third International Conference, AAIM 2007. Portland, OR, USA, June 2007/Ed. by M.-Y.Kao, X.-Y.Li.-Berlin, Heidelberg: Springer, 2007.-Vol. 4508.-428 p.-(Lecture Notes in Computer Science). 42. Online Communities and Social Computing: Proc./Second International Conference, OCSC 2007, Held as Part of HCI International 2007. Beijing, China, July 2007/Ed. by D.Schuler.-Berlin, Heidelberg: Springer, 2007.-Vol. 4564. -520 p.-(Lecture Notes in Computer Science). 43. Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2007. New York, NY, USA, June 2007/Ed. by S.N.Artemov, A.Nerode.-Berlin, Heidelberg: Springer, 2007.-Vol. 4514.-511 p.-(Lecture Notes in Computer Science). 44. Universal Access in Human-Computer Interaction: Coping with Diversity: Part I: Proc./4th Intl Conference, UAHCI 2007, Part of HCI Intl 2007. Beijing, China, July 2007/Ed. by C.Stephanidis.-Berlin, Heidelberg: Springer, 2007.-Vol. 4554.-1054 p.-(Lecture Notes in Computer Science). 45. Universal Access in Human-Computer Interaction: Coping with Diversity: Part II: Proc./4th Intl Conference, UAHCI 2007, Part of HCI Intl 2007. Beijing, China, July 2007/Ed. by C.Stephanidis.-Berlin, Heidelberg: Springer, 2007.-Vol. 4555.-1066 p.-(Lecture Notes in Computer Science). 46. Universal Access in Human-Computer Interaction: Coping with Diversity: Part III: Proc./4th Intl Conference, UAHCI 2007, Part of HCI Intl 2007. Beijing, China, July 2007/Ed. by C.Stephanidis.-Berlin, Heidelberg: Springer, 2007.-Vol. 4556.-1020 p.-(Lecture Notes in Computer Science). 47. The Semantic Web: Research and Applications: Proc./4th European Semantic Web Conference, ESWC 2007. Innsbruck, Austria, June 2007/Ed. by E.Franconi, M.Kifer, W.May. -Berlin, Heidelberg: Springer, 2007.-Vol. 4519.-830 p. -(Lecture Notes in Computer Science). 48. Scale Space and Variational Methods in Computer Vision: Proc./First International Conference, SSVM 2007. Ischia, Italy, May/June 2007/Ed. by F.Sgallari, A.Murli, N.Paragios. -Berlin, Heidelberg: Springer, 2007.-Vol. 4485.-931 p. -(Lecture Notes in Computer Science). 49. Virtual Reality: Proc./Second International Conference, ICVR 2007, Held as Part of HCI International 2007. Beijing, China, July 2007/Ed. by R.Shumaker.-Berlin, Heidelberg: Springer, 2007.-Vol. 4563.-762 p.-(Lecture Notes in Computer Science). 50. Advances in Neural Networks - ISNN 2007: Part I: Proc./4th International Symposium on Neural Networks, ISNN 2007. Nanjing, China, June 2007/Ed. by D.Liu, Sh.Fei, Zh.-G.Hou, H.Zhang.-Berlin, Heidelberg: Springer, 2007.-Vol. 4491.-1365 p.-(Lecture Notes in Computer Science). 51. Advances in Neural Networks - ISNN 2007: Part II: Proc./4th International Symposium on Neural Networks, ISNN 2007. Nanjing, China, June 2007/Ed. by D.Liu, Sh.Fei, Z.Hou, H.Zhang.-Berlin, Heidelberg: Springer, 2007.-Vol. 4492. -1321 p.-(Lecture Notes in Computer Science). 52. Advances in Neural Networks - ISNN 2007: Part III: Proc./4th International Symposium on Neural Networks, ISNN 2007. Nanjing, China, July 2007/Ed. by D.Liu, Sh.Fei, Z.Hou, H.Zhang.-Berlin, Heidelberg: Springer, 2007.-Vol. 4493. -1215 p.-(Lecture Notes in Computer Science). 53. Computational Science - ICCS 2007: Part I: Proc./7th International Conference. Beijing, China, May 2007/Ed. by Y.Shi, Albada G.D.Van, J.Dongarra, P.M.A.Sloot.-Berlin, Heidelberg: Springer, 2007.-Vol. 4487.-1275 p.-(Lecture Notes in Computer Science). 54. Computational Science - ICCS 2007: Part II: Proc./7th International Conference. Beijing, China, May 2007/Ed. by Y.Shi, Albada G.D.Van, J.Dongarra, P.M.A.Sloot.-Berlin, Heidelberg: Springer, 2007.-Vol. 4488.-1251 p.-(Lecture Notes in Computer Science). 55. Computational Science - ICCS 2007: Part III: Proc./7th International Conference. Beijing, China, May 2007/Ed. by Y.Shi, Albada G.D.Van, J.Dongarra, P.M.A.Sloot.-Berlin, Heidelberg: Springer, 2007.-Vol. 4489.-1257 p.-(Lecture Notes in Computer Science). 56. Computational Science - ICCS 2007: Part IV: Proc./7th International Conference. Beijing, China, May 2007/Ed. by Y.Shi, Albada G.D.Van, J.Dongarra, P.M.A.Sloot.-Berlin, Heidelberg: Springer, 2007.-Vol. 4490.-1211 p.-(Lecture Notes in Computer Science). 57. Advanced Information Systems Engineering: Proc./19th International Conference, CAiSE 2007. Trondheim, Norway, June 2007/Ed. by J.Krogstie, A.Opdahl, G.Sindre.-Berlin, Heidelberg: Springer, 2007.-Vol. 4495.-606 p.-(Lecture Notes in Computer Science). 58. Algorithms and Architectures for Parallel Processing: Proc./7th International Conference, ICA3PP 2007. Hangzhou, China, June 2007/Ed. by H.Jin, O.F.Rana, Y.Pan, V.K.Prasanna. -Berlin, Heidelberg: Springer, 2007.-Vol. 4494.-508 p. -(Lecture Notes in Computer Science). 59. Formal Methods for Performance Evaluation: Advanced Lectures/7th International Summer School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007. Bertinoro, Italy, May/June 2007/Ed. by M.Bernardo, J.Hillston.-Berlin, Heidelberg: Springer, 2007. -Vol. 4486.-467 p.-(Lecture Notes in Computer Science). 60. Autonomous Intelligent Systems: Agents and Data Mining: Proc./Second International Workshop, AIS-ADM 2007. St.Petersburg, Russia, June 2007/Ed. by V.Gorodetsky, Ch.Zhang, V.A.Skormin, L.Cao.-Berlin, Heidelberg: Springer, 2007.-Vol. 4476.-321 p.-(Lecture Notes in Artificial Intelligence). 61. Foundations of Fuzzy Logic and Soft Computing: Proc/12th International Fuzzy Systems Association World Congress, IFSA 2007. Cancun, Mexico, June 2007/Ed. by P.Melin, O.Castillo, L.T.Aguilar, L.Kacprzyk.-Berlin, Heidelberg: Springer, 2007.-Vol. 4529.-830 p.-(Lecture Notes in Artificial Intelligence). 62. Agent and Multi-Agent Systems: Technologies and Applications: Proc./First KES International Symposium, KES-AMSTA 2007. Wroclaw, Poland, May/June 2007/Ed. by N.Th.Nguyen, A.Grzech, R.J.Howlett, L.C.Jain.-Berlin, Heidelberg: Springer, 2007.-Vol. 4496.-1046 p.-(Lecture Notes in Artificial Intelligence). 63. Engineering Psychology and Cognitive Ergonomics: Proc./7th International Conference, EPCE 2007, Held as Part of HCI International 2007. Beijing, China, July 2007/Ed. by D.Harris.-Berlin, Heidelberg: Springer, 2007.-Vol. 4562.-879 p.-(Lecture Notes in Artificial Intelligence). 64. Artificial Intelligence for Human Computing: Revised Selected and Invited Papers/ICMI 2006 & IJCAI 2007 International Workshops. Banff, Canada, November 2006 & Hyderabad, India, January 2007/Ed. by Th.S.Huang, A.Nijholt, M.Pantic, A.Pentland.-Berlin, Heidelberg: Springer, 2007.-Vol. 4451.-358 p.-(Lecture Notes in Artificial Intelligence).