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

Hовые поступления с 4 сентября по 2 октября 2006 года


  1. Data Integration in the Life Sciences: Proc./Third 
International Workshop, DILS 2006. Hinxton, UK, July 2006/
Ed. by  U.Leser, F.Naumann, B.Eckmann.-Berlin, Heidelberg: 
Springer, 2006.-Vol. 4075.-298 p.-(Lecture Notes in 
Bioinformatics).
 
  2. Coordination, Organizations, Institutions, and Norms in 
Multi-Agent Systems: Rev.Sel.Papers/AAMAS 2005, ANIREM 2005 
and OOOP 2005. Utrecht,The Netherlands,July 2005/Ed. by  
O.Boissier, J.Paget, V.Dignum, G.Lindemann.-Berlin, 
Heidelberg: Springer, 2006.-Vol. 3913.-259 p.-(Lecture Notes 
in Artificial Intelligence).
 
  3. Argumentation in Multi-Agent Systems: Revised Selected 
and Invited Papers/Second International Workshop, ArgMAS 
2005. Utrecht, The Netherlands, July 2005/Ed. by  S.Parsons, 
N.Maudet, P.Moraitis, I.Rahwan.-Berlin, Heidelberg: Springer,
 2006.-Vol. 4049.-313 p.-(Lecture Notes in Artificial 
Intelligence).
 
  4. Advances in Natural Language Processing: Proc./5th 
International Conference on NLP, FinTAL 2006. Turku, 
Finland, August 2006/Ed. by  T.Salakoski, F.Ginter, 
S.Pyysalo, T.Pahikkala.-Berlin, Heidelberg: Springer, 2006.
-Vol. 4139.-771 p.-(Lecture Notes in Artificial 
Intelligence).
 
  5. Rough Sets and Knowledge Technology: Proc./First 
International Conference, RSKT 2006. Chongqing, China, July 
2006/Ed. by  G.Wang, J.F.Peters, A.Skowron, Y.Yao.-Berlin, 
Heidelberg: Springer, 2006.-Vol. 4062.-810 p.-(Lecture Notes 
in Artificial Intelligence).
 
  6. Intelligent Virtual Agents: Proc./6th International 
Conference, IVA 2006. Marina Del Rey, CA, USA, August 2006/
Ed. by  J.Gratch, M.Young, R.Aylett, D.Ballin.-Berlin, 
Heidelberg: Springer, 2006.-Vol. 4133.-472 p.-(Lecture Notes 
in Artificial Intelligence).
 
  7. Haptic and Audio Interaction Design: Proc./First 
International Workshop, HAID 2006. Glasgow, UK, 
August/September 2006/Ed. by  D.Mcgookin, S.Brewster.
-Berlin, Heidelberg: Springer, 2006.-Vol. 4129.-167 p.
-(Lecture Notes in Computer Science).
 
  8. Combinatorial Pattern Matching: Proc./17th Annual 
Symposium, CPM 2006. Barcelona, Spain, July 2006/Ed. by  
M.Lewenstein, G.Valiente.-Berlin, Heidelberg: Springer, 2006.
-Vol. 4009.-414 p.-(Lecture Notes in Computer Science).
 
  9. Embedded Computer Systems: Architectures, Modeling, and 
Simulation: Proc./6th International Workshop, SAMOS 2006. 
Samos, Greece, July 2006/Ed. by  S.Vassiliadis, S.Wong, 
T.D.Haemaelaeinen.-Berlin, Heidelberg: Springer, 2006.-Vol. 
4017.-492 p.-(Lecture Notes in Computer Science).
 
 10. ECOOP 2006 - Object-Oriented Programming: Proc./20th 
European Conference. Nantes, France, July 2006/Ed. by  
D.Thomas.-Berlin, Heidelberg: Springer, 2006.-Vol. 4067.-527 
p.-(Lecture Notes in Computer Science).
 
 11. Structural, Syntactic, and Statistical Pattern 
Recognition: Proc./Joint IAPR International Workshops SSPR 
2006 and SPR 2006. Hong Kong, China, August 2006/Ed. by  
D.-Y.Yeung, J.T.Kwok, A.Fred, F.Roli.-Berlin, Heidelberg: 
Springer, 2006.-Vol. 4109.-939 p.-(Lecture Notes in Computer 
Science).
 
 12. Logical Approaches to Computational Barriers: 
Proc./Second Conference on Computability in Europe, CiE 
2006. Swansea, UK, June/July 2006/Ed. by  A.Beckmann, 
U.Berger, B.Loewe, J.V.Tucker.-Berlin, Heidelberg: Springer, 
2006.-Vol. 3988.-608 p.-(Lecture Notes in Computer Science).
 
 13. Окольнишников В.В. Разработка средств распределенного 
