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

Hовые поступления в библиотеку с 11 по 30 мая 2005 года

  1. Knowledge Discovery in Inductive Databases: Revised
Selected and Invited Papers/Third International Workshop,
KDID 2004. Pisa, Italy, September 2004/Ed. by  B.Goethals,
A.Siebes.-Berlin, Heidelberg: Springer, 2005.-Vol. 3377.-191
p.-(Lecture Notes in Computer Science).

  2. Approximation and Online Algorithms: Revised Selected
Papers/Second International Workshop, WAPA 2004. Bergen,
Norway, September 2004/Ed. by  G.Persiano, R.Solis-Oba.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3351.-295 p.
-(Lecture Notes in Computer Science).

  3. Formal Methods in Software and Systems Modeling: Essays
Dedicated to Hartmut Ehrig on the Occasion of His 60th
Birthday/Ed. by  H.-J.Kreowski, U.Montanari, F.Orejas,
G.Rozenberg.-Berlin, Heidelberg: Springer, 2005.-Vol. 3393.
-413 p.-(Lecture Notes in Computer Science).

  4. ZB 2005: Formal Specification and Development in Z and
B: Proc./4th International Conference of B and Z Users.
Guildford, UK, April 2005/Ed. by  H.Treharne, S.King,
M.Henson, S.Schneider.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3455.-493 p.-(Lecture Notes in Computer Science).

  5. Network Analysis: Methodological Foundations/Ed. by
U.Brandes, Th.Erlebach.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3418.-471 p.-(Lecture Notes in Computer Science).
-Bibliogr.: p.439-466.

  6. Discrete Geometry for Computer Imagery: Proc./12th
International Conference, DGCI 2005. Poitiers, France, April
2005/Ed. by  E.Andres, G.Damiand, P.Lienhardt.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3429.-427 p.-(Lecture Notes
in Computer Science).

  7. Scale Space and PDE Methods in Computer Vision:
Proc./5th International Conference, Scale-Space 2005.
Hofgeismar, Germany, April 2005/Ed. by  R.Kimmel, N.Sochen,
J.Weickert.-Berlin, Heidelberg: Springer, 2005.-Vol. 3459.
-634 p.-(Lecture Notes in Computer Science).

  8. Typed Lambda Calculi and Applications: Proc./7th
International Conference, TLCA 2005. Nara, Japan, April 2005/
Ed. by  P.Urzyczyn.-Berlin, Heidelberg: Springer, 2005.-Vol.
3461.-433 p.-(Lecture Notes in Computer Science).

  9. Information Security Applications: Revised Selected
Papers/5th International Workshop, WISA 2004. Jeju Island,
Korea, August 2004/Ed. by  Ch.H.Lim, M.Yung.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3325.-472 p.-(Lecture Notes
in Computer Science).

 10. Term Rewriting and Applications: Proc./16th
International Conference, RTA 2005. Nara, Japan, April 2005/
Ed. by  J.Giesl.-Berlin, Heidelberg: Springer, 2005.-Vol.
3467.-517 p.-(Lecture Notes in Computer Science).

 11. Database Systems for Advanced Applications: Proc./10th
International Conference, DASFAA 2005. Beijing, China, April
2005/Ed. by  L.Zhou, B.Ch.Oi, X.Meng.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3453.-929 p.-(Lecture Notes in Computer
Science).

 12. Advances in Information Retrieval: Proc./27th European
Conference on IR Research, ECIR 2005. Santiago de
Compostela, Spain, March 2005/Ed. by  D.E.Losada,
J.M.Fernandez-Luna.-Berlin, Heidelberg: Springer, 2005.-Vol.
3408.-572 p.-(Lecture Notes in Computer Science).

 13. Programming Multi-Agent Systems: Selected Revised and
