Hовые поступления с 26 октября 2006 года по 10 января 2007 года
1. Neural Information Processing: Part I: Proc./13th International Conference, ICONIP 2006. Hong Kong, China, October 2006/Ed. by I.King, J.Wang, L.Chan, D.Wang.-Berlin, Heidelberg: Springer, 2006.-Vol. 4232.-1153 p.-(Lecture Notes in Computer Science). 2. Neural Information Processing: PartII: Proc./13th International Conference, ICONIP 2006. Hong Kong, China, October 2006/Ed. by I.King, J.Wang, L.Chan, D.Wang.-Berlin, Heidelberg: Springer, 2006.-Vol. 4233.-1203 p.-(Lecture Notes in Computer Science). 3. Neural Information Processing: Part III: Proc./13th International Conference, ICONIP 2006. Hong Kong, China, October 2006/Ed. by I.King, J.Wang, L.Chan, D.Wang.-Berlin, Heidelberg: Springer, 2006.-Vol. 4234.-1227 p.-(Lecture Notes in Computer Science). 4. Ubiquitous Computing Systems: Proc./Third International Symposium, UCS 2006. Seoul, Korea, October 2006/Ed. by H.Y.Youn, M.Kim, H.Morikawa.-Berlin, Heidelberg: Springer, 2006.-Vol. 4239.-548 p.-(Lecture Notes in Computer Science). 5. Cryptographic Hardware and Embedded Systems - CHES 2006: Proc./8th International Workshop. Yokohama, Japan, October 2006/Ed. by L.Goubin, M.Matsui.-Berlin, Heidelberg: Springer, 2006.-Vol. 4249.-462 p.-(Lecture Notes in Computer Science). 6. Entertainment Computing - ICEC 2006: Proc./5th International Conference. Cambridge, UK, September 2006/Ed. by R.Harper, M.Rauterberg, M.Combetto.-Berlin, Heidelberg: Springer, 2006.-Vol. 4161.-417 p.-(Lecture Notes in Computer Science). 7. Principles and Practice of Constraint Programming - CP 2006: Proc./12th Intl Conference, CP 2006. Nantes, France, September 2006/Ed. by F.Benhamou.-Berlin, Heidelberg: Springer, 2006.-Vol. 4204.-774 p.-(Lecture Notes in Computer Science). 8. Distributed Computing: Proc./20th International Symposium, DISC 2006. Stockholm, Sweden, September 2006/Ed. by Sh.Dolev.-Berlin, Heidelberg: Springer, 2006.-Vol. 4167. -576 p.-(Lecture Notes in Computer Science). 9. Graph Transformations: Proc./Third International Conference, ICGT 2006. Natal Rio Grande de Norte, Brazil, September 2006/Ed. by A.Corradini, H.Ehrig, U.Montanari, L.Ribeiro.-Berlin, Heidelberg: Springer, 2006.-Vol. 4178. -473 p.-(Lecture Notes in Computer Science). 10. Personal Wireless Communications: Proc./IFIP TC6 11th International Conference, PWC 2006. Albacete, Spain, September 2006/Ed. by P.Cuenca, L.Orozco-Barbosa.-Berlin, Heidelberg: Springer, 2006.-Vol. 4217.-532 p.-(Lecture Notes in Computer Science). 11. Advances in Computer Systems Architecture: Proc./11th Asia-Pacific Conference, ACSAC 2006. Shanghai, China, September 2006/Ed. by Ch.Jesshope, C.Egan.-Berlin, Heidelberg: Springer, 2006.-Vol. 4186.-605 p.-(Lecture Notes in Computer Science). 12. Intelligent Data Engineering and Automated Learning - IDEAL 2006: Proc./7th International Conference. Burgos, Spain, September 2006/Ed. by E.Corchado, H.Yin, V.Botti, C.Fyfe.-Berlin, Heidelberg: Springer, 2006.-Vol. 4224.-1447 p.-(Lecture Notes in Computer Science). 13. Refinement Techniques in Software Engineering: Revised Lectures/1st Pernambuco Summer School on Software Engineering, PSSE 2004. Recife, Brazil, November/December 2004/Ed. by A.Cavalcanti, A.Sampaio, J.Woodcock.-Berlin, Heidelberg: Springer, 2006.-Vol. 3167.-393 p.-(Lecture Notes in Computer Science). 14. Иванова А.О. Ориентированная и 2-дистанционная раскраски плоских графов с заданным обхватом: Автореф. дис... канд. ф.-м. наук: 01.01.09.-Новосибирск, 2006.-14 с. -Библиогр.: c.11-14. 15. Лемперт А.А. Методы улучшения в задаче оптимального управления на сети операторов: Автореф. дис... канд. ф.-м. наук: 05.13.01.-Иркутск, 2006.-17 с.-Библиогр.: c.16-17. 16. Демаков А.В. Объектно-ориентированное описание графового представления программ и моделей: Автореф. дис... канд. ф.-м. наук: 05.13.11.-Москва, 2006.-26 с.-Библиогр.: c.26. 17. Витяев Е.Е. Логико-вероятностные методы извлечения знаний из данных и компьютерное познание: Автореф. дис... докт. ф.-м. наук: 05.13.01.-Новосибирск, 2006.-40 с. -Библиогр.: c.37-40. 18. Шерина Е.В. Теоретико-множественный подход к интеграции информационных систем: Автореф. дис... канд. техн. наук: 05.13.01.-Москва, 2006.-23 с.-Библиогр.: c.22-23. 19. Корябкина И.В. Эффективные способы и средства описания изображений в задачах распознавания: Автореф. дис... канд. техн. наук: 05.13.17.-Москва, 2006.-20 с.-Библиогр.: c.19-20. 20. Лю Юн Компьютерная обучающая система китайской письменности: Автореф. дис... канд. техн. наук: 05.13.11. -Москва, 2006.-21 с.-Библиогр.: c.21. 21. Сидорова Е.А. Методы и программные средства для анализа документов на основе модели предметной области: Автореф. дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2006.-18 с. -Библиогр.: c.16-18. 22. Сидорова Е.А. Методы и программные средства для анализа документов на основе модели предметной области: Дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2006.-125 с.-Библиогр.: c.117-125. 23. Черных И.Г. Алгоритмический и программный инструментарий для численного решения прямых задач химической кинетики с использованием супер-ЭВМ: Автореф. дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2006.-18 с. -Библиогр.: c.16-18. 24. Черных И.Г. Алгоритмический и программный инструментарий для численного решения прямых задач химической кинетики с использованием супер-ЭВМ: Дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2006.-101 с.-Библиогр.: c.91-101. 25. Стасенко А.П. Модели и реализация транслирующих компонентов системы функционального программирования: Автореф. дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2006. -20 с.-Библиогр.: c.19-20. 26. Стасенко А.П. Модели и реализация транслирующих компонентов системы функционального программирования: Дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2006.-231 с. -Библиогр.: c.110-119. 27. Касьянова Е.В. Адаптивные методы и средства поддержки дистанционного обучения программированию: Автореф. дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2006.-26 с. -Библиогр.: c.24-26. 28. Касьянова Е.В. Адаптивные методы и средства поддержки дистанционного обучения программированию: Дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2006.-181 с.-Библиогр.: c.123-137. 29. Валеев Т.Ф. Алгоритмы и программный инструментарий для исследования процессов генной регуляции: Автореф. дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2006.-17 с. -Библиогр.: c.15-17. 30. Валеев Т.Ф. Алгоритмы и программный инструментарий для исследования процессов генной регуляции: Дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2006.-163 с.-Библиогр.: c.154-163. 31. Пономарев Д.К. Синтаксическая однозначность при представлении знаний в логике первого порядка: Автореф. дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2006.-21 с. -Библиогр.: c.20-21. 32. Пономарев Д.К. Синтаксическая однозначность при представлении знаний в логике первого порядка: Дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2006.-95 с.-Библиогр.: c.89-94. 33. Automotive Software - Connected Services in Mobile Networks: Revised Selected Papers/1st Automotive Software Workshop, ASWSD 2004. San Diego, CA, USA, January 2005/Ed. by M.Broy, I.H.Krueger, M.Meisinger.-Berlin, Heidelberg: Springer, 2006.-Vol. 4147.-155 p.-(Lecture Notes in Computer Science). 34. Leveraging Applications of Formal Methods: Revised Selected Papers/1st International Symposium, ISoLA 2004. Paphos, Cyprus, October/November 2004/Ed. by T.Margaria, B.Steffen.-Berlin, Heidelberg: Springer, 2006.-Vol. 4313. -197 p.-(Lecture Notes in Computer Science). 35. Software Process Improvement: Proc./13th European Conference, EuroSPI 2006. Joensuu, Finland, October 2006/Ed. by I.Richardson, P.Runeson, R.Messnarz.-Berlin, Heidelberg: Springer, 2006.-Vol. 4257.-219 p.-(Lecture Notes in Computer Science). 36. Communications and Multimedia Security: Proc./1th IFIP TC-6 TC-11 International Conference, CMS 2006. Heraklion, Crete, Greece, October 2006/Ed. by H.Leitold, E.Markatos. -Berlin, Heidelberg: Springer, 2006.-Vol. 4237.-253 p. -(Lecture Notes in Computer Science). 37. Provenance and Annotation of Data: Revised Selected Papers/International Provenance and Annotation Workashop, IPAW 2006. Chicago, IL, USA, May 2006/Ed. by L.Moreau, I.Foster.-Berlin, Heidelberg: Springer, 2006.-Vol. 4145.-288 p.-(Lecture Notes in Computer Science). 38. Web Information Systems - WISE 2006 Workshops: Proc./WISE 2006 International Workshops. Wuhan, China, October 2006/Ed. by L.Feng, G.Wang, Ch.Zheng, R.Huang. -Berlin, Heidelberg: Springer, 2006.-Vol. 4256.-320 p. -(Lecture Notes in Computer Science). 39. Financial Cryptography and Data Security: Revised Selected Papers/10th International Conference, FC 2006. Anguilla, British West Indies, February/March 2006/Ed. by Crescenzo G.Di, A.Rubin.-Berlin, Heidelberg: Springer, 2006. -Vol. 4107.-327 p.-(Lecture Notes in Computer Science). 40. Graph-Theoretic Concepts in Computer Science: Revised Papers/32nd International Workshop, WG 2006. Bergen, Norway, June 2006/Ed. by F.V.Fomin.-Berlin, Heidelberg: Springer, 2006.-Vol. 4271.-358 p.-(Lecture Notes in Computer Science). 41. Theoretical Aspects of Computing - ICTAC 2006: Proc./Third International Colloquium. Tunis, Tunisia, November 2006/Ed. by K.Barkaoui, A.Cavalcanti, A.Cerone. -Berlin, Heidelberg: Springer, 2006.-Vol. 4281.-371 p. -(Lecture Notes in Computer Science). 42. Advances in Information and Computer Security: Proc./First International Workshop on Security, IWSEC 2006. Kyoto, Japan, October 2006/Ed. by H.Yoshiura, K.Sakurai, J.Rannenberg, Y.Murayama.-Berlin, Heidelberg: Springer, 2006. -Vol. 4266.-438 p.-(Lecture Notes in Computer Science). 43. Groupware: Design, Implementation, and Use: Proc./12th International Workshop, CRIWG 2006. Medina del Campo, Spain, September 2006/Ed. by Y.A.Dimitriadis, I.Zigurs, E.Gomez-Sanchez.-Berlin, Heidelberg: Springer, 2006.-Vol. 4154.-438 p.-(Lecture Notes in Computer Science). 44. Computer Safety, Reliability, and Security: Proc./25th International Conference, SAFECOMP 2006. Gdansk, Poland, September 2006/Ed. by J.Gorski.-Berlin, Heidelberg: Springer, 2006.-Vol. 4166.-440 p.-(Lecture Notes in Computer Science). 45. Formal Techniques for Networked and Distributed Systems - FORTE 2006: Proc./26th IFIP WG 6.1 International Conference. Paris, France, September 2006/Ed. by E.Najm, J.-F.Pradat-Peyre, V.V.Donzeau-Gouge.-Berlin, Heidelberg: Springer, 2006.-Vol. 4229.-486 p.-(Lecture Notes in Computer Science). 46. Automated Technology for Verification and Analysis: Proc./4th International Symposium, ATVA 2006. Beijing, China, October 2006/Ed. by S.Graf, W.Zhang.-Berlin, Heidelberg: Springer, 2006.-Vol. 4218.-540 p.-(Lecture Notes in Computer Science). 47. Computer Security - ESORICS 2006: Proc./11th European Symposium on Research in Computer Security. Hamburg, Germany, September 2006/Ed. by D.Gollmann, J.Meier, A.Sabelfeld.-Berlin, Heidelberg: Springer, 2006.-Vol. 4189. -548 p.-(Lecture Notes in Computer Science). 48. Web Information Systems - WISE 2006: Proc./7th International Conference on Web Information Systems Engineering. Wuhan, China, October 2006/Ed. by K.Aberer, Zh.Peng, E.A.Rundensteiner, Y.Zhang.-Berlin, Heidelberg: Springer, 2006.-Vol. 4255.-563 p.-(Lecture Notes in Computer Science). 49. Discrete Geometry for Computer Imagery: Proc./13th International Conference, DGCI 2006. Szeged, Hungary, October 2006/Ed. by A.Kuba, L.G.Nyul, K.Palagyi.-Berlin, Heidelberg: Springer, 2006.-Vol. 4245.-688 p.-(Lecture Notes in Computer Science). 50. Innovative Approaches for Learning and Knowledge Sharing: Proc./First European Conference on Technology Enhanced Learning, EC-TEL 2006. Crete, Greece, October 2006/ Ed. by W.Nejdl, K.Tochtermann.-Berlin, Heidelberg: Springer, 2006.-Vol. 4227.-721 p.-(Lecture Notes in Computer Science). 51. Model Driven Engineering Languages and Systems: Proc./9th International Conference, MoDELS 2006. Genova, Italy, October 2006/Ed. by O.Nierstrasz, J.Whittle, D.Harel, G.Reggio.-Berlin, Heidelberg: Springer, 2006.-Vol. 4199.-798 p.-(Lecture Notes in Computer Science). 52. Current Trends in Database Technology - EDBT 2006: Revised Selected Papers/EDBT 2006 Workshops PhD, DataX, IIDB, IIHA, ISCNW, QLQP, PIM, PaRMA and Reactivity on the Web. Munich, Germany, March 2006/Ed. by T.Grust, H.Hoepfner, S.Mueller, M.Mesiti.-Berlin, Heidelberg: Springer, 2006.-Vol. 4254.-932 p.-(Lecture Notes in Computer Science). 53. Information Networking: Advances in Data Communications and Wireless Networks: Revised Selected Papers/International Conference, ICOIN 2006. Sendai, Japan, January 2006/Ed. by I.Chong, K.Kawahara.-Berlin, Heidelberg: Springer, 2006. -Vol. 3961.-998 p.-(Lecture Notes in Computer Science). 54. Artificial Intelligence: Methodology, Systems, and Applications: Proc./12th International Conference, AIMSA 2006. Varna, Bulgaria, September 2006/Ed. by J.Euzenat, J.Domingue.-Berlin, Heidelberg: Springer, 2006.-Vol. 4183. -291 p.-(Lecture Notes in Artificial Intelligence). 55. Grammatical Inference: Algorithms and Applications: Proc./8th International Colloquium, ICGI 2006. Tokyo, Japan, September 2006/Ed. by Y.Sakakibara, S.Kobayashi, K.Sato, T.Nishino.-Berlin, Heidelberg: Springer, 2006.-Vol. 4201. -359 p.-(Lecture Notes in Artificial Intelligence). 56. Algorithmic Learning Theory: Proc./17th International Conference, ALT 2006. Barcelona, Spain, October 2006/Ed. by J.L.Balcazar, Ph.M.Long, F.Stefan.-Berlin, Heidelberg: Springer, 2006.-Vol. 4264.-393 p.-(Lecture Notes in Artificial Intelligence). 57. Managing Knowledge in a World of Networks: Proc./15th International Conference, EKAW 2006. Podebrady, Czech Republic, October 2006/Ed. by S.Staab, V.Svatek.-Berlin, Heidelberg: Springer, 2006.-Vol. 4248.-400 p.-(Lecture Notes in Artificial Intelligence). 58. Current Topics in Artificial Intelligence: Revised Selected Papers/11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005. Santiago de Compostela, Spain, November 2005/Ed. by R.Marin, E.Onaindia, A.Bugarin, J.Santos.-Berlin, Heidelberg: Springer, 2006.-Vol. 4177.-482 p.-(Lecture Notes in Artificial Intelligence). 59. Foundations of Intelligent Systems: Proc./16th International Symposium, ISMIS 2006. Bari, Italy, September 2006/Ed. by F.Esposito, Z.W.Ras, D.Malerba, G.Semeraro. -Berlin, Heidelberg: Springer, 2006.-Vol. 4203.-767 p. -(Lecture Notes in Artificial Intelligence). 60. Knowledge-Based Intelligent Information and Engineering Systems: Part I: Proc./10th International Conference, KES 2006. Bournemouth, UK, October 2006/Ed. by B.Gabrys, R.J.Howlett, L.C.Jain.-Berlin, Heidelberg: Springer, 2006. -Vol. 4251.-1297 p.-(Lecture Notes in Artificial Intelligence). 61. Knowledge-Based Intelligent Information and Engineering Systems: Part II: Proc./10th International Conference, KES 2006. Bournemouth, UK, October 2006/Ed. by B.Gabrys, R.J.Howlett, L.C.Jain.-Berlin, Heidelberg: Springer, 2006. -Vol. 4252.-1335 p.-(Lecture Notes in Artificial Intelligence). 62. Малышкин В.Э., Корнеев В.Д. Параллельное программирование мультикомпьютеров/Ред. Н.В.Пустовой, Ю.А.Афанасьев; Новосибирский государственный технический университет. .- Новосибирск, 2006.- 295 с.-(Учебники НГТУ). -Библиогр.: c.287-288. 63. Kasyanov V.N., Evstigneev V.A. Graph Theory for Programmers: Algorithms for Processing Trees.- China, 2006.- 432 p. 64. Страуструп Б. Язык программирования C++ : специальное издание/Ред. Ф.Андреев, А.Ушаков; Пер. С. Анисимов, М. Кононов.- Москва, Санкт-Петербург: Бином, 2002.- 1098 с. 65. Буч Г. Объектно-ориентированный анализ и проектирование - с примерами приложений на c++/Ред. И.Романовский, Ф.Андреев. .- Санкт-Петербург: Бином, 1998.- 558 с.-Библиогр.: c.497-548. 66. Троелсен Э. C# и платформа .NET.- Санкт-Петербург: Питер, 2006.- 795 с.-(Библиотека программиста). 67. Элджер Дж. C++/Ред. В.Усманов; Пер. Е. Матвеев.- Санкт-Петербург, 2000.- 320 с.-(Библиотека программиста). 68. Антипов М.В. Миражи и доказательства/РАН. .- Новосибирск, 2006.- 119 с.-Библиогр.: c.118-119. 69. Вшивков В.А., Лазарева Г.Г., Снытиков А.В. Параллельные численные алгоритмы: решение задач многофазной гидродинамики и астрофизики: учебное пособие/ФИТ НГУ. .- Новосибирск, 2006. - 145 с.-Библиогр.: c.142-145. 70. Цикоза В.А., Чурина Т.Г. Методы программирования: перестановки, поиск и сортировка: часть 2: учебное пособие/ ФИТ НГУ. .- Новосибирск, 2006.- 58 с.-Библиогр.: c.58. 71. Городняя Л.В. Банк улучшаемых компонетнов информационных систем.-Новосибирск, 2006.-40 с. -(Препринт/ИСИ СО РАН; N 130). 72. Новый вычислительный алгоритм для математического моделирования просачивания влаги сквозь ненасыщенную трещиноватую геологическую среду с низкой проницаемостью /В.М. Головизнин, В.Н. Семенов, А.А. Канаев и др. .-Москва, 2006.-53 с.-(Препринт/ИБРАЭ РАН; N IBRAE-2006-07).