Мемориальная библиотека им. А.П. Ершова

Hовые поступления с 10 ноября по 22 декабря 2008 года

  1. IP Operations and Management: Proc./8th IEEE International 
Workshop, IPOM 2008. Samos Island, Greece, September 2008/Ed. by  
N.Akar, M.Pioro, Ch.Skianis.-Berlin, Heidelberg: Springer, 2008.
-Vol. 5275.-155 p.-(Lecture Notes in Computer Science).
 
  2. Modeling Autonomic Communications Environments: Proc./Third 
IEEE International Workshop, MACE 2008. Samos Island, Greece, 
September 2008/Ed. by  Der Meer S.Van, M.Burgess, S.Denazis.
-Berlin, Heidelberg: Springer, 2008.-Vol. 5276.-127 p.-(Lecture 
Notes in Computer Science).
 
  3. Management of Convergent Multimedia Networks and Services: 
Proc./11th IFIP/IEEE Intl Conf. on Management of Multimedia & 
Mobile Networks & Services, MMNS 2008. Samos Island, Greece, 
September 2008/Ed. by  G.Pavlou, T.Ahmed, T.Dagiuklas.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5274.-171 p.-(Lecture Notes in 
Computer Science).
 
  4. Haptic and Audio Interaction Design: Proc./Third 
International Workshop, HAID 2008. Jyvaskyla, Finland, September 
2008/Ed. by  A.Pirhonen, S.Brewster.-Berlin, Heidelberg: Springer,
 2008.-Vol. 5270.-131 p.-(Lecture Notes in Computer Science).
 
  5. Managing Large-Scale Service Deployment: Proc./19th 
IFIP/IEEE International Workshop on Distributed Systems: 
Operations and Management, DSOM 2008. Samos Island, Greece, 
September 2008/Ed. by  G.Pavlou, T.Ahmed, T.Dagiuklas.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5273.-197 p.-(Lecture Notes in 
Computer Science).
 
  6. Coding Theory and Applications: Proc./Second International 
Castle Meeting, ICMCTA 2008. Castillo de la Mota, Medina del 
Campo, Spain, September 2008/Ed. by  A.Barbero.-Berlin, Heidelberg:
 Springer, 2008.-Vol. 5228.-197 p.-(Lecture Notes in Computer 
Science).
 
  7. Verified Software: Theories, Tools, Experiments: 
Proc./Second International Conference, VSTTE 2008. Toronto, 
Canada, October 2008/Ed. by  N.Shankar, J.Woodcock.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5295.-263 p.-(Lecture Notes in 
Computer Science).
 
  8. Computer Performance Engineering: Proc./5th European 
Performance Engineering Workshop, EPEW 2008. Palma de Mallorca, 
Spain, September 2008/Ed. by  N.Thomas, C.Juiz.-Berlin, Heidelberg:
 Springer, 2008.-Vol. 5261.-269 p.-(Lecture Notes in Computer 
Science).
 
  9. Engineering Interactive Systems 2008: Proc./Second 
International Conference on Human-Centerend Software Engineering, 
HCSE & 7th Intl WS on Task Models and Diagrams, TAMODIA 2008. 
Pisa, Italy, September 2008/Ed. by  P.Forbig, F.Paterno.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5247.-306 p.-(Lecture Notes in 
Computer Science).
 
 10. Abstract State Machines, B and Z: Proc./First International 
Conference, ABZ 2008. London, UK, September 2008/Ed. by  
E.Boerger, M.Butler, J.P.Bowen, P.Boca.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 5238.-382 p.-(Lecture Notes in Computer 
Science).
 
 11. Апанович З.В. От рисования графов к визуализации информации.
-Новосибирск, 2007.-27 с.-(Препринт/СО РАН. ИСИ СО РАН; N 148).
 
 12. Касьянов В.Н. Проблемы преобразования программ.-Новосибирск, 
1988.-27 с.-(Препринт/ВЦ СО АН СССР; N 785).

 13. Кубасов С. В. Верификация автоматных программ в контексте 
синхронного программирования: Автореф. дис... канд. тех. наук: 
05.13.11.-Ярославль, 2008.-19 с.-Библиогр.: c.18-19.
 
 14. Фалалеев М. В. Теория фундаментальных оператор-функций 