имитационного моделирования для многопроцессорных 
вычислительных систем: Автореф. дис... докт. техн. наук: 
05.13.18.-Новосибирск, 2006.-28 с.-Библиогр.: c.24-28.
 
 14. Pattern Recognition in Bioinformatics: 
Proc./International Workshop, PRIB 2006. Hong Kong, China, 
August 2006/Ed. by  J.C.Rajapakse, L.Wong, R.Acharya.
-Berlin, Heidelberg: Springer, 2006.-Vol. 4146.-185 p.
-(Lecture Notes in Bioinformatics).
 
 15. Computational Intelligence and Bioinformatics: Part II: 
Proc./International Conference on Intelligent Computing, 
ICIC 2006. Kunming, China, August 2006/Ed. by  D.-S.Huang, 
K.Li, G.W.Irwin.-Berlin, Heidelberg: Springer, 2006.-Vol. 
4115.-803 p.-(Lecture Notes in Bioinformatics).
 
 16. Engineering Self-Organized Systems: Revised Selected 
Papers/Third International Workshop, ESOA 2005. Utrecht, The 
Netherlands, July 2005/Ed. by  S.A.Brueckner, Marzo 
Serguendo G.Di, D.Hales, F.Zambonelli.-Berlin, Heidelberg: 
Springer, 2006.-Vol. 3910.-245 p.-(Lecture Notes in 
Artificial Intelligence).
 
 17. Automated Reasoning: Proc./Third International Joint 
Conference, IJCAR 2006. Seattle, WA, USA, August 2006/Ed. by 
U.Furbach, N.Shankar.-Berlin, Heidelberg: Springer, 2006.
-Vol. 4130.-680 p.-(Lecture Notes in Artificial 
Intelligence).
 
 18. Ambient Intelligence in Everyday Life: Foreword by 
Emile Aarts/Ed. by  Y.Cai, J.Abascal.-Berlin, Heidelberg: 
Springer, 2006.-Vol. 3864.-323 p.-(Lecture Notes in 
Artificial Intelligence).
 
 19. Dependable Systems: Software, Computing, Networks: 
Research Results of the DICS Program/Ed. by  J.Kohlas, 
B.Meyer, A.Schiper.-Berlin, Heidelberg: Springer, 2006.-Vol. 
4028.-295 p.-(Lecture Notes in Artificial Intelligence).
 
 20. Formal Methods for Components and Objects: Revised 
Lectures/4th International Symposium, FMCO 2005. Amsterdam, 
The Netherlands, November 2005/Ed. by  Boer F.S.De, 
M.M.Bonsangue, S.Graf, Roever W.-P.De.-Berlin, Heidelberg: 
Springer, 2006.-Vol. 4111.-429 p.-(Lecture Notes in 
Artificial Intelligence).
 
 21. Algebra, Meaning, and Computation: Essays Dedicated to 
Jeseph A. Goguen on the Occasion of His 65th Birthday/Ed. by 
K.Futatsugi, J.-P.Jouannaud, J.Meseguer.-Berlin, Heidelberg: 
Springer, 2006.-Vol. 4060.-643 p.-(Lecture Notes in 
Artificial Intelligence).
 
 22. Intelligence and Security Informatics: 
Proc./International Workshop, WISI 2006. Singapore, April 
2006/Ed. by  H.Chen, F.Y.Wang, Ch.C.Yang, D.Zeng.-Berlin, 
Heidelberg: Springer, 2006.-Vol. 3917.-186 p.-(Lecture Notes 
in Computer Science).
 
 23. Security in Pervasive Computing: Proc./Third 
International Conference, SPC 2006. York, UK, April 2006/Ed. 
by  J.A.Clark, R.F.Paige, F.A.C.Polack, Ph.J.Brooke.-Berlin, 
Heidelberg: Springer, 2006.-Vol. 3934.-243 p.-(Lecture Notes 
in Computer Science).
 
 24. Trust, Privacy, and Security in Digital Business: 
Proc./Third International Conference, TrustBus 2006. Krakow, 
Poland, September 2006/Ed. by  S.Fischer-Huebner, S.Furnell, 
C.Lambrinoudakis.-Berlin, Heidelberg: Springer, 2006.-Vol. 
4083.-243 p.-(Lecture Notes in Computer Science).
 
 25. Relational Methods in Computer Science: Selected 
Revised Papers/8th Intl Seminar RMCS; 3rd Intl WS AKA & WS 
of COST Action 274: TARSKI. St.Catharines, ON, Canada, Feb 
2005/Ed. by  W.Maccaull, M.Winter, I.Duentsch.-Berlin, 
Heidelberg: Springer, 2006.-Vol. 3929.-263 p.-(Lecture Notes 
in Computer Science).
 
 26. Flexible and Efficient Information Handling: Proc./23rd 
