Библиотека

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

Hовые поступления c 10 июля по 7 августа 2006 года


  1. Computer Vision in Human-Computer Interaction: 
Proc./ECCV 2006 Workshop on HCI. Graz, Austria, May 2006/Ed. 
by  Th.S.Huang, N.Sebe, M.S.Lew, V.Pavlovic.-Berlin, 
Heidelberg: Springer, 2006.-Vol. 3979.-121 p.-(Lecture Notes 
in Computer Science).
 
  2. Extreme Programming and Agile Processes in Software 
Engineering: Proc./7th International Conference, XP 2006. 
Oulu, Finland, June 2006/Ed. by  P.Abrahamsson, M.Marchesi, 
G.Succi.-Berlin, Heidelberg: Springer, 2006.-Vol. 4044.-230 
p.-(Lecture Notes in Computer Science).
 
  3. Natural Language Processing and Information Systems: 
Proc./11th International Conference on Applications of 
Natural Language to Information Systems, NLDB 2006. 
Klagenfurt, Austria, May/June 2006/Ed. by  Ch.Kop, G.Fliedl, 
H.C.Mayr, E.Metais.-Berlin, Heidelberg: Springer, 2006.-Vol. 
3999.-227 p.-(Lecture Notes in Computer Science).
 
  4. Formal Methods for Open Object-Based Distributed 
Systems: Proc./8th IFIP WG 6.1 International Conference, 
FMOODS 2006. Bologna, Italy, June 2006/Ed. by  R.Gorrieri, 
H.Wehrheim.-Berlin, Heidelberg: Springer, 2006.-Vol. 4037.
-267 p.-(Lecture Notes in Computer Science).
 
  5. Reliable Software Technologies - Ada-Europe 2006: 
Proc./11th Ada-Europe International Conference on Reliable 
Software Technologies. Porto, Portugal, June 2006/Ed. by  
L.M.Pinho, Harbour M.Gonzalez.-Berlin, Heidelberg: Springer, 
2006.-Vol. 4006.-241 p.-(Lecture Notes in Computer Science).
 
  6. Public Key Infrastructure: Proc./Third European PKI 
Workshop: Theory and Practice, EuroPKI 2006. Turin, Italy, 
June 2006/Ed. by  A.S.Atzeni, A.Lioy.-Berlin, Heidelberg: 
Springer, 2006.-Vol. 4043.-261 p.-(Lecture Notes in Computer 
Science).
 
  7. Computer Music Modeling and Retrieval: Revised 
Papers/Third International Symposium, CMMR 2005. Pisa, 
Italy, September 2005/Ed. by  R.Kronland-Martinet, 
Th.Voinier, S.Ystad.-Berlin, Heidelberg: Springer, 2006.
-Vol. 3902.-275 p.-(Lecture Notes in Computer Science).
 
  8. Coordination Models and Languages: Proc./8th 
International Conference, COORDINATION 2006. Bologna, Italy, 
June 2006/Ed. by  P.Ciancarini, H.Wiklicky.-Berlin, 
Heidelberg: Springer, 2006.-Vol. 4038.-299 p.-(Lecture Notes 
in Computer Science).
 
  9. Integration of AI and OR Techniques in Constraint 
Programming for Combinatorial Optimization Problems: 
Proc./Third International Conference, CPAIOR 2006. Cork, 
Ireland, May/June 2006/Ed. by  J.Ch.Beck, B.M.Smith.-Berlin, 
Heidelberg: Springer, 2006.-Vol. 3990.-301 p.-(Lecture Notes 
in Computer Science).
 
 10. Distributed Applications and Interoperable Systems: 
Proc./6th IFIP WG 6.1 International Conference, DAIS 2006. 
Bologna, Italy, June 2006/Ed. by  F.Eliassen, A.Montressor.
-Berlin, Heidelberg: Springer, 2006.-Vol. 4025.-355 p.
-(Lecture Notes in Computer Science).
 
 11. Algorithmic Aspects in Information and Management: 
Proc./Second International Conference, AAIM 2006. Hong Kong, 
China, June 2006/Ed. by  S.-W.Cheng, Ch.K.Poon.-Berlin, 
Heidelberg: Springer, 2006.-Vol. 4041.-395 p.-(Lecture Notes 
in Computer Science).
 
 12. Algorithms and Complexity: Proc./6th Italian 