вырожденных интегро-дифференциальных операторов в Банаховых 
пространствах: Автореф. дис... канд. физ.-мат. наук: 01.01.02.
-Иркутск, 2008.-34 с.-Библиогр.: c.30-34.
 
 15. Фадеев А. С. Идентификация музыкальных объектов на основе 
непрерывного вайвлет-преобразования: Автореф. дис... канд. тех. 
наук: 05.13.01.-Томск, 2008.-20 с.-Библиогр.: c.19-20.
 
 16. Вичугов В. Н. Нейросетевой метод управления на основе 
подкрепляемого обучения: Автореф. дис... канд. тех. наук: 05.13.01.
-Томск, 2008.-21 с.-Библиогр.: c.20-21.
 
 17. Суходоев М. С. Корневой анализ и синтез систем с 
интервальными параметрами на основе вершинных характеристических 
полиномов: Автореф. дис... канд. тех. наук: 05.13.01.-Томск, 2008.
-21 с.-Библиогр.: c.20-21.
 
 18. Костылев Е. В. Алгоритмы антиунификации и их применение для 
вычисления инвариантов программ: Автореф. дис... канд. физ.-мат. 
наук: 01.01.09.-Москва, 2008.-23 с.-Библиогр.: c.23.
 
 19. Толпегин П. В. Автоматическое разрешение кореференции 
местоимений третьего лица русскоязычных текстов: Автореф. дис... 
канд. тех. наук: 05.13.17.-М., 2008.-25 с.-Библиогр.: c.25.
 
 20. Плотников П. В. Автоматизация проектирования систем цифровой 
фильтрации в базисах ПЛИС и заказных микросхем: Автореф. дис... 
канд. тех. наук: 05.13.12.-Владимир, 2008.-19 с.-Библиогр.: 
c.18-19.
 
 21. Нгуен Минь Туан Разработка алгоритмов построения оценок 
достоверности для систем распознавания речи: Автореф. дис... 
канд. тех. наук: 05.13.11.-М., 2008.-22 с.-Библиогр.: c.22.
 
 22. Щетинин Д. В. Управляемая текстами система имитационного 
моделирования наземного движения воздушных судов: Автореф. дис... 
канд. тех. наук: 05.13.11.-Тверь, 2008.-23 с.-Библиогр.: c.22-23.
 
 23. Крайнева И. А. Научная биография академика А. П. Ершова: 
Автореф. дис... канд. ист. наук: 07.00.10.-Томск, 2008.-39 с.
-Библиогр.: c.38-39.
 
 24. Дубцов Р. С. Теоретико-категорное исследование семантики 
областей Скотта параллельных моделей с реальным временем: 
Автореф. дис... канд. физ.-мат. наук: 05.13.11.-Новоосибирск, 2008.
-18 с.-Библиогр.: c.16-18.
 
 25. Дубцов Р. С. Теоретико-категорное исследование семантики 
областей Скотта параллельных моделей с реальным временем: Дис... 
канд. физ.-мат. наук: 05.13.11.-Новосибирск, 2008.-116 с.
-Библиогр.: c.109-116.
 
 26. Демин А. В. Логико-вероятностный метод извлечения знаний и 
его применение в задачах прогнозирования и управления: Автореф. 
дис... канд. физ.-мат. наук: 05.13.11.-Новосибирск, 2008.-18 с.
-Библиогр.: c.16-18.
 
 27. Демин А. В. Логико-вероятностный метод извлечения знаний и 
его применение в задачах прогнозирования и управления: Дис... 
канд. физ.-мат. наук: 05.13_11.-Новосибирск, 2008.-18 с.
-Библиогр.: c.16-18.

 28. Арапбаев Р. Н. Анализ зависимостей по данным: тесты на 
зависимость и стратегии тестирования: Автореф. дис... канд. 
физ.-мат. наук: 05.13.11.-Новосибирск, 2008.-18 с.-Библиогр.: 
c.17-18.
 
 29. Арапбаев Р. Н. Анализ зависимостей по данным: тесты на 
зависимость и стратегии тестирования: Дис... канд. физ.-мат. наук:
 05.13.11.-Новосибирск, 2008.-116 с.-Библиогр.: c.105-116.
 
 30. Быстров А. В. Спецификация и анализ распределенных систем с 
использованием инструментальных средств, поддерживающих модели 
сетей Петри: Автореф. дис... канд. физ.-мат. наук: 05.13.11.
-Новосибирск, 2008.-18 с.-Библиогр.: c.16-18.
 
 31. Быстров А. В. Спецификация и анализ распределенных систем с 
