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

Hовые поступления с 14 января по 26 февраля 2008 года


  1. Skoeld M. Active Rules based on Object Relational 
Queries.-Linkoeping, 1994.-96 p.-(Rep./Linkoeping University;
 N 452).
 
  2. Advances in Information Modeling and Knowledge Bases/
Ed. by  H.Jaakkola, H.Kangassalo, S.Ohsuga.-Amsterdam, 
Washington, Dc: IOS Press, 1991.-368 p.-(Frontiers in 
Artificial Intelligence and Applications).
 
  3. Information Modeling and Knowledge Bases IV/Ed. by  
H.Kangassalo, H.Jaakkola, K.Hori, T.Kitahashi.-Amsterdam, 
Washington, Dc: IOS Press, 1993.-439 p.-(Frontiers in 
Artificial Intelligence and Applications).
 
  4. Cryptology and Network Security: Proc./6th 
International Conference, CANS 2007. Singapore, December 2007
/Ed. by  F.Bao, S.Ling, T.Okamoto, H.Wang.-Berlin, Heidelberg:
 Springer, 2007.-Vol. 4856.-283 p.-(Lecture Notes in 
Computer Science).
 
  5. Privacy Enhancing Technologies: Revised Selected 
Papers/7th International Symposium, PET 2007. Ottawa, 
Canada, June 2007/Ed. by  N.Borisov, Ph.Golle.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4776.-273 p.-(Lecture Notes 
in Computer Science).
 
  6. Formal Modeling and Analysis of Timed Systems: 
Proc./5th International Conference, FORMATS 2007. Salzburg, 
Austria, October 2007/Ed. by  J.-F.Raskin, P.S.Thiagarajan.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4763.-369 p.
-(Lecture Notes in Computer Science).
 
  7. Information Security: Proc./10th International 
Conference, ISC 2007. Valparaiso, Chile, October 2007/Ed. by 
J.A.Garay, A.K.Lenstra, M.Mambo, R.Peralta.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4779.-473 p.-(Lecture Notes 
in Computer Science).
 
  8. Business Process Management: Proc./5th International 
Conference, BPM 2007. Brisbane, Australia, September 2007/
Ed. by  G.Alonso, P.Dadam, M.Rosemann.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4714.-418 p.-(Lecture Notes in Computer 
Science).
 
  9. Stabilization, Safety, and Security of Distributed 
Systems: Proc./9th International Symposium, SSS 2007. Paris, 
France, November 2007/Ed. by  T.Masuzawa, S.Tixeuil.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4838.-409 p.-(Lecture Notes 
in Computer Science).
 
 10. Managing Next Generation Networks and Services: 
Proc./10th Asia-Pacific Network Operations and Management 
Symposium, APNOMS 2007. Sapporo, Japan, October 2007/Ed. by  
Sh.Ata, Hong Ch.Seon.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4773.-619 p.-(Lecture Notes in Computer Science).
 
 11. The Semantic Web: Proc./6th International Semantic Web 
Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + 
ASWC 2007. Busan, Korea, November 2007/Ed. by  K.Aberer.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4825.-973 p.
-(Lecture Notes in Computer Science).
 
 12. Mobile Ad-hoc and Sensor Networks: Proc./Third 
International Conference, MSN 2007. Beijing, China, December 
2007/Ed. by  H.Zhang, S.Olariu, J.Cao, D.B.Johnson.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4864.-869 p.-(Lecture Notes 
in Computer Science).
 
 13. Computer Safety, Reliability, and Security: Proc./26th 
International Conference, SAFECOMP 2007. Nuremberg, Germany, 
September 2007/Ed. by  F.Saglietti, N.Oster.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4680.-548 p.-(Lecture Notes 
in Computer Science).
 
 14. Transactions on Computational Systems Biology VIII/Ed. 
by  Priami Corrado.-Berlin, Heidelberg: Springer, 2007.-Vol. 
4780.-103 p.-(Lecture Notes in Bioinformatics).
 
 15. Mobile Response: Revised Selected Papers/1st Intl WS on 
