Библиотека

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

Hовые поступления со 2 февраля по 1 марта 2010 г.


  1. Data Management in Grid and Peer-to-Peer Systems: 
Proc./2nd International Conference, Globe 2009, Linz, 
Austria, September 2009/Ed. by  A.Hameurlain, A.M.Tjoa.
-Berlin: Springer, 2009.-Vol. 5697.-151 p.-(Lecture Notes in 
Computer Science).
 
  2. Holonic and Multi-Agent Systems for Manufacturing: 
Proc./4th International Conference HoloMAS 2009, Linz, 
Austria, August/September 2009/Ed. by  V.Marik, Th.Strasser, 
A.Zoitl.-Berlin: Springer, 2009.-Vol. 5696.-326 p.-(Lecture 
Notes in Artificial Intelligence).
 
  3. Trust, Privacy and Security in Digital Business: 
Proc./6th International Conference, TrustBus 2009, Linz, 
Austria, September 2009/Ed. by  S.Fischer-Hubner, 
C.Lambrinoudakis, G.Pernul.-Berlin: Springer, 2009.-Vol. 5695.
-169 p.-(Lecture Notes in Computer Science).
 
  4. Electronic Participation: Proc./First International 
Conference, ePart 2009, Linz, Austria, September 2009/Ed. by 
A.Macintosh, E.Tambouris.-Berlin: Springer, 2009.-Vol. 5694.
-187 p.-(Lecture Notes in Computer Science).
 
  5. E-Commerce and Web Technologies: Proc./10th 
International Conference, EC-Web 2009, Linz, Austria, 
September 2009/Ed. by  T.Di_Noia, F.Buccafurri.-Berlin: 
Springer, 2009.-Vol. 5692.-374 p.-(Lecture Notes in Computer 
Science).
 
  6. Database and Expert Systems Applications: Proc./20th 
International Conference, DEXA 2009, Linz, Austria, 
August/September 2009/Ed. by  S.S.Bhowmick, J.Kung, R.Wagner.
-Berlin: Springer, 2009.-Vol. 5690.-865 p.-(Lecture Notes in 
Computer Science).
 
  7. Approximation, Randomixation, and Combinatorial 
Optimization. Algorithms and Techniques: Proc./12th IW, 
APPROX 2009 and 13th IW, RANDOM 2009, Berkeley, CA, USA, 
August 2009/Ed. by  I.Dinur, K.Jansen, J.Naor, J.Rolim.
-Berlin: Springer, 2009.-Vol. 5687.-740 p.-(Lecture Notes in 
Computer Science).
 
  8. Energy Minimization Methods in Computer Vision and 
Pattern Recognition: Proc./7th International Conference, 
EMMCVPR 2009, Bonn, Germany, August 2009/Ed. by  D.Cremers, 
Yu.Boykov, A.Blake, F.R.Schmidt.-Berlin: Springer, 2009.
-Vol. 5681.-494 p.-(Lecture Notes in Computer Science).
 
  9. Mathematics of Surfaces XIII: Proc./13th International 
Conference, York, UK, September 2009/Ed. by  E.R.Hancock, 
R.R.Martin, M.A.Sabin.-Berlin: Springer, 2009.-Vol. 5654.
-409 p.-(Lecture Notes in Computer Science).
 
 10. Artificial Intelligence: An International Perspective/
Ed. by  M.Bramer.-Berlin: Springer, 2009.-Vol. 5640.-260 p.
-(Lecture Notes in Artificial Intelligence).
 
 11. Agents and Data Mining Interaction: Revised Selected 
Papers/4th International Workshop, ADMI 2009, Budapest, 
Hungary, May 2009/Ed. by  L.Gao, V.Gorodetsky, J.Liu, G.Weiss.
-Berlin: Springer, 2009.-Vol. 5680.-200 p.-(Lecture Notes in 
Artificial Intelligence).
 
 12. Computational Methods in Systems Biology: Proc./7th 
International Conference, CMSB 2009, Bologna, Italy, 
August/September 2009/Ed. by  P.Degano, R.Gorrieri.-Berlin: 
Springer, 2009.-Vol. 5688.-329 p.-(Lecture Notes in 
Bioinformatics).
 
 13. Management Enabling the Future Internet for Changing 
