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).