Библиотека

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

Hовые поступления с 31 мая по 2 июля 2010 г.


  1. Tools and Algorithms for the Construction and Analysis 
of Systems: Proc./16th International Conference, TACAS 2010, 
Joint European Conferences, ETAPS 2010, Paphos, Cyprus, 
March 2010/Ed. by  J.Esparza, R.Majumdar.-Berlin: Springer, 
2010.-Vol. 6015.-486 p.-(Lecture Notes in Computer Science).
 
  2. Foundations of Software Science and Computational 
Structures: Proc./13th International Conference, FOSSACS 
2010, Joint European Conferences, ETAPS 2010, Paphos, 
Cyprus, March 2010/Ed. by  L.Ong.-Berlin: Springer, 2010.
-Vol. 6014.-389 p.-(Lecture Notes in Computer Science).
 
  3. Fundamental Approaches to Software Engineering: 
Proc./13th International Conference, FASE 2010, Joint 
European Conferences, ETAPS 2010, Paphos, Cyprus, March 2010/
Ed. by  D.S.Rosenblum, G.Taentzer.-Berlin: Springer, 2010.
-Vol. 6013.-383 p.-(Lecture Notes in Computer Science).
 
  4. Programming Languages and Systems: Proc./19th European 
Symposium ESOP 2010, Joint European Conferences ETAPS 2010, 
Paphos, Cyprus, March 2010/Ed. by  A.D.Gordon.-Berlin: 
Springer, 2010.-Vol. 6012.-632 p.-(Lecture Notes in Computer 
Science).
 
  5. Compiler Construction: Proc./19th International 
Conference CC 2010, Held as Part of the Join European 
Conferences ETAPS 2010, Paphos, Cyprus, March 2010/Ed. by  
R.Gupta.-Berlin: Springer, 2010.-Vol. 6011.-326 p.-(Lecture 
Notes in Computer Science).
 
  6. Computational Linguistics and Intelligent Text 
Processing: Proc./11th International Conference, CICLing 
2010, Iasi< Romania, March 2010/Ed. by  A.Gelbukh.-Berlin: 
Springer, 2010.-Vol. 6008.-760 p.-(Lecture Notes in Computer 
Science).
 
  7. Институт автоматики и электрометрии в 2009 году. Отчет 
о деятельности/СО РАН. .- Новосибирск, 2010.- 146 с.
 
  8. Авдеев А.С. Разработка адаптивных моделей и 
программного комплекса прогнозирования экономических 
временных рядов: Автореф. дис... канд. тех. наук: 05.13.18.
-Барнаул, 2010.-19 с.-Библиогр.: c.18-19.
 
  9. Тишков О.И. Математическое моделирование инновационного 
потециала организации на основе гибридных экспертных систем: 
Автореф. дис... канд. тех. наук: 05.13.18.-Барнаул, 2010.-19 
с.-Библиогр.: c.19.
 
 10. Шелехов В.И. Предикатное программирование: Учебное 
пособие/НГУ. .- Новосибирск, 2009.- 109 с.
 
 11. Public Key Cryptography - PKC 2010: Proc./13th 
International Conference on Practice and Theory in PKC, 
Paris, France, May 2010/Ed. by  Ph.Q.Nguyen, D.Pointcheval.
-Berlin: Springer, 2010.-Vol. 6056.-519 p.-(Lecture Notes in 
Computer Science).
 
 12. Experimental Algorithms: Proc./9th International 
Symposium, SEA 2010, Ischia Islend, Naples, Italy, May 2010/
Ed. by  P.Festa.-Berlin: Springer, 2010.-Vol. 6049.-514 p.
-(Lecture Notes in Computer Science).
 
 13. Advances in Computer Games: Revised Papers/12th 
International Conference, ACG 2009, Pamplona, Spane, May 2009
/Ed. by  H.J.Van_Den_Herik, P.Spronck.-Berlin: Springer, 2010.
-Vol. 6048.-233 p.-(Lecture Notes in Computer Science).
 
 14. Advances Lectures on Software Engineering: LASER Summer 
