Hовые поступления с 4 сентября по 2 октября 2006 года
1. Data Integration in the Life Sciences: Proc./Third International Workshop, DILS 2006. Hinxton, UK, July 2006/ Ed. by U.Leser, F.Naumann, B.Eckmann.-Berlin, Heidelberg: Springer, 2006.-Vol. 4075.-298 p.-(Lecture Notes in Bioinformatics). 2. Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems: Rev.Sel.Papers/AAMAS 2005, ANIREM 2005 and OOOP 2005. Utrecht,The Netherlands,July 2005/Ed. by O.Boissier, J.Paget, V.Dignum, G.Lindemann.-Berlin, Heidelberg: Springer, 2006.-Vol. 3913.-259 p.-(Lecture Notes in Artificial Intelligence). 3. Argumentation in Multi-Agent Systems: Revised Selected and Invited Papers/Second International Workshop, ArgMAS 2005. Utrecht, The Netherlands, July 2005/Ed. by S.Parsons, N.Maudet, P.Moraitis, I.Rahwan.-Berlin, Heidelberg: Springer, 2006.-Vol. 4049.-313 p.-(Lecture Notes in Artificial Intelligence). 4. Advances in Natural Language Processing: Proc./5th International Conference on NLP, FinTAL 2006. Turku, Finland, August 2006/Ed. by T.Salakoski, F.Ginter, S.Pyysalo, T.Pahikkala.-Berlin, Heidelberg: Springer, 2006. -Vol. 4139.-771 p.-(Lecture Notes in Artificial Intelligence). 5. Rough Sets and Knowledge Technology: Proc./First International Conference, RSKT 2006. Chongqing, China, July 2006/Ed. by G.Wang, J.F.Peters, A.Skowron, Y.Yao.-Berlin, Heidelberg: Springer, 2006.-Vol. 4062.-810 p.-(Lecture Notes in Artificial Intelligence). 6. Intelligent Virtual Agents: Proc./6th International Conference, IVA 2006. Marina Del Rey, CA, USA, August 2006/ Ed. by J.Gratch, M.Young, R.Aylett, D.Ballin.-Berlin, Heidelberg: Springer, 2006.-Vol. 4133.-472 p.-(Lecture Notes in Artificial Intelligence). 7. Haptic and Audio Interaction Design: Proc./First International Workshop, HAID 2006. Glasgow, UK, August/September 2006/Ed. by D.Mcgookin, S.Brewster. -Berlin, Heidelberg: Springer, 2006.-Vol. 4129.-167 p. -(Lecture Notes in Computer Science). 8. Combinatorial Pattern Matching: Proc./17th Annual Symposium, CPM 2006. Barcelona, Spain, July 2006/Ed. by M.Lewenstein, G.Valiente.-Berlin, Heidelberg: Springer, 2006. -Vol. 4009.-414 p.-(Lecture Notes in Computer Science). 9. Embedded Computer Systems: Architectures, Modeling, and Simulation: Proc./6th International Workshop, SAMOS 2006. Samos, Greece, July 2006/Ed. by S.Vassiliadis, S.Wong, T.D.Haemaelaeinen.-Berlin, Heidelberg: Springer, 2006.-Vol. 4017.-492 p.-(Lecture Notes in Computer Science). 10. ECOOP 2006 - Object-Oriented Programming: Proc./20th European Conference. Nantes, France, July 2006/Ed. by D.Thomas.-Berlin, Heidelberg: Springer, 2006.-Vol. 4067.-527 p.-(Lecture Notes in Computer Science). 11. Structural, Syntactic, and Statistical Pattern Recognition: Proc./Joint IAPR International Workshops SSPR 2006 and SPR 2006. Hong Kong, China, August 2006/Ed. by D.-Y.Yeung, J.T.Kwok, A.Fred, F.Roli.-Berlin, Heidelberg: Springer, 2006.-Vol. 4109.-939 p.-(Lecture Notes in Computer Science). 12. Logical Approaches to Computational Barriers: Proc./Second Conference on Computability in Europe, CiE 2006. Swansea, UK, June/July 2006/Ed. by A.Beckmann, U.Berger, B.Loewe, J.V.Tucker.-Berlin, Heidelberg: Springer, 2006.-Vol. 3988.-608 p.-(Lecture Notes in Computer Science). 13. Окольнишников В.В. Разработка средств распределенного имитационного моделирования для многопроцессорных вычислительных систем: Автореф. дис... докт. техн. наук: 05.13.18.-Новосибирск, 2006.-28 с.-Библиогр.: c.24-28. 14. Pattern Recognition in Bioinformatics: Proc./International Workshop, PRIB 2006. Hong Kong, China, August 2006/Ed. by J.C.Rajapakse, L.Wong, R.Acharya. -Berlin, Heidelberg: Springer, 2006.-Vol. 4146.-185 p. -(Lecture Notes in Bioinformatics). 15. Computational Intelligence and Bioinformatics: Part II: Proc./International Conference on Intelligent Computing, ICIC 2006. Kunming, China, August 2006/Ed. by D.-S.Huang, K.Li, G.W.Irwin.-Berlin, Heidelberg: Springer, 2006.-Vol. 4115.-803 p.-(Lecture Notes in Bioinformatics). 16. Engineering Self-Organized Systems: Revised Selected Papers/Third International Workshop, ESOA 2005. Utrecht, The Netherlands, July 2005/Ed. by S.A.Brueckner, Marzo Serguendo G.Di, D.Hales, F.Zambonelli.-Berlin, Heidelberg: Springer, 2006.-Vol. 3910.-245 p.-(Lecture Notes in Artificial Intelligence). 17. Automated Reasoning: Proc./Third International Joint Conference, IJCAR 2006. Seattle, WA, USA, August 2006/Ed. by U.Furbach, N.Shankar.-Berlin, Heidelberg: Springer, 2006. -Vol. 4130.-680 p.-(Lecture Notes in Artificial Intelligence). 18. Ambient Intelligence in Everyday Life: Foreword by Emile Aarts/Ed. by Y.Cai, J.Abascal.-Berlin, Heidelberg: Springer, 2006.-Vol. 3864.-323 p.-(Lecture Notes in Artificial Intelligence). 19. Dependable Systems: Software, Computing, Networks: Research Results of the DICS Program/Ed. by J.Kohlas, B.Meyer, A.Schiper.-Berlin, Heidelberg: Springer, 2006.-Vol. 4028.-295 p.-(Lecture Notes in Artificial Intelligence). 20. Formal Methods for Components and Objects: Revised Lectures/4th International Symposium, FMCO 2005. Amsterdam, The Netherlands, November 2005/Ed. by Boer F.S.De, M.M.Bonsangue, S.Graf, Roever W.-P.De.-Berlin, Heidelberg: Springer, 2006.-Vol. 4111.-429 p.-(Lecture Notes in Artificial Intelligence). 21. Algebra, Meaning, and Computation: Essays Dedicated to Jeseph A. Goguen on the Occasion of His 65th Birthday/Ed. by K.Futatsugi, J.-P.Jouannaud, J.Meseguer.-Berlin, Heidelberg: Springer, 2006.-Vol. 4060.-643 p.-(Lecture Notes in Artificial Intelligence). 22. Intelligence and Security Informatics: Proc./International Workshop, WISI 2006. Singapore, April 2006/Ed. by H.Chen, F.Y.Wang, Ch.C.Yang, D.Zeng.-Berlin, Heidelberg: Springer, 2006.-Vol. 3917.-186 p.-(Lecture Notes in Computer Science). 23. Security in Pervasive Computing: Proc./Third International Conference, SPC 2006. York, UK, April 2006/Ed. by J.A.Clark, R.F.Paige, F.A.C.Polack, Ph.J.Brooke.-Berlin, Heidelberg: Springer, 2006.-Vol. 3934.-243 p.-(Lecture Notes in Computer Science). 24. Trust, Privacy, and Security in Digital Business: Proc./Third International Conference, TrustBus 2006. Krakow, Poland, September 2006/Ed. by S.Fischer-Huebner, S.Furnell, C.Lambrinoudakis.-Berlin, Heidelberg: Springer, 2006.-Vol. 4083.-243 p.-(Lecture Notes in Computer Science). 25. Relational Methods in Computer Science: Selected Revised Papers/8th Intl Seminar RMCS; 3rd Intl WS AKA & WS of COST Action 274: TARSKI. St.Catharines, ON, Canada, Feb 2005/Ed. by W.Maccaull, M.Winter, I.Duentsch.-Berlin, Heidelberg: Springer, 2006.-Vol. 3929.-263 p.-(Lecture Notes in Computer Science). 26. Flexible and Efficient Information Handling: Proc./23rd British National Conference on Databases, BNCOD 23. Belfast, Northern Ireland, UK, July 2006/Ed. by D.Bell, J.Hong. -Berlin, Heidelberg: Springer, 2006.-Vol. 4042.-296 p. -(Lecture Notes in Computer Science). 27. Implementation and Application of Automata: Proc./11th International Conference, CIAA 2006. Taipei, Taiwan, August 2006/Ed. by O.H.Ibarra, H.-Ch.Yen.-Berlin, Heidelberg: Springer, 2006.-Vol. 4094.-291 p.-(Lecture Notes in Computer Science). 28. Advances in Information Retrieval: Proc./28th European Conference on IR Research, ECIR 2006. London, UK, April 2006/ Ed. by M.Lalmas, A.Macfarlane, S.Rueger, A.Tombros.-Berlin, Heidelberg: Springer, 2006.-Vol. 3936.-584 p.-(Lecture Notes in Computer Science). 29. Advances in Cryptology - CRYPTO 2006: Proc./26th Annual International Conference. Santa Barbara, CA, USA, August 2006 /Ed. by C.Dwork.-Berlin, Heidelberg: Springer, 2006.-Vol. 4117.-621 p.-(Lecture Notes in Computer Science). 30. Medical Imaging and Augmented Reality: Proc./Third International Workshop. Shanghai, China, August 2006/Ed. by G.-Z.Yang, T.Jiang, D.Shen, L.Gu.-Berlin, Heidelberg: Springer, 2006.-Vol. 4091.-399 p.-(Lecture Notes in Computer Science). 31. FM 2006: Formal Methods: Proc./14th International Symposium on Formal Methods. Hamilton, Canada, August 2006/ Ed. by J.Misra, T.Nipkow, E.Sekerinski.-Berlin, Heidelberg: Springer, 2006.-Vol. 4085.-620 p.-(Lecture Notes in Computer Science). 32. Relations and Kleene Algebra in Computer Science: Proc./9th Intl Conference on Relational Methods in CS & 4th Intl WS RelMiCS/AKA 2006. Manchester, UK, Aug/Sep 2006/Ed. by R.A.Schmidt.-Berlin, Heidelberg: Springer, 2006.-Vol. 4136.-433 p.-(Lecture Notes in Computer Science). 33. Information Security and Cryptography - ICISC 2005: Revised Selected Papers/8th International Conference. Seoul, Korea, December 2005/Ed. by D.Won, S.Kim.-Berlin, Heidelberg: Springer, 2006.-Vol. 3935.-458 p.-(Lecture Notes in Computer Science). 34. Ad-Hoc, Mobile, and Wireless Networks: Proc./5th International Conference, ADHOC-NOW 2006. Ottawa, Canada, August 2006/Ed. by Th.Kunz, S.S.Ravi.-Berlin, Heidelberg: Springer, 2006.-Vol. 4104.-474 p.-(Lecture Notes in Computer Science). 35. Wireless Algorithms, Systems, and Applications: Proc./First International Conference, WASA 2006. Xi'an, China, August 2006/Ed. by X.Cheng, W.Li, T.Znati.-Berlin, Heidelberg: Springer, 2006.-Vol. 4138.-709 p.-(Lecture Notes in Computer Science). 36. Static Analysis: Proc./13th International Symposium, SAS 2006. Seoul, Korea, August 2006/Ed. by K.Yi.-Berlin, Heidelberg: Springer, 2006.-Vol. 4134.-443 p.-(Lecture Notes in Computer Science). 37. Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques: Proc/9th Int.WS APPROX 2006 & 10th Int.WS RANDOM 2006. Barcelona, Spain, 2006/Ed. by J.Diaz, K.Jansen, J.D.P.Rolim, U.Zwick.-Berlin, Heidelberg: Springer, 2006.-Vol. 4110.-522 p.-(Lecture Notes in Computer Science). 38. Logic Programming: Proc./22nd International Conference, ICLP 2006. Seattle, WA, USA, August 2006/Ed. by S.Etalle, M.Truszczynski.-Berlin, Heidelberg: Springer, 2006.-Vol. 4079. -474 p.-(Lecture Notes in Computer Science). 39. Advances in Computer Graphics: Proc./24th Computer Graphics International Conference, CGI 2006. Hangzhou, China, June 2006/Ed. by T.Nishita, Q.Peng, H.-P.Seidel. -Berlin, Heidelberg: Springer, 2006.-Vol. 4035.-771 p. -(Lecture Notes in Computer Science). 40. Advances in Machine Vision, Image Processing, and Pattern Analysis: Proc./IWICPAS 2006. Xi'an, China, August 2006/Ed. by N.Zheng, X.Jiang, X.Lan.-Berlin, Heidelberg: Springer, 2006.-Vol. 4153.-506 p.-(Lecture Notes in Computer Science). 41. Mathematical Foundations of Computer Science 2006: Proc./31st International Symposium, MFCS 2006. Stara Lesna, Slovakia, August/September 2006/Ed. by R.Kralovic, P.Urzyczyn.-Berlin, Heidelberg: Springer, 2006.-Vol. 4162. -814 p.-(Lecture Notes in Computer Science). 42. Information Security: Proc./9th International Conference, ISC 2006. Samos Island, Greece, August/September 2006/Ed. by S.K.Katsikas, J.Lopez, M.Backes, S.Gritzalis. -Berlin, Heidelberg: Springer, 2006.-Vol. 4176.-548 p. -(Lecture Notes in Computer Science). 43. Computer Aided Verification: Proc./18th International Conference, CAV 2006. Seattle, WA, USA, August 2006/Ed. by Th.Ball, R.B.Jones.-Berlin, Heidelberg: Springer, 2006.-Vol. 4144.-564 p.-(Lecture Notes in Computer Science). 44. CONCUR 2006 - Concurrency Theory: Proc./17th International Conference, CONCUR 2006. Bonn, Germany, August 2006/Ed. by Ch.Baier, H.Hermanns.-Berlin, Heidelberg: Springer, 2006.-Vol. 4137.-525 p.-(Lecture Notes in Computer Science). 45. Euro-Par 2006 Parallel Processing: Proc./12th International Euro-Par Conference. Dresden, Germany, August/September 2006/Ed. by W.E.Nagel, W.V.Walter, W.Lehner. -Berlin, Heidelberg: Springer, 2006.-Vol. 4128.-1221 p. -(Lecture Notes in Computer Science). 46. Technologies for E-Learning and Digital Entertainment: Proc./First International Conference, Edutainment 2006. Hangzhou, China, April 2006/Ed. by Zh.Pan, R.Aylett, H.Diener, X.Jin.-Berlin, Heidelberg: Springer, 2006.-Vol. 3942.-1396 p.-(Lecture Notes in Computer Science). 47. Kohlhase M. OMDoc - An Open Markup Format for Mathematical Documents [version 1.2].- Berlin, Heidelberg: Springer, 2006.- 428 p.-(Lecture Notes in Computer Science; Vol. 4180).-Bibliogr.: p.375-388. 48. Методы предикатного программирования: выпуск 2/ИСИ СО РАН; Ред. В.И.Шелехов.-Новосибирск, 2006.-115 с. 49. Соколов А.В. Математические модели и алгоритмы оптимального управления динамическими структурами данных: Автореф. дис... докт. ф.-м. наук: 05.13.18, 05.13.17. -Санкт-Петербург, 2006.-34 с.-Библиогр.: c.29-34. 50. Безродных С.И. Сингулярная задача Римана-Гильберта и ее приложение: Автореф. дис... канд. ф.-м. наук: 01.01.03. -Москва, 2006.-20 с.-Библиогр.: c.19-20. 51. Книжный И.М. Сжатие статических изображений с постоянной скоростью сжимающего кодирования в задачах дистанционного зондирования Земли: Автореф. дис... докт. техн. наук: 05.12.04.-Москва, 2006.-19 с.-Библиогр.: c.19. 52. Хрекин К.Е. Разработка методов сжатия без потерь для изображения: Автореф. дис... канд. техн. наук: 05.12.04. -Москва, 2006.-19 с.-Библиогр.: c.19. 53. Системы программного обеспечения решения задач оптимального планирования: краткие тезисы докладов/Пятый Всесоюзный симпозиум. Нарва-Йыэссуу, 21-28 мая 1978/ЦЭМИ АН СССР; .-Москва, 1978.-205 с. 54. Ежегодный отчет 2005/ИЯФ СО РАН. .- Новосибирск, 2006.- 287 с.