Invited Papers/Second Internationa Workshop ProMAS 2004. New
York, NY, USA, July 2004/Ed. by  R.H.Bordini, M.Dastani,
J.Dix, Fallah Seghrouchni A.El.-Berlin, Heidelberg: Springer,
 2005.-Vol. 3346.-249 p.-(Lecture Notes in Artificial
Intelligence).

 14. Agent Communication: Revised Selected and Invited
Papers/International Workshop on Agent Communication, AC
2004. New York, NY, USA, July 2004/Ed. by  Eijk R.M.Van,
M.-Ph.Huget, F.Dignum.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3396.-261 p.-(Lecture Notes in Artificial
Intelligence).

 15. Spatial Cognition IV: Spatial, Action, Interaction:
Revised Selected Papers/International Conference Spatial
Cognition 2004. Frauenchiemsee, Germany, October 2004/Ed. by
Ch.Freksa, M.Knauff, B.Krieg-Brueckner, B.Nebel.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3343.-519 p.-(Lecture Notes
in Artificial Intelligence).

 16. Леонид Витальевич Канторович: человек и ученый/Ред.
В.Л.Канторович, С.С.Кутателадзе, Я.И.Фет; ИВМ и МГ СО РАН. .
- Новосибирск: "Гео", 2004.- 542 с.-(Наука Сибири в лицах;
Т. 1).

 17. Леонид Витальевич Канторович: человек и ученый/Ред.
В.Л.Канторович, С.С.Кутателадзе, Я.И.Фет; ИВМ и МГ СО РАН. .
- Новосибирск: "Гео", 2004.- 613 с.-(Наука Сибири в лицах;
Т. 2).

 18. Вальков А.С. Субквадратичные алгоритмы метрического
анализа данных: Автореф. дис... канд. ф.-м. наук: 01.01.09.
-Москва, 2005.-18 с.-Библиогр.: c.17-18.

 19. Хелемендик Р.В. Алгоритм распознавания выполнимости
формул логики ветвящегося времени и его применение: Автореф.
дис... канд. ф.-м. наук: 01.01.09.-Москва, 2005.-16 с.
-Библиогр.: c.15-16.

 20. Проценко И.Г. Некоторые вопросы асимптотической теории
внутренних волн в пограничных слоях: Автореф. дис... канд.
ф.-м. наук: 01.02.05.-Москва, 2005.-16 с.-Библиогр.: c.16.

 21. Wired/Wireless Internet Communications: Proc./Third
International Conference, WWIC 2005. Xanthi, Greece, May 2005
/Ed. by  T.Braun, G.Carle, Y.Koucheryavy, V.Tsaoussidis.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3510.-366 p.
-(Lecture Notes in Computer Science).

 22. Compiler Construction: Proc./14th International
Conference, CC 2005, Held as Part of the Joint European
Conferences on Theory and Practice of Software, ETAPS 2005.
Edinburgh, UK, April 2005/Ed. by  R.Bodik.-Berlin, Heidelberg:
 Springer, 2005.-Vol. 3443.-305 p.-(Lecture Notes in
Computer Science).

 23. Networking - ICN 2005, Part II: Proc./4th International
Conference on Networking. Reunion Island, France, April 2005/
Ed. by  P.Lorenz, P.Dini.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3421.-1153 p.-(Lecture Notes in Computer Science).

 24. Information Security Practice and Experience:
Proc./First International Conference, ISPEC 2005, Singapore,
April 2005/Ed. by  R.H.Deng, F.Bao, H.Pang, J.Zhou.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3439.-424 p.-(Lecture Notes
in Computer Science).

 25. Coordination Models and Languages: Proc./7th
International Conference, COORDINATION 2005. Namur, Belgium,
April 2005/Ed. by  J.-M.Jacquet, G.P.Picco.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3454.-299 p.-(Lecture Notes
in Computer Science).

 26. Evolutionary Computation in Combinational Optimization:
Proc./5th European Conference, EvoCOP 2005. Lausanne,
Switzerland, March/April 2005/Ed. by  G.R.Raidl, J.Gottlieb.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3448.-271 p.
-(Lecture Notes in Computer Science).

 27. Shared Memory Parallel Programming with OpenMP: Revised
Selected Papers/5th International Workshop on OpenMP
Applications and Tools, WOMPAT 2004. Houston, TX, USA, May
2004/Ed. by  B.M.Chapman.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3349.-149 p.-(Lecture Notes in Computer Science).

 28. Global Computing: Revised Selected Papers/IST/FET
International Workshop, GC 2004. Rovereto, Italy, March 2004/
Ed. by  C.Priami, P.Quaglia.-Berlin, Heidelberg: Springer,
2005.-Vol. 3267.-369 p.-(Lecture Notes in Computer Science).

 29. Numerical Analysis and Its Applications: Revised
Selected Papers/Third International Conference, NAA 2004.
Rousse, Bulgaria, June/July 2004/Ed. by  Zh.Li, L.Vulkov,
J.Wasniewski.-Berlin, Heidelberg: Springer, 2005.-Vol. 3401.
-630 p.-(Lecture Notes in Computer Science).

 30. Digital Watermarking: Revised Selected Papers/Third
International Workshop, IWDW 2004. Seoul, South Korea,
October/November 2004/Ed. by  I.J.Cox, T.Kalker, Lee H.-K.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3304.-305 p.
-(Lecture Notes in Computer Science).

 31. Recent Trends in Algebraic Development Techniques:
Revised Selected Papers/17th International Workshop, WADT
2004. Barcelona, Spain, March 2004/Ed. by  J.L.Fiadeiro,
P.D.Mosses, F.Orejas.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3423.-271 p.-(Lecture Notes in Computer Science).

 32. From Computer Literacy to Informatics Fundamentals:
Proc./International Conference on Informatics in Secondary
Schools - Evolution and Perspectives, ISSEP 2005.
Klagenfurt, Austria, March/April 2005/Ed. by  R.M.Mittermeir.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3422.-203 p.
-(Lecture Notes in Computer Science).

 33. Wireless Systems and Mobility in Next Generation
Internet: Revised Selected Papers/First International
Workshop of the EURO-NGI Network of Excellence. Dagstuhl
Castle, Germany, June 2004/Ed. by  G.Kotsis, O.Spaniol.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3427.-249 p.
-(Lecture Notes in Computer Science).

 34. Information Retrieval Technology: Revised Selected
Papers/Asia Information Retrieval Symposium, AIRS 2004.
Beijing, China, October 2004/Ed. by  S.H.Myaeng, M.Zhou,
K.-F.Wong, H.-J.Zhang.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3411.-337 p.-(Lecture Notes in Computer Science).

 35. Rust H. Operational Semantics for Timed Systems: A
Non-standard Approach to Uniform Modeling of Timed and
Hybrid Systems.- Berlin, Heidelberg: Springer, 2005.- 223 p.
-(Lecture Notes in Computer Science; Vol. 3456).-Bibliogr.:
p.215-220.

 36. Graph-Based Representations in Pattern Recognition:
Proc./5th IAPR International Workshop, GbRPR 2005. Poitiers,
France, April 2005/Ed. by  L.Brun, M.Vento.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3434.-385 p.-(Lecture Notes
in Computer Science).

 37. Fundamental Approaches to Software Engineering:
Proc./8th International Conference, FASE 2005, Held as Part
of the Joint European Conferences on Theory and Practice of
Software, ETAPS 2005. Edinburgh, UK, April 2005/Ed. by
M.Cerioli.-Berlin, Heidelberg: Springer, 2005.-Vol. 3442.
-373 p.-(Lecture Notes in Computer Science).

 38. Experimental and Efficient Algorithms: Proc./4th
