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.