использованием инструментальных средств, поддерживающих модели 
сетей Петри: Дис... канд. физ.-мат. наук: 05.13.11.-Новосибирск, 
2008.-136 с.-Библиогр.: c.116-126.
 
 32. Информационные технологи в общеобразовательной школе/ 
Сборник материалов международной телеконференции 10.11.2000 - 
30.01.2001/Российская академия образования. Сибирский институт 
образовательных технологий; .-Новосибирск, 2002.-327 с.
 
 33. Tarasyuk I. Investigating equivalence relations in dtsPBC.
-Oldenburg, 2008.-51 p.-(Rep./Ossietzky Universitat; N 05/08).
 
 34. Graphics Recognition: Recent Advances and New Opportunities: 
Selected Papers/ 7th International Workshop, GREC 2007 Curitiba, 
Brazil, September 2007/Ed. by  W.Liu, J.Llados, J.-M.Ogier.
-Springer, Heidelberg: Springer, 2008.-Vol. 5046.-336 p.-(Lecture 
Notes in Computer Science).
 
 35. Rwsearch and Advanced Technology for Digital Libraries: 
Proc./ 12th European Conference, ECDL 2008. Aarhus, Denmark, 
September 2008/Ed. by  B.Christensen-Dalsgaard, D.Castelli, 
B.A.Jurik, J.Lippincott.-Springer, Heidelberg: Springer, 2008.
-Vol. 5173.-461 p.-(Lecture Notes in Computer Science).
 
 36. Advances in Neural Networks - ISNN 2008. Part I: Proc./5th 
International Symposium on Neural Networks, ISSN 2008. Beijing, 
China, September 2008/Ed. by  F.Sun, J.Zhang, Y.Tan, J.Cao.
-Springer, Heidelberg: Springer, 2008.-Vol. 5263.-908 p.-(Lecture 
Notes in Computer Science).
 
 37. Advances in Neural Networks - ISNN 2008. Part II: Proc./5th 
International Symposium on Neural Networks, ISNN 2008. Beijing, 
China, September 2008/Ed. by  F.Sun, J.Zhang, Y.Tan, J.Cao.
-Springer, Heidelberg: Springer, 2008.-Vol. 5264.-846 p.-(Lecture 
Notes in Computer Science).
 
 38. Distributed Computing: Proc./22nd International Sumposium, 
DISC 2008. Arcachon, France, September 2008/Ed. by  G.Taubenfeld.
-Springer, Heidelberg: Springer, 2008.-Vol. 5218.-522 p.-(Lecture 
Notes in Computer Science).
 
 39. Ant Colony Optimization and Swarm Intelligence: Proc./6th 
International Conference, ANTS 2008. Brussels, Belgium, September 
2008/Ed. by  M.Dorigo, M.Birattari, Ch.Blum, M.Clerc.-Springer, 
Heidelberg: Springer, 2008.-Vol. 5217.-416 p.-(Lecture Notes in 
Computer Science).
 
 40. Hybrid Metaheuristics: Proc./5th International Workshop, HM 
2008. Malaga, Spain, October 2008/Ed. by  M.J.Blesa, Ch.Blum, 
C.Cotta, A.J.Fernandez.-Springer, Heidelberg: Springer, 2008.
-Vol. 5296.-203 p.-(Lecture Notes in Computer Science).

 41. Central European Functional Programming School: Revised 
Selected Lectures/ Second Summer School, CEFP 2007. Cluj-Napoca, 
Romania, June 2007/Ed. by  Z.Horvath, R.Plasmeijer, A.Soos, V.Zsok.
-Springer, Heidelberg: Springer, 2008.-Vol. 5161.-303 p.-(Lecture 
Notes in Computer Science).
 
 42. Privacy in Statistical Databases: Proc./ UNESCO Chair in 
Data Privacy International Conference, PSD 2008. Istanbul, 
Turkey, September 2008/Ed. by  J.Domingo-Ferrer, Y.Saygin.
-Springer, Heidelberg: Springer, 2008.-Vol. 5262.-335 p.-(Lecture 
Notes in Computer Science).
 
 43. Cooperative Design, Visualization, and Engineering: 
Proc./5th International Conference, CDVE 2008, Calvia, Mallorca, 
Spain, September 2008/Ed. by  Y.Luo.-Springer, Heidelberg: 
Springer, 2008.-Vol. 5220.-312 p.-(Lecture Notes in Computer 
Science).
 
 44. Computer Safety, Reliability, and Security: Proc./27th 
