Hовые поступления с 10 ноября по 22 декабря 2008 года
1. IP Operations and Management: Proc./8th IEEE International Workshop, IPOM 2008. Samos Island, Greece, September 2008/Ed. by N.Akar, M.Pioro, Ch.Skianis.-Berlin, Heidelberg: Springer, 2008. -Vol. 5275.-155 p.-(Lecture Notes in Computer Science). 2. Modeling Autonomic Communications Environments: Proc./Third IEEE International Workshop, MACE 2008. Samos Island, Greece, September 2008/Ed. by Der Meer S.Van, M.Burgess, S.Denazis. -Berlin, Heidelberg: Springer, 2008.-Vol. 5276.-127 p.-(Lecture Notes in Computer Science). 3. Management of Convergent Multimedia Networks and Services: Proc./11th IFIP/IEEE Intl Conf. on Management of Multimedia & Mobile Networks & Services, MMNS 2008. Samos Island, Greece, September 2008/Ed. by G.Pavlou, T.Ahmed, T.Dagiuklas.-Berlin, Heidelberg: Springer, 2008.-Vol. 5274.-171 p.-(Lecture Notes in Computer Science). 4. Haptic and Audio Interaction Design: Proc./Third International Workshop, HAID 2008. Jyvaskyla, Finland, September 2008/Ed. by A.Pirhonen, S.Brewster.-Berlin, Heidelberg: Springer, 2008.-Vol. 5270.-131 p.-(Lecture Notes in Computer Science). 5. Managing Large-Scale Service Deployment: Proc./19th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2008. Samos Island, Greece, September 2008/Ed. by G.Pavlou, T.Ahmed, T.Dagiuklas.-Berlin, Heidelberg: Springer, 2008.-Vol. 5273.-197 p.-(Lecture Notes in Computer Science). 6. Coding Theory and Applications: Proc./Second International Castle Meeting, ICMCTA 2008. Castillo de la Mota, Medina del Campo, Spain, September 2008/Ed. by A.Barbero.-Berlin, Heidelberg: Springer, 2008.-Vol. 5228.-197 p.-(Lecture Notes in Computer Science). 7. Verified Software: Theories, Tools, Experiments: Proc./Second International Conference, VSTTE 2008. Toronto, Canada, October 2008/Ed. by N.Shankar, J.Woodcock.-Berlin, Heidelberg: Springer, 2008.-Vol. 5295.-263 p.-(Lecture Notes in Computer Science). 8. Computer Performance Engineering: Proc./5th European Performance Engineering Workshop, EPEW 2008. Palma de Mallorca, Spain, September 2008/Ed. by N.Thomas, C.Juiz.-Berlin, Heidelberg: Springer, 2008.-Vol. 5261.-269 p.-(Lecture Notes in Computer Science). 9. Engineering Interactive Systems 2008: Proc./Second International Conference on Human-Centerend Software Engineering, HCSE & 7th Intl WS on Task Models and Diagrams, TAMODIA 2008. Pisa, Italy, September 2008/Ed. by P.Forbig, F.Paterno.-Berlin, Heidelberg: Springer, 2008.-Vol. 5247.-306 p.-(Lecture Notes in Computer Science). 10. Abstract State Machines, B and Z: Proc./First International Conference, ABZ 2008. London, UK, September 2008/Ed. by E.Boerger, M.Butler, J.P.Bowen, P.Boca.-Berlin, Heidelberg: Springer, 2008.-Vol. 5238.-382 p.-(Lecture Notes in Computer Science). 11. Апанович З.В. От рисования графов к визуализации информации. -Новосибирск, 2007.-27 с.-(Препринт/СО РАН. ИСИ СО РАН; N 148). 12. Касьянов В.Н. Проблемы преобразования программ.-Новосибирск, 1988.-27 с.-(Препринт/ВЦ СО АН СССР; N 785). 13. Кубасов С. В. Верификация автоматных программ в контексте синхронного программирования: Автореф. дис... канд. тех. наук: 05.13.11.-Ярославль, 2008.-19 с.-Библиогр.: c.18-19. 14. Фалалеев М. В. Теория фундаментальных оператор-функций вырожденных интегро-дифференциальных операторов в Банаховых пространствах: Автореф. дис... канд. физ.-мат. наук: 01.01.02. -Иркутск, 2008.-34 с.-Библиогр.: c.30-34. 15. Фадеев А. С. Идентификация музыкальных объектов на основе непрерывного вайвлет-преобразования: Автореф. дис... канд. тех. наук: 05.13.01.-Томск, 2008.-20 с.-Библиогр.: c.19-20. 16. Вичугов В. Н. Нейросетевой метод управления на основе подкрепляемого обучения: Автореф. дис... канд. тех. наук: 05.13.01. -Томск, 2008.-21 с.-Библиогр.: c.20-21. 17. Суходоев М. С. Корневой анализ и синтез систем с интервальными параметрами на основе вершинных характеристических полиномов: Автореф. дис... канд. тех. наук: 05.13.01.-Томск, 2008. -21 с.-Библиогр.: c.20-21. 18. Костылев Е. В. Алгоритмы антиунификации и их применение для вычисления инвариантов программ: Автореф. дис... канд. физ.-мат. наук: 01.01.09.-Москва, 2008.-23 с.-Библиогр.: c.23. 19. Толпегин П. В. Автоматическое разрешение кореференции местоимений третьего лица русскоязычных текстов: Автореф. дис... канд. тех. наук: 05.13.17.-М., 2008.-25 с.-Библиогр.: c.25. 20. Плотников П. В. Автоматизация проектирования систем цифровой фильтрации в базисах ПЛИС и заказных микросхем: Автореф. дис... канд. тех. наук: 05.13.12.-Владимир, 2008.-19 с.-Библиогр.: c.18-19. 21. Нгуен Минь Туан Разработка алгоритмов построения оценок достоверности для систем распознавания речи: Автореф. дис... канд. тех. наук: 05.13.11.-М., 2008.-22 с.-Библиогр.: c.22. 22. Щетинин Д. В. Управляемая текстами система имитационного моделирования наземного движения воздушных судов: Автореф. дис... канд. тех. наук: 05.13.11.-Тверь, 2008.-23 с.-Библиогр.: c.22-23. 23. Крайнева И. А. Научная биография академика А. П. Ершова: Автореф. дис... канд. ист. наук: 07.00.10.-Томск, 2008.-39 с. -Библиогр.: c.38-39. 24. Дубцов Р. С. Теоретико-категорное исследование семантики областей Скотта параллельных моделей с реальным временем: Автореф. дис... канд. физ.-мат. наук: 05.13.11.-Новоосибирск, 2008. -18 с.-Библиогр.: c.16-18. 25. Дубцов Р. С. Теоретико-категорное исследование семантики областей Скотта параллельных моделей с реальным временем: Дис... канд. физ.-мат. наук: 05.13.11.-Новосибирск, 2008.-116 с. -Библиогр.: c.109-116. 26. Демин А. В. Логико-вероятностный метод извлечения знаний и его применение в задачах прогнозирования и управления: Автореф. дис... канд. физ.-мат. наук: 05.13.11.-Новосибирск, 2008.-18 с. -Библиогр.: c.16-18. 27. Демин А. В. Логико-вероятностный метод извлечения знаний и его применение в задачах прогнозирования и управления: Дис... канд. физ.-мат. наук: 05.13_11.-Новосибирск, 2008.-18 с. -Библиогр.: c.16-18. 28. Арапбаев Р. Н. Анализ зависимостей по данным: тесты на зависимость и стратегии тестирования: Автореф. дис... канд. физ.-мат. наук: 05.13.11.-Новосибирск, 2008.-18 с.-Библиогр.: c.17-18. 29. Арапбаев Р. Н. Анализ зависимостей по данным: тесты на зависимость и стратегии тестирования: Дис... канд. физ.-мат. наук: 05.13.11.-Новосибирск, 2008.-116 с.-Библиогр.: c.105-116. 30. Быстров А. В. Спецификация и анализ распределенных систем с использованием инструментальных средств, поддерживающих модели сетей Петри: Автореф. дис... канд. физ.-мат. наук: 05.13.11. -Новосибирск, 2008.-18 с.-Библиогр.: c.16-18. 31. Быстров А. В. Спецификация и анализ распределенных систем с использованием инструментальных средств, поддерживающих модели сетей Петри: Дис... канд. физ.-мат. наук: 05.13.11.-Новосибирск, 2008.-136 с.-Библиогр.: c.116-126. 32. Информационные технологи в общеобразовательной школе/ Сборник материалов международной телеконференции 10.11.2000 - 30.01.2001/Российская академия образования. Сибирский институт образовательных технологий; .-Новосибирск, 2002.-327 с. 33. Tarasyuk I. Investigating equivalence relations in dtsPBC. -Oldenburg, 2008.-51 p.-(Rep./Ossietzky Universitat; N 05/08). 34. Graphics Recognition: Recent Advances and New Opportunities: Selected Papers/ 7th International Workshop, GREC 2007 Curitiba, Brazil, September 2007/Ed. by W.Liu, J.Llados, J.-M.Ogier. -Springer, Heidelberg: Springer, 2008.-Vol. 5046.-336 p.-(Lecture Notes in Computer Science). 35. Rwsearch and Advanced Technology for Digital Libraries: Proc./ 12th European Conference, ECDL 2008. Aarhus, Denmark, September 2008/Ed. by B.Christensen-Dalsgaard, D.Castelli, B.A.Jurik, J.Lippincott.-Springer, Heidelberg: Springer, 2008. -Vol. 5173.-461 p.-(Lecture Notes in Computer Science). 36. Advances in Neural Networks - ISNN 2008. Part I: Proc./5th International Symposium on Neural Networks, ISSN 2008. Beijing, China, September 2008/Ed. by F.Sun, J.Zhang, Y.Tan, J.Cao. -Springer, Heidelberg: Springer, 2008.-Vol. 5263.-908 p.-(Lecture Notes in Computer Science). 37. Advances in Neural Networks - ISNN 2008. Part II: Proc./5th International Symposium on Neural Networks, ISNN 2008. Beijing, China, September 2008/Ed. by F.Sun, J.Zhang, Y.Tan, J.Cao. -Springer, Heidelberg: Springer, 2008.-Vol. 5264.-846 p.-(Lecture Notes in Computer Science). 38. Distributed Computing: Proc./22nd International Sumposium, DISC 2008. Arcachon, France, September 2008/Ed. by G.Taubenfeld. -Springer, Heidelberg: Springer, 2008.-Vol. 5218.-522 p.-(Lecture Notes in Computer Science). 39. Ant Colony Optimization and Swarm Intelligence: Proc./6th International Conference, ANTS 2008. Brussels, Belgium, September 2008/Ed. by M.Dorigo, M.Birattari, Ch.Blum, M.Clerc.-Springer, Heidelberg: Springer, 2008.-Vol. 5217.-416 p.-(Lecture Notes in Computer Science). 40. Hybrid Metaheuristics: Proc./5th International Workshop, HM 2008. Malaga, Spain, October 2008/Ed. by M.J.Blesa, Ch.Blum, C.Cotta, A.J.Fernandez.-Springer, Heidelberg: Springer, 2008. -Vol. 5296.-203 p.-(Lecture Notes in Computer Science). 41. Central European Functional Programming School: Revised Selected Lectures/ Second Summer School, CEFP 2007. Cluj-Napoca, Romania, June 2007/Ed. by Z.Horvath, R.Plasmeijer, A.Soos, V.Zsok. -Springer, Heidelberg: Springer, 2008.-Vol. 5161.-303 p.-(Lecture Notes in Computer Science). 42. Privacy in Statistical Databases: Proc./ UNESCO Chair in Data Privacy International Conference, PSD 2008. Istanbul, Turkey, September 2008/Ed. by J.Domingo-Ferrer, Y.Saygin. -Springer, Heidelberg: Springer, 2008.-Vol. 5262.-335 p.-(Lecture Notes in Computer Science). 43. Cooperative Design, Visualization, and Engineering: Proc./5th International Conference, CDVE 2008, Calvia, Mallorca, Spain, September 2008/Ed. by Y.Luo.-Springer, Heidelberg: Springer, 2008.-Vol. 5220.-312 p.-(Lecture Notes in Computer Science). 44. Computer Safety, Reliability, and Security: Proc./27th International Conference, SAFECOMP 2008. Newcastle upon Tune, UK, September 2008/Ed. by M.D.Harrison, M.-A.Sujan.-Springer, Heidelberg: Springer, 2008.-Vol. 5219.-456 p.-(Lecture Notes in Computer Science). 45. Times of Convergence: Technologies Across Learning Context: Proc./ Third European Conference on Technology Enhanced Learning, EC-TEL 2008. Maastricht, The Netherlands, September 2008/Ed. by P.Dillenbourg, M.Specht.-Springer, Heidelberg: Springer, 2008. -Vol. 5192.-476 p.-(Lecture Notes in Computer Science). 46. Geographic Infomation Science: Proc./5th International Conference, GIScience 2008. Park City, UT, USA, September 2008/ Ed. by T.J.Cova, H.J.Miller, K.Beard, A.U.Frank.-Springer, Heidelberg: Springer, 2008.-Vol. 5266.-393 p.-(Lecture Notes in Computer Science). 47. Computer Science Logic: Proc./22nd International Workshop, CSL 2008. 17th Annual Conference of the EACSL. Bertinoro, Italy, September 2008/Ed. by M.Kaminski, S.Martini.-Springer, Heidelberg: Springer, 2008.-Vol. 5213.-513 p.-(Lecture Notes in Computer Science). 48. Formal Modeling and Analysis of Timed Systems: Proc./6th International Conference, FORMATS 2008. Saint Malo, France, September 2008/Ed. by F.Cassez, C.Jard.-Springer, Heidelberg: Springer, 2008.-Vol. 5215.-295 p.-(Lecture Notes in Computer Science). 49. Model Driven Engineering Languages and Systems: Proc./11th International Conference, MoDELS 2008. Toulouse, France, September/October 2008/Ed. by K.Czarnecki, I.Ober, J.-M.Bruel, A.Uhl.-Springer, Heidelberg: Springer, 2008.-Vol. 5301.-921 p. -(Lecture Notes in Computer Science). 50. Provable Security: Proc./ Second International Conference, ProvSec 2008. Shanghai, China, October/November 2008/Ed. by J.Baek, F.Bao, K.Chen, X.Lai.-Springer, Heidelberg: Springer, 2008. -Vol. 5324.-361 p.-(Lecture Notes in Computer Science). 51. Pattern Recognition in Bioinformatics: Proc./ Third IAPR International Conference, PRIB 2008. Melbourne, Australia, October 2008/Ed. by M.Chetty, A.Ngom, Sh.Ahmad.-Springer, Heidelberg: Springer, 2008.-Vol. 5265.-472 p.-(Lecture Notes in Bioinformatics). 52. Hybrid Artificial Intelligence Systems: Proc./ Third International Workshop, HAIS 2008. Burgos, Spain, September 2008/ Ed. by E.Corchado, A.Abraham, W.Pedrycz.-Springer, Heidelberg: Springer, 2008.-Vol. 5271.-767 p.-(Lecture Notes in Artificial Intelligence). 53. Inductive Logic Programming: Proc./18th International Conference, ILP 2008. Prague, Czech Republic, September 2008/Ed. by F.Zelezny, N.Lavrac.-Springer, Heidelberg: Springer, 2008. -Vol. 5194.-349 p.-(Lecture Notes in Artificial Intelligence). 54. Advances in Artificial Intelligence - IBERAMIA 2008: Proc./11th Ibero-American Conference on AI. Lisbon, Portugal, October 2008/Ed. by H.Geffner, R.Prada, I.M.Alexandre, N.David. -Springer, Heidelberg: Springer, 2008.-Vol. 5290.-462 p.-(Lecture Notes in Artificial Intelligence). 55. Ullrich C. Pedagogically Founded Courseware Generation for Web-Based Learning: An HTN-Planning-Based Approach Implemented in PIGOS.- Springer, Heidelberg: Springer, 2008.- 257 p.-(Lecture Notes in Artificial Intelligence; Vol. 5260).-Bibliogr.: p.241-254. 56. Logics in Artificial Intelligence: Proc./11th European Conference, JELIA 2008. Dresden, Germany, September/October 2008/ Ed. by S.Holldobler, C.Lutz, H.Wansing.-Berlin, Heidelberg: Springer, 2008.-Vol. 5293.-429 p.-(Lecture Notes in Artificial Intelligence). 57. Spatial Cognition VI: Learning, Reasoning, and Talking about Space: Proc./ International Conference Spatial Cognition 2008. Freiburg, Germany, September 2008/Ed. by Ch.Freksa, N.S.Newcombe, P.Gardenfors, S.Wolfl.-Berlin, Heidelberg: Springer, 2008.-Vol. 5248.-441 p.-(Lecture Notes in Artificial Intelligence). 58. Grammatical Inference: Algorithms and Applications: Proc./9th International Colloquium, ICGI 2008. Saint-Malo, France, September 2008/Ed. by A.Clark, F.Coste, L.Miclet. -Berlin, Heidelberg: Springer, 2008.-Vol. 5278.-305 p.-(Lecture Notes in Artificial Intelligence). 59. Emerging Technologies and Information Systems for the Knowledge Society: Proc./1st World Summit on the Knowledge Society, WSKS 2008. Athens, Greece, September 2008/Ed. by M.D.Lytras, J.M.Carroll, E.Damiani, R.D.Tennyson.-Berlin, Heidelberg: Springer, 2008.-Vol. 5288.-603 p.-(Lecture Notes in Artificial Intelligence). 60. Intelligent Robotics and Applications. Part I: Proc./First International Conference, ICIRA 2008. Wuhan, China, October 2008/ Ed. by C.Xiong, H.Liu, Y.Huang, Y.Xiong.-Berlin, Heidelberg: Springer, 2008.-Vol. 5314.-1284 p.-(Lecture Notes in Artificial Intelligence). 61. Intelligent Robotics and Applications. Part II: Proc./ Ferst International Conference, ICIRA 2008. Wuhan, China, October 2008/ Ed. by C.Xiong, H.Liy, Y.Huang, Y.Xiomg.-Berlin, Heidelberg: Springer, 2008.-Vol. 5315.-1258 p.-(Lecture Notes in Artificial Intelligence). 62. Multiagent System Technologies: Proc./6th German Conference, MATES 2008. Kaiserslautern, Germany, September 2008/Ed. by R.Bergmann, G.Lindemann, S.Kirn, M.Pechoucek.-Berlin, Heidelberg: Springer, 2008.-Vol. 5244.-207 p.-(Lecture Notes in Artificial Intelligence). 63. Knowledge Engineering: Practice and Patterns: Proc./16th Internatioal Conference, EKAW 2008. Acitrezza, Italy, September/October 2008/Ed. by A.Gangemi, J.Euzenat.-Berlin, Heidelberg: Springer, 2008.-Vol. 5268.-420 p.-(Lecture Notes in Artificial Intelligence). 64. Scalable Uncertainty Managemant: Proc./ Second International Conference, SUM 2008. Naples, Italy, October 2008/Ed. by S.Greco, Th.Lukasiewicz.-Berlin, Heidelberg: Springer, 2008.-Vol. 5291.-401 p.-(Lecture Notes in Artificial Intelligence). 65. Algorithmic Learning Theory: Proc./19th International Conference, ALT 2008. Budapest, Hungary, October 2008/Ed. by Y.Freund, L.Gyorfi, G.Turan, Th.Zeugmann.-Berlin, Heidelberg: Springer, 2008.-Vol. 5254.-467 p.-(Lecture Notes in Artificial Intelligence). 66. Computer Mathematics: Revised and Invited Papers/8th Asian Symposium, ASCM 2007. Singapore, December 2007/Ed. by D.Kapur. -Berlin, Heidelberg: Springer, 2008.-Vol. 5081.-359 p.-(Lecture Notes in Artificial Intelligence). 67. Advanced Data Mining and Applications: Proc./4th International Conference, ADMA 2008. Chengdu, China, October 2008/ Ed. by Ch.Tang, Ch.X.Ling, X.Zhou, N.J.Cercone.-Berlin, Heidelberg: Springer, 2008.-Vol. 5139.-759 p.-(Lecture Notes in Artificial Intelligence).