British National Conference on Databases, BNCOD 23. Belfast, 
Northern Ireland, UK, July 2006/Ed. by  D.Bell, J.Hong.
-Berlin, Heidelberg: Springer, 2006.-Vol. 4042.-296 p.
-(Lecture Notes in Computer Science).
 
 27. Implementation and Application of Automata: Proc./11th 
International Conference, CIAA 2006. Taipei, Taiwan, August 
2006/Ed. by  O.H.Ibarra, H.-Ch.Yen.-Berlin, Heidelberg: 
Springer, 2006.-Vol. 4094.-291 p.-(Lecture Notes in Computer 
Science).
 
 28. Advances in Information Retrieval: Proc./28th European 
Conference on IR Research, ECIR 2006. London, UK, April 2006/
Ed. by  M.Lalmas, A.Macfarlane, S.Rueger, A.Tombros.-Berlin, 
Heidelberg: Springer, 2006.-Vol. 3936.-584 p.-(Lecture Notes 
in Computer Science).
 
 29. Advances in Cryptology - CRYPTO 2006: Proc./26th Annual 
International Conference. Santa Barbara, CA, USA, August 2006
/Ed. by  C.Dwork.-Berlin, Heidelberg: Springer, 2006.-Vol. 
4117.-621 p.-(Lecture Notes in Computer Science).
 
 30. Medical Imaging and Augmented Reality: Proc./Third 
International Workshop. Shanghai, China, August 2006/Ed. by  
G.-Z.Yang, T.Jiang, D.Shen, L.Gu.-Berlin, Heidelberg: 
Springer, 2006.-Vol. 4091.-399 p.-(Lecture Notes in Computer 
Science).
 
 31. FM 2006: Formal Methods: Proc./14th International 
Symposium on Formal Methods. Hamilton, Canada, August 2006/
Ed. by  J.Misra, T.Nipkow, E.Sekerinski.-Berlin, Heidelberg: 
Springer, 2006.-Vol. 4085.-620 p.-(Lecture Notes in Computer 
Science).
 
 32. Relations and Kleene Algebra in Computer Science: 
Proc./9th Intl Conference on Relational Methods in CS & 4th 
Intl WS RelMiCS/AKA 2006. Manchester, UK, Aug/Sep 2006/Ed. 
by  R.A.Schmidt.-Berlin, Heidelberg: Springer, 2006.-Vol. 
4136.-433 p.-(Lecture Notes in Computer Science).
 
 33. Information Security and Cryptography - ICISC 2005: 
Revised Selected Papers/8th International Conference. Seoul, 
Korea, December 2005/Ed. by  D.Won, S.Kim.-Berlin, Heidelberg:
 Springer, 2006.-Vol. 3935.-458 p.-(Lecture Notes in 
Computer Science).
 
 34. Ad-Hoc, Mobile, and Wireless Networks: Proc./5th 
International Conference, ADHOC-NOW 2006. Ottawa, Canada, 
August 2006/Ed. by  Th.Kunz, S.S.Ravi.-Berlin, Heidelberg: 
Springer, 2006.-Vol. 4104.-474 p.-(Lecture Notes in Computer 
Science).
 
 35. Wireless Algorithms, Systems, and Applications: 
Proc./First International Conference, WASA 2006. Xi'an, 
China, August 2006/Ed. by  X.Cheng, W.Li, T.Znati.-Berlin, 
Heidelberg: Springer, 2006.-Vol. 4138.-709 p.-(Lecture Notes 
in Computer Science).
 
 36. Static Analysis: Proc./13th International Symposium, 
SAS 2006. Seoul, Korea, August 2006/Ed. by  K.Yi.-Berlin, 
Heidelberg: Springer, 2006.-Vol. 4134.-443 p.-(Lecture Notes 
in Computer Science).
 
 37. Approximation, Randomization, and Combinatorial 
Optimization: Algorithms and Techniques: Proc/9th Int.WS 
APPROX 2006 & 10th Int.WS RANDOM 2006. Barcelona, Spain, 
2006/Ed. by  J.Diaz, K.Jansen, J.D.P.Rolim, U.Zwick.-Berlin, 
Heidelberg: Springer, 2006.-Vol. 4110.-522 p.-(Lecture Notes 
in Computer Science).
 
 38. Logic Programming: Proc./22nd International Conference, 
ICLP 2006. Seattle, WA, USA, August 2006/Ed. by  S.Etalle, 
M.Truszczynski.-Berlin, Heidelberg: Springer, 2006.-Vol. 4079.
-474 p.-(Lecture Notes in Computer Science).
 
 39. Advances in Computer Graphics: Proc./24th Computer 
