Библиотека

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

Hовые поступления с 1 декабря по 23 декабря 2003 года


  1. WEBKDD 2002 - Mining Web Data for
Discovering Usage Patterns and Profiles:
Revised Papers/4th Intern. Workshop,
Edmonton, Canada, July 2002/Ed. by
O.R.Zaiane, J.Srivastava, M.Spiliopoulou,
B.Masand.-Berlin, Heidelberg: Springer, 2003.
-Vol. 2703.-181 p.-(Lecture Notes in
Artificial Intelligence).

  2. Mining Multimedia and Complex Data:
Revised Papers/KDD Workshop MDM/KDD 2002,
PAKDD Workshop KDMCD 2002/Ed. by  O.Z.Zaiane,
S.J.Simoff, C.Djeraba.-Berlin, Heidelberg:
Springer, 2003.-Vol. 2797.-281 p.-(Lecture
Notes in Artificial Intelligence).

  3. Multiagent System Technologies:
Proc./First German Conf., MATES 2003, Erfert,
Germany, September 2003/Ed. by  M.Schillo,
M.Klusch, J.Miller, H.Tianfield.-Berlin,
Heidelberg: Springer, 2003.-Vol. 2831.-229 p.
-(Lecture Notes in Artificial Intelligence).

  4. Schmid U. Inductive Synthesis of
Functional Programs: Universal Planing,
Folding of Finite Programs, and Schema
Abstraction by Analogical Reasoning.- Berlin,
Heidelberg: Springer, 2003.- 398 p.-(Lecture
Notes in Artificial Intelligence; Vol. 2654).
-Bibliogr.: p.327-340.

  5. Hoffmann J. Utilizing Problem Structure
in Planning: A Local Search Approach.-
Berlin, Heidelberg: Springer, 2003.- 251 p.
-(Lecture Notes in Artificial Intelligence;
Vol. 2854).-Bibliogr.: p.245-247.

  6. Practice and Theory of Automated
Timetabling IV: Proc./4th Intern. Conf.,
PATAT 2002, Gent, Belgium, August 2002/Ed. by
E.Burke, De Causmaecker P.-Berlin, Heidelberg:
 Springer, 2003.-Vol. 2740.-361 p.-(Lecture
Notes in Computer Science).

  7. Advances in Cross-Language Information
Retrieval: Revised Papers/Third Workshop of
the Cross-Language Evaluation Forum, CLIFF
2002, Rome, Italy, September 2002/Ed. by
C.Peters, M.Braschler, J.Gonzalo, M.Kluck.
-Berlin, Heidelberg: Springer, 2003.-Vol. 2785.
-828 p.-(Lecture Notes in Computer Science).

  8. Computer Aided Systems Theory - EUROCAST
2003: Proc./9th Intern. Workshop on Computer
Aided Systems Theory, Las Palmas de Gran
Canaria, Spain, February 2003/Ed. by
R.Moreno-Diaz, F.Pichler.-Berlin, Heidelberg:
Springer, 2003.-Vol. 2809.-672 p.-(Lecture
Notes in Computer Science).

  9. Recent Advances in Intrusion Detection:
Proc./6th Intern. Symp., RAID 2003,
Pittsburgh, PA, USA, September 2003/Ed. by
G.Vigna, E.Jonsson, C.Kruegel.-Berlin,
Heidelberg: Springer, 2003.-Vol. 2820.-239 p.
-(Lecture Notes in Computer Science).

 10. Stochastic Algorithms - Foundations and
Applications: Proc./Second Intern. Symp.,
SAGA 2003, Hatfield, UK, September 2003/Ed.
by  A.Albrecht, K.Steinhofel.-Berlin,
Heidelberg: Springer, 2003.-Vol. 2827.-167 p.
-(Lecture Notes in Computer Science).

 11. Communications and Multimedia Security:
Proc./7th IFIP-TC6 TC11 Intern. Conf., CMS
2003, Torino, Italy, October 2003/Ed. by
A.Lioy, D.Mazzocchi.-Berlin, Heidelberg:
Springer, 2003.-Vol. 2828.-265 p.-(Lecture
Notes in Computer Science).

 12. Dependable Computing: Proc./First
Latin-Americal Symp., LADC 2003, Sao Paulo,
Brazil, October 2003/Ed. by  De Lemos R.,
T.S.Weber, J.B.Camargo.-Berlin, Heidelberg:
Springer, 2003.-Vol. 2847.-371 p.-(Lecture
Notes in Computer Science).

 13. Distributed Computing: Proc./17th
Intern. Conf., DISC 2003, Sorrento, Italy,
October 2003/Ed. by  F.E.Fich.-Berlin,
Heidelberg: Springer, 2003.-Vol. 2848.-367 p.
-(Lecture Notes in Computer Science).

 14. Web Services - ICWS-Europe 2003:
Proc./Intern. Conf. ICWS-Europe 2003, Erfurt,
Germany, September 2003/Ed. by  M.Jeckle,
Zhang L.-J.-Berlin, Heidelberg: Springer, 2003.
-Vol. 2853.-227 p.-(Lecture Notes in Computer
Science).

 15. Embedded Software: Proc./Third Intern.
Conf., EMSOFT 2003, Philadelphia, PA, USA,
October 2003/Ed. by  R.Alur, I.Lee.-Berlin,
Heidelberg: Springer, 2003.-Vol. 2855.-373 p.
-(Lecture Notes in Computer Science).

 16. Quality of Future Internet Services:
COST Action 263 Final Report/Ed. by  M.Smirnov.
-Berlin, Heidelberg: Springer, 2003.-Vol. 2856.
-293 p.-(Lecture Notes in Computer Science).

 17. String Processing and Information
Retrieval: Proc./10th Intern. Symp., SPIRE
2003, Manaus, Brazil, October 2003/Ed. by
M.A.Nascimento, De Moura E.S., A.L.Oliveira.
-Berlin, Heidelberg: Springer, 2003.-Vol. 2857.
-379 p.-(Lecture Notes in Computer Science).

 18. Correct Hardware Design and Verification
Methods: Proc./12th IFIP WG 10.5 Advanced
Research Working Conf., CHARME 2003,
L'Aquila, Italy, October 2003/Ed. by
D.Geist, E.Tronci.-Berlin, Heidelberg:
Springer, 2003.-Vol. 2860.-426 p.-(Lecture
Notes in Computer Science).

 19. Ad-Hoc, Mobile, and Wireless Networks:
Proc./Second Intern. Conf., ADHOC-NOW 2003,
Montreal, Canada, October 2003/Ed. by
S.Pierre, M.Barbeau, E.Kranakis.-Berlin,
Heidelberg: Springer, 2003.-Vol. 2865.-293 p.
-(Lecture Notes in Computer Science).

 20. Self-Managing Distributed Systems:
Proc./14th IFIP/IEEE Intern. Workshop on
Distributed Systems - Opeartions and
Management, DSOM 2003, Heidelberg, Germany,
October 2003/Ed. by  M.Brunner, A.Keller.
-Berlin, Heidelberg: Springer, 2003.-Vol. 2867.
-274 p.-(Lecture Notes in Computer Science).

 21. Computer and Information Sciences -
ISCIS 2003: Proc./18th Intern. Symp.,
Antalya, Turkey, November 2003/Ed. by
A.Yazici, C.Sener.-Berlin, Heidelberg:
Springer, 2003.-Vol. 2869.-1110 p.-(Lecture
Notes in Computer Science).

 22. Personal Wireless Communications:
Proc./IFIP-TC6 8th Intern. Conf., PWC 2003,
Venice, Italy, September 2003/Ed. by
M.Conti, S.Giordano, E.Gregori, S.Olariu.
-Berlin, Heidelberg: Springer, 2003.-Vol. 2775.
-855 p.-(Lecture Notes in Computer Science).

 23. Discovery Science: Proc./6th Intern.