Business and New Computing Services: Proc./12th Asia-Pacific 
Symposium, APNOMS 2009, Jeju, Sourth Korea, September 2009/
Ed. by  Ch.S.Hong, T.Tonouchi, Y.Ma, Ch.-Sh.Chao.-Berlin: 
Springer, 2009.-Vol. 5787.-551 p.-(Lecture Notes in Computer 
Science).
 
 14. Groupware: Design, Implementation, and Use: Proc./15th 
International Workshop, CRIWG 2009, Peso da Regua, Douro, 
Portugal, September 2009/Ed. by  L.Carrico, N.Baloian, 
B.Fonseca.-Berlin: Springer, 2009.-Vol. 5784.-366 p.
-(Lecture Notes in Computer Science).
 
 15. Efficient Algorithms: Essays Dedicated to Kurt Mehlhorn 
on the Occasion of His 60th Birthday/Ed. by  S.Albers, 
H.Alt, S.Naher.-Berlin: Springer, 2009.-Vol. 5760.-439 p.
-(Lecture Notes in Computer Science).
 
 16. Advances in Information Retrieval Theory: Proc./Second 
International Conference, ICTIR 2009, Cambrige, UK, 
September 2009/Ed. by  L.Azzopardi, G.Kazai, S.Robertson, 
S.Ruger.-Berlin: Springer, 2009.-Vol. 5766.-386 p.-(Lecture 
Notes in Computer Science).
 
 17. Eerging Intelligent Computing Technology and 
Applications: Proc./5th International Conference, ICIC 2009, 
Ulsan, Sourth Korea, September 2009/Ed. by  D.-Sh.Huang, 
K.-H.Jo, H.-H.Lee, H.-J.Kang.-Berlin: Springer, 2009.-Vol. 
5754.-1134 p.-(Lecture Notes in Computer Science).
 
 18. Advances in Databases and Information Systems: 
Proc./13th East European Conference, ADBIS 2009, Riga, 
Latvia, September 2009/Ed. by  J.Grundspenkis, T.Morzy, 
G.Vossen.-Berlin: Springer, 2009.-Vol. 5739.-379 p.-(Lecture 
Notes in Computer Science).
 
 19. Computer Algebra in Scientific Computing: Proc./11th 
International Workshop, CASC 2009, Kobe, Japan, September 
2009/Ed. by  V.P.Gerdt, E.W.Mayr, E.V.Vorozhtsov.-Berlin: 
Springer, 2009.-Vol. 5743.-393 p.-(Lecture Notes in Computer 
Science).
 
 20. Cryptographic Hardware and Embedded Systems - CHES 
2009, Proc./11th International Workshop, Lausanne, 
Switzerland, September 2009/Ed. by  Ch.Claver, K.Gaj.-Berlin:
 Springer, 2009.-Vol. 5747.-472 p.-(Lecture Notes in 
Computer Science).
 
 21. Information Security: Proc./12th International 
Conference, ISC 2009, Pisa, Italy, September 2009/Ed. by  
P.Samarati, M.Yung, F.Martinelli, C.A.Ardagna.-Berlin: 
Springer, 2009.-Vol. 5735.-508 p.-(Lecture Notes in Computer 
Science).
 
 22. The Internet of the Future: Proc./15th Open European 
Summer School and IFIP TC6.6 Workshop, EUNICE 2009, 
Barselona, Spain, September 2009/Ed. by  M.Oliver, S.Sallent.
-Berlin: Springer, 2009.-Vol. 5733.-227 p.-(Lecture Notes in 
Computer Science).
 
 23. String Processing and Information Retrieval: Proc./16th 
International Sumposium, SPIRE 2009, Saariselka, Finland, 
August 2009/Ed. by  J.Karlgren, J.Tarhio, H.Hyyro.-Berlin: 
Springer, 2009.-Vol. 5721.-354 p.-(Lecture Notes in Computer 
Science).
 
 24. Object-Oriented Technology: Final Reports/ ECOOP 2008 
