Hовые поступления с 1 августа по 1 октября 2007 года
1. Security and Privacy in Ad-hoc and Sensor Networks: Proc./4th European Workshop, ESAS 2007. Cambridge, UK, July 2007/Ed. by F.Stajano, C.Meadows, S.Capkun, T.Moore. -Berlin, Heidelberg: Springer, 2007.-Vol. 4572.-247 p. -(Lecture Notes in Computer Science). 2. Structural Information and Communication Complexity: Proc./14th International Colloquium, SIROCCO 2007. Castiglioncello, Italy, June 2007/Ed. by G.Prencipe, Sh.Zaks. -Berlin, Heidelberg: Springer, 2007.-Vol. 4474.-342 p. -(Lecture Notes in Computer Science). 3. Smart Graphics: 8th International Symposium, SG 2007: Proc./Kyoto, Japan, June 2007/Ed. by A.Butz, B.Fisher, A.Krueger, P.Olivier.-Berlin, Heidelberg: Springer, 2007. -Vol. 4569.-237 p.-(Lecture Notes in Computer Science). 4. Arithmetic of Finite Fields: Proc./First International Workshop, WAIFI 2007. Madrid, Spain, June 2007/Ed. by C.Carlet, B.Sunar.-Berlin, Heidelberg: Springer, 2007.-Vol. 4547.-355 p.-(Lecture Notes in Computer Science). 5. Algebraic Biology: Proc./Second International Conference, AB 2007. Castle of Hagenberg, Austria, July 2007/ Ed. by H.Anai, K.Horimoto, T.Kutsia.-Berlin, Heidelberg: Springer, 2007.-Vol. 4545.-379 p.-(Lecture Notes in Computer Science). 6. Pervasive Computing for Quality of Life Enhancement: Proc./5th International Conference on Smart Homes and Health Telematics, ICOST 2007. Nara, Japan, June 2007/Ed. by T.Okadome, T.Yamazaki, M.Makhtari.-Berlin, Heidelberg: Springer, 2007.-Vol. 4541.-248 p.-(Lecture Notes in Computer Science). 7. Inter-Domain Management: Proc./First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007. Oslo, Norway, June 2007/Ed. by A.K.Bandara, M.Burgess.-Berlin, Heidelberg: Springer, 2007. -Vol. 4543.-237 p.-(Lecture Notes in Computer Science). 8. Data and Applications Security XXI: Proc./21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security. Redondo Beach, CA, USA, July 2007/Ed. by S.Barker, G.-J.Ahn.-Berlin, Heidelberg: Springer, 2007.-Vol. 4602.-291 p.-(Lecture Notes in Computer Science). 9. Agile Processes in Software Engineering and Extreme Programming: Proc./8th International Conference, XP 2007. Como, Italy, June 2007/Ed. by G.Concas, E.Damiani, M.Scotto, G.Succi.-Berlin, Heidelberg: Springer, 2007.-Vol. 4536.-276 p.-(Lecture Notes in Computer Science). 10. Nature-Inspired Problem-Solving Methods in Knowledge Engineering: Part II: Proc./2nd Intl Work-Conference on the Interplay v Natural & Artificial Computation, IWINAC 2007. La Manga del Mar Menor, Spain, June 2007/Ed. by J.Mira, J.R.Alvarez.-Berlin, Heidelberg: Springer, 2007.-Vol. 4528. -650 p.-(Lecture Notes in Computer Science). 11. Bio-inspired Modeling of Cognitive Tasks: Part I: Proc./2nd Intl Work-Conference on the Interplay V Natural & Artificial Computation, IWINAC 2007. La Manga del Mar Menor, Spain, June 2007/Ed. by J.Mira, J.R.Alvarez.-Berlin, Heidelberg: Springer, 2007.-Vol. 4527.-630 p.-(Lecture Notes in Computer Science). 12. Reliable Software Technologies - Ada-Europe 2007: Proc./12th Ada-Europe International Conference on Reliable Software Technologies. Geneva, Switzerland, June 2007/Ed. by N.Abdennadher, F.Kordon.-Berlin, Heidelberg: Springer, 2007. -Vol. 4498.-247 p.-(Lecture Notes in Computer Science). 13. Data Management: Data, Data Everywhere: Proc./24th British National Conference on Databases, BNCOD 24. Glasgow, UK, July 2007/Ed. by R.Cooper, J.Kennedy.-Berlin, Heidelberg: Springer, 2007.-Vol. 4587.-259 p.-(Lecture Notes in Computer Science). 14. Logic, Language, Information, and Computation: Proc./14th International Workshop, WoLLIC 2007. Rio de Janeiro, Brazil, July 2007/Ed. by D.Leivant, Queiroz R.De. -Berlin, Heidelberg: Springer, 2007.-Vol. 4576.-363 p. -(Lecture Notes in Computer Science). 15. Product-Focused Software Process Improvement: Proc./8th International Conference, PROFES 2007. Riga, Latvia, July 2007/Ed. by J.Muench, P.Abrahamsson.-Berlin, Heidelberg: Springer, 2007.-Vol. 4589.-414 p.-(Lecture Notes in Computer Science). 16. Integrated Formal Methods: Proc./6th International Conference, IFM 2007. Oxford, UK, July 2007/Ed. by J.Davies, J.Gibbons.-Berlin, Heidelberg: Springer, 2007. -Vol. 4591.-660 p.-(Lecture Notes in Computer Science). 17. Typed Lambda Calculi and Applications: Proc./8th International Conference, TLCA 2007. Paris, France, June 2007 /Ed. by Della Rocca S.Ronchi.-Berlin, Heidelberg: Springer, 2007.-Vol. 4583.-397 p.-(Lecture Notes in Computer Science). 18. Computer Supported Cooperative Work in Design III: Revised Selected Papers/10th International Conference, CSCWD 2006. Nanjing, China, May 2006/Ed. by W.Shen, J.Luo, Z.Lin, J.-P.A.Barthes.-Berlin, Heidelberg: Springer, 2007.-Vol. 4402. -763 p.7-(Lecture Notes in Computer Science). 19. Public Key Infrastructure: Proc./4th European PKI Workshop: Theory and Practice, EuroPKI 2007. Palma de Mallorca, Spain, June 2007/Ed. by J.Lopez, P.Samarati, J.L.Ferrer.-Berlin, Heidelberg: Springer, 2007.-Vol. 4582. -375 p.-(Lecture Notes in Computer Science). 20. Petri Nets and Other Models of Concurrency - ICATPN 2007: Proc./28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007. Siedlce, Poland, June 2007/Ed. by J.Kleijn, A.Yakovlev.-Berlin, Heidelberg: Springer, 2007.-Vol. 4546. -515 p.-(Lecture Notes in Computer Science). 21. Information Security and Privacy: Proc./12th Australian Conference, ACISP 2007. Townsville, Australia, July 2007/Ed. by J.Pieprzyk, H.Ghodosi, E.Dawson.-Berlin, Heidelberg: Springer, 2007.-Vol. 4586.-476 p.-(Lecture Notes in Computer Science). 22. Multimedia Content Analysis and Mining: Proc./International Workshop, MCAM 2007. Weihai, China, June/July 2007/Ed. by N.Sebe, Y.Liu, Y.Zhuang, Th.S.Huang. -Berlin, Heidelberg: Springer, 2007.-Vol. 4577.-513 p. -(Lecture Notes in Computer Science). 23. Advances in Web and Network Technologies, and Information Management: Proc./APWeb/WAIM 2007 Intl WS 2007: DBMAN, WebETrends, PAIS, and ASWAN. Huang Shan, China, June 2007/Ed. by Chang K.Chen-Chuan, W.Wang, L.Chen, C.A.Ellis. -Berlin, Heidelberg: Springer, 2007.-Vol. 4537.-707 p. -(Lecture Notes in Computer Science). 24. Natural Language Processing and Information Systems: Proc./12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007. Paris, France, June 2007/Ed. by Z.Kedad, N.Lammari, E.Metais, F.Meziane.-Berlin, Heidelberg: Springer, 2007.-Vol. 4592. -442 p.-(Lecture Notes in Computer Science). 25. Information Processing in Medical Imaging: Proc./20th International Conference, IPMI 2007. Kerkrade, The Netherlands, July 2007/Ed. by N.Karssemeijer, B.Lelieveldt. -Berlin, Heidelberg: Springer, 2007.-Vol. 4584.-777 p. -(Lecture Notes in Computer Science). 26. Pairing-Based Cryptography - Pairing 2007: Proc./First International Conference. Tokyo, Japan, July 2007/Ed. by T.Takagi, T.Okamoto, E.Okamoto, T.Okamoto.-Berlin, Heidelberg: Springer, 2007.-Vol. 4575.-407 p.-(Lecture Notes in Computer Science). 27. Developments in Language Theory: Proc./11th International Conference, DLT 2007. Turku, Finland, July 2007 /Ed. by T.Harju, J.Karhumaki, A.Lepisto.-Berlin, Heidelberg: Springer, 2007.-Vol. 4588.-423 p.-(Lecture Notes in Computer Science). 28. Human-Computer Interaction: Interaction Design and Usability: Part I: Proc./12th International Conference, HCI International 2007. Beijing, China, July 2007/Ed. by J.A.Jacko.-Berlin, Heidelberg: Springer, 2007.-Vol. 4550. -1240 p.-(Lecture Notes in Computer Science). 29. Human-Computer Interaction: Interaction Platforms and Techniques: Part II: Proc./12th International Conference, HCI International 2007. Beijing, China, July 2007/Ed. by J.A.Jacko.-Berlin, Heidelberg: Springer, 2007.-Vol. 4551. -1253 p.-(Lecture Notes in Computer Science). 30. Human-Computer Interaction: HCI Intelligent Multimodal Interaction Environments: Part III: Proc./12th International Conference, HCI International 2007. Beijing, China, July 2007/Ed. by J.A.Jacko.-Berlin, Heidelberg: Springer, 2007. -Vol. 4552.-1038 p.-(Lecture Notes in Computer Science). 31. Human-Computer Interaction: HCI Applications and Services: Part IV: Proc./12th International Conference, HCI International 2007. Beijing, China, July 2007/Ed. by J.A.Jacko.-Berlin, Heidelberg: Springer, 2007.-Vol. 4533. -1225 p.-(Lecture Notes in Computer Science). 32. Technologies for E-Learning and Digital Entertainment: Proc./Second International Conference, Edutainment 2007. Hong Kong, China, June 2007/Ed. by K.Hui, Zh.Pan, R.Ch.Chung, Ch.C.L.Wang.-Berlin, Heidelberg: Springer, 2007. -Vol. 4469.-974 p.-(Lecture Notes in Computer Science). 33. Advances in Data and Web Management: Proc./Joint 9th Asia-Pacific Web Conference, APWeb 2007 & 8th Intl Conference on Web-Age Information Management, WAIM 2007. Huang Shan, China, June 2007/Ed. by G.Dong, X.Lin, W.Wang, Y.Yang.-Berlin, Heidelberg: Springer, 2007.-Vol. 4505.-896 p. -(Lecture Notes in Computer Science). 34. Digital Human Modeling: Proc./First International Conference on Digital Computer Modeling, ICDHM, Held as Part of HCI International 2007. Beijing, China, July 2007/Ed. by V.G.Duffy.-Berlin, Heidelberg: Springer, 2007.-Vol. 4561. -1068 p.-(Lecture Notes in Computer Science). 35. Computation and Logic in the Real World: Proc./Third Conference on Computability in Europe, CiE 2007. Siena, Italy, June 2007/Ed. by S.B.Cooper, B.Loewe, A.Sorbi. -Berlin, Heidelberg: Springer, 2007.-Vol. 4497.-826 p. -(Lecture Notes in Computer Science). 36. Managing Traffic Performance in Converged Networks: Proc./20th International Teletraffic Congress, ITC20 2007. Ottawa, Canada, June 2007/Ed. by L.Mason, T.Drwiega, J.Yan. -Berlin, Heidelberg: Springer, 2007.-Vol. 4516.-1191 p. -(Lecture Notes in Computer Science). 37. Computational and Ambient Intelligence: Proc./9th International Work-Conference on Artificial Neural Networks, IWANN 2007. San Sebastian, Spain, June 2007/Ed. by F.Sandoval, A.Prieto, J.Cabestany, M.Grana.-Berlin, Heidelberg: Springer, 2007.-Vol. 4507.-1167 p.-(Lecture Notes in Computer Science). 38. Image Analysis: Proc./15th Scandinavian Conference, SCIA 2007. Aalborg, Denmark, June 2007/Ed. by B.K.Ersboll, K.S.Pedersen.-Berlin, Heidelberg: Springer, 2007.-Vol. 4522. -989 p.-(Lecture Notes in Computer Science). 39. Human Interface and the Management of Information: Part I: Methods, Techniques, and Tools in Information Design: Proc./Symposium on Human Interface 2007, Part of HCI International 2007. Beijing, China, July 2007/Ed. by M.J.Smith, G.Salvendy.-Berlin, Heidelberg: Springer, 2007. -Vol. 4557.-1030 p.-(Lecture Notes in Computer Science). 40. Human Interface and the Management of Information: Part II: Interacting in Information Environments: Proc./Symposium on Human Interface 2007, Part of HCI International 2007. Beijing, China, July 2007/Ed. by M.J.Smith, G.Salvendy. -Berlin, Heidelberg: Springer, 2007.-Vol. 4558.-1162 p. -(Lecture Notes in Computer Science). 41. Rewriting, Computation, and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday/ Ed. by H.Comon-Lundh, C.Kirchner, H.Kirchner.-Berlin, Heidelberg: Springer, 2007.-Vol. 4600.-273 p.-(Lecture Notes in Computer Science). 42. Automated Reasoning with Analytic Tableaux and Related Methods: Proc./16th International Conference, TABLEAUX 2007. Aix en Provence, France, July 2007/Ed. by N.Olivetti. -Berlin, Heidelberg: Springer, 2007.-Vol. 4548.-245 p. -(Lecture Notes in Artificial Intelligence). 43. Learning Theory: Proc./ 20th Annual Conference on Learning Theory, COLT 2007. San Diego, CA, USA, June 2007/ Ed. by N.H.Bshouty, C.Gentile.-Berlin, Heidelberg: Springer, 2007.-Vol. 4539.-634 p.-(Lecture Notes in Artificial Intelligence). 44. Foundations of Augmented Cognition: Proc./Third International Conference, FAC 2007, Held as Part of HCI International 2007. Beijing, China, July 2007/Ed. by D.D.Schmorrow, L.M.Reeves.-Berlin, Heidelberg: Springer, 2007. -Vol. 4565.-450 p.-(Lecture Notes in Artificial Intelligence). 45. User Modeling 2007: Proc./11th International Conference, UM 2007. Corfu, Greece, June 2007/Ed. by C.Conati, K.Mccoy, G.Paliouras.-Berlin, Heidelberg: Springer, 2007.-Vol. 4511.-487 p.-(Lecture Notes in Artificial Intelligence). 46. Rough Sets and Intelligent Systems Paradigms: Proc./International Conference, RSEISP 2007. Warsaw, Poland, June 2007/Ed. by M.Kryszkiewicz, J.F.Peters, H.Rybinski, A.Skowron.-Berlin, Heidelberg: Springer, 2007.-Vol. 4585. -836 p.-(Lecture Notes in Artificial Intelligence). 47. New Trends in Applied Artificial Intelligence: Proc./20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007. Kyoto, Japan, June 2007/Ed. by H.G.Okuno, M.Ali.-Berlin, Heidelberg: Springer, 2007.-Vol. 4570.-1194 p.-(Lecture Notes in Artificial Intelligence). 48. Быстров А. Структурный анализ поведения непрерывно-временных сетей Петри.-Новосибирск, 2007.-32 с. -(Препринт/ИСИ СО РАН; N 137). 49. Шибзухов З.М. Конструктивное обучение алгебраических сигма-пи-нейронных сетей и корректные сигма-пи-расширения: Автореф. дис... докт. ф.-м. наук: 05.13.17.-Москва, 2007.-38 с.-Библиогр.: c.35-38. 50. Хохлов М.А. Информационная технология и инструментальная система математическогомоделирования экономики "Экомод": Автореф. дис... канд. ф.-м. наук: 05.13.18.-Москва, 2007.-22 с.-Библиогр.: c.20-22. 51. Устюжанин А.Е. Разработка ассоциативной памяти для систем автономного адаптивного управления на основе систем детерминированного хаоса: Автореф. дис... канд. ф.-м. наук: 05.13.11.-Москва, 2007.-24 с. 52. Касьянова Е.В. Адаптивные методы и средства поддержки дистанционного обучения программированию/Ред. В.Н.Касьянов; ИСИ СО РАН. .- Новосибирск, 2007.- 170 с.-(Проблемы конструирования и оптимизации программ).-Библиогр.: c.99-108.