International Conference, SAFECOMP 2008. Newcastle upon Tune, UK, 
September 2008/Ed. by  M.D.Harrison, M.-A.Sujan.-Springer, 
Heidelberg: Springer, 2008.-Vol. 5219.-456 p.-(Lecture Notes in 
Computer Science).
 
 45. Times of Convergence: Technologies Across Learning Context: 
Proc./ Third European Conference on Technology Enhanced Learning, 
EC-TEL 2008. Maastricht, The Netherlands, September 2008/Ed. by  
P.Dillenbourg, M.Specht.-Springer, Heidelberg: Springer, 2008.
-Vol. 5192.-476 p.-(Lecture Notes in Computer Science).
 
 46. Geographic Infomation Science: Proc./5th International 
Conference, GIScience 2008. Park City, UT, USA, September 2008/
Ed. by  T.J.Cova, H.J.Miller, K.Beard, A.U.Frank.-Springer, 
Heidelberg: Springer, 2008.-Vol. 5266.-393 p.-(Lecture Notes in 
Computer Science).
 
 47. Computer Science Logic: Proc./22nd International Workshop, 
CSL 2008. 17th Annual Conference of the EACSL. Bertinoro, Italy, 
September 2008/Ed. by  M.Kaminski, S.Martini.-Springer, Heidelberg:
 Springer, 2008.-Vol. 5213.-513 p.-(Lecture Notes in Computer 
Science).
 
 48. Formal Modeling and Analysis of Timed Systems: Proc./6th 
International Conference, FORMATS 2008. Saint Malo, France, 
September 2008/Ed. by  F.Cassez, C.Jard.-Springer, Heidelberg: 
Springer, 2008.-Vol. 5215.-295 p.-(Lecture Notes in Computer 
Science).
 
 49. Model Driven Engineering Languages and Systems: Proc./11th 
International Conference, MoDELS 2008. Toulouse, France, 
September/October 2008/Ed. by  K.Czarnecki, I.Ober, J.-M.Bruel, 
A.Uhl.-Springer, Heidelberg: Springer, 2008.-Vol. 5301.-921 p.
-(Lecture Notes in Computer Science).
 
 50. Provable Security: Proc./ Second International Conference, 
ProvSec 2008. Shanghai, China, October/November 2008/Ed. by  
J.Baek, F.Bao, K.Chen, X.Lai.-Springer, Heidelberg: Springer, 2008.
-Vol. 5324.-361 p.-(Lecture Notes in Computer Science).
 
 51. Pattern Recognition in Bioinformatics: Proc./ Third IAPR 
International Conference, PRIB 2008. Melbourne, Australia, 
October 2008/Ed. by  M.Chetty, A.Ngom, Sh.Ahmad.-Springer, 
Heidelberg: Springer, 2008.-Vol. 5265.-472 p.-(Lecture Notes in 
Bioinformatics).
 
 52. Hybrid Artificial Intelligence Systems: Proc./ Third 
International Workshop, HAIS 2008. Burgos, Spain, September 2008/
Ed. by  E.Corchado, A.Abraham, W.Pedrycz.-Springer, Heidelberg: 
Springer, 2008.-Vol. 5271.-767 p.-(Lecture Notes in Artificial 
Intelligence).
 
 53. Inductive Logic Programming: Proc./18th International 
Conference, ILP 2008. Prague, Czech Republic, September 2008/Ed. 
by  F.Zelezny, N.Lavrac.-Springer, Heidelberg: Springer, 2008.
-Vol. 5194.-349 p.-(Lecture Notes in Artificial Intelligence).
 
 54. Advances in Artificial Intelligence - IBERAMIA 2008: 
Proc./11th Ibero-American Conference on AI. Lisbon, Portugal, 
October 2008/Ed. by  H.Geffner, R.Prada, I.M.Alexandre, N.David.
-Springer, Heidelberg: Springer, 2008.-Vol. 5290.-462 p.-(Lecture 
Notes in Artificial Intelligence).
 
 55. Ullrich C. Pedagogically Founded Courseware Generation for 
Web-Based Learning: An HTN-Planning-Based Approach Implemented in 
PIGOS.- Springer, Heidelberg: Springer, 2008.- 257 p.-(Lecture 
Notes in Artificial Intelligence; Vol. 5260).-Bibliogr.: 
p.241-254.
 
 56. Logics in Artificial Intelligence: Proc./11th European 
