Hовые поступления с 14 апреля по 14 мая 2008 года
1. Virtual Storytelling: Using Virtual Reality Technologies for Storytelling: Proc./4th International Conference, ICVC 2007. Saint-Malo, France, December 2007/Ed. by M.Cavazza, S.Donikian.-Berlin, Heidelberg: Springer, 2007. -Vol. 4871.-219 p.-(Lecture Notes in Computer Science). 2. Algorithmic Aspects of Wireless Sensor Networks: Revised Selected Papers/Third International Workshop, ALGOSENSORS 2007. Wroclaw, Poland, July 2007/Ed. by M.Kutylowski, J.Cichon, P.Kubiak.-Berlin, Heidelberg: Springer, 2007.-Vol. 4837.-163 p.-(Lecture Notes in Computer Science). 3. Combinatorial and Algorithmic Aspects of Networking: Revised Papers/4th Workshop, CAAN 2007. Halifax, Canada, August 2007/Ed. by J.Janssen, P.Pralat.-Berlin, Heidelberg: Springer, 2007.-Vol. 4852.-149 p.-(Lecture Notes in Computer Science). 4. Object-Oriented Technology: ECOOP 2007 Workshop Reader: Final Reports/ECOOP 2007 Workshops. Berlin, Germany, July 2007/Ed. by M.Cebulla.-Berlin, Heidelberg: Springer, 2008. -Vol. 4906.-204 p.-(Lecture Notes in Computer Science). 5. Sequences, Subsequences, and Consequences: Revised Selected Papers/International Workshop, SSC 2007. Los Angeles, CA, USA, May/June 2007/Ed. by S.W.Golomb, G.Gong, T.Helleseth, H.-Y.Song.-Berlin, Heidelberg: Springer, 2007. -Vol. 4893.-219 p.-(Lecture Notes in Computer Science). 6. Software Composition: Revised Selected Papers/6th International Symposium, SC 2007. Braga, Portugal, March 2007 /Ed. by M.Lumpe, W.Vanderperren.-Berlin, Heidelberg: Springer, 2007.-Vol. 4829.-281 p.-(Lecture Notes in Computer Science). 7. Approximation and Online Algorithms: Revised Papers/5th International Workshop, WAOA 2007. Eilat, Israel, October 2007/Ed. by Ch.Kaklamanis, M.Skutella.-Berlin, Heidelberg: Springer, 2008.-Vol. 4927.-289 p.-(Lecture Notes in Computer Science). 8. Architecture of Computing Systems - ARCS 2008: Proc./21st International Conference. Dresden, Germany, February 2008/Ed. by U.Brinkschulte, Th.Ungerer, Ch.Hochberger, R.G.Spallek.-Berlin, Heidelberg: Springer, 2008.-Vol. 4934.-287 p.-(Lecture Notes in Computer Science). 9. Machine Learning for Multimodal Interaction: Revised Selected Papers/4th International Workshop, MLMI 2007. Brno, Czech Republic, June 2007/Ed. by A.Popescu-Belis, S.Renals, H.Bourlard.-Berlin, Heidelberg: Springer, 2008.-Vol. 4892. -308 p.-(Lecture Notes in Computer Science). 10. Task Models and Diagrams for User Interface Design: Proc./6th International Workshop, TAMODIA 2007. Toulouse, France, November 2007/Ed. by M.Winckler, H.Johnson, Ph.Palanque.-Berlin, Heidelberg: Springer, 2007.-Vol. 4849. -299 p.-(Lecture Notes in Computer Science). 11. Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics: Proc./6th European Conference, EvoBIO 2008. Naples, Italy, March 2008/Ed. by E.Marchiori, J.H.Moore.-Berlin, Heidelberg: Springer, 2008.-Vol. 4973. -213 p.-(Lecture Notes in Computer Science). 12. Euro-Par 2007 Workshops Parallel Processing: Revised Selected Papers/HPPC, UNICORE Summit & VHPC 2007. Rennes, France, August 2007/Ed. by L.Bouge, M.Forsell, Traeff J.Larsson, A.Streit.-Berlin, Heidelberg: Springer, 2008. -Vol. 4854.-236 p.-(Lecture Notes in Computer Science). 13. Software Architectures, Components, and Applications: Revised Selected Papers/Third International Conference on Quality of Software Architectures, QoSA 2007. Medford, MA, USA, July 2007/Ed. by S.Overhage, C.A.Szyperski, R.Reussner. -Berlin, Heidelberg: Springer, 2007.-Vol. 4880.-251 p. -(Lecture Notes in Computer Science). 14. WALCOM: Algorithms and Computation: Proc./Second International Workshop, WALCOM 2008. Dhaka, Bangladesh, February 2008/Ed. by Nakano Sh., Rahman Md.Saidur.-Berlin, Heidelberg: Springer, 2008.-Vol. 4921.-241 p.-(Lecture Notes in Computer Science). 15. Hardware and Software: Verification and Testing: Proc./Third International Haifa Verification Conference, HVC 2007. Haifa, Israel, October 2007/Ed. by K.Yorav.-Berlin, Heidelberg: Springer, 2008.-Vol. 4899.-267 p.-(Lecture Notes in Computer Science). 16. Persuasive Technology: Revised Selected Papers/Second International Conference on Persuasive Technology, PERSUASIVE 2007. Palo Alto, CA, USA, April 2007/Ed. by Kort Y.De, W.Ijsselsteijn, C.Midden, B.Eggen.-Berlin, Heidelberg: Springer, 2007.-Vol. 4744.-316 p.-(Lecture Notes in Computer Science). 17. Semantic Multimedia: Proc./Second International Conference on Semantic and Digital Media Technologies, SAMT 2007. Genoa, Italy, December 2007/Ed. by B.Falcidieno, M.Spagnuolo, Y.Avtithis, I.Kompatsiaris.-Berlin, Heidelberg: Springer, 2007.-Vol. 4816.-306 p.-(Lecture Notes in Computer Science). 18. DNA Computing: Revised Selected Papers/13th International Meeting on DNA Computing, DNA13. Memphis, TN, USA, June 2007/Ed. by M.H.Garzon, H.Yan.-Berlin, Heidelberg: Springer, 2008.-Vol. 4848.-292 p.-(Lecture Notes in Computer Science). 19. Digital Libraries: Research and Development: Revised Selected Papers/First International DELOS Conference. Pisa, Italy, February 2007/Ed. by C.Thanos, F.Borri, L.Candela. -Berlin, Heidelberg: Springer, 2008.-Vol. 4877.-350 p. -(Lecture Notes in Computer Science). 20. The Internet of Things: Proc./First International Conference, IOT 2008. Zurich, Switzerland, March 2008/Ed. by Ch.Floerkemeier, M.Langheinrich, E.Fleisch, F.Mattern. -Berlin, Heidelberg: Springer, 2008.-Vol. 4952.-378 p. -(Lecture Notes in Computer Science). 21. Software Composition: Proc./7th International Symposium, SC 2008. Budapest, Hungary, March 2008/Ed. by C.Pautasso, E.Tanter.-Berlin, Heidelberg: Springer, 2008. -Vol. 4954.-263 p.-(Lecture Notes in Computer Science). 22. Evolutionary Computation in Combinatorial Optimization: Proc./8th European Conference, EvoCOP 2008. Naples, Italy, March 2008/Ed. by Hemert J.Van, C.Cotta.-Berlin, Heidelberg: Springer, 2008.-Vol. 4972.-289 p.-(Lecture Notes in Computer Science). 23. Information Systems Security: Proc./Third International Conference, ICISS 2007. Delhi, India, December 2007/Ed. by P.Mcdaniel, Sh.K.Gupta.-Berlin, Heidelberg: Springer, 2007. -Vol. 4812.-322 p.-(Lecture Notes in Computer Science). 24. Medical Biometrics: Proc./First International Conference, ICMB 2008. Hong Kong, China, January 2008/Ed. by D.Zhang.-Berlin, Heidelberg: Springer, 2008.-Vol. 4901.-324 p.-(Lecture Notes in Computer Science). 25. Verification, Model Checking, and Abstract Interpretation: Proc./9th International Conference, VMCAI 2008. San Francisco, USA, January 2008/Ed. by F.Logozzo, D.A.Peled, L.D.Zuck.-Berlin, Heidelberg: Springer, 2008. -Vol. 4905.-325 p.-(Lecture Notes in Computer Science). 26. Intelligent Data Engineering and Automated Learning - IDEAL 2007: Proc./8th International Conference. Birmingham, UK, December 2007/Ed. by H.Yin, P.Tino, E.Corchado, W.Byrne. -Berlin, Heidelberg: Springer, 2007.-Vol. 4881.-1174 p. -(Lecture Notes in Computer Science). 27. Theory of Cryptography: Proc./5th Conference, TCC 2008. New York, USA, March 2008/Ed. by R.Canetti.-Berlin, Heidelberg: Springer, 2008.-Vol. 4948.-645 p.-(Lecture Notes in Computer Science). 28. Algorithms and Computation: Proc./18th International Symposium, ISAAC 2007. Sendai, Japan, December 2007/Ed. by T.Tokuyama.-Berlin, Heidelberg: Springer, 2007.-Vol. 4835. -929 p.-(Lecture Notes in Computer Science). 29. Advances in Image and Video Technology: Proc./Second Pacific Rim Symposium, PSVIT 2007. Santiago, Chile, December 2007/Ed. by D.Mery, L.Rueda.-Berlin, Heidelberg: Springer, 2007.-Vol. 4872.-961 p.-(Lecture Notes in Computer Science). 30. Information and Communications Security: Proc./9th International Conference, ICICS 2007. Zhengzhou, China, December 2007/Ed. by S.Quing, H.Imai, G.Wang.-Berlin, Heidelberg: Springer, 2007.-Vol. 4861.-508 p.-(Lecture Notes in Computer Science). 31. Cryptology and Coding: Proc./11th IMA International Conference. Cirenster, UK, December 2007/Ed. by S.D.Galbraith.-Berlin, Heidelberg: Springer, 2007.-Vol. 4887. -423 p.-(Lecture Notes in Computer Science). 32. Database Systems for Advanced Applications: Proc./13th International Conference, DASFAA 2008. New Delhi, India, March 2008/Ed. by J.R.Haritsa, R.Kotagiri, V.Pudi.-Berlin, Heidelberg: Springer, 2007.-Vol. 4947.-713 p.-(Lecture Notes in Computer Science). 33. Genetic Programming: Proc./11th European Conference, EuroGP 2008. Naples, Italy, March 2008/Ed. by M.O'Neill, S.Gustafson, Falco I.De, L.Venneschi.-Berlin, Heidelberg: Springer, 2008.-Vol. 4971.-375 p.-(Lecture Notes in Computer Science). 34. LATIN 2008: Theoretical Informatics: Proc./8th Latin American Symposium. Buzios, Brazil, April 2008/Ed. by Laber E.Sany, C.Bornstein, L.T.Nogueira, L.Faria.-Berlin, Heidelberg: Springer, 2008.-Vol. 4957.-794 p.-(Lecture Notes in Computer Science). 35. Internet and Networks Economics: Proc./Third International Workshop, WINE 2007. San Diego, CA, USA, December 2007/Ed. by X.Deng, F.Ch.Graham.-Berlin, Heidelberg: Springer, 2007.-Vol. 4858.-598 p.-(Lecture Notes in Computer Science). 36. Computational Linguistics and Intelligent Text Processing: Proc./9th International Conference, CICLing 2008. Haifa, Israel, February, 2008/Ed. by A.Gelbukh. -Berlin, Heidelberg: Springer, 2008.-Vol. 4919.-666 p. -(Lecture Notes in Computer Science). 37. Robot Vision: Proc./Second International Workshop, RobVis 2008. Auckland, New Zealand, February 2008/Ed. by G.Sommer, R.Klette.-Berlin, Heidelberg: Springer, 2008.-Vol. 4931.-468 p.-(Lecture Notes in Computer Science). 38. Public Key Cryptography: PKC 2008: Proc./11th International Workshop on Practice and Theory in Public Key Cryptography. Barcelona, Spain, March 2008/Ed. by R.Cramer. -Berlin, Heidelberg: Springer, 2008.-Vol. 4939.-397 p. -(Lecture Notes in Computer Science). 39. Distributed Computing and Internet Technology: Proc./4th International Conference, ICDCIT 2007. Bangalore, India, December 2007/Ed. by T.Janowski, H.Mohanty.-Berlin, Heidelberg: Springer, 2007.-Vol. 4882.-346 p.-(Lecture Notes in Computer Science). 40. Principles of Distributed Systems: Proc./11th International Conference, OPODIS 2007. Guadeloupe, French West Indies, December 2007/Ed. by E.Tovar, Ph.Tsigas, H.Fouchal.-Berlin, Heidelberg: Springer, 2007.-Vol. 4878. -457 p.-(Lecture Notes in Computer Science). 41. Applications of Evolutionary Computing: Proc./EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, EvoTransLog. Naples, Italy, March 2008/Ed. by Et Al. M.Giacobini.-Berlin, Heidelberg: Springer, 2008.-Vol. 4974.-701 p.-(Lecture Notes in Computer Science). 42. Business Processes Management Workshops: Revised Selected Papers/BPM 2007 International Workshops BPI, BPD, CBP, ProHealth, RefMod, Semantics4ws. Brisbane, Australia, September 2007/Ed. by Hofstede A.Ter, B.Benatallah, H.-Y.Paik.-Berlin, Heidelberg: Springer, 2008.-Vol. 4928. -518 p.-(Lecture Notes in Computer Science). 43. Security Protocols: Revised Selected Papers/13th International Workshop. Cambridge, UK, April 2005/Ed. by B.Christianson, B.Crispo, J.A.Malcolm, M.Roe.-Berlin, Heidelberg: Springer, 2007.-Vol. 4631.-347 p.-(Lecture Notes in Computer Science). 44. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: Proc./17th International Symposium, AAECC-17. Bangalore, India, December 2007/Ed. by S.Boztas, H.-S.Lu.-Berlin, Heidelberg: Springer, 2007.-Vol. 4851.-368 p.-(Lecture Notes in Computer Science). 45. Pattern Recognition and Machine Intelligence: Proc./Second International Conference, PReMI 2007. Kolkatta, India, December 2007/Ed. by A.Ghosh, R.K.De, S.K.Pal. -Berlin, Heidelberg: Springer, 2007.-Vol. 4815.-677 p. -(Lecture Notes in Computer Science). 46. Emerging Directions in Embedded and Ubiquitous Computing: Proc./EUC 2007 Workshops: TRUST, WSOC, NCUS, UUWSN, USN, ESO, and SECUBIQ. Taipei, Taiwan, December 2007/ Ed. by M.K.Denko, Ch.-S.Shih, K.-Ch.Li, Et Al. Sh.-L.Tsao. -Berlin, Heidelberg: Springer, 2007.-Vol. 4809.-823 p. -(Lecture Notes in Computer Science). 47. Datatype-Generic Programming: Revised Lectures/International Spring School, SSDGP 2006. Nottingham, UK, April 2006/Ed. by R.Backhouse, J.Gibbons, R.Hinze, J.Jeuring.-Berlin, Heidelberg: Springer, 2007.-Vol. 4719-(Lecture Notes in Computer Science). 48. Journal on Data Semantics X/Ed. by S.Spaccapietra. -Berlin, Heidelberg: Springer, 2008.-Vol. 4900.-265 p. -(Lecture Notes in Computer Science). 49. Aspect-Oriented Software Development III/Ed. by A.Rashid, M.Aksit.-Berlin, Heidelberg: Springer, 2007.-Vol. 4620.-201 p.-(Lecture Notes in Computer Science). 50. Aspect-Oriented Software Development IV/Ed. by A.Rashid, M.Aksit.-Berlin, Heidelberg: Springer, 2007.-Vol. 4640.-191 p.-(Lecture Notes in Computer Science). 51. Probabilistic Inductive Logic Programming: Theory and Applications/Ed. by Raedt L.De, P.Frasconi, K.Kersting, S.Muggleton.-Berlin, Heidelberg: Springer, 2008.-Vol. 4911. -341 p.-(Lecture Notes in Artificial Intelligence). 52. Web Intelligence Meets Brain Informatics: Revised Selected and Invited Papers/1st WICI International Workshop, WImBI 2006. Beijing, China, December 2006/Ed. by N.Zhong, J.Liu, Y.Yao, Et Al. J.Wu.-Berlin, Heidelberg: Springer, 2007. -Vol. 4845.-516 p.-(Lecture Notes in Artificial Intelligence). 53. Helmert M. Understanding Planning Tasks: Domain Complexity and Heuristic Decomposition.- Berlin, Heidelberg: Springer, 2008.- 270 p.-(Lecture Notes in Artificial Intelligence; Vol. 4929).-Bibliogr.: p.259-265. 54. Advances in Mass Data Analysis of Signals and Images in Medicine, Biotechnology, and Chemistry: Selected Papers/International Conferences MDA 2006/2007. Leipzig, Germany, July 2007/Ed. by P.Perner, O.Salvetti.-Berlin, Heidelberg: Springer, 2007.-Vol. 4826.-183 p.-(Lecture Notes in Artificial Intelligence). 55. Knowledge Management for Health Care Procedures: Revised Selected Papers/From Knowledge to Global Care AIME 2007 Workshop K4CARE 2007. Amsterdam, The Netherlands, July 2007/Ed. by Riano D.-Berlin, Heidelberg: Springer, 2008. -Vol. 4924.-161 p.-(Lecture Notes in Artificial Intelligence). 56. Towards Affordance-Based Robot Control: Revised Papers/International Seminar. Dagstuhl Castle, Germany, June 2006/Ed. by E.Rome, J.Hertzberg, G.Dorffner.-Berlin, Heidelberg: Springer, 2008.-Vol. 4760.-211 p.-(Lecture Notes in Artificial Intelligence). 57. Agent-Oriented Information Systems IV: Revised Selected Papers/8th International Bi-Conference Workshop, AOIS 2006. Hakodate, Japan, May 2006 & Luxembourg, June 2006/Ed. by M.Kolp, B.Hendersson-Sellers, H.Mouratidis, A.Garcia. -Berlin, Heidelberg: Springer, 2008.-Vol. 4898.-231 p. -(Lecture Notes in Artificial Intelligence). 58. Adaptive Agents and Multi-Agent Systems III: Adaptation and Multi-Agent Learning: Revised Selected Papers/5-6-7th European Symposiums, ALAMAS 2005-2007. Revised Selected Papers/Ed. by K.Tuyls, A.Nowe, Z.Guessoum, D.Kudenko. -Berlin, Heidelberg: Springer, 2008.-Vol. 4865.-255 p. -(Lecture Notes in Artificial Intelligence). 59. Declarative Agent Languages and Technologies V: Revised Selected and Invited Papers/5th International Workshop, DALT 2007. Honolulu, HI, USA, May 2007/Ed. by M.Baldoni, T.C.Son, Riemsdijk M.B.Van, M.Winikoff.-Berlin, Heidelberg: Springer, 2008.-Vol. 4897.-245 p.-(Lecture Notes in Artificial Intelligence). 60. Advances in Web Mining and Web Usage Analysis: Revised Papers/8th International Workshop on Knowledge Discovery on the Web, WebKDD 2006. Philadelphia, PA, USA, August 2006/Ed. by O.Nasraoui, M.Spiliopoulou, J.S rivastava, B.Mobasher. -Berlin, Heidelberg: Springer, 2007.-Vol. 4811.-247 p. -(Lecture Notes in Artificial Intelligence). 61. Inductive Logic Programming: Revised Selected Papers/17th International Conference, ILP 2007. Corvallis, OR, USA, June 2007/Ed. by H.Blockeel, J.Ramon, J.Shavlik, P.Tadepalli.-Berlin, Heidelberg: Springer, 2008.-Vol. 4894. -307 p.-(Lecture Notes in Artificial Intelligence). 62. Formal Concept Analysis: Proc./6th International Conference, ICFCA 2008. Montreal, Canada, February 2008/Ed. by R.Medina, S.Obiedkov.-Berlin, Heidelberg: Springer, 2008. -Vol. 4933.-325 p.-(Lecture Notes in Artificial Intelligence). 63. Large-Scale Knowledge Resources: Construction and Application: Proc./Third International Conference, LKR 2008. Tokyo, Japan, March 2008/Ed. by T.Tokunaga, A.Ortega. -Berlin, Heidelberg: Springer, 2008.-Vol. 4938.-367 p. -(Lecture Notes in Artificial Intelligence). 64. New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI 2007 Conference and Workshops. Miyazaki, Japan, June 2007/Ed. by K.Satoh, A.Inokuchi, K.Nagao, T.Kawamura.-Berlin, Heidelberg: Springer, 2008. -Vol. 4914.-404 p.-(Lecture Notes in Artificial Intelligence). 65. Emerging Technologies in Knowledge Discovery and Data Mining: Revised Selected Papers/PAKDD 2007 International Workshops. Nanjing, China, May 2007/Ed. by T.Washio, Zh.-H.Zhou, Huang J.Zhexue, X.Hu.-Berlin, Heidelberg: Springer, 2007.-Vol. 4819.-675 p.-(Lecture Notes in Artificial Intelligence). 66. Agent and Multi-Agent Systems: Technologies and Applications: Proc./Second KES International Symposium, KES-AMSTA 2008. Incheon, Korea, March 2008/Ed. by Nguyen N.Thanh, Jo G.Sik, R.J.Howlett, L.C.Jain.-Berlin, Heidelberg: Springer, 2008.-Vol. 4953.-909 p.-(Lecture Notes in Artificial Intelligence). 67. 50 Years of Artificial Intelligence: Essays Dedicated to the 50th Anniversary of Artificial Intelligence/Ed. by M.Lungarella, F.Iida, J.Bongard, R.Pfeifer.-Berlin, Heidelberg: Springer, 2007.-Vol. 4850.-399 p.-(Lecture Notes in Artificial Intelligence). 68. Research in Computational Molecular Biology: Proc./12th Annual International Conference, RECOMB 2008. Singapore, March/April 2008/Ed. by M.Vingron, L.Wong.-Berlin, Heidelberg: Springer, 2008.-Vol. 4955.-480 p.-(Lecture Notes in Bioinformatics). 69. Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday/Ed. by A.Avron, B.Dershowitz, A.Rabinovich.-Berlin, Heidelberg: Springer, 2008.-Vol. 4800.-683 p.-(Lecture Notes in Computer Science). 70. Нагул Н.В. Метод логико-алгебраических уравнений в анализе динамических систем: Автореф. дис... канд. ф.-м. наук: 05.13.01.-Иркутск, 2008.-24 с.-Библиогр.: c.24. 71. Непомнящий В.А., Бодин Е.В., Веретнов С.О. Язык спецификаций распределенных систем Dynamic-Real.-Новосибирск, 2008.-42 с.-(Препринт/ИСИ СО РАН; N 147). 72. Рэй Д., Рэй В. Освой самостоятельно системное администрирование Unix за 21 день.- М.: Издательский дом "Вильямс", 2000.- 607 с. 73. Фолькердинг П., Рейчард К., Фостер-Джонсон Э. Установка и конфигурирование Linux: учебный курс.Пер. Е. Матвеев.- Спб, 2000.- 496 с.: илл. 74. Дунаев В. Сам себе Web-мастер.- Спб.: БХВ-Петербург, 2001.- 288 с.: илл.-(Компьютер и творчество).-Библиогр.: c.288. 75. Послед Б.С. C++ Borland Builder 6: разработка приложений баз данных.- Спб.: ДиаСофтЮП, 2003.- 307 с.