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

Hовые поступления со 2 апреля по 28 апреля 2007 года


  1. Bioinformatics Research and Development: Proc./First 
International Conference, BIRD 2007. Berlin, Germany, March 
2007/Ed. by  S.Hochreiter, R.Wagner.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4144.-482 p.-(Lecture Notes in 
Bioinformatics).
 
  2. Anaphora: Analysis, Algorithms, and Applications: 
Selected Papers/6th Discourse Anaphora and Anaphor 
Resolution Colloquium, DAARC 2007. Lagos, Portugal, March 
2007/Ed. by  A.Branco.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4410.-191 p.-(Lecture Notes in Artificial 
Intelligence).
 
  3. Environments for Multi-Agent Systems III: Selected 
Revised and Invited Papers/3rd International Workshop, E4MAS 
2006. Hakodate, Japan, May 2006/Ed. by  D.Weyns, Dyke 
Parunak H.Van, F.Michel.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4389.-273 p.-(Lecture Notes in Artificial 
Intelligence).
 
  4. Learning Classifier Systems: Revised Selected 
Papers/International Workshops, IWLCS 2003-2005/Ed. by  
T.Kovacs, X.Llora, K.Takadama, P.L.Lanzi.-Berlin, Heidelberg:
 Springer, 2007.-Vol. 4399.-345 p.-(Lecture Notes in 
Artificial Intelligence).
 
  5. New Frontiers in Artificial Intelligence: Revised 
Selected Papers/JSAI 2003 & 2004 Conferences and Workshops, 
Niigata, Japan, June 2003, Kanazawa, Japan, May/June 2004/
Ed. by  A.Sakurai, K.Hasida, K.Nitta.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 3609.-548 p.-(Lecture Notes in 
Artificial Intelligence).
 
  6. Logic-Based Program Synthesis and Transformation: 
Revised Selected Papers/16th International Symposium, LOPSTR 
2006. Venice, Italy, July 2006/Ed. by  G.Puebla.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4407.-237 p.-(Lecture Notes 
in Computer Science).
 
  7. Compiler Construction: Proc./16th Intl Conference, CC 
2007, Held as Part of the Joint European Conferences on the 
Theory and Practice of Software, ETAPS 2007. Braga, 
Portugal, March 2007/Ed. by  Sh.Krishnamurthi, M.Odersky.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4420.-233 p.
-(Lecture Notes in Computer Science).
 
  8. Wireless Systems and Mobility in Next Generation 
Internet: Revised Selected Papers/Third Intl Workshop of the 
EURO-NGI Network of Excellence. Sitges, Spain, June 2006/Ed. 
by  J.Garcia-Vidal, L.Cerda-Alabern.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4396.-271 p.-(Lecture Notes in Computer 
Science).
 
  9. B 2007: Formal Specification and Development in B: 
Proc./7th International Conference of B Users. Besancon, 
France, January 2007/Ed. by  J,Julliand, O.Kouchnarenko.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4355.-293 p.
-(Lecture Notes in Computer Science).
 
 10. Architecture of Computing Systems - ARCS 2007: 
Proc./20th International Conference. Zurich, Switzerland, 
March 2007/Ed. by  P.Lukowicz, L.Thiele, G.Troester.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4415.-297 p.-(Lecture Notes 
in Computer Science).

 11. Reliable Systems on Unreliable Networked Platforms: 
Revised Selected Papers/12th Monterey Workshop 2005. Laguna 
Beach, CA, USA, September 2005/Ed. by  F.Kordon, 
J.Sztipanovits.-Berlin, Heidelberg: Springer, 2007.-Vol. 4322.
-317 p.-(Lecture Notes in Computer Science).
 
 12. Foundations of Software Science and Computational 
Structures:Proc./10th Intl Conference FOSSACS 2007, part of 
Joint European Conferences on Theory & Practice of Software, 
ETAPS 2007. Braga, Portugal, March/April 2007/Ed. by  H.Seidl.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4423.-379 p.
-(Lecture Notes in Computer Science).
 
 13. Reconfigurable Computing: Architectures, Tools, and 
Applications: Proc./Third International Workshop, ARC 2007. 
Mangaratiba, Brazil, March 2007/Ed. by  P.C.Diniz, 
E.Marques, K.Bertels, Fernandes M.Merino.-Berlin, Heidelberg:
 Springer, 2007.-Vol. 4419.-392 p.-(Lecture Notes in 
Computer Science).
 
 14. Computer Vision/Computer Graphics Collaboration 
Techniques: Proc./Third International Conference, MIRAGE 
2007. Rocquencourt, France, March 2007/Ed. by  A.Gagalowicz, 
W.Philips.-Berlin, Heidelberg: Springer, 2007.-Vol. 4418.
-620 p.-(Lecture Notes in Computer Science).
 
 15. Fundamental Approaches to Software Engineering: 
Proc./19th Intl Conference, FASE 2007, part of ETAPS 2007. 
Braga, Portugal, March/April 2007/Ed. by  M.B.Dwyer, A.Lopes.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4422.-440 p.
-(Lecture Notes in Computer Science).
 
 16. Tools and Algorithms for the Construction and Analysis 
of Systems: Proc./13th Intl Conference TACAS 2007, Part of 
ETAPS 2007. Braga, Portugal, March/April 2007/Ed. by  
O.Grumberg, M.Huth.-Berlin, Heidelberg: Springer, 2007.-Vol. 
4424.-738 p.-(Lecture Notes in Computer Science).
 
 17. Languages and Compilers for Parallel Computing: Revised 
Selected Papers/18th International Workshop, LCPC 2005. 
Hawthorne, NY, USA, October 2005/Ed. by  E.Ayguade, 
G.Baumgartner, J.Ramanujam, P.Sadayappan.-Berlin, Heidelberg:
 Springer, 2007.-Vol. 4339.-476 p.-(Lecture Notes in 
Computer Science).
 
 18. Advances in Information Retrieval: Proc./29th European 
Conference on IR Research, ECIR 2007. Rome, Italy, April 2007
/Ed. by  G.Amati, C.Carpinetto, G.Romano.-Berlin, Heidelberg:
 Springer, 2007.-Vol. 4425.-759 p.-(Lecture Notes in 
Computer Science).
 
 19. Hybrid Systems: Computation and Control: Proc./10th 
International Conference, HSCC 2007. Pisa, Italy, April 2007/
Ed. by  A.Bemporad, A.Bicchi, G.Buttazzo.-Berlin, Heidelberg:
 Springer, 2007.-Vol. 4416.-797 p.-(Lecture Notes in 
Computer Science).
 
 20. Programming Languages and Systems: Proc./16th European 
Symposium on Programming, ESOP 2007, Part of ETAPS 2007. 
Braga, Portugal, March/April 2007/Ed. by  Nicola R.De.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4421.-538 p.
-(Lecture Notes in Computer Science).
 
 21. Transactions on Rough Sets VI/Ed. by  J.F.Peters, 
A.Skowron.-Berlin, Heidelberg: Springer, 2007.-Vol. 4374.
-499 p.-(Lecture Notes in Computer Science).

 22. Perspectives of System Informatics: Revised Papers/6th 
International Andrei Ershov Memorial Conference, PSI 2006. 
Novosibirsk, Russia, June 2006/Ed. by  I.Virbitskaite, 
A.Voronkov.-Berlin, Heidelberg: Springer, 2007.-Vol. 4378.
-496 p.-(Lecture Notes in Computer Science).
 
 23. Дубрановский И.В. На пути к верификации C#-программ: 
алгоритмы перевода из C# Light в C#-Kernel.-Новосибирск, 2007.
-55 с.-(Препринт/ИСИ СО РАН; N 140).
 
 24. Арапбаев Р.Н., Евстигнеев В.А., Осмонов Р.А. 
Сравнительный анализ тестов на зависимость по данным.
-Новосибирск, 2007.-36 с.-(Препринт/ИСИ СО РАН; N 141).
 
 25. Бодин Е.В., Калинина Н.А., Шилов Н.В. Проект 
верифицирующего компилятора F@BOOL@: Часть I: Логические 
аннотации в языке MINI-NIL, их статическая семантика и 
семантика времени исполнения.-Новосибирск, 2007.-31 с.
-(Препринт/ИСИ СО РАН; N 138).
 
 26. Промский А.В. Применение трехуровневого подхода к 
верификации программ на языке C#-Light.-Новосибирск, 2007.
-55 с.-(Препринт/ИСИ СО РАН; N 139).
 
 27. Симуляция и верификация статических SDL-спецификаций 
распределенных систем с помощью промежуточного языка REAL
/В.А. Непомнящий, Е.В. Бодин, С.О. Веретнов и др. .
-Новосибирск, 2007.-70 с.-(Препринт/ИСИ СО РАН; N 142).
 
 28. Марьясов Д.А. Анализ и прогнозирование финансового 
рынка на основе модели детерминированного хаоса: Автореф. 
дис... канд. техн. наук: 05.13.01.-Томск, 2007.-21 с.
-Библиогр.: c.19-21.
 
 29. Грищенко В.С. Метрики репутации: модели и алгоритмы 
построения открытых информационных сред: Автореф. дис... 
канд. ф.-м. наук: 05.13.18.-Екатеринбург, 2007.-12 с.
-Библиогр.: c.12.
 
 30. Серебренникова Н.В. Модели и методы расчета параметров 
производительности сотовых сетей связи: Автореф. дис... 
канд. ф.-м. наук: 05.13.17.-Москва, 2007.-18 с.-Библиогр.: 
c.18.
 
 31. Кварацхелия А.Г. Методы решения задачи минимизации 
суммарного запаздывания для одного прибора и задачи 
разбиения: Автореф. дис... канд. ф.-м. наук: 01.01.09.-Москва,
 2007.-19 с.-Библиогр.: c.18-19.
 
 32. Сенько О.В. Методы эмпирического прогнозирования, 
основанные на устойчивых разбиениях и коллективных решениях: 
Автореф. дис... докт. ф.-м. наук: 05.13.17.-Москва, 2007.-36 
с.-Библиогр.: c.30-36.
 
 33. Цой Ю.Р. Нейроэволюционный алгоритм и программные 
средства для обработки изображений: Автореф. дис... канд. 
техн. наук: 05.13.01.-Томск, 2007.-20 с.-Библиогр.: c.17-20.
 
 34. Молодая информатика: сборник трудов аспирантов и 
молодых ученых/ИСИ СО РАН; Ред. И.С.Ануреев.-Новосибирск, 
2006, Вып. 2.-170 с.
 
 35. Андреева Т.А. Программирование на языке PASCAL: учебное 
пособие/Интернет-Университет информационных технологий. 
БИНОМ. Лаборатория знаний. .- Москва: Бином, 2006.- 234 с.
-(Основы информационных технологий).-Библиогр.: c.233-234.

 36. Представление и использование знаний/Х. Уэно, Т. Кояма, 
Т. Окамото и др.;Ред. Х. Уэно, М. Исидзука. .- Токио: Мир, 
1989.- 220 с.



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