Conference, JELIA 2008. Dresden, Germany, September/October 2008/
Ed. by  S.Holldobler, C.Lutz, H.Wansing.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 5293.-429 p.-(Lecture Notes in Artificial 
Intelligence).
 
 57. Spatial Cognition VI: Learning, Reasoning, and Talking about 
Space: Proc./ International Conference Spatial Cognition 2008. 
Freiburg, Germany, September 2008/Ed. by  Ch.Freksa, 
N.S.Newcombe, P.Gardenfors, S.Wolfl.-Berlin, Heidelberg: Springer,
 2008.-Vol. 5248.-441 p.-(Lecture Notes in Artificial 
Intelligence).
 
 58. Grammatical Inference: Algorithms and Applications: 
Proc./9th International Colloquium, ICGI 2008. Saint-Malo, 
France, September 2008/Ed. by  A.Clark, F.Coste, L.Miclet.
-Berlin, Heidelberg: Springer, 2008.-Vol. 5278.-305 p.-(Lecture 
Notes in Artificial Intelligence).
 
 59. Emerging Technologies and Information Systems for the 
Knowledge Society: Proc./1st World Summit on the Knowledge 
Society, WSKS 2008. Athens, Greece, September 2008/Ed. by  
M.D.Lytras, J.M.Carroll, E.Damiani, R.D.Tennyson.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5288.-603 p.-(Lecture Notes in 
Artificial Intelligence).
 
 60. Intelligent Robotics and Applications. Part I: Proc./First 
International Conference, ICIRA 2008. Wuhan, China, October 2008/
Ed. by  C.Xiong, H.Liu, Y.Huang, Y.Xiong.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 5314.-1284 p.-(Lecture Notes in Artificial 
Intelligence).
 
 61. Intelligent Robotics and Applications. Part II: Proc./ Ferst 
International Conference, ICIRA 2008. Wuhan, China, October 2008/
Ed. by  C.Xiong, H.Liy, Y.Huang, Y.Xiomg.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 5315.-1258 p.-(Lecture Notes in Artificial 
Intelligence).
 
 62. Multiagent System Technologies: Proc./6th German Conference, 
MATES 2008. Kaiserslautern, Germany, September 2008/Ed. by  
R.Bergmann, G.Lindemann, S.Kirn, M.Pechoucek.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 5244.-207 p.-(Lecture Notes in Artificial 
Intelligence).

 63. Knowledge Engineering: Practice and Patterns: Proc./16th 
Internatioal Conference, EKAW 2008. Acitrezza, Italy, 
September/October 2008/Ed. by  A.Gangemi, J.Euzenat.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5268.-420 p.-(Lecture Notes in 
Artificial Intelligence).
 
 64. Scalable Uncertainty Managemant: Proc./ Second International 
Conference, SUM 2008. Naples, Italy, October 2008/Ed. by  
S.Greco, Th.Lukasiewicz.-Berlin, Heidelberg: Springer, 2008.-Vol. 
5291.-401 p.-(Lecture Notes in Artificial Intelligence).
 
 65. Algorithmic Learning Theory: Proc./19th International 
Conference, ALT 2008. Budapest, Hungary, October 2008/Ed. by  
Y.Freund, L.Gyorfi, G.Turan, Th.Zeugmann.-Berlin, Heidelberg: 
Springer, 2008.-Vol. 5254.-467 p.-(Lecture Notes in Artificial 
Intelligence).
 
 66. Computer Mathematics: Revised and Invited Papers/8th Asian 
Symposium, ASCM 2007. Singapore, December 2007/Ed. by  D.Kapur.
-Berlin, Heidelberg: Springer, 2008.-Vol. 5081.-359 p.-(Lecture 
Notes in Artificial Intelligence).
 
 67. Advanced Data Mining and Applications: Proc./4th 
International Conference, ADMA 2008. Chengdu, China, October 2008/
Ed. by  Ch.Tang, Ch.X.Ling, X.Zhou, N.J.Cercone.-Berlin, 
Heidelberg: Springer, 2008.-Vol. 5139.-759 p.-(Lecture Notes in 
Artificial Intelligence).



Вы обнаружили ошибку в следующем тексте:
Просто нажмите кнопку "Отправить сообщение об ошибке" для завершения. Вы можете также ввести комментарий (желательно).