Graphics International Conference, CGI 2006. Hangzhou, 
China, June 2006/Ed. by  T.Nishita, Q.Peng, H.-P.Seidel.
-Berlin, Heidelberg: Springer, 2006.-Vol. 4035.-771 p.
-(Lecture Notes in Computer Science).
 
 40. Advances in Machine Vision, Image Processing, and 
Pattern Analysis: Proc./IWICPAS 2006. Xi'an, China, August 
2006/Ed. by  N.Zheng, X.Jiang, X.Lan.-Berlin, Heidelberg: 
Springer, 2006.-Vol. 4153.-506 p.-(Lecture Notes in Computer 
Science).
 
 41. Mathematical Foundations of Computer Science 2006: 
Proc./31st International Symposium, MFCS 2006. Stara Lesna, 
Slovakia, August/September 2006/Ed. by  R.Kralovic, 
P.Urzyczyn.-Berlin, Heidelberg: Springer, 2006.-Vol. 4162.
-814 p.-(Lecture Notes in Computer Science).
 
 42. Information Security: Proc./9th International 
Conference, ISC 2006. Samos Island, Greece, August/September 
2006/Ed. by  S.K.Katsikas, J.Lopez, M.Backes, S.Gritzalis.
-Berlin, Heidelberg: Springer, 2006.-Vol. 4176.-548 p.
-(Lecture Notes in Computer Science).
 
 43. Computer Aided Verification: Proc./18th International 
Conference, CAV 2006. Seattle, WA, USA, August 2006/Ed. by  
Th.Ball, R.B.Jones.-Berlin, Heidelberg: Springer, 2006.-Vol. 
4144.-564 p.-(Lecture Notes in Computer Science).
 
 44. CONCUR 2006 - Concurrency Theory: Proc./17th 
International Conference, CONCUR 2006. Bonn, Germany, August 
2006/Ed. by  Ch.Baier, H.Hermanns.-Berlin, Heidelberg: 
Springer, 2006.-Vol. 4137.-525 p.-(Lecture Notes in Computer 
Science).
 
 45. Euro-Par 2006 Parallel Processing: Proc./12th 
International Euro-Par Conference. Dresden, Germany, 
August/September 2006/Ed. by  W.E.Nagel, W.V.Walter, W.Lehner.
-Berlin, Heidelberg: Springer, 2006.-Vol. 4128.-1221 p.
-(Lecture Notes in Computer Science).
 
 46. Technologies for E-Learning and Digital Entertainment: 
Proc./First International Conference, Edutainment 2006. 
Hangzhou, China, April 2006/Ed. by  Zh.Pan, R.Aylett, 
H.Diener, X.Jin.-Berlin, Heidelberg: Springer, 2006.-Vol. 
3942.-1396 p.-(Lecture Notes in Computer Science).
 
 47. Kohlhase M. OMDoc - An Open Markup Format for 
Mathematical Documents [version 1.2].- Berlin, Heidelberg: 
Springer, 2006.- 428 p.-(Lecture Notes in Computer Science; 
Vol. 4180).-Bibliogr.: p.375-388.
 
 48. Методы предикатного программирования: выпуск 2/ИСИ СО 
РАН; Ред. В.И.Шелехов.-Новосибирск, 2006.-115 с.
 
 49. Соколов А.В. Математические модели и алгоритмы 
оптимального управления динамическими структурами данных: 
Автореф. дис... докт. ф.-м. наук: 05.13.18, 05.13.17.
-Санкт-Петербург, 2006.-34 с.-Библиогр.: c.29-34.
 
 50. Безродных С.И. Сингулярная задача Римана-Гильберта и ее 
приложение: Автореф. дис... канд.  ф.-м. наук: 01.01.03.
-Москва, 2006.-20 с.-Библиогр.: c.19-20.
 
 51. Книжный И.М. Сжатие статических изображений с 
постоянной скоростью сжимающего кодирования в задачах 
дистанционного зондирования Земли: Автореф. дис... докт. 
техн. наук: 05.12.04.-Москва, 2006.-19 с.-Библиогр.: c.19.
 
 52. Хрекин К.Е. Разработка методов сжатия без потерь для 
изображения: Автореф. дис... канд. техн. наук: 05.12.04.
-Москва, 2006.-19 с.-Библиогр.: c.19.
 
 53. Системы программного обеспечения решения задач 
оптимального планирования: краткие тезисы докладов/Пятый 
Всесоюзный симпозиум. Нарва-Йыэссуу, 21-28 мая 1978/ЦЭМИ АН 
СССР; .-Москва, 1978.-205 с.
 
 54. Ежегодный отчет 2005/ИЯФ СО РАН. .- Новосибирск, 2006.- 
287 с.



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