Conf., DS 2003, Sapporo, Japan, October 2003/
Ed. by  G.Grieser, Y.Tanaka, A.Yamamoto.
-Berlin, Heidelberg: Springer, 2003.-Vol. 2843.
-504 p.-(Lecture Notes in Artificial
Intelligence).

 24. Information Networking - Networking
Technologies for Enhanced Internet Services:
Proc./Intern. Conf., ICOIN 2003, Cheju
Island, Korea, February 2003/Ed. by
H.-K.Kahng.-Berlin, Heidelberg: Springer, 2003.
-Vol. 2662.-1032 p.-(Lecture Notes in
Computer Science).

 25. Field-Programmable Logic and
Applications: Proc./13th Intern. Conf., FPI
2003, Lisbon, Portugal, September 2003/Ed. by
P.Y.K.Cheung, G.A.Constantinidis, De Sousa
J.T.-Berlin, Heidelberg: Springer, 2003.-Vol.
2778.-1179 p.-(Lecture Notes in Computer
Science).

 26. Computer Safety, Reliability, and
Security: Proc./22nd Intern. Conf., SAFECOMP
2003, Edinburgh, UK, September 12003/Ed. by
S.Anderson, M.Felici, B.Littlewood.-Berlin,
Heidelberg: Springer, 2003.-Vol. 2788.-426 p.
-(Lecture Notes in Computer Science).

 27. Conceptual Modeling - ER 2003:
Proc./22nd Intern. Conf. on Conceptual
Modeling, Chicago, IL, USA, October 2003/Ed.
by  Il-Y.Song, S.W.Liddle, T.W.Ling,
P.Scheuermann.-Berlin, Heidelberg: Springer,
2003.-Vol. 2813.-584 p.-(Lecture Notes in
Computer Science).

 28. Technologies for E-Services: Proc./4th
Intern. Workshop, TES 2003, Berlin, Germany,
September 2003/Ed. by  B.Benatallah, M.-C.Shan.
-Berlin, Heidelberg: Springer, 2003.-Vol. 2819.
-203 p.-(Lecture Notes in Computer Science).

 29. Innovative Internet Community Systems:
Proc./Third Intern. Workshp, IICL 2003,
Leipzig, Germany, June 2003/Ed. by  T.Bohme,
G.Heyer, H.Unger.-Berlin, Heidelberg: Springer,
 2003.-Vol. 2877.-263 p.-(Lecture Notes in
Computer Science).

 30. Computer Network Security: Proc./Second
Intern. Workshop on Mathematical Methods,
Models, and Architectures for Computer
Network Security MMM-ACNS 2003,
St.Petersburg, Russia, September 2003/Ed. by
V.Gorodetsky, L.Popyack, V.Skormin.-Berlin,
Heidelberg: Springer, 2003.-Vol. 2776.-470 p.
-(Lecture Notes in Computer Science).

 31. Journal on Data Semantics I/Ed. by
S.Spaccapietra, S.March, K.Aberer.-Berlin,
Heidelberg: Springer, 2003.-Vol. 2800.-233 p.
-(Lecture Notes in Computer Science).

 32. High Performance Computing: Proc./5th
Intern. Symp., ISHPC 2003, Tokyo-Odaiba,
Japan, October 2003/Ed. by  A.Veidenbaum,
K.Joe, H.Amano, H.Aiso.-Berlin, Heidelberg:
Springer, 2003.-Vol. 2858.-566 p.-(Lecture
Notes in Computer Science).

 33. The Semantic Web - ISWC 2003:
Proc./Second Intern. Semantic Web Conf.,
Sanibel Island, FL, USA, October 2003/Ed. by
D.Fensel, K.Sycara, J.Mylopoulos.-Berlin,
Heidelberg: Springer, 2003.-Vol. 2870.-931 p.
-(Lecture Notes in Computer Science).

 34. Distributed Applications and
