Hовые поступления с 1 по 11 января 2006 года
1. Data Management in a Connected World: Essays Dedicated
to Hartmut Wedekind on the Occasion of His 70th Birthday/Ed.
by Th.Haerder, W.Lehner.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3551.-371 p.-(Lecture Notes in Computer Science).
2. Advanced Encryption Standard - AES: Revised Selected
and Invited Papers: 4th International Conference, AES 2004.
Bonn, Germany, May 2004/Ed. by H.Dobbertin, V.Rijmen, A.Sowa.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3373.-189 p.
-(Lecture Notes in Computer Science).
3. Metainformatics: Revised Selected Papers/International
Symposium, MIS 2004. Salzburg, Austria, September 2004/Ed.
by U.K.Wiil.-Berlin, Heidelberg: Springer, 2005.-Vol. 3511.
-221 p.-(Lecture Notes in Computer Science).
4. Autonomic Communication: Revised Selected Papers/First
International IFIP Workshop, WAC 2004. Berlin, Germany,
October 2004/Ed. by M.Smirnov.-Berlin, Heidelberg: Springer,
2005.-Vol. 3457.-279 p.-(Lecture Notes in Computer Science).
5. Foundations of Genetic Algorithms: Revised Selected
Papers/8th International Workshop, FOGA 2005. Aizu-Wakamatsu
City, Japan, January 2005/Ed. by A.H.Wright, M.D.Vose, Jong
K.A.De, L.M.Schmitt.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3469.-315 p.-(Lecture Notes in Computer Science).
6. Engineering Human Computer Interaction and Interactive
Systems: Revised Selected Papers: Joint Working Conferences,
EHCI-DSVIS 2004. Hamburg, Germany, July 2004/Ed. by
R.Bastide, Ph.Palanque, J.Roth.-Berlin, Heidelberg: Springer,
2005.-Vol. 3425.-400 p.-(Lecture Notes in Computer Science).
7. Embedded Computer Systems: Architectures, Modeling, and
Simulation: Proc./5th International Workshop, SAMOS 2005.
Samos, Greece, July 2005/Ed. by T.D.Haemaelaeinen,
A.D.Pimentel, J.Takala, S.Vassiliadis.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3553.-476 p.-(Lecture Notes in Computer
Science).
8. Languages and Compilers for High Performance Computing:
Revised Selected Papers/17th International Workshop, LCPC
2004. West Lafayette, IN, USA, September 2004/Ed. by
R.Eigenmann, Zh.Li, S.P.Midkiff.-Berlin, Heidelberg: Springer,
2005.-Vol. 3602.-486 p.-(Lecture Notes in Computer Science).
9. FM 2005: Formal Methods: International Symposium of
Formal Methods Europe. Newcastle, UK, July 2005/Ed. by
J.Fitzgerald, I.J.Hayes, A.Tarlecki.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3582.-558 p.-(Lecture Notes in Computer
Science).
10. Multilingual Information Access for Text, Speech and
Images: Revised Selected Papers/5th Workshop of the
Cross-Language Evaluation Forum, CLEF 2004. Bath, UK,
September 2004/Ed. by C.Peters, P.Clough, J.Gonzalo,
G.F.Jones.-Berlin, Heidelberg: Springer, 2005.-Vol. 3491.
-845 p.-(Lecture Notes in Computer Science).
11. Advances in Grid Computing - EGC 2005: Revised Selected
Papers/European Grid Conference. Amsterdam, The Netherlands,
February 2005/Ed. by P.M.A.Sloot, A.G.Hoekstra, Th.Priol,
A.Reinefeld.-Berlin, Heidelberg: Springer, 2005.-Vol. 3470.
-1197 p.-(Lecture Notes in Computer Science).
12. Networking and Mobile Computing: Proc./Third
International Conference, ICCNMC 2005. ZHangjiajie, China,
August 2005/Ed. by X.Lu, W.Zhao.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3619.-1299 p.-(Lecture Notes in
Computer Science).
13. Nonlinear Speech Modeling and Applications: Advanced
Lectures and Revised Selected Papers/Ed. by G.Chollet,
A.Esposito, M.Faundez-Zanuy, M.Marinaro.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3445.-433 p.-(Lecture Notes in
Artificial Intelligence).
14. Biometric Neural Learning for Intelligent Robots:
Intelligent Systems, Cognitive Robotics, and Neuroscience:
State-of-the-Art Survey/Ed. by S.Wermter, G.Palm, M.Elshaw.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3575.-383 p.
-(Lecture Notes in Artificial Intelligence).
15. Computational Logic in Multi-Agent Systems: Revised
Selected and Invited Papers/5th International Workshop,
CLIMA V. Lisbon, Portugal, September 2004/Ed. by J.Leite,
P.Torroni.-Berlin, Heidelberg: Springer, 2005.-Vol. 3487.
-281 p.-(Lecture Notes in Artificial Intelligence).
16. Trusting Agents for Trusting Electronic Societies:
Theory and Applications in HCI and E-Commerce/Ed. by
R.Falcone, S.Barber, J.Sabater-Mir, M.P.Singh.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3577.-235 p.-(Lecture Notes
in Artificial Intelligence).
17. Advances in Bioinformatics and Computational Biology:
Proc./Brazilian Symposium on Bioinformatics, BSB 2005. Sao
Leopoldo, Brazil, July 2005/Ed. by J.C.Setubal,
S.Verjovski-Almeida.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3594.-257 p.-(Lecture Notes in Bioinformatics).
18. Ubiquitous Computing Systems: Revised Selected
Papers/Second International Symposium, UCS 2004. Tokyo,
Japan, November 2004/Ed. by H.Murakami, H.Nakashima,
H.Tokuda, M.Yasumura.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3598.-275 p.-(Lecture Notes in Computer Science).
19. Principles of Distributed Systems: Revised Selected
Papers/8th International Conference, OPODIS 2004. Grenoble,
France, December 2004/Ed. by T.Higashino.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3544.-460 p.-(Lecture Notes in
Computer Science).
20. Combinatorial and Algorithmic Aspects of Networking:
Revised Selected Papers/First Workshop on Combinatorial and
Algorithmic Aspects of Networking, CAAN 2004. Banff,
Alberta, Canada, August 2004/Ed. by A.Lopez-Ortiz, A.Hamel.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3405.-205 p.
-(Lecture Notes in Computer Science).
21. Journal on Data Semantics III/Ed. by S.Spaccapietra.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3534.-213 p.
-(Lecture Notes in Computer Science).
22. Reasoning Web: Tutorial Lectures/First International
Summer School 2005. Msida, Malta, July 2005/Ed. by
N.Eisinger, J.Maluszynski.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3564.-3319 p.-(Lecture Notes in Computer Science).
23. Web and Communication Technologies and Internet-Related
Social Issues - HSI 2005: Proc./3rd International Conference
on Human.Society@Internet. Tokyo, Japan, July 2005/Ed. by
Sh.Shimojo, Sh.Ichii, T.W.Ling, K.-H.Song.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3597.-368 p.-(Lecture Notes in
Computer Science).
24. Data and Applications Security XIX: Proc./19th Annual
IFIP WG 11.3 Working Conference on Data and Applications
Security. Storrs, CT, USA, August 2005/Ed. by S.Jajodia,
D>Wijesekera.-Berlin, Heidelberg: Springer, 2005.-Vol. 3654.
-353 p.-(Lecture Notes in Computer Science).
25. Web Engineering: Proc./5th International Conference,
ICWE 2005. Sydney, Australia, July 2005/Ed. by D.Lowe,
M.Gaedke.-Berlin, Heidelberg: Springer, 2005.-Vol. 3579.-633
p.-(Lecture Notes in Computer Science).
26. Advances in Web-Based Learning - ICWL 2005: Proc./4th
International Conference. Hong Kong, Chine, July/August 2005/
Ed. by R.W.H.Lau, Q.Li, R.Cheung, W.Liu.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3583.-420 p.-(Lecture Notes in
Computer Science).
27. Image and Video Retrieval: Proc./4th International
Conference, CIVR 2005. Singapore, July 2005/Ed. by
W.-K.Leow, M.S.Lew, T.-S.Chua, W.-Y.Ma.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3568.-672 p.-(Lecture Notes in Computer
Science).
28. Approximation, Randomization and Combinatorial
Optimization: Algorithms and Techniques: Proc./8th Intl
Workshop on Approximation Algorithms for Combinatorial
Optimization Problems: APPROX 2005, and 9th Intl Workshop on
Randomization and Computation, RANDOM 2005. Berkeley, CA,
USA, August 2005/Ed. by Ch.Chekuri, K.Jansen, J.D.P.Rolim,
L.Trevisan.-Berlin, Heidelberg: Springer, 2005.-Vol. 3624.
-495 p.-(Lecture Notes in Computer Science).
29. Data Warehousing and Knowledge Discovery: Proc./7th
International Conference, DaWaK 2005. Copenhagen, Denmark,
August 2005/Ed. by A.M.Tjoa, J.Trujillo.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3589.-538 p.-(Lecture Notes in
Computer Science).
30. High Performance Computing and Communications:
Proc./First International Conference, HPCC 2005. Sorrento,
Italy, September 2005/Ed. by L.T.Yang, O.F.Rana, Martino
B.Di, J.Dongarra.-Berlin, Heidelberg: Springer, 2005.-Vol.
3726.-1113 p.-(Lecture Notes in Computer Science).
31. Automata, Languages and Programming: Proc./32nd
International Colloquium, ICALP 2005. Lisbon, Portugal, July
2005/Ed. by L.Caires, G.F.Italiano, L.Monteiro,
C.Palamidessi.-Berlin, Heidelberg: Springer, 2005.-Vol. 3580.
-1477 p.-(Lecture Notes in Computer Science).
32. Local Pattern Detection: Revised Selected
Papers/International Seminar. Dagstuhl Castle, Germany,
April 2004/Ed. by K.Morik, J.-F.Boulicaut, A.Siebes.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3539.-233 p.
-(Lecture Notes in Artificial Intelligence).
33. Holonic and Multi-Agent Systems for Manufacturing:
Proc./Second International Conference on Industrial
Applications of Holonic and Multi-Agent Systems, HoloMAS
2005. Copenhagen, Denmark, August 2005/Ed. by V.Marik,
R.W.Brennan, M.Pechoucek.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3593.-269 p.-(Lecture Notes in Artificial
Intelligence).
34. Frontiers of Combining Systems: Proc./5th International
Workshop, FroCos 2005. Vienna, Austria, September 2005/Ed.
by B.Gramlich.-Berlin, Heidelberg: Springer, 2005.-Vol. 3717.
-321 p.-(Lecture Notes in Artificial Intelligence).
35. Formal Concept Analysis: Foundations and Applications/
Ed. by B.Ganter, G.Stumme, R.Wille.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3626.-349 p.-(Lecture Notes in
Artificial Intelligence).
36. Conceptual Structures: Common Semantics for Sharing
Knowledge: Proc./13th International Conference on Conceptual
Structures, ICCS 2005. Kassel, Germany, July 2005/Ed. by
F.Dau, M.-L.Mugnier, G.Stumme.-Berlin, Heidelberg: Springer,
2005.-Vol. 3596.-467 p.-(Lecture Notes in Artificial
Intelligence).
37. Modeling Decisions for Artificial Intelligence:
Proc./Second International Conference, MDAI 2005. Tsukuba,
Japan, July 2005/Ed. by V.Torra, Y.Narukawa, S.Miyamoto.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3558.-470 p.
-(Lecture Notes in Artificial Intelligence).
38. Software Composition: Revised Selected Papers/4th
International Workshop, SC 2005. Edinburgh, UK, April 2005/
Ed. by Th.Gschwind, U.Assmann, O.Nierstrasz.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3628.-199 p.-(Lecture Notes
in Computer Science).
39. Quality of Software Architectures and Software Quality:
Proc./First International Conference on the Quality of
Software Architectures, QoSA 2005, and Second Intl Workshop
on Software Quality, SOQUA 2005. Erfurt, Germany, September
2005/Ed. by R.Reussner, J.Mayer, J.A.Stafford, S.Overhage.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3712.-289 p.
-(Lecture Notes in Computer Science).
40. Security Protocols: Revised Selected Papers/11th
International Workshop. Cambridge, UK, April 2003/Ed. by
B.Christianson, B.Crispo, J.A.Malcolm, M.Roe.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3364.-351 p.-(Lecture Notes
in Computer Science).
41. Advanced Concepts for Intelligent Vision Systems:
Proc./7th International Conference, ACIVS 2005. Antwerp,
Belgium, September 2005/Ed. by J.Blanc-Talon, W.Philips,
D.Popescu, P.Scheunders.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3708.-725 p.-(Lecture Notes in Computer Science).
42. Logic Programming: Proc./21st International Conference,
ICLP 2005. Sitges, Spain, October 2005/Ed. by M.Gabbrielli,
G.Gupta.-Berlin, Heidelberg: Springer, 2005.-Vol. 3668.-454
p.-(Lecture Notes in Computer Science).
43. Generative Programming and Component Engineering:
Proc./4th International Conference, GPCE 2005. Tallinn,
Estonia, September/October 2005/Ed. by R.Glueck, M.Lowry.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3676.-448 p.
-(Lecture Notes in Computer Science).
44. Recent Advances in Parallel Virtual Machine and Message
Passing Interface: Proc./12th European PVM/MPI User's Group
Meeting. Sorrento, Italy, September 2005/Ed. by Martino
B.Di, D.Kranzlmueller, J.Dongarra.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3666.-546 p.-(Lecture Notes in Computer
Science).
45. Research and Advanced Technology for Digital Libraries:
Proc./9th European Conference, ECDL 2005. Vienna, Austria,
September 2005/Ed. by A.Rauber, S.Christodoulakis, A.M.Tjoa.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3652.-545 p.
-(Lecture Notes in Computer Science).
46. Human-Computer Interaction - INTERACT 2005/IFIP TC13
International Conference. Rome, Italy, September 2005/Ed. by
M.F.Costabile, F.Paterno.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3585.-1158 p.-(Lecture Notes in Computer Science).
47. Automated Reasoning with Analytic Tableaux and Related
Methods: Proc./International Conference, TABLEAUX 2005.
Koblenz, Germany, September 2005/Ed. by B.Beckert.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3702.-343 p.-(Lecture Notes
in Artificial Intelligence).
48. Роженко А.И. Искусство верстки в LATEXе/Ред.
А.С.Алексеев; ИВМ и МГ СО РАН. .- Новосибирск, 2005.- 397 с.
-Библиогр.: c.369.
49. Software Product Lines: Proc./9th International
Conference, SPLC 2005. Rennes, France, September 2005/Ed. by
H.Obbink, K.Pohl.-Berlin, Heidelberg: Springer, 2005.-Vol.
3714.-235 p.-(Lecture Notes in Computer Science).
50. Progress in Cryptology - Mycrypt 2005: Proc./First
International Conference on Cryptology in Malaysia. Kuala
Lumpur, Malaysia, September 2005/Ed. by E.Dawson, S.Vaudenay.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3715.-329 p.
-(Lecture Notes in Computer Science).
51. Architecting Dependable Systems III/Ed. by Lemos R.De,
C.Gacek, A.Romanovsky.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3549.-343 p.-(Lecture Notes in Computer Science).
52. Advanced Functional Programming: Proc./5th
International School, AFP 2004. Tartu, Estonia, August 2004/
Ed. by V.Vene, T.Uustalu.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3622.-359 p.-(Lecture Notes in Computer Science).
53. Variational, Geometric, and Level Set Methods on
Computer Vision: Proc./Third International Workshop, VLSM
2005. Beijing, China, October 2005/Ed. by N.Paragios,
O.Faugeras, T.Chan, Ch.Schnoerr.-Berlin, Heidelberg: Springer,
2005.-Vol. 3752.-369 p.-(Lecture Notes in Computer Science).
54. Analysis and Modelling of Faces and Gestures:
Proc./Second International Workshop, AMFG 2005. Beijing,
China, October 2005/Ed. by W.Zhao, Sh.Gong, X.Tang.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3723.-423 p.-(Lecture Notes
in Computer Science).
55. Theoretical Aspects of Computing - ITAC 2005:
Proc./Second International Colloquium. Hanoi, Vietnam,
October 2005/Ed. by D.V.Hung, M.Wirsing.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3722.-614 p.-(Lecture Notes in
Computer Science).
56. Peer-to-Peer Systems and Applications/Ed. by
R.Steinmetz, K.Wehrle.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3485.-629 p.-(Lecture Notes in Computer Science).
57. Computer Safety, Reliability, and Security: Proc./24th
International Conference, SAFECOMP 2005. Fredrikstad,
Norway, September 2005/Ed. by R.Winther, Gran B.Axel,
G.Dahll.-Berlin, Heidelberg: Springer, 2005.-Vol. 3688.-405
p.-(Lecture Notes in Computer Science).
58. Formal Techniques for Networked and Distributed Systems
- Forte 2005: Proc./25th IFIP WG 6.1 International
Conference. Taipei, Taiwan, October 2005/Ed. by F.Wang.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3731.-558 p.
-(Lecture Notes in Computer Science).
59. Advanced Distributed Systems: Revised Selected
Papers/5th International School and Symposium, ISSADS 2005.
Guadalajara, Mexico, January 2005/Ed. by F.F.Ramos, Rosillo
V.Larios, H.Unger.-Berlin, Heidelberg: Springer, 2005.-Vol.
3563.-558 p.-(Lecture Notes in Computer Science).
60. Distributed Computing: Proc./19th International
Conference, DISC 2005. Cracow, Poland, September 2005/Ed. by
P.Fraigniaud.-Berlin, Heidelberg: Springer, 2005.-Vol. 3724.
-520 p.-(Lecture Notes in Computer Science).
61. Advances in Web-Age Information Management: Proc./6th
International Conference, WAIM 2005. Hangzhou, China,
October 2005/Ed. by W.Fan, Zh.Wu, J.Yang.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3739.-930 p.-(Lecture Notes in
Computer Science).
62. Embedded Software and Systems: Revised Selected
Papers/First International Conference, ICESS 2004. Hangzhou,
China, December 2004/Ed. by Zh.Wu, Ch.Chen, M.Guo, J.Bu.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3605.-610 p.
-(Lecture Notes in Computer Science).
63. Image Analysis and Recognition: Proc./Second
International Conference, ICIAR 2005. Toronto, Canada,
September 2005/Ed. by M.Kamel, A.Campilho.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3656.-1279 p.-(Lecture
Notes in Computer Science).
64. Intelligent Media Technology for Communicative
Intelligence: Revised Selected Papers/Second International
Workshop, IMTCI 2004. Warsaw, Poland, September 2004/Ed. by
L.Bolc, Z.Michalewicz, T.Nishida.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3490.-259 p.-(Lecture Notes in
Artificial Intelligence).
65. Knowledge Discovery in Databases: PKDD 2005: Proc./9th
European Conference in Principles and Practice of Knowledge
Discovery in Databases. Porto, Portugal, October 2005/Ed. by
A.Jorge, L.Torgo, P.Brazdil, R.Camacho.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3721.-719 p.-(Lecture Notes in
Artificial Intelligence).
66. Algorithmic Learning Theory: Proc./16th International
Conference, ALT 2005. Singapore, October 2005/Ed. by
S.Jain, H.U.Simon, E.Tomita.-Berlin, Heidelberg: Springer,
2005.-Vol. 3734.-491 p.-(Lecture Notes in Artificial
Intelligence).
67. Natural Language Processing - IJCNLP 2005: Proc./Second
International Joint Conference. Jeju Island, Korea, October
2005/Ed. by R.Dale, K.-F.Wong, J.Su, O.Y.Kwong.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3651.-1031 p.-(Lecture
Notes in Artificial Intelligence).
68. Computational Life Sciences: Proc./First International
Symposium, CompLife 2005. Konstanz, Germany, September 2005/
Ed. by M.R.Berthold, R.Glen, K.Diederichs, O.Kohlbacher.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3695.-277 p.
-(Lecture Notes in Bioinformatics).
69. Бодин Е.В., Городняя Л.В., Шилов Н.В. По какому
предмету олимпиада?.-Новосибирск, 2005.-30 с.-(Препринт/ИСИ
СО РАН; N 126).
70. Чурина Т.Г., Аргиров В.С. Моделирование спецификаций
языка SDL с помощью модифицированных ИВТ-сетей.-Новосибирск,
2005.-62 с.-(Препринт/ИСИ СО РАН; N 124).
71. Куликов К.В. Методика проектирования сложных цифровых
блоков в базисе ПЛИС: Автореф. дис... канд. техн. наук:
05.13.12.-Владимир, 2005.-16 с.-Библиогр.: c.15-16.
72. Operations and Management in IP-Based Networks:
Proc./5th IEEE International Workshop on IP Operations and
Management, IPOM 2005. Barcelona, Spain, October 2005/Ed. by
Th.Magedanz, E.R.M.Madeira, P.Dini.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3751.-213 p.-(Lecture Notes in Computer
Science).
73. Advances in Biometric Person Authentication:
Proc./International Workshop on Biometric Recognition
Systems, IWBRS 2005. Beijing, China, October 2005/Ed. by
S.Z.Li, Zh.Sun, T.Tan, Sh.Pankanti.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3781.-250 p.-(Lecture Notes in Computer
Science).
74. Computer Vision in Human-Computer Interaction:
Proc./ICCV 2005 Workshop on HCI. Beijing, China, October 2005
/Ed. by N.Sebe, M.S.Lew, Th.S.Huang.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3766.-231 p.-(Lecture Notes in Computer
Science).
75. Unconventional Computation: Proc./4th International
Conference, UC 2005. Sevilla, Spain, October 2005/Ed. by
C.S.Calude, M.J.Dinneen, Gh.Paun, M.J.Perez-Jimenez.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3699.-267 p.-(Lecture Notes
in Computer Science).
76. Dependable Computing: Proc./Second Latin-American
Symposium, LADC 2005. Salvador, Brazil, October 2005/Ed. by
C.A.Maziero, J.G.Silva, A.M.S.Andrade, Assis Silva F.M.De.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3747.-267 p.
-(Lecture Notes in Computer Science).
77. Formal Methods for Components and Objects: Revised
Lectures/Third International Symposium, FMCO 2004. Leiden,
The Netherlands, November 2004/Ed. by Boer F.S.De,
M.M.Bonsangue, S.Graf, Roever W.-P.De.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3657.-325 p.-(Lecture Notes in Computer
Science).
78. Ad-Hoc, Mobile, and Wireless Networks: Proc./4th
International Conference, ADHOC-NOW 2005. Cancun, Mexico,
October 2005/Ed. by V.R.Syrotiuk, E.Chavez.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3738.-360 p.-(Lecture Notes
in Computer Science).
79. Computer Vision for Biomedical Image Applications:
Proc./First International Workshop, CVBIA 2005. Beijing,
China, October 2005/Ed. by Y.Liu, T.Jiang, Ch.Zhang.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3765.-563 p.
-(Lecture Notes in Computer Science).
80. Theoretical Computer Science: Proc./9th Italian
Conference, ICTCS 2005. Siena, Italy, October 2005/Ed. by
M.Coppo, E.Lodi, G.M.Pinna.-Berlin, Heidelberg: Springer,
2005.-Vol. 3701.-411 p.-(Lecture Notes in Computer Science).
81. Correct Hardware Design and Verification Methods:
Proc./13th IFIP WG 10.5 Advanced Research Working
Conference, CHARME 2005. Saaerbruecken, Germany, October 2005
/Ed. by D.Borrione, W.Paul.-Berlin, Heidelberg: Springer,
2005.-Vol. 3725.-412 p.-(Lecture Notes in Computer Science).
82. Distributed and Parallel Computing: Proc./6th
International Conference on Algorithms and Architectures for
Parallel Processing, ICA3PP. Melbourne, Australia, October
2005/Ed. by M.Hobbs, A.M.Goscinski, W.Zhou.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3719.-448 p.-(Lecture Notes
in Computer Science).
83. Model Driven Engineering Languages and Systems:
Proc./8th International Conference, MoDELS 2005. Montego
Bay, Jamaica, October 2005/Ed. by L.Briand, C.Williams.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3713.-722 p.
-(Lecture Notes in Computer Science).
84. Brain, Vision, and Artificial Intelligence: Proc./First
International Symposium, BVAI 2005. Naples, Italy, October
2005/Ed. by Gregorio M.De, Maio V.Di, M.Frucci, C.Musio.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3704.-556 p.
-(Lecture Notes in Computer Science).
85. Self-Stabilizing Systems: Proc./7th International
Symposium, SSS 2005. Barcelona, Spain, October 2005/Ed. by
T.Herman, S.Tixeuil.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3764.-229 p.-(Lecture Notes in Computer Science).
86. Formal Methods and Software Engineering: Proc./7th
International Conference on Formal Engineering Methods,
ICFEM 2005. Manchester, UK, November 2005/Ed. by K.-K.Lau,
R.Banach.-Berlin, Heidelberg: Springer, 2005.-Vol. 3785.-496
p.-(Lecture Notes in Computer Science).
87. Parallel and Distributed Processing and Applications -
ISPA 2005 Workshops: Proc./ISPA 2005 International Workshops
AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA. Nanjing,
China, November 2005/Ed. by G.Chen, Y.Pan, M.Guo, J.Lu.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3759.-669 p.
-(Lecture Notes in Computer Science).
88. Energy Minimization Methods in Computer Vision and
Pattern Recognition: Proc./5th International Workshop,
EMMCVPR 2005. St.Augustine, FL, USA, November 2005/Ed. by
A.Rangarajan, B.Vemuri, A.L.Yuille.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3757.-666 p.-(Lecture Notes in Computer
Science).
89. Automated Technology for Verification and Analysis:
Proc./Third International Symposium, ATVA 2005. Taipei,
Taiwan, October 2005/Ed. by D.A.Peled, Y.-K.Tsay.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3707.-506 p.-(Lecture Notes
in Computer Science).
90. Information Retrieval Technology: Proc./Second Asia
Information Retrieval Symposium, AIRS 2005. Jeju Island,
Korea, October 2005/Ed. by G.G.Lee, A.Yamada, H.Meng,
S.H.Myaeng.-Berlin, Heidelberg: Springer, 2005.-Vol. 3689.
-735 p.-(Lecture Notes in Computer Science).
91. Conceptual Modeling - ER 2005: Proc./24th International
Conference on Conceptual Modeling. Klagenfurt, Austria,
October 2005/Ed. by L.Delcambre, Ch.Kop, H.C.Mayr,
J.Mylopoulos.-Berlin, Heidelberg: Springer, 2005.-Vol. 3716.
-498 p.-(Lecture Notes in Computer Science).
92. Advances in Informatics: Proc./10th Panhellenic
Conference on Informatics, PCI 2005. Volos, Greece, November
2005/Ed. by P.Bozanis, E.N.Houstis.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3746.-873 p.-(Lecture Notes in Computer
Science).
93. Algorithms - ESA 2005: Proc./13th Annual European
Symposium. Palma de Mallorca, Spain, October 2005/Ed. by
Brodal G.Stolting, S.Leonardi.-Berlin, Heidelberg: Springer,
2005.-Vol. 3669.-901 p.-(Lecture Notes in Computer Science).
94. Advances in Multimedia Information Processing PCM 2005.
Part I: Proc./6th Pacific-Rim Conference on Multimedia. Jeju
Island, Korea, November 2005/Ed. by Y.-S.Ho, H.J.Kim.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3767.-1022 p.
-(Lecture Notes in Computer Science).
95. Advances in Multimedia Information Processing. Part II:
Proc./6th Pacific-Rim Conference on Multimedia. Jeju Island,
Korea, November 2005/Ed. by Y.-S.Ho, H.J.Kim.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3768.-1088 p.-(Lecture
Notes in Computer Science).
96. On the Move to Meaningful Internet Systems 2005:
CoopIS, DOA, and ODBASE. Part I: Proc./OTM Confederated
International Conferences CoopIS, DOA, and ODBASE 2005. Agia
Napa, Cyprus, October 2005/Ed. by R.Meersman, Et Al. Z.Tari.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3760.-921 p.
-(Lecture Notes in Computer Science).
97. On the Move to Meaningful Internet Systems 2005:
CoopIS, DOA, and ODBASE. Part II: Proc./OTM Confederated
International Conferences CoopIS, DOA, and ODBASE 2005. Agia
Napa, Cyprus, October/November 2005/Ed. by R.Meersman, Et
Al. Z.Tari.-Berlin, Heidelberg: Springer, 2005.-Vol. 3761.
-1653 p.-(Lecture Notes in Computer Science).
98. Affective Computing and Intelligent Interaction:
Proc./First International Conference, ACII 2005. Beijing,
China, October 2005/Ed. by J.Tao, T.Tan, R.W.Picard.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3784.-1008 p.
-(Lecture Notes in Computer Science).
99. Medical Image Computing and Computer-Assisted
Intervention - MICCAI 2005. Part I: Proc./8th International
Conference. Palm Springs, CA, USA, October 2005/Ed. by
J.S.Duncan, G.Gerig.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3749.-942 p.-(Lecture Notes in Computer Science).
100. Algorithms in Bioinformatics: Proc./5th International
Workshop, WABI 2005. Mallorca, Spain, October 2005/Ed. by
R.Casadio, G.Myers.-Berlin, Heidelberg: Springer, 2005.-Vol.
3692.-436 p.-(Lecture Notes in Bioinformatics).
101. Deterministic and Statistical Methods in Machine
Learning: Revised Lectures/First International Workshop.
Sheffield, UK, September 2004/Ed. by J.Winkler, M.Niranjan,
N.Lawrence.-Berlin, Heidelberg: Springer, 2005.-Vol. 3635.
-341 p.-(Lecture Notes in Artificial Intelligence).
102. Discovery Science: Proc./8th International Conference,
DS 2005. Singapore, October 2005/Ed. by A.Hoffmann,
H.Motoda, T.Scheffer.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3735.-400 p.-(Lecture Notes in Artificial
Intelligence).
103. Advances in Artificial Life: Proc./8th European
Conference, ECAL 2005. Canterbury, UK, September 2005/Ed. by
M.S.Capcarrere, A.A.Freitas, P.J.Bentley, Et Al. C.G.Johnson.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3630.-949 p.
-(Lecture Notes in Artificial Intelligence).
104. Lambert K.A., Osborne M. Java: A Framework for Program
Design and Data Structures.- Pacific Grove, Ca: Brooks/Cole,
2000.- 677 p.
105. Все для TEX'a.- Новосибирск, 2005.
106. Component Deployment: Proc./Third International Working
Conference, CD 2005. Grenoble, France, November 2005/Ed. by
A.Dearle, S.Eisenbach.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3798.-197 p.-(Lecture Notes in Computer Science).
107. Software Process Improvement: Proc./12th European
Conference, EuroSPI 2005. Budapest, Hungary, November 2005/
Ed. by I.Richardson, P.Abrahamson, R.Messnarz.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3792.-215 p.-(Lecture Notes
in Computer Science).
108. Rules and Rule Markup Languages for the Semantic Web:
Proc./First International Conference, RuleML 2005. Galway,
Ireland, November 2005/Ed. by A.Adi, S.Stoutenburg, S.Tabet.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3791.-225 p.
-(Lecture Notes in Computer Science).
109. High Performance Embedded Architectures and Compilers:
Proc./First International Conference, HiPEAC 2005.
Barcelona, Spain, November 2005/Ed. by T.Conte, N.Navarro,
W.-M.W.Hwu, Et Al M.Valero.-Berlin, Heidelberg: Springer,
2005.-Vol. 3793.-316 p.-(Lecture Notes in Computer Science).
110. Public Key Infrastructure: Revised Selected
Papers/Second European PKI Workshop: Research and
Applications, EuroPKI 2005. Canterbury, UK, June/July 2005/
Ed. by D.Chadwick, G.Zhao.-Berlin, Heidelberg: Springer,
2005.-Vol. 3545.-271 p.-(Lecture Notes in Computer Science).
111. Deep Structure, Singularities, and Computer Vision:
Revised Selected Papers/First International Workshop, DSSCV
2005. Maastricht, The Netherlands, June 2005/Ed. by
O.F.Olsen, L.Florack, A.Kuijper.-Berlin, Heidelberg: Springer,
2005.-Vol. 3753.-259 p.-(Lecture Notes in Computer Science).
112. Web Information Systems Engineering - WISE 2005
Workshops: Proc./WISE 2005 International Workshops. New
York, NY, USA, November 2005/Ed. by M.Dean, Y.Guo, W.Jun,
Et Al R.Kaschek.-Berlin, Heidelberg: Springer, 2005.-Vol.
3807.-275 p.-(Lecture Notes in Computer Science).
113. Model Driven Architecture - Foundations and
Applications: Proc./First European Conference, ECMDA-FA
2005. Nuremberg, Germany, November 2005/Ed. by A.Hartman,
D.Kreische.-Berlin, Heidelberg: Springer, 2005.-Vol. 3748.
-349 p.-(Lecture Notes in Computer Science).
114. Network and Parallel Computing: Proc./IFIP
International Conference, NPC 2005. Beijing, China,
November/December 2005/Ed. by H.Jin, D.Reed, W.Jiang.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3779.-513 p.
-(Lecture Notes in Computer Science).
115. Progress in Pattern Recognition, Image Analysis and
Applications: Proc./10th Iberoamerican Congress on Pattern
Recognition, CIARP 2005. Havana, Cuba, November 2005/Ed. by
A.Sanfeliu, M.L.Cortes.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3773.-1094 p.-(Lecture Notes in Computer Science).
116. Web Information Systems Engineering - WISE 2005:
Proc./6th International Conference on Web Information
Systems Engineering. New York, NY, USA, November 2005/Ed. by
A.H.H.Ngu, M.Kitsuregawa, E.J.Neuhold, Et Al J.-Y.Chung.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3806.-771 p.
-(Lecture Notes in Computer Science).
117. Advances in Cryptology - CRYPTO 2005: Proc./25th Annual
International Cryptology Conference. Santa Barbara,
California, USA, August 2005/Ed. by V.Shoup.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3621.-568 p.-(Lecture Notes
in Computer Science).
118. The Semantic Web - ISWC 2005: Proc./4th International
Semantic Web Conference, ISWC 2005. Galway, Ireland,
November 2005/Ed. by Y.Gil, E.Motta, V.R.Benjamins,
M.A.Musen.-Berlin, Heidelberg: Springer, 2005.-Vol. 3729.
-1073 p.-(Lecture Notes in Computer Science).
119. Computer Supported Cooperative Work in Design I:
Revised Selected Papers/8th International Conference, CSCWD
2004. Xiamen, China, May 2004/Ed. by W.Shen, Z.Lin,
J.-P.A.Barthes, T.Li.-Berlin, Heidelberg: Springer, 2005.
-Vol. 3168.-458 p.-(Lecture Notes in Computer Science).
120. Transactions on Computational Systems Biology II/Ed. by
C.Priami.-Berlin, Heidelberg: Springer, 2005.-Vol. 3680.-153
p.-(Lecture Notes in Computer Science).
121. Transactions on Rough Sets IV/Ed. by J.F.Peters,
A.Skowron.-Berlin, Heidelberg: Springer, 2005.-Vol. 3700.
-375 p.-(Lecture Notes in Computer Science).
122. Agents and Peer-to-Peer Computing: Revised and Invited
Papers/Third International Workshop, AP2PC 2004. New York,
NY, USA, July 2004/Ed. by G.Moro, S.Bergamaschi, K.Aberer.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3601.-245 p.
-(Lecture Notes in Artificial Intelligence).
123. Intelligent Techniques for Web Personalization: Revised
Selected Papers/IJCAI 2003 Workshop, ITWP 2003. Acapulco,
Mexico, August 2003/Ed. by B.Mobasher, Anand S.Singh.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3169.-325 p.
-(Lecture Notes in Artificial Intelligence).
124. MICAI 2005: Advances in Artificial Intelligence:
Proc./4th Mexican International Conference on Artificial
Intelligence. Monterrey, Mexico, November 2005/Ed. by
A.Gelbukh, Albornoz A.De, H.Terashima-Marin.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3789.-1198 p.-(Lecture
Notes in Artificial Intelligence).
125. Biological and Medical Data Analysis: Proc./6th
International Symposium, ISBMDA 2005. Aveiro, Portugal,
November 2005/Ed. by J.L.Oliveira, V.Maojo,
F.Martin-Sanchez, Pereira A.Sousa.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3745.-402 p.-(Lecture Notes in
Bioinformatics).
126. Васильев И.А. Методы и инструментальные средства
построения семантических Web-порталов: Автореф. дис... канд.
техн. наук: 05.13.11.-Томск, 2005.-26 с.-Библиогр.: c.25-26.
127. Малюх В.Н. Архитектура и базовые алгоритмы
инструментального ядра графических САПР общего назначения:
Автореф. дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2005.
-23 с.-Библиогр.: c.23.
128. Бирюков А.С. Методы построения коллективных решений
задачи кластерного анализа: Автореф. дис... канд. ф.-м. наук:
05.13.17.-Москва, 2005.-16 с.-Библиогр.: c.16-17.
129. Дубаков С.А. Информационная технология анализа
производительности в процессе разработки программного
обеспечения: Автореф. дис... канд. техн. наук: 05.13.11.
-Томск, 2005.-19 с.-Библиогр.: c.18-19.
130. Малых А.А. Представление знаний и семантическое
программирование: Автореф. дис... канд. ф.-м. наук: 01.01.09.
-Иркутск, 2005.-23 с.-Библиогр.: c.23.
131. Мирошниченко Л.А. Методы выявления структурных единиц в
символьных последовательностях: Автореф. дис... канд. техн.
наук: 05.13.17.-Новосибирск, 2005.-22 с.-Библиогр.: c.20-22.
132. Ларионов Д.С. Обратный метод установления выводимости
для автоэпистемической логики и его применение в экспертных
системах: Автореф. дис... канд. техн. наук: 05.13.01.-Томск,
2005.-23 с.-Библиогр.: c.23.
133. Шерстнев В.С. Распределенная геоинформационная система
для сбора и обработки производственной информации
газодобывающей компании: Автореф. дис... канд. техн. наук:
05.13.01.-Томск, 2005.-19 с.-Библиогр.: c.17-19.
134. Аджиев А.С. Проектирование и реализация научных
информационных систем на основе объектной модели данных.
Информационная система Math-Net.RU: Автореф. дис... канд.
техн. наук: 05.13.11.-Москва, 2005.-16 с.-Библиогр.: c.15-16.
135. Калинкина С.Ю. Методы представления интервальных
динамических систем в пространстве состояний: Автореф.
дис... канд. ф.-м. наук: 05.13.01.-Барнаул, 2005.-19 с.
-Библиогр.: c.18-19.
136. Хошманд Асл М.Р. Восстановление и различимость слов по
подсловам: Автореф. дис... канд. ф.-м. наук: 01.01.09.-Москва,
2005.-11 с.-Библиогр.: c.11.
137. Барматина И.В. Развитие информационной культуры
студентов в процессе изучения информатики (на примере
физико-математических специальностей): Автореф. дис... канд.
пед. наук: 13.00.02.-Новосибирск, 2005.-22 с.-Библиогр.:
c.21-22.
138. Титова Н.В. Методология построения гибридных
информационных интеллектуальных систем поддержки принятия
решений на основе параметрических логик в слабо
структурированных предметных областях: Автореф. дис... канд.
ф.-м. наук: 01.01.09.-Москва, 2005.-21 с.-Библиогр.: c.21.
139. Кузнецова С.М. Математическое и программное обеспечение
формирования и реконструкции радиоизображений на Сибирском
солнечном радиотелескопе: Автореф. дис... канд. техн. наук:
05.13.18.-Иркутск, 2005.-22 с.-Библиогр.: c.22.
140. Методы и средства обработки информации: труды Второй
Всероссийской научной конференции/МГУ; .-М.: Изд-во МГУ, 2005.
-651 с.
141. Peer-to-Peer Systems IV: Revised Selected Papers/4th
International Workshop, IPTPTS 2005. Ithaca, NY, USA,
February 2005/Ed. by M.Castro, Renesse R.Van.-Berlin,
Heidelberg: Springer, 2005.-Vol. 3640.-288 p.-(Lecture Notes
in Computer Science).
142. GeoSpatial Semantics: Proc./First International
Conference, GeoS 2005. Mexico City, Mexico, November 2005/
Ed. by M.A.Rodriguez, I.F.Cruz, M.J.Egenhofer, S.Levashkin.
-Berlin, Heidelberg: Springer, 2005.-Vol. 3799.-259 p.
-(Lecture Notes in Computer Science).
143. Middleware 2005: Proc./ACM/IFIP/USENIX 6th
International Middleware Conference. Grenoble, France,
November/December 2005/Ed. by G.Alonso.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3790.-443 p.-(Lecture Notes in Computer
Science).
144. On the Move to Meaningful Internet Systems 2005: OTM
2005 Workshops: Proc./OTM Confederated Int.Workshops and
Posters AWeSOMe,CAMS,GADA,MIOS+INTEROP,ORM,PhDS,SeBGIS,SWWS,
and WOSE2005. Agia Napa,Cyprus,October/November 2005/Ed. by
R.Meersman, Z.Tari, Et Al. P.Herrero.-Berlin, Heidelberg:
Springer, 2005.-Vol. 3762.-1228 p.-(Lecture Notes in
Computer Science).
145. AI 2005: Advances in Artificial Intelligence:
Proc./18th Australian Joint Conference on Artificial
Intelligence. Sydney, Australia, December 2005/Ed. by
Sh.Zhang, R.Jarvis.-Berlin, Heidelberg: Springer, 2005.-Vol.
3809.-1344 p.-(Lecture Notes in Artificial Intelligence).
146. Малышкин В.Э. Введение в параллельное программирование
мультикомпьютеров/ИВМ МГ СО РАН. СО РАН. .- Новосибирск, 2003.
- 268 с.-Библиогр.: c.259-260.
147. Семич Д.Ф. Алгоритмы и программное обеспечение
интерпретации данных радиоактивного каротажа нефтяных
скважин: Дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2005.
-102 с.-Библиогр.: c.95-102.
148. Семич Д.Ф. Алгоритмы и программное обеспечение
интерпретации данных радиоактивного каротажа нефтяных
скважин: Автореф. дис... канд. ф.-м. наук: 05.13.11.
-Новосибирск, 2003.-18 с.-Библиогр.: c.16-18.
149. Боженкова Е.Н. Исследование тестовых отношений для
временных структур событий.-Новосибирск, 2005.-35 с.
-(Препринт/ИСИ СО РАН; N 129).
150. Кальченко В.В. Обзор алгебр для XML-баз данных.
-Новосибирск, 2005.-50 с.-(Препринт/ИСИ СО РАН; N 127).
151. Toward C# Program Verification: A Three-level Approach
/V.A. Nepomniaschy, I.S. Anureev, I.V. Dubranovsky et al. .
-Novosibirsk, 2005.-38 p.-(Rep./IIS SB RAS; N 128).
152. Ерохин В.И. Оптимальная матричная коррекция
несовместимых систем линейных алгебраических уравнений и
несобственных задач линейного программирования: Автореф.
дис... докт. ф.-м.наук: 05.13.17.-Москва, 2006.-36 с.
-Библиогр.: c.34-36.
153. Ступников С.А. Моделирование композиционных уточняющих
спецификаций: Автореф. дис... канд. тех.наук: 05.13.17.
-Москва, 2005.-24 с.-Библиогр.: c.23-24.
154. Свиридов К.Н. Технология достижения высокого углового
разрешения оптических систем атмосферного "видения".- М.:
Знание, 2005.- 451 с.-Библиогр.: c.423-451.