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

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



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