Библиотека

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

Hовые поступления с 3 декабря 2007 года по 6 января 2008 года

  1. Ontologies-Based Databases and Information Systems: 
Revised Papers/1st and 2nd VLDB Workshops, ODBIS 2005/2006. 
Trondheim, Norway, September 2005/Ed. by  M.Collard.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4623.-153 p.-(Lecture Notes 
in Computer Science).
 
  2. Database and XML Technologies: Proc./5th International 
XML Database Symposium, XSym 2007. Vienna, Austria, 
September 2007/Ed. by  S.Barbosa, A.Bonifati, Z.Ballahsene, 
E.Hunt.-Berlin, Heidelberg: Springer, 2007.-Vol. 4704.-141 p.
-(Lecture Notes in Computer Science).
 
  3. Software Engineering Approaches for Offshore and 
Outsourced Development: Revised Papers/1st International 
Conference, SEAFOOD 2007. Zurich, Switzerland, February 2007/
Ed. by  B.Meyer, M.Joseph.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4716.-201 p.-(Lecture Notes in Computer Science).
 
  4. Software Process Improvement: Proc./14th European 
Conference, EuroSPI 2007. Potsdam, Germany, September 2007/
Ed. by  P.Abrahamsson, N.Baddo, T.Margaria, R.Messnarz.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4764.-225 p.
-(Lecture Notes in Computer Science).
 
  5. Service-Oriented Computing ICSOC 2006: Workshops 
Proc./4th International Conference. Chicago, IL, USA, 
December 2006/Ed. by  D.Georgakopoulos, N.Ritter, 
B.Benatallah, Ch.Zirpins.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4652.-201 p.-(Lecture Notes in Computer Science).
 
  6. Secure Data Management: Proc./4th VLDB Workshop, SDM 
2007. Vienna, Austria, September 2007/Ed. by  W.Jonker, 
M.Petkovic.-Berlin, Heidelberg: Springer, 2007.-Vol. 4721.
-213 p.-(Lecture Notes in Computer Science).
 
  7. Hybrid Metaheuristics: Proc./4th International 
Workshop, HM 2007. Dortmund, Germany, October 2007/Ed. by  
Th.Bartz-Beielstein, Aguilera M.J.Blesa, Ch.Blum, Et Al. 
B.Naujoks.-Berlin, Heidelberg: Springer, 2007.-Vol. 4771.
-201 p.-(Lecture Notes in Computer Science).
 
  8. Dependable Computing: Proc./Third Latin-American 
Symposium, LADC 2007. Morelia, Mexico, September 2007/Ed. by 
A.Bondavalli, F.Brasileiro, S.Rajsbaum.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4746.-239 p.-(Lecture Notes in Computer 
Science).
 
  9. Formal Aspects in Security and Trust: Revised Selected 
Papers/Fourth International Workshop, FAST 2006. Hamilton, 
Ontario, Canada, August 2006/Ed. by  Th.Dimitrakos, 
F.Martinelli, P.Y.A.Ryan, S.Schneider.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4691.-285 p.-(Lecture Notes in Computer 
Science).
 
 10. Computers and Games: Revised Papers/5th International 
Conference, CG 2006. Turin, Italy, May 2006/Ed. by  Den 
Herik H.J.Van, P.Ciancarini, H.H.L.M.J.Donkers.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4630.-283 p.-(Lecture Notes 
in Computer Science).
 
 11. Types for Proofs and Programs: Revised Selected 
Papers/International Workshop, TYPES 2006. Nottingham, UK, 
April 2006/Ed. by  Th.Altenkirch, C.Mcbride.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4502.-269 p.-(Lecture Notes 
in Computer Science).
 
 12. Location-and-Context-Awareness: Proc./Third 
International Symposium, LoCA 2007. Oberpfaffenhofen, 
Germany, September 2007/Ed. by  J.Hightower, B.Schiele, 
Th.Strang.-Berlin, Heidelberg: Springer, 2007.-Vol. 4718.
-297 p.-(Lecture Notes in Computer Science).
 
 13. Self-Organizing Systems: Proc./Second International 
Workshop, IWSOS 2007. The Lake District, UK, September 2007/
Ed. by  S.Hutchison, R.H.Katz.-Berlin, Heidelberg: Springer, 
2007.-Vol. 4725.-295 p.-(Lecture Notes in Computer Science).
 
 14. Formal Methods and Stochastic Models for Performance 