School 2007/2008/Ed. by  P.Muller.-Berlin: Springer, 2010.
-Vol. 6029.-189 p.-(Lecture Notes in Computer Science).
 
 15. Databases in Networked Information Systems: Proc./6th 
International Workshop, DNIS 2010, Aizu-Wakamatsu, Japan, 
March 2010/Ed. by  S.Kikuchi, S.Sachdeva, S.Bhalla.-Berlin: 
Springer, 2010.-Vol. 5999.-337 p.-(Lecture Notes in Computer 
Science).
 
 16. Measurement, Modelling, and Evaluation of Computing 
Systems and Dependability and Fault Tolerance: Proc./15th 
International GI/ITG Conference, MMB&DFT 2010, Essen, 
Germany, March 2010/Ed. by  B.Muller-Closterman, K.Echtle, 
E.P.Rathgeb.-Berlin: Springer, 2010.-Vol. 5987.-323 p.
-(Lecture Notes in Computer Science).
 
 17. Intelligent Information and Database Systems, Part I: 
Proc./Second International Conference, ACIIDS, Hue City, 
Vietnam, March 2010/Ed. by  N.T.Nguyen, M.T.Le, J.Swiatek.
-Berlin: Springer, 2010.-Vol. 5990.-476 p.-(Lecture Notes in 
Artificial Intelligence).
 
 18. Intelligent Informationand Ddatabase Systems, Part II: 
Proc./Second International Conference, ACIIDS, Hue City, 
Vietnam, March 2010/Ed. by  N.T.Nguyen, M.T.Le, J.Swiatek.
-Berlin: Springer, 2010.-Vol. 5991.-483 p.-(Lecture Notes in 
Artificial Intelligence).
 
 19. Applications of Evolutionary Computation, Part II: 
Proc./EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, 
EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 
2010/Ed. by  C.Di_Chio.-Berlin: Springer, 2010.-Vol. 6025.
-476 p.-(Lecture Notes in Computer Science).
 
 20. Applications of Evolutionary Computation, Part I: 
Proc./EvoApplications 2010: EvoCOMPLEX, EvoGAMES, EvoIASP, 
EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Istanbul, Turkey, 
April 2010/Ed. by  C.Di_Chio.-Berlin: Springer, 2010.-Vol. 
6024.-616 p.-(Lecture Notes in Computer Science).
 
 21. Evolutionary Computation, Machine Learning and Data 
Mining in Bioinformatics: Proc./8th European Conference, 
EvoBIO 2010, Istanbul, Turkey, April 2010/Ed. by  C.Pizzuti, 
M.D.Rotchie, M.Giocobini.-Berlin: Springer, 2010.-Vol. 6023.
-249 p.-(Lecture Notes in Computer Science).
 
 22. Evolutionary Computation in Combinatorial Optimization: 
Proc./10th European Conference, EvoCOP 2010, Istanbul, 
Turkey, April 2010/Ed. by  P.Cowling, P.Merz.-Berlin: 
Springer, 2010.-Vol. 6022.-290 p.-(Lecture Notes in Computer 
Science).
 
 23. Genetic Programming: Proc./13th European Conference, 
EuroGP 2010, Istanbul, Turkey, April 2010/Ed. by  
A.I.Esparcia-Alcazar, A.Ekart, S.Silva, S.Dignum.-Berlin: 
Springer, 2010.-Vol. 6021.-336 p.-(Lecture Notes in Computer 
Science).
 
 24. Computational Science and Its Applications - ICCSA 
2010. Part IV: Proc./International Conference, Fukuoka, 
Japan, March 2010/Ed. by  D.Taniar, O.Gervasi, B.Murgante, 
E.Pardede.-Berlin: Springer, 2010.-Vol. 6019.-540 p.
-(Lecture Notes in Computer Science).
 
 25. Computational Science and Its Applications - ICCSA 
2010, Part III: Proc./International Conference, Fukuoka, 
Japan, March 2010/Ed. by  D.Taniar, O.Gervasi, B.Murgante, 
E.Pardede.-Berlin: Springer, 2010.-Vol. 6018.-570 p.
-(Lecture Notes in Computer Science).
 
 26. Computational Science and Its Applications - ICCSA 
