Hовые поступления с 29 октября по 3 декабря 2007 года
1. Ершов А.Г. Алгоритмы и программные
системы для геометрических задач
параметрического проектирования: Дисc. канд.
ф.-м. наук: 05.13.11.-Новосибирск, 2007.-168
с.-Библиогр.: c.153-159.
2. Сидоров В.А. Методы и средства
программирования в ограничениях для систем
автоматизации проектирования: Дисc. канд.
ф.-м. наук: 05.13.11.-Новосибирск, 2007.-152
с.-Библиогр.: c.119-126.
3. Dahl O.-J., Myhrhaug B., Nygaard K.
Common Base Language SIMULA/Norwegian
Computing Center. .- Oslo, 1970.- 145 p.
4. Recent Advances in Intrusion Detection:
Proc./10th International Symposium, RAIS
2007. Gold Coast, Australia, September 2007/
Ed. by Ch.Kruegel, R.Lippmann, A.Clark.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4637.
-337 p.-(Lecture Notes in Computer Science).
5. Mathematical Foundations of Computer
Science: Proc./32nd International Symposium,
MFCS 2007. Cesky Krumlov, Czech Republic,
August 2007/Ed. by L.Kucera, A.Kucera.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4708.
-764 p.-(Lecture Notes in Computer Science).
6. Algebra and Coalgebra in Computer
Science: Proc./Second International
Conference, CALCO 2007. Bergen, Norway,
August 2007/Ed. by T.Mossakowski,
U.Montanari, M.Haveraaen.-Berlin, Heidelberg:
Springer, 2007.-Vol. 4624.-463 p.-(Lecture
Notes in Computer Science).
7. Advances in Computer Systems
Architecture: Proc./12th Asia-Pacific
Conference, ACSAC 2007. Seoul, Korea, August
2007/Ed. by L.Choi, Y.Paek, S.Cho.-Berlin,
Heidelberg: Springer, 2007.-Vol. 4697.-400 p.
-(Lecture Notes in Computer Science).
8. Computer Analysis of Images and
Patterns: Proc./12th International
Conference, CAIP 2007. Vienna, Austria,
August 2007/Ed. by W.G.Kropatsch, M.Kampel,
A.Hanbury.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4673.-1006 p.-(Lecture Notes in
Computer Science).
9. Fundamentals of Computation Theory:
Proc./16th International Symposium, FCT 2007.
Budapest, Hungary, August 2007/Ed. by
E.Csuhaj-Varju, Z.Esik.-Berlin, Heidelberg:
Springer, 2007.-Vol. 4639.-508 p.-(Lecture
Notes in Computer Science).
10. Computer Science - Thery and
Applications: Proc./2nd International
Symposium on Computer Science in Russia, CSR
2007. Ekaterinburg, Russia, September 2007/
Ed. by V.Diekert, M.V.Volkov, A.Voronkov.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4649.
-420 p.-(Lecture Notes in Computer Science).
11. Advances in Biometrics:
Proc./International Conference, ICB 2007.
Seoul, Korea, August 2007/Ed. by S.-Wh.Lee,
S.Z.Li.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4642.-1216 p.-(Lecture Notes in
Computer Science).
12. Energy Minimization Methods in Computer
Vision and Pattern Recognition: Proc./6th
International Conference, EMMCVPR 2007.
Ezhou, China, August 2007/Ed. by A.L.Yuille,
S.-Ch.Zhu, D.Cremers, Y.Wang.-Berlin,
Heidelberg: Springer, 2007.-Vol. 4679.-494 p.
-(Lecture Notes in Computer Science).
13. Artificial Immune Systems: Proc./6th
International Conference, ICARIS 2007.
Santos, Brazil, August 2007/Ed. by De Castro
L.Nunez, Von Zuben F.J., H.Knidel.-Berlin,
Heidelberg: Springer, 2007.-Vol. 4628.-438 p.
-(Lecture Notes in Computer Science).
14. Integrated Circuit and System Design:
Power and Timing Modeling, Optimization and
Simulation: Proc./17th Intl WS, PATMOS 2007.
Gothenburg, Sweden, September 2007/Ed. by
N.Azemard, L.Svensson.-Berlin, Heidelberg:
Springer, 2007.-Vol. 4644.-583 p.-(Lecture
Notes in Computer Science).
15. Parallel Computing Technologies:
Proc./9th International Conference, PaCT
2007. Pereslavl-Zalessky, Russia, September
2007/Ed. by V.Malyshkin.-Berlin, Heidelberg:
Springer, 2007.-Vol. 4671.-635 p.-(Lecture
Notes in Computer Science).
16. Advanced Concepts for Intelligent Vision
Systems: Proc./9th International Conference,
ACVIS 2007. Delft, The Netherlands, August
2007/Ed. by J.Blanc-Talon, W.Philips,
D.Popescu, P.Scheunders.-Berlin, Heidelberg:
Springer, 2007.-Vol. 4678.-1100 p.-(Lecture
Notes in Computer Science).
17. Artificial Neural Networks - ICANN 2007:
Part II: Proc./17th International Conference.
Porto, Portugal, September 2007/Ed. by De Sa
J.Marques, L.A.Alexandre, W.Duch, D.Mandic.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4669.
-990 p.-(Lecture Notes in Computer Science).
18. Implementation and Application of
Functional Languages: Revised Selected
Papers/18th International Symposium, IFL
2006. Budapest, Hungary, September 2006/Ed.
by Z.Horvath, V.Zsok, A.Butterfield.-Berlin,
Heidelberg: Springer, 2007.-Vol. 4449.-271 p.
-(Lecture Notes in Computer Science).
19. Network-Based Information Systems:
Proc./First International Conference, NBiS
2007. Regensburg, Germany, September 2007/Ed.
by T.Enokido, L.Baroli, M.Takizawa.-Berlin,
Heidelberg: Springer, 2007.-Vol. 4658.-544 p.
-(Lecture Notes in Computer Science).
20. Logic Programming: Proc./23rd
International Conference, ICLP 2007. Porto,
Portugal, September 2007/Ed. by V.Dahl,
I.Niemela.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4670.-470 p.-(Lecture Notes in Computer
Science).
21. Comparative Evaluation of XML
Information Retrieval Systems: Revised &
Selected Papers/5th Intl WS of the Initiative
for the Evaluation of XML Retrieval, INEX.
Dagstuhl Castle, Germany, Dec. 2006/Ed. by
N.Fuhr, M.Lalmas, A.Trotman.-Berlin,
Heidelberg: Springer, 2007.-Vol. 4518.-554 p.
-(Lecture Notes in Computer Science).
22. Combinatorial Optimization and
Applications: Proc./First International
Conference, COCOA 2007. Xi'an, China, August
2007/Ed. by A.Dress, Y.Xu, B.Zhu.-Berlin,
Heidelberg: Springer, 2007.-Vol. 4616.-390 p.
-(Lecture Notes in Computer Science).
23. Tests and Proofs: Revised Papers/First
International Conference, TAP 2007. Zurich,
Switzerland, February 2007/Ed. by
Y.Gurevich, B.Meyer.-Berlin, Heidelberg:
Springer, 2007.-Vol. 4454.-217 p.-(Lecture
Notes in Computer Science).
24. Advances in Computation and
Intelligence: Proc./Second International
Symposium, ISICA 2007. Wuhan, China,
September 2007/Ed. by L.Kang, Y.Liu, S.Zeng.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4683.
-663 p.-(Lecture Notes in Computer Science).
25. Mathematics of Surfaces XII: Proc./12th
IMA International Conference. Sheffield, UK,
September 2007/Ed. by R.Martin, M.Sabin,
K.Winkler.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4647.-509 p.-(Lecture Notes in Computer
Science).
26. Advances in Intelligent Data Analysis
VII: Proc./7th International Symposium on
Intelligent Data Analysis, IDA 2007.
Ljubljana, Slovenia, September 2007/Ed. by
M.R.Berthold, J.Shawe-Taylor, N.Lavrac.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4723.
-380 p.-(Lecture Notes in Computer Science).
27. Approximation, Randomization, and
Combinatorial Optimization: Algorithms and
Techniques: Proc./10th Intl Workshop, APPROX
2007 & 11th Intl WS, Random 2007. Princeton,
NJ, USA, August 2007/Ed. by M.Charikar,
K.Jansen, O.Reingold, J.D.P.Rolim.-Berlin,
Heidelberg: Springer, 2007.-Vol. 4627.-626 p.
-(Lecture Notes in Computer Science).
28. Database and Expert Systems
Applications: Proc./18th International
Conference, DEXA 2007. Regensburg, Germany,
September 2007/Ed. by R.Wagner, N.Revell,
G.Pernul.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4653.-907 p.-(Lecture Notes in Computer
Science).
29. Euro-Par 2007 Parallel Processing:
Proc./13th International Euro-Par Conference.
Rennes, France, August 2007/Ed. by
A.-M.Kermarrec, L.Bouge, Th.Priol.-Berlin,
Heidelberg: Springer, 2007.-Vol. 4641.-974 p.
-(Lecture Notes in Computer Science).
30. Independent Component Analysis and
Signal Separation: Proc./7th International
Conference, ICA 2007. London, UK, September
2007/Ed. by M.E.Davies, Ch.J.James,
S.A.Abdallah, M.D.Plumbley.-Berlin, Heidelberg:
Springer, 2007.-Vol. 4666.-847 p.-(Lecture
Notes in Computer Science).
31. Image Analysis and Recognition:
Proc./4th International Conference, ICIAR
2007. Montreal, Canada, August 2007/Ed. by
M.Kamel, A.Campilho.-Berlin, Heidelberg:
Springer, 2007.-Vol. 4633.-1312 p.-(Lecture
Notes in Computer Science).
32. Domain Modeling and The Duration
Calculus: Advanced Lectures/International
Training School. Shanghai, China, September
2007/Ed. by Ch.W.George, Zh.Liu, J.Woodcock.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4710.
-237 p.-(Lecture Notes in Computer Science).
33. Reasoning Web: Tutorial Lectures/Third
International Summer School 2007. Dresden,
Germany, September 2007/Ed. by G.Antoniou,
U.Assmann, C.Bargolio, S.Decker.-Berlin,
Heidelberg: Springer, 2007.-Vol. 4636.-345 p.
-(Lecture Notes in Computer Science).
34. Intercultural Collaboration: Invited and
Selected Papers/First International Workshop,
IWIC 2007. Kyoto, Japan, January 2007/Ed. by
T.Ishida, S.R.Fussel, P.T.J.M.Vossen.-Berlin,
Heidelberg: Springer, 2007.-Vol. 4568.-395 p.
-(Lecture Notes in Computer Science).
35. Software Engineering for Multi-Agent
Systems V: Research Issues and Practical
Applications/Ed. by R.Choren, A.Garcia,
H.Giese, H.-F.Leung.-Berlin, Heidelberg:
Springer, 2007.-Vol. 4408.-233 p.-(Lecture
Notes in Computer Science).
36. Architecting Dependable Systems IV/Ed.
by Lemos R.De, C.Gacek, A.Romanovsky.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4615.
-435 p.-(Lecture Notes in Computer Science).
37. Algorithms in Bioinformatics: Proc./7th
International Workshop, WABI 2007.
Philadelphia, PA, USA, September 2007/Ed. by
R.Giancarlo, S.Hannenhalli.-Berlin, Heidelberg:
Springer, 2007.-Vol. 4645.-432 p.-(Lecture
Notes in Bioinformatics).
38. Frontiers of Combining Systems:
Proc./6th International Symposium, FroCoS
2007. Liverpool, UK, September 2007/Ed. by
B.Konev, F.Wolter.-Berlin, Heidelberg:
Springer, 2007.-Vol. 4720.-283 p.-(Lecture
Notes in Artificial Intelligence).
39. AI*IA 2007: Artificial Intelligence and
Human-Oriented Computing: Proc./10th Congress
of the Italian Association for Artificial
Intelligence. Rome, Italy, September 2007/Ed.
by R.Basili, M.T.Pazienza.-Berlin, Heidelberg:
Springer, 2007.-Vol. 4733.-859 p.-(Lecture
Notes in Artificial Intelligence).
40. Computational Intelligence and Security:
Revised Selected Papers/International
Conference, CIS 2006. Guangzhou, China,
November 2006/Ed. by Y.Wang, Y.-M.Cheung,
H.Liu.-Berlin, Heidelberg: Springer, 2007.
-Vol. 4456.-1118 p.-(Lecture Notes in
Artificial Intelligence).
41. Text, Speech, and Dialogue: Proc./10th
International Conference, TSD 2007. Pilsen,
Czech Republic, September 2007/Ed. by
V.Matousek, P.Mautner.-Berlin, Heidelberg:
Springer, 2007.-Vol. 4629.-663 p.-(Lecture
Notes in Artificial Intelligence).
42. Holonic and Multi-Agent Systems for
Manufacturing: Proc./3rd Intl Conference on
Industrial Applications of Holonic and MA
Systems, HoloMAS 2007. Regensburg, Germany,
September 2007/Ed. by V.Marik, V.Vyatkin,
A.W.Colombo.-Berlin, Heidelberg: Springer,
2007.-Vol. 4659.-456 p.-(Lecture Notes in
Artificial Intelligence).
43. Anticipatory Behavior in Adaptive
Learning Systems: From Brains to Individual
and Social Behavior/Ed. by M.V.Butz,
O.Sigaud, G.Pezzulo, G.Baldassarre.-Berlin,
Heidelberg: Springer, 2007.-Vol. 4520.-379 p.
-(Lecture Notes in Artificial Intelligence).
44. Speaker Classification I: Fundamentals,
Features, and Methods/Ed. by Ch.Mueller.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4343.
-355 p.-(Lecture Notes in Artificial
Intelligence).
45. Speaker Classification II: Selected
Projects/Ed. by Ch.Mueller.-Berlin,
Heidelberg: Springer, 2007.-Vol. 4441.-309 p.
-(Lecture Notes in Artificial Intelligence).
46. Computational Discovery of Scientific
Knowledge: Introduction, Techniques, and
Applications in Environmental and Life
Sciences/Ed. by S.Dzeroski, L.Todorovski.
-Berlin, Heidelberg: Springer, 2007.-Vol. 4660.
-329 p.-(Lecture Notes in Artificial
Intelligence).