Mobile Information Technology for Emergency Response - 
Mobile Response 2007. Sankt Augustin, Germany, Februay 2007/
Ed. by  J.Loeffler, M.Klann.-Berlin, Heidelberg: Springer, 
2007.-Vol. 4458.-163 p.-(Lecture Notes in Computer Science).
 
 16. Human-Computer Interaction: Proc./IEEE International 
Workshop, HCI 2007. Rio de Janeiro, Brazil, October 2007/Ed. 
by  M.Lew, N.Sebe, Th.S.Huang, E.M.Bakker.-Berlin, Heidelberg:
 Springer, 2007.-Vol. 4796.-157 p.-(Lecture Notes in 
Computer Science).
 
 17. Algorithms and Models for the Web-Graph: Proc./5th 
International Workshop, WAW 2007. San Diego, CA, USA, 
December 2007/Ed. by  A.Bonato, F.R.K.Chung.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4863.-217 p.-(Lecture Notes 
in Computer Science).
 
 18. Provable Security: Proc./First International 
Conference, ProvSec 2007. Wollongong, Australia, November 
2007/Ed. by  W.Susilo, J.K.Liu, Y.Mu.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4784.-237 p.-(Lecture Notes in Computer 
Science).
 
 19. Database Programming Languages: Revised Selected 
Papers/11th International Symposium, DBPL 2007. Vienna, 
Austria, September 2007/Ed. by  M.Arenas, M.I.Schwartzbach.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4797.-261 p.
-(Lecture Notes in Computer Science).
 
 20. Advances in Rule Interchange and Applications: 
Proc./International Symposium, RuleML 2007. Orlando, 
Florida, October 2007/Ed. by  A.Paschke, Y.Biletskiy.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4824.-243 p.
-(Lecture Notes in Computer Science).
 
 21. Managing Virtualization of Networks and Services: 
Proc./18th IFIP/IEEE International Workshop on Distributed 
Systems: Operations and Management, DSOM 2007. San Jose, CA, 
USA, October 2007/Ed. by  A.Clemm, Granville L.Zambenedetti, 
R.Stadler.-Berlin, Heidelberg: Springer, 2007.-Vol. 4785.
-269 p.-(Lecture Notes in Computer Science).
 
 22. Analysis and Modeling of Faces and Gestures: 
Proc./Third International Workshop, AMFG 2007. Rio de 
Janeiro, Brazil, October 2007/Ed. by  S.K.Zhou, W.Zhao, 
X.Tang, Sh.Gong.-Berlin, Heidelberg: Springer, 2007.-Vol. 
4778.-304 p.-(Lecture Notes in Computer Science).
 
 23. Web and Wireless Geographical Information Systems: 
Proc./7th International Symposium, W2GIS 2007. Cardiff, UK, 
November 2007/Ed. by  J.M.Ware, G.E.Taylor.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4857.-293 p.-(Lecture Notes 
in Computer Science).
 
 24. GeoSpatial Semantics: Proc./Second International 
Conference, GeoS 2007. Mexico City, Mexico, November 2007/
Ed. by  F.Fonseca, Rodriguez M.Andrea, S.Levashkin.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4853.-289 p.-(Lecture Notes 
in Computer Science).
 
 25. Knowledge Discovery in Inductive Databases: 
Proc./Revised Selected and Invited Papers/5th International 
Workshop, KDID 2006. Berlin, Germany, September 2006/Ed. by  
S.Dzeroski, J.Struyf.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4747.-301 p.-(Lecture Notes in Computer Science).
 
 26. Smart Sensing and Context: Proc./Second International 
Conference, EuroSSC 2007. Kendal, England, October 2007/Ed. 
by  G.Kortuem, J.Finney, R.Lea, V.Sundramoorthy.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4793.-301 p.-(Lecture Notes 
in Computer Science).
 
 27. Advances in Computer Science - ASIAN 2007: Computer and 
Network Security: Proc./12th Asian Computing Science 
Conference. Doha, Quatar, December 2007/Ed. by  I.Cervesato.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4846.-313 p.
-(Lecture Notes in Computer Science).
 
 28. Databases in Networked Information Systems: Proc./5th 