2010, Part II: Proc./International Conference, Fukuoka, 
Japan, March 2010/Ed. by  D.Tanair, O.Gervasi, B.Murgante, 
E.Pardede.-Berlin: Springer, 2010.-Vol. 6017.-602 p.
-(Lecture Notes in Computer Science).
 
 27. Computational Science and Its Applications - ICCSA 
2010, Part I: Proc./International Conference. Fukuoka, 
Japan, March 2010/Ed. by  D.Taniar, O.Gervasi, B.Murgante, 
E.Pardede.-Berlin: Springer, 2010.-Vol. 6016.-628 p.
-(Lecture Notes in Computer Science).
 
 28. Functional and Logic Programming: Proc./10th 
International Symposium, FLOPS 2010, Sendai, Japan, April 
2010/Ed. by  M.Blume, N.Kobayashi, G.Vidal.-Berlin: Springer,
 2010.-Vol. 6009.-355 p.-(Lecture Notes in Computer Science).
 
 29. Advances in Social Computing: Proc./Third International 
Conference on SC, Behavioral Modeling, and Prediction, SBP 
2010, Bethesda,MD,USA, March 2010/Ed. by  S.-K.Chai, 
J.J.Salerno, P.L.Mabry.-Berlin: Springer, 2010.-Vol. 6007.
-426 p.-(Lecture Notes in Computer Science).
 
 30. Traffic Monitoring and Analysis: Proc./Second 
International Workshop, TMA 2010, Zurich, Switzerland, April 
2010/Ed. by  F.Ricciato, M.Mellia, E.Biersack.-Berlin: 
Springer, 2010.-Vol. 6003.-199 p.-(Lecture Notes in Computer 
Science).
 
 31. Functional and Constraint Logic Programming: /18th 
International Workshop, WELP 2009, Brasilia, Brazil, June 
2009/Ed. by  S.Escobar.-Berlin: Springer, 2010.-Vol. 5979.
-179 p.-(Lecture Notes in Computer Science).
 
 32. Development of Multimodal Interfaces: Active Listening 
and Synchrony: Revised Selected Papers/Second COST 2102 
International Training School, Dublin, Ireland, March 2009/
Ed. by  A.Esposito, N.Campbell, C.Vogel, A.Hussain.-Berlin: 
Springer, 2010.-Vol. 5967.-446 p.-(Lecture Notes in Computer 
Science).
 
 33. Auditory Display: Revised Papers/6th International 
Symposium, CMMR/ICAD 2009, Copenhagen, Danmark, May 2009/Ed. 
by  S.Ystad, M.Aramaki, R.Kronland-Martinet, K.Jensen.-Berlin:
 Springer, 2010.-Vol. 5954.-493 p.-(Lecture Notes in 
Computer Science).
 
 34. Search Computing: Challenges and Direction/Ed. by  
S.Ceri, M.Brambilla.-Berlin: Springer, 2010.-Vol. 5950.-321 
p.-(Lecture Notes in Computer Science).
 
 35. Natural Language Processing and Information Systems: 
Revised Papers/14th International Conference on Applications 
of NL to IS, NLDB 2009, Saarbrucken. Germany, 2009/Ed. by  
H.Horacek, E.Metais, R.Munoz, M.Wolska.-Berlin: Springer, 
2010.-Vol. 5723.-318 p.-(Lecture Notes in Computer Science).
 
 36. Computer Vision - ACCV 2009, Part I: Revised Selected 
Papers/9th Asian Conference on CV, Xi'an, September 2009/Ed. 
by  H.Zha, R.Taniguchi, S.Naybank.-Berlin: Springer, 2010.
-Vol. 5994.-390 p.-(Lecture Notes in Computer Science).
 
 37. Computer Vision - ACCV 2009, Part II: Revised Selected 
Papers/9th Asian Conference on CV, Xi'an, September 2009/Ed. 
by  H.Zha, R.Taniguchi, S.Maybank.-Berlin: Springer, 2010.
-Vol. 5995.-724 p.-(Lecture Notes in Computer Science).
 
 38. Computer Vision - ACCV 2009, Part III: Revised Selected 
