Hовые поступления с 7 декабря 2009 года по 8 февраля 2010 года
1. Музеи научных центров и институтов Сибирского отделения Российской Академии наук: Очерки формирования и развития/СО РАН. Научный совет по музеям СО РАН. .- Новосибирск, 2009.- 260 с. 2. Евстигнеев В.А., Касьянов В.Н. Словарь по графам в информатике/СО РАН. ИСИ СО РАН. .- Новосибирск: ООО "Сибирское научное издательство", 2009.- 299 с. -(Конструирование и оптимизация программ). 3. Adaptive and Natural Computing Algorithms: Revised Selected Papers/ 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 2009/Ed. by M.Kolehmainen, P.Toivanen, B.Beliczynski.-Berlin, Heidelberg: Springer, 2009. -Vol. 5495.-630 p.-(Lecture Notes in Computer Science). 4. Business Process Management: Proc/7th International Conference, BPM 2009, Ulm, Germany, September 2009/Ed. by U.Dayal, J.Eder, J.Koehler, H.A.Reijers.-Berlin, Heidelberg: Springer, 2009.-Vol. 5701.-363 p.-(Lecture Notes in Computer Science). 5. Computer Analysis of Images and Patterns: Proc./13th International Conference, CAIP 2009, Munster, Germany, September 2009/Ed. by X.Jiang, N.Petkov.-Berlin, Heidelberg: Springer, 2009.-Vol. 5702.-1249 p.-(Lecture Notes in Computer Science). 6. Semantics and Algebraic Specification: Essays Dedicated to Peter D.Mosses on the Occasion of his 60th Birthday/Ed. by J.Palsberg.-Berlin, Heidelberg: Springer, 2009.-Vol. 5700. -409 p.-(Lecture Notes in Computer Science). 7. Biometric ID Management and Multimodal Communication: Proc./Joint International Conference, BioID_MultiComm 2009, Madrid, Spain, September 2009/Ed. by J.Fierres, J.Ortega-Garsia, A.Esposito, A.Drygajlo.-Berlin, Heidelberg: Springer, 2009.-Vol. 5707.-358 p.-(Lecture Notes in Computer Science). 8. Algorithms in Bioinformatics: Proc./9th International Workshop, WABI 2009, Philadelphia, PA, USA, September 2009/ Ed. by S.L.Salzberg, T.Warnow.-Berlin, Heidelberg: Springer, 2009.-Vol. 5724.-430 p.-(Lecture Notes in Computer Science). 9. Principles and Practice of Constraint Programming - CP 2009: Proc./15th International Conference, CP 2009, Lisbon, Portugal, September 2009/Ed. by I.P.Gent.-Berlin, Heidelberg: Springer, 2009.-Vol. 5732.-844 p.-(Lecture Notes in Computer Science). 10. Advances in Robotics: Proc./FIRA RoboWorld Congress 2009, Incheon, Korea, August 2009/Ed. by J.-H.Kim, S.S.Ge, P.Vadakkepat, N.Jesse.-Berlin, Heidelberg: Springer, 2009. -Vol. 5744.-322 p.-(Lecture Notes in Computer Science). 11. Smart Spaces and Next Generation Wired/Wireless Networking: Proc./9th International Conference, NEW2AN 2009 and ruSMART 2009, St.Petersburg, Russia, September 2009/Ed. by S.Balandin, D.Moltchanov, Ye.Koucheryavy.-Berlin, Heidelberg: Springer, 2009.-Vol. 5764.-378 p.-(Lecture Notes in Computer Science). 12. Intelligent Data Engineering and Automated Learning - IDEAL 2009: Proc./10th International Conference, Burgos, Spain, September 2009/Ed. by E.Corchado, H.Yin.-Berlin, Heidelberg: Springer, 2009.-Vol. 5788.-826 p.-(Lecture Notes in Computer Science). 13. Computer Safely, Reliability and Security: Proc./28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 2009/Ed. by B.Buth, G.Rabe, T.Seyfarth.-Berlin, Heidelberg: Springer, 2009.-Vol. 5775.-343 p.-(Lecture Notes in Computer Science). 14. Захарова А.А. Модели, алгоритмы и программы, развивающие технологию 3D-моделирования нефтегазовых месторождений: Автореф. дис... докт. тех. наук: 05.13.01. -Томск, 2009.-35 с.-Библиогр.: c.34-35. 15. Шапченко К.А. Методы и программные средства исследования моделей логического разграничения доступа на предмет выполнения требований по безопасности: Автореф. дис... канд. физ.-мат. наук: 05.13.19.-М., 2010.-24 с. -Библиогр.: c.23-24. 16. Милютин С.В. Исследование трехпараметрического итерационного метода, ориентированного на решение двух классов задач с нелинейными седловыми операторами: Автореф. дис... канд. физ.-мат. наук: 01.01.07.-М., 2010.-16 с. -Библиогр.: c.16. 17. Клапоушак С.Н. Математические модели сетей сотовой связи с эластичным трафиком: Автореф. дис... канд. физ.-мат. наук: 05.13.17.-М., 2010.-16 с.-Библиогр.: c.15-16. 18. Testing of Software and Communication Systems: Proc./21st IFIP WG 6.0 Intl Conf., TESTCOM 2009 and 9th Intl WS, FATES 2009, Eindhoven, The Netherlands, November 2009/ Ed. by M.Nunez, P.Baker, M.G.Merayo.-Berlin: Springer, 2009. -Vol. 5826.-247 p.-(Lecture Notes in Computer Science). 19. Flexible Query Answering Systems: Proc./8th International Conference, FQAS 2009, Roskilde, Denmark, October 2009/Ed. by T.Andreasen, R.R.Yager, H.Bulskov, H.Christiansen.-Berlin: Springer, 2009.-Vol. 5822.-676 p. -(Lecture Notes in Artificial Intelligence). 20. Web Reasoning and Rule Systems: Proc./Third International Conference, RR 2009, Chantilly, VA, USA, October 2009/Ed. by A.Pollers, T.Swift.-Berlin: Springer, 2009.-Vol. 5837.-269 p.-(Lecture Notes in Computer Science). 21. Integrated Management of Systems, Services, Processes and People in IT; Proc./20th IFIP/IEEE International Workshop DSOM 2009, Venice, Italy, October 2009/Ed. by C.Bartolini, L.P.Gaspary.-Berlin: Springer, 2009.-Vol. 5841. -191 p.-(Lecture Notes in Computer Science). 22. Wired-Wireless Multimedia Networks and Services Management: Proc./12th IFIP/IEEE International Conference MMNS 2009, Venice, Italy> October 2009/Ed. by T.Pfeifer, P.Bellavista.-Berlin: Springer, 2009.-Vol. 5842.-201 p. -(Lecture Notes in Computer Science). 23. IP Operations and Management: Proc./9th IEEE International Workshop, IPOM 2009, Venice, Italy, October 2009/Ed. by G.Nunzi, C.Scoglio, X.Li.-Berlin: Springer, 2009. -Vol. 5843.-187 p.-(Lecture Notes in Computer Science). 24. Modelling Automatic Communications Environments: Proc./Fourth IEEE International Workshop, MACE 2009, Venice, Italy, October 2009/Ed. by J.C.Strassner, Y.M.Ghamri-Doudane. -Berlin: Springer, 2009.-Vol. 5844.-117 p.-(Lecture Notes in Computer Science). 25. Rule Interchange and Applications: Proc./International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 2009 /Ed. by G.Governatory, J.Hall, A.Paschke.-Berlin: Springer, 2009.-Vol. 5858.-353 p.-(Lecture Notes in Computer Science). 26. Reachability Problems: Proc./3rd International Workshop, RP 2009, Palaiseau, France, September 2009/Ed. by O.Bournez, I.Potapov.-Berlin: Springer, 2009.-Vol. 5797.-233 p.-(Lecture Notes in Computer Science). 27. Computer Security - ESORICS 2009: Proc./14th European Symposium on Research in Computer Security, Saint-Malo, France, September 2009/Ed. by M.Backes, P.Ning.-Berlin: Springer, 2009.-Vol. 5789.-706 p.-(Lecture Notes in Computer Science). 28. Medical Image Computing and Computer-Assisted Intervention - MICCAI 2009, Part II: Proc./12th International Conference, London, UK, September 2009/Ed. by G.-Z.Yang, D.Hawkes, D.Rueckert, A.Noble.-Berlin: Springer, 2009.-Vol. 5762.-1127 p.-(Lecture Notes in Computer Science). 29. Medical Image Computing and Computer Assisted Intervention - MICCAI 2009, Part I: Proc./12th International Conference, London. UK, September 2009/Ed. by G.-Z.Yang, D.Hawkes, D.Rueckert, A.Noble.-Berlin: Springer, 2009.-Vol. 5761.-1037 p.-(Lecture Notes in Computer Science). 30. Recent Advances in Parallel Virtual Machine and Massage Passing Interface: Proc./16th European PVM/MPI Users' Group Meeting, Espoo, Finland, September 2009/Ed. by M.Ropo, J.Westerholm, J.Dongarra.-Berlin: Springer, 2009.-Vol. 5759. -332 p.-(Lecture Notes in Computer Science). 31. Advanced Parallel Processing Technologies: Proc./8th International Symposium, APPT 2009, Rapperswill, Switzerland, August 2009/Ed. by Y.Dou, R.Gruber, J.M.Joller. -Berlin: Springer, 2009.-Vol. 5737.-478 p.-(Lecture Notes in Computer Science). 32. Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics: Proc./2nd Intl WS, SLS 2009, Brussel, Belgium, September 2009 /Ed. by Th.Stutzle, H.H.Hoos.-Berlin: Springer, 2009.-Vol. 5752.-155 p.-(Lecture Notes in Computer Science). 33. Dynamic 3D Imaging: Proc./DAGM 2009 Workshop, Dyn3D 2009, Jena, Germany, September 2009/Ed. by A.Kolb, R.Koch. -Berlin: Springer, 2009.-Vol. 5742.-177 p.-(Lecture Notes in Computer Science). 34. Information Security Theory and Practice. Smart Devices, Pervasive Systems and Ubiquitous Networks: Proc./3nd IFIP 11.2 Int.WS WISTP 2009, Brussel, Belgium, September 2009/Ed. by O.Markowitch, A.Bilas, J.-H.Hoepman. -Berlin: Springer, 2009.-Vol. 5746.-167 p.-(Lecture Notes in Computer Science). 35. Research and Advanced Technology for Digital Libraries: Proc./13th European Conference, ECDL 2009, Corfu, Greece, September 2009/Ed. by M.Agosti, J.Borbinha, S.Kapidakis, Ch.Papatheodorou.-Berlin: Springer, 2009.-Vol. 5714.-497 p. -(Lecture Notes in Computer Science). 36. Theorem Provig in Higher Order Logics: Proc./22nd International Conference, TPHOLs 2009, Munich, Germany, August 2009/Ed. by S.Berghofer, T.Nipkow, Ch.Urban, M.Wenzel. -Berlin: Springer, 2009.-Vol. 5674.-517 p.-(Lecture Notes in Computer Science). 37. Advances in Web Based Learning - ICWL 2009: Proc./8th International Conference, Aachen, Germany, August 2009/Ed. by M.Spaniol, Q.Li, R.Klamma, R.W.H.Lau.-Berlin: Springer, 2009.-Vol. 5686.-477 p.-(Lecture Notes in Computer Science). 38. Databased and XML Technologies: Proc./6th International XML Databased Symposium, XSym 2009, Lyon, France, August 2009 /Ed. by Z.Bellahsene, E.Hunt, M.Rys, R.Unland.-Berlin: Springer, 2009.-Vol. 5679.-189 p.-(Lecture Notes in Computer Science). 39. Algorithms and Data Structures: Proc./11th International Symposium, WADS 2009, Banff, Canada, August 2009/Ed. by F.Dehne, M.Gavrilova, J.-R.Sack, C.D.Toth. -Berlin: Springer, 2009.-Vol. 5664.-580 p.-(Lecture Notes in Computer Science). 40. Parallel Computing Technologies: Proc./10th International Conference, PaCT 2009, Novosibirsk, Russia, August/September 2009/Ed. by V. Malyshkin.-Berlin: Springer, 2009.-Vol. 5698.-475 p.-(Lecture Notes in Computer Science). 41. Foundations of Intelligent Systems: Proc./18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 2009/Ed. by J.Rauch, Z.W.Ras, P.Berka, T.Elomaa. -Berlin: Springer, 2009.-Vol. 5722.-624 p.-(Lecture Notes in Artificial Intelligence). 42. Pattern Recognition in Bioinformatics: Proc./4th IAPR International Conference, PRIB 2009, Sheffield, UK, September 2009/Ed. by V.Kadirkamanathan, G.Sanguinetti, M.Girolami, M.Niranjan.-Berlin: Springer, 2009.-Vol. 5780. -452 p.-(Lecture Notes in Bioinformatics). 43. Digital Watermarking: Proc./8th International Workshop, IWDW 2009, Guildford, UK, August 2009/Ed. by A.T.S.Ho, Y.Q.Shi, H.J.Kim, M.Barni.-Berlin: Springer, 2009.-Vol. 5703. -337 p.-(Lecture Notes in Computer Science). 44. Database Programming Languages: Proc./12th International Symposium, DBPL 2009, Lyon, France, August 2009 /Ed. by Ph.Gardner, F.Geerts.-Berlin: Springer, 2009.-Vol. 5708.-101 p.-(Lecture Notes in Computer Science). 45. Entertainment Computing - ICEC 2009: Proc./8th International Conference, Paris, France, September 2009/Ed. by S.Natkin, J.Dupire.-Berlin: Springer, 2009.-Vol. 5709. -341 p.-(Lecture Notes in Computer Science). 46. Unconventional Computation: Proc./8th International Conference, UC 2009, Ponta Delgada, Portugal, September 2009/ Ed. by C.S.Calude, J.F.Costa, N.Dershowitz, E.Freire.-Berlin: Springer, 2009.-Vol. 5715.-293 p.-(Lecture Notes in Computer Science). 47. Computer Aided Systems Theory - EUROCAST 2009: Revised Selected Papers/12th International Conference, Las Palmas de Gran Canaria, Spain, February 2009/Ed. by R.Moreno-Diaz, F.Pichler, A.Quesada-Arencibia.-Berlin: Springer, 2009.-Vol. 5717.-950 p.-(Lecture Notes in Computer Science). 48. Human - Computer Interaction - INTERACT 2009, Part I:Proc./12th IFIP TC 13 International Conference, Uppsala, Sweden, August 2009/Ed. by T.Gross, J.Gulliksen, P.Kotze, L.Oestreicher.-Berlin: Springer, 2009.-Vol. 5726.-928 p. -(Lecture Notes in Computer Science). 49. Human-Computer Interaction - INTERACT 2009, Part II:Proc./12th IFIP TC 13 International Conference, Uppsala, Sweden, August 2009/Ed. by T.Gross, J.Gulliksen, P.Kotze, L.Oestreicher.-Berlin: Springer, 2009.-Vol. 5727.-992 p. -(Lecture Notes in Computer Science). 50. Mathematical Morphology and Its Application to Signal and Image Processing: Proc./9th International Symposium, ISMM 2009, Groningen, The Netherlands, August 2009/Ed. by M.H.F.Wilkinson, J.Roerdink.-Berlin: Springer, 2009.-Vol. 5720.-321 p.-(Lecture Notes in Computer Science). 51. Advances in Intelligent Data Analyss VIII: Proc./8th International Symposium IDA 2009, Lyon, France, August/September 2009/Ed. by .M.Adams, C.Robardet, A.Siebes, J.-F.Boulicaut.-Berlin: Springer, 2009.-Vol. 5772. -418 p.-(Lecture Notes in Computer Science). 52. E-Voting and Identity: Proc./2nd International Conference, VOTE-ID 2009, Luxemburg, September 2009/Ed. by P.Y.A.Ryan, B.Schoenmakers.-Berlin: Springer, 2009.-Vol. 5767. -191 p.-(Lecture Notes in Computer Science). 53. Secure Data Management: Proc./6th VLDB Workshop, SDM 2009, Lyon, France,August 2009/Ed. by W.Jonker, M.Petkovic. -Berlin: Springer, 2009.-Vol. 5776.-173 p.-(Lecture Notes in Computer Science). 54. The Semantic Web - ISWC 2009: Proc./8th International Conference, ISWC 2009, Chantilly, VA, USA, October 2009/Ed. by A.Bernstein, D.R.Karger, T.Heath, L.Feigenbaum.-Berlin: Springer, 2009.-Vol. 5823.-1007 p.-(Lecture Notes in Computer Science). 55. Advanced Concepts for Intelligent Vision Systems: Proc./11th International Conference, ACIVS 2009, Bordeaux, France, September/October 2009/Ed. by J.Blanc-Talon, W.Philips, D.Popescu, P.Scheunders.-Berlin: Springer, 2009. -Vol. 5807.-743 p.-(Lecture Notes in Computer Science). 56. Formal Modelling and Analysis of Timed Systems: Proc./7th International Conference, FORMATS 2009, Budapest, Hungary, September 2009/Ed. by J.Ouaknine, F.W.Vaandrager. -Berlin: Springer, 2009.-Vol. 5813.-291 p.-(Lecture Notes in Computer Science). 57. Advances in Machine Learning: Proc./First Asian Conference, ACML 2009, Nanjing, China, November 2009/Ed. by Z.-H.Zhou, T.Washio.-Berlin: Springer, 2009.-Vol. 5828.-413 p.-(Lecture Notes in Artificial Intelligence).