Hовые поступления с 11 октября по 31 октября 2005 года
1. Smart Graphics: Proc./5th International Symposium, SG
2005. Frauenwoerth Cloister, Germany, August 2005/Ed. by
A.Butz, B.Fisher, A.Krueger, P.Olivier.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3638.-269 p.-(Lecture Notes in Computer
Science).
2. Model Checking Software: Proc./12t International SPIN
Workshop. San Francisco, CA, USA, August 2005/Ed. by
P.Godefroid.-Berlin, Heidelberg: Springer, 2005.-Vol. 3639.
-289 p.-(Lecture Notes in Computer Science).
3. Trust, Privacy, and Security in Digital Business:
Proc./Second International Conference, TrustBus 2005.
Copenhagen, Denmark, August 2005/Ed. by S.Katsikas,
J.Lopez, G.Pernul.-Berlin, Heidelberg: Springer, 2005.-Vol.
3592.-332 p.-(Lecture Notes in Computer Science).
4. Principles and Practice of Semantic Web Reasoning:
Proc./Third International Workshop, PPSWR 2005. Dagstuhl
Castle, Germany, September 2005/Ed. by F.Fages, S.Soliman.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3703.-163 p.
-(Lecture Notes in Computer Science).
5. Hybird Metaheuristics: Proc./Second International
Workshop, HM 2005. Barcelona, Spain, August 2005/Ed. by
M.J.Blersa, Ch.Blum, A.Roli, M.Sampels.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3636.-156 p.-(Lecture Notes in Computer
Science).
6. Database and XML Technologies: Proc./Third
International XML Database Symposium, XSym 2005. Trondheim,
Norway, August 2005/Ed. by S.Bressan, S.Ceri, E.Hunt, Et Al
Z.G.Ives.-Berlin, Heidelberg: Springer, 2005.-Vol. 3671.-239
p.-(Lecture Notes in Computer Science).
7. Model Driven Architecture: Revised Selected
Papers/European MDA Workshops: Foundations and Applications,
MDAFA 2003 and MDAFA 2004, Twente, the Netherlands; and
Linkoeping, Sweden, June 2004/Ed. by U.Assmann, M.Aksit,
A.Rensink.-Berlin, Heidelberg: Springer, 2005.-Vol. 3599.
-235 p.-(Lecture Notes in Computer Science).
8. Electronic Government: Proc./4th International
Conference, EGOV 2005. Copenhagen, Denmark, August 2005/Ed.
by M.A.Wimmer, R.Traunmueller, A.Groenlund, K.V.Andersen.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3591.-317 p.
-(Lecture Notes in Computer Science).
9. E-Commerce and Web Technologies: Proc./6th
International Conference, EC-Web 2005. Copenhagen, Denmark,
August 2005/Ed. by K.Bauknecht, B.Proell, H.Werthner.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3590.-380 p.
-(Lecture Notes in Computer Science).
10. Mathematics of Surfaces XI: Proc./11th IMA
International Conference. Loughborough, UK, September 2005/
Ed. by R.Martin, H.Bez, M.Sabin.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3604.-473 p.-(Lecture Notes in Computer
Science).
11. Cryptographic Hardware and Embedded Systems - CHES
2005: Proc./7th International Workshop. Edinburgh, UK,
August/September 2005/Ed. by J.R.Rao, B.Sunar.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3659.-458 p.-(Lecture Notes
in Computer Science).
12. Digital Watermarking: Proc./4th International Workshop,
IWDW 2005. Siena, Italy, September 2005/Ed. by M.Barni,
I.Cox, T.Kalker, H.J.Kim.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3710.-486 p.-(Lecture Notes in Computer Science).
13. Database and Expert Systems Applications: Proc./16th
International Conference, DEXA 2005. Copenhagen, Denmark,
2005/Ed. by K.V.Andersen, J.Debenham, R.Wagner.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3588.-955 p.-(Lecture Notes
in Computer Science).
14. Computer Analysis if Images and Patterns: Proc./11th
International Conference, CAIP 2005. Versailles, France,
September 2005/Ed. by A.Gagalowicz, W.Philips.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3691.-865 p.-(Lecture Notes
in Computer Science).
15. Business Process Management: Proc./3rd International
Conference, BPM 2005. Nancy, France, September 2005/Ed. by
Van Der Aalst W.M.P., B.Bentallah, F.Casati, F.Curbera.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3649.-472 p.
-(Lecture Notes in Computer Science).
16. Algorithms and Data Structures: Proc./9th International
Workshop, WADS 2005. Waterloo, Canada, August 2005/Ed. by
F.Dehne, A.Lopez-Ortiz, J.-R.Sack.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3608.-446 p.-(Lecture Notes in Computer
Science).
17. Mathematical Foundations of Computer Science 2005:
Proc./30th International Symposium, MFCS 2005. Gdansk,
Poland, August/September 2005/Ed. by J.Jedrzejowicz,
A.Szepietowski.-Berlin, Heidelberg: Springer, 2005.-Vol. 3618.
-814 p.-(Lecture Notes in Computer Science).
18. Algebra and Coalgebra in Computer Science: Proc./First
International Conference, CALCO 2005. Swansea, UK, September
2005/Ed. by J.L.Fiadeiro, N.Harman, M.Roggenbach, J.Rutten.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3629.-457 p.
-(Lecture Notes in Computer Science).
19. Artificial Immune Systems: Proc./4th International
Conference, ICARIS 2005. Banff, Alberta, Canada, August 2005/
Ed. by Ch.Jacob, M.L.Pilat, P.J.Bentley, J.Timmis.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3627.-500 p.-(Lecture Notes
in Computer Science).
20. Computer Network Security: Proc./Third International
Workshop on Mathematical Methods, Models, and Architectures
for Computer Network Security, MMM-ACNS 2005. St.Petersburg,
Russia, September 2005/Ed. by V.Gorodetsky, I.Kotenko,
V.Skormin.-Berlin, Heidelberg: Springer, 2005.-Vol. 3685.
-480 p.-(Lecture Notes in Computer Science).
21. Computer Algebra in Scientific Computing: Proc./8th
International Workshop, CASC 2005. Kalamata, Greece,
September 2005/Ed. by V.G.Ganzha, E.W.Mayr, E.V.Vorozhtsov.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3718.-502 p.
-(Lecture Notes in Computer Science).
22. Spatial Information Theory: Proc./International
Conference, COSIT 2005. Elliottville, NY, USA, September 2005
/Ed. by A.G.Cohn, D.M.Mark.-Berlin, Heidelberg: Springer,
2005.-Vol. 3693.-493 p.-(Lecture Notes in Computer Science).
23. Advances in Intelligent Data Analysis VI: Proc./6th
International Symposium on Intelligent Data Analysis, IDA
2005. Madrid, Spain, September 2005/Ed. by Famili A.Fazel,
J.N.Kok, J.M.Pena, Et Al A.Siebes.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3646.-522 p.-(Lecture Notes in Computer
Science).
24. Computer Security - ESORICS 2005: Proc./10th European
Symposium on Research in Computer Security. Milan, Italy,
September 2005/Ed. by Capitani Di Vimercati S.De,
P.Syverson, D.Gollmann.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3679.-509 p.-(Lecture Notes in Computer Science).
25. Computing and Combinatorics: Proc./11th Annual
International Conference, COCOON 2005. Kunming, China,
August 2005/Ed. by L.Wang.-Berlin, Heidelberg: Springer,
2005.-Vol. 3595.-995 p.-(Lecture Notes in Computer Science).
26. Advances in Intelligent Computing, Part I:
Proc./International Conference on Intelligent Computing,
ICIC 2005. Hefei, China, August 2005/Ed. by D.-S.Huang,
X.-P.Zhang, G.-B.Huang.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3644.-1101 p.-(Lecture Notes in Computer Science).
27. Advances in Intelligent Computing, Part II:
Proc./International Conference on Intelligent Computing,
ICIC 2005. Hefei, China, August 2005/Ed. by D.-S.Huang,
X.-P.Zhang, G.-B.Huang.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3645.-1013 p.-(Lecture Notes in Computer Science).
28. Euro-Par 2005 Parallel Processing: Proc./11th
International Euro-Par Conference. Lisbon, Portugal,
August/September 2005/Ed. by J.C.Cunha, P.D.Medeiros.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3648.-1299 p.
-(Lecture Notes in Computer Science).
29. CONCUR 2005 - Concurrency Theory: Proc./16th
International Conference, CONCUR 2005. San Francisco, CA,
USA, August 2005/Ed. by M.Abadi, Alfaro L.De.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3653.-578 p.-(Lecture Notes
in Computer Science).
30. Computer Science Logic: Proc./19th International
Workshop, CSL; 14th Annual Conference of the EACSL. Oxford,
UK, August 2005/Ed. by L.Ong.-Berlin, Heidelberg: Springer,
2005.-Vol. 3634.-567 p.-(Lecture Notes in Computer Science).
31. Fundamentals of Computation Theory: Proc./15th
International Symposium, FCT 2005. Luebeck, Germany, August
2005/Ed. by M.Liskiewicz, R.Reischuk.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3623.-576 p.-(Lecture Notes in Computer
Science).
32. Artificial Neural Networks: Biological Inspirations -
ICANN 2005, Part I: Proc./15th International Conference.
Warsaw, Poland, September 2005/Ed. by W.Duch, K.Kacprzyk,
E.Oja, S.Zadrozny.-Berlin, Heidelberg: Springer, 2005.-Vol.
3696.-703 p.-(Lecture Notes in Computer Science).
33. Artificial Neural Networks: Formal Models and Their
Applications - ICANN 2005, Part II: Proc./15th International
Conference. Warsaw, Poland, September 2005/Ed. by W.Duch,
J.Kacprzyk, E.Oja, S.Zadrozny.-Berlin, Heidelberg: Springer,
2005.-Vol. 3697.-1045 p.-(Lecture Notes in Computer Science).
34. Multiagent System Technologies: Proc./Third German
Conference, MATES 2005. Koblenz, Germany, September 2005/Ed.
by T.Eymann, F.Kluegl, W.Lamersdorf, Et Al M.Klusch.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3550.-246 p.
-(Lecture Notes in Artificial Intelligence).
35. Logic Programming and Nonmonotonic Reasoning: Proc./8th
International Conference, LPNMR 2005. Diamante, Italy,
September 2005/Ed. by Ch.Baral, G.Greco, N.Leone,
G.Terracina.-Berlin, Heidelberg: Springer, 2005.-Vol. 3662.
-454 p.-(Lecture Notes in Artificial Intelligence).
36. AI*IA 2005: Adcances in Artificial Intelligence:
Proc./9th Congress of the Italian Association for Artificial
Intelligence. Milan, Italy, September 2005/Ed. by
S.Bandini, S.Manzoni.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3673.-614 p.-(Lecture Notes in Artificial
Intelligence).
37. Text, Speech and Dialogue: Proc./8th International
Conference, TSD 2005. Karlovy Vary, Czech Republic,
September 2005/Ed. by V.Matousek, P.Mautner, T.Pavelka.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3658.-460 p.
-(Lecture Notes in Artificial Intelligence).
38. Inductive Logic Programming: Proc./15th International
Conference, ILP 2005. Bonn, Germany, August 2005/Ed. by
S.Kramer, B.Pfahringer.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3625.-427 p.-(Lecture Notes in Artificial
Intelligence).
39. Case-Based Reasoning Research and Development:
Proc./6th International Conference on Case-Based Reasoning,
ICCBR 2005. Chicago, IL, USA, August 2005/Ed. by
H.Munoz-Avlia, F.Ricci.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3620.-654 p.-(Lecture Notes in Artificial
Intelligence).
40. Knowledge-Based Intelligent Information and Engineering
Systems, Part I: Proc./9th International Conference, KES
2005. Melbourne, Australia, September 2005/Ed. by R.Khosla,
R.J.Howlett, L.C.Jain.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3681.-1319 p.-(Lecture Notes in Artificial
Intelligence).
41. Knowledge-Based Intelligent Information and Engineering
Systems, Part II: Proc./9th International Conference, KES
2005. Melbourne, Australia, September 2005/Ed. by R.Khosla,
R.J.Howlett, L.C.Jain.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3682.-1371 p.-(Lecture Notes in Artificial
Intelligence).
42. Knowledge-Based Intelligent Information and Engineering
Systems, Part III: Proc./9th International Conference, KES
2005. Melbourne, Australia, September 2005/Ed. by R.Khosla,
R.J.Howlett, L.C.Jain.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3683.-1397 p.-(Lecture Notes in Artificial
Intelligence).
43. Knowledge-Based Intelligent Information and Engineering
Systems, Part IV: Proc./9th International Conference, KES
2005. Melbourne, Australia, September 2005/Ed. by R.Khosla,
R.J.Howlett, L.C.Jain.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3684.-933 p.-(Lecture Notes in Artificial
Intelligence).
44. Service Availability: Revised Selected Papers/Second
International Service Availability Symposium, ISAS 2005.
Berlin, Germany, April 2005/Ed. by M.Malek, E.Nett, N.Suri.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3694.-213 p.
-(Lecture Notes in Computer Science).
45. Cooperative Design, Visualization, and Engineering:
Proc./Second International Conference, CDVE 2005. Palma de
Mallorca, Spain, September 2005/Ed. by Y.Luo.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3675.-264 p.-(Lecture Notes
in Computer Science).
46. Theory and Applications of Satisfiability Testing:
Revised Selected Papers/7th International Conference, SAT
2004. Vancouver, BC, Canada, May 2004/Ed. by H.H.Hoos,
D.G.Mitchell.-Berlin, Heidelberg: Springer, 2005.-Vol. 3542.
-393 p.-(Lecture Notes in Computer Science).
47. Financial Cryptography and Data Security: Revised
Papers/9th International Conference, FC 2005. Roseau, The
Commonwealth of Dominica, February/March 2005/Ed. by
A.S.Patrick, M.Yung.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3570.-376 p.-(Lecture Notes in Computer Science).
48. Advances in Databases and Information Systems:
Proc./9th East European Conference, ADBIS 2005. Tallinn,
Estonia, September 2005/Ed. by J.Eder, H.-M.Haav, A.Kalja,
J.Penjam.-Berlin, Heidelberg: Springer, 2005.-Vol. 3631.-393
p.-(Lecture Notes in Computer Science).
49. Pattern Recognition: Proc./27th DAGM Sympsium. Vienna,
Austria, August/September 2005/Ed. by W.G.Kropatsch,
R.Sablatnig, A.Hanbury.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3663.-512 p.-(Lecture Notes in Computer Science).
50. Computer Aided Systems Theory - EUROCAST 2005: Revised
Selected Papers/10th International Conference on Computer
Aided Systems Theory. Las Palmas de Gran Canaria, Spain,
February 2005/Ed. by R.M.Diaz, F.Pichler, A.Q.Arencibia.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3643.-629 p.
-(Lecture Notes in Computer Science).
51. Integrated Circuit and System Design: Power Timing
Modeling, Optimization and Simulation: Proc./ 15th
International Workshop, PATMOS 2005. Leuven, Belgium,
September 2005/Ed. by V.Paliouras, J.Vounckx, D.Verkest.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3728.-753 p.
-(Lecture Notes in Computer Science).
52. Principles and Practice of Constraint Programming - CP
2005: Proc./11th International Conference, CP 2005. Sitges,
Spain, October 2005/Ed. by Beek P.Van.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3709.-887 p.-(Lecture Notes in Computer
Science).
53. Entertainment Computing - ICEC 2005: Proc./4th
International Conference. Sanda, Japan, September 2005/Ed.
by F.Kishino, Y.Kitamura, H.Kato, N.Nagata.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3711.-540 p.-(Lecture Notes
in Computer Science).
54. Parallel Computing Technologies: Proc./8th
International Conference, PaCT 2005. Krasnoyarsk, Russia,
September 2005/Ed. by V.Malyshkin.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3606.-470 p.-(Lecture Notes in Computer
Science).
55. Unconventional Programming Paradigms: Revised Selected
and Invited Papers/International Workshop, UPP 2004. Le Mont
Saint Michel, France, September 2004/Ed. by J.-P.Banatre,
P.Fradet, J.-L.Giavitto, O.Michel.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3566.-367 p.-(Lecture Notes in Computer
Science).
56. Audio- and Video-Based Biometric Person Authentication:
Proc./5th International Conference, AVBPA 2005. Hilton Rye
Town, NY, USA, July 2005/Ed. by T.Kanade, A.Jain, N.K.Ratha.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3546.-1134 p.
-(Lecture Notes in Computer Science).
57. Machine Learning - ECML 2005: Proc./16th European
Conference on Machine Learning. Porto, Portugal, October 2005
/Ed. by J.Gama, R.Camacho, P.Brazdil, Et Al A.Jorge.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3720.-769 p.
-(Lecture Notes in Artificial Intelligence).
58. Machine Learning and Data Mining in Pattern
Recognition: Proc./4th International Conference, MLDM 2005.
Leipzig, Germany, July 2005/Ed. by P.Perner, A.Imiya.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3587.-695 p.
-(Lecture Notes in Artificial Intelligence).
59. Abstraction, Reformulation and Approximation: Proc./6th
International Symposium, SARA 2005. Airth Castle, Scotland,
UK, July 2005/Ed. by J.-D.Zucker, L.Saitta.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3607.-376 p.-(Lecture Notes
in Artificial Intelligence).
60. Automated Deduction - CADE-20: Proc./20th International
Conference on Automated Deduction. Tallinn, Estonia, July
2005/Ed. by R.Nieuwenhuis.-Berlin, Heidelberg: Springer,
2005.-Vol. 3632.-459 p.-(Lecture Notes in Artificial
Intelligence).
61. Artificial Intelligence in Medicine: Proc./10th
Conference on Artificial Intelligence in Medicine, AIME
2005. Aberdeen, UK, July 2005/Ed. by S.Miksch, J.Hunter,
E.Keravnou.-Berlin, Heidelberg: Springer, 2005.-Vol. 3581.
-547 p.-(Lecture Notes in Artificial Intelligence).
62. KI 2005: Advances in Artificial Intelligence:
Proc./28th Annual German Conference on AI, KI 2005. Koblenz,
Germany, September 2005/Ed. by U.Furbach.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3698.-409 p.-(Lecture Notes in
Artificial Intelligence).
63. Rough Sets, Fuzzy Sets, Data Mining, and Granular
Computing, Part I: Proc./10th International Conference,
RSFDGrC 2005. Regina, Canada, August/September 2005/Ed. by
D.Slezak, G.Wang, M.Szczuka, Et Al I.Duentsch.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3641.-742 p.-(Lecture Notes
in Artificial Intelligence).
64. Rough Sets, Fuzzy Sets, Data Mining, and Granular
Computing, Part II: Proc./10th International Conference,
RSFDGrC 2005. Regina, Canada, August/September 2005/Ed. by
D.Slezak, Jt.Yao, J.F.Peters, Et Al W.Ziarko.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3642.-738 p.-(Lecture Notes
in Artificial Intelligence).
65. Engineering Societies in the Agents World V: Revised
Selected and Invited Papers/5th International Workshop, ESAW
2004. Toulouse, France, October 2004/Ed. by M.-P.Gleizes,
A.Omicini, F.Zambonelli.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3451.-349 p.-(Lecture Notes in Artificial
Intelligence).
66. Advanced Data Mining and Applications: Proc./First
International Conference, ADMA 2005. Wuhan, China, July 2005/
Ed. by X.Li, Sh.Wang, Zh.Y.Dong.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3584.-835 p.-(Lecture Notes in
Artificial Intelligence).
67. Data Integration in the Life Sciences: Proc./Second
International Workshop, DILS 2005. San Diego, CA, USA, July
2005/Ed. by B.Ludaescher, L.Raschid.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3615.-344 p.-(Lecture Notes in
Bioinformatics).
68. Foundations of Security Analysis and Design III: FOSAD
2004/2005 Lectures/Ed. by A.Aldini, R.Gorrieri, F.Martinelli.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3655.-273 p.
-(Lecture Notes in Computer Science).
69. Secure Data Management: Proc./Second VLDB Workshop, SDM
2005. Trondheim, Norway, September 2005/Ed. by W.Jonker,
M.Petkovic.-Berlin, Heidelberg: Springer, 2005.-Vol. 3674.
-241 p.-(Lecture Notes in Computer Science).
70. Evolvable Systems: From Biology to Hardware: Proc./6th
International Conference, ICES 2005. Sitges, Spain,
September 2005/Ed. by J.M.Moreno, J.Madrenas, J.Cosp.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3637.-227 p.
-(Lecture Notes in Computer Science).
71. Advances in Multimedia Information Systems: Proc./11th
International Workshop, MIS 2005. Sorrento, Italy, September
2005/Ed. by K.S.Candan, A.Celentano.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3665.-221 p.-(Lecture Notes in Computer
Science).
72. Peer-to-Peer, Grid, and Service-Orientation in Digital
Library Architectures: Revised Selected Papers/6th Thematic
Workshop of the EU Network of Excellence, DELOS. Cagliari,
Italy, June 2004/Ed. by C.Tuerker, M.Agosti, H.-J.Schek.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3664.-261 p.
-(Lecture Notes in Computer Science).
73. Formal Techniques for Computer Systems and Business
Processes: Proc./European Performance Engineering
Workshop,EPEW 2005, Inter.Workshop WS-FM 2005.
Versailles,France,September 2005/Ed. by M.Bravetti,
L.Kloul, G.Zavattaro.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3670.-349 p.-(Lecture Notes in Computer Science).
74. Theorem Proving in Higher Order Objects: Proc./18th
International Conference, TPHOLs 2005. Oxford, UK, August
2005/Ed. by J.Hurd, T.Melham.-Berlin, Heidelberg: Springer,
2005.-Vol. 3603.-409 p.-(Lecture Notes in Computer Science).
75. Static Analysis: Proc./12th International Symposium,
SAS 2005. London, UK, September 2005/Ed. by Ch.Hankin,
I.Siveroni.-Berlin, Heidelberg: Springer, 2005.-Vol. 3672.
-369 p.-(Lecture Notes in Computer Science).
76. Communications and Multimedia Security: Proc./9th IFIP
TC-6 TC-11 International Conference, CMS 2005. Salzburg,
Austria, September 2005/Ed. by J.Dittmann, S.Katzenbeisser,
A.Uhl.-Berlin, Heidelberg: Springer, 2005.-Vol. 3677.-360 p.
-(Lecture Notes in Computer Science).
77. Groupware: Design, Implementation, and Use: Proc./11th
International Workshop, CRIWG 2005. Porto de Galinhas,
Brazil, September 2005/Ed. by H.Fuks, S.Lukosh, A.C.Salgado.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3706.-378 p.
-(Lecture Notes in Computer Science).
78. UbiComp 2005: Ubiquitous Computing: Proc./7th
International Conference, UbiComp 2005. Tokyo, Japan,
September 2005/Ed. by M.Beigl, S.Intille, J.Rekimoto,
H.Tokuda.-Berlin, Heidelberg: Springer, 2005.-Vol. 3660.-394
p.-(Lecture Notes in Computer Science).
79. Pattern Recognition and Data Mining, Part I:
Proc./Third International Conference on Advances in Pattern
Recognition, ICAPR 2005. Bath, UK, August 2005/Ed. by
S.Singh, M.Singh, Ch.Apte, P.Perner.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3686.-689 p.-(Lecture Notes in Computer
Science).
80. Pattern Recognition and Image Analysis, Part II:
Proc./Third International Conference on Advances in Pattern
Recognition, ICAPR 2005. Bath, UK, August 2005/Ed. by
S.Singh, M.Singh, Ch.Apte, P.Perner.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3687.-809 p.-(Lecture Notes in Computer
Science).
81. Information Security: Proc./8th Internatioal
Conference, ISC 2005. Singapore, September 2005/Ed. by
J.Zhou, J.Lopez, R.H.Deng, F.Bao.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3650.-516 p.-(Lecture Notes in Computer
Science).
82. Image Analysis and Processing - ICIAP 2005: Proc./13th
International Conference. Cagliari, Italy, September 2005/
Ed. by F.Roli, S.Vitulano.-Berlin, Heidelberg: Springer,
2005.-Vol. 3617.-1219 p.-(Lecture Notes in Computer Science).
83. Advances in Natural Computation, Part I: Proc./First
International Conference, ICNC 2005. Changsha, China, August
2005/Ed. by L.Wang, K.Chen, Y.S.Ong.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3610.-1302 p.-(Lecture Notes in
Computer Science).
84. Advances in Natural Computation, Part II: Proc./First
International Conference, ICNC 2005. Changsha, China, August
2005/Ed. by L.Wang, K.Chen, Y.S.Ong.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3611.-1292 p.-(Lecture Notes in
Computer Science).
85. Advances in Natural Computation, Part III: Proc./First
International Conference, ICNC 2005. Changsha, China, August
2005/Ed. by L.Wang, K.Chen, Y.S.Ong.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3612.-1326 p.-(Lecture Notes in
Computer Science).
86. Multi-Agent Systems and Applications IV: Proc./4th
Internationa Central and Eastern European Conference on
Multi-Agent Systems, CEEMAS 2005. Budapest, Hungary,
September 2005/Ed. by M.Pechoucek, P.Petta, L.Zs.Varga.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3690.-667 p.
-(Lecture Notes in Artificial Intelligence).
87. Intelligent Virtual Agents: Proc./5th International
Working Conference, IVA 2005. Kos, Greece, September 2005/
Ed. by Th.Panayiotopoulos, J.Gratch, R.Aylett, Et Al
D.Ballin.-Berlin, Heidelberg: Springer, 2005.-Vol. 3661.-506
p.-(Lecture Notes in Artificial Intelligence).
88. Fuzzy Systems and Knowledge Discovery, Part I:
Proc./Second International Conference, FSKD 2005. Changsha,
China, August 2005/Ed. by L.Wang, Y.Jin.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3613.-1334 p.-(Lecture Notes in
Artificial Intelligence).
89. Fuzzy Systems and Knowledge Discovery, Part II:
Proc./Second International Conference, FSKD 2005. Changsha,
China, August 2005/Ed. by L.Wang, Y.Jin.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3614.-1314 p.-(Lecture Notes in
Artificial Intelligence).
90. Comparative Genomics: RECOMB 2005 International
Workshop, RCG 2005. Dublin, Ireland, September 2005/Ed. by
A.Mclysaght, D.H.Hudson.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3678.-167 p.-(Lecture Notes in Bioinformatics).
91. Advances in Databases and Information Systems:
Proc./9th East-European Conference, ADBIS 2005. Tallinn,
Estonia, September 12-15, 2005/Tallin University of
Technology; Ed. by J.Eder, H.-M.Haav, A.Kanja, J.Penjam,
2005.-263 p.
92. Белецкий В.В. О законах Кассини.-Москва, 1971.-38 с.
-(Препринт/ИПМ СО АН СССР; N 79).
93. Перетокин С.А. Методы анализа данных активного
сейсмического мониторинга очаговых зон сильных землетрясений
(на примере юга центральной Сибири): Автореф. дис... канд.
техн. наук: 05.11.13.-Красноярск, 2005.-16 с.-Библиогр.:
c.14-16.
94. Колюхин Д.Р. Статистическое моделирование процессов
переноса в случайных полях скоростей на примере пористых и
турбулентных сред: Автореф. дис... канд. ф.-м. наук: 05.13.18.
-Новосибирск, 2005.-16 с.-Библиогр.: c.15-16.
95. Головизнин В.М., Соловьева Е.В., Иванов А.В. Некоторые
свойства балансно-характеристических разностных схем для
одномерных уравнений газовой динамики в эйлеровых переменных.
-Москва, 2005.-29 с.-(Препринт/ИБРАЭ РАН).