Papers/9th Asian Conference on CV, Xi'an, September 2009/Ed. 
by  H.Zha, R.Taniguchi, S.Maybank.-Berlin: Springer, 2010.
-Vol. 5996.-684 p.-(Lecture Notes in Computer Science).
 
 39. The Semantic Web: Research and Applications, Part I: 
Proc./7th Extended SW Conference, ESWC 2010, Heraclion, 
Greece, May/June 2010/Ed. by  L.Aroyo, G.Antoniou, 
E.Hyvonen, A.Ten_Teije.-Berlin: Springer, 2010.-Vol. 6088.
-460 p.-(Lecture Notes in Computer Science).
 
 40. The Semantic Web: Research and Applications. Part II: 
Proc./7th Extended SW Conference, ESWC 2010, Heraklion, 
Greece, May/June 2010/Ed. by  L.Aroyo, G.Anoniou, E.Hyvonen, 
A.Ten_Teije.-Berlin: Springer, 2010.-Vol. 6089.-505 p.
-(Lecture Notes in Computer Science).
 
 41. Fun with Algorithms: Proc./5th International 
Conference, FUN 2010, Iscia, Italy, June 2010/Ed. by  P.Boldi.
-Berlin: Springer, 2010.-Vol. 6099.-382 p.-(Lecture Notes in 
Computer Science).
 
 42. Algorithms and Complexity: Proc./7th International 
Conference, CIAC 2010, Rome, Italy, May 2010/Ed. by  
T.Calamoneri, J.Diaz.-Berlin: Springer, 2010.-Vol. 6078.-384 
p.-(Lecture Notes in Computer Science).
 
 43. Advances in Artificial Intelligence: Proc./23rd 
Canadian Conference on AI, Canadian AI 2010, Ottawa, Canada, 
May/June 2010/Ed. by  A.Farzindar, V.Keselj.-Berlin: Springer,
 2010.-Vol. 6085.-426 p.-(Lecture Notes in Artificial 
Intelligence).
 
 44. Шелехов В.И. Разработка эффективных программ 
стандартных функций floor, isqrt и ilog2 по технологии 
предикатного программирования.-Новосибирск, 2010.-42 с.
-(Препринт/ИСИ СО РАН; N 154).
 
 45. Марьясов И.В. Применение смешанной аксиоматической 
семантики языка c-kernel к верификации программы 
топологической сортировки.-Новосибирск, 2010.-34 с.
-(Препринт/ИСИ СО РАН; N 155).
 
 46. Семинар "Семантика, спецификация и верификация 
программ: теория и приложения"/5-й международный симпозиум 
по компьютерным наукам в России, Казань, 14-15 июня 2010/
Ред. В.А.Непомнящий, В.А.Соколов.-Казань, 2010.-178 с.
 
 47. Logic-Based Program Synthesis and Transformation: 
Revised Selected Papers/19th International Sumposium, LOPSTR 
2009, Coimbra, Portugal, September 2009/Ed. by  D.De_Schreye.
-Berlin: Springer, 2010.-Vol. 6037.-205 p.-(Lecture Notes in 
Computer Science).
 
 48. Smart Card Research and Advanced Application: Proc./9th 
IFIP WG 8.8/11.2 International Conference, CARDIS 2010, 
Passau, Germany, April 2010/Ed. by  D.Gollmann, J.-L.Lanet, 
J.Iguchi-Cartigny.-Berlin: Springer, 2010.-Vol. 6035.-239 p.
-(Lecture Notes in Computer Science).
 
 49. LATIN 2010: Theoretical Informatics: Proc./9th Latin 
American Symposium, Oaxaca, Mexico, April 2010/Ed. by  
A.Lopez-Ortis.-Berlin: Springer, 2010.-Vol. 6034.-706 p.
-(Lecture Notes in Computer Science).
 
 50. Information Security Theory and Practices. Security and 
Privacy of Pervasive Systems and Smart Devices: Proc./4th 
IFIP WG 11.2 International Workshop, WISTP 2010, Passau, 
Germany, April 2010/Ed. by  P.Samarati, M.Tunstall, 
J.Posegga, K.Markantonakis.-Berlin: Springer, 2010.-Vol. 6033.
-386 p.-(Lecture Notes in Computer Science).
 
 51. Passive and Active Measurement: Proc./11th 
