Библиотека

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

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


  1. Web and Wireless Geographical Information Systems: 
Proc./8th International Symposium, W2GIS 2008. Shanghai, 
China, December 2008/Ed. by  M.Bertolotto, C.Ray, X.Li.
-Berlin, Heidelberg: Springer, 2008.-Vol. 5373.-179 p.
-(Lecture Notes in Computer Science).
 
  2. Principles of Distributed Systems: Proc./12th 
International Conference, OPODIS 2008. Luxor, Egypt, 
December 2008/Ed. by  T.P.Baker, A.Bui, S.Tixeuil.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5401.-580 p.-(Lecture Notes 
in Computer Science).
 
  3. Provenance and Annotation of Data and Processes: 
Revised Selected Papers/ 2nd International Workshop, IPAW 
2008. Salt Lake City, UT, USA, June 2008/Ed. by  J.Freire, 
D.Koop, L.Moreau.-Berlin, Heidelberg: Springer, 2008.-Vol. 
5272.-328 p.-(Lecture Notes in Computer Science).
 
  4. Towards a Service-Based Internet: Proc./ First European 
Conference, ServiceWave 2008. Madrid, Spain, December 2008/
Ed. by  P.Mahonen, K.Pohl, T.Priol.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 5377.-338 p.-(Lecture Notes in Computer 
Science).
 
  5. Advances in Blended Learning: Revised Selected Papers/ 
Second Workshop on Blended Learning, WBL 2008. Jinhua, 
China, August 2008/Ed. by  E.W.Ch.Leung, F.L.Wang, L.Miao, 
J.Zhao.-Berlin, Heidelberg: Springer, 2008.-Vol. 5328.-185 p.
-(Lecture Notes in Computer Science).
 
  6. Logic-Based Program Synthesis and Transformation: 
Revised Selected Papers/ 18th Intl Symposium, LOPSTR 2008. 
Valencia, Spain, July 2008/Ed. by  M.Hanus.-Berlin, 
Heidelberg: Springer, 2009.-Vol. 5438.-185 p.-(Lecture Notes 
in Computer Science).
 
  7. Architecture of Computing Systems - ARCS 2009: 
Proc./22nd International Conference. Delft, The Netherlands, 
March 2009/Ed. by  M.Berekovic, Ch.Muller-Schloer, 
Ch.Hochberger, S.Wong.-Berlin, Heidelberg: Springer, 2009.
-Vol. 5455.-259 p.-(Lecture Notes in Computer Science).
 
  8. Advances in Computation and Intelligence: Proc./3nd 
International Symposium, ISICA 2008. Wuhan, China, December 
2008/Ed. by  L.Kang, Z.Cai, X.Yan, Y.Liu.-Berlin, Heidelberg:
 Springer, 2008.-Vol. 5370.-861 p.-(Lecture Notes in 
Computer Science).
 
  9. Logic Programming: Proc./24th International Conference, 
ICLP 2008. Udine Italy, December 2008/Ed. by  De La Banda 
M.Garcia, E.Pontelli.-Berlin, Heidelberg: Springer, 2008.
-Vol. 5366.-826 p.-(Lecture Notes in Computer Science).
 
 10. End-User Development: Proc./2nd International 
Symposium, IS-EUD 2009. Siegen, Germany, March 2009/Ed. by  
V.Pipek, M.B.Rosson, Ruyter B.De, V.Wulf.-Berlin, Heidelberg:
 Springer, 2009.-Vol. 5435.-285 p.-(Lecture Notes in 
Computer Science).
 
 11. Neywork Control and Optimization: Revised Selected 
Papers/Second Euro-NF Workshop, NET-COOP 2008. Paris, 
France, September 2008/Ed. by  E.Altman, A.Chaintreau.
-Berlin, Heidelberg: Springer, 2009.-Vol. 5425.-131 p.
-(Lecture Notes in Computer Science).
 
 12. Smart Sensing and Context: Proc./Third European 
Conference, EuroSSC 2008. Zurich. Switzerland, October 2008/
Ed. by  D.Roggen, C.Lombriser, G.Troster, G.Kortuem.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5279.-247 p.-(Lecture Notes 
in Computer Science).
 
 13. Rule Representation, Interchange and Reasoning on the 
Web: Proc./International Symposium, RuleML 2008. Oriando, 
FL, USA, October 2008/Ed. by  N.Bassiliades, G.Governatori, 
A.Paschke.-Berlin, Heidelberg: Springer, 2008.-Vol. 5321.
-243 p.-(Lecture Notes in Computer Science).
 
 14. Motion in Games: Revised Papers/First International 
