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

Hовые поступления с 9 февраля по 7 марта 2007 года


  1. Distributed, High-Performance and Grid Computing in 
Computational Biology: Proc./International Workshop,GCCB 
2006 Eilat,Israel,January 2007/Ed. by  W.Dubritzky, 
A.Schuster, P.M.A.Sloot, M.Schroeder.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4360.-191 p.-(Lecture Notes in 
Bioinformatics).
 
  2. Computational Logic in Multi-Agent Systems: Revised 
Selected and Invited Papers/ 7th International 
Workshop,CLIMA VII Hokodate,Japan,May 2006/Ed. by  K.Inoue, 
K.Satoh, F.Toni.-Berlin, Heidelberg: Springer, 2007.-Vol. 
4371.-315 p.-(Lecture Notes in Artificial Intelligence).
 
  3. Verification of Object-Oriented Software: The KeY 
Approach. Foreword by K.Rustan M.Leino/Ed. by  B.Beckert, 
R.Hahnle, P.H.Schmitt.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4334.-658 p.-(Lecture Notes in Artificial 
Intelligence).
 
  4. Declarative Programming for Knowledge Management: 
Revised Selected Papers/ 16th International Conference INAP 
2005 Fukuoka,Japan,October 2005/Ed. by  M.Umeda, A.Wolf, 
O.Bartenstein, U.Geske.-Berlin, Heidelberg: Springer, 2006.
-Vol. 4369.-229 p.-(Lecture Notes in Artificial 
Intelligence).
 
  5. Implementation and Application of Functional Language: 
Revised Selected Papers/ 17th International Workshop, IFL 
2005 Dublin,Ireland,September 2005/Ed. by  A.Butterfield, 
C.Grelck, F.Hich.-Berlin, Heidelberg: Springer, 2006.-Vol. 
4015.-231 p.-(Lecture Notes in Computer Science).
 
  6. Progress in Cryptology - VIETCRYP 2006: Revised 
Selected Papers/ 1st International Conference on Cryptology 
in Vietnam. Hanoi,Vietnam,September 2006/Ed. by  Ph.Q.Nguyen.
-Berlin, Heidelberg: Springer, 2006.-Vol. 4341.-385 p.
-(Lecture Notes in Computer Science).
 
  7. Approximationand Online Algorithms: Revised Papers/ 4th 
International Workshop,WAOA 2006. 
Zurich,Switzerland,September 2006/Ed. by  Th.Erlebach.
-Berlin, Heidelberg: Springer, 2006.-Vol. 4368.-345 p.
-(Lecture Notes in Computer Science).
 
  8. Multimodal Technologies for Perception of Humans: 
Revised Selected Papers/ First International Evaluation 
Workshop CLEAR 2006, Southamption,UK,April 2006/Ed. by  
R.Stiefelhagen, J.Garofolo.-Berlin, Heidelberg: Springer, 
2007.-Vol. 4122.-360 p.-(Lecture Notes in Computer Science).
 
  9. Wireless Sensor Networks: Proc./4th European 
Conference, EWSN 2007. Delft, The Netherlands, January 2007/
Ed. by  K.Langendoen, Th.Voigt.-Berlin, Heidelberg: Springer,
 2007.-Vol. 4373.-358 p.-(Lecture Notes in Computer Science).
 
 10. High Performance Embedded Architectures and Compilers: 
Proc./Second International Conference, HiPEAC 2007. 
Ghent,Belgiun,January 2007/Ed. by  K.De_Bosschere, D.Kaeli, 
P.Stenstrom, D.Whalley.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4367.-307 p.-(Lecture Notes in Computer Science).
 
 11. Advances in Visual Computing, Part II: Proc./Second 
International Symposium, ISVC 2006, Lake 
Tahoe,NV,USA,November 2006/Ed. by  G.Bebis, R.Boyle, 
B.Parvin, D.Koracin.-Berlin, Heidelberg: Springer, 2006.
-Vol. 4292.-906 p.-(Lecture Notes in Computer Science).

 12. Advances in Visual Computing, Part I: Proc./Second 
International Symposium, ISVC 2006, Lake 
Tahoe,NV,USA,November 2006/Ed. by  G.Bebis, R.Boyle, 
B.Parvin, D.Koracin.-Berlin, Heidelberg: Springer, 2006.
-Vol. 4291.-916 p.-(Lecture Notes in Computer Science).
 
 13. Algorithms and Computation: Proc./17th International 
Symposium, ISAAC 2006, Kolkata,India,December 2006/Ed. by  
T.Asano.-Berlin, Heidelberg: Springer, 2006.-Vol. 4288.-766 
p.-(Lecture Notes in Computer Science).
 
 14. Advances in Conceptual Modeling - Theory and Practice: 
Proc./ER 2006 Workshops BP-UML, CoMoGIS, COSS, ECDM, OIS, 
QolS, SemWAT. Tucson,AZ,USA,November 2006/Ed. by  J.F.Roddick.
-Berlin, Heidelberg: Springer, 2006.-Vol. 4231.-456 p.
-(Lecture Notes in Computer Science).
 
 15. Internet and Network Economics: Proc./Second 
International Workshop, WINE 2006, Patras,Greece,December 
2006/Ed. by  P.Spirakis, M.Mavronicolas, S.Kontogiannis.
-Berlin, Heidelberg: Springer, 2006.-Vol. 4286.-401 p.
-(Lecture Notes in Computer Science).
 
 16. Security and Privacy in Ad-Hoc and Sensor Networks: 
Revised Selected Papers/ Third European Workshop, ESAS 2006 
Hamburg,Germany,September 2006/Ed. by  L.Buttyan, V.Gligor, 
D.Westhoff.-Berlin: Springer, 2006.-Vol. 4357.-193 p.
-(Lecture Notes in Computer Science).
 
 17. Models in Software Engineering: Reports and Revised 
Selected Papers/Workshops and Symposia at MoDELS 2006 
Genoa,Italy,October 2006/Ed. by  T.Kuhne.-Berlin: Springer, 
2007.-Vol. 4364.-332 p.-(Lecture Notes in Computer Science).
 
 18. SOFSEM 2007: Theory and Practice of Computer Science: 
Proc./33rd Conference on Current Trends in Theory and 
Practice of Computer Science Harrachov,Czech 
Republic,January 2007/Ed. by  J.Van_Leeuwen, G.F.Italiano, 
W.Van_Der_Hoek, Ch.Meinel.-Berlin: Springer, 2007.-Vol. 4362.
-937 p.-(Lecture Notes in Computer Science).
 
 19. Verification, Model Checking, and Abstract 
Interpretation: Proc./8th International Conference,VMCAI 
2007 Nice,France,January 2007/Ed. by  B.Cook, A.Podelski.
-Berlin: Springer, 2007.-Vol. 4349.-395 p.-(Lecture Notes in 
Computer Science).
 
 20. Prodan R., Fahringer T. Grid Computing: Experiment 
Management,Tool Integration, and Scientific Workflows.- 
Berlin: Springer, 2007.- 317 p.-(Lecture Notes in Computer 
Science; Vol. 4340).-Bibliogr.: p.297-309.
 
 21. High Performance Computing - HiPC 2006: Proc./13th 
International Conference Bangalore,India,December 2006/Ed. 
by  Y.Robert, V.Parashar, R.Badrinath, V.K.Prasanna.-Berlin: 
Springer, 2006.-Vol. 4297.-642 p.-(Lecture Notes in Computer 
Science).
 
 22. Service-Oriented Computing - ICSOC 2006: Proc./4th 
International Conference Chicago,IL,December 2006/Ed. by  
A.Dan, W.Lamersdorf.-Berlin: Springer, 2006.-Vol. 4294.-653 
p.-(Lecture Notes in Computer Science).
 
 23. Principles of Distributed Systems: Proc./10th 
International Conference,OPODIS 2006 
Bordeaux,France,December 2006/Ed. by  A.A.Shvartsman.-Berlin:
 Springer, 2006.-Vol. 4305.-441 p.-(Lecture Notes in 
Computer Science).
 
 24. FSTTCS 2006: Foundations of Software Technology and 
Theoretical Computer Science: Proc./26th International 
Conference Kolkata,India,December 2006/Ed. by  S.Arun-Kumar, 
N.Garg.-Berlin: Springer, 2006.-Vol. 4337.-430 p.-(Lecture 
Notes in Computer Science).
 
 25. Соколова В.В. Теория и алгоритмы обработки рекурсивных 
информационных структур: Автореф. дис... канд. тех. наук: 
05.13.01.-Томск, 2007.-24 с.-Библиогр.: c.22-24.
 
 26. Налимов К.Г. Информационная система эхометрирования 
многоимпульсными сигналами для определения уровня жидкости в 
нефтедобывающих скважинах: Автореф. дис... канд. тех. наук: 
05.13.01.-Томск, 2007.-22 с.-Библиогр.: c.22.
 
 27. Дмитриева О.Н. Математическое моделирование процесса 
развития лесонасаждений: Автореф. дис... канд. ф.-м. наук: 
05.13.18.-Москва, 2007.-16 с.-Библиогр.: c.16.
 
 28. Назарова И.А. Комбинаторные методы анализа уязвимости 
многопродуктовых сетей: Автореф. дис... канд. ф.-м. наук: 
05.13.18.-Москва, 2007.-20 с.-Библиогр.: c.20.
 
 29. Технологии Microsoft в теории и практике 
программирования: Тезисы докладов/Конференция-конкурс работ 
студентов, аспирантов и молодых ученых,24-26 февраля 
2007г.,Новосибирск,Академгородок/Министерство образования и 
науки Российской федерации. Microsoft Corporation; .
-Новосибирск, 2007.-194 с.
 
 30. Interactive Systems. Design, Specification, and 
Verification: Revised Paper/13th International 
Workshop,DSVIS 2006 Dublin,Ireland,July 2006/Ed. by  Doherty 
G., Blandford A.-Berlin: Springer, 2007.-Vol. 4323.-269 p.
-(Lecture Notes in Computer Science).
 
 31. Sistems Biology and Regulatory Genomics: Revised 
Selected Papers/Joint Annual RECOMB 2005 Satellite Workshops 
on Systems Biology and on Regulatory Genomics San Diego,CA 
USA,December 2005/Ed. by  Eskin E., Ideker T., Raphael B., 
Workman Ch.-Berlin: Springer, 2007.-Vol. 4023.-259 p.
-(Lecture Notes in Bioinformatics).
 
 32. New Frontiers in Artifical Intelligence: Revised 
Seleced Papers/JSAI 2006 Conference and Workshops 
Tokyo,Japan,June 2006/Ed. by  Washio T., Satoh K., Takeda 
H., Inokuchi A.-Berlin: Springer, 2007.-Vol. 4384.-401 p.
-(Lecture Notes in Artificial Intelligence).
 
 33. KI 2006: Advances in Artificial Intelligence: 
Proc./29th Annual German Conference on AI,KI 
2006,Bremen,Germany,June 2006/Ed. by  Freksa Ch., Kohlhase 
M., Schill K.-Berlin: Springer, 2007.-Vol. 4314.-458 p.
-(Lecture Notes in Artificial Intelligence).



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