International Conference, PAM 2010, Zurich, Switzerland, 
April 2010/Ed. by  A.Krishnamurthy, B.Plattner.-Berlin: 
Springer, 2010.-Vol. 6032.-233 p.-(Lecture Notes in Computer 
Science).
 
 52. Advances in Grid and Pervasive Computing: Proc./5th 
International Conference, GPC 2010, Hualien, Yaiwan, May 2010
/Ed. by  P.Bellavista, R.-S.Chang, H.-Ch.Chao, P.M.A.Sloot.
-Berlin: Springer, 2010.-Vol. 6104.-701 p.-(Lecture Notes in 
Computer Science).
 
 53. Networking 2010: Proc./9th International IFIP TC 6 
Networking Conference, Chennai, India, May 2010/Ed. by  
M.Crovella, L.M.Feeney, D.Rubenstein, S.V.Raghavan.-Berlin: 
Springer, 2010.-Vol. 6091.-410 p.-(Lecture Notes in Computer 
Science).
 
 54. Advances in Intelligent Data Analysis IX: Proc./9th 
International Symposium, IDA 2010, Tucson,AZ,USA, May 2010/
Ed. by  P.R.Cohen, N.M.Adams, M.R.Berthold.-Berlin: Springer,
 2010.-Vol. 6065.-260 p.-(Lecture Notes in Computer Science).
 
 55. Algorithms and Applications: Essays Dedicated to Esko 
Ukkonen on the Occasion of His 60th Birthday/Ed. by  
T.Elomaa, H.Mannila, P.Orponen.-Berlin: Springer, 2010.-Vol. 
6060.-261 p.-(Lecture Notes in Computer Science).
 
 56. Semantic Processing of Legal Texts: Where the Language 
of Law Meets the Law of Language/Ed. by  E.Francesconi, 
S.Montemagni, W.Peters, D.Tiscornia.-Berlin: Springer, 2010.
-Vol. 6036.-249 p.-(Lecture Notes in Computer Science).
 
 57. Pervasive Computing: Proc./8th International 
Conference, Pervasive 2010, Helsinki, Finland, May 2010/Ed. 
by  P.Floreen, A.Kruger, M.Spasojevic.-Berlin: Springer, 2010.
-Vol. 6030.-446 p.-(Lecture Notes in Computer Science).
 
 58. Foundations of Computing Software: Future Trends and 
Techniques for Development: Revised Selected Papers/15th 
Monterey Workshop 2008, Budapest, Hungary, September 2008/
Ed. by  Ch.Choppy, O.Sokolsky.-Berlin: Springer, 2010.-Vol. 
6028.-275 p.-(Lecture Notes in Computer Science).
 
 59. Computational Modeling of Objects Represented in 
Images: Proc./Second International Symposium, CompIMAGE 
2010, Buffalo,NY,USA, May 2010/Ed. by  R.P.Barneva, 
V.E.Brimkov, H.A.Hauptman, R.M.Natal_Jorge.-Berlin: Springer,
 2010.-Vol. 6026.-326 p.-(Lecture Notes in Computer Science).
 
 60. Ethics and Policy of Biometrics: Revised Selected 
Papers/Third International Conference, ICEB 2010, Hong Kong, 
January 2010/Ed. by  A.Kumar, D.Zhang.-Berlin: Springer, 2010.
-Vol. 6005.-169 p.-(Lecture Notes in Computer Science).
 
 61. Models in Software Engineering: Reports and Revised 
Selected Papers/ Workshops and Symposia at MODELS 2009, 
Denver,CO,USA, October 2009/Ed. by  S.Ghosh.-Berlin: Springer,
 2010.-Vol. 6002.-360 p.-(Lecture Notes in Computer Science).
 
 62. High Performance Computing Systems and Applications: 
Revised Selected Papers/23rd International Symposium, HPCS 
2009, Kingston,ON,Canada, June 2009/Ed. by  D.J.K.Mewhort, 
N.M.Cann, G.W.Slater, T.J.Naughton.-Berlin: Springer, 2010.
-Vol. 5976.-418 p.-(Lecture Notes in Computer Science).
 
 63. Mobile Multimedia Processing: Fundamentals, Methods, 
