Библиотека

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

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.