Evaluation: Proc./4th European Performance Engineering 
Workshop, EPEW 2007. Berlin, Germany, September 2007/Ed. by  
K.Wolter.-Berlin, Heidelberg: Springer, 2007.-Vol. 4748.-301 
p.-(Lecture Notes in Computer Science).
 
 15. Advances in Brain, Vision, and Artificial Intelligence: 
Proc./Second International Symposium, BVAI 2007. Naples, 
Italy, October 2007/Ed. by  F.Mele, G.Ramella, S.Santillo, 
F.Ventriglia.-Berlin, Heidelberg: Springer, 2007.-Vol. 4729.
-618 p.-(Lecture Notes in Computer Science).
 
 16. Software Architecture: Proc./First European Conference, 
ECSA 2007. Madrid, Spain, September 2007/Ed. by  F.Oquendo.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4758.-340 p.
-(Lecture Notes in Computer Science).
 
 17. Selected Areas in Cryptography: Revised Selected 
Papers/13th International Workshop, SAC 2006. Montreal, 
Canada, August 2006/Ed. by  E.Biham, A.M.Youssef.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4356.-395 p.-(Lecture Notes 
in Computer Science).
 
 18. Information Hiding: Revised Selected Papers/8th 
International Workshop, IH 2006. Alexandria, VA, USA, July 
2006/Ed. by  J.L.Camenisch, Ch.S.Collberg, N.F.Johnson, 
Ph.Sallee.-Berlin, Heidelberg: Springer, 2007.-Vol. 4437.
-389 p.-(Lecture Notes in Computer Science).
 
 19. Service-Oriented Computing - ICSOC 2007: Proc./Fifth 
International Conference. Vienna, Austria, September 2007/
Ed. by  B.J.Kraemer, K.-J.Lin, P.Narasimhan.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4749.-629 p.-(Lecture Notes 
in Computer Science).
 
 20. Model Driven Engineering Languages and Systems: 
Proc./10th International Conference, MODELS 2007. Nashville, 
USA, September/October 2007/Ed. by  G.Engels, B.Opdyke, 
D.C.Schmidt, F.Weil.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4735.-698 p.-(Lecture Notes in Computer Science).
 
 21. Advances in Databases and Information Systems: 
Proc./11th East European Conference, ADBIS 2007. Varna, 
Bulgaria, September/October 2007/Ed. by  Y.Ioannidis, 
B.Novikov, B.Rachev.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4690.-377 p.-(Lecture Notes in Computer Science).
 
 22. Computer Security - ESORICS 2007: Proc./12th European 
Symposium on Research in Computer Security. Dresden, 
Germany, September 2007/Ed. by  J.Biskup, J.Lopez.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4734.-628 p.-(Lecture Notes 
in Computer Science).
 
 23. Recent Advances in Parallel Virtual Machine and Message 
Passing Interface: Proc./14th European PVM/MPI Users' Group 
Meeting. Paris, France, September/October 2007/Ed. by  
F.Capello, Th.Herault, J.Dongarra.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4757.-396 p.-(Lecture Notes in Computer 
Science).
 
 24. Spatial Information Theory: Proc./8th International 
Conference, COSIT 2007. Melbourne, Australia, September 2007/
Ed. by  S.Winter, M.Duckham, L.Kulik, B.Kuipers.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4736.-455 p.-(Lecture Notes 
in Computer Science).
 
 25. Cooperative Design, Visualization, and Engineering: 
Proc./4th International Conference, CDVE 2007. Shanghai, 
China, September 2007/Ed. by  Y.Luo.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4674.-431 p.-(Lecture Notes in Computer 
Science).
 
 26. Computer Algebra in Scientific Computing: Proc./10th 
International Workshop, CASC 2007. Bonn, Germany, September 
2007/Ed. by  V.G.Ganzha, E.W.Mayr, E.V.Vorozhtsov.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4770.-460 p.-(Lecture Notes 
in Computer Science).
 
 27. Algorithms - ESA 2007: Proc./15th Annual European 
Symposium. Eliat, Israel, October 2007/Ed. by  L.Arge, 
M.Hoffmann, E.Welzl.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4698.-769 p.-(Lecture Notes in Computer Science).
 
 28. Affective Computing and Intelligent Interaction: 
Proc./Second International Conference, ACII 2007. Lisbon, 
Portugal, September 2007/Ed. by  A.Paiva, R.Prada, R.W.Picard.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4738.-781 p.
-(Lecture Notes in Computer Science).
 
 29. Distributed Computing: Proc./21st International 
Symposium, DISC 2007. Lemesos, Cyprus, September 2007/Ed. by 
A.Pelc.-Berlin, Heidelberg: Springer, 2007.-Vol. 4731.-510 p.
-(Lecture Notes in Computer Science).
 
 30. Combinatorics, Algorithms, Probabilistic and 