and Applications/Ed. by  X.Jiang, M.Y.Ma, Ch.W.Chen.-Berlin: 
Springer, 2010.-Vol. 5960.-287 p.-(Lecture Notes in Computer 
Science).
 
 64. Large-Scale Scientific Computing: Revised Papers/7th 
International Conference, LSSC 2009, Sozopol, Bulgaria, June 
2009/Ed. by  I.Lirkov, S.Margenov, J.Wasniewski.-Berlin: 
Springer, 2010.-Vol. 5910.-839 p.-(Lecture Notes in Computer 
Science).
 
 65. Approximation and Online Algorithms: Revised Papers/7th 
International Workshop, WAOA 2009, Copenhagen, Danmark, 
September 2009/Ed. by  E.Bampis, K.Jansen.-Berlin: Springer, 
2010.-Vol. 5893.-255 p.-(Lecture Notes in Computer Science).
 
 66. Knowledge Discovery from Sensor Data: Revised Selected 
Papers/ Second International Workshop, Sensor-KDD 2008, Las 
Vegas,NV,USA, August 2008/Ed. by  M.M.Gaber, R.R.Vatsavai, 
O.A.Omitaomu, J.Gama.-Berlin: Springer, 2010.-Vol. 5840.-227 
p.-(Lecture Notes in Computer Science).
 
 67. Theory and Applications of Models of Computation: 
Proc/7th Annual Conference, TAMC 2010, Prague, Czech 
Republic, June 2010/Ed. by  J.Kratochvil, A.Li, J.Fiala, 
P.Kolman.-Berlin: Springer, 2010.-Vol. 6108.-480 p.-(Lecture 
Notes in Computer Science).
 
 68. Зворыгин Л.В., Курленя М.В. Летопись института горного 
дела Сибирского отделения РАН: Люди, события, даты 1943-2000.
- Новосибирск: АНО Издательский дом "Новосибирский писатель",
 2004.- 640 с.
 
 69. Николай Никитович Пузыръв. Он долго был с нами/Ред. 
М.И.Эпов, А.Э.Конторович; СО РАН. Институт нефтегазовой 
геологии и геофизики им. А.А.Трофимука. .- Новосибирск, 2009.
- 201 с.-(Наука Сибири в лицах).-Библиогр.: c.154-197.
 
 70. Сергей Васильевич Гольдин. Стихи и формулы/Ред. 
А.Э.Конторович, М.И.Эпов; СО РАН. Институт нефтегазовой 
геологии и геофизики им. А.А.Трофимука. .- Новосибирск, 2009.
- 512 с.-(Наука Сибири в лицах).-Библиогр.: c.473-509.
 
 71. Маттис А.Р., Зворыгин Л.В., Лабутин В.Н. Творцы горных 
машин/СО РАН. Институт гоного дела. .- Новосибирск, 2008.- 
248 с.
 
 72. Сергей Алексеевич Христианович. Выдающийся механик ХХ 
века/Ред. В.М.Фомин, А.М.Харитонов; СО РАН. Институт 
теоретической и прикладной механики им. С.А.Христианович. .- 
Новосибирск: Академическое изд-во "Гео", 2008.- 356 с.
-(Наука Сибири в лицах).-Библиогр.: c.343-354.
 
 73. Институт теоретической и прикладной механики. Годы, 
люди, события/Ред. А.М.Харитонов; СО РАН. Институт 
теоретической и прикладной механики им. С.А.Христианович. .- 
Новосибирск, 2000.- 348 с.
 
 74. Проблемы управления и моделирования в сложных системах: 
Труды XII Международной конференции, Самара, Россия, 21-23 
июня 2010/Ред. Е.А.Федосов, Н.А.Кузнецов, В.А.Виттих; 
Самарский научный центр РАН. Институт проблем управления 
сложными системами. .- Самара, 2010.- 712 с.
 
 75. Из Российской глубинки - в науку. Научная династия 
Келлей-Добрецовых/Ред. Н.А.Притвиц; СО РАН. .- Новосибирск, 
2009.- 242 с.