International Workshop, DNIS 2007. Aizu-Wakamatsu, Japan, 
October 2007/Ed. by  S.Bhalla.-Berlin, Heidelberg: Springer, 
2007.-Vol. 4777.-329 p.-(Lecture Notes in Computer Science).
 
 29. Trends in Enterprise Application Architecture: Revised 
Selected Papers/2nd International Conference, TEAA 2006. 
Berlin, Germany, November/December 2006/Ed. by  D.Draheim, 
G.Weber.-Berlin, Heidelberg: Springer, 2007.-Vol. 4473.-355 
p.-(Lecture Notes in Computer Science).
 
 30. Ambient Intelligence: Proc./European Conference, Aml 
2007. Darmstadt, Germany, November 2007/Ed. by  B.Schiele, 
A.K.Dey, H.Gellersen, Ruyter B.De.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4794.-375 p.-(Lecture Notes in Computer 
Science).
 
 31. Advances in Conceptual Modeling - Foundations and 
Applications: Proc./ER 2007 Workshops CMLSA, FP-UML, ONISW, 
QoIS, RIGiM, SeCoGIS. Auckland, New Zealand, November 2007/
Ed. by  J.-L.Hainaut.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4802.-420 p.-(Lecture Notes in Computer Science).
 
 32. Information Security and Cryptology - ICISC 2007: 
Proc./10th International Conference. Seoul, Korea, November 
2007/Ed. by  K.-H.Nam, G.Rhee.-Berlin, Heidelberg: Springer, 
2007.-Vol. 4817.-367 p.-(Lecture Notes in Computer Science).
 
 33. Conceptual Modeling - ER 2007: Proc./26th International 
Conference on Conceptual Modeling. Auckland, New Zealand, 
November 2007/Ed. by  Ch.Parent, K.-D.Schewe, V.C.Storey, 
B.Thalheim.-Berlin, Heidelberg: Springer, 2007.-Vol. 4801.
-616 p.-(Lecture Notes in Computer Science).
 
 34. Progress in Cryptology - INDOCRYPT 2007: Proc./8th 
International Conference on Cryptology in India. Chennai, 
India, December 2007/Ed. by  K.Srinatan, Rangan C.Pandu, 
M.Yung.-Berlin, Heidelberg: Springer, 2007.-Vol. 4859.-426 p.
-(Lecture Notes in Computer Science).
 
 35. Middleware 2007: Proc./ ACM/IFIP/USENIX 8th 
International Middleware Conference. Newport Beach, CA, USA, 
November 2007/Ed. by  R.Cerqueira, R.H.Campbell.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4834.-451 p.-(Lecture Notes 
in Computer Science).
 
 36. Advances in Information and Computer Security: 
Proc./Second International Workshop on Security, IWSEC 2007. 
Nara, Japan, October 2007/Ed. by  A.Miyaji, H.Kikuchi, 
K.Rannenberg.-Berlin, Heidelberg: Springer, 2007.-Vol. 4752.
-460 p.-(Lecture Notes in Computer Science).
 
 37. Advanced Parallel Processing Technologies: Proc./7th 
International Symposium, APPT 2007. Guangzhou, China, 
November 2007/Ed. by  M.Xu, Y.Zhan, J.Cao, Y.Liu.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4847.-767 p.-(Lecture Notes 
in Computer Science).
 
 38. HCI and Usability for Medicine and Health Care: 
Proc./Third Symposium of the Workgroup Human-Computer 
Interaction and Usability Engineering of the Austrian 
Computer Society, USAB 2007. Graz, Austria, November 2007/
Ed. by  A.Holzinger.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4799.-458 p.-(Lecture Notes in Computer Science).
 
 39. Web Information Systems Engineering - WISE 2007 
Workshops: Proc./WISE 2007 International Workshops. Nancy, 
France, December 2007/Ed. by  M.Weske, M.-S.Hacid, C.Godart.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4832.-518 p.
-(Lecture Notes in Computer Science).
 
 40. Asian Digital Libraries: Proc./10th International 