Experimental Methodologies: Revised Selected Papers/1st 
International Symposium, ESCAPE 2007. Hangzhou, China, April 
2007/Ed. by  B.Chen, M.Paterson, G.Zhang.-Berlin, Heidelberg:
 Springer, 2007.-Vol. 4614.-530 p.-(Lecture Notes in 
Computer Science).
 
 31. High Performance Computing and Communications: 
Proc./Third International Conference, HPCC 2007. Houston, 
USA, September 2007/Ed. by  R.Perrott, B.M.Chapman, 
J.Subhlok, Mello R.F.De.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4782.-823 p.-(Lecture Notes in Computer Science).
 
 32. Artificial Neural Networks - ICANN 2007: Part I: 
Proc./17th International Conference. Porto, Portugal, 
September 2007/Ed. by  Sa J.M.De, L.A.Alexandre, W.Duch, 
D.P.Mandic.-Berlin, Heidelberg: Springer, 2007.-Vol. 4668.
-978 p.-(Lecture Notes in Computer Science).
 
 33. Software Technologies for Embedded and Ubiquitous 
Systems: Revised Papers/5th IFIP WG 10.2 International 
Workshop, SEUS 2007. Santorini Island, Greece, May 2007/Ed. 
by  R.Obermaisser, Y.Nah, P.Puschner, F.J.Rammig.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4761.-563 p.-(Lecture Notes 
in Computer Science).

 34. Computer Science Logic: Proc./21st International 
Workshop, CSL 2007, 16th Annual Conference of the EACSL. 
Lausanne, Switzerland, September 2007/Ed. by  J.Duparc, 
Th.A.Henzinger.-Berlin, Heidelberg: Springer, 2007.-Vol. 4646.
-600 p.-(Lecture Notes in Computer Science).
 
 35. Journal on Data Semantics IX/Ed. by  S.Spaccapietra.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4601.-197 p.
-(Lecture Notes in Computer Science).
 
 36. Algorithms for Sensor and Ad Hoc Networks: Advanced 
Lectures/Ed. by  D.Wagner, R.Wattenhofer.-Berlin, Heidelberg:
 Springer, 2007.-Vol. 4621.-415 p.-(Lecture Notes in 
Computer Science).
 
 37. Formal Methods and Hybrid Real-Time Systems: Essays in 
Honour of Dines Bjorner and Zhou Chaochen on the Occasion of 
Their 70th Birthdays/Ed. by  C.B.Jones, Zh.Liu, J.Woodcock.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4700.-539 p.
-(Lecture Notes in Computer Science).
 
 38. From Web to Social Web: Discovering and Deploying User 
and Content Profiles: Revised Selected and Invited 
Papers/Workshop on Web Mining, WebMine 2006. Berlin, 
Germany, September 2006/Ed. by  B.Berendt, A.Hotho, 
D.Mladenic, G.Semeraro.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4737.-161 p.-(Lecture Notes in Artificial 
Intelligence).
 
 39. Multiagent System Technologies: Proc./5th German 
Conference, MATES 2007. Leipzig, Germany, September 2007/Ed. 
by  P.Petta, J.P.Mueller, M.Klusch, M.Georgeff.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4687.-207 p.-(Lecture Notes 
in Artificial Intelligence).
 
 40. Scalable Uncertainty Management: Proc./First 
International Conference, SUM 2007. Washington, DC, USA, 
October 2007/Ed. by  H.Prade, V.S.Subrahmanian.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4772.-277 p.-(Lecture Notes 
in Artificial Intelligence).
 
 41. Logic, Language, and Computation: Revised Selected 
Papers/6th International Tbilisi Symposium, TbiLLC 2005. 
Batumi, Georgia, September 2005/Ed. by  Cate B.D.Ten, 
H.W.Zeevat.-Berlin, Heidelberg: Springer, 2007.-Vol. 4363.
-281 p.-(Lecture Notes in Artificial Intelligence).
 
 42. Discovery Science: Proc./10th International Conference, 
DS 2007. Sendai, Japan, October 2007/Ed. by  V.Corruble, 
M.Takeda, E.Suzuki.-Berlin, Heidelberg: Springer, 2007.-Vol. 
4755.-298 p.-(Lecture Notes in Artificial Intelligence).
 
 43. Multi-Agent Systems and Applications V: Proc./5th 
