Hовые поступления в библиотеку с 3 ноября по 1 декабря 2003 года
1. Agents and Peer-to-Peer Computing: Proc./First Intern. Workshop, AP2PC 2002, Bologna, Italy, July 2002/Ed. by G.Moro, M.Koubarakis.-Berlin, Heidelberg: Springer, 2003. -Vol. 2530.-171 p.-(Lecture Notes in Artificial Intelligence). 2. Peer-to-Peer Systems II: Proc./Second Intern. Workshop, IPTPS 2003, Berkeley, CA, USA, February 2003/Ed. by F.Kaashoek, I.Stoica.-Berlin, Heidelberg: Springer, 2003. -Vol. 2735.-316 p.-(Lecture Notes in Artificial Intelligence). 3. Knowledge Discovery in Databases - PKDD 2003: Proc./7th European Conf. on Principles and Practice of Knowledge Discovery in Databases, Cavtat-Dubrovnik, Croatia, September 2003/Ed. by N.Lavrac, D.Gamberger, L.Todorovski, H.Blockeel. -Berlin, Heidelberg: Springer, 2003.-Vol. 2838.-508 p. -(Lecture Notes in Artificial Intelligence). 4. New Horizons in Information Management: Proc./20th British National Conf. on Databases, BHCOD 20, Coventry, UK, July 2003/Ed. by A.James, B.Lings, M.Younas.-Berlin, Heidelberg: Springer, 2003.-Vol. 2712.-281 p.-(Lecture Notes in Computer Science). 5. Advances in Spatial and Temporal Databases: Proc./8th Intern. Symp., SSTD 2003, Santorini Island, Greece, July 2003 /Ed. by T.Hadzilacos, Y.Manolopoulos, J.F.Roddick, Y.Theodoridis.-Berlin, Heidelberg: Springer, 2003.-Vol. 2750. -525 p.-(Lecture Notes in Computer Science). 6. Extreme Programming and Agile Methods - XP/Agile Universe 2003: Proc./Third XP Agile Universe Conf., New Orleans, LA, USA, August 2003/Ed. by F.Maurer, D.Wells. -Berlin, Heidelberg: Springer, 2003.-Vol. 2753.-215 p. -(Lecture Notes in Computer Science). 7. Parallel Computing Technologies: Proc./7th Intern. Conf., PaCT 2003, Nizhni Novgorod, Russia, September 2003/ Ed. by V.Malyshkin.-Berlin, Heidelberg: Springer, 2003. -Vol. 2763.-570 p.-(Lecture Notes in Computer Science). 8. Architectures for Quality of Service in the Internet: Proc./Intern. Workshop, Art-QoS 2003, Warsaw, Poland, March 2003/Ed. by W.Burakowski, B.Koch, A.Beben.-Berlin, Heidelberg: Springer, 2003.-Vol. 2698.-305 p.-(Lecture Notes in Computer Science). 9. Groupware - Design, Implementation, and Use: Proc./9th Intern. Workshop, CRIWG 2003, Autrans, France, September-October 2003/Ed. by J.Favela, D.Decouchant. -Berlin, Heidelberg: Springer, 2003.-Vol. 2806.-382 p. -(Lecture Notes in Computer Science). 10. Management of Multimedia Networks and Services: Proc./6th IFIP/IEEE Intern. Conf., MMNS 2003, Belfast, Northern Ireland, UK, September 2003/Ed. by A.Marshall, N.Agoulmine.-Berlin, Heidelberg: Springer, 2003.-Vol. 2839. -532 p.-(Lecture Notes in Computer Science). 11. Visual Content Processing and Representation: Proc./8th Intern. Workshop, VLBV 2003, Madrid, Spain, September 2003/ Ed. by N.Garcia, J.M.Martinez, L.Salgado.-Berlin, Heidelberg: Springer, 2003.-Vol. 2849.-352 p.-(Lecture Notes in Computer Science). 12. Lindell Y. Composition of Secure Multi-Party Protocols: A Comprehensive Study.- Berlin, Heidelberg: Springer, 2003.- 192 p.-(Lecture Notes in Computer Science; Vol. 2815). -Bibliogr.: p.185-189. 13. Formal Methods for Software Architectures: Advanced Lectures/Third Intern. School on Formal Methods for the Design of Computer, Communication and Software Systems - Software Architectures, SFM 2003, Bertinoro, Italy, September 2003/Ed. by B.Bernardo, P.Inverardi.-Berlin, Heidelberg: Springer, 2003.-Vol. 2804.-287 p.-(Lecture Notes in Computer Science). 14. Algorithms - ESA 2003: Proc./11th Annual European Symp., Budapest, Hungary, September 2003/Ed. by Di Battista G., U.Zwick.-Berlin, Heidelberg: Springer, 2003.-Vol. 2832. -790 p.-(Lecture Notes in Computer Science). 15. Advances in Computer Systems Architecture: Proc./8th Asia-Pacific Conf., ACSAC 2003, Aizu-Wakamatsu, Japan, September 2003/Ed. by A.Omondi, S.Sedukhin.-Berlin, Heidelberg: Springer, 2003.-Vol. 2823.-409 p.-(Lecture Notes in Computer Science). 16. AI*IA 2003 - Advances in Artificial Intelligence: Proc./8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 2003/Ed. by A.Cappelli, F.Turini.-Berlin, Heidelberg: Springer, 2003. -Vol. 2829.-552 p.-(Lecture Notes in Artificial Intelligence). 17. Inductive Logic Programming: Proc./13th Intern. Conf., ILP 2003, Szeged, Hungary, September-October 2003/Ed. by T.Horvath, A.Yamamoto.-Berlin, Heidelberg: Springer, 2003. -Vol. 2835.-401 p.-(Lecture Notes in Artificial Intelligence). 18. Information and Communications Security: Proc./5th Intern. Conf., ICICS 2003, Huhehaote, China, October 2003/ Ed. by S.Qing, D.Gollmann, J.Zhon.-Berlin, Heidelberg: Springer, 2003.-Vol. 2836.-416 p.-(Lecture Notes in Computer Science). 19. Modular Programming Languages: Proc./Joint Modular Languages Conf., JMLC 2003, Klagenfurt, Austria, August 2003/ Ed. by L.Boszormenyi, P.Schojer.-Berlin, Heidelberg: Springer, 2003.-Vol. 2789.-271 p.-(Lecture Notes in Computer Science). 20. Information Security: Proc./6th Intern. Conf., ISC 2003, Bristol, UK, October 2003/Ed. by C.Boyd, W.Mao. -Berlin, Heidelberg: Springer, 2003.-Vol. 2851.-443 p. -(Lecture Notes in Computer Science). 21. Knowledge-Based Intelligent Information and Engineering Systems: Proc./7th Intern. Conf., KES 2003, Oxford, UK, September 2003. Part II/Ed. by V.Palade, R.J.Howlett, L.Jain. -Berlin, Heidelberg: Springer, 2003.-Vol. 2774.-1443 p. -(Lecture Notes in Artificial Intelligence). 22. Text, Speech and Dialogue: Proc./6th Intern. Conf., TSD 2003, Ceske Budejovice, Czech Republic, September 2003/Ed. by V.Matousek, P.Mautner.-Berlin, Heidelberg: Springer, 2003. -Vol. 2807.-426 p.-(Lecture Notes in Artificial Intelligence). 23. Empirical Methods and Studies in Software Engineering: Experiences from ESERNET/Ed. by R.Conradi, A.I.Wang. -Berlin, Heidelberg: Springer, 2003.-Vol. 2765.-279 p. -(Lecture Notes in Computer Science). 24. Pattern Recognition: Proc./25th DAGM Symp., Magdeburg, Germany, September 2003/Ed. by B.Michaelis, G.Krell. -Berlin, Heidelberg: Springer, 2003.-Vol. 2781.-621 p. -(Lecture Notes in Computer Science). 25. Integrated Circuit and System Design - Power and Timing Modeling, Optimization and Simulation: Proc./13th Intern. Workshop, PATMOS 2003, Turin, Italy, September 2003/Ed. by J.J.Chico, E.Macii.-Berlin, Heidelberg: Springer, 2003.-Vol. 2799.-631 p.-(Lecture Notes in Computer Science). 26. Theoretical Computer Science: Proc./8th Italian Conf., ICTCS 2003, Bertinoro, Italy, October 2003/Ed. by C.Blundo, C.Laneve.-Berlin, Heidelberg: Springer, 2003.-Vol. 2841.-397 p.-(Lecture Notes in Computer Science). 27. Machine Learning - ECML 2003: Proc./14th European Conf. on Machine Learning, Cavtat-Dubrovnik, Croatia, September 2003/Ed. by N.Lavrac, D.Gamberger, H.Blockeel, L.Todorovski. -Berlin, Heidelberg: Springer, 2003.-Vol. 2837.-504 p. -(Lecture Notes in Artificial Intelligence). 28. Logic for Programming Artificial Intelligence, and Reasoning: Proc./10th Intern. Conf., LPAR 2003, Almaty, Kazakhstan, September 2003/Ed. by M.Y.Vardi, A.Voronkov. -Berlin, Heidelberg: Springer, 2003.-Vol. 2850.-437 p. -(Lecture Notes in Artificial Intelligence). 29. Advances in Databases and Implementation Systems: Proc./7th East European Conf., ADBIS 2003, Dresden, Germany, September 2003/Ed. by L.Kalinichenko, R.Manthey, B.Thalheim, U.Wloka.-Berlin, Heidelberg: Springer, 2003. -Vol. 2798.-431 p.-(Lecture Notes in Computer Science). 30. Applied Cryptography and Network Security: Proc./First Intern. Conf., ACNS 2003, Kunming, China, October 2003/Ed. by J.Zhou, M.Yung, Y.Han.-Berlin, Heidelberg: Springer, 2003. -Vol. 2846.-436 p.-(Lecture Notes in Computer Science). 31. Object-Oriented Information Systems: Proc./9th Intern. Conf., OOIS 2003, Geneva, Switzerland, September 2003/Ed. by D.Konstantas, M.Leonard, Y.Pigneur, S.Patel.-Berlin, Heidelberg: Springer, 2003.-Vol. 2817.-426 p.-(Lecture Notes in Computer Science). 32. Medical Data Analysis: Proc./4th Intern. Symp., ISMDA 2003, Berlin, Germany, October 2003/Ed. by P.Perner, R.Brause, H.-G.Holzhutter.-Berlin, Heidelberg: Springer, 2003. -Vol. 2868.-127 p.-(Lecture Notes in Computer Science). 33. Mobile Agents for Telecommunication Applications: Proc./5th Intern. Workshop, MATA 2003, Marrakech, Morocco, October 2003/Ed. by E.Horlait, T.Magedanz, R.H.Glitho. -Berlin, Heidelberg: Springer, 2003.-Vol. 2881.-297 p. -(Lecture Notes in Computer Science). 34. Software and Compilers for Embedded Systems: Proc./7th Intern. Workshop, SCOPES 2003, Vienna, Austria, September 2003/Ed. by A.Krall.-Berlin, Heidelberg: Springer, 2003. -Vol. 2826.-403 p.-(Lecture Notes in Computer Science). 35. Generative Programming and Component Engineering: Proc./Second Intern. Conf., GPCE 2003, Erfurt, Germany, September 2003/Ed. by F.Pfenning, Y.Smaragdakis.-Berlin, Heidelberg: Springer, 2003.-Vol. 2830.-397 p.-(Lecture Notes in Computer Science). 36. Advanced Parallel Processing Technologies: Proc./5th Intern. Workshop, APPT 2003, Xiamen, China, September 2003/ Ed. by X.Zhou, S.Jahnichen, M.Xu, J.Cao.-Berlin, Heidelberg: Springer, 2003.-Vol. 2834.-679 p.-(Lecture Notes in Computer Science). 37. Databases in Networked Information Systems: Proc./Third Intern. Workshop, DNIS 2003, Aizu, Japan, September 2003/Ed. by N.Bianchi-Berthouse.-Berlin, Heidelberg: Springer, 2003. -Vol. 2822.-271 p.-(Lecture Notes in Computer Science). 38. Advanced in Artifcial Life: Proc./7th European Conf., ECAL 2003, Dortmund, Germany, September 2003/Ed. by W.Banzhaf, T.Christaller, P.Dittrich, J.T.Kim.-Berlin, Heidelberg: Springer, 2003.-Vol. 2801.-905 p.-(Lecture Notes in Artificial Intelligence). 39. Foundations of Intelligent Systems: Prpc./14th Intern. Symp., ISMIS 2003, Maebashi City, Japan, October 2003/Ed. by N.Zhong, Z.W.Ras, S.Tsumoto, E.Suzuki.-Berlin, Heidelberg: Springer, 2003.-Vol. 2871.-697 p.-(Lecture Notes in Artificial Intelligence). 40. Algorithmic Learning Theory: Proc./14th Intern. Conf., ALT 2003, Sapporo, Japan, October 2003/Ed. by R.Gavalda, K.P.Jantke, E.Takimoto.-Berlin, Heidelberg: Springer, 2003. -Vol. 2842.-313 p.-(Lecture Notes in Artificial Intelligence). 41. Modeling with Words: Learning, Fusion, and Reasoning within a Formal Linguistic Representation Framework/Ed. by J.Lawry, J.Shanahan, A.Ralescu.-Berlin, Heidelberg: Springer, 2003.-Vol. 2873.-229 p.-(Lecture Notes in Artificial Intelligence). 42. Intelligent Agents and Multi-Agent Systems: Proc./6th Pacific Rim Intern. Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 2003/Ed. by J.Lee, M.Barley.-Berlin, Heidelberg: Springer, 2003.-Vol. 2891.-215 p.-(Lecture Notes in Artificial Intelligence). 43. Cryptographic Hardware and Embedded Systems - CHES 2003: Proc./5th Intern. Workshop, Cologne, Germany, September 2003/Ed. by C.D.Walter, C.K.Koc, C.Paar.-Berlin, Heidelberg: Springer, 2003.-Vol. 2779.-441 p.-(Lecture Notes in Computer Science). 44. Spatial Information Theory - Foundations of Geographic Information Science: Proc./Intern. Conf., COSIT 2003, Kartause Ittingen, Switzerland, September 2003/Ed. by W.Kuhn, M.Worboys, S.Timpf.-Berlin, Heidelberg: Springer, 2003.-Vol. 2825.-399 p.-(Lecture Notes in Computer Science). 45. Medical Image Computing and Computer-Assissted Intervention - MICCAI 2003: Proc./6th Intern. Conf.,Montreal, Canada, November 2003. Part I/Ed. by R.E.Ellis, T.M.Peters.-Berlin, Heidelberg: Springer, 2003. -Vol. 2878.-819 p.-(Lecture Notes in Computer Science). 46. Medical Image Computing and Computer-Assisted Intervention - MICCAI 2003: Proc./6th Intern. Conf., Montreal, Canada, November 2003. Part II/Ed. by R.E.Ellis, T.M.Peters.-Berlin, Heidelberg: Springer, 2003.-Vol. 2879. -1003 p.-(Lecture Notes in Computer Science). 47. Graph-Theoretic Concepts in Computer Science: Revised Papers/29th Intern. Workshop, WG 2003, Elspeet, The Netherlands, June 2003/Ed. by H.L.Bodlaender.-Berlin, Heidelberg: Springer, 2003.-Vol. 2880.-386 p.-(Lecture Notes in Computer Science). 48. Fast Software Encryption: Revised Papers/10th Intern. Workshop, FSE 2003, Lund, Sweden, February 2003/Ed. by T.Johansson.-Berlin, Heidelberg: Springer, 2003.-Vol. 2887. -397 p.-(Lecture Notes in Computer Science). 49. Башкин В.А. Бисимуляция ресурсов в сетях Петри: Автореф. дис... канд. физ.-мат. наук: 05.13.17.-Ярославль, 2003.-22 с.-Библиогр.: c.22. 50. Поженко М.А. Алгоритмическое обеспечение для маршрутизации с поддержкой качества обслуживания данных в беспроводных вычислительных сетях: Автореф. дис. канд. техн. наук: 05.13.11.-Томск, 2003.-20 с.-Библиогр.: c.19-20. 51. Ковалев С.П. Анализ распределенных вычислительных систем с применением теоретико-модельных методов: Автореф. дис... канд. физ.-мат. наук: 05.13.11.-Новосибирск, 2003.-22 с.-Библиогр.: c.22. 52. Artificial Intelligence in Medicine: Proc./9th Conf. on Artificial Intelligence in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 2003/Ed. by M.Dojat, E.Keravnou, P.Barahona.-Berlin, Heidelberg: Springer, 2003.-Vol. 2780. -388 p.-(Lecture Notes in Artificial Intelligence). 53. Automated Reasoning with Analytic Tableaux and Related Methods: Proc./Intern. Conf., TABLEAUX 2003, Rome, Italy, September 2003/Ed. by M.C.Mayer, F.Pirri.-Berlin, Heidelberg: Springer, 2003.-Vol. 2796.-271 p.-(Lecture Notes in Artificial Intelligence). 54. Biomedical Image Registration: Revised Papers/Second Intern. Workshop, WBIR 2003, Philadelphia, PA, USA, June 2003 /Ed. by J.C.Gee, J.B.A.Maintz, M.W.Vannier.-Berlin, Heidelberg: Springer, 2003.-Vol. 2717.-410 p.-(Lecture Notes in Computer Science). 55. Generic Programming. Advanced Lectures/Ed. by R.Backhouse, J.Gibbons.-Berlin, Heidelberg: Springer, 2003. -Vol. 2793.-223 p.-(Lecture Notes in Computer Science). 56. Computer Security - ESORICS 2003: Proc./8th European Symp. on Research in Computer Security, Gjovik, Norway, October 2003/Ed. by E.Snekkenes, D.Gollmann.-Berlin, Heidelberg: Springer, 2003.-Vol. 2808.-345 p.-(Lecture Notes in Computer Science). 57. Quality for All: Proc./4th COST 263 Intern. Workshop on Quality of Future Internet Services, QoFIS 2003, Stockholm, Sweden, October 2003/Ed. by G.Karlsson, M.L.Smirnov. -Berlin, Heidelberg: Springer, 2003.-Vol. 2811.-295 p. -(Lecture Notes in Computer Science). 58. "UML" 2003 - The Unified Modeling Language - Modeling Languages and Applications: Proc./6th Intern. Conf., San Francisco, CA, USA, October 2003/Ed. by P.Stevens, J.Whittle, G.Booch.-Berlin, Heidelberg: Springer, 2003.-Vol. 2863.-415 p.-(Lecture Notes in Computer Science).