Workshop, MIG 2008. Utrecht, The Netherlands, June 2008/Ed. 
by  A.Egges, A.Kamphuis, M.Overmars.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 5277.-257 p.-(Lecture Notes in Computer 
Science).
 
 15. Entertainment Computing - ICEC 2008: Proc./7th 
International Conference. Pittsburg, PA, USA, September 2008/
Ed. by  S.M.Stevens, S.J.Saldamarco.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 5309.-243 p.-(Lecture Notes in Computer 
Science).
 
 16. Distributed Computing and Internet Technology: 
Proc./5th International Conference, ICDCIT 2008. New Delhi, 
India, December 2008/Ed. by  M.Parashar, S.K.Aggarwal.
-Berlin, Heidelberg: Springer, 2008.-Vol. 5375.-197 p.
-(Lecture Notes in Computer Science).
 
 17. Mathematical Methods in Computer Science: Essays in 
Memory of Thomas Beth/Ed. by  J.Calmet, W.Geiselmann, 
J.Muller-Quade.-Berlin, Heidelberg: Springer, 2008.-Vol. 5393.
-191 p.-(Lecture Notes in Computer Science).
 
 18. Information Systems Security: Proc./4th International 
Conference, ICISS 2008. Hyderabad, India, December 2008/Ed. 
by  R.Sekar, A.K.Pujari.-Berlin, Heidelberg: Springer, 2008.
-Vol. 5352.-307 p.-(Lecture Notes in Computer Science).
 
 19. Self-Organizing Systems: Proc./Third International 
Workshop, IWSOS 2008. Vienna, Austria, December 2008/Ed. by  
K.A.Hummel, J.P.G.Sterbenz.-Berlin, Heidelberg: Springer, 
2008.-Vol. 5343.-340 p.-(Lecture Notes in Computer Science).
 
 20. Semantic Multimedia: Proc./Third International 
Conference on Semantic and Digital Media Technologies, SAMT 
2008. Koblenz, Germany, December 2008/Ed. by  D.Duke, 
L.Hardman, A.Hauptmann, D.Paulus.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 5392.-179 p.-(Lecture Notes in Computer 
Science).
 
 21. Innovations for Requirements Analysis: From 
Stakeholders' Needsto Formal Designs: Revised Selected 
Papers/14th Monterey Workshop. Monterey, CA, USA, September 
2007/Ed. by  B.Paech, C.Martel.-Berlin, Heidelberg: Springer,
 2008.-Vol. 5320.-215 p.-(Lecture Notes in Computer Science).
 
 22. Formal Methods for Components and Objects: Revised 
Papers/6th International Symposium, FMCO 2007. Amsterdam, 
The Netherlands, October 2007/Ed. by  De Boer F.S., 
M.M.Bonsangue, S.Graf, Roever W.-P.De.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 5382.-313 p.-(Lecture Notes in Computer 
Science).
 
 23. Languages and Compilers for Parallel Computing: Revised 
Selected Papers/21st International Workshop, LCPC 2008. 
Edmonton, Canada, July/August 2008/Ed. by  Amaral J.Nelson.
-Berlin, Heidelberg: Springer, 2008.-Vol. 5335.-358 p.
-(Lecture Notes in Computer Science).
 
 24. Information Hiding: Revised Selected Papers/10th 
International Workshop, IH 2008. Santa Barbara, CA, USA, May 
2008/Ed. by  K.Solanki, K.Sullivan, U.Madhow.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5284.-373 p.-(Lecture Notes 
in Computer Science).
 
 25. Intelligence and Security Informatics: Proc./First 
European Conference, EuroISI 2008. Esbjerg, Denmark, 
December 2008/Ed. by  D.Ortiz-Arroyo, Larsen H.Legind, Zeng 
D.Dajun, D.Hicks.-Berlin, Heidelberg: Springer, 2008.-Vol. 
5376.-277 p.-(Lecture Notes in Computer Science).
 
 26. Progress in Cryptology: INDOCRYPT 2008: Proc./9th 
International Conference on Cryptology in India. Kharagpur, 
India, December 2008/Ed. by  Chowdhury D.Roy, V.Rijmen, A.Das.
-Berlin, Heidelberg: Springer, 2008.-Vol. 5365.-437 p.
-(Lecture Notes in Computer Science).
 
 27. Simulated Evolution and Learning: Proc./7th 