Interoperable Systems: Proc./4th IFIP WG 6.1
Intern. Conf., DAIS 2003, Paris, France,
November 2003/Ed. by  J.-B.Stefani,
I.Demeure, D.Hagimont.-Berlin, Heidelberg:
Springer, 2003.-Vol. 2893.-311 p.-(Lecture
Notes in Computer Science).

 35. Гиндикин С.Г. Рассказы о физиках и
математиках.- М.: Наука, 1981.- 192 с.
-(Библиотечка "Квант"; Вып. 14).

 36. Заочные математические олимпиады.Н.Б.
Васильев, В.Л. Гутенмахер, Ж.М. Раббот и др.. .
- М.: Наука, 1981.- 128 с.-Библиогр.:
c.123-127.

 37. Курляндчик Я.М. Версионные текстовые
файлы и средства их редактирования.
-Новосисбирск, 1988.-10 с.-(Препринт/НФ ИТМ и
ВТ; N 7).

 38. Interactive Systems - Design,
Specification, and Verification: Proc./10th
Intern. Workshop, DSV-IS 2003, Funchal,
Madeira Island, Portugal, June 2003/Ed. by
J.A.Jorge, N.J.Nunes, E Cunha J.F.-Berlin,
Heidelberg: Springer, 2003.-Vol. 2844.-429 p.
-(Lecture Notes in Computer Science).

 39. Digital Rights Management:
Technological, Economic, Legal and Political
Aspects/Ed. by  E.Becker, W.Buhse,
D.Gunnewig, N.Rump.-Berlin, Heidelberg:
Springer, 2003.-Vol. 2770.-805 p.-(Lecture
Notes in Computer Science).

 40. Computers and Games: Proc./Third Intern.
Conf., CG 2002, Edmonton, Canada, July 2002/
Ed. by  J.Schaeffer, M.Muller, Y.Bjornsson.
-Berlin, Heidelberg: Springer, 2003.-Vol. 2883.
-431 p.-(Lecture Notes in Computer Science).

 41. Discrete Geometry for Computer Imagery:
Proc./11th Intern. Conf., DGCI 2003, Naples,
Italy, November 2003/Ed. by  I.Nystrom, Di
Baja G.S., S.Svensson.-Berlin, Heidelberg:
Springer, 2003.-Vol. 2886.-556 p.-(Lecture
Notes in Computer Science).

 42. Virtual Storytelling - Using Virtual
Reality Technologies for Storytelling:
Proc./Second Intern. Conf., ICVS 2003,
Toulouse, Franse, November 2003/Ed. by
O.Balet, G.Subsol, P.Torguet.-Berlin,
Heidelberg: Springer, 2003.-Vol. 2897.-240 p.
-(Lecture Notes in Computer Science).

 43. Ineractive Multimedia on Next Generation
Networks: Proc./First Intern. Workshop on
Multimedia Interactive Protocols and Systems,
MIPS 2003, Naples, Italy, November 2003/Ed.
by  G.Ventre, R.Canonico.-Berlin, Heidelberg:
Springer, 2003.-Vol. 2899.-420 p.-(Lecture
Notes in Computer Science).

 44. Intelligent Search on XML Data:
Applications, Languages, Models,
Implementations, and Benchmarks/Ed. by
H.Blanken, T.Grabs, H-J.Schek, R.Schenkel.
-Berlin, Heidelberg: Springer, 2003.-Vol. 2818.
-319 p.-(Lecture Notes in Computer Science).
-Bibliogr.: p. 295-314.

 45. Job Scheduling Strategies for Parallel
Processing: Proc./9th Intern. Workshop, JSSPP
2003, Seattle, WA, USA, June 2003/Ed. by
D.Feitelson, L.Rudolph, U.Schwiegelshohn.
-Berlin, Heidelberg: Springer, 2003.-Vol. 2862.
-269 p.-(Lecture Notes in Computer Science).

 46. On the Move to Meaningful Internet