International Workshop, WEA 2005. Santorini Island, Greece,
May 2005/Ed. by  S.E.Nikoletseas.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3503.-624 p.-(Lecture Notes in Computer
Science).

 39. Passive and Active Network Measurement: Proc./6th
International Workshop, PAM 2005. Boston, MA, USA,
March/April 2005/Ed. by  C.Dovrolis.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3431.-373 p.-(Lecture Notes in Computer
Science).

 40. High Performance Computing for Computational Science -
VECPAR 2004:Revised Selected and Invited Papers/6th
International Conference. Valencia, Spain, June 2004/Ed. by
M.Dayde, J.J.Dongarra, V.Hernandez, J.M.L.M.Palma.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3402.-732 p.-(Lecture Notes
in Computer Science).

 41. Databases in Networked Information Systems: Proc./4th
International Workshop, DNIS 2005. Aizu-Wakamatsu, Japan,
March 2005/Ed. by  S.Bhalla.-Berlin, Heidelberg: Springer,
2005.-Vol. 3433.-319 p.-(Lecture Notes in Computer Science).

 42. Genetic Programming: Proc./8th European Conference,
EuroGP 2005. Lausanne, Switzerland, March 2005/Ed. by
M.Keijzer, A.Terramanzi, P.Collet, Hemert J.Van.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3447.-381 p.-(Lecture Notes
in Computer Science).

 43. Scientific Engineering of Distributed Java
Applications: Revised Selected Papers/4th International
Workshop, FIDJI 2004. Luxembourg-Kirchberg, Luxembourg,
November 2004/Ed. by  N.Guelfi, G.Reggio, A.Romanovsky.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3409.-127 p.
-(Lecture Notes in Computer Science).

 44. Applications of Evolutionary Computing:
Proc./EvoWorkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP,
EvoMUSART, and EvoSTOC. Lausanne, Switzerland, March/April
2005/Ed. by  Et Al. F.Rothauf.-Berlin, Heidelberg: Springer,
2005.-Vol. 3449.-630 p.-(Lecture Notes in Computer Science).

 45. Digital Cities III: Information Tecnnologies for Social
Capital: Cross-cultural Perspectives/Ed. by  Den Besselaar
P.Van, S.Koizumi.-Berlin, Heidelberg: Springer, 2005.-Vol.
3081.-437 p.-(Lecture Notes in Computer Science).

 46. Computational Methods in Systems Biology: Revised
Selected Papers/International Conference, CMSB 2004. Paris,
France, May 2004/Ed. by  V.Danos, V.Schachter.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3082.-279 p.-(Lecture Notes
in Bioinformatics).

 47. RoboCup 2004: Robot Soccer World Cup VIII/Ed. by
D.Nardi, M.Riedmiller, C.Sammut, J.Santos-Victor.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3276.-678 p.-(Lecture Notes
in Artificial Intelligence).

 48. Advances in Artificial Intelligence: Proc./18th
Conference of the Canadian Society for Computational Studies
of Intelligence, Canadian AI 2005. Victoria, Canada, May 2005
/Ed. by  B.Kegl, G.Lapalme.-Berlin, Heidelberg: Springer,
2005.-Vol. 3501.-457 p.-(Lecture Notes in Artificial
Intelligence).

 49. Environments for Multi-Agent Systems: Revised Selected
Papers/First International Workshop, E4MAS 2004. New York,
NY, USA, July 2004/Ed. by  D.Weyns, Dyke Parunak H.Van,
F.Michel.-Berlin, Heidelberg: Springer, 2005.-Vol. 3374.-279
p.-(Lecture Notes in Artificial Intelligence).

 50. Applications of Declarative Programming and Knowledge
Management: Selected Papers/15th International Conference
INAP 2004, and 18th Workshop WLP 2004.Potsdam,Germany,March
2004/Ed. by  D.Seipel, M.Hanus, U.Geske, O.Bartstein.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3392.-309 p.
-(Lecture Notes in Artificial Intelligence).

 51. Argumentation in Multi-Agent Systems: Revised Selected