Workshops, Paphos, Cyprus, July 2008/Ed. by  P.Eugster.
-Berlin: Springer, 2009.-Vol. 5475.-117 p.-(Lecture Notes in 
Computer Science).
 
 25. Formal Theories of Information: From Shannon to 
Semantic Information Theory and General Concepts of 
Information/Ed. by  G.Sommaruga.-Berlin: Springer, 2009.
-Vol. 5363.-269 p.-(Lecture Notes in Computer Science).
 
 26. Modular Ontologies: Consepts, Theories and Techniques 
for Knowledge Modularization/Ed. by  H.Stuckenschmidt, 
Ch.Parent, S.Spaccapietra.-Berlin: Springer, 2009.-Vol. 5445.
-378 p.-(Lecture Notes in Computer Science).
 
 27. Active Media Technology: Proc./5th International 
Conference, AMT 2009, Beijing, China, October 2009/Ed. by  
J.Liu, J.Wu, Y.Yao, T.Nishida.-Berlin: Springer, 2009.-Vol. 
5820.-530 p.-(Lecture Notes in Computer Science).
 
 28. Relations and Kleene Algebra in Computer Science: 
Proc./11th International Conference, RelMiCS 2009 and 6th 
International Conference, AKA 2009, Doha, Qatar, November 
2009/Ed. by  R.Berghammer, A.M.Jaoua, B.Moller.-Berlin: 
Springer, 2009.-Vol. 5827.-367 p.-(Lecture Notes in Computer 
Science).
 
 29. Stochastic Algorithms: Foundations and Applications: 
Proc./5th Iternational Symposium, SAGA 2009, Sapporo, Japan, 
October 2009/Ed. by  O.Watanabe, Th.Zeugmann.-Berlin: 
Springer, 2009.-Vol. 5792.-221 p.-(Lecture Notes in Computer 
Science).
 
 30. Job Schedulig Strategies for Parallel Processing: 
Revised Papers/14th International Workshop, JSSPP 2009, 
Rome, Italy, May 2009/Ed. by  E.Frachtenberg, 
U.Schwiegelshohn.-Berlin: Springer, 2009.-Vol. 5798.-301 p.
-(Lecture Notes in Computer Science).
 
 31. Artificial Neural Networks - ICANN 2009, Part I: 
Proc./19th International Conference, Limassol, Cyprus, 
September 2009/Ed. by  C.Alippi, M.Polycarpou, 
Ch.Panayiotou, G.Ellinas.-Berlin: Springer, 2009.-Vol. 5768.
-1030 p.-(Lecture Notes in Computer Science).
 
 32. Artificial Neural Networks - ICANN 2009, Part II: 
Proc./19th International Conference, Limassol, Cyprus, 
September 2009/Ed. by  C.Alippi, M.Policarpou, 
Ch.Panayiotou, G.Ellinas.-Berlin: Springer, 2009.-Vol. 5769.
-1002 p.-(Lecture Notes in Computer Science).
 
 33. Algorithms - ESA 2009: Proc./17th Annual European 
Symposium, Copenhagen, Denmark, September 2009/Ed. by  
A.Fiat, P.Sanders.-Berlin: Springer, 2009.-Vol. 5757.-790 p.
-(Lecture Notes in Computer Science).
 
 34. Spatial Information Theory: Proc./9th International 
Conference, COSIT 2009, Aber Wrac'h, France, September 2009/
Ed. by  K.S.Hornsby, Ch.Claramunt, M.Denis, G.Ligozat.-Berlin:
 Springer, 2009.-Vol. 5756.-505 p.-(Lecture Notes in 
Computer Science).
 
 35. Grid Economics and Business Models: Proc./6th 
International Workshop, GECON 2009, Delft, The Netherlands, 
August 2009/Ed. by  J.Altmann, R.Buyya, O.F.Rana.-Berlin: 
Springer, 2009.-Vol. 5745.-183 p.-(Lecture Notes in Computer 
Science).
 
 36. Machine Learning and Knowledge Discovery in Databases, 
