Hовые поступления со 2 ноября по 20 ноября 2009 года
1. Computational Color Imaging: Revised Selected Papers/Revised Selected Papers/Second International Workshop, CCIW 2009. Saint-Etienne, France, March 2009/Ed. by A.Tremeau, R.Schettini, Sh.Tominaga.-Berlin, Heidelberg: Springer, 2009.-Vol. 5646.-235 p.-(Lecture Notes in Computer Science). 2. Computational Forensics: Proc./Third International Workshop, IWCF 2009. The Hague, The Netherlands, August 2009/ Ed. by Z.J.M.H.Geradts, K.Y.Franke, C.J.Veenman.-Berlin, Heidelberg: Springer, 2009.-Vol. 5718.-181 p.-(Lecture Notes in Computer Science). 3. Embedded Computer Systems: Architectures, Modeling, and Simulation: Proc./9th International Workshop, SAMOS 2009. Samos, Greece, July 2009/Ed. by K.Bertels, N.Dimopoulos, C.Silvano, S.Wong.-Berlin, Heidelberg: Springer, 2009.-Vol. 5657.-342 p.-(Lecture Notes in Computer Science). 4. Statistical and Geometrical Approaches to Visual Motion Analysis: Revised Papers/International Dagstuhl Castle, Germany, July 2008/Ed. by D.Cremers, B.Rosenhahn, A.L.Yuille, F.R.Schmidt.-Berlin, Heidelberg: Springer, 2009. -Vol. 5604.-323 p.-(Lecture Notes in Computer Science). 5. Fundamentals of Computation Theory: Proc./17th International Symposium, FCT 2009 Wroclaw, Poland, September 2009/Ed. by M.Kutilowski, W.Charatonik, M.Gebala.-Berlin, Heidelberg: Springer, 2009.-Vol. 5699.-357 p.-(Lecture Notes in Computer Science). 6. Turchin V.F. The Phenomen of Science.- New York: Columbia University Press, 1977.- 348 p. 7. Епифанов А.С. Анализ фазовых картин дискретных динамических систем/РАН. ИПТМиУ. .- Саратов: Научная книга, 2008.- 155 с.-Библиогр.: c.130-132. 8. Твердохлебов В.А. Геометрические образы законов функционирования автоматов/РАН. ИПТМиУ. .- Саратов: Научная книга, 2008.- 182 с.-Библиогр.: c.180-182. 9. Коньшин И.Н. Параллельные методы решения систем линейных уравнений с симметричными положительно-определенными матрицами на основе аддитивного разложения с перекрытиями: Автореф. дис... канд. ф.-м. наук: 01.01.07.-М., 2009.-26 с.-Библиогр.: c.26. 10. Скороспешкин М.В. Адаптивные псевдолинейные корректирующие устройства систем автоматического управления: Автореф. дис... канд. тех. наук: 05.13.01.-Томск, 2009.-21 с. -Библиогр.: c.19-21. 11. Конструирование и оптимизация параллельных программ/СО РАН. ИСИ СО РАН; Ред. В.Н.Касьянов.-Новосибирск, 2009.-332 с. 12. Будний А.В., Русанов А.Д. Метод профилирования пользователей интернет-порталов средствами semantic web. -Новосибирск, 2009.-19 с.-(Препринт/ИСИ СО РАН; N 151). 13. Quality of Context: Revised Papers/First International Workshop, QuaCon 2009. Stuttgart, Germany, June 2009/Ed. by K.Rothermel, D.Fritsch, W.Blochinger, F.Duerr.-Berlin, Heidelberg: Springer, 2009.-Vol. 5786.-185 p.-(Lecture Notes in Computer Science). 14. Runtime Verification: Selected Papers/9th International Workshop, RV 2009. Grenoble, France, June 2009/Ed. by S.Bensalem, D.A.Peled.-Berlin, Heidelberg: Springer, 2009. -Vol. 5779.-203 p.-(Lecture Notes in Computer Science). 15. Teaching Formal Methods: Proc./Second International Conference, TFM 2009. Eindhoven, The Netherlands, November 2009/Ed. by J.Gibbons, J.N.Oliveira.-Berlin, Heidelberg: Springer, 2009.-Vol. 5846.-177 p.-(Lecture Notes in Computer Science). 16. Traffic Management and Traffic Engineering for the Future Internet: Revised Selected Papers/First Euro-NF WOrkshop, FITraMEn 2008. Porto, Portugal, December 2008/Ed. by R.Valadas, P.Salvador.-Berlin, Heidelberg: Springer, 2009. -Vol. 5464.-231 p.-(Lecture Notes in Computer Science). 17. Information Hiding: Revised Selected Papers/11th International Workshop, IH 2009. Darmstadt, Germany, June 2009/Ed. by S.Katzenbeisser, A.-R.Sadeghi.-Berlin, Heidelberg: Springer, 2009.-Vol. 5806.-277 p.-(Lecture Notes in Computer Science). 18. Provable Security: Proc./Third International Conference, ProvSec 2009. Guangzhou, China, November 2009/ Ed. by J.Pieprzyk, F.Zhang.-Berlin, Heidelberg: Springer, 2009.-Vol. 5848.-275 p.-(Lecture Notes in Computer Science). 19. Advances in Conceptual Modeling - Challenging Perspectives: Proc./ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS. Gramando, Brazil, November 2009/Ed. by C.A.Heuser, G.Pernul.-Berlin, Heidelberg: Springer, 2009.-Vol. 5833.-358 p.-(Lecture Notes in Computer Science). 20. Advances in Focused Retrieval: Revised and Selected Papers/7th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2008. Dagstuhl Castle, Germany, December 2008/Ed. by Sh.Geva, J.Kamps, A.Trotman. -Berlin, Heidelberg: Springer, 2009.-Vol. 5631.-484 p. -(Lecture Notes in Computer Science). 21. Electronic Government: Proc./8th International Conference, EGOV 2009. Linz, Austria, August/September 2009/ Ed. by M.A.Wimmer, H.J.Scholl, M.Janssen, R.Traunmueller. -Berlin, Heidelberg: Springer, 2009.-Vol. 5693.-414 p. -(Lecture Notes in Computer Science). 22. Information Security and Privacy: Proc./14th Australian Conference, ACISP 2009. Brisbane, Australia, July 2009/Ed. by C.Boyd, J.G.Nieto.-Berlin, Heidelberg: Springer, 2009. -Vol. 5594.-470 p.-(Lecture Notes in Computer Science). 23. Mathematical Foundations of Computer Science 2009: Proc./34th International Symposium, MFC 2009. Novy Smokovec, High Tatras, Slovakia, August 2009/Ed. by R.Kralovic, D.Niwinski.-Berlin, Heidelberg: Springer, 2009.-Vol. 5734. -760 p.-(Lecture Notes in Computer Science). 24. Functional Imaging and Modeling of the Heart: Proc./5th International Conference, FIMH 2009. Nice, France, June 2009/ Ed. by N.Ayache, H.Delingette, M.Sermesant.-Berlin, Heidelberg: Springer, 2009.-Vol. 5528.-537 p.-(Lecture Notes in Computer Science). 25. Wireless Algorithms, Systems, and Applications: Proc./4th International Conference, WASA 2009 Boston, MA, USA, August 2009/Ed. by B.Liu, A.Bestavros, D.-Z.Du, J.Wang. -Berlin, Heidelberg: Springer, 2009.-Vol. 5682.-594 p. -(Lecture Notes in Computer Science). 26. Web Information Systems Engineering - WISE 2009: Proc./10th International Conference Poznan, Poland, October 2009/Ed. by G.Vossen, D.D.E.Long, J.X.Yu.-Berlin, Heidelberg: Springer, 2009.-Vol. 5802.-606 p.-(Lecture Notes in Computer Science). 27. Image Analysis and Processing - ICIAP 2009: Proc./15th International Conference Vietri sul Mare, Italy, September 2009/Ed. by P.Foggia, C.Sansone, M.Vento.-Berlin, Heidelberg: Springer, 2009.-Vol. 5716.-1056 p.-(Lecture Notes in Computer Science). 28. Computer Vision Systems: Proc./7th International Conference, ICVS 2009 Liege, Belgium, October 2009/Ed. by M.Fritz, B.Schiele, J.H.Piater.-Berlin, Heidelberg: Springer, 2009.-Vol. 5815.-456 p.-(Lecture Notes in Computer Science). 29. Digital Watermarking: Selected Papers/7th International Workshop IWDW 2008 Busan, Korea, November 2008/Ed. by H.-J.Kim, S.Katzenbeisser, A.T.S.Ho.-Berlin, Heidelberg: Springer, 2009.-Vol. 5450.-472 p.-(Lecture Notes in Computer Science). 30. Architecting Dependable Systems VI/Ed. by R.De_Lemos, J.-Ch.Fabre, C.Gacek, F.Gadducci.-Berlin, Heidelberg: Springer, 2009.-Vol. 5835.-335 p.-(Lecture Notes in Computer Science). 31. Information Theoretic Security: Revised Selected Papers/ Second International Conference, ICITS 2007 Madrid, Spain, May 2007/Ed. by Y.Desmedt.-Berlin, Heidelberg: Springer, 2009.-Vol. 4883.-211 p.-(Lecture Notes in Computer Science). 32. Software Process and Product Measurement: Proc./ International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 2009/Ed. by A.Abran, R.Braungarten, R.R.Dumke, J.J.Cuadrado-Gallego.-Berlin, Heidelberg: Springer, 2009.-Vol. 5891.-347 p.-(Lecture Notes in Computer Science). 33. Smart Sensing and Context: Proc./4th European Conference, EuroSSC 2009 Guildford, UK, September 2009/Ed. by P.Barnaghi, K.Moessner, M.Presser, S.Meissner.-Berlin, Heidelberg: Springer, 2009.-Vol. 5741.-219 p.-(Lecture Notes in Computer Science). 34. Foundations and Applications of Security Analysis: Revised Selected Papers/ Joint Worcshop ARSPA-WITS 2009 York, UK, March 2009/Ed. by P.Degano, L.Vigano.-Berlin, Heidelberg: Springer, 2009.-Vol. 5511.-223 p.-(Lecture Notes in Computer Science). 35. Advances in Web and Network Technologies and Information Menegement: Rev. Sel. Papers/ APWeb/WAIM 2009 Intl Workshops: WCMT 2009, RTBI 2009, DBIR-ENQOIR 2009, PAIS 2009 Suzhou, China, April 2009/Ed. by L.Chen, Ch.Liu. -Berlin, Heidelberg: Springer, 2009.-Vol. 5731.-245 p. -(Lecture Notes in Computer Science). 36. Database Systems for Advanced Applications: DASFAA 2009 International Workshops: BenchmarX, MCIS, WDPP, PPDA, MBC, PhD Brisbane, Australia, April 2009/Ed. by L.Chen, Ch.Liu, Q.Liu, K.Deng.-Berlin, Heidelberg: Springer, 2009.-Vol. 5667. -376 p.-(Lecture Notes in Computer Science). 37. Stabilization, Safety, and Security of Distributed Systems: Proc./11th International Symposium SSS 2009 Lyon, France, November 2009/Ed. by R.Guerraoui, F.Petit.-Berlin, Heidelberg: Springer, 2009.-Vol. 5873.-801 p.-(Lecture Notes in Computer Science). 38. Semantic Techniques for the Web: The REWERSE Perspective /Ed. by F.Bry, J.Maluszynski.-Berlin, Heidelberg: Springer, 2009.-Vol. 5500.-377 p.-(Lecture Notes in Computer Science). 39. Robust and Online Large-Scale Optimization: Models and Techniques for Transportation Systems/Ed. by R.K.Ahuja, R.H.Mohring, Ch.D.Zaroliagis.-Berlin, Heidelberg: Springer, 2009.-Vol. 5868.-423 p.-(Lecture Notes in Computer Science). 40. Journal on Data Semantics XIII/Ed. by S.Spaccapietra. -Berlin, Heidelberg: Springer, 2009.-Vol. 5530.-179 p. -(Lecture Notes in Computer Science). 41. Transactions on Aspect-Oriented Software Development VI: Special Issue on Aspects and Model-Driven Engineering/ Ed. by S.Katz, H.Ossher, R.France, J.-M.Jezequel.-Berlin, Heidelberg: Springer, 2009.-Vol. 5560.-267 p.-(Lecture Notes in Computer Science). 42. Advanced Functional Programming: Revised Lectures/6th International School, AFP 2008 Heijen, The Netherlands, May 2008/Ed. by P.Koopman, R.Plasmeijer, D.Swierstra.-Berlin, Heidelberg: Springer, 2009.-Vol. 5832.-331 p.-(Lecture Notes in Computer Science). 43. Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications: Proc./14th Iberoamerican Conference CIARP 2009 Guadalajara, Mexico, November 2009/Ed. by E.Bayro-Corrochano, J.-O.Eklundh.-Berlin, Heidelberg: Springer, 2009.-Vol. 5856.-1082 p.-(Lecture Notes in Computer Science). 44. Cooperative Design, Visualization, and Engineering: Proc./6th International Conference, CDVE 2009 Luxembourg, Luxembourg, September 2009/Ed. by Y.Luo.-Berlin, Heidelberg: Springer, 2009.-Vol. 5738.-390 p.-(Lecture Notes in Computer Science). 45. HCI and Usability for e-Inclusion: Proc./5th Symp. of the Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2009 Linz, Austria, November 2009/Ed. by A.Holzinger, K.Miesenberger.-Berlin, Heidelberg: Springer, 2009.-Vol. 5889.-554 p.-(Lecture Notes in Computer Science). 46. Conceptual Modeling - ER 2009: Proc./28th International Conference on CM. Gramado, Brazil, November 2009/Ed. by A.H.F.Laender, S.Castano, U.Dayal, F.Casati.-Berlin, Heidelberg: Springer, 2009.-Vol. 5829.-516 p.-(Lecture Notes in Computer Science). 47. FM 2009: Formal Methods: Proc./2nd World Congress. Eindhoven, The Netherlands, November 2009/Ed. by A.Cavalcanty, D.Dams.-Berlin, Heidelberg: Springer, 2009. -Vol. 5850.-820 p.-(Lecture Notes in Computer Science). 48. Recent Trends in Algebraic Development Techniques: Revised Selected Papers/19th International Workshop, WADT 2008. Pisa, Italy, June 2008/Ed. by A.Corradini, U.Montanari. -Berlin, Heidelberg: Springer, 2009.-Vol. 5486.-343 p. -(Lecture Notes in Computer Science). 49. Comparative Genomics: Proc./International Workshop, RECOMB-CG 2009. Budapest. Hungary, September 2009/Ed. by F.D.Ciccarelli, I.Miklos.-Berlin, Heidelberg: Springer, 2009. -Vol. 5817.-241 p.-(Lecture Notes in Bioinformatics). 50. Knowledge Representatiom for Agents and Multi-Agent Systems: Revised Selected Papers/1st International Workshop KRAMAS 2008. Sydney, Australia, September 2008/Ed. by J.-J.C.Meyer, J.Broersen.-Berlin, Heidelberg: Springer, 2009. -Vol. 5605.-161 p.-(Lecture Notes in Artificial Intelligence). 51. Human Language Technology. Challinges of the Information Society: Revised Selected Papers/Third Language and Technology Conference, LTC 2007. Poznan, Poland, October 2007/Ed. by Z.Vetulani, H.Uszkoreit.-Berlin, Heidelberg: Springer, 2009.-Vol. 5603.-472 p.-(Lecture Notes in Artificial Intelligence). 52. Multimodal Corpora: From Models of Natural Interaction to Systems and Applications/Ed. by M.Kipp, J.-C.Martin, P.Paggio, D.Heylen.-Berlin, Heidelberg: Springer, 2009.-Vol. 5509.-223 p.-(Lecture Notes in Artificial Intelligence). 53. Anticipatory Behavior in Adaptive Learning Systems: From Psichological Theories to Artificial Cognitive Systems/ Ed. by G.Pezzulo, M.V.Butz, O.Sigaud, G.Baldassarre. -Berlin, Heidelberg: Springer, 2009.-Vol. 5499.-335 p. -(Lecture Notes in Artificial Intelligence). 54. Artificial Intelligence and Computational Intelligence: Proc./International Conference, AICI 2009. Shanghai, China, November 2009/Ed. by H.Deng, L.Wang, F.L.Wang, J.Lei. -Berlin, Heidelberg: Springer, 2009.-Vol. 5855.-737 p. -(Lecture Notes in Artificial Intelligence). 55. MICAI 2009: Advances in Artificial Intelligence: Proc./8th Mexican International Conference on AI. Guanajuato, Mexico, November 2009/Ed. by A.H.Aguirre, R.M.Boria, C.A.R.Garcia.-Berlin, Heidelberg: Springer, 2009. -Vol. 5845.-743 p.-(Lecture Notes in Artificial Intelligence). 56. Artificial Intelligence in Medicine: Proc./12th Conference on AI in Medicine, AIME 2009. Verona, Italy, July 2009/Ed. by C.Combi, Y.Shahar, A.Abu-Hanna.-Berlin, Heidelberg: Springer, 2009.-Vol. 5651.-439 p.-(Lecture Notes in Artificial Intelligence). 57. Conceptual Structures: Leveraging Semantic Technologies: Proc./17th International Conference ICCS 2009. Moscow, Russia, July 2009/Ed. by S.Rudolph, F.Dau, S.O.Kuznetsov.-Berlin, Heidelberg: Springer, 2009.-Vol. 5662. -321 p.-(Lecture Notes in Artificial Intelligence). 58. Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems: Proc./1st Intl Conf. ICCCI 2009. Wroclav, Poland, October 2009/Ed. by N.T.Nguyen, R.Kowalczyk, S.-M.Chen.-Berlin, Heidelberg: Springer, 2009.-Vol. 5796.-860 p.-(Lecture Notes in Artificial Intelligence). 59. Logic, Rationality, and Interaction: Proc./2nd International Workshop, LORI 2009. Chongqing, China, October 2009/Ed. by X.He, J.Horty, E.Pacuit.-Berlin, Heidelberg: Springer, 2009.-Vol. 5834.-329 p.-(Lecture Notes in Artificial Intelligence). 60. Transactions on Computational Systems Biology XI/Ed. by C.Priami, R.-J.Back, I.Petre.-Berlin, Heidelberg: Springer, 2009.-Vol. 5750.-335 p.-(Lecture Notes in Bioinformatics). 61. Frontiers of Combining Systems: Proc./7th International Symposium, FroCoS 2009, Trento, Italy, September 2009/Ed. by S.Ghilardi, R.Sebastiani.-Berlin, Heidelberg: Springer, 2009. -Vol. 5749.-383 p.-(Lecture Notes in Artificial Intelligence). 62. Scalable Uncertainty Management: Proc./3nd International Conference, SUM 2009, Washington, DC, USA, September 2009/Ed. by L.Godo, A.Pugliese.-Berlin, Heidelberg: Springer, 2009.-Vol. 5785.-309 p.-(Lecture Notes in Artificial Intelligence). 63. Logic Programming and Nonmonotonic Reasoning: Proc./10th International Conference, LPNMR 2009, Potsdam, Germany, September 2009/Ed. by E.Erdem, F.Lin, T.Schaub. -Berlin, Heidelberg: Springer, 2009.-Vol. 5753.-656 p. -(Lecture Notes in Artificial Intelligence). 64. Visioning and Engineering the Knowledge Society. A Web Science Perspective: Proc./2nd World Summit WSKS 2009, Chania, Crete, Grees, September 2009/Ed. by M.D.Lytras. -Berlin, Heidelberg: Springer, 2009.-Vol. 5736.-606-(Lecture Notes in Artificial Intelligence). 65. Selected Areas in Cryptography: Revised Selected Papers/15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 2008/Ed. by R.Avanzi, L.Keliher, F.Sica.-Berlin, Heidelberg: Springer, 2009.-Vol. 5381.-457 p. -(Lecture Notes in Computer Science). 66. Distributed Computing: Proc./23rd International Symposium, DISC 2009, Elche, Spain, September 2009/Ed. by I.Keidar.-Berlin, Heidelberg: Springer, 2009.-Vol. 5805.-532 p.-(Lecture Notes in Computer Science). 67. Visual Informatics: Bridging Research and Practice: Proc./1st International Conference, IVIC 2009, Kuala Lumpur, Malaysia, November 2009/Ed. by H.B.Zaman, P.Robinson, M.Petrou, P.Oliver.-Berlin, Heidelberg: Springer, 2009.-Vol. 5857.-919 p.-(Lecture Notes in Computer Science). 68. Ad-Hoc, Mobile and Wireless Networks: Proc./8th International Conference, ADHOC-NOW 2009, Murcia, Spain, September 2009/Ed. by P.M.Ruis, J.J.Garcia-Luna-Aceves. -Berlin, Heidelberg: Springer, 2009.-Vol. 5793.-404 p. -(Lecture Notes in Computer Science). 69. Formal Methods for Components and Objects: Revised Lectures/7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 2008/Ed. by F.S.De_Boer, M.M.Bonsangue, E.Madelaine.-Berlin, Heidelberg: Springer, 2009.-Vol. 5751.-299 p.-(Lecture Notes in Computer Science). 70. Information Retrieval Technology: Proc./5th Asia Information Retrieval Symposium, AIRS 2009, Sapporo, Japan, October 2009/Ed. by G.G.Lee, D.Song, Ch.-Y.Lin, A.Aizawa. -Berlin, Heidelberg: Springer, 2009.-Vol. 5839.-446 p. -(Lecture Notes in Computer Science). 71. Aspects of Natural Language Processing: Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday/Ed. by M.Marciniak, A.Mykowiecka.-Berlin, Heidelberg: Springer, 2009.-Vol. 5070.-451 p.-(Lecture Notes in Computer Science). 72. Будько М.Б. Метод обнаружения аномалий телекоммуникационных данных на основе математических моделей оптимизации алгоритмов спектрального и спектрално-временного анализа: Автореф. дис... канд. тех. наук: 05.13.19. -Санкт-Петербург, 2009.-23 с.-Библиогр.: c.22-23. 73. Будько М.Ю. Разработка метода обнаружения дестабилизирующего широковещательного трафика на основе анализа сетевой статистики: Автореф. дис... канд. тех. наук: 05.13.19.-Санкт-Петербург, 2009.-23 с.-Библиогр.: c.21-23. 74. Protecting Persons While Protecting the People: Revised Selected Papers/2nd Annual Workshop ISIPS 2008, New Brunswick, NJ, USA, May 2008/Ed. by C.S.Gal, P.B.Kantor, M.E.Lesk.-Berlin: Springer, 2009.-Vol. 5661.-139 p.-(Lecture Notes in Computer Science). 75. Haptic and Audio Interaction Design: Proc./4th International Conference, HAID 2009, Dresden, Germany, September 2009/Ed. by M.E.Altinsoy, U.Jekosch, S.Brewster. -Berlin: Springer, 2009.-Vol. 5763.-165 p.-(Lecture Notes in Computer Science). 76. Web Information Systems and Mining: Proc./International Conference, WISM 2009, Shanghai, China, November 2009/Ed. by W.Liu, X.Luo, F.L.Wang, J.Lei.-Berlin: Springer, 2009.-Vol. 5854.-599 p.-(Lecture Notes in Computer Science). 77. Algorithmic Aspects of Wireless Sensor Networks: Revised Selected Papers/5th International Workshop, ALGOSENSORS 2009/Ed. by S.Dolev.-Berlin: Springer, 2009. -Vol. 5804.-263 p.-(Lecture Notes in Computer Science). 78. Advances in Ubiquitous User Modelling: Revised Selected Rarers/Ed. by T.Kuflik, S.Berkovsky, F.Carmagnola, D.Heckmann.-Berlin: Springer, 2009.-Vol. 5830.-159 p. -(Lecture Notes in Computer Science). 79. On the Move to Meaningful Internet Systems: OTM 2009, Part I: Proc./Confederated International Conferences CooplS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 2009/ Ed. by R.Meersman, Th.Dillon, P.Herrero.-Berlin: Springer, 2009.-Vol. 5870.-793 p.-(Lecture Notes in Computer Science). 80. On the Move to Meaningful Internet Systems: OTM 2009, Part II: Proc./Confederated Intl Confs. CooplS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 2009/Ed. by R.Meersman, Th.Dillon, P.Herrero.-Berlin: Springer, 2009. -Vol. 5871.-P.794-1275-(Lecture Notes in Computer Science). 81. On the Move to Meaningful Internet Systems: OTM 2009: Proc./Confederated International Workshops and Posters, Vilamoura, Portugal, November 2009/Ed. by R.Meersman, P.Herrero, Th.Dillon.-Berlin: Springer, 2009.-Vol. 5872.-949 p.-(Lecture Notes in Computer Science). 82. Formal Methods for Industrial Critical Systems: Proc./14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2009/Ed. by M.Alpuente, B.Cook, Ch.Joubert.-Berlin: Springer, 2009.-Vol. 5825.-213 p. -(Lecture Notes in Computer Science). 83. Intelligent Virtual Agents: Proc./9th International Conference, IVA 2009, Amsterdam, The Netherlands, September 2009/Ed. by Z.Ruttkay, M.Kipp, A.Nijholt, H.H.Vilhjalmsson. -Berlin: Springer, 2009.-Vol. 5773.-571 p.-(Lecture Notes in Artificial Intelligence). 84. Multiagent System Technologies: Proc./7th German Conference, MATES 2009, Hamburg, Germany, September 2009/Ed. by L.Braubach, W.Van_Der_Hoek, P.Petta, A.Pokahr.-Berlin: Springer, 2009.-Vol. 5774.-290 p.-(Lecture Notes in Artificial Intelligence). 85. Infinity in Logic and Computation: Revised Selected Papers/ International Conference, ILC 2007, Cape Town, South Africa, November 2007/Ed. by M.Archibald, V.Brattka, V.Goranko, B.Lowe.-Berlin: Springer, 2009.-Vol. 5489.-139 p. -(Lecture Notes in Artificial Intelligence). 86. Anaphora Processing and Applications: Proc./7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009, Goa, India, November 2009/Ed. by S.L.Devi, A.Branco, R.Mitkov.-Berlin: Springer, 2009.-Vol. 5847.-131 p.-(Lecture Notes in Artificial Intelligence).