and Invited Papers/First International Workshop, ArgMAS
2004. New York, NY, USA, July 2004/Ed. by  I.Rahwan,
P.Moraitis, Ch.Reed.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3366.-263 p.-(Lecture Notes in Artificial
Intelligence).

 52. Intuitive Human Interfaces for Organizing and Accessing
Intellectual Assets: Revised Selected Papers/International
Workshop. Daghstuhl Castle, Germany, March 2004/Ed. by
G.Grieser, Y.Tanaka.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3359.-257 p.-(Lecture Notes in Artificial
Intelligence).

 53. Transactions on Computational Systems Biology I/Ed. by
C.Priami.-Berlin, Heidelberg: Springer, 2005.-Vol. 3380.-111
p.-(Lecture Notes in Bioinformatics).

 54. Tools and Algorithms for the Construction and Analysis
of Systems: Proc./11th International Conference, TACAS 2005,
Held as Part of the Joint European Conferences on Theory and
Practice of Software, ETAPS 2005. Edinburgh, UK, April 2005/
Ed. by  N.Halbwachs, L.D.Zuck.-Berlin, Heidelberg: Springer,
2005.-Vol. 3440.-588 p.-(Lecture Notes in Computer Science).

 55. Programming Languages and Systems: Proc./14th European
Symposium on Programming, ESOP 2005, Held as Part of the
Joint European Conferences on Theory and Practice of
Software, ETAPS 2005. Edinburgh, UK, April 2005/Ed. by
M.Sagiv.-Berlin, Heidelberg: Springer, 2005.-Vol. 3444.-439
p.-(Lecture Notes in Computer Science).

 56. NETWORKING 2005 - Networking Technologies, Services,
and Protocols; Performance of Computer and Communication
Networks; Mobile and Wireless Communication Systems:
Proc./4th International IFIP-TC6 Networking Conference.
Waterloo, Canada, May 2005/Ed. by  R.Boutaba, K.Almeroth,
R.Puigjaner, James P.Black Sh.Shen.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3462.-1483 p.-(Lecture Notes in
Computer Science).

 57. Computational Science and Its Applications - ICCSA
2005. Part II: Proc./International Conference. Singapore,
May 2005/Ed. by  Et Al O.Gervasi.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3481.-1316 p.-(Lecture Notes in
Computer Science).

 58. Computational Science and Its Applications - ICCSA
2005. Part I: Proc./International Conference. Singapore, May
2005/Ed. by  Et Al O.Gervasi.-Berlin, Heidelberg: Springer,
2005.-Vol. 3480.-1234 p.-(Lecture Notes in Computer Science).

 59. Computationas Science and Its Applications - ICCSA
2005. Part IV: Proc./International Conference. Singapore,
May 2005/Ed. by  Et Al O.Gervasi.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3483.-1362 p.-(Lecture Notes in
Computer Science).

 60. Computational Science and Its Applications - ICCSA
2005. Part III: Proc./International Conference. Singapore,
May 2005/Ed. by  Et Al O.Gervasi.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3482.-1340 p.-(Lecture Notes in
Computer Science).

 61. Web Technologies Research and Development - APWeb 2005:
Proc./7th Asia-Pacific Conference. Shanghai, China, March
2005/Ed. by  Y.Zhang, K.Tanaka, Yu J.Xu, Et Al Sh.Wang.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3399.-1081 p.
-(Lecture Notes in Computer Science).

 62. Шпитонков М.И. Математическое обоснование методов
корреляционной адаптометрии биологических популяций:
Автореф. дис... канд. физ.-мат. наук: 05.13.18.-Москва, 2005.
-15 с.-Библиогр.: c.15.



Вы обнаружили ошибку в следующем тексте:
Просто нажмите кнопку "Отправить сообщение об ошибке" для завершения. Вы можете также ввести комментарий (желательно).