Hовые поступления с 3 по 28 марта 2008 года
1. Stochastic Algorithms: Foundations and Applications: Proc./4th International Symposium, SAGA 2007. Zurich, Switzerland, September 2007/Ed. by J.Hromkovic, R.Kralovic, M.Nunkesser, P.Widmayer.-Berlin, Heidelberg: Springer, 2007.-Vol. 4665.-167 p. -(Lecture Notes in Computer Science). 2. Early Aspects: Current Challenges and Future Directions: Revised Selected Papers/10th International Workshop. Vancouver, Canada, March 2007/Ed. by A.Moreira, J.Grundy.-Berlin, Heidelberg: Springer, 2007.-Vol. 4765.-199 p.-(Lecture Notes in Computer Science). 3. Runtime Verification: Revised Selected Papers/7th International Workshop, RV 2007. Vancouver, Canada, March 2007/Ed. by O.Sokolsky, S.Tasiran.-Berlin, Heidelberg: Springer, 2007.-Vol. 4839.-215 p.-(Lecture Notes in Computer Science). 4. IP Operations and Management: Proc./7th IEEE International Workshop, IPOM 2007. San Jose, USA, October/November 2007/Ed. by D.Medhi, J.M.Nogueira, T.Pfeifer, S.F.Wu. -Berlin, Heidelberg: Springer, 2007.-Vol. 4786. -201 p.-(Lecture Notes in Computer Science). 5. Algebraic Informatics: Revised Selected and Invited Papers/Second International Conference, CAI 2007. Thessaloniki, Greece, May 2007/Ed. by S.Bozapalidis, G.Rahonis. -Berlin, Heidelberg: Springer, 2007.-Vol. 4728. -291 p.-(Lecture Notes in Computer Science). 6. String Processing and Information Retrieval: Proc./14th International Symposium, SPIRE 2007. Santiago, Chile, October 2007/Ed. by N.Ziviani, R.Baeza-Yates. -Berlin, Heidelberg: Springer, 2007.-Vol. 4726. -311 p.-(Lecture Notes in Computer Science). 7. Ad-Hoc, Mobile, and Wireless Networks: Proc./6th International Conference, ADHOC-NOW 2007. Morelia, Mexico, September 2007/Ed. by E.Kranakis, J.Opatrny.-Berlin, Heidelberg: Springer, 2007.-Vol. 4686.-285 p.-(Lecture Notes in Computer Science). 8. SDL 2007: Design for Dependable Systems: Proc./13th International SDL Forum. Paris, France, September 2007/Ed. by E.Gaudin, E.Najm, R.Reed.-Berlin, Heidelberg: Springer, 2007.-Vol. 4745.-289 p.-(Lecture Notes in Computer Science). 9. Graph-Theoretic Concepts in Computer Science: Revised Papers/33rd International Workshop, WG 2007. Dornburg, Germany, June 2007/Ed. by A.Brandstaedt, D.Kratsch, H.Mueller.-Berlin, Heidelberg: Springer, 2007. -Vol. 4769.-341 p.-(Lecture Notes in Computer Science). 10. Human Motion - Understanding, Modeling, Capture and Animation: Proc./Second Workshop, Human Motion 2007. Rio de Janeiro, Brazil, October 2007/Ed. by A.Elgammal, B.Rosenhahn, R.Klette.-Berlin, Heidelberg: Springer, 2007. -Vol. 4814.-329 p.-(Lecture Notes in Computer Science). 11. UbiComp 2007: Ubiquitous Computing: Proc./9th International Conference, UbiComp 2007. Innsbruck, Austria, September 2007/Ed. by J.Krumm, G.D.Abowd, A.Seneviratne, Th.Strang.-Berlin, Heidelberg: Springer, 2007. -Vol. 4717.-520 p.-(Lecture Notes in Computer Science). 12. Network and Parallel Computing: Proc./IFIP International Conference, NPC 2007. Dalian, China, September 2007/Ed. by K.Li, Ch.Jessope, H.Jin, J.-L.Gaudiot. -Berlin, Heidelberg: Springer, 2007.-Vol. 4672. -558 p.-(Lecture Notes in Computer Science). 13. Creating New Learning Experiences on a Global Scale: Proc./Second European Conference on Technology Enhanced Learning, EC-TEL 2007. Crete, Greece, September 2007/ Ed. by E.Duval, R.Klamma, M.Wolpers.-Berlin, Heidelberg: Springer, 2007.-Vol. 4753.-518 p. -(Lecture Notes in Computer Science). 14. Principles and Practice of Constraint Programming: Proc./13th International Conference, CP 2007.Providence, RI, USA, September 2007/Ed. by Ch.Bessiere.-Berlin, Heidelberg: Springer, 2007.-Vol. 4741.-890 p. -(Lecture Notes in Computer Science). 15. Pattern Recognition: Proc./29th DAGM Symposium. Heidelberg, Germany, September 2007 /Ed. by F.A.Hamprecht, Ch.Schnoerr, B.Jaehne. -Berlin, Heidelberg: Springer, 2007.-Vol. 4713. -560 p.-(Lecture Notes in Computer Science). 16. Algorithmic Methods for Railway Optimization: Revised Selected Papers/International Dagstuhl Workshop. Dagstuhl Castle, Germany, June 2004 & Bergen, Norway, September 2004/Ed. by F.Geraets, L.Kroon, A.Schoebel, D.Wagner.-Berlin, Heidelberg: Springer, 2007.-Vol. 4359.-560 p. -(Lecture Notes in Computer Science). 17. Membrane Computing: Revised Selected and Invited Papers/8th International Workshop, WMC 2007. Thessaloniki, Greece, June 2007/Ed. by G.Eleftherakis, P.Kefalas, Gh.Paun, G.Rozenberg.-Berlin, Heidelberg: Springer, 2007.-Vol. 4860.-453 p.-(Lecture Notes in Computer Science). 18. Active Conceptual Modeling of Learning: Next Generation Learning-Base System Development/Ed. by P.P.Chen, L.Y.Wong. -Berlin, Heidelberg: Springer, 2007.-Vol. 4512. -227 p.-(Lecture Notes in Computer Science). 19. High-Performance Embedded Software Architectures and Compilers: Proc./Third International Conference, HiPEAC 2008. Goeteborg, Sweden, January 2008/Ed. by P.Stenstrom, M.Dubois, M.Katevenis, R.Gupta. -Berlin, Heidelberg: Springer, 2008.-Vol. 4917. -400 p.-(Lecture Notes in Computer Science). 20. Selected Areas in Cryptology: Revised Selected Papers/14th International Workshop, SAC 2007. Ottawa, Canada, August 2007/Ed. by C.Adams, A.Miri, M.Wiener.-Berlin, Heidelberg: Springer, 2008.-Vol. 4876.-409 p.-(Lecture Notes in Computer Science). 21. Ubiquitous Computing Systems: Proc./4th International Symposium, UCS 2007. Tokyo, Japan, November 2007/Ed. by H.Ichikawa, W.-D.Cho, I.Satoh, H.Y.Youn.-Berlin, Heidelberg: Springer, 2007.-Vol. 4836.-307 p. -(Lecture Notes in Computer Science). 22. Sustainable Internet: Proc./Third Asian Internet Engineering Conference, AINTEC 2007. Phuket, Thailand, November 2007/Ed. by S.Fdida, K.Sugiura.-Berlin, Heidelberg: Springer, 2007.-Vol. 4866.-257 p.-(Lecture Notes in Computer Science). 23. Real-Time Mobile Multimedia Services: Proc./10th IFIP/IEEE Intl Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2007. San Jose, USA, Oct/Nov 2007/Ed. by D.Krishnaswamy, T.Pfeifer, D.Raz.-Berlin, Heidelberg: Springer, 2007.-Vol. 4787.-197 p.-(Lecture Notes in Computer Science). 24. Composition of Embedded Systems: Scientific and Industrial Issues: Revised Selected Papers/13th Monterey Workshop. Paris, France, October 2006/Ed. by F.Kordon, O.Sokolsky.-Berlin, Heidelberg: Springer, 2007. -Vol. 4888.-221 p.-(Lecture Notes in Computer Science). 25. Haptic and Audio Interaction Design: Proc./Second International Workshop, HAID 2007. Seoul, South Korea, November 2007/Ed. by I.Oakley, S.Brewster.-Berlin, Heidelberg: Springer, 2007.-Vol. 4813.-145 p.-(Lecture Notes in Computer Science). 26. Trustworthy Global Computing: Revised Selected Papers/Second Symposium, TGC 2006. Lucca, Italy, November 2006/Ed. by U.Montanari, D.Sannella, R.Bruni.-Berlin, Heidelberg: Springer, 2007.-Vol. 4661.-339 p. -(Lecture Notes in Computer Science). 27. Computer Vision - ACCV 200: Part I: Proc./8th Asian Conference on Computer Vision. Tokyo, Japan, November 2007/Ed. by Y.Yagi, S.B.Kang, I.S.Kweon, H.Zha.-Berlin, Heidelberg: Springer, 2007.-Vol. 4843.-969 p. -(Lecture Notes in Computer Science). 28. Computer Vision - ACCV 200: Part II: Proc./8th Asian Conference on Computer Vision. Tokyo, Japan, November 2007/Ed. by Y.Yagi, S.B.Kang, I.S.Kweon, H.Zha.-Berlin, Heidelberg: Springer, 2007.-Vol. 4844.-915 p. -(Lecture Notes in Computer Science). 29. FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science: Proc./27th International Conference. New Delhi, India, December 2007/Ed. by V.Arvind, S.Prasad.-Berlin, Heidelberg: Springer, 2007. -Vol. 4855.-558 p.-(Lecture Notes in Computer Science). 30. High Performance Computing: Revised Selected Papers/6th Intl Symposium ISHPC @ Nara, Japan, Sept 2005 & 1st Intl WS on Advanced Low Power Systems, ALPS 2006/Ed. by J.Lubarta, K.Joe, T.Sato.-Berlin, Heidelberg: Springer, 2007.-Vol. 4759.-524 p.-(Lecture Notes in Computer Science). 31. SOFSEM 2008: Theory and Practice of Computer Science: Proc./34th Conference on Current Trends in Theory and Practice of Computer Science. Novy Smokovec, Slovakia, January 2008/Ed. by V.Geffert, J.Karhumaki, A.Bertoni, B.Preneel.-Berlin, Heidelberg: Springer, 2008.-Vol. 4910.-792 p.-(Lecture Notes in Computer Science). 32. Automated Technology for Verification and Analysis: Proc./5th Intrn. Symposium, ATVA 2007. Tokyu, Japan, October 2007/Ed. by K.S.Namjoshi, T.Yoneda, T.Higashino, Yo.Okamura.-Berlin, Heidelberg: Springer, 2007. -Vol. 4762.-566 p.-(Lecture Notes in Computer Science). 33. Грошева М.В., Ефимов Г.Б., Самсонов В.А. История использования аналитических вычислений в задачах механики/ИПМ им. М.В. Келдыша РАН. .- М., 2005.- 87 с.-Библиогр.: c.63-87. 34. Бурдонов И.Б. Теория конформности для функционального тестирования программных систем на основе формальных моделей: Автореф. дис... докт. ф.-м. наук: 05.13.11.-Москва, 2007.-44 с.-Библиогр.: c.42-44. 35. Математическое моделирование крупномасштабных океанических течений с использованием вычислительных алгоритмов высокой решающей способности/С.А. Карабасов, В.М. Головизнин, П.С. Белов и др. .-М., 2007. -16 с.-(Препринт/ИБРАЭ РАН; N IBRAE-2007-07). 36. Проблемы культурного наследия в области инженерной деятельности/Политехнический музей. .- М., 2007.- 464 с.; Вып. 5. 37. Фет Я.И. Рассказы о кибернетике.- Новосибирск: Изд-во СО РАН, 2007.- 178 с. 38. Дебелов В.А, Ткачев Ю.А. SmogDX - объектно-ориентированная графика для Windows (DirectX и Visual C++)/Ред. А.М.Мацокин. .- Новосибирск: Сибирское университетское изд-во, 2001.- 311 с.-Библиогр.: c.289. 39. Foudations of Security Analysis and Desighn IV: FOSAD 2006/2007 Tutorial Lectures/ Ed. by A.Aldini, R.Gorrieri.-Berlin, Heidelberg: Springer, 2007.-Vol. 4677.-325 p. -(Lecture Notes in Computer Science). 40. International Symposium on Fundamentals of Software Engineering: Proc./ International Symposium, FSEN 2007. Tehran, Iran, April 2007 /Ed. by F.Arbab, M.Sirjani.-Berlin, Heidelberg: Springer, 2007.-Vol. 4767.-450 p. -(Lecture Notes in Computer Science). 41. Research and Advanced Technology for Digital Libraries: Proc./11th European Conference, ECDL 2007. Budapest, Hungary, September 2007/Ed. by L.Kovacs, N.Fuhr, C.Meghini.-Berlin, Heidelberg: Springer, 2007. -Vol. 4675.-585 p.-(Lecture Notes in Computer Science). 42. Evaluation of Multilingual and Nulti-modal Information Retrieval: Revised Selected Papers/7th Workshop CLEF 2006. Alicante, Spain, September 2006/Ed. by C.Peters, P.Clough, F.C.Gey, J.Karlgren. -Berlin, Heidelberg: Springer, 2007.-Vol. 4730. -998 p.-(Lecture Notes in Computer Science). 43. Groupware: Design, Implementation, and Use: Proc./13th International Workshop, CRIWG 2007. Bariloche, Argentina, September 2007/ Ed. by J.M.Haake, S.F.Ochoa, A.Cechich. -Berlin, Heidelberg: Springer, 2007.-Vol. 4715. -355 p.-(Lecture Notes in Computer Science). 44. Information Security Applications: Revised Selected Papers/ 8th International Workshop, WISA 2007. Jeju Island, Korea, August 2007/Ed. by S.Kim, M.Yung, H.-W.Lee. -Berlin, Heidelberg: Springer, 2007.-Vol. 4867. -388 p.-(Lecture Notes in Computer Science). 45. Information Hiding: Revised Selected Papers/ 9th International Workshop, IH 2007. Saint Malo, France, June 2007/Ed. by T.Furon, F.Cayre, G.Doerr, P.Bas.-Berlin, Heidelberg: Springer, 2007.-Vol. 4567.-393 p. -(Lecture Notes in Computer Science). 46. Progress in Pattern Recognition, Image Analysis and Applications: Proc./ 12th Iberoamerican Congress on PR, CIARP 2007. Vina del Mar-Valparaiso, Chile, November 2007/ Ed. by L.Rueda, D.Mery, J.Kittler.-Berlin, Heidelberg: Springer, 2007.-Vol. 4756.-969 p. -(Lecture Notes in Computer Science). 47. Implementation and Application of Automata: Revised Selected Papers/ 12th International Conference CIAA 2007. Prague, Czech Republic, July 2007/Ed. by J.Holub, J.Zdarek.-Berlin, Heidelberg: Springer, 2007. -Vol. 4783.-324 p.-(Lecture Notes in Computer Science). 48. Formak Methods and Software Engineering: Proc./ 9th International Conference ICFEM 2007. Boca Raton, FL, USA, November 2007/Ed. by M.Butler, M.G.Hinchey, M.M.Larrondo-Petrie. -Berlin, Heidelberg: Springer, 2007.-Vol. 4789. -387 p.-(Lecture Notes in Computer Science). 49. Programming Languages and Systems: Proc./ 5th Asian Symposium, APLAS 2007. Singapore, November/December 2007/Ed. by Zh.Shao.-Berlin, Heidelberg: Springer, 2007. -Vol. 4807.-431 p.-(Lecture Notes in Computer Science). 50. Web Information Systems Engineering - WISE 2007: Proc./8th International Conference on Web Information Systems Engineering. Nancy, France, December 2007/Ed. by B.Benatallah, F.Casati, S.Georgakopoulos, C.Bartolini.-Berlin, Heidelberg: Springer, 2007.-Vol. 4831.-675 p.-(Lecture Notes in Computer Science). 51. Embedded and Ubiquitous Computing: Proc./International Conference, EUC 2007. Taipei, Taiwan, December 2007/Ed. by T.-W.Kuo, E.Sha, E.Sha, M.Guo.-Berlin, Heidelberg: Springer, 2007.-Vol. 4808.-769 p. -(Lecture Notes in Computer Science). 52. High Performance Computing - HiPC 2007: Proc./14th International Conference. Goa, India, December 2007/Ed. by S.Aluru, M.Parashar, R.Badrinath, V.K.Prasanna. -Berlin, Heidelberg: Springer, 2007.-Vol. 4873. -663 p.-(Lecture Notes in Computer Science). 53. Advances in Visual Information Systems: Revised Selected Papers/9th International Conference, VISUAL 2007. Shanghai, China, June 2007/Ed. by G.Qiu, C.Leung, X.Xue, R.Laurini.-Berlin, Heidelberg: Springer, 2007. -Vol. 4781.-582 p.-(Lecture Notes in Computer Science). 54. Cooperative Information Agents XI: Proc./11th International Workshop, CIA 2007. Delft, The Netherlands, September 2007/Ed. by M.Klusch, K.Hindriks, M.P.Papazoglou, L.Sterling.-Berlin, Htqdelberg: Springer, 2007. -Vol. 4676.-361 p.-(Lecture Notes in Artificial Intelligence). 55. MICAI 2007: Advances in Artificial Intelligence: Proc./6th Mexican International Conference on AI. Aguascalientes, Mexico, November 2007/Ed. by A.Gelbukh, A.F.K.Morales. -Berlin, Heidelberg: Springer, 2007.-Vol. 4827. -1234 p.-(Lecture Notes in Artificial Intelligence). 56. Annotating, Extracting and Reasoning about Time and Events: Revised Papers/International Seminar. Dagstuhl Castle, Germany, April 2005/Ed. by F.Schilder, G.Katz, J.Pustejovsky.-Berlin, Heidelberg: Springer, 2007.-Vol. 4795.-141 p. -(Lecture Notes in Artificial Intelligence). 57. Multi-Agent-Based Simulation VII: Revised and Invited Papers/International Workshop, MABS 2006. Hakodate, Japan, May 2006 /Ed. by L.Antunes, K.Takadama.-Berlin, Heidelberg: Springer, 2007.-Vol. 4442.-189 p. -(Lecture Notes in Artificial Intelligence). 58. Automated Deduction in Geometry: Revised Papers/6th International Workshop, ADG 2006. Pontevedra, Spain, August/September 2006/Ed. by F.Botana, Th.Recio.-Berlin, Heidelberg: Springer, 2007.-Vol. 4869.-213 p.-(Lecture Notes in Artificial Intelligence). 59. Current Topics in Artificial Intelligence: Selected Papers/12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007. Salamanca, Spain, November 2007/Ed. by D.Borrajo, L.Castillo, J.M.Corchado.-Berlin, Heidelberg: Springer, 2007.-Vol. 4788.-280 p.-(Lecture Notes in Artificial Intelligence). 60. Advances in Nonlinear Speech Processing: Revised Selected Papers/International Conference on Nonlinear Speech Processing, NOLISP 2007. Paris, France, May 2007/Ed. by M.Chetouani, A.Hussain, B.Gas, M.Milgram. -Berlin, Heidelberg: Springer, 2007.-Vol. 4885. -284 p.-(Lecture Notes in Artific ial Intelligence). 61. Verbal and Nonverbal Communication Behaviours: Revised Selected and Invited Papers/COST Auction 2102 International Workshop. Vietri sul Mare, Italy, March 2007/ Ed. by A.Esposito, M.Faundez-Zanuy, E.Keller, M.Marinaro.-Berlin, Heidelberg: Springer, 2007.-Vol. 4775.-325 p.-(Lecture Notes in Artificial Intelligence). 62. Coordination, Organizations, Institutions and Norms in Agent Systems II: Revised Selected Papers/AAMAS 2006 & ECAI 2006 International Workshops, COIN 2006. Hakodate, Japan, May 2006, Riva del Garda, Italy, August 2006/Ed. by P.Noriega, G.Boella, O.Boissier, V.Dignum.-Berlin, Heidelberg: Springer, 2007.-Vol. 4386.-373 p. -(Lecture Notes in Artificial Intelligence). 63. Progress in Artificial Life: Proc./Third Australian Conference, ACAL 2007. Gold Coast, Australia, December 2007/Ed. by M.Randall, H.A.Abbass, J.Wiles.-Berlin, Heidelberg: Springer, 2007.-Vol. 4828.-402 p.-(Lecture Notes in Artificial Intelligence). 64. Knowledge Discovery in Databases: PKDD 2007: Proc./11th European Conference on Principles and Practice of Knowledge Discovery in Databases. Warsaw, Poland, September 2007/Ed. by J.N.Kok, K.Koronacki, Mantaras R.L.De, S.Matwin.-Berlin, Heidelberg: Springer, 2007.-Vol. 4702.-640 p.-(Lecture Notes in Artificial Intelligence). 65. Advances in Hybrid Information Technology: Revised Selected Papers/First International Conference, ICHIT 2006. Jeju Island, Korea, November 2006/Ed. by M.S.Szczuka, D.Howard, D.Slezak, H.-K.Kim. -Berlin, Heidelberg: Springer, 2007.-Vol. 4413. -641 p.-(Lecture Notes in Artificial Intelligence). 66. Progress in Artificial Intelligence: Proc./13th Portuguese Conference on AI, EPIA 2007. Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS & TEMA. Guimares, Portugal, Dec 2007/Ed. by M.F.Santos J.Neves,, J.M.Machado.-Berlin, Heidelberg: Springer, 2007.-Vol. 4874.-704 p. -(Lecture Notes in Artificial Intelligence). 67. Attention in Cognitive Systems: Theories and Systems from an Interdisciplinary Viewpoint: Revised Selected Papers/4th International Workshop, WAPCV 2007. Hyderabad, India, January 2007/Ed. by L.Paletta, E.Rome.-Berlin, Heidelberg: Springer, 2007.-Vol. 4840.-497 p.-(Lecture Notes in Artificial Intelligence). 68. Knowledge-Based Intelligent Information and Engineering Systems: KES 2007 - WIRN 2007: Part I: Proc./11th Intl Conference, KES 2007, XVII Italian Workshop on Neural Networks. Vietri sul Mare, Italy, September 2007/Ed. by B.Apolloni, R.J.Howlett, L.Jain. -Berlin, Heidelberg: Springer, 2007.-Vol. 4692. -882 p.-(Lecture Notes in Artificial Intelligence). 69. Knowledge-Based Intelligent Information and Engineering Systems: KES 2007 - WIRN 2007: Part II: Proc./11th Intl Conference, KES 2007, XVII Italian Workshop on Neural Networks. Vietri sul Mare, Italy, September 2007/Ed. by B.Apolloni, R.J.Howlett, L.Jain. -Berlin, Heidelberg: Springer, 2007.-Vol. 4693. -1380 p.-(Lecture Notes in Artificial Intelligence). 70. Knowledge-Based Intelligent Information and Engineering Systems: KES 2007 - WIRN 2007: Part III: Proc./11th Intl Conference, KES 2007, XVII Italian Workshop on Neural Networks. Vietri sul Mare, Italy, September 2007/Ed. by B.Apolloni, R.J.Howlett, L.Jain. -Berlin, Heidelberg: Springer, 2007.-Vol. 4694. -1126 p.-(Lecture Notes in Artificial Intelligence). 71. Advances in Artificial Life: Proc./9th European Conference, ECAL 2007. Lisbon, Portugal, September 2007/Ed. by Costa F.A.E, L.M.Rocha, E.Costa, I.Harvey.-Berlin, Heidelberg: Springer, 2007.-Vol. 4648.-1215 p. -(Lecture Notes in Artificial Intelligence). 72. Comparative Genomics: Proc./International Workshop, RECOMB-CG 2007. San Diego, CA, USA, September 2007/Ed. by G.Tesler, D.Durand.-Berlin, Heidelberg: Springer, 2007.-Vol. 4751.-193 p.-(Lecture Notes in Bioinformatics). 73. Computational Method in Systems Biology: Proc./International Conference CMSB 2007. Edinburgh, Scotland, September 2007/Ed. by M.Calder, S.Gilmore.-Berlin, Heidelberg: Springer, 2007.-Vol. 4695.-249 p.-(Lecture Notes in Bioinformatics).