Conference on Asian Digital Libraries, ICADL 2007. Hanoi, 
Vietnam, December 2007/Ed. by  D.H.-L.Goh, T.H.Cao, 
I.T.Solvberg, E.Rasmussen.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4822.-519 p.-(Lecture Notes in Computer Science).
 
 41. Theoretical Aspects of Computing - ICTAC 2007: 
Proc./4th International Colloquium. Macao, China, September 
2007/Ed. by  C.B.Jones, Zh.Liu, J.Woodcock.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4711.-483 p.-(Lecture Notes 
in Computer Science).
 
 42. Advances in Cryptology - ASIACRYPT 2007: Proc./13th 
International Conference on the Theory and Application of 
Cryptology and Information Security. Kuching, Malaysia, 
December 2007/Ed. by  K.Kurosawa.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4833.-583 p.-(Lecture Notes in Computer 
Science).
 
 43. Applied Parallel Computing: State of the Art in 
Scientific Computing: Revised Selected Papers/8th 
International Workshop, PARA 2006. Umea, Sweden, June 2006/
Ed. by  B.Kagstrom, E.Elmroth, J.Dongarra, J.Wasniewski.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4699.-1192 p.
-(Lecture Notes in Computer Science).
 
 44. Computer Aided Systems Theory - EUROCAST 2007: Revised 
Selected Papers/11th International Conference. Las Palmas de 
Gran Canaria, Spain, February 2007/Ed. by  R.M.Diaz, 
F.Pichler, Arencibia A.Quesada.-Berlin, Heidelberg: Springer,
 2007.-Vol. 4739.-1233 p.-(Lecture Notes in Computer 
Science).
 
 45. Advances in Visual Computing: Part I: Proc./Third 
International Symposium, ISVC 2007. Lake Tahoe, NV, USA, 
November 2007/Ed. by  G.Bebis.-Berlin, Heidelberg: Springer, 
2007.-Vol. 4841.-831 p.-(Lecture Notes in Computer Science).
 
 46. Advances in Visual Computing: Part II: Proc./Third 
International Symposium, ISVC 2007. Lake Tahoe, NV, USA, 
November 2007/Ed. by  G.Bebis.-Berlin, Heidelberg: Springer, 
2007.-Vol. 4842.-827 p.-(Lecture Notes in Computer Science).
 
 47. On the Move to Meaningful Internet Systems 2007: Part 
I: Proc./WSs: AWeSOMe, CAMS, OTM Academy Doctoral 
Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS 
& SWWS 2007. Vilamoura, Portugal, November 2007/Ed. by  
R.Meersman, Z.Tari, P.Herrero.-Berlin, Heidelberg: Springer, 
2007.-Vol. 4805.-757 p.-(Lecture Notes in Computer Science).
 
 48. On the Move to Meaningful Internet Systems 2007: Part 
II: Proc./OTM WSs: AWeSOMe, CAMS, OTM Academy Doctoral 
Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, 
SSWS, and SWWS 2007. Vilamoura, Portugal, November/Ed. by  
R.Meersman, Z.Tari, P.Herrero.-Berlin, Heidelberg: Springer, 
2007.-Vol. 4806.-p.758-1369-(Lecture Notes in Computer 
Science).
 
 49. On the Move to Meaningful Internet Systems 2007: 
CoopIS, DOA, ODBASE, GADA & IS: Part I: Proc./OTM 
Conferences. Vilamoura, Portugal, November/Ed. by  
R.Meersman, Z.Tari.-Berlin, Heidelberg: Springer, 2007.-Vol. 
4803.-1173 p.-(Lecture Notes in Computer Science).
 
 50. On the Move to Meaningful Internet Systems 2007: 
CoopIS, DOA, ODBASE, GADA & IS: Part II: Proc./OTM 
International Conferences. Vilamoura, Portugal, November 2007
/Ed. by  R.Meersman, Z.Tari.-Berlin, Heidelberg: Springer, 
2007.-Vol. 4804.-p.1174-1857-(Lecture Notes in Computer 
Science).
 
 51. Medical Image Computing and Computer-Assisted 
