Библиотека

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

Hовые поступления с 1 октября по 29 октября 2007 года



  1. Advances in Bioinformatics and Computational Biology: 
Proc./Second Brazilian Symposium on Bioinformatics, BSB 
2007. Angra dos Reis, Brazil, August 2007/Ed. by  
M.-F.Sagot, M.E.M.T.Walter.-Berlin, Heidelberg: Springer, 
2007.-Vol. 4643.-177 p.-(Lecture Notes in Bioinformatics).
 
  2. Systems Biology and Computational Proteomics: Revised 
Selected Papers/Joint RECOMB 2006 Satellite Workshops. San 
Diego, CA, USA, December 2006/Ed. by  T.Ideker, V.Bafna.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4532.-131 p.
-(Lecture Notes in Bioinformatics).
 
  3. Dependable and Adaptable Networks and Services: 
Proc./13th Open European Summer School and IFIP TC6.6 
Workshop, EUNICE 2007. Enschede, The Netherlands, July 2007/
Ed. by  A.Pras, Sinderen M.Van.-Berlin, Heidelberg: Springer,
 2007.-Vol. 4606.-149 p.-(Lecture Notes in Bioinformatics).
 
  4. Business Intelligence for the Real-Time Enterprizes: 
Revised Selected Papers/First International Workshop, BIRTE 
2006. Seoul, Korea, September 2006/Ed. by  Ch.Bussler, 
M.Castellanos, U.Dayal, Sh.Navathe.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4365.-157 p.-(Lecture Notes in Computer 
Science).
 
  5. Statistical Network Analysis: Models, Issues, and New 
Directions: Revised Selected Papers/ICML 2006 Workshop. 
Pittsburgh, PA, USA, June 2006/Ed. by  E.Airoldi, D.M.Blei, 
S.E.Fienberg, A.Goldenberg.-Berlin, Heidelberg: Springer, 
2007.-Vol. 4503.-197 p.-(Lecture Notes in Computer Science).
 
  6. Grid Economics and Business Models: Proc./4th 
International Workshop, GECON 2007. Rennes, France, August 
2007/Ed. by  J.Altmann, D.J.Veit.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4685.-201 p.-(Lecture Notes in Computer 
Science).
 
  7. Foundations of Genetic Algorithms: Revised Selected 
Papers/9th International Workshop, FOGA 2007. Mexico City, 
Mexico, January 2007/Ed. by  Ch.R.Stephens, M.Toussaint, 
D.Whitley, P.F.Stadler.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4436.-213 p.-(Lecture Notes in Computer Science).
 
  8. Engineering Stochastic Local Search Algorithms: 
Designing, Implementing and Analyzing Effective Heuristics: 
Proc./International Workshop, SLS 2007. Brussels, Belgium, 
September 2007/Ed. by  Th.Stuetzle, M.Birattari, H.H.Hoos.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4638.-223 p.
-(Lecture Notes in Computer Science).
 
  9. E-Commerce and Web Technologies: Proc./8th 
International Conference, EC-Web 2007. Regensburg, Germany, 
September 2007/Ed. by  G.Psaila, R.Wagner.-Berlin, Heidelberg:
 Springer, 2007.-Vol. 4655.-229 p.-(Lecture Notes in 
Computer Science).
 
 10. Unconventional Computation: Proc./6th International 
Conference, UC 2007. Kingston, Canada, August 2007/Ed. by  
S.G.Akl, C.S.Calude, M.J.Dinneen, G.Rozenberg.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4618.-241 p.-(Lecture Notes 
in Computer Science).
 
 11. Trust, Privacy and Security in Digital Business: 
Proc./4th International Conference, TrustBus 2007. 
Regensburg, Germany, September 2007/Ed. by  
C.Lambrinoudakis, G.Pernul, Tjoa A.Min.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4657.-291 p.-(Lecture Notes in Computer 
Science).
 
 12. Machines, Computations, and Universality: Proc./5th 
International Conference, MCU 2007. Orleans, France, 
September 2007/Ed. by  J.Durand-Lose, M.Margenstern.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4664.-325 p.-(Lecture Notes 
in Computer Science).
 
 13. Component-Based Software Engineering: Proc./10th 
