Hовые поступления с 1 декабря по 30 декабря 2004 года
1. Grid and Cooperative Computing - GCC 2004 Workshops: Proc./GCC 2004 International Workshops, IGKG, SGT, AAC-GEVO and VVS. Wuhan, China, October 2004/Ed. by H.Jin, Y.Pan, N.Xiao, J.Sun.-Berlin, Heidelberg: Springer, 2004.-Vol. 3252. -785 p.-(Lecture Notes in Computer Science). 2. Principles and Practice of Semantic Web Reasoning: Proc./Second International Workshop, PPSWR 2004. St.Malo, France, September 2004/Ed. by H.J.Ohlbach, S.Schaffert. -Berlin, Heidelberg: Springer, 2004.-Vol. 3208.-165 p. -(Lecture Notes in Computer Science). 3. Information and Communication Security: Proc./6th International Conference, ICICS 2004. Malaga, Spain, October 2004/Ed. by J.Lopez, Sh.Qing, E.Okamoto.-Berlin, Heidelberg: Springer, 2004.-Vol. 3269.-564 p.-(Lecture Notes in Computer Science). 4. Mobility Aware Technologies and Applications: Proc./First International Workshop, MATA 2004. Florianapolis, Brazil, October 2004/Ed. by A.Karmouch, L.Korba, E.R.M.Madeira.-Berlin, Heidelberg: Springer, 2004. -Vol. 3284.-382 p.-(Lecture Notes in Computer Science). 5. Grid Computing: Revised Papers/Second European AcrossGrids Conference, AxGrids 2004. Nicosia, Cyprus, January 2004/Ed. by M.D.Dikaiakos.-Berlin, Heidelberg: Springer, 2004.-Vol. 3165.-272 p.-(Lecture Notes in Computer Science). 6. Grid and Cooperative Computing - GCC 2004: Proc./Third International Conference, Wunan, China, October 2004/Ed. by H.Jin, Y.Pan, N.Xiao, J.Sun.-Berlin, Heidelberg: Springer, 2004.-Vol. 3251.-1025 p.-(Lecture Notes in Computer Science). 7. Recent Advances in Virtual Parallel Machine and Message Passing Interface: Proc./11th European PVM/MPI Users' Group Meeting. Budapest, Hungary, September 2004/Ed. by D.Kranzlmueller, P.Kacsuk, J.Dongarra.-Berlin, Heidelberg: Springer, 2004.-Vol. 3241.-452 p.-(Lecture Notes in Computer Science). 8. Progress in Pattern Recognition, Image Analysis and Applications: Proc./9th Iberoamerican Congress on Pattern Recognition, CIARP 2004. Puebla, Mexico, October 2004/Ed. by A.Sanfeliu, J.F.Martinez-Trinidad, Ochoa J.A.Carrasco. -Berlin, Heidelberg: Springer, 2004.-Vol. 3287.-703 p. -(Lecture Notes in Computer Science). 9. Distributed Computing: Proc./18th International Conference, DISC 2004. Amsterdam, the Netherlands, October 2004/Ed. by R.Guerraoui.-Berlin, Heidelberg: Springer, 2004. -Vol. 3274.-465 p.-(Lecture Notes in Computer Science). 10. Web Services: Proc./European Conference, ECOWS 2004. Erfurt, Germany, September 2004/Ed. by Zhang Lj, M.Jeckle. -Berlin, Heidelberg: Springer, 2004.-Vol. 3250.-301 p. -(Lecture Notes in Computer Science). 11. Personal Wireless Communications: Proc./IFIP TC6 International Conference, PWC 2004. Delft, the Netherlands, September 2004/Ed. by I.Niemegeers, Groot S.H.De.-Berlin, Heidelberg: Springer, 2004.-Vol. 3260.-478 p.-(Lecture Notes in Computer Science). 12. Management of Multimedia Networks and Services: Proc./7th IFIP/IEEE International Conference, MMNS 2004. San Diego, CA, USA, October 2004/Ed. by J.Vicente, D.Hutchison. -Berlin, Heidelberg: Springer, 2004.-Vol. 3271.-335 p. -(Lecture Notes in Computer Science). 13. Cooperative Design, Visualization and Engineering: Proc./First International Conference, CDVE 2004. Palma de Mallorca, Spain, September 2004/Ed. by Y.Luo.-Berlin, Heidelberg: Springer, 2004.-Vol. 3190.-245 p.-(Lecture Notes in Computer Science). 14. Graph Transformations: Proc./Second International Conference, ICGT 2004. Rome, Italy, September/October 2004/ Ed. by H.Ehrig, G.Engels, F.Parisi-Presicce, G.Rozenberg. -Berlin, Heidelberg: Springer, 2004.-Vol. 3256.-450 p. -(Lecture Notes in Computer Science). 15. Mobile Human-Computer Interaction - Mobile HCI 2004: Proc./6th International Symposium, Mobile HCI 2004. Glasgow, UK, September 2004/Ed. by S.Brewster, M.Dunlop.-Berlin, Heidelberg: Springer, 2004.-Vol. 3160.-541 p.-(Lecture Notes in Computer Science). 16. Independent Component Analysis and Blind Signal Separation: Proc./Fifth International Conference, ICA 2004. Granada, Spain, September 2004/Ed. by C.G.Puntonet, A.Prieto. -Berlin, Heidelberg: Springer, 2004.-Vol. 3195.-1266 p. -(Lecture Notes in Computer Science). 17. Computer and Information Sciences - ISCIS 2004: Proc./19th International Symposium. Kemer-Antalya, Turkey, October 2004/Ed. by C.Aykanat, T.Dayar, I.Koerpeoglu. -Berlin, Heidelberg: Springer, 2004.-Vol. 3280.-1009 p. -(Lecture Notes in Computer Science). 18. Programming Languages and Systems: Proc./Second Asian Symposium, APLAS 2004. Taipei, Taiwan, November 2004/Ed. by W.-N.Chin.-Berlin, Heidelberg: Springer, 2004.-Vol. 3302. -453 p.-(Lecture Notes in Computer Science). 19. Knowledge Discovery in Databases: PKDD 2004: Proc./8th European Conference on Principles and Practice of Knowledge Discovery in Databases. Pisa, Italy, September 2004/Ed. by J.-F.Boulicaut, F.Esposito, D.Gianotti, D.Pedreschi.-Berlin, Heidelberg: Springer, 2004.-Vol. 3202.-560 p.-(Lecture Notes in Artificial Intelligence). 20. Cooperative Information Agents VIII: Proc./8th International Workshop, CIA 2004. Erfurt, Germany, September 2004/Ed. by M.Klusch, S.Ossowski, V.Kashyap, R.Unland. -Berlin, Heidelberg: Springer, 2004.-Vol. 3191.-303 p. -(Lecture Notes in Artificial Intelligence). 21. Web Mining: From Web to Semantic Web: Invited and Selected Revised Papers/First European Web Mining Forum, EWMF 2003. Cavtat-Dubrovnik, Croatia, September 2003/Ed. by B.Berendt, A.Hotho, D.Mladenic, Someren M.Van.-Berlin, Heidelberg: Springer, 2004.-Vol. 3209.-201 p.-(Lecture Notes in Artificial Intelligence). 22. Groupware: Design, Implementation and Use: Proc./10th International Workshop, CRIWG 2004. San Carlos, Costa Rica, September 2004/Ed. by Vreede G.-J.De, L.A.Guerrero, G.M.Raventos.-Berlin, Heidelberg: Springer, 2004.-Vol. 3198. -378 p.-(Lecture Notes in Computer Science). 23. Computer Science Logic: Proc./18th International Workshop, CSL 2004; 13th Annual Conference of the EACSL. Karpacz, Poland, September 2004/Ed. by J.Marcinkowski, A.Tarlecki.-Berlin, Heidelberg: Springer, 2004.-Vol. 3210. -520 p.-(Lecture Notes in Computer Science). 24. Бенсон М., Бенсон Э., Илсон Р. Комбинаторный словарь английского языка/Ред. Л. Генина. .- М.: Русский язык, 1990. - 286 с. 25. Чистяков В.П. Курс теории вероятностей.- М.: Наука, 1982. - 256 с.-Библиогр.: c.252-253. 26. Алгоритмы и программы решения задач на графах и сетях/ М.И. Нечепуренко, В.К. Попков, С.М. Майнагашев и др.. .- Новосибирск: Наука, 1990.- 514 с.-Библиогр.: c.189-196. 27. Ломазова И.А. Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой.- М.: Научный мир, 2004.- 207 с.-Библиогр.: c.197-207. 28. Топорков В.В. Модели распределенных вычислений.- М.: Физматлит, 2004.- 315 с.-Библиогр.: c.299-308. 29. Жоголев Е.А. Технология программирования.- М.: Научный мир, 2004.- 216 с.-Библиогр.: c.204-207. 30. Клименко С.В., Никитин И.Н. Релятивистские струны: математические основы, визуализация, квантование/Институт физико-технической информатики. .- Москва-Протвино, 2004.- 244 с.-Библиогр.: c.229-238. 31. Пратт Т., Зелковиц М. Языки программирования: разработка и реализация.- Санкт-Петербург: Питер, 2002.- 688 с.-(Классика Computer Science).-Библиогр.: c.669-674. 32. Грибовская Н.С. Теоретико-категорная характеризация различных эквивалентностей на временных автоматных моделях. -Новосибирск, 2004.-38 с.-(Препринт/ИСИ СО РАН). 33. Дубрановский И.В. Верификация C#-программ: перевод из языка C#-light в язык C#-kernel.-Новосибирск, 2004.-60 с. -(Препринт/ИСИ СО РАН). 34. Novak L., Zamulin A. Algebraic semantics of XML schema. -Новосибирск, 2004.-27 p.-(Rep./ИСИ СО РАН). 35. Креченов И.В. Автоматическое построение SQL запросов для объектных данных.-Новосибирск, 2004.-23 с.-(Препринт/ИСИ СО РАН). 36. Галатенко А.В. Математические модели и программные средства защиты распределенных компьютерных систем: Автореф. дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2004.-20 с. -Библиогр.: c.19-20. 37. Грибовская Н.С. Теоретико-категорное исследование эквивалентностей параллельных моделей с реальным временем: Автореф. дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2004. -15 с.-Библиогр.: c.14-15. 38. Грибовская Н.С. Теоретико-категорное исследование эквивалентностей параллельных моделей с реальным временем: Дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2004.-142 с. -Библиогр.: c.136-142. 39. User-Centered Interaction Paradigms for Universal Access in the Information Society: Revised Selected Papers/8th ERCIM International Workshop on User Interfaces for All. Vienna, Austria, June 2004/Ed. by Ch.Stary, C.Stephanidis.-Berlin, Heidelberg: Springer, 2004.-Vol. 3196. -488 p.-(Lecture Notes in Computer Science). 40. Grid Services Engineering and Management: Proc./First International Conference, GSEM 2004. Erurt, Germany, September 2004/Ed. by M.Jeckle, R.Kowalczyk, P.Braun. -Berlin, Heidelberg: Springer, 2004.-Vol. 3270.-151 p. -(Lecture Notes in Computer Science). 41. Mathematical Knowledge Management: Proc./Third International Conference, MKM 2004. Bialowieza, Poland, September 2004/Ed. by A.Asperti, G.Bancerek, A.Trybulec. -Berlin, Heidelberg: Springer, 2004.-Vol. 3119.-393 p. -(Lecture Notes in Computer Science). 42. Artificial Immune Systems: Proc./Third International Conference, ICARIS 2004. Catania, Sicily, Italy, September 2004/Ed. by G.Nicosia, V.Cutello, P.J.Bentley, J.Timmis. -Berlin, Heidelberg: Springer, 2004.-Vol. 3239.-444 p. -(Lecture Notes in Computer Science). 43. Applying Formal Methods: Testing, Performance, and M/E-Commerce: Proc./FORTE 2004 Workshops The FormEMC, EPEW, ITM. Toledo, Spain, October 2004/Ed. by M.Nunez, Z.Maamar, F.L.Pelayo, K.Pousttchi.-Berlin, Heidelberg: Springer, 2004. -Vol. 3236.-381 p.-(Lecture Notes in Computer Science). 44. Discovery Science: Proc./7th International Conference, DS 2004. Padova, Italy, October 2004/Ed. by E.Suzuki, S.Arikawa.-Berlin, Heidelberg: Springer, 2004.-Vol. 3245. -430 p.-(Lecture Notes in Artificial Intelligence). 45. Multiagent System Technologies: Proc./Second German Conference, MATES 2004. Erfurt, Germany, September 2004/Ed. by G.Lindemann, J.Denziger, I.J.Timm, R.Unland.-Berlin, Heidelberg: Springer, 2004.-Vol. 3187.-341 p.-(Lecture Notes in Artificial Intelligence).