Hовые поступления с 29 октября по 3 декабря 2007 года
1. Ершов А.Г. Алгоритмы и программные системы для геометрических задач параметрического проектирования: Дисc. канд. ф.-м. наук: 05.13.11.-Новосибирск, 2007.-168 с.-Библиогр.: c.153-159. 2. Сидоров В.А. Методы и средства программирования в ограничениях для систем автоматизации проектирования: Дисc. канд. ф.-м. наук: 05.13.11.-Новосибирск, 2007.-152 с.-Библиогр.: c.119-126. 3. Dahl O.-J., Myhrhaug B., Nygaard K. Common Base Language SIMULA/Norwegian Computing Center. .- Oslo, 1970.- 145 p. 4. Recent Advances in Intrusion Detection: Proc./10th International Symposium, RAIS 2007. Gold Coast, Australia, September 2007/ Ed. by Ch.Kruegel, R.Lippmann, A.Clark. -Berlin, Heidelberg: Springer, 2007.-Vol. 4637. -337 p.-(Lecture Notes in Computer Science). 5. Mathematical Foundations of Computer Science: Proc./32nd International Symposium, MFCS 2007. Cesky Krumlov, Czech Republic, August 2007/Ed. by L.Kucera, A.Kucera. -Berlin, Heidelberg: Springer, 2007.-Vol. 4708. -764 p.-(Lecture Notes in Computer Science). 6. Algebra and Coalgebra in Computer Science: Proc./Second International Conference, CALCO 2007. Bergen, Norway, August 2007/Ed. by T.Mossakowski, U.Montanari, M.Haveraaen.-Berlin, Heidelberg: Springer, 2007.-Vol. 4624.-463 p.-(Lecture Notes in Computer Science). 7. Advances in Computer Systems Architecture: Proc./12th Asia-Pacific Conference, ACSAC 2007. Seoul, Korea, August 2007/Ed. by L.Choi, Y.Paek, S.Cho.-Berlin, Heidelberg: Springer, 2007.-Vol. 4697.-400 p. -(Lecture Notes in Computer Science). 8. Computer Analysis of Images and Patterns: Proc./12th International Conference, CAIP 2007. Vienna, Austria, August 2007/Ed. by W.G.Kropatsch, M.Kampel, A.Hanbury.-Berlin, Heidelberg: Springer, 2007. -Vol. 4673.-1006 p.-(Lecture Notes in Computer Science). 9. Fundamentals of Computation Theory: Proc./16th International Symposium, FCT 2007. Budapest, Hungary, August 2007/Ed. by E.Csuhaj-Varju, Z.Esik.-Berlin, Heidelberg: Springer, 2007.-Vol. 4639.-508 p.-(Lecture Notes in Computer Science). 10. Computer Science - Thery and Applications: Proc./2nd International Symposium on Computer Science in Russia, CSR 2007. Ekaterinburg, Russia, September 2007/ Ed. by V.Diekert, M.V.Volkov, A.Voronkov. -Berlin, Heidelberg: Springer, 2007.-Vol. 4649. -420 p.-(Lecture Notes in Computer Science). 11. Advances in Biometrics: Proc./International Conference, ICB 2007. Seoul, Korea, August 2007/Ed. by S.-Wh.Lee, S.Z.Li.-Berlin, Heidelberg: Springer, 2007. -Vol. 4642.-1216 p.-(Lecture Notes in Computer Science). 12. Energy Minimization Methods in Computer Vision and Pattern Recognition: Proc./6th International Conference, EMMCVPR 2007. Ezhou, China, August 2007/Ed. by A.L.Yuille, S.-Ch.Zhu, D.Cremers, Y.Wang.-Berlin, Heidelberg: Springer, 2007.-Vol. 4679.-494 p. -(Lecture Notes in Computer Science). 13. Artificial Immune Systems: Proc./6th International Conference, ICARIS 2007. Santos, Brazil, August 2007/Ed. by De Castro L.Nunez, Von Zuben F.J., H.Knidel.-Berlin, Heidelberg: Springer, 2007.-Vol. 4628.-438 p. -(Lecture Notes in Computer Science). 14. Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation: Proc./17th Intl WS, PATMOS 2007. Gothenburg, Sweden, September 2007/Ed. by N.Azemard, L.Svensson.-Berlin, Heidelberg: Springer, 2007.-Vol. 4644.-583 p.-(Lecture Notes in Computer Science). 15. Parallel Computing Technologies: Proc./9th International Conference, PaCT 2007. Pereslavl-Zalessky, Russia, September 2007/Ed. by V.Malyshkin.-Berlin, Heidelberg: Springer, 2007.-Vol. 4671.-635 p.-(Lecture Notes in Computer Science). 16. Advanced Concepts for Intelligent Vision Systems: Proc./9th International Conference, ACVIS 2007. Delft, The Netherlands, August 2007/Ed. by J.Blanc-Talon, W.Philips, D.Popescu, P.Scheunders.-Berlin, Heidelberg: Springer, 2007.-Vol. 4678.-1100 p.-(Lecture Notes in Computer Science). 17. Artificial Neural Networks - ICANN 2007: Part II: Proc./17th International Conference. Porto, Portugal, September 2007/Ed. by De Sa J.Marques, L.A.Alexandre, W.Duch, D.Mandic. -Berlin, Heidelberg: Springer, 2007.-Vol. 4669. -990 p.-(Lecture Notes in Computer Science). 18. Implementation and Application of Functional Languages: Revised Selected Papers/18th International Symposium, IFL 2006. Budapest, Hungary, September 2006/Ed. by Z.Horvath, V.Zsok, A.Butterfield.-Berlin, Heidelberg: Springer, 2007.-Vol. 4449.-271 p. -(Lecture Notes in Computer Science). 19. Network-Based Information Systems: Proc./First International Conference, NBiS 2007. Regensburg, Germany, September 2007/Ed. by T.Enokido, L.Baroli, M.Takizawa.-Berlin, Heidelberg: Springer, 2007.-Vol. 4658.-544 p. -(Lecture Notes in Computer Science). 20. Logic Programming: Proc./23rd International Conference, ICLP 2007. Porto, Portugal, September 2007/Ed. by V.Dahl, I.Niemela.-Berlin, Heidelberg: Springer, 2007. -Vol. 4670.-470 p.-(Lecture Notes in Computer Science). 21. Comparative Evaluation of XML Information Retrieval Systems: Revised & Selected Papers/5th Intl WS of the Initiative for the Evaluation of XML Retrieval, INEX. Dagstuhl Castle, Germany, Dec. 2006/Ed. by N.Fuhr, M.Lalmas, A.Trotman.-Berlin, Heidelberg: Springer, 2007.-Vol. 4518.-554 p. -(Lecture Notes in Computer Science). 22. Combinatorial Optimization and Applications: Proc./First International Conference, COCOA 2007. Xi'an, China, August 2007/Ed. by A.Dress, Y.Xu, B.Zhu.-Berlin, Heidelberg: Springer, 2007.-Vol. 4616.-390 p. -(Lecture Notes in Computer Science). 23. Tests and Proofs: Revised Papers/First International Conference, TAP 2007. Zurich, Switzerland, February 2007/Ed. by Y.Gurevich, B.Meyer.-Berlin, Heidelberg: Springer, 2007.-Vol. 4454.-217 p.-(Lecture Notes in Computer Science). 24. Advances in Computation and Intelligence: Proc./Second International Symposium, ISICA 2007. Wuhan, China, September 2007/Ed. by L.Kang, Y.Liu, S.Zeng. -Berlin, Heidelberg: Springer, 2007.-Vol. 4683. -663 p.-(Lecture Notes in Computer Science). 25. Mathematics of Surfaces XII: Proc./12th IMA International Conference. Sheffield, UK, September 2007/Ed. by R.Martin, M.Sabin, K.Winkler.-Berlin, Heidelberg: Springer, 2007. -Vol. 4647.-509 p.-(Lecture Notes in Computer Science). 26. Advances in Intelligent Data Analysis VII: Proc./7th International Symposium on Intelligent Data Analysis, IDA 2007. Ljubljana, Slovenia, September 2007/Ed. by M.R.Berthold, J.Shawe-Taylor, N.Lavrac. -Berlin, Heidelberg: Springer, 2007.-Vol. 4723. -380 p.-(Lecture Notes in Computer Science). 27. Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques: Proc./10th Intl Workshop, APPROX 2007 & 11th Intl WS, Random 2007. Princeton, NJ, USA, August 2007/Ed. by M.Charikar, K.Jansen, O.Reingold, J.D.P.Rolim.-Berlin, Heidelberg: Springer, 2007.-Vol. 4627.-626 p. -(Lecture Notes in Computer Science). 28. Database and Expert Systems Applications: Proc./18th International Conference, DEXA 2007. Regensburg, Germany, September 2007/Ed. by R.Wagner, N.Revell, G.Pernul.-Berlin, Heidelberg: Springer, 2007. -Vol. 4653.-907 p.-(Lecture Notes in Computer Science). 29. Euro-Par 2007 Parallel Processing: Proc./13th International Euro-Par Conference. Rennes, France, August 2007/Ed. by A.-M.Kermarrec, L.Bouge, Th.Priol.-Berlin, Heidelberg: Springer, 2007.-Vol. 4641.-974 p. -(Lecture Notes in Computer Science). 30. Independent Component Analysis and Signal Separation: Proc./7th International Conference, ICA 2007. London, UK, September 2007/Ed. by M.E.Davies, Ch.J.James, S.A.Abdallah, M.D.Plumbley.-Berlin, Heidelberg: Springer, 2007.-Vol. 4666.-847 p.-(Lecture Notes in Computer Science). 31. Image Analysis and Recognition: Proc./4th International Conference, ICIAR 2007. Montreal, Canada, August 2007/Ed. by M.Kamel, A.Campilho.-Berlin, Heidelberg: Springer, 2007.-Vol. 4633.-1312 p.-(Lecture Notes in Computer Science). 32. Domain Modeling and The Duration Calculus: Advanced Lectures/International Training School. Shanghai, China, September 2007/Ed. by Ch.W.George, Zh.Liu, J.Woodcock. -Berlin, Heidelberg: Springer, 2007.-Vol. 4710. -237 p.-(Lecture Notes in Computer Science). 33. Reasoning Web: Tutorial Lectures/Third International Summer School 2007. Dresden, Germany, September 2007/Ed. by G.Antoniou, U.Assmann, C.Bargolio, S.Decker.-Berlin, Heidelberg: Springer, 2007.-Vol. 4636.-345 p. -(Lecture Notes in Computer Science). 34. Intercultural Collaboration: Invited and Selected Papers/First International Workshop, IWIC 2007. Kyoto, Japan, January 2007/Ed. by T.Ishida, S.R.Fussel, P.T.J.M.Vossen.-Berlin, Heidelberg: Springer, 2007.-Vol. 4568.-395 p. -(Lecture Notes in Computer Science). 35. Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications/Ed. by R.Choren, A.Garcia, H.Giese, H.-F.Leung.-Berlin, Heidelberg: Springer, 2007.-Vol. 4408.-233 p.-(Lecture Notes in Computer Science). 36. Architecting Dependable Systems IV/Ed. by Lemos R.De, C.Gacek, A.Romanovsky. -Berlin, Heidelberg: Springer, 2007.-Vol. 4615. -435 p.-(Lecture Notes in Computer Science). 37. Algorithms in Bioinformatics: Proc./7th International Workshop, WABI 2007. Philadelphia, PA, USA, September 2007/Ed. by R.Giancarlo, S.Hannenhalli.-Berlin, Heidelberg: Springer, 2007.-Vol. 4645.-432 p.-(Lecture Notes in Bioinformatics). 38. Frontiers of Combining Systems: Proc./6th International Symposium, FroCoS 2007. Liverpool, UK, September 2007/Ed. by B.Konev, F.Wolter.-Berlin, Heidelberg: Springer, 2007.-Vol. 4720.-283 p.-(Lecture Notes in Artificial Intelligence). 39. AI*IA 2007: Artificial Intelligence and Human-Oriented Computing: Proc./10th Congress of the Italian Association for Artificial Intelligence. Rome, Italy, September 2007/Ed. by R.Basili, M.T.Pazienza.-Berlin, Heidelberg: Springer, 2007.-Vol. 4733.-859 p.-(Lecture Notes in Artificial Intelligence). 40. Computational Intelligence and Security: Revised Selected Papers/International Conference, CIS 2006. Guangzhou, China, November 2006/Ed. by Y.Wang, Y.-M.Cheung, H.Liu.-Berlin, Heidelberg: Springer, 2007. -Vol. 4456.-1118 p.-(Lecture Notes in Artificial Intelligence). 41. Text, Speech, and Dialogue: Proc./10th International Conference, TSD 2007. Pilsen, Czech Republic, September 2007/Ed. by V.Matousek, P.Mautner.-Berlin, Heidelberg: Springer, 2007.-Vol. 4629.-663 p.-(Lecture Notes in Artificial Intelligence). 42. Holonic and Multi-Agent Systems for Manufacturing: Proc./3rd Intl Conference on Industrial Applications of Holonic and MA Systems, HoloMAS 2007. Regensburg, Germany, September 2007/Ed. by V.Marik, V.Vyatkin, A.W.Colombo.-Berlin, Heidelberg: Springer, 2007.-Vol. 4659.-456 p.-(Lecture Notes in Artificial Intelligence). 43. Anticipatory Behavior in Adaptive Learning Systems: From Brains to Individual and Social Behavior/Ed. by M.V.Butz, O.Sigaud, G.Pezzulo, G.Baldassarre.-Berlin, Heidelberg: Springer, 2007.-Vol. 4520.-379 p. -(Lecture Notes in Artificial Intelligence). 44. Speaker Classification I: Fundamentals, Features, and Methods/Ed. by Ch.Mueller. -Berlin, Heidelberg: Springer, 2007.-Vol. 4343. -355 p.-(Lecture Notes in Artificial Intelligence). 45. Speaker Classification II: Selected Projects/Ed. by Ch.Mueller.-Berlin, Heidelberg: Springer, 2007.-Vol. 4441.-309 p. -(Lecture Notes in Artificial Intelligence). 46. Computational Discovery of Scientific Knowledge: Introduction, Techniques, and Applications in Environmental and Life Sciences/Ed. by S.Dzeroski, L.Todorovski. -Berlin, Heidelberg: Springer, 2007.-Vol. 4660. -329 p.-(Lecture Notes in Artificial Intelligence).