Библиотека

Мемориальная библиотека им. А.П. Ершова

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).