International Conference, SEAL 2008. Melbourne, Australia, 
December 2008/Ed. by  Et Al. X.Li.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 5361.-658 p.-(Lecture Notes in Computer 
Science).
 
 28. Language and Automata Theory and Applications: Revised 
Papers/2nd International Conference, LATA 2008. Tarragona, 
Spain, March 2008/Ed. by  C.Martin-Vide, F.Otto, H.Fernau.
-Berlin, Heidelberg: Springer, 2008.-Vol. 5196.-500 p.
-(Lecture Notes in Computer Science).
 
 29. Applications of Graph Transformantions with Industrial 
Relevance: Revised Selected and Invited Papers/Third 
International Symposium, AGTIVE 2007. Kassel, Germany, 
October 2007/Ed. by  A.Schuerr, M.Nagl, A.Zuendorf.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5088.-594 p.-(Lecture Notes 
in Computer Science).
 
 30. Internet and Network Economics: Proc./4th International 
Workshop, WINE 2008. Shanghai, China, December 3008/Ed. by  
Ch.Papadimitriou, Sh.Zhang.-Berlin, Heidelberg: Springer, 
2008.-Vol. 5385.-734 p.-(Lecture Notes in Computer Science).
 
 31. Independent Component Analysis and Signal Separation: 
Proc./8th International Conference, ICA 2009. Paraty, 
Brazil, March 2009/Ed. by  T.Adali, Ch.Jutten, J.M.T.Romano, 
Barros A.Kardec.-Berlin, Heidelberg: Springer, 2009.-Vol. 
5441.-785 p.-(Lecture Notes in Computer Science).
 
 32. Public Key Cryptography - PKC 2009: Proc./12th 
International Conference on Practice and Theory in Public 
Key Cryptography. Irvine, CA, USA, March 2009/Ed. by  
S.Jarecki, G.Tsudik.-Berlin, Heidelberg: Springer, 2009.
-Vol. 5443.-521 p.-(Lecture Notes in Computer Science).
 
 33. Algorithms and Computation: Proc./19th International 
Symposium, ISAAC 2008. Gold Coast, Australia, December 2008/
Ed. by  S.-H.Hong, H.Nagamochi, T.Fukunaga.-Berlin, 
Heidelberg: Springer, 2009.-Vol. 5369.-945 p.-(Lecture Notes 
in Computer Science).
 
 34. Middleware 2008: Proc./ACM/IFIP/USENIX 9th 
International Middleware Conference. Leuven, Belgium, 
December 2008/Ed. by  V.Issarny, R.Schantz.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5346.-430 p.-(Lecture Notes 
in Computer Science).
 
 35. Theory of Cryptography: Proc./6th Theory of 
Cryptography Conference, TCC 2009. San Francisco, CA, USA, 
March 2009/Ed. by  O.Reingold.-Berlin, Heidelberg: Springer, 
2009.-Vol. 5444.-615 p.-(Lecture Notes in Computer Science).
 
 36. Advances in Multimedia Information Processing - PCM 
2008: Proc./9th Pacific Rim Conference on Multimedia. 
Tainan, Taiwan, December 2008/O. Huang Y.-M.Ray, Ch.Xu, 
K.-Sh.Cheng, Yang J.-F.Kevin.-Berlin, Heidelberg: Springer, 
2008.-Vol. 5353.-944 p.-(Lecture Notes in Computer Science).
 
 37. The Semantic Web: Proc./3rd Asian Semantic Web 
Conference, ASWC 2008. Bangkok, Thailand, December 2008/O. 
J.Domingue, Ch.Anutariya.-Berlin, Heidelberg: Springer, 2008.
-Vol. 5367.-556 p.-(Lecture Notes in Computer Science).
 
 38. Structural, Syntactic, and Statistical Pattern 
Recognition: Proc./Joint IAPR International Workshop, 
SSPR&SPR 2008. Orlando, USA, December 2008/Ed. by  Vittoria 
Lobo N.Da, T.Kasparis, F.Roli, Et Al. J.T.Kwok.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5342.-1011 p.-(Lecture 
Notes in Computer Science).
 
 39. Advances in Software Engineering: Revised Tutorial 
Lectures/Lipari Summer School 2007. Lipari Island, Italy, 
July 2007/O. E.Boerger, A.Cisternino.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 5316.-277 p.-(Lecture Notes in Computer 
Science).
 
 40. Journal on Data Semantics XI/O. S.Spaccapietra.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5383.-235 p.-(Lecture Notes 
in Computer Science).
 
 41. Transactions on Computational Systems Biology IX/Ed. by 