Part II: Proc./European Conference, ECML PKDD 2009, Bled, 
Slovenia, September 2009/Ed. by  W.Buntine, M.Grobelnic, 
D.Mladenic, J.Shawe-Taylor.-Berlin: Springer, 2009.-Vol. 5782.
-762 p.-(Lecture Notes in Artificial Intelligence).
 
 37. Mashine Learning and Knowledge Discovery in Databases, 
Part I: Proc./European Conference, ECML PKDD 2009, Bled, 
Slovenia, September 2009/Ed. by  W.Buntine, M.Grobelnik, 
D.Mladenic, J.Shawe-Taylor.-Berlin: Springer, 2009.-Vol. 5781.
-756 p.-(Lecture Notes in Artificial Intelligence).
 
 38. Algorithmic Desision Theory: Proc./First International 
Conference, ADT 2009, Venice, Italy, October 2009/Ed. by  
F.Rossi, A.Tsoukias.-Berlin: Springer, 2009.-Vol. 5783.-460 
p.-(Lecture Notes in Artificial Intelligence).
 
 39. Logic, Language, Information and Computation: 
Proc./16th International Workshop, WoLLIC 2009, Tokyo, 
Japan, June 2009/Ed. by  H.Ono, M.Kanazawa, R.De_Queiroz.
-Berlin: Springer, 2009.-Vol. 5514.-409 p.-(Lecture Notes in 
Artificial Intelligence).
 
 40. Advances in Knowledge Discovery and Data Mining: 
Proc./13th Pacific-Asia Conference, PACDD 2009, Bangkok, 
Thailand, April 2009/Ed. by  Th.Theeramunkong, B.Kijsirikul, 
N.Cercone, T.-B.Ho.-Berlin: Springer, 2009.-Vol. 5476.-1076 
p.-(Lecture Notes in Artificial Intelligence).
 
 41. Types for Proofs and Programs: Revised Selected Papers/ 
International Conference, TYPES 2008, Toronto, Italy, March 
2008/Ed. by  S.Berardi, F.Domiani, U.De'Liguoro.-Berlin: 
Springer, 2009.-Vol. 5497.-323 p.-(Lecture Notes in Computer 
Science).
 
 42. Journal on Data Semantics XII/Ed. by  S.Spaccapietra.
-Berlin: Springer, 2009.-Vol. 5480.-179 p.-(Lecture Notes in 
Computer Science).
 
 43. Transactions on Petri Nets and Other Models of 
Concurrency II: Special Issue on Concurrency in 
Process-Aware Information Systems/Ed. by  K.Jensen.-Berlin: 
Springer, 2009.-Vol. 5460.-297 p.-(Lecture Notes in Computer 
Science).
 
 44. Euro-Par 2008 Workshops - Parallel Processing: Revised 
Selected Papers/ VHPC 2008, UNICODE 2008, HPPC 2008, SGS 
2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de 
Gran Canada, Spain, August 2008/Ed. by  E.Cesar, 
M.Alexander, A.Streit, J.L.Traff.-Berlin: Springer, 2009.
-Vol. 5415.-462 p.-(Lecture Notes in Computer Science).
 
 45. Architectures for Adaptive Software Systems: Proc./5th 
International Conference of the Quality of Software 
Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 
2009/Ed. by  R.Mirandola, I.Gorton, Ch.Hofmeister.-Berlin: 
Springer, 2009.-Vol. 5581.-213 p.-(Lecture Notes in Computer 
Science).
 
 46. Evolving OpenMP in an Age of Extreme Parallelism: 
Proc./5th International Workshop on OpenMP, IWOMP 2009, 
Dresden, Germany, June 2009/Ed. by  M.S.Muller, 
B.R.De_Supinski, B.M.Chapmen.-Berlin: Springer, 2009.-Vol. 
5568.-183 p.-(Lecture Notes in Computer Science).
 
 47. Advanced Information Systems Engineering: Proc./21st 
International Conference, CAiSE 2009, Amsterdam, The 
Netherlands, June 2009/Ed. by  P.Van_Eck, J.Gordijn, 
R.Wieringa.-Berlin: Springer, 2009.-Vol. 5565.-562 p.
-(Lecture Notes in Computer Science).
 
 48. Algorithmic Aspects in Information and Management: 