Conference, CIAC 2006. Rome, Italy, May 2006/Ed. by  
T.Calamoneri, I.Finocchi, G.F.Italiano.-Berlin, Heidelberg: 
Springer, 2006.-Vol. 3998.-394 p.-(Lecture Notes in Computer 
Science).
 
 13. Intelligence and Security Informatics: Proc./IEEE 
International Conference on Intelligence and Security 
Informatics, ISI 2006. San Diego, CA, USA, May 2006/Ed. by  
Sh.Mehrota, D.D.Zeng, Hs.Chen, Bh.Thuraisingham.-Berlin, 
Heidelberg: Springer, 2006.-Vol. 3975.-772 p.-(Lecture Notes 
in Computer Science).
 
 14. Theory and Applications of Models of Computation: 
Proc./Third International Conference, TAMC 2006. Beijing, 
China, May 2006/Ed. by  J.-Y.Cai, S.B.Cooper, A.Li.-Berlin, 
Heidelberg: Springer, 2006.-Vol. 3959.-794 p.-(Lecture Notes 
in Computer Science).
 
 15. Product-Based Software Process Improvement: Proc./7th 
International Conference, PROFES 2006. Amsterdam, The 
Netherlands, June 2006/Ed. by  J.Muench, M.Vierimaa.-Berlin, 
Heidelberg: Springer, 2006.-Vol. 4034.-474 p.-(Lecture Notes 
in Computer Science).
 
 16. Adaptive Hypermedia and Adaptive Web-Based Systems: 
Proc./4th International Conference, AH 2006. Dublin, 
Ireland, June 2006/Ed. by  V.Wade, H.Ashman, B.Smyth.
-Berlin, Heidelberg: Springer, 2006.-Vol. 4018.-474 p.
-(Lecture Notes in Computer Science).
 
 17. Intelligent Tutoring Systems: Proc./8th International 
Conference, ITS 2006. Jhongli, Taiwan, June 2006/Ed. by  
M.Ikeda, K.D.Ashley, T.W.Chan.-Berlin, Heidelberg: Springer, 
2006.-Vol. 4053.-821 p.-(Lecture Notes in Computer Science).
 
 18. Reuse of Off-the-Shelf Components: Proc./9th 
International Conference on Software Reuse, ICSR 2006/Ed. by 
M.Morisio.-Berlin, Heidelberg: Springer, 2006.-Vol. 4039.
-444 p.-(Lecture Notes in Computer Science).
 
 19. Distributed Computing in Sensor Systems: Proc./Second 
IEEE International Conference, DCOSS 2006. San Francisco, 
CA, USA, June 2006/Ed. by  Ph.B.Gibbons, T.Abdelzaher, 
J.Aspnes, R.Rao.-Berlin, Heidelberg: Springer, 2006.-Vol. 
4026.-566 p.-(Lecture Notes in Computer Science).
 
 20. Advances in Web-Age Information Management: Proc./7th 
International Conference, WAIM 2006. Hong Kong, China, June 
2006/Ed. by  J.X.Yu, M.Kitsuregawa, H.V.Leong.-Berlin, 
Heidelberg: Springer, 2006.-Vol. 4016.-606 p.-(Lecture Notes 
in Computer Science).
 
 21. Computational Science - ICCS 2006: Part I: Proc./6th 
International Conference. Reading, UK, May 2006/Ed. by  
V.N.Alexandrov, Albada G.D.Van, P.M.A.Sloot, J.Dongarra.
-Berlin, Heidelberg: Springer, 2006.-Vol. 3991.-1096 p.
-(Lecture Notes in Computer Science).
 
 22. Computational Science - ICCS 2006: Part II: Proc./6th 
International Conference. Reading, UK, May 2006/Ed. by  
V.N.Alexandrov, Albada G.D.Van, P.M.A.Sloot, J.Dongarra.
-Berlin, Heidelberg: Springer, 2006.-Vol. 3992.-1122 p.
-(Lecture Notes in Computer Science).
 
 23. Computational Science - ICCS 2006: Part III: Proc./6th 
International Conference. Reading, UK, May 2006/Ed. by  
V.N.Alexandrov, Albada G.D.Van, P.M.A.Sloot, J.Dongarra.
-Berlin, Heidelberg: Springer, 2006.-Vol. 3993.-1136 p.
-(Lecture Notes in Computer Science).
 
 24. Computational Science - ICCS 2006: Part IV: Proc./6th 