C.Priami.-Berlin, Heidelberg: Springer, 2008.-Vol. 5121.-153 
p.-(Lecture Notes in Bioinformatics).
 
 42. Advances in Web Mining and Web Usage Analysis: Revised 
Papers/9th Intl Workshop WebKDD 2007 & 1st Intl Workshop 
SNA-KDD 2007. San Jose, CA, USA, August 2007/Ed. by  
H.Zhang, M.Spiliopoulou, B.Mobasher, C.Lee.Giles.-Berlin, 
Heidelberg: Springer, 2009.-Vol. 5439.-155 p.-(Lecture Notes 
in Artificial Intelligence).
 
 43. Recent Advances in Constraints: Revised Selected 
Papers/12th Annual ERCIM Intl WS CSCLP 2007. Rocquencourt, 
France, June 2007/Ed. by  F.Fages, F.Rossi, S.Soliman.
-Berlin, Heidelberg: Springer, 2008.-Vol. 5129.-159 p.
-(Lecture Notes in Artificial Intelligence).
 
 44. Model Checking and Artificial Intelligence: Revised 
Selected and Invited Papers/5th International Workshop, 
MoChArt 2008. Patras, Greece, July 2008/Ed. by  D.A.Peled, 
M.J.Wooldbridge.-Berlin, Heidelberg: Springer, 2009.-Vol. 
5348.-189 p.-(Lecture Notes in Artificial Intelligence).
 
 45. Recent Advances in Reinforcement Learning: Revised and 
Selected Papers/8th European Workshop, EWRL 2008. Villeneuve 
d'Ascq, France, June/July 2008/Ed. by  S.Girgin, M.Loth, 
R.Munos, Ph.Preux.-Berlin, Heidelberg: Springer, 2008.-Vol. 
5323.-283 p.-(Lecture Notes in Artificial Intelligence).
 
 46. Multimodal Signals: Cognitive and Algorithmic Issues: 
Revised Selected and Invited Papers/COST Action 2102 and 
euCognition International School. Vietri sul Mare, Italy, 
April 2008/Ed. by  A.Esposito, A.Hussain, M.Marinaro, 
R.Martone.-Berlin, Heidelberg: Springer, 2008.-Vol. 5398.
-348 p.-(Lecture Notes in Artificial Intelligence).
 
 47. Intelligent Agents and Multi-Agent Systems: Proc./11th 
Pacific Rim International Conference on Multi-Agents, PRIMA 
2008. Hanoi, Vietnam, December 2008/Ed. by  Th.D.Bui, 
T.V.Ho, Q.Th.Ha.-Berlin, Heidelberg: Springer, 2008.-Vol. 
5357.-406 p.-(Lecture Notes in Artificial Intelligence).
 
 48. Uncertainty Reasoning for the Semantic Web I: Revised 
Selected and Invited Papers/ISWC International Workshops 
URSW 2005-2007/Ed. by  Costa P.C.G.Da, C.D'Amato, N.Fanizzi, 
K.B.Laskey.-Berlin, Heidelberg: Springer, 2008.-Vol. 5327.
-403 p.-(Lecture Notes in Artificial Intelligence).
 
 49. PRICAI 2008: Trends in Artificial Intelligence: 
Proc./10th Pacific Rim International Conference on 
Artificial Intelligence. Hanoi, Vietnam, December 2008/Ed. 
by  T.-B.Ho, Zh.-H.Zhou.-Berlin, Heidelberg: Springer, 2008.
-Vol. 5351.-1130 p.-(Lecture Notes in Artificial 
Intelligence).
 
 50. Karabasov S.A., Berloff P.S., Goloviznin V.M. Cabaret 
in the Ocean Gyres, 2008.-32 p.-(Rep./ИБРАЭ РАН; N 
IBRAE-2008-08).
 
 51. Головизнин В.М., Иванов А.В., Соловьева Е.В. Явные 
разностные схемы второго порядка аппроксимации для 
простейшего одномерного уравнения переноса на минимальных 
компактных вычислительных шаблонах, 2008.-37 с.
-(Препринт/ИБРАЭ РАН; N ИБРАЭ-2008-09).
 
 52. Камкин А.С. Метод автоматизации имитационного 
тестирования микропроцессоров с конвейерной архитектурой на 
основе формальных спецификаций: Автореф. дис... канд. ф.-м. 
наук: 05.13.11.-М., 2009.-21 с.-Библиогр.: c.19-21.
 
 53. Сухов В.Б. О решении некоторых задач моделирования 