International Central and Eastern European Conference on 
Multi-Agent Systems, CEEMAS 2007. Leipzig, Germany, 
September 2007/Ed. by  H.-D.Burkhard, G.Lindemann, 
R.Verbrugge, L.Z.Varga.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4696.-350 p.-(Lecture Notes in Artificial 
Intelligence).
 
 44. Algorithmic Learning Theory: Proc./18th International 
Conference, ALT 2007. Sendai, Japan, October 2007/Ed. by  
M.Hutter, R.A.Servedio, E.Takimoto.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4754.-403 p.-(Lecture Notes in 
Artificial Intelligence).
 
 45. Engineering Societies in the Agents World VII: Revised 
Selected and Invited Papers/7th International Workshop, ESAW 
2006. Dublin, Ireland, September 2006/Ed. by  G.M.P.O'Hare, 
A.Ricci, M.J.O'Grady, O.Dikenelli.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4457.-401 p.-(Lecture Notes in 
Artificial Intelligence).
 
 46. Intelligent Virtual Agents: Proc./7th International 
Conference, IVA 2007. Paris, France, September 2007/Ed. by  
C.Pelachaud, J.-C.Martin, E.Andre, G.Chollet.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4722.-425 p.-(Lecture Notes 
in Artificial Intelligence).
 
 47. KI 2007: Advances in Artificial Intelligence: 
Proc./30th Annual German Conference on AI, KI 2007. 
Osnabrueck, Germany, September 2007/Ed. by  J.Hertzberg, 
M.Beetz, R.Englert.-Berlin, Heidelberg: Springer, 2007.-Vol. 
4667.-516 p.-(Lecture Notes in Artificial Intelligence).
 
 48. Machine Learning: ECML 2007: Proc./18th European 
Conference on Machine Learning. Warsaw, Poland, September 
2007/Ed. by  J.N.Nok, J.Koronacki, Mantaras R.L.De, S.Matwin.
-Berlin, Heidelberg: Springer, 2007-(Lecture Notes in 
Artificial Intelligence).
 
 49. Symbolic and Quantitative Approaches to Reasoning with 
Uncertainty: Proc./9th European Conference, ECSQUARU 2007. 
Hammamet, Tunisia, October/November 2007/Ed. by  Kh.Mellouli.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4724.-914 p.
-(Lecture Notes in Artificial Intelligence).
 
 50. Pattern Recognition in Bioinformatics: Proc./Second 
IAPR International Workshop, PRIB 2007. Singapore, October 
2007/Ed. by  J.C.Rajapakse, B.Schmidt, G.Volkert.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4774.-410 p.-(Lecture Notes 
in Bioinformatics).
 
 51. Life System Modeling and Simulation: 
Proc./International Conference, LSMS 2007. Shanghai, China, 
September 2007/Ed. by  K.Li, X.Li, G.W.Irwin, G.He.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4689.-561 p.-(Lecture Notes 
in Bioinformatics).
 
 52. Databases and Information Systems: Proc./Second 
International Baltic Workshop. Tallinn, June 12-14, 1996/
Institute of Cybernetics; Ed. by  H.-M.Haav, B.Thalheim.
-Tallinn, 1996.-Vol. 1.-233 p.
 
 53. Zamulin A.V. Adding Genericity to Object-Oriented ASMS.
-Novosibirsk, 1999.-28 p.-(Rep./IIS SB RAS; N 60).
 
 54. Конев И.М. Управление памятью в системах 
автоматизированного распараллеливания программ: Автореф. 
диcс. канд. ф.-м. наук: 05.13.11.-Москва, 2007.-24 с.
-Библиогр.: c.23-24.
 
 55. Баженов М.М. Разработка специального математического и 
программного обеспечения выявления веб-сообществ в 
информационно-поисковых системах: Автореф. дисc. канд. тех. 
наук: 05.13.11.-Воронеж, 2007.-17 с.-Библиогр.: c.17-18.
 
 56. Выпускники МГУ в Новосибирском научном центре СО РАН. 
1957-2007/РАН. .- Новосибирск: Академическое изд-во "Гео", 
2007.- 328 с.
 
 57. Zamulin A.V. The Database Programming Language Atlant.
-Glasgow, 1989.-74 p.-(Rep./Univ. Glasgow; N CSC/89/R13).
 
 58. Steindi C. Accessing ODBC Databases from Oberon Programs.
-Lunz, 1996.-39 p.-(Rep./Univ. Lunz; N 9).
 
 59. Knasmuller M. Adding Persistence to the Oberon-System.
-Lunz, 1996.-37 p.-(Rep./Univ. Lunz; N 6).