International Conference. Reading, UK, May 2006/Ed. by  
V.N.Alexandrov, P.M.A.Sloot, Albada G.D.Van, J.Dongarra.
-Berlin, Heidelberg: Springer, 2006.-Vol. 3994.-1096 p.
-(Lecture Notes in Computer Science).
 
 25. Algebraic Methodology and Software Technology: 
Proc./11th International Conference, AMAST 2006. Kuressaare, 
Estonia, July 2006/Ed. by  M.Johnson, V.Vene.-Berlin, 
Heidelberg: Springer, 2006.-Vol. 4019.-389 p.-(Lecture Notes 
in Computer Science).
 
 26. Combinatorial Image Analysis: Proc./11th International 
Workshop, IWCIA 2006. Berlin, Germany, June 2006/Ed. by  
R.Reuke, U.Eckardt, B.Flach, U.Knauer.-Berlin, Heidelberg: 
Springer, 2006.-Vol. 4040.-482 p.-(Lecture Notes in Computer 
Science).
 
 27. Advances in Artificial Intelligence: Proc./4th Helenic 
Conference on AI, SETN 2006. Heraklion, Crete, Greece, May 
2006/Ed. by  G.Antoniou, G.Potamias, C.Spyropoulos, 
D.Plexousakis.-Berlin, Heidelberg: Springer, 2006.-Vol. 3955.
-611 p.-(Lecture Notes in Artificial Intelligence).
 
 28. Learning Theory: Proc./19th Annual Conference on 
Learning Theory, COLT 2006. Pittsburgh, PA, USA, June 2006/
Ed. by  G.Lugosi, H.U.Simon.-Berlin, Heidelberg: Springer, 
2006.-Vol. 4005.-656 p.-(Lecture Notes in Artificial 
Intelligence).
 
 29. New Frontiers in Artificial Intelligence: Joint JSAI 
2005 Workshop Post-Proceedings/Ed. by  T.Washio, A.Sakurai, 
K.Nakajima, H.Takeda.-Berlin, Heidelberg: Springer, 2006.
-Vol. 4012.-484 p.-(Lecture Notes in Artificial 
Intelligence).
 
 30. Advances in Artificial Intelligence: Proc./19th 
Conference of the Canadian Society for Computational Studies 
of Intelligence, Canadian AI 2006. Quebec City, Quebec, 
Canada, June 2006/Ed. by  L.Lamontagne, M.Marchand.-Berlin, 
Heidelberg: Springer, 2006.-Vol. 4013.-564 p.-(Lecture Notes 
in Artificial Intelligence).
 
 31. Advances in Applied Artificial Intelligence: Proc./19th 
International Conference on Industrial Engineering and Other 
Applications of Applied Intelligent Systems, IEA/AIE 2006. 
Annecy, France, June 2006/Ed. by  M.Ali, R.Dapoigny.-Berlin, 
Heidelberg: Springer, 2006.-Vol. 4031.-1353 p.-(Lecture 
Notes in Artificial Intelligence).
 
 32. Unifying Theories of Programming: Revised Selected 
Papers/First International Symposium, UTP 2006. Walworth 
Castle, County Durham, UK, February 2006/Ed. by  S.Dunne, 
B.Stoddart.-Berlin, Heidelberg: Springer, 2006.-Vol. 4010.
-257 p.-(Lecture Notes in Computer Science).
 
 33. Mathematics of Program Construction: Proc./8th 
International Conference, MPC 2006. Kuressaare, Estonia, 
July 2006/Ed. by  T.Uustalu.-Berlin, Heidelberg: Springer, 
2006.-Vol. 4014.-455 p.-(Lecture Notes in Computer Science).
 
 34. Advances in XML Information Retrieval and Evaluation: 
Revised Selected Papers/4th International Workshop of the 
Initiative for the Evaluation of XML Retrieval, INEX 2005. 
Dagstuhl Castle, Germany, November 2005/Ed. by  N.Fuhr, 
M.Lalmas, S.Malik, G.Kazai.-Berlin, Heidelberg: Springer, 
2006.-Vol. 3977.-556 p.-(Lecture Notes in Computer Science).
 
 35. Cognitive Vision Systems: Sampling the Spectrum of 
Approaches/Ed. by  H.I.Christensen, H.-H.Nagel.-Berlin, 
Heidelberg: Springer, 2006.-Vol. 3948.-367 p.-(Lecture Notes 
in Computer Science).-Bibliogr.: p.323-353.
 
 36. Artificial Intelligencee and Soft Computing - ICAISC 
2006: Proc./8th International Conference. Zakopane, Poland, 
June 2006/Ed. by  L.Rutkowski, R.Tadeusiewicz, L.A.Zadeh, 
J.Zurada.-Berlin, Heidelberg: Springer, 2006.-Vol. 4029.
-1235 p.-(Lecture Notes in Artificial Intelligence).
 
 37. Труды Института Системного Программирования/Институт 
Системного Программирования РАН; Ред. В.П.Иванников.-М., 2004.
-Т. 5.-280 с.
 
 38. Труды Института Системного Программирования/Институт 
Системного Программирования РАН; Ред. В.П.Иванников.-М., 2004.
-Т. 6.-198 с.
 
 39. Труды Института Системного Программирования/Институт 
Системного Программирования РАН; Ред. А.А.Жданов.-М., 2004.
-Т. 7.-173 с.
 
 40. Труды Института Системного Программирования/Институт 
Системного Программирования РАН; Ред. В.П.Иванников.-М., 2004.
-Т. 8, Ч. 1.-227 с.
 
 41. Труды Института Системного Программирования/Институт 
Системного Программирования РАН; Ред. В.П.Иванников.-М., 2004.
-Т. 8, Ч. 2.-214 с.
 
 42. Труды Института Системного Программирования/Институт 
Системного Программирования РАН; Ред. В.Н.Иванников.-Москва, 
2006.-Т. 9.-250 с.
 
 43. SORUCOM.2006: материалы конференции, часть 
I/международная конференция "Развитие вычислительной техники 
в России и странах бывшего СССР: история и перспективы". 
Петрозаводск, 3-7 июля 2006/Петрозаводский Государственный 
Университет; Ред. Н.С.Рузанов, И.Г.Лежнев, С.А.Шлыкова.
-Петрозаводск, 2006.-192 с.
 
 44. SORUCOM.2006, часть II - материалы 
конференции/международная конференция "Развитие 
вычислительной техники в России и странах бывшего СССР: 
история и перспективы". Петрозаводск, 3-7 июля 2006/
Петрозаводский Государственный Университет; Ред. 
Н.С.Рузанова, И.Г.Лежнев, С.А.Шлыкова.-Петрозаводск, 2006.
-161 с.
 
 45. Чернов А.В. Интегрированная инструментальная среда 
Poirot для изучения методов маскировки программ.-Москва, 2003.
-14 с.-(Препринт/Институт Системного Программирования РАН; N 
1).
 
 46. Посыпкин М.А., Соколов А.А. Обзор методов автоматизации 
мониторинга, анализа и визуализации поведения параллельных 
процессов, взаимодействующих с помощью передачи сообщений.
-Москва, 2005.-55 с.-(Препринт/Институт Системного 
Программирования РАН; N 7).
 
 47. Падарян В.А. Оценка времени работы параллельной 
программы с помощью интерпретатора среды ParJava.-Москва, 
2005.-38 с.-(Препринт/Институт Системного Программирования 
РАН; N 6).
 
 48. Стасенко А.П., Синяков А.И. Базовые средства языка 
SISAL 3.1.-Новосибирск, 2006.-56 с.-(Препринт/ИСИ СО РАН; N 
132).
 
 49. Ponomaryov D. Lattice Semantics for Incremental Data 
Extraction from Declarative Knowledge Bases.-Novosibirsk, 
2006.-13 p.-(Rep./IIS SB RAS; N 134).
 
 50. CMP Annual Report 2005/Circuits Multi Projets. .- 
Grenoble, 2006.- 150 p.
 
 51. Малюх В.Н. Методы организации функционального 
взаимодействия приложений в расширяемых графических САПР: 
Дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2006.-93 с.
-Библиогр.: c.80-84.
 
 52. Perspectives of System Informatics: Preliminary 
Proceedings/Sixth International Andrei Ershov Memorial 
Conference. Akademgorodok, Novosibirsk, June 27-30, 2006/IIS 
SB RAS; Ed. by  O.Drobyshevich, Z.Skok.-Novosibirsk, 2006.
-305 p.
 
 53. Pathways: Women and Computing/Excerpts from inroads - 
SIGCSE Bulletin, Comm. of the ACM, IEEE Annals of the 
History of Computing/ACM; , 2005.
 
 54. 500 PC WEEK 1995-2005/СК ПРЕСС; .-М.: СК Пресс, 2006.
 
 55. Усоцкая Н.С. Исследование эквивалентностей на 
гибридно-временных структурах событий.-Новосибирск, 2006.-24 
с.-(Препринт/ИСИ СО РАН; N 133).