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.