Proc./5th International Conference, AAIM 2009, San 
Francisco,CA,USA, June 2009/Ed. by  A.V.Goldberg, Yu.Zhou.
-Berlin: Springer, 2009.-Vol. 5564.-327 p.-(Lecture Notes in 
Computer Science).
 
 49. Coding and Criptology: Proc./ Second International 
Workshop, IWCC 2009, Zhangjiajie, China, June 2009/Ed. by  
Y.M.Chee, C.Li, S.Ling, H.Wang.-Berlin: Springer, 2009.-Vol. 
5557.-275 p.-(Lecture Notes in Computer Science).
 
 50. The Semantic Web: Research and Applications: Proc./6th 
European Semantic Web Conference, ESWC 2009, Heraklion, 
Greece, May/June 2009/Ed. by  L.Aroyo.-Berlin: Springer, 2009.
-Vol. 5554.-961 p.-(Lecture Notes in Computer Science).
 
 51. Transactions on Computational Science V: Special Issue 
on Cognitive Knowledge Representation/Ed. by  M.L.Gavrilova, 
C.J.K.Tan.-Berlin: Springer, 2009.-Vol. 5540.-237 p.
-(Lecture Notes in Computer Science).
 
 52. Distributed Computing in Sensor Systems: Proc./5th IEEE 
International Conference, DCOSS 2009, Marina del Rey,CA,USA, 
June 2009/Ed. by  B.Krishnamachari, S.Suri, W.Heinzelman, 
U.Mitra.-Berlin: Springer, 2009.-Vol. 5516.-372 p.-(Lecture 
Notes in Computer Science).
 
 53. Multiple Classifier Systems: Proc./8th International 
Workshop, MCS 2009, Reykjavik, Iceland, June 2009/Ed. by  
J.A.Benediksson, J.Kittler, F.Roli.-Berlin: Springer, 2009.
-Vol. 5519.-540 p.-(Lecture Notes in Computer Science).
 
 54. Coordination Models and Languages: Proc./11th 
International Conference, COORDINATION 2009, Lisbon, 
Portugal, June 2009/Ed. by  J.Field, V.T.Vasconcelos.-Berlin:
 Springer, 2009.-Vol. 5521.-307 p.-(Lecture Notes in 
Computer Science).
 
 55. Applied Algebra, Algebraic Algorithms, and 
Error-Correcting Codes: Proc./18th International Symposium, 
AAECC-18, Tarragona, Spain, June 2009/Ed. by  M.Bras-Amoros, 
T.Hoholdt.-Berlin: Springer, 2009.-Vol. 5527.-243 p.
-(Lecture Notes in Computer Science).
 
 56. Requirements Engineering: Foundation for Software 
Quality: 15th International Working Conference, REFSQ 2009, 
Amsterdam, The Netherlands, June 2009/Ed. by  M.Glinz, 
P.Heymans.-Berlin: Springer, 2009.-Vol. 5512.-257 p.
-(Lecture Notes in Computer Science).
 
 57. Вознесенский И.Б. Пособие по корреспонденции на 
английском языке.- Ленинград: Наука, 1981.- 305 с.
 
 58. Герасимов А.Н. Математические модели системы 
"Паразит-хозяин": Автореф. дис... докт. ф.-м. наук: 05.13.18.
-М., 2009.-44 с.-Библиогр.: c.41-44.
 
 59. Городняя Л.В. Функциональный подход к описанию парадигм 
программирования.-Новосибирск, 2009.-66 с.-(Препринт/ИСИ СО 
РАН; N 152).
 
 60. Logic Programming: Proc./25th International Conference, 
ICLP 2009, Pasadena, CA,USA, July 2009/Ed. by  P.M.Hill, 
D.S.Warren.-Berlin: Springer, 2009.-Vol. 5649.-564 p.
-(Lecture Notes in Computer Science).
 
 61. Computer Aided Verification: Proc./21st International 
Conference, CAV 2009, Grenoble, France, June/Jule 2009/Ed. 
by  A.Bouajjani, O.Maler.-Berlin: Springer, 2009.-Vol. 5643.
-722 p.-(Lecture Notes in Computer Science).
 
 62. Typed Lambda Calculi and Applications: Proc./9th 
International Conference, TLCA 2009, Brasilia, Brazil, July 
2009/Ed. by  P.-L.Curien.-Berlin: Springer, 2009.-Vol. 5608.
-417 p.-(Lecture Notes in Computer Science).
 
 63. Models in Software Engineering: Reports and Revised 
Selected Papers/ Workshop and Symposia at MODELS 2008, 
Toulouse, France, September/October 2009/Ed. by  
M.R.V.Chaudron.-Berlin: Springer, 2009.-Vol. 5421.-404 p.
-(Lecture Notes in Computer Science).
 
 64. Hardware and Software: Verification and Testing: 
Proc./4th International Haifa Verification Conference, HVC 
2008, Haifa, Israel, October 2008/Ed. by  H.Chockler, A.J.Hu.
-Berlin: Springer, 2009.-Vol. 5349.-215 p.-(Lecture Notes in 
Computer Science).
 
 65. Advanced Internet Based Systems and Applications: 
Revised Selected Papers/2nd International Conference, SITIS 
2006, Hammamet, Tunisia, December 2006/Ed. by  E.Damiani, 
K.Yetongnon, R.Chbeir, A.Dipanda.-Berlin: Springer, 2009.
-Vol. 4879.-374 p.-(Lecture Notes in Computer Science).
 
 66. Model Checking Software: Proc./16th International SPIN 
Workshop, Grenoble, France, June 2009/Ed. by  C.S.Pasareanu.
-Berlin: Springer, 2009.-Vol. 5578.-297 p.-(Lecture Notes in 
Computer Science).
 
 67. Reliable Software Technologies - Ada-Europe 2009: 
Proc./14th Ada-Europe International Conference, Brest, 
France, June 2009/Ed. by  F.Kordon, Y.Kermarres.-Berlin: 
Springer, 2009.-Vol. 5570.-283 p.-(Lecture Notes in Computer 
Science).
 
 68. Software Engineering for Self-Adaptive Systems/Ed. by  
B.H.C.Cheng, R.De_Lemos, H.Giese, P.Inverardi.-Berlin: 
Springer, 2009.-Vol. 5525.-261 p.-(Lecture Notes in Computer 
Science).
 
 69. Experimental Algorithms: Proc./8th International 
Symposium, SEA 2009, Dortmund, Germany, June 2009/Ed. by  
J.Vahrenhold.-Berlin: Springer, 2009.-Vol. 5526.-293 p.
-(Lecture Notes in Computer Science).
 
 70. Language Engineering and Rigorous Software Development: 
Recides Tutorial Lectires/ International LerNet ALFA Summer 
School 2008, Piriapolis, Uruguay, February/March 2008/Ed. by 
A.Bove, L.S.Barbosa, A.Pardo, J.S.Pinto.-Berlin: Springer, 
2009.-Vol. 5520.-301 p.-(Lecture Notes in Computer Science).
 
 71. Automated Reasoning with Analytic Tableaux and Related 
Methods: Proc/18th International Conference, TABLEAUX 2009, 
Oslo, Norway, July 2009/Ed. by  M.Giese, A.Waaler.-Berlin: 
Springer, 2009.-Vol. 5607.-341 p.-(Lecture Notes in 
Artificial Intelligence).
 
 72. Политов М.С. Экспериментально-аналитический метод 
оценки и прогнозирования уровня защищенности информационных 
систем на основе модели временных рядов: Автореф. дис... 
канд. тех. наук: 05.13.19.-Уфа, 2010.-16 с.-Библиогр.: c.16.
 
 73. Ильев В.П. Задачи оптимизации и аппроксимации на 
наследственных системах: Автореф. дис... докт. ф.-м. наук: 
01.01.09.-Новосибирск, 2010.-30 с.-Библиогр.: c.25-30.
 
 74. Поспелов А.И. Методы многокритериальной целочисленной 
оптимизации, основанные на аппроксимации границы Парето: 
Автореф. дис... канд. ф.-м. наук: 05.13.18.-М., 2010.-20 с.
-Библиогр.: c.19-20.