Intervention - MICCAI 2007: Part I: Proc./10th International 
Conference. Brisbane, Australia, October/November 2007/Ed. 
by  N.Ayache, S.Ourselin, A.Maeder.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4791.-1012 p.-(Lecture Notes in 
Computer Science).
 
 52. Medical Image Computing and Computer-Assisted 
Intervention - MICCAI 2007: Part II: Proc./10th 
International Conference. Brisbane, Australia, 
October/November 2007/Ed. by  N.Ayache, S.Ourselin, A.Maeder.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4792.-988 p.
-(Lecture Notes in Computer Science).
 
 53. Algorithmic Methods for Railway Optimization: Revised 
Selected Papers/International Dagstuhl Workshop Railway 
Optimization 2004. Dagstuhl Castle, Germany, June 2004/Ed. 
by  F.Geraets, L.Kroon, A.Schoebel, D.Wagner.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4359.-321 p.-(Lecture Notes 
in Computer Science).
 
 54. Knowledge Science, Engineering and Management: 
Proc./Second International Conference, KSEM 2007. Melbourne, 
Australia, November 2007/Ed. by  Z.Zhang, J.Siekmann.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4798.-669 p.
-(Lecture Notes in Artificial Intelligence).
 
 55. Logic for Programming, Artificial Intelligence and 
Reasoning: Proc./14th International Conference, LPAR 2007. 
Yerevan, Armenia, October 2007/Ed. by  N.Dershowitz, 
A.Voronkov.-Berlin, Heidelberg: Springer, 2007.-Vol. 4790.
-562 p.-(Lecture Notes in Artificial Intelligence).
 
 56. Spatial Cognition V: Reasoning, Action, Interaction: 
Revised Selected Papers/International Conference Spatial 
Cognition 2006. Bremen, Germany, September 2006/Ed. by  
Th.Barkowsky, M.Knauff, G.Ligozat, D.R.Montello.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4387.-501 p.-(Lecture Notes 
in Artificial Intelligence).
 
 57. AI 2007: Advances in Artificial Intelligence: 
Proc./20th Australian Joint Conference on AI. Gold Coast, 
Australia, December 2007/Ed. by  M.A.Orgun, J.Thornton.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4830.-841 p.
-(Lecture Notes in Artificial Intelligence).
 
 58. Argumentation in Multi-Agent Systems: Revised Selected 
and Invited Papers/Third International Workshop, ArgMAS 
2006. Hakodate, Japan, May 2006/Ed. by  N.Maudet, S.Parsons, 
I.Rahwan.-Berlin, Heidelberg: Springer, 2007.-Vol. 4766.-211 
p.-(Lecture Notes in Artificial Intelligence).
 
 59. Algebraic and Proof-Theoretical Aspects of 
Non-classical Logics: Papers in Ho
nor o Daniele Mundici on 
the Occasion of His 60th Birthday/Ed. by  S.Aguzzoli, 
A.Ciabattoni, B.Gerla, C.Manara.-Berlin, Heidelberg: Springer,
 2007.-Vol. 4460.-309 p.-(Lecture Notes in Artificial 
Intelligence).
 
 60. Дифракционная компьютерная оптика/Д.Л Головашкин, Л.Л. 
Досколович, Н.Л. Казанский и др.;Ред. В.А.Сойфер. .- М.: 
Физматлит, 2007.- 736 с.
 
 61. Тарасюк И.В. Эквивалентности для поведенческого анализа 
параллельных и распределенных вычислительных систем/Ред. 
В.Н.Касьянов; ИСИ СО РАН. .- Новосибирск: Академическое 
издательство "Гео", 2007.- 321 с.-Библиогр.: c.287-315.
 
 62. Степанов Е.А. Методы и средства планирования вычислений 
в системах автоматизированного динамического 
распараллеливания программ: Автореф. дис... канд. ф.-м. наук:
 05.13.11.-Москва, 2007.-24 с.-Библиогр.: c.23-24.



Вы обнаружили ошибку в следующем тексте:
Просто нажмите кнопку "Отправить сообщение об ошибке" для завершения. Вы можете также ввести комментарий (желательно).