International Symposium, CBSE 2007. Medford, MA, USA, July 
2007/Ed. by  H.W.Schmidt, I.Crnkovic, G.T.Heineman, 
J.A.Stafford.-Berlin, Heidelberg: Springer, 2007.-Vol. 4608.
-283 p.-(Lecture Notes in Computer Science).
 
 14. Frontiers in Algorithmics: Proc./First Annual 
International Workshop, FAW 2007. Lanzhou, China, August 2007
/Ed. by  F.O.Preparata, Q.Fang.-Berlin, Heidelberg: Springer,
 2007.-Vol. 4613.-348 p.-(Lecture Notes in Computer Science).
 
 15. ECOOP 2007 - Object-Oriented Programming: Proc./21st 
European Conference. Berlin, Germany, July/August 2007/Ed. 
by  E.Ernst.-Berlin, Heidelberg: Springer, 2007.-Vol. 4609.
-625 p.-(Lecture Notes in Computer Science).
 
 16. Theorem Proving in Higher Order Logics: Proc./20th 
International Conference, TPHOLs 2007. Kaiserslautern, 
Germany, September 2007/Ed. by  K.Scheider, J.Brandt.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4732.-401 p.
-(Lecture Notes in Computer Science).
 
 17. Advances in Cryptology - CRYPTO 2007: Proc./27th Annual 
International Conference. Santa Barbara, CA, USA, August 2007
/Ed. by  A.Menezes.-Berlin, Heidelberg: Springer, 2007.-Vol. 
4622.-631 p.-(Lecture Notes in Computer Science).
 
 18. Evolvable Systems: From Biology to Hardware: Proc./7th 
International Conference, ICES 2007. Wuhan, China, September 
2007/Ed. by  L.Kang, Y.Liu, S.Zeng.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4684.-446 p.-(Lecture Notes in Computer 
Science).
 
 19. Algorithms and Data Structures: Proc./10th 
International Workshop, WADS 2007. Halifax, Canada, August 
2007/Ed. by  F.Dehne, J.-R.Sack, N.Zeh.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4619.-660 p.-(Lecture Notes in Computer 
Science).
 
 20. Static Analysis: Proc./14th International Symposium, 
SAS 2007. Kongens Lyngby, Denmark, August 2007/Ed. by  
H.R.Nielson, G.File.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4634.-469 p.-(Lecture Notes in Computer Science).
 
 21. Integer Programming and Compbinatorial Optimization: 
Proc./12th International IPCO Conference. Ithaca, NY, USA, 
June 2007/Ed. by  M.Fischetti, D.P.Williamson.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4513.-500 p.-(Lecture Notes 
in Computer Science).
 
 22. Advances in Spatial and Temporal Databases: Proc./10th 
International Symposium, SSTD 2007. Boston, MA, USA, July 
2007/Ed. by  D.Papadias, D.Zhang, G.Kollios.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4605.-479 p.-(Lecture Notes 
in Computer Science).
 
 23. Fast Software Encryption: Revised Selected Papers/14th 
International Workshop, FSE 2007. Luxembourg, Luxembourg, 
March 2007/Ed. by  A.Biryukov.-Berlin, Heidelberg: Springer, 
2007.-Vol. 4593.-467 p.-(Lecture Notes in Computer Science).
 
 24. Cryptographic Hardware and Embedded Systems - CHES 
2007: Proc./9th International Workshop. Vienna, Austria, 
September 2007/Ed. by  P.Paillier, I.Verbauwhede.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4747.-468 p.-(Lecture Notes 
in Computer Science).
 
 25. Next Generation Teletraffic and Wired/Wireless Advanced 
Networking: Proc./7th Intl Conference, NEW2AN 2007. 
St.Petersburg, Russia, September 2007/Ed. by  Y.Koucheryavy, 
J.Harju, A.Sayenko.-Berlin, Heidelberg: Springer, 2007.-Vol. 
4712.-482 p.-(Lecture Notes in Computer Science).
 
 26. Electronic Government: Proc./6th International 
Conference, EGOV 2007. Regensburg, Germany, September 2007/
Ed. by  M.A.Wimmer, J.Scholl, A.Groenlund.-Berlin, Heidelberg:
 Springer, 2007.-Vol. 4656.-450 p.-(Lecture Notes in 
Computer Science).
 
 27. Entertainment Computing - ICEC 2007: Proc./6th 
International Conference. Shanghai, China, September 2007/
Ed. by  L.Ma, M.Rauterberg, R.Nakatsu.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4740.-480 p.-(Lecture Notes in Computer 
Science).
 
 28. Data Warehousing and Knowledge Discovery: Proc./9th 
International Conference, DaWaK 2007. Regensburg, Germany, 
September 2007/Ed. by  I.Y.Song, J.Eder, Th.M.Nguyen.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4654.-482 p.
-(Lecture Notes in Computer Science).
 
 29. Bio-Inspired Computational Intelligence and 
Applications: Proc./Intl Conference on Life System Modeling 
and Simulation, LSMS 2007. Shanghai, China, September 2007/
Ed. by  K.Li, M.Fei, G.W.Irwin, Sh.Ma.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4688.-805 p.-(Lecture Notes in Computer 
Science).
 
 30. Web Mining: Proc./7th International Conference, ICWE 
2007. Como, Italy, July 2007/Ed. by  L.Baresi, P.Fraternali, 
G.-J.Houben.-Berlin, Heidelberg: Springer, 2007.-Vol. 4607.
-576 p.-(Lecture Notes in Computer Science).
 
 31. Frontiers of High Performance Computing and Networking 
- ISPA 2007 Workshops: Proc./SSDSN, UPWN, WISH, SGC, 
ParDMCom, HiPCoMB & IST-AWSN. Niagara Falls, Canada, August 
2007/Ed. by  X.He, Xu T.Li, M.K.Denko, P.Thulasiraman.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4743.-536 p.
-(Lecture Notes in Computer Science).
 
 32. Computing and Combinatorics: Proc./13th Annual 
International Conference, COCOON 2007. Banff, Canada, July 
2007/Ed. by  G.Lin.-Berlin, Heidelberg: Springer, 2007.-Vol. 
4598.-570 p.-(Lecture Notes in Computer Science).
 
 33. CONCUR 2007 - Concurrency Theory: Proc./18th 
International Conference. Lisbon, Portugal, September 2007/
Ed. by  L.Caires, V.T.Vasconcelos.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4703.-507 p.-(Lecture Notes in Computer 
Science).
 
 34. Parallel and Distributed Processing and Applications: 
Proc./5th International Symposium, ISPA 2007. Niagara Falls, 
Canada, August 2007/Ed. by  I.Stojmenovic, R.K.Thurasiram, 
L.T.Yang, W.Jia.-Berlin, Heidelberg: Springer, 2007.-Vol. 
4742.-995 p.-(Lecture Notes in Computer Science).
 
 35. Autonomic and Trusted Computing: Proc./4th 
International Conference, ATC 2007. Hong Kong, China, July 
2007/Ed. by  B.Xiao, L.T.Yang, J.Ma, Ch.Muller-Schloer.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4610.-571 p.
-(Lecture Notes in Computer Science).
 
 36. Computer Aided Verification: Proc./19th International 
Conference, CAV 2007. Berlin, Germany, July 2007/Ed. by  
W.Damm, H.Hermanns.-Berlin, Heidelberg: Springer, 2007.-Vol. 
4590.-562 p.-(Lecture Notes in Computer Science).
 
 37. Automata, Languages, and Programming: Proc./34th 
International Colloquium, ICALP 2007. Wroclaw, Poland, July 
2007/Ed. by  L.Arge, Ch.Cachin, T.Jurdzinski, A.Tarlecki.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4596.-953 p.
-(Lecture Notes in Computer Science).
 
 38. Ubiquitous Intelligence and Computing: Proc./4th 
International Conference, UIC 2007. Hong Kong, China, July 
2007/Ed. by  J.Indulska, J.Ma, L.T.Yang, Th.Ungerer.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4611.-1257 p.-(Lecture 
Notes in Computer Science).
 
 39. Advanced Intelligent Computing Theories and 
Applications With Aspects of Theoretical and Methodological 
Issues: Proc./3rd Intl Conference on Intelligent Computing, 
ICIC 2007. Quingdao, China, August 2007/Ed. by  D.-Sh.Huang, 
L.Heutte, M.Loog.-Berlin, Heidelberg: Springer, 2007.-Vol. 
4681.-1379 p.-(Lecture Notes in Computer Science).
 
 40. Computational Science and Its Applications - ICCSA 
2007: PartI: Proc./International Conference. Kuala Lumpur, 
Malaysia, August 2007/Ed. by  O.Gervasi, M.L.Gavrilova.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4705.-1169 p.
-(Lecture Notes in Computer Science).
 
 41. Computational Science and Its Applications - ICCSA 
2007: Part II: Proc./International Conference. Kuala Lumpur, 
Malaysia, August 2007/Ed. by  O.Gervasi, M.L.Gavrilova.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4706.-1129 p.
-(Lecture Notes in Computer Science).
 
 42. Computational Science and Its Applications - ICCSA 
2007: Part III: Proc./International Conference. Kuala 
Lumpur, Malaysia, August 2007/Ed. by  O.Gervasi, 
M.L.Gavrilova.-Berlin, Heidelberg: Springer, 2007.-Vol. 4707.
-1205 p.-(Lecture Notes in Computer Science).
 
 43. Human-Computer Interaction - INTERACT 2007: Part I: 
Proc./11th IFIP TC 13 International Conference. Rio de 
Janeiro, Brazil, September 2007/Ed. by  C.Barnauskas, 
Ph.Palanque, J.Abascal, Barbosa S.D.Junqueira.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4662.-637 p.-(Lecture Notes 
in Computer Science).

 44. Human-Computer Interaction - INTERACT 2007: Part II: 
Proc./11th IFIP TC 13 International Conference. Rio de 
Janeiro, Brazil, September 2007/Ed. by  C.Barnauskas, 
Ph.Palanque, J.Abascal, Barbosa S.D.Junqueira.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4663.-735 p.-(Lecture Notes 
in Computer Science).
 
 45. Detection of Intrusions and Malware, and Vulnerability 
Assessment: Proc./4th International Workshop, DIMVA 2007. 
Lucerne, Switzerland, July 2007/Ed. by  B.M.Hammerli, 
R.Sommer.-Berlin, Heidelberg: Springer, 2007.-Vol. 4579.-251 
p.-(Lecture Notes in Computer Science).
 
 46. Human-Centered Visualization Environments: Revised 
Lectures/Gl-Dagstuhl Research Seminar. Dagstuhl Castle, 
Germany, March 2006/Ed. by  A.Kerren, A.Ebert, J.Meyer.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4417.-403 p.
-(Lecture Notes in Computer Science).
 
 47. Transactions on Data Hiding and Multimedia Security II/
Ed. by  Y.Q.Shi.-Berlin, Heidelberg: Springer, 2007.-Vol. 
4499.-117 p.-(Lecture Notes in Computer Science).
 
 48. Model Checking and Artificial Intelligence: Revised 
Selected and Invited Papers/4th Workshop, MoChArt IV. Riva 
del Garda, Italy, August 2006/Ed. by  S.Edelkamp, A.Lomuscio.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4428.-185 p.
-(Lecture Notes in Artificial Intelligence).
 
 49. Recent Advances in Constraints: Revised Selected and 
Invited Papers/11th Annual ERCIM Intl WS on Constraint 
Solving & Logic Programming, CSCLP 2006. Caparica, Portugal, 
June 2006/Ed. by  F.Azevedo, P.Barahona, F.Fages, F.Rossi.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4651.-185 p.
-(Lecture Notes in Artificial Intelligence).
 
 50. Машуков М.Ю., Чурина Т.Г. Моделирование спецификаций 
языка SDL с помощью раскрашенных сетей Петри, 2007.-70 с.
-(Препринт/ИСИ СО РАН; N 144).
 
 51. Марчук О.Н. Сибирский феномен. Академгородок в первые 
двадцать лет.- Новосибирск: Академическое изд-во "Гео", 2007.
- 232 с.
 
 52. Тетуев Р.К. Алгебра спектральных преобразований в 
задачах обработки данных: Автореф. дис... канд. ф.-м. наук: 
05.13.17.-Москва, 2007.-20 с.-Библиогр.: c.19-20.
 
 53. Куликова Л.И. Спектрально-аналитические методы 
обработки данных и распознавания образов: Автореф. дис... 
канд. ф.-м. наук: 05.13.17.-Москва, 2007.-22 с.-Библиогр.: 
c.18-22.
 
 54. Ершов А.Г. Алгоритмы и программные системы для 
геометрических задач параметрического проектирования: 
Автореф. дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2007.
-18 с.-Библиогр.: c.18.
 
 55. Сидоров В.А. Методы и средства программирования в 
ограничениях для систем автоматизации проектирования: 
Автореф. дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2007.
-18 с.-Библиогр.: c.17-18.
 
 56. Лиханова Ю.В. Метод построения адаптивных треугольных и 
призматических сеток для численного исследования задач 
механики сплошных сред со сложной структурой решения: 
Автореф. дис... канд. ф.-м. наук: 05.13.18.-Новосибирск, 2007.
-17 с.-Библиогр.: c.16-17.
 
 57. Таханов Р.С. Предикатное описание дополнительных 
ограничений в задачах распознавания образов: Автореф. дис... 
канд. ф.-м. наук: 01.01.09.-Москва, 2007.-16 с.-Библиогр.: 
c.15-16.
 
 58. Лихачев А.С. Методика анализа и синтеза элементов 
тракта речепреобразования для низкоскоростных систем связи: 
Автореф. дис... канд. тех. наук: 05.13.05.-Москва, 2007.-18 
с.-Библиогр.: c.17-18.
 
 59. Думбадзе Л.Г. Разработка методов и алгоритмов в задачах 
оптимального использования и развития сетей: Автореф. дис... 
канд. ф.-м. наук: 01.01.09.-Москва, 2007.-19 с.-Библиогр.: 
c.18-19.
 
 60. Десятчиков А.А. Метод обработки дистанционной 
биометрической информации в системах контроля и управления 
доступом: Автореф. дис... канд. тех. наук: 05.13.11.-Москва, 
2007.-24 с.-Библиогр.: c.24.
 
 61. Рудева А.В. Математические модели экономики с отраслями 
производства, функционирующими в условиях дефицита оборотных 
средств: Автореф. дис... канд. ф.-м. наук: 05.13.18.-Москва, 
2007.-24 с.-Библиогр.: c.23-24.
 
 62. Озерова И.Г. Метод процессного управления предприятием 
на основе программных систем управления бизнес-процессами: 
Автореф. дис... канд. тех. наук: 05.13.01.-Томск, 2007.-19 с.
-Библиогр.: c.18-19.
 
 63. Замятин С.В. Анализ и синтез систем управленния с 
интервальными параметрами на основе корневого подхода: 
Автореф. дис... канд. тех. наук: 05.13.01.-Томск, 2007.-18 с.
-Библиогр.: c.17-18.
 
 64. Андреев М.Ю. Стохастические модели межвременного 
экономического равновесия с капиталом: Автореф. дис... канд. 
ф.-м. наук: 05.13.18.-Москва, 2007.-20 с.-Библиогр.: c.19-20.
 
 65. RoboCup 2006: Robot Soccer World Cup X/Ed. by  
G.Lakemeyer, E.Sklar, D.G.Sorrenti, T.Takahashi.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4434.-566 p.-(Lecture Notes 
in Artificial Intelligence).
 
 66. All About Maunde - A High-Performance Logical 
Framework: How to Specify, Program and Verify Systems in 
Rewriting Logic/M. Clavel, F. Duran, S. Eker et al.. .- 
Berlin, Heidelberg: Springer, 2007.- 797 p.-(Lecture Notes 
in Computer Science; Vol. 4350).-Bibliogr.: p.757-781.
 
 67. Towards Mechanized Mathematical Assistants:Proc./14th 
Symposium, Calculemus 2007, 16th International Conf.MKM 
2007, Hagenberg,Austria,June 2007/Ed. by  M.Kauers, 
M.Kerber, R.Miner, W.Windsteiger.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4573.-407 p.-(Lecture Notes in 
Artificial Intelligence).
 
 68. Abstraction, Reformulation, and Approximation: 
Proc./7th International Symposium, SARA 2007, 
Whistler,Canada,July 2007/Ed. by  I.Miguel, W.Ruml.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4612.-418 p.-(Lecture Notes 
in Artificial Intelligence).
 
 69. Machine Learning and Data Mining in Pattern 
Recognition: Proc./5th International Conference, MLDM 2007, 
Leipzig,Germany,July 2007/Ed. by  P.Perner.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4571.-913 p.-(Lecture Notes 
in Artificial Intelligence).
 
 70. Applications of Fuzzy Sets Theory: Proc./7th 
International Workshop on Fuzzy Logic and Applications, WILF 
2007. Camogli, Italy, July 2007/Ed. by  F.Masulli, S.Mitra, 
G.Pasi.-Berlin, Heidelberg: Springer, 2007.-Vol. 4578.-693 p.
-(Lecture Notes in Artificial Intelligence).
 
 71. Advances in Data Mining: Theoretical Aspects and 
Applications: Proc./7th Industrial Conference, ICDM 2007. 
Leipzig, Germany, July 2007/Ed. by  P.Perner.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4597.-353 p.-(Lecture Notes 
in Artificial Intelligence).
 
 72. Advanced Data Mining and Applications: Proc./Third 
International Conference, ADMA 2007. Harbin, China, August 
2007/Ed. by  R.Alhajj, H.Gao, X.Li, J.Li.-Berlin, Heidelberg:
 Springer, 2007.-Vol. 4632.-634 p.-(Lecture Notes in 
Artificial Intelligence).
 
 73. Inductive Logic Programming: Revised Selected 
Papers/16th International Conference, ILP 2006. Santiago de 
Compostela, Spain, August 2006/Ed. by  S.Muggleton, R.Otero, 
A.Tamaddoni-Nezhad.-Berlin, Heidelberg: Springer, 2007.-Vol. 
4455.-456 p.-(Lecture Notes in Artificial Intelligence).
 
 74. Conceptual Structures: Knowledge Architectures for 
Smart Applications: Proc./15th International Conference on 
Conceptual Structures, ICCS 2007. Sheffield, UK, July 2007/
Ed. by  U.Priss, S.Polovina, R.Hill.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4604.-514 p.-(Lecture Notes in 
Artificial Intelligence).
 
 75. Case-Based Reasoning Research and Development: 7th Intl 
Conference, ICCBR 2007. Belfast, Northern Ireland, UK, 
August 2007/Ed. by  R.O.Weber, M.M.Richter.-Berlin, 
Heidelberg: Springer, 2007.-Vol. 4626.-534 p.-(Lecture Notes 
in Artificial Intelligence).
 
 76. Artificial Intelligence in Medicine: Proc./11th 
Conference on Artificial Intelligence in Medicine, AIME 
2007. Amsterdam, the Netherlands, July 2007/Ed. by  
R.Bellazzi, A.Abu-Hanna, J.Hunter.-Berlin, Heidelberg: 
Springer, 2007.-Vol. 4594.-509 p.-(Lecture Notes in 
Artificial Intelligence).
 
 77. Modeling Decisions for Artificial Intelligence: 
Proc./4th International Conference, MDAI 2007. Kitakyushu, 
Japan, August 2007/Ed. by  V.Torra, Y.Narukawa, Y.Yoshida.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4617.-502 p.
-(Lecture Notes in Artificial Intelligence).
 
 78. Automated Deduction - CADE-21: Proc./21st International 
Conference on Automated Deduction. Bremen, Germany, July 2007
/Ed. by  F.Pfenning.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4603.-522 p.-(Lecture Notes in Artificial 
Intelligence).
 
 79. Modeling and Using Context: Proc./6th International 
Conference, CONTEXT 2007. Roskilde, Denmark, August 2007/Ed. 
by  B.Kokinov, D.C.Richardson, Th.R.Roth-Berghofer, L.Vieu.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4635.-574 p.
-(Lecture Notes in Artificial Intelligence).
 
 80. Advanced Intelligent Computing Theories and 
Applications With Aspects of AI: Proc./3rd International 
Conference on Intelligent Computing, ICIC 2007. Qingdao, 
China, August 2007/Ed. by  D.-Sh.Huang, L.Heutte, M.Loog.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4682.-1373 p.
-(Lecture Notes in Artificial Intelligence).