Systems 2003 - CoopIS, DOA, and ODBASE:
Proc./OTM Confederated Intern. Conf. CoopIS,
DOA, and ODBASE 2003, Catania, Sicily, Italy,
November 2003/Ed. by  R.Meersman, Z.Tari,
D.S.Schmidt.-Berlin, Heidelberg: Springer,
2003.-Vol. 2888.-1546 p.-(Lecture Notes in
Computer Science).

 47. Advanced Conceptual Modeling Techniques:
Proc./ER 2002 Workshops - ECDM, MoblMod,
IWCMQ, and eCOMO, Tampere, Finland, October
2002/Ed. by  A.Olive, M.Yoshikawa, E.S.K. Yu.
-Berlin, Heidelberg: Springer, 2003.-Vol. 2784.
-452 p.-(Lecture Notes in Computer Science).

 48. Global Optimization and Constraint
Satisfaction: Proc./First Intern. Workshop on
Global Constraint Optimization and Constraint
Satisfaction, COCOS 2002, Valbonne-Sophia
Antipolis, France, October 2002/Ed. by
B.Bliek, C.Jermann, A.Neumaier.-Berlin,
Heidelberg: Springer, 2003.-Vol. 2861.-239 p.
-(Lecture Notes in Computer Science).

 49. Formal Methods for Open Object-Based
Distributed Systems: Proc./6th IFIP WG 6.1
Intern. Conf., FMOODS 2003, Paris, France,
November 2003/Ed. by  E.Najm, U.Nestmann,
P.Stevens.-Berlin, Heidelberg: Springer, 2003.
-Vol. 2884.-293 p.-(Lecture Notes in Computer
Science).

 50. Advances in Cryptology - ASIACRYPT 2003:
Proc./9th Intern. Conf. on the Theory and
Application of Cryptology and Information
Security, Taipei, Taiwan, November-December
2003/Ed. by  C.S.Laih.-Berlin, Heidelberg:
Springer, 2003.-Vol. 2894.-543 p.-(Lecture
Notes in Computer Science).

 51. Programming Languages and Systems:
Proc./First Asian Symp., APLAS 2003, Beijing,
China, November 2003/Ed. by  A.Ohori.-Berlin,
Heidelberg: Springer, 2003.-Vol. 2895.-427 p.
-(Lecture Notes in Computer Science).

 52. Progress in Pattern Recognition, Speech
and Image Analysis: Proc./8th Iberoamerican
Congress on Pattern Recognition, CIARP 2003,
Havana, Cuba, November 2003/Ed. by
A.Sanfeliu, J.Ruiz-Shulcloper.-Berlin,
Heidelberg: Springer, 2003.-Vol. 2905.-693 p.
-(Lecture Notes in Computer Science).

 53. Аксель Иванович Берг. 110 лет. Вопросы
истории информатики. Предварительные
публикации. Выпуск 4.-Новосибирск, 2003.-90 с.
-(Препринт/Институт Вычислительной математики
и математической геофизики; N 1160).

 54. Рычков В. Самоучитель Excel 2002.-
Санкт-Петербург: Питер, 2002.- 320 с.

 55. Хэлворсон М., Янг М. Эффективная работа:
Office XP/с английского.- Санкт-Петерберг:
Питер, 2003.- 1071 с.-(Эффективная работа).

 56. Кирьянов Д., Кирьянова Е. Самоучитель
Adobe Premiere 6.5.- Санкт-Петербург:
БХВ-Петербург, 2003.- 477 с.

 57. Пономаренко С. Adobe Photoshop 7.-
Санкт-Петербург: БХВ-Петербург, 2003.- 855 с.

 58. Тайц А., Тайц А. CorelDRAW Graphics
Suite 11. Все программы пакета.-
Санкт-Петербург: БХВ-Петербург, 2003.- 1170 с.