Hовые поступления с 20 апреля по 14 мая 2009 года
1. Институт вычислительной математики и математической геофизики (ВЦ) СО РАН. Страницы истории/Ред. Б.Г.Михайленко; СО РАН. ИВМ и МГ СО РАН. .- Новосибирск: Академическое изд-во "Гео", 2008.- 612 с. 2. Бородин О. Н. Построение специализированной системы информационного поиска в объектно-реляционной базе данных АПК: Автореф. дис... канд. тех. наук: 05.13.01.-М., 2009.-20 с.-Библиогр.: c.20. 3. Яшина В.В. Построение и исследование дескриптивных алгебр изображений с одним кольцом: Автореф. дис... канд. ф.-м. наук: 05.13.17.-М., 2009.-26 с.-Библиогр.: c.25-26. 4. Трусова Ю.О. Представление предметной области "Анализ изображений" в виде специализированного тезауруса: Автореф. дис... канд. тех. наук: 05.13.17.-М., 2009.-26 с.-Библиогр.: c.24-26. 5. Ващенко М.П. Математические модели инвестиций в условиях ожидания кризиса: Автореф. дис... канд. ф.-м. наук: 05.13.18.-М., 2009.-15 с.-Библиогр.: c.15. 6. Белова И.Н. Матричные модели динамики популяций с дискретными структурами: Автореф. дис... канд. ф.-м. наук: 05.13.18.-М., 2009.-23 с.-Библиогр.: c.20-23. 7. Стасенко А.П. Модели и реализация транслирующих компонентов системы функционального программирования: Автореф. дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2009. -22 с.-Библиогр.: c.20-22. 8. Саломатина Н.В. Методы и программные средства выделения и численного оценивания вариативности языковых единиц: Автореф. дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2009. -24 с.-Библиогр.: c.22-24. 9. Сборник упражнений по программированию на языке ПАСКАЛЬ/ В.А. Агафонов, И.В. Поттосин, М.М. Бежанова и др.; Министерство высшего и среднего специального образования РСФСР. НГУ. .- Новосибирск, 1985.- 79 с.-Библиогр.: c.78. 10. Батура Т.В., Мурзин Ф.А. Машинно-ориентированные логические методы отображения семантики текста на естественном языке/ИСИ СО РАН. .- Новосибирск, 2008.- 248 с. -Библиогр.: c.202-207. 11. Методы параллельного микропрограммирования/Ред. О.Л.Бандман; ИМ СО АН СССР. .- Новосибирск: Наука, 1981.- 180 с.-Библиогр.: c.173-176. 12. Kotov E.V., Narin'Any A.S., Tyugu E.N. The USSR Academy of Sciences START Project//Information Processing 89.-1989. -P.623-626.-Bibliogr.: p.626. 13. Kotov V.E. Modular Highly-parallel Computation and Architectures//Parcella'88.-Berlin, 1988.-Vol. 48.-P.147-155. -Bibliogr.: p.155. 14. Максимов М.И. Оптимальные и субоптимальные алгоритмы обработки речевых сообщений при наличии адитивных искажений: Автореф. дис... канд. тех. наук: 05.13.17.-Воронеж, 2009.-24 с.-Библиогр.: c.24. 15. Васильев А.В. Эффективные алгоритмы в модели квантовых ветвящихся программ: Автореф. дис... канд. ф.-м. наук: 01.01.09.-Казань, 2009.-15 с.-Библиогр.: c.15. 16. Малков М.А. Моделирование и разработка комплекса программ идентификации голосового сообщения по фонемной составляющей и индивидуальным характеристикам голоса: Автореф. дис... канд. тех. наук: 05.13.18.-М., 2009.-22 с. -Библиогр.: c.21-22. 17. Воблый В.А. Некоторые задачи пересчисления помеченных связных графов: Автореф. дис... канд. ф.-м. наук: 01.01.09. -М., 2009.-21 с.-Библиогр.: c.20-21. 18. Graph-Theoretic Concepts in Computer Science: Revised Papers/34th International Workshop, WG 2008 Durham, UK, June/July 2008/Ed. by H.Broersma, Th.Erlebach, T.Friedetzky, D.Paulusma.-Berlin, Heidelberg: Springer, 2008. -Vol. 5344.-386 p.-(Lecture Notes in Computer Science). 19. Compiler Construction: Proc./18th International Conference, CC 2009, ETAPS 2009, York, UK, March 2009/Ed. by O.De_Moor, M.I.Schwartzbach.-Berlin, Heidelberg: Springer, 2009.-Vol. 5501.-281 p.-(Lecture Notes in Computer Science). 20. Programming Languages and Systems: Proc./18th European Symposium ESOP 2009, ETAPS 2009, York, UK, March 2009/Ed. by G.Castagna.-Berlin, Heidelberg: Springer, 2009.-Vol. 5502. -411 p.-(Lecture Notes in Computer Science). 21. Fundamntal Approaches to Software Engineering: Proc./12th International Conference, EASE 2009, ETAPS 2009, York, UK, March 2009/Ed. by M.Chechik, M.Wirsing.-Berlin, Heidelberg: Springer, 2009.-Vol. 5503.-488 p.-(Lecture Notes in Computer Science). 22. Foundations of Software Science and Computational Structures: Proc./12th Intarnational Conference, FOSSACS 2009, ETAPS 2009, York. UK, March 2009/Ed. by L.De_Alfaro. -Berlin, Heidelberg: Springer, 2009.-Vol. 5504.-471 p. -(Lecture Notes in Computer Science). 23. Tools and Algorithms for the Construction and Analysis of Systems: Proc./15th International Conference, TACAS 2009, ETAPS 2009, York, UK, March 2009/Ed. by S.Kowalewski, A.Philippou.-Berlin, Heidelberg: Springer, 2009.-Vol. 5505. -456 p.-(Lecture Notes in Computer Science). 24. Parallel Processing/Ed. by G.Goos, J.Hartmanis. -Berlin, Heidelberg: Springer, 1975.-Vol. 24.-433 p. -(Lecture Notes in Computer Science). 25. Computer Performance Evaluation and Benchmarking: Proc./SPEC Benchmark Workshop 2009, Austin, TX,USA, January 2009/Ed. by D.Kaeli, K.Sachs.-Berlin, Heidelberg: Springer, 2009.-Vol. 5419.-145 p.-(Lecture Notes in Computer Science). 26. Service-Oriented Computing - ICSOC 2007 Workshops: Revised Selected Papers/ ICSOC 2007, International Workshops, Vienna, Austria, September 2007/Ed. by E.Di Nitto. -Berlin, Heidelberg: Springer, 2009.-Vol. 4907.-452 p. -(Lecture Notes in Computer Science). 27. Engineering Secure Software and Systems: Proc./First International Symposium, ESSoS 2009, Leuven, Belgium, February 2009/Ed. by F.Massacci, S.T.Redwine_Jr., N.Zannone. -Berlin, Heidelberg: Springer, 2009.-Vol. 5429.-201 p. -(Lecture Notes in Computer Science). 28. Membrane Computing: Revised Selected and Invited Papers/9th International Workshop, WMC 2008, Edinburgh, UK, July 2008/Ed. by D.W.Corne, P.Frisco, G.Paun, G.Rozenberg. -Berlin, Heidelberg: Springer, 2009.-Vol. 5391.-403 p. -(Lecture Notes in Computer Science). 29. Complexity of Constraints: An Overview of Current Research Themes/Ed. by N.Creignou, P.G.Kolaitis, H.Vollmer. -Berlin, Heidelberg: Springer, 2008.-Vol. 5250.-321 p. -(Lecture Notes in Computer Science). 30. Transactions on Computational Science III/Ed. by M.L.Gavrilova, C.J.K.Tan.-Berlin, Heidelberg: Springer, 2009. -Vol. 5300.-185 p.-(Lecture Notes in Computer Science). 31. Software Engineering: Revised Tutorial Lectures/ International Summer Schools ISSSE 2006-2008, Salerno, Italy/ Ed. by A.De Luchia, F.Ferrucci.-Berlin, Heidelberg: Springer, 2009.-Vol. 5413.-257 p.-(Lecture Notes in Computer Science). 32. Biometrics and Identity Management: Revised Selected Papers/ First European Workshop, BIOID 2008, Roskilde, Denmark, May 2008/Ed. by B.Schouten, N.Ch.Juul, A.Drygajlo, M.Tistarelli.-Berlin, Heidelberg: Springer, 2008.-Vol. 5372. -259 p.-(Lecture Notes in Computer Science). 33. Approximation and Online Algorithms: Revised Papers/6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 2008/Ed. by E.Bampis, M.Skutella.-Berlin, Heidelberg: Springer, 2009.-Vol. 5426.-293 p.-(Lecture Notes in Computer Science). 34. Integrated Formal Mathods: Proc./7th International Conference, IFM 2009, Dusseldorf, Germany, February 2009/Ed. by M.Leuschel, H.Wehrheim.-Berlin, Heidelberg: Springer, 2009.-Vol. 5423.-367 p.-(Lecture Notes in Computer Science). 35. Reconfigurable Computing: Architectures, Tools and Applications: Proc./5th International Workshop, ARC 2009, Karlsruhe, Germany, March 2009/Ed. by J.Becker, R.Woods, P.Athanas, F.Morgan.-Berlin, Heidelberg: Springer, 2009. -Vol. 5453.-388 p.-(Lecture Notes in Computer Science). 36. High Performance Embedded Architectures and Compilers: Proc./Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 2009/Ed. by A.Soznec, J.Emer, M.O'Boyle, M.Martonosi.-Berlin, Heidelberg: Springer, 2009.-Vol. 5409. -420 p.-(Lecture Notes in Computer Science). 37. Numerical Analysis and Its Applications: Revised Selected Papers/4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 2008/Ed. by S.Margenov, L.G.Vulkov, J.Wasniewski.-Berlin, Heidelberg: Springer, 2009. -Vol. 5434.-636 p.-(Lecture Notes in Computer Science). 38. SOFSEM 2009: Theory and Practice of Computer Science: Proc./35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 2009/Ed. by M.Nielsen, A.Kucera, P.B.Miltersen, C.Palamidessi.-Berlin, Heidelberg: Springer, 2009.-Vol. 5404.-670 p.-(Lecture Notes in Computer Science). 39. WALCOM: Algorithms and Computation: Proc./Third International Workshop, WALCOM 2009, Kolkata, India, February 2009/Ed. by S.Das, R.Uehara.-Berlin, Heidelberg: Springer, 2009.-Vol. 5431.-408 p.-(Lecture Notes in Computer Science). 40. Computer Security - ESORICS 2008: Proc./13th European Symposium on Research in Computer Security, Malaga, Spain, October, 2008/Ed. by S.Jajodia, J.Lopez.-Berlin, Heidelberg: Springer, 2008.-Vol. 5283.-602 p.-(Lecture Notes in Computer Science). 41. Language and Automata Theory and Applications: Proc./Third International Conference, LATA 2009, Tarragona, Spain, April 2009/Ed. by A.H.Dediu, A.M.Ionescu, C.Martin-Vide.-Berlin, Heidelberg: Springer, 2009.-Vol. 5457. -754 p.-(Lecture Notes in Computer Science). 42. Transactions on Computational Systems Biology X/Ed. by C.Priami.-Berlin, Heidelberg: Springer, 2008.-Vol. 5410.-197 p.-(Lecture Notes in Bioinformatics). 43. Constraint Handling Rules: Current Research Topics/Ed. by T.Schrijvers, Th.Fruhwirth.-Berlin, Heidelberg: Springer, 2008.-Vol. 5388.-245 p.-(Lecture Notes in Artificial Intelligence). 44. Declarative Agent Languages and Technologies VI: Revised Selected and Invited Papers/6th International Workshop, DALT 2008, Estoril, Portugal, May 2008/Ed. by M.Baldoni, T.C.Son, M.B.Van_Riemsdijk, M.Winikoff.-Berlin, Heidelberg: Springer, 2009.-Vol. 5397.-251 p.-(Lecture Notes in Artificial Intelligence). 45. Gesture-Based Human-Computer Interaction and Simulation: Revised Selected Papers/7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 2007/Ed. by M.S.Dias, S.Gibet, M.M.Wanderley, R.Bastos.-Berlin, Heidelberg: Springer, 2009.-Vol. 5085.-284 p.-(Lecture Notes in Artificial Intelligence). 46. Quantum Interaction: Proc./Third International Symposium, QI 2009, Saarbrucken, Germany, March 2009/Ed. by P.Bruza, D.Sofge, W.Lawless, M.Klusch.-Berlin, Heidelberg: Springer, 2009.-Vol. 5494.-315 p.-(Lecture Notes in Artificial Intelligence). 47. Trust in Agent Societies: Revised Selected and Invited Papers/11th International Workshop, TRUST 2008, Estoril, Portugal, May 2008/Ed. by R.Falcone, S.K.Barber, J.Sabater-Mir, M.P.Singh.-Berlin, Heidelberg: Springer, 2008. -Vol. 5396.-349 p.-(Lecture Notes in Artificial Intelligence). 48. Computer Processing of Oriental Languages/ Language Technology for the Knowledge-based Economy: Proc./22nd International Conference, ICCPOL 2009, Hong Kong, March 2009/ Ed. by W.Li, D.Molla-Aliod.-Berlin, Heidelberg: Springer, 2009.-Vol. 5459.-404 p.-(Lecture Notes in Artificial Intelligence). 49. Sanskrit Computational Linguistics: Revised Selected and Invited Papers/ First and Second International Sumposia, Rocquencourt, France, October 2007, Providence, RI, USA, May 2008/Ed. by G.Huet, A.Kulkarni, P.Scharf.-Berlin, Heidelberg: Springer, 2009.-Vol. 5402.-425 p.-(Lecture Notes in Artificial Intelligence). 50. Logik and Its Applications: Proc./Third Indian Conference, ICLA 2009, Chennai India, January 2009/Ed. by R.Ramanujam, S.Sarukkai.-Berlin, Heidelberg: Springer, 2009. -Vol. 5378.-269 p.-(Lecture Notes in Artificial Intelligence). 51. Distributed Computing and Networking: Proc./10th International Conference, ICDCN 2009, Hyderabad, India, January 2009/Ed. by V.Garg, R.Wattenhofer, K.Kothapalli. -Berlin, Heidelberg: Springer, 2009.-Vol. 5408.-476 p. -(Lecture Notes in Computer Science). 52. Verification, Model Checking, and Abstract Interpretation: Proc./100th International Conference, VMCAI 2009, Savannah, GA, USA, January 2009/Ed. by N.D.Jones, M.Muller-Olm.-Berlin, Heidelberg: Springer, 2009.-Vol. 5403. -381 p.-(Lecture Notes in Computer Science). 53. Advances in Multimedia Modeling: Proc./15th International Conference, MMM 2009, Sophia-Antipolis, France, January 2009/Ed. by B.Huet, A.Smeaton, K.Mayer-Patel, Y.Avrithis.-Berlin, Heidelberg: Springer, 2009. -Vol. 5371.-498 p.-(Lecture Notes in Computer Science).