крупномасштабной динамики океана: Автореф. дис... канд. 
ф.-м. наук: 01.01.07.-М., 2009.-17 с.-Библиогр.: c.17.
 
 54. Горелов С.С. Эффективные модели поиска в базах 
полуструктурированных данных на основе иерархии схем 
документов: Автореф. дис... канд. ф.-м. наук: 05.13.17.-М., 
2009.-21 с.-Библиогр.: c.21.
 
 55. Поляков В.Г. Комплекс средств поддержки разработки и 
адаптации рабочей станции "МРАМОР": Дис... канд. тех. наук: 
05.13.11.-Новосибирск, 1996.-128 с.-Библиогр.: c.123-125.
 
 56. Algorithms and Models for the Web-Graph: Proc./6th 
International Workshop, WAW 2009. Barcelona, Spain, February 
2009/Ed. by  K.Avrachenkov, D.Donato, N.Litvak.-Berlin, 
Heidelberg: Springer, 2009.-Vol. 5427.-185 p.-(Lecture Notes 
in Computer Science).
 
 57. Cognitive Vision: Revised Selected Papers/4th 
International Workshop, ICVW 2008. Santorini, Greece, May 
2008/Ed. by  B.Caputo, M.Vincze.-Berlin, Heidelberg: Springer,
 2009.-Vol. 5329.-149 p.-(Lecture Notes in Computer Science).
 
 58. Mobile Response: Revised Selected Papers/Second 
International Workshop on Mobile Information Technology for 
Emergency Response, MobileResponse 2008. Bonn, Germany, May 
2008/Ed. by  J.Loeffler, M.Klann.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 5424.-159 p.-(Lecture Notes in Computer 
Science).
 
 59. Learning and Intelligent Optimization: Selected 
Papers/Second International Conference, LION 2007 II. 
Trento, Italy, December 2007/Ed. by  V.Maniezzo, R.Battiti, 
J.-P.Watson.-Berlin, Heidelberg: Springer, 2008.-Vol. 5313.
-243 p.-(Lecture Notes in Computer Science).
 
 60. Groupware: Design, Implementation, and Use: Revised 
Selected Papers/14th International Workshop, CRIWG 2008. 
Omaha, NE, USA, September 2008/Ed. by  R.O.Briggs, 
P.Antunes, Vreede G.-J.De, A.S.Read.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 5411.-382 p.-(Lecture Notes in Computer 
Science).
 
 61. Wireless Sensor Networks: Proc./6th European 
Conference, EWSN 2009. Cork, Ireland, February 2009/Ed. by  
U.Roedig, C.J.Sreenan.-Berlin, Heidelberg: Springer, 2009.
-Vol. 5432.-375 p.-(Lecture Notes in Computer Science).
 
 62. Computer Supported Cooperative Work in Design IV: 
Revised Selected Papers/11th International Conference, CSCWD 
2007. Melbourne, Australia, April 2007/Ed. by  W.Shen, 
J.Yong, Y.Yang, J.-P.A.Barthes.-Berlin, Heidelberg: Springer,
 2008.-Vol. 5236.-676 p.-(Lecture Notes in Computer Science).
 
 63. Engineering Interactive Systems: Selected Papers/EIS 
2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 
2007. Salamanca, Spain, March 2007/Ed. by  J.Gulliksen, 
M.B.Harning, Ph.Palanque, Der Veer G.C.Van.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 4940.-640 p.-(Lecture Notes 
in Computer Science).
 
 64. Information Security Applications: Revised Selected 
Papers/9th International Workshop, WISA 2008. Jeju Island, 
Korea, September 2008/Ed. by  K.-I.Chung, K.Sohn, M.Yung.
-Berlin, Heidelberg: Springer, 2009.-Vol. 5379.-334 p.
-(Lecture Notes in Computer Science).
 
 65. Integrated Circuit and System Design: Power and Timing 
Modeling, Optimization and Simulation: Revised Selected 
Papers/18th Intl WS, PATMOS 2008. Lisbon, Portuga, September 
2008/Ed. by  L.Svensson, J.Monteiro.-Berlin, Heidelberg: 
Springer, 2009.-Vol. 5349.-462 p.-(Lecture Notes in Computer 
Science).
 
 66. Graph Drawing: Revised Papers/16th International 
Symposium, GD 2008. Heraklion, Crete, Greece, September 2008/
Ed. by  I.G.Tollis, M.Patrignani.-Berlin, Heidelberg: 
Springer, 2009.-Vol. 5417.-460 p.-(Lecture Notes in Computer 
Science).