Библиотека

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

Hовые поступления с 20 апреля по 14 мая 2009 года


  1. Институт вычислительной математики и математической 
геофизики (ВЦ) СО РАН. Страницы истории/Ред. Б.Г.Михайленко; 
СО РАН. ИВМ и МГ СО РАН. .- Новосибирск: Академическое 
изд-во "Гео", 2008.- 612 с.
 
  2. Бородин О. Н. Построение специализированной системы 
информационного поиска в объектно-реляционной базе данных 
АПК: Автореф. дис... канд. тех. наук: 05.13.01.-М., 2009.-20 
с.-Библиогр.: c.20.
 
  3. Яшина В.В. Построение и исследование дескриптивных 
алгебр изображений с одним кольцом: Автореф. дис... канд. 
ф.-м. наук: 05.13.17.-М., 2009.-26 с.-Библиогр.: c.25-26.
 
  4. Трусова Ю.О. Представление предметной области "Анализ 
изображений" в виде специализированного тезауруса: Автореф. 
дис... канд. тех. наук: 05.13.17.-М., 2009.-26 с.-Библиогр.: 
c.24-26.
 
  5. Ващенко М.П. Математические модели инвестиций в 
условиях ожидания кризиса: Автореф. дис... канд. ф.-м. наук: 
05.13.18.-М., 2009.-15 с.-Библиогр.: c.15.
 
  6. Белова И.Н. Матричные модели динамики популяций с 
дискретными структурами: Автореф. дис... канд. ф.-м. наук: 
05.13.18.-М., 2009.-23 с.-Библиогр.: c.20-23.
 
  7. Стасенко А.П. Модели и реализация транслирующих 
компонентов системы функционального программирования: 
Автореф. дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2009.
-22 с.-Библиогр.: c.20-22.
 
  8. Саломатина Н.В. Методы и программные средства выделения 
и численного оценивания вариативности языковых единиц: 
Автореф. дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2009.
-24 с.-Библиогр.: c.22-24.
 
  9. Сборник упражнений по программированию на языке ПАСКАЛЬ/
В.А. Агафонов, И.В. Поттосин, М.М. Бежанова и др.;
Министерство высшего и среднего специального образования 
РСФСР. НГУ. .- Новосибирск, 1985.- 79 с.-Библиогр.: c.78.
 
 10. Батура Т.В., Мурзин Ф.А. Машинно-ориентированные 
логические методы отображения семантики текста на 
естественном языке/ИСИ СО РАН. .- Новосибирск, 2008.- 248 с.
-Библиогр.: c.202-207.
 
 11. Методы параллельного микропрограммирования/Ред. 
О.Л.Бандман; ИМ СО АН СССР. .- Новосибирск: Наука, 1981.- 
180 с.-Библиогр.: c.173-176.
 
 12. Kotov E.V., Narin'Any A.S., Tyugu E.N. The USSR Academy 
of Sciences START Project//Information Processing 89.-1989.
-P.623-626.-Bibliogr.: p.626.
 
 13. Kotov V.E. Modular Highly-parallel Computation and 
Architectures//Parcella'88.-Berlin, 1988.-Vol. 48.-P.147-155.
-Bibliogr.: p.155.
 
 14. Максимов М.И. Оптимальные и субоптимальные алгоритмы 
обработки речевых сообщений при наличии адитивных искажений: 
Автореф. дис... канд. тех. наук: 05.13.17.-Воронеж, 2009.-24 
с.-Библиогр.: c.24.
 
 15. Васильев А.В. Эффективные алгоритмы в модели квантовых 
ветвящихся программ: Автореф. дис... канд. ф.-м. наук: 
01.01.09.-Казань, 2009.-15 с.-Библиогр.: c.15.
 
 16. Малков М.А. Моделирование и разработка комплекса 
программ идентификации голосового сообщения по фонемной 
составляющей и индивидуальным характеристикам голоса: 
Автореф. дис... канд. тех. наук: 05.13.18.-М., 2009.-22 с.
-Библиогр.: c.21-22.
 
 17. Воблый В.А. Некоторые задачи пересчисления помеченных 
связных графов: Автореф. дис... канд. ф.-м. наук: 01.01.09.
-М., 2009.-21 с.-Библиогр.: c.20-21.
 
 18. Graph-Theoretic Concepts in Computer Science: Revised 
Papers/34th International Workshop, WG 2008 Durham, UK, 
June/July 2008/Ed. by  H.Broersma, Th.Erlebach, 
T.Friedetzky, D.Paulusma.-Berlin, Heidelberg: Springer, 2008.
-Vol. 5344.-386 p.-(Lecture Notes in Computer Science).
 
 19. Compiler Construction: Proc./18th International 
Conference, CC 2009, ETAPS 2009, York, UK, March 2009/Ed. by 
O.De_Moor, M.I.Schwartzbach.-Berlin, Heidelberg: Springer, 
2009.-Vol. 5501.-281 p.-(Lecture Notes in Computer Science).
 
 20. Programming Languages and Systems: Proc./18th European 
Symposium ESOP 2009, ETAPS 2009, York, UK, March 2009/Ed. by 
G.Castagna.-Berlin, Heidelberg: Springer, 2009.-Vol. 5502.
-411 p.-(Lecture Notes in Computer Science).
 
 21. Fundamntal Approaches to Software Engineering: 
Proc./12th International Conference, EASE 2009, ETAPS 2009, 
York, UK, March 2009/Ed. by  M.Chechik, M.Wirsing.-Berlin, 
Heidelberg: Springer, 2009.-Vol. 5503.-488 p.-(Lecture Notes 
in Computer Science).
 
 22. Foundations of Software Science and Computational 
Structures: Proc./12th Intarnational Conference, FOSSACS 
2009, ETAPS 2009, York. UK, March 2009/Ed. by  L.De_Alfaro.
-Berlin, Heidelberg: Springer, 2009.-Vol. 5504.-471 p.
-(Lecture Notes in Computer Science).
 
 23. Tools and Algorithms for the Construction and Analysis 
of Systems: Proc./15th International Conference, TACAS 2009, 
ETAPS 2009, York, UK, March 2009/Ed. by  S.Kowalewski, 
A.Philippou.-Berlin, Heidelberg: Springer, 2009.-Vol. 5505.
-456 p.-(Lecture Notes in Computer Science).
 
 24. Parallel Processing/Ed. by  G.Goos, J.Hartmanis.
-Berlin, Heidelberg: Springer, 1975.-Vol. 24.-433 p.
-(Lecture Notes in Computer Science).
 
 25. Computer Performance Evaluation and Benchmarking: 
Proc./SPEC Benchmark Workshop 2009, Austin, TX,USA, January 
2009/Ed. by  D.Kaeli, K.Sachs.-Berlin, Heidelberg: Springer, 
2009.-Vol. 5419.-145 p.-(Lecture Notes in Computer Science).
 
 26. Service-Oriented Computing - ICSOC 2007 Workshops: 
Revised Selected Papers/ ICSOC 2007, International 
Workshops, Vienna, Austria, September 2007/Ed. by  E.Di Nitto.
-Berlin, Heidelberg: Springer, 2009.-Vol. 4907.-452 p.
-(Lecture Notes in Computer Science).
 
 27. Engineering Secure Software and Systems: Proc./First 
International Symposium, ESSoS 2009, Leuven, Belgium, 
February 2009/Ed. by  F.Massacci, S.T.Redwine_Jr., N.Zannone.
-Berlin, Heidelberg: Springer, 2009.-Vol. 5429.-201 p.
-(Lecture Notes in Computer Science).
 
 28. Membrane Computing: Revised Selected and Invited 
Papers/9th International Workshop, WMC 2008, Edinburgh, UK, 
July 2008/Ed. by  D.W.Corne, P.Frisco, G.Paun, G.Rozenberg.
-Berlin, Heidelberg: Springer, 2009.-Vol. 5391.-403 p.
-(Lecture Notes in Computer Science).
 
 29. Complexity of Constraints: An Overview of Current 
Research Themes/Ed. by  N.Creignou, P.G.Kolaitis, H.Vollmer.
-Berlin, Heidelberg: Springer, 2008.-Vol. 5250.-321 p.
-(Lecture Notes in Computer Science).
 
 30. Transactions on Computational Science III/Ed. by  
M.L.Gavrilova, C.J.K.Tan.-Berlin, Heidelberg: Springer, 2009.
-Vol. 5300.-185 p.-(Lecture Notes in Computer Science).
 
 31. Software Engineering: Revised Tutorial Lectures/ 
International Summer Schools ISSSE 2006-2008, Salerno, Italy/
Ed. by  A.De Luchia, F.Ferrucci.-Berlin, Heidelberg: Springer,
 2009.-Vol. 5413.-257 p.-(Lecture Notes in Computer Science).
 
 32. Biometrics and Identity Management: Revised Selected 
Papers/ First European Workshop, BIOID 2008, Roskilde, 
Denmark, May 2008/Ed. by  B.Schouten, N.Ch.Juul, A.Drygajlo, 
M.Tistarelli.-Berlin, Heidelberg: Springer, 2008.-Vol. 5372.
-259 p.-(Lecture Notes in Computer Science).
 
 33. Approximation and Online Algorithms: Revised Papers/6th 
International Workshop, WAOA 2008, Karlsruhe, Germany, 
September 2008/Ed. by  E.Bampis, M.Skutella.-Berlin, 
Heidelberg: Springer, 2009.-Vol. 5426.-293 p.-(Lecture Notes 
in Computer Science).
 
 34. Integrated Formal Mathods: Proc./7th International 
Conference, IFM 2009, Dusseldorf, Germany, February 2009/Ed. 
by  M.Leuschel, H.Wehrheim.-Berlin, Heidelberg: Springer, 
2009.-Vol. 5423.-367 p.-(Lecture Notes in Computer Science).
 
 35. Reconfigurable Computing: Architectures, Tools and 
Applications: Proc./5th International Workshop, ARC 2009, 
Karlsruhe, Germany, March 2009/Ed. by  J.Becker, R.Woods, 
P.Athanas, F.Morgan.-Berlin, Heidelberg: Springer, 2009.
-Vol. 5453.-388 p.-(Lecture Notes in Computer Science).
 
 36. High Performance Embedded Architectures and Compilers: 
Proc./Fourth International Conference, HiPEAC 2009, Paphos, 
Cyprus, January 2009/Ed. by  A.Soznec, J.Emer, M.O'Boyle, 
M.Martonosi.-Berlin, Heidelberg: Springer, 2009.-Vol. 5409.
-420 p.-(Lecture Notes in Computer Science).
 
 37. Numerical Analysis and Its Applications: Revised 
Selected Papers/4th International Conference, NAA 2008, 
Lozenetz, Bulgaria, June 2008/Ed. by  S.Margenov, 
L.G.Vulkov, J.Wasniewski.-Berlin, Heidelberg: Springer, 2009.
-Vol. 5434.-636 p.-(Lecture Notes in Computer Science).
 
 38. SOFSEM 2009: Theory and Practice of Computer Science: 
Proc./35th Conference on Current Trends in Theory and 
Practice of Computer Science, Spindleruv Mlyn, Czech 
Republic, January 2009/Ed. by  M.Nielsen, A.Kucera, 
P.B.Miltersen, C.Palamidessi.-Berlin, Heidelberg: Springer, 
2009.-Vol. 5404.-670 p.-(Lecture Notes in Computer Science).
 
 39. WALCOM: Algorithms and Computation: Proc./Third 
International Workshop, WALCOM 2009, Kolkata, India, 
February 2009/Ed. by  S.Das, R.Uehara.-Berlin, Heidelberg: 
Springer, 2009.-Vol. 5431.-408 p.-(Lecture Notes in Computer 
Science).
 
 40. Computer Security - ESORICS 2008: Proc./13th European 
Symposium on Research in Computer Security, Malaga, Spain, 
October, 2008/Ed. by  S.Jajodia, J.Lopez.-Berlin, Heidelberg:
 Springer, 2008.-Vol. 5283.-602 p.-(Lecture Notes in 
Computer Science).
 
 41. Language and Automata Theory and Applications: 
Proc./Third International Conference, LATA 2009, Tarragona, 
Spain, April 2009/Ed. by  A.H.Dediu, A.M.Ionescu, 
C.Martin-Vide.-Berlin, Heidelberg: Springer, 2009.-Vol. 5457.
-754 p.-(Lecture Notes in Computer Science).
 
 42. Transactions on Computational Systems Biology X/Ed. by  
C.Priami.-Berlin, Heidelberg: Springer, 2008.-Vol. 5410.-197 
p.-(Lecture Notes in Bioinformatics).
 
 43. Constraint Handling Rules: Current Research Topics/Ed. 
by  T.Schrijvers, Th.Fruhwirth.-Berlin, Heidelberg: Springer,
 2008.-Vol. 5388.-245 p.-(Lecture Notes in Artificial 
Intelligence).
 
 44. Declarative Agent Languages and Technologies VI: 
Revised Selected and Invited Papers/6th International 
Workshop, DALT 2008, Estoril, Portugal, May 2008/Ed. by  
M.Baldoni, T.C.Son, M.B.Van_Riemsdijk, M.Winikoff.-Berlin, 
Heidelberg: Springer, 2009.-Vol. 5397.-251 p.-(Lecture Notes 
in Artificial Intelligence).
 
 45. Gesture-Based Human-Computer Interaction and 
Simulation: Revised Selected Papers/7th International 
Gesture Workshop, GW 2007, Lisbon, Portugal, May 2007/Ed. by 
M.S.Dias, S.Gibet, M.M.Wanderley, R.Bastos.-Berlin, 
Heidelberg: Springer, 2009.-Vol. 5085.-284 p.-(Lecture Notes 
in Artificial Intelligence).
 
 46. Quantum Interaction: Proc./Third International 
Symposium, QI 2009, Saarbrucken, Germany, March 2009/Ed. by  
P.Bruza, D.Sofge, W.Lawless, M.Klusch.-Berlin, Heidelberg: 
Springer, 2009.-Vol. 5494.-315 p.-(Lecture Notes in 
Artificial Intelligence).
 
 47. Trust in Agent Societies: Revised Selected and Invited 
Papers/11th International Workshop, TRUST 2008, Estoril, 
Portugal, May 2008/Ed. by  R.Falcone, S.K.Barber, 
J.Sabater-Mir, M.P.Singh.-Berlin, Heidelberg: Springer, 2008.
-Vol. 5396.-349 p.-(Lecture Notes in Artificial 
Intelligence).
 
 48. Computer Processing of Oriental Languages/ Language 
Technology for the Knowledge-based Economy: Proc./22nd 
International Conference, ICCPOL 2009, Hong Kong, March 2009/
Ed. by  W.Li, D.Molla-Aliod.-Berlin, Heidelberg: Springer, 
2009.-Vol. 5459.-404 p.-(Lecture Notes in Artificial 
Intelligence).
 
 49. Sanskrit Computational Linguistics: Revised Selected 
and Invited Papers/ First and Second International Sumposia, 
Rocquencourt, France, October 2007, Providence, RI, USA, May 
2008/Ed. by  G.Huet, A.Kulkarni, P.Scharf.-Berlin, Heidelberg:
 Springer, 2009.-Vol. 5402.-425 p.-(Lecture Notes in 
Artificial Intelligence).
 
 50. Logik and Its Applications: Proc./Third Indian 
Conference, ICLA 2009, Chennai India, January 2009/Ed. by  
R.Ramanujam, S.Sarukkai.-Berlin, Heidelberg: Springer, 2009.
-Vol. 5378.-269 p.-(Lecture Notes in Artificial 
Intelligence).
 
 51. Distributed Computing and Networking: Proc./10th 
International Conference, ICDCN 2009, Hyderabad, India, 
January 2009/Ed. by  V.Garg, R.Wattenhofer, K.Kothapalli.
-Berlin, Heidelberg: Springer, 2009.-Vol. 5408.-476 p.
-(Lecture Notes in Computer Science).
 
 52. Verification, Model Checking, and Abstract 
Interpretation: Proc./100th International Conference, VMCAI 
2009, Savannah, GA, USA, January 2009/Ed. by  N.D.Jones, 
M.Muller-Olm.-Berlin, Heidelberg: Springer, 2009.-Vol. 5403.
-381 p.-(Lecture Notes in Computer Science).
 
 53. Advances in Multimedia Modeling: Proc./15th 
International Conference, MMM 2009, Sophia-Antipolis, 
France, January 2009/Ed. by  B.Huet, A.Smeaton, 
K.Mayer-Patel, Y.Avrithis.-Berlin, Heidelberg: Springer, 2009.
-Vol. 5371.-498 p.-(Lecture Notes in Computer Science).