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).