Hовые поступления с 8 ноября по 22 ноября 2010 года
1. Web Services and Formal Methods: Revised Selected Papers/6th International Workshop, WS-FM 2009, Bologna, Italy, September 2009 /Ed. by C.Laneve, J.Su.-Berlin: Springer, 2010.-Vol. 6194.-197 p. -(Lecture Notes in Computer Science). 2. Parallel Problem Solving from Nature - PPSN XI, Part I: Proc./11th International Conference, Krakow, Poland, September 2010/Ed. by R.Schaefer, C.Cotta, J.Kolodziej, G.Rudolph.-Berlin: Springer, 2010.-Vol. 6238.-742 p.-(Lecture Notes in Computer Science). 3. Parallel Problem Solving from Nature - PPSN XI, Part II: Proc./11th International Conference, Krakow, Poland, September 2010/Ed. by R.Schaefer, C.Cotta, J.Kolodziej, G.Redolph.-Berlin: Springer, 2010.-Vol. 6239.-556 p.-(Lecture Notes in Computer Science). 4. Artificial Neural Networks - ICANN 2010, Part I: Proc./20th International Conference, Thessaloniki, Greece, September 2010/ Ed. by K.Diamantaras, W.Duch, L.S.Iliadis.-Berlin: Springer, 2010. -Vol. 6352.-587 p.-(Lecture Notes in Computer Science). 5. Artificial Neural Networks - ICANN 2010, Part II: Proc./20th International Conference, Thessaloniki, Greece, September 2010/ Ed. by K.Diamantaras, W.Duch, L.S.Iliadis.-Berlin: Springer, 2010. -Vol. 6353.-543 p.-(Lecture Notes in Computer Science). 6. Artificial Neural Networks - ICANN 2010, Part III: Proc./20th International Conference, Thessaloniki, Greece, September 2010/Ed. by K.Diamantaras, W.Duch, L.S.Iliadis.-Berlin: Springer, 2010.-Vol. 6354.-575 p.-(Lecture Notes in Computer Science). 7. Network and Parallel Computing: Proc./IFIP International Conference, NPC 2010, Zhengzhou, China, Septeber 2010/Ed. by Ch.Ding, Zh.Shao, R.Zheng.-Berlin: Springer, 2010.-Vol. 6289.-492 p.-(Lecture Notes in Computer Science). 8. Mathematical Software - ICMS 2010: Proc./Third International Congress on MS, Kobe, Japan, September 2010/Ed. by K.Fukuda, J.Van_Der_Hoeven, M.Joswig, N.Takayama.-Berlin: Springer, 2010. -Vol. 6327.-368 p.-(Lecture Notes in Computer Science). 9. Life System Modeling and Intelligent Computing, Part I: Proc./International Conference, LSMS 2010 and International Conference, ICSEE 2010, Wuxi, China, September 2010/Ed. by K.Li, M.Fei, L.Jia, G.W.Irwin.-Berlin: Springer, 2010.-Vol. 6328.-518 p. -(Lecture Notes in Computer Science). 10. Life System Modeling and Intelligent Computing, Part II: Proc./International Conference, LSMS 2010, and International Conference, ICSEE 2010, Wuxi, China, September 2010/Ed. by K.Li, M.Fei, L.Jia, G.W.Irwin.-Berlin: Springer, 2010.-Vol. 6329.-518 p. -(Lecture Notes in Computer Science). 11. Principles and Practice of Constraint Programming - CP 2010: Proc./16th International Conference, CP 2010, St.Andrews, Scotland, September 2010/Ed. by D.Cohen.-Berlin: Springer, 2010. -Vol. 6308.-650 p.-(Lecture Notes in Computer Science). 12. Testing - Practice and Research Techniques: Proc./5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 2010/Ed. by L.Bottici, G.Fraser.-Berlin: Springer, 2010.-Vol. 6303.-219 p.-(Lecture Notes in Computer Science). 13. Agents and Data Mining Interaction: Revised Selected Papers/6th International Workshop, ADMI 2010, Toronto,ON,Canada, May 2010/Ed. by L.Cao, A.L.C.Bazzan, V.Gorodetsky, P.A.Mitkas. -Berlin: Springer, 2010.-Vol. 5980.-192 p.-(Lecture Notes in Artificial Intelligence). 14. Text, Speech and Dialogue: Proc./13th International Conference, TSD 2010, Brno, Czech Republic, September 2010/Ed. by P.Sojka, A.Horak, I.Kopecek, K.Pala.-Berlin: Springer, 2010.-Vol. 6231.-593 p.-(Lecture Notes in Artificial Intelligence). 15. Incentives, Overlays, and Economic Traffic Control: Proc./Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 2010/Ed. by B.Stiller, T.Hossfeld, G.D.Stamoulis.-Berlin: Springer, 2010.-Vol. 6236.-109 p.-(Lecture Notes in Computer Science). 16. Businnes Process Management: Proc./8th International Conference, BPM 2010, Hoboken,NJ,USA, September 2010/Ed. by R.Hull, J.Mendling, S.Tai.-Berlin: Springer, 2010.-Vol. 6336.-359 p.-(Lecture Notes in Computer Science). 17. Reasoning Web. Semantic Tethnologies for Software Engineering: Tutorial Lectures/6th International Summer School 2010, Dresden, Germany, August/September 2010/Ed. by U.Assmann, A.Bartho, Ch.Wende.-Berlin: Springer, 2010.-Vol. 6325.-183 p. -(Lecture Notes in Computer Science). 18. Database and XML Technologies: Proc./7th International XML Database Symposium, XSym 2010, Singapore, September 2010/Ed. by M.L.Lee, J.X.Yu, Z.Bellahsene, R.Unland.-Berlin: Springer, 2010. -Vol. 6309.-156 p.-(Lecture Notes in Computer Science). 19. Database Systems for Advanced Applications: Revised Selected Papers/15th International Conference, DASFAA 2010, International Workshops: GDM, BenchmarX, MCIS, SNSMW, DIEW, UDM, Tsukuba, Japan, April 2010/Ed. by M.Yoshikawa, X.Meng, T.Yumoto, Q.Ma. -Berlin: Springer, 2010.-Vol. 6193.-472 p.-(Lecture Notes in Computer Science). 20. Logic and the Foundations of Game and Decision Theory - LOFT 8: Revised Selected Papers/8th International Conference, Amsterdam, The Netherlands, July 2008/Ed. by G.Bonanno, B.Lowe, W.Van_Der_Hoek.-Berlin: Springer, 2010.-Vol. 6006.-207 p. -(Lecture Notes in Artificial Intelligence). 21. Grammatical Inference: Theoretical Results and Applications: Proc./10th International Colloquium, ICGI 2010, Valencia, Spain, September 2010/Ed. by J.M.Sempere, P.Garcia.-Berlin: Springer, 2010.-Vol. 6339.-317 p.-(Lecture Notes in Artificial Intelligence). 22. Programming Multi-Agent Systems: Revised Selected Papers/7th International Workshop, ProMAS 2009, Budapest, Hungary, May 2009/ Ed. by L.Braubach, J.-P.Briot, J.Thangarajan.-Berlin: Springer, 2010.-Vol. 5919.-285 p.-(Lecture Notes in Artificial Intelligence). 23. Intelligent Virtual Agents:Proc./10th International Conference, IVA 2010, Philadelphia,PA,USA, September 2010/Ed. by J.Allbeck, N.Badler, T.Bickmore, C.Pelachaud.-Berlin: Springer, 2010.-Vol. 6356.-490 p.-(Lecture Notes in Artificial Intelligence). 24. Machine Learning and Knowledge Discovery in Databases, Part I: Proc./European Conference, ECML PKDD 2010, Barcelona, Spain, September 2010/Ed. by J.L.Balcazar, F.Bonchi, A.Gionis, M.Sebag. -Berlin: Springer, 2010.-Vol. 6321.-620 p.-(Lecture Notes in Artificial Intelligence). 25. Machine Learning and Knowledge Discovery in Databases, Part II: Proc./European Conference, ECML PKDD 2010, Barcelona, Spain, September 2010/Ed. by J.L.Balcazar, F.Bonchi, A.Gionis, M.Sebag. -Berlin: Springer, 2010.-Vol. 6322.-518 p.-(Lecture Notes in Artificial Intelligence). 26. Machine Learning and Knowledge Discovery in Databases, Part III: Proc./European Conference, ECML PKDD 2010, Barcelona, Spain, September 2010/Ed. by J.L.Balcazar, F.Bonchi, A.Gionis, M.Sebag. -Berlin: Springer, 2010.-Vol. 6323.-632 p.-(Lecture Notes in Artificial Intelligence). 27. The Mathematics of Language: Revised Selected Papers/10th and 11th Biennial Conference MOL 10, Los Angeles,CA,USA, July 2007 and MOL 11, Bielefeld, Germany, August 2009/Ed. by Ch.Ebert, G.Jager, J.Michaelis.-Berlin: Springer, 2010.-Vol. 6149. -297 p.-(Lecture Notes in Artificial Intelligence). 28. Diagrammatic Representation and Inference: Proc./6th International Conference, Digrams 2010, Portland,OR,USA, August 2010/Ed. by A.K.Goel, M.Jamnik, N.H.Narayanan.-Berlin: Springer, 2010.-Vol. 6170.-356 p.-(Lecture Notes in Artificial Intelligence). 29. Trends in Applied Intelligent Systems, Part I: Proc./23rd International Confference on Industrial Engineering and Other Applications of AIS, IEA/AIE 2010, Cordoba, Spain, June 2010/Ed. by N.Garcia-Pedrajas, F.Herrera, C.Fyfe, J.M.Benitez.-Berlin: Springer, 2010.-Vol. 6096.-770 p.-(Lecture Notes in Artificial Intelligence). 30. Trends in Applied Intelligent Systems, Part II: Proc./23rd International Conference on Industrial Engineering and Other Applications of AIS, IEA/AIS 2010, Cordova, Spain, June 2010/Ed. by N.Garcia-Pedrajas, F.Herrera, C.Fyfe, J.M.Benitez.-Berlin: Springer, 2010.-Vol. 6097.-679 p.-(Lecture Notes in Artificial Intelligence). 31. Trends in Applied Intelligent Systems, Part III: Proc./23rd International Conferenceon Industrial Engineering and Other Applications of AIS, IEA/AIS 2010, Cordoba, Spain, June 2010/Ed. by N.Garsia-Pedrajas, F.Herrera, C.Fyfe, J.M.Benitez.-Berlin: Springer, 2010.-Vol. 6098.-673 p.-(Lecture Notes in Artificial Intelligence). 32. Transactions on Edutainment IV/Ed. by Zh.Pan, A.D.Cheok, W.Muller.-Berlin: Springer, 2010.-Vol. 6250.-277 p.-(Lecture Notes in Computer Science). 33. Entertainment Computing - ICEC 2010: Proc./9th International Conference, ICEC 2010, Seoul, Korea, September 2010/Ed. by H.S.Yang, R.Malaka, J.Hoshino, J.H.Han.-Berlin: Springer, 2010. -Vol. 6243.-521 p.-(Lecture Notes in Computer Science). 34. Machine Learning in Medical Imaging: Proc./First International Workshop, MLMI 2010 Held in Conjunction with MICCAI 2010, Beijing, China, September 2010/Ed. by F.Wang, P.Yan, K.Suzuki, D.Shen.-Berlin: Springer, 2010.-Vol. 6357.-192 p. -(Lecture Notes in Computer Science). 35. Statistical Atlases and Computational Models of the Heart: Proc./First IW, STACOM 2010 and Cardiac Electrophysiological Simulation Challenge, CESC 2010 Held in Conjunction with MICCAI 2010, Beijing, China, September 2010/Ed. by O.Camara, M.Pop, K.Rhode, M.Sermesant.-Berlin: Springer, 2010.-Vol. 6364.-292 p. -(Lecture Notes in Computer Science). 36. Prostate Cancer Imaging. Computer-Aided Diagnosis, Prognosis, and Intervention: Proc./International Workshop Held in Conjunction with MICCAI 2010, Beijing, China, September 2010/Ed. by A.Madabhushi, J.Dowling, P.Yan, A.Fenster.-Berlin: Springer, 2010.-Vol. 6367.-146 p.-(Lecture Notes in Computer Science). 37. Madical Image Computing and Computer-Assisted Intervention - MICCAI 2010, Part I: Proc./13th International Conference, Beijing, China, September 2010/Ed. by T.Jiang, N.Navab, J.P.W.Pluim, M.A.Viergever.-Berlin: Springer, 2010.-Vol. 6361. -709 p.-(Lecture Notes in Computer Science). 38. Medical Image Computing and Computer Assisted Intervention - MICCAI 2010, Part II: Proc./13th International Conference, Beijing, China, September 2010/Ed. by T.Jiang, N.Navab, J,P.W.Pluim, M.A.Viergever.-Berlin: Springer, 2010.-Vol. 6362. -703 p.-(Lecture Notes in Computer Science). 39. Medical Image Computing and Computer-Assisted Intervention - MICCAI 2010, Part III: Proc./13th International Conference, Beijing, China, September 2010/Ed. by T.Jiang, N.Navab, J.P.W.Pluim, M.A.Viergever.-Berlin: Springer, 2010.-Vol. 6363. -685 p.-(Lecture Notes in Computer Science). 40. Medical Imaging and Augmented Reality: Proc./5th International Workshop, MIAR 2010, Beijing, China, September 2010/ Ed. by H.Liao, P.J."Eddie"Edwards, X.Pan, Y.Fan.-Berlin: Springer, 2010.-Vol. 6326.-573 p.-(Lecture Notes in Computer Science). 41. Information Technology in Bio-and Medical Informatics, ITBAM 2010: Proc./First International Conference, Bilbao, Spain, September 2010/Ed. by S.Khuri, L.Lhotska, N.Pisanti.-Berlin: Springer, 2010.-Vol. 6266.-236 p.-(Lecture Notes in Computer Science). 42. Computational Intelligence Methods for Bioinformatics and Biostatistics: Revised Selected Papers/6th International Meeting, CIBB 2009, Genoa, Italy, October 2009/Ed. by F.Masulli, L.E.Peterson, R.Tagliaferri.-Berlin: Springer, 2010.-Vol. 6160. -320 p.-(Lecture Notes in Bioinformatics). 43. Algorithms in Bioinformatics: Proc./10th International Workshop, WABI 2010, Liverpool, UK, September 2010/Ed. by V.Moulton, M.Singh.-Berlin: Springer, 2010.-Vol. 6293.-376 p. -(Lecture Notes in Bioinformatics). 44. Advances in Bioinformatics and Computational Biology: Proc./5th Brazilian Symposium om Bioinformatics, BSB 2010, Rio de Janeiro, Brazil, August/September 2010/Ed. by C.E.Ferreira, S.Miyano, P.F.Stadler.-Berlin: Springer, 2010.-Vol. 6268.-81 p. -(Lecture Notes in Bioinformatics). 45. Data Integration in the Life Sciences: Proc./7th International Conference, DILS 2010, Gothenburg, Sweden, August 2010/Ed. by P.Lambrix, G.Kemp.-Berlin: Springer, 2010.-Vol. 6254. -215 p.-(Lecture Notes in Bioinformatics). 46. Artificial Intelligence: Methodology, Systems, and Applications: Proc./14th International Conference, AIMSA 2010, Varna, Bulgaria, September 2010/Ed. by D.Dicheva, D.Dochev. -Berlin: Springer, 2010.-Vol. 6304.-286 p.-(Lecture Notes in Artificial Intelligence). 47. PRICAI 2010: Trends in Artificial Intelligence: Proc./11th Pacific Pim International Conference on AI, Daegu, Korea, August/September 2010/Ed. by B.-T.Zhang, M.A.Orgun.-Berlin: Springer, 2010.-Vol. 6230.-715 p.-(Lecture Notes in Artificial Intelligence). 48. Knowledge Management and Acquisition for Smart Systems and Services: Proc./11th International Workshop, PKAW 2010, Daegu, Korea, August/September 2010/Ed. by B.-H.Kang, D.Richards.-Berlin: Springer, 2010.-Vol. 6232.-313 p.-(Lecture Notes in Artificial Intelligence). 49. From Animals to Animats 11: Proc./11th International Conference on Simulation of Adaptive Behavior, SAB 2010, Paris - Clos Luce, France, August 2010/Ed. by S.Doncieux, B.Girard, A.Guillot, J.Hallam.-Berlin: Springer, 2010.-Vol. 6226.-662 p. -(Lecture Notes in Artificial Intelligence). 50. Finite-State Methods and Natural Language Processing: Revised Selected Papers/8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 2009/Ed. by A.Yli-Jyra, A.Kornai, J.Sakarovitch, B.Watson.-Berlin: Springer, 2010.-Vol. 6062.-147 p. -(Lecture Notes in Artificial Intelligence). 51. Knowledge Science, Engineering and Management: Proc./4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 2010/Ed. by Y.Bi, M.-A.Williams.-Berlin: Springer, 2010.-Vol. 6291.-618 p.-(Lecture Notes in Artificial Intelligence). 52. New Frontiers in Artificial Intelligence: Revised Selected Papers/ JSAI-isAI 2009 Workshops, LENLS, JURISIN, KCSD, LLLL, Tokyo, Japan, November 2009/Ed. by K.Nakakoji, Y.Murakami, E.Mccready.-Berlin: Springer, 2010.-Vol. 6284.-374 p.-(Lecture Notes in Artificial Intelligence). 53. Копнов М.В. Модели, алгоритмы и программные средства для анализа геополей: Автореф. дис... канд. тех. наук: 05.13.01.-Томск, 2010.-19 с.-Библиогр.: c.18-19. 54. Саутин А.С. Разработка и исследование методов построения регрессивных моделей на основе алгоритма опорных векторов и его модификаций: Автореф. дис... канд. тех. наук: 05.13.17. -Новосибирск, 2010.-19 с.-Библиогр.: c.18-19. 55. Иванов М.А. Алгоритмические и программные средства повышения эффективности 3D-гидродинамического моделирования месторождений нефти и газа: Автореф. дис... канд. тех. наук: 05.13.01.-Томск, 2010.-21 с.-Библиогр.: c.20-21. 56. Никищенков С.А. Автоматизированное диагностирование железнодорожных технологических процессов на основе операторных схем: Автореф. дис... докт. тех. наук: 05.13.06.-Санкт-Петербург, 2010.-32 с.-Библиогр.: c.30-32. 57. Владимир Анатольевич Евстигнеев (к 70-летию со дня рождения)/ ИСИ СО РАН. .- Новосибирск, 2010.- 31 с. 58. Козырева А.В. Алгоритмы и программный инструментарий для задачи позиционирования мобильных устройств на основе данных от встроенной фотокамеры: Автореф. дис... канд. ф.-м. наук: 05.13.11. -Новосибирск, 2010.-21 с.-Библиогр.: c.20-21. 59. Козырева А.В. Алгоритмы и программный инструментарий для задачи позиционирования мобильных устройств на основе данных от встроенной фотокамеры: Дис... канд. ф.-м. наук: 05.13.11. -Новосибирск, 2010.-111 с.-Библиогр.: c.105-111. 60. Арыков С.Б. Язык и система фрагментированного параллельного программирования задач численного моделирования: Автореф. дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2010.-24 с.-Библиогр.: c.23-24. 61. Арыков С.Б. Язык и система фрагментированного параллельного программирования задач численного моделирования: Дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2010.-195 с.-Библиогр.: c.152-166. 62. Distributed Computing: Proc./24th International Symposium, DISC 2010, Cambridge,MA,USA, September 2010/Ed. by N.A.Lynch, A.A.Shvartsman.-Berlin: Springer, 2010.-Vol. 6343.-532 p. -(Lecture Notes in Computer Science). 63. Formal Modeling and Analysis of Timed Systems: Proc./8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 2010/Ed. by K.Chatterjee, T.A.Henzinger.-Berlin: Springer, 2010.-Vol. 6246.-257 p.-(Lecture Notes in Computer Science). 64. Graph Transformations: Proc./5th International Conference, ICGT 2010, Enschede, The Netherland, September/October 2010/Ed. by H.Ehrig, A.Rensink, G.Rozenberg, A.Schurr.-Berlin: Springer, 2010.-Vol. 6372.-419 p.-(Lecture Notes in Computer Science). 65. Rewriting Logic and Its Applications: Revised Selected Papers/8th International Workshop, WRLA 2010, Helds as Satellite Event of ETAPS 2010, Paphos, Cyprus, March 2010/Ed. by P.C.Olveczky.-Berlin: Springer, 2010.-264 p.-(Lecture Notes in Computer Science). 66. Cellular Automata: Proc./9th International Conference on CA for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 2010/Ed. by S.Bandini, S.Manzoni, H.Umeo, G.Vizzari. -Berlin: Springer, 2010.-Vol. 6350.-672 p.-(Lecture Notes in Computer Science). 67. Algorithmic Game Theory: Proc./Third International Symposium, SAGT 2010, Athens, Greece, October 2010/Ed. by S.Kontogiannis, E.Koutsoupias, P.G.Spirakis.-Berlin: Springer, 2010.-Vol. 6386.-359 p.-(Lecture Notes in Computer Science). 68. Integrated Formal Methods: Proc./8th International Conference, IFM 2010, Nancy, France, October 2010/Ed. by D.Mery, S.Merz.-Berlin: Springer, 2010.-Vol. 6396.-337 p.-(Lecture Notes in Computer Science). 69. Logic and Programming, Artificial Intelligence, and Reasoning: Proc./17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 2010/Ed. by Ch.G.Fermuller, A.Voronkov.-Berlin: Springer, 2010.-Vol. 6397.-656 p.-(Lecture Notes in Computer Science). 70. Model Checking Software: Proc./17th International SPIN Workshop, Enschede, The Netherlands, September 2010/Ed. by J.Van_De_Pol, M.Weber.-Berlin: Springer, 2010.-Vol. 6349.-263 p. -(Lecture Notes in Computer Science). 71. Leveraging Applications of Formal Methods, Verification, and Validation, Part I: Proc./4th International Symposium on LA, ISoLA 2010, Heraklion,Grete,Greece, October 2010/Ed. by T.Margaria, B.Steffen.-Berlin: Springer, 2010.-Vol. 6415.-708 p. -(Lecture Notes in Computer Science). 72. Leveraging Applications of Formal Methods, Verification, and Validation, Part II: Proc./4th International Symposium on LA, ISoLA 2010, Heraclion, Grete, Greece, October 2010/Ed. by T.Margaria, B.Steffen.-Berlin: Springer, 2010.-Vol. 6416.-500 p. -(Lecture Notes in Computer Science). 73. Implementation and Application of Functional Languages: Revised Selected Papers/21st International Symposium, IFL 2009, South Orange,NJ,USA, September 2009/Ed. by M.T.Morazan, S.-B.Scholz.-Berlin: Springer, 2010.-Vol. 6041.-237 p.-(Lecture Notes in Computer Science). 74. Unifying Theories of Programming: Proc./Third International Symposium, UTP 2010, Shanghai, China, November 2010/Ed. by Sh.Qin. -Berlin: Springer, 2010.-Vol. 6445.-310 p.-(Lecture Notes in Computer Science). 75. Runtime Verification: Proc./First International Conference, RV 2010, St.Julians, Malta, November 2010/Ed. by H.Barringer, Y.Falcone, B.Filkbeiner, K.Havelund.-Berlin: Springer, 2010.-Vol. 6418.-492 p.-(Lecture Notes in Computer Science). 76. Testing Software and Systems: Proc./22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 2010 /Ed. by A.Petrenko, A.Simao, J.C.Maldonado.-Berlin: Springer, 2010.-Vol. 6435.-267 p.-(Lecture Notes in Computer Science).