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

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



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