Hовые поступления со 2 апреля по 28 апреля 2007 года
1. Bioinformatics Research and Development: Proc./First International Conference, BIRD 2007. Berlin, Germany, March 2007/Ed. by S.Hochreiter, R.Wagner.-Berlin, Heidelberg: Springer, 2007.-Vol. 4144.-482 p.-(Lecture Notes in Bioinformatics). 2. Anaphora: Analysis, Algorithms, and Applications: Selected Papers/6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007. Lagos, Portugal, March 2007/Ed. by A.Branco.-Berlin, Heidelberg: Springer, 2007. -Vol. 4410.-191 p.-(Lecture Notes in Artificial Intelligence). 3. Environments for Multi-Agent Systems III: Selected Revised and Invited Papers/3rd International Workshop, E4MAS 2006. Hakodate, Japan, May 2006/Ed. by D.Weyns, Dyke Parunak H.Van, F.Michel.-Berlin, Heidelberg: Springer, 2007. -Vol. 4389.-273 p.-(Lecture Notes in Artificial Intelligence). 4. Learning Classifier Systems: Revised Selected Papers/International Workshops, IWLCS 2003-2005/Ed. by T.Kovacs, X.Llora, K.Takadama, P.L.Lanzi.-Berlin, Heidelberg: Springer, 2007.-Vol. 4399.-345 p.-(Lecture Notes in Artificial Intelligence). 5. New Frontiers in Artificial Intelligence: Revised Selected Papers/JSAI 2003 & 2004 Conferences and Workshops, Niigata, Japan, June 2003, Kanazawa, Japan, May/June 2004/ Ed. by A.Sakurai, K.Hasida, K.Nitta.-Berlin, Heidelberg: Springer, 2007.-Vol. 3609.-548 p.-(Lecture Notes in Artificial Intelligence). 6. Logic-Based Program Synthesis and Transformation: Revised Selected Papers/16th International Symposium, LOPSTR 2006. Venice, Italy, July 2006/Ed. by G.Puebla.-Berlin, Heidelberg: Springer, 2007.-Vol. 4407.-237 p.-(Lecture Notes in Computer Science). 7. Compiler Construction: Proc./16th Intl Conference, CC 2007, Held as Part of the Joint European Conferences on the Theory and Practice of Software, ETAPS 2007. Braga, Portugal, March 2007/Ed. by Sh.Krishnamurthi, M.Odersky. -Berlin, Heidelberg: Springer, 2007.-Vol. 4420.-233 p. -(Lecture Notes in Computer Science). 8. Wireless Systems and Mobility in Next Generation Internet: Revised Selected Papers/Third Intl Workshop of the EURO-NGI Network of Excellence. Sitges, Spain, June 2006/Ed. by J.Garcia-Vidal, L.Cerda-Alabern.-Berlin, Heidelberg: Springer, 2007.-Vol. 4396.-271 p.-(Lecture Notes in Computer Science). 9. B 2007: Formal Specification and Development in B: Proc./7th International Conference of B Users. Besancon, France, January 2007/Ed. by J,Julliand, O.Kouchnarenko. -Berlin, Heidelberg: Springer, 2007.-Vol. 4355.-293 p. -(Lecture Notes in Computer Science). 10. Architecture of Computing Systems - ARCS 2007: Proc./20th International Conference. Zurich, Switzerland, March 2007/Ed. by P.Lukowicz, L.Thiele, G.Troester.-Berlin, Heidelberg: Springer, 2007.-Vol. 4415.-297 p.-(Lecture Notes in Computer Science). 11. Reliable Systems on Unreliable Networked Platforms: Revised Selected Papers/12th Monterey Workshop 2005. Laguna Beach, CA, USA, September 2005/Ed. by F.Kordon, J.Sztipanovits.-Berlin, Heidelberg: Springer, 2007.-Vol. 4322. -317 p.-(Lecture Notes in Computer Science). 12. Foundations of Software Science and Computational Structures:Proc./10th Intl Conference FOSSACS 2007, part of Joint European Conferences on Theory & Practice of Software, ETAPS 2007. Braga, Portugal, March/April 2007/Ed. by H.Seidl. -Berlin, Heidelberg: Springer, 2007.-Vol. 4423.-379 p. -(Lecture Notes in Computer Science). 13. Reconfigurable Computing: Architectures, Tools, and Applications: Proc./Third International Workshop, ARC 2007. Mangaratiba, Brazil, March 2007/Ed. by P.C.Diniz, E.Marques, K.Bertels, Fernandes M.Merino.-Berlin, Heidelberg: Springer, 2007.-Vol. 4419.-392 p.-(Lecture Notes in Computer Science). 14. Computer Vision/Computer Graphics Collaboration Techniques: Proc./Third International Conference, MIRAGE 2007. Rocquencourt, France, March 2007/Ed. by A.Gagalowicz, W.Philips.-Berlin, Heidelberg: Springer, 2007.-Vol. 4418. -620 p.-(Lecture Notes in Computer Science). 15. Fundamental Approaches to Software Engineering: Proc./19th Intl Conference, FASE 2007, part of ETAPS 2007. Braga, Portugal, March/April 2007/Ed. by M.B.Dwyer, A.Lopes. -Berlin, Heidelberg: Springer, 2007.-Vol. 4422.-440 p. -(Lecture Notes in Computer Science). 16. Tools and Algorithms for the Construction and Analysis of Systems: Proc./13th Intl Conference TACAS 2007, Part of ETAPS 2007. Braga, Portugal, March/April 2007/Ed. by O.Grumberg, M.Huth.-Berlin, Heidelberg: Springer, 2007.-Vol. 4424.-738 p.-(Lecture Notes in Computer Science). 17. Languages and Compilers for Parallel Computing: Revised Selected Papers/18th International Workshop, LCPC 2005. Hawthorne, NY, USA, October 2005/Ed. by E.Ayguade, G.Baumgartner, J.Ramanujam, P.Sadayappan.-Berlin, Heidelberg: Springer, 2007.-Vol. 4339.-476 p.-(Lecture Notes in Computer Science). 18. Advances in Information Retrieval: Proc./29th European Conference on IR Research, ECIR 2007. Rome, Italy, April 2007 /Ed. by G.Amati, C.Carpinetto, G.Romano.-Berlin, Heidelberg: Springer, 2007.-Vol. 4425.-759 p.-(Lecture Notes in Computer Science). 19. Hybrid Systems: Computation and Control: Proc./10th International Conference, HSCC 2007. Pisa, Italy, April 2007/ Ed. by A.Bemporad, A.Bicchi, G.Buttazzo.-Berlin, Heidelberg: Springer, 2007.-Vol. 4416.-797 p.-(Lecture Notes in Computer Science). 20. Programming Languages and Systems: Proc./16th European Symposium on Programming, ESOP 2007, Part of ETAPS 2007. Braga, Portugal, March/April 2007/Ed. by Nicola R.De. -Berlin, Heidelberg: Springer, 2007.-Vol. 4421.-538 p. -(Lecture Notes in Computer Science). 21. Transactions on Rough Sets VI/Ed. by J.F.Peters, A.Skowron.-Berlin, Heidelberg: Springer, 2007.-Vol. 4374. -499 p.-(Lecture Notes in Computer Science). 22. Perspectives of System Informatics: Revised Papers/6th International Andrei Ershov Memorial Conference, PSI 2006. Novosibirsk, Russia, June 2006/Ed. by I.Virbitskaite, A.Voronkov.-Berlin, Heidelberg: Springer, 2007.-Vol. 4378. -496 p.-(Lecture Notes in Computer Science). 23. Дубрановский И.В. На пути к верификации C#-программ: алгоритмы перевода из C# Light в C#-Kernel.-Новосибирск, 2007. -55 с.-(Препринт/ИСИ СО РАН; N 140). 24. Арапбаев Р.Н., Евстигнеев В.А., Осмонов Р.А. Сравнительный анализ тестов на зависимость по данным. -Новосибирск, 2007.-36 с.-(Препринт/ИСИ СО РАН; N 141). 25. Бодин Е.В., Калинина Н.А., Шилов Н.В. Проект верифицирующего компилятора F@BOOL@: Часть I: Логические аннотации в языке MINI-NIL, их статическая семантика и семантика времени исполнения.-Новосибирск, 2007.-31 с. -(Препринт/ИСИ СО РАН; N 138). 26. Промский А.В. Применение трехуровневого подхода к верификации программ на языке C#-Light.-Новосибирск, 2007. -55 с.-(Препринт/ИСИ СО РАН; N 139). 27. Симуляция и верификация статических SDL-спецификаций распределенных систем с помощью промежуточного языка REAL /В.А. Непомнящий, Е.В. Бодин, С.О. Веретнов и др. . -Новосибирск, 2007.-70 с.-(Препринт/ИСИ СО РАН; N 142). 28. Марьясов Д.А. Анализ и прогнозирование финансового рынка на основе модели детерминированного хаоса: Автореф. дис... канд. техн. наук: 05.13.01.-Томск, 2007.-21 с. -Библиогр.: c.19-21. 29. Грищенко В.С. Метрики репутации: модели и алгоритмы построения открытых информационных сред: Автореф. дис... канд. ф.-м. наук: 05.13.18.-Екатеринбург, 2007.-12 с. -Библиогр.: c.12. 30. Серебренникова Н.В. Модели и методы расчета параметров производительности сотовых сетей связи: Автореф. дис... канд. ф.-м. наук: 05.13.17.-Москва, 2007.-18 с.-Библиогр.: c.18. 31. Кварацхелия А.Г. Методы решения задачи минимизации суммарного запаздывания для одного прибора и задачи разбиения: Автореф. дис... канд. ф.-м. наук: 01.01.09.-Москва, 2007.-19 с.-Библиогр.: c.18-19. 32. Сенько О.В. Методы эмпирического прогнозирования, основанные на устойчивых разбиениях и коллективных решениях: Автореф. дис... докт. ф.-м. наук: 05.13.17.-Москва, 2007.-36 с.-Библиогр.: c.30-36. 33. Цой Ю.Р. Нейроэволюционный алгоритм и программные средства для обработки изображений: Автореф. дис... канд. техн. наук: 05.13.01.-Томск, 2007.-20 с.-Библиогр.: c.17-20. 34. Молодая информатика: сборник трудов аспирантов и молодых ученых/ИСИ СО РАН; Ред. И.С.Ануреев.-Новосибирск, 2006, Вып. 2.-170 с. 35. Андреева Т.А. Программирование на языке PASCAL: учебное пособие/Интернет-Университет информационных технологий. БИНОМ. Лаборатория знаний. .- Москва: Бином, 2006.- 234 с. -(Основы информационных технологий).-Библиогр.: c.233-234. 36. Представление и использование знаний/Х. Уэно, Т. Кояма, Т. Окамото и др.;Ред. Х. Уэно, М. Исидзука. .- Токио: Мир, 1989.- 220 с.