14.03.2011

Hовые поступления с 31 января по 14 марта 2011 года

  1. Пирогов М.В. Разработка метода интеллектуализации 
сложных систем на основе среды радикалов: Автореф. дис... 
канд. ф.-м. наук: 05.13.17.-М., 2011.-29 с.-Библиогр.: 
c.27-29.
 
  2. Гриневич П.П. Итерационные методы решения задачи Стокса 
с переменной вязкостью: Автореф. дис... канд. ф.-м. наук: 
01.01.07.-М., 2011.-20 с.-Библиогр.: c.18-20.
 
  3. Computational Logic in Multi-Agent Systems: Revised 
Selected and Invited Papers/10th International Workshop, 
CLIMA X, Hamburg, Germany, September 2009/Ed. by  J.Dix, 
M.Fisher, P.Novak.-Berlin: Springer, 2010.-Vol. 6214.-197 p.
-(Lecture Notes in Artificial Intelligence).
 
  4. Verification, Induction, Termination Analysis: 
Festschrift for Christoph Walther on the Occasion of His 
60th Birthday/Ed. by  S.Siegler, N.Wasser.-Berlin: Springer, 
2010.-Vol. 6463.-145 p.-(Lecture Notes in Artificial 
Intelligence).
 
  5. Advances in Artificial Intelligence - IBERAMIA 2010: 
Proc./12th Ibero-American Conference on AI, Bahia Blanca, 
Argentina, November 2010/Ed. by  A.Kuri-Morales, G.S.Simari.
-Berlin: Springer, 2010.-Vol. 6433.-604 p.-(Lecture Notes in 
Artificial Intelligence).
 
  6. Architecting Dependable Systems VII/Ed. by  A.Casimiro, 
R.De_Lemos, C.Gacek.-Berlin: Springer, 2010.-Vol. 6420.-324 
p.-(Lecture Notes in Computer Science).
 
  7. Information Retrieval Technology: Proc./6th Asia 
Information Retrieval Societies Conference, AIRS 2010, 
Taipei, Taiwan, December 2010/Ed. by  P.-J.Cheng, M.-Y.Kan, 
W.Lam, P.Nakov.-Berlin: Springer, 2010.-Vol. 6458.-627 p.
-(Lecture Notes in Computer Science).
 
  8. Swarm, Evolutionary, and Memetic Computing: Proc./First 
International Conference, SEMCCO 2010, Chennai, India, 
December 2010/Ed. by  B.K.Panigrahi, S.Das, P.N.Sugantham, 
S.S.Dash.-Berlin: Springer, 2010.-Vol. 6466.-755 p.-(Lecture 
Notes in Computer Science).
 
  9. Graph Transformations and Model-Driven Engineering: 
Essays Dedicated to Manfred Nagl on the Occasion of His 65th 
Birthday/Ed. by  G.Engels, C.Lewerentz, W.Schafer, A.Schurr.
-Berlin: Springer, 2010.-Vol. 5765.-768 p.-(Lecture Notes in 
Computer Science).
 
 10. Graph-Theoretic Concepts in Computer Science: Revised 
Papers/36th International Workshop, WG 2010, Xaros, Crete, 
Greece, June 2010/Ed. by  D.M.Thilikos.-Berlin: Springer, 
2010.-Vol. 6410.-338 p.-(Lecture Notes in Computer Science).
 
 11. Ambient Intelligence: Proc./First International Joint 
Conference, Aml 2010, Malaga, Spain, November 2010/Ed. by  
B.De_Ruytor, R.Wichert, D.V.Keyson, P.Markopoulos.-Berlin: 
Springer, 2010.-Vol. 6439.-354 p.-(Lecture Notes in Computer 
Science).
 
 12. Service-Oriented Computing: Proc./8th International 
Conference, ICSOC 2010, San Francisco,CA,USA, December 2010/
Ed. by  P.P.Maglio, M.Weske, J.Yang, M.Fantinato.-Berlin: 
Springer, 2010.-Vol. 6470.-737 p.-(Lecture Notes in Computer 
Science).
 
 13. Algorithms for Sensor Systems: Revised Selected 
Papers/6th International Workshop, ALGOSENSORS 2010, 
Bordeaux, France, July 2010/Ed. by  Ch.Scheideler.-Berlin: 
Springer, 2010.-Vol. 6451.-190 p.-(Lecture Notes in Computer 
Science).
 
 14. Formal Methods and Software Engineering: Proc./12th 
International Conference on Formal Engineering Methods, 
ICFEM 2010, Shanghai, China, November 2010/Ed. by  J.S.Dong, 
H.Zhu.-Berlin: Springer, 2010.-Vol. 6447.-712 p.-(Lecture 
Notes in Computer Science).
 
 15. Parameterized and Exact Computation: Proc./5th 
International Symposium, IPEC 2010, Chennai, India, December 
2010/Ed. by  V.Raman, S.Saurabh.-Berlin: Springer, 2010.
-Vol. 6478.-239 p.-(Lecture Notes in Computer Science).
 
 16. Беззатеев С.В. Кодовые конструкции на основе 
классических кодов Гоппы для обработки и передачи 
информации: Автореф. дис... докт. тех. наук: 05.13.01.
-Санкт-Петербург, 2010.-34 с.-Библиогр.: c.28-34.
 
 17. Sanakrit Computational Linguistics: Proc./4th 
International Symposium, New Delhi, India, December 2010/Ed. 
by  G.N.Jha.-Berlin: Springer, 2010.-Vol. 6465.-259 p.
-(Lecture Notes in Artificial Intelligence).
 
 18. Logic and Its Applications: Proc./4th Indian 
Conference, ICLA 2011, Delhi, India, January 2011/Ed. by  
M.Banerjee, A.Seth.-Berlin: Springer, 2010.-Vol. 6521.-219 p.
-(Lecture Notes in Artificial Intelligence).
 
 19. Learning Classifier Systems: Revised Selected 
Papers/11th International Workshop, IWLCS 2008, USA, July 
2008, and 12th International Workshop, IWLCS 2009, Canada, 
July 2009/Ed. by  J.Bacardit, W.Browne, J.Drugowitsch, 
E.Bernado-Mansilla.-Berlin: Springer, 2010.-Vol. 6471.-199 p.
-(Lecture Notes in Artificial Intelligence).
 
 20. Ubiquitous Knowledge Discovery: Challenges, Techniques, 
Applications/Ed. by  M.May, L.Saitta.-Berlin: Springer, 2010.
-Vol. 6202.-255 p.-(Lecture Notes in Artificial 
Intelligence).
 
 21. AI Approaches to the Complexity of Legal Systems: 
Revised Selected Papers/ International Workshops 
ALCOL-I/IVR-XXIV, China, September 2009 and ALCOL-II/JURIX 
2009, The Netherlands, December 2009/Ed. by  P.Casanovas, 
U.Pagallo, G.Sartor, G.Ajani.-Berlin: Springer, 2010.-Vol. 
6237.-243 p.-(Lecture Notes in Artificial Intelligence).
 
 22. Distributed Computing and Networking: Proc./12th 
International Conference, ICDCN 2011, Bangalore, India, 
January 2011/Ed. by  M.K.Aguilera, H.Yu, N.H.Vaidya, 
V.Srinivasan.-Berlin: Springer, 2011.-Vol. 6522.-420 p.
-(Lecture Notes in Computer Science).
 
 23. Generative and Transformational Techniques in Software 
Engineering III: Revised Papers/ International Summer 
School, GTTSE 2009, Braga, Portugal, July 2009/Ed. by  
J.M.Fernandes, R.Lammel, J.Visser, J.Saraiva.-Berlin: 
Springer, 2011.-Vol. 6491.-499 p.-(Lecture Notes in Computer 
Science).
 
 24. Transactions on Petri Nets and Other Models of 
Concurrency IV/Ed. by  K.Jensen, S.Donatelli, M.Koutny.
-Berlin: Springer, 2010.-Vol. 6550.-225 p.-(Lecture Notes in 
Computer Science).
 
 25. Programming Languages and Systems: Proc./8th Asian 
Symposium, APLAS 2010, Shanghai, China, November/December 
2010/Ed. by  K.Ueda.-Berlin: Springer, 2010.-Vol. 6461.-440 
p.-(Lecture Notes in Computer Science).
 
 26. Principles of Distributed Systems: Proc./14th 
International Conference, OPODIS 2010, Tozeur, Tunisia, 
December 2010/Ed. by  Ch.Lu, T.Masuzawa, M.Mosbah.-Berlin: 
Springer, 2010.-Vol. 6490.-517 p.-(Lecture Notes in Computer 
Science).
 
 27. Future Generation Information Technology: Proc./ Second 
International Conference, FGIT 2010< Jeju Island, Korea, 
December 2010/Ed. by  T.-H.Kim, Y.-H.Lee, B.-H.Kang, D.Slezak.
-Berlin: Springer, 2010.-Vol. 6485.-756 p.-(Lecture Notes in 
Computer Science).
 
 28. Digital Heritage: Proc./ Third International 
Conference, EuroMed 2010, Lemessos, Cyprus, November 2010/
Ed. by  M.Ioannides, D.Fellner, A.Georgopoulos, 
D.G.Hadjimitsis.-Berlin: Springer, 2010.-Vol. 6436.-550 p.
-(Lecture Notes in Computer Science).
 
 29. Advanced Concepts for Intelligent Vision Systems, Part 
I: Proc./12th International Conference, ACIVS 2010, Sydney, 
Australia, December 2010/Ed. by  J.Blanc-Talon, D.Bone, 
W.Philips, D.Popescu.-Berlin: Springer, 2010.-Vol. 6474.-491 
p.-(Lecture Notes in Computer Science).
 
 30. Advanced Concepts for Intelligent Vision Systems, Part 
II: Proc./12th Internatinal Conference, ACIVS 2010, Sydney, 
Australia, December 2010/Ed. by  J.Blanc-Talon, D.Bone, 
W.Philips, D.Popescu.-Berlin: Springer, 2010.-Vol. 6475.-379 
p.-(Lecture Notes in Computer Science).
 
 31. Algorithms and Computation, Part I: Proc./21st 
International Symposium, ISAAC 2010, Jeju Island, Korea, 
December 2010/Ed. by  O.Cheong, K.-Y.Chwa, K.Park.-Berlin: 
Springer, 2010.-Vol. 6506.-465 p.-(Lecture Notes in Computer 
Science).
 
 32. Algorithms and Computation, Part II: Proc./21st 
International Symposium, ISAAC 2010, Jeju Island, Korea, 
December 2010/Ed. by  O.Cheong, K.-Y.Chwa, K.Park.-Berlin: 
Springer, 2010.-Vol. 6507.-473 p.-(Lecture Notes in Computer 
Science).
 
 33. Combinatorial Optimization and Applications, Part I: 
Proc./4th International Conference, COCOA 2010, 
Kailua-Kona,HI,USA, December 2010/Ed. by  W.Wu, O.Daescu.
-Berlin: Springer, 2010.-Vol. 6508.-424 p.-(Lecture Notes in 
Computer Science).
 
 34. Combinatorial Optimization and Applications, Part II: 
Proc./4th International Conference, COCOA 2010, 
Kailua-Kona,HI,USA, December 2010/Ed. by  W.Wu, O.Daescu.
-Berlin: Springer, 2010.-Vol. 6509.-416 p.-(Lecture Notes in 
Computer Science).

 35. Advances in Multimedia Modeling, Part I: Proc./17th 
International Multimedia Modeling Conference, MMM 2011, 
Taipei, Taiwan, January 2011/Ed. by  K.-T.Lee, W.-H.Tsai, 
H.-Y.M.Liao, T.Chen.-Berlin: Springer, 2011.-Vol. 6523.-562 
p.-(Lecture Notes in Computer Science).
 
 36. Advances in Multimedia Modeling, Part II: Proc./17th 
International Multimedia Modeling Conference, MMM 2011, 
Taipei, Taiwan, January 2011/Ed. by  K.-T.Lee, W.-H.Tsai, 
H.-Y.M.Liao, T.Chen.-Berlin: Springer, 2011.-Vol. 6524.-492 
p.-(Lecture Notes in Computer Science).
 
 37. Advances in Web-Based Learning - ICWL 2010: Proc./9th 
International Conference, Shanghai, China, December 2010/Ed. 
by  X.Luo, M.Spaniol, L.Wang, Q.Li.-Berlin: Springer, 2010.
-Vol. 6483.-412 p.-(Lecture Notes in Computer Science).
 
 38. Advances in Visual Computing, Part I: Proc./6th 
International Symposium, ISVC 2010, Las Vegas,NV,USA, 
November/December 2010/Ed. by  G.Bebis.-Berlin: Springer, 
2010.-Vol. 6453.-766 p.-(Lecture Notes in Computer Science).
 
 39. Advances in Visual Computing, Part II: Proc./6th 
International Symposium, ISVC 2010, Las Vegas,NV,USA, 
November/December 2010/Ed. by  G.Bebis.-Berlin: Springer, 
2010.-Vol. 6454.-762 p.-(Lecture Notes in Computer Science).
 
 40. Advances in Visual Computing, Part III: Proc./6th 
International Symposium, ISVC 2010, Las Vegas,NV,USA, 
November/December 2010/Ed. by  G.Bebis.-Berlin: Springer, 
2010.-Vol. 6455.-650 p.-(Lecture Notes in Computer Science).
 
 41. Approximation and Online Algorithms: Revised Papers/8th 
International Workshop, WAOA 2010, Liverpool, UK, September 
2010/Ed. by  K.Jansen, R.Solis-Oba.-Berlin: Springer, 2011.
-Vol. 6534.-273 p.-(Lecture Notes in Computer Science).
 
 42. Central European Functional Programming School: Revised 
Selected Lectures/ Third Summer School, CEFP 2009, Budapest, 
Hungary and Komarno, Slovakia, May 2009/Ed. by  Z.Horvath, 
R.Plasmeijer, V.Zsok.-Berlin: Springer, 2010.-Vol. 6299.-391 
p.-(Lecture Notes in Computer Science).
 
 43. Transactions on Computational Science XI: Special Issue 
on Security in Computing, Part II/Ed. by  E.D.Moreno, 
M.L.Gavrilova, C.J.K.Tan.-Berlin: Springer, 2010.-Vol. 6480.
-294 p.-(Lecture Notes in Computer Science).
 
 44. Transactions on Computational Science X: Special Issue 
on Security in Computing, Part I/Ed. by  E.D.Moreno, 
M.L.Gavrilova, C.J.K.Tan.-Berlin: Springer, 2010.-Vol. 6340.
-366 p.-(Lecture Notes in Computer Science).
 
 45. Formal Methods for Components and Objects: Revised 
Selected Papers/8th International Symposium, FMCO 2009, 
Eindhoven, The Netherlands, November 2009/Ed. by  
F.S.De_Boer, M.M.Bonsangue, S.Hallerstede, M.Leuschel.-Berlin:
 Springer, 2010.-Vol. 6286.-339 p.-(Lecture Notes in 
Computer Science).
 
 46. SOFSEM 2011: Theory and Practice of Computer Science: 
Proc./37th Conference of Current Trends in Theory and 
Practice of CS, Novy Smokovec, Slovakia, January 2011/Ed. by 
I.Cerna, T.Gyimothy, J.Hromkovic, K.Jeffery.-Berlin: Springer,
 2011.-Vol. 6543.-572 p.-(Lecture Notes in Computer Science).
 

 47. Engineering Secure Software and Systems: Proc./ Third 
International Symposium, ESSoS 2011, Madrid, Spain, February 
2011/Ed. by  U.Erlingsson, R.Wieringa, N.Zannone.-Berlin: 
Springer, 2011.-Vol. 6542.-273 p.-(Lecture Notes in Computer 
Science).
 
 48. Verification, Model Checking, and Abstract 
Interpretation: Proc./12th International Conference, VMCAI 
2011, Austin,TX,USA, January 2011/Ed. by  R.Jhala, D.Schmidt.
-Berlin: Springer, 2011.-Vol. 6538.-419 p.-(Lecture Notes in 
Computer Science).
 
 49. Practical Aspects of Declarative Languages: Proc./13th 
International Symposium, PADL 2011, Austin,TX,USA, January 
2011/Ed. by  R.Rocha, J.Launchbury.-Berlin: Springer, 2011.
-Vol. 6539.-265 p.-(Lecture Notes in Computer Science).
 
 50. Integrated Circuit and System Design. Power and Timing 
Modeling, Optimization and Simulation: Revised Selected 
Papers/20th International Workshop, PATMOS 2010, Grenoble, 
France, September 2010/Ed. by  R.Van_Leuken, G.Sicard.-Berlin:
 Springer, 2011.-Vol. 6448.-260 p.-(Lecture Notes in 
Computer Science).
 
 51. The Evolution of Conceptual Modeling: From a Historical 
Perspective towards the Future of Conceptual Modeling/Ed. by 
R.Kaschek, L.Delcambre.-Berlin: Springer, 2011.-Vol. 6520.
-360 p.-(Lecture Notes in Computer Science).
 
 52. Human-Computer Interaction, Tourism and Cultural 
Heritage: Revised Selected Papers/ First International 
Workshop, HCITOCH 2010, Brescello, Italy, September 2010/Ed. 
by  F.V.C.Ficarra, C.De_Castro_Lozano, E.Nicol, A.Kratky.
-Berlin: Springer, 2011.-Vol. 6529.-195 p.-(Lecture Notes in 
Computer Science).
 
 53. Performance Evaluation, Measurement and 
Characterization of Complex Systems: Revised Selected 
Papers/ Second TPC Technology Conference, TPCTC 2010, 
Singapore, September 2010/Ed. by  R.Nambiar, M.Poess.-Berlin:
 Springer, 2011.-Vol. 6417.-233 p.-(Lecture Notes in 
Computer Science).
 
 54. Vagueness in Communication: Revised Selected Papers/ 
International Workshop, ViC 2009 held as part of ESSLLI 
2009, Bordeaux, France, July 2009/Ed. by  R.Nouwen, 
R.Van_Rooij, U.Sauerland, H.-Ch.Schmitz.-Berlin: Springer, 
2011.-Vol. 6517.-207 p.-(Lecture Notes in Artificial 
Intelligence).
 
 55. Logic for Programming, Artificial Intelligence, and 
Reasoning: Revised Selected Papers/16th International 
Conference, LPAR-16, Dakar, Senegal, April/May 2010/Ed. by  
E.M.Clarke, A.Voronkov.-Berlin: Springer, 2010.-Vol. 6355.
-517 p.-(Lecture Notes in Artificial Intelligence).
 
 56. Щербина О.А. Локальные элиминационные алгоритмы для 
разреженных задач дискретной оптимизации: Автореф. дис... 
докт. ф.-м. наук: 05.13.17.-М., 2011.-30 с.-Библиогр.: 
c.22-30.
 
 57. Николайчук О.А. Методы, модели и инструментальное 
средство для исследовния надежности и безопасности сложных 
технических систем: Автореф. дис... докт. тех. наук: 05.13.01.
-Иркутск, 2011.-37 с.-Библиогр.: c.34-37.
 
 58. Мельник А.П. Моделирование процессов теплопереноса 
через ограждающие конструкции зданий и системы вентиляции: 
Автореф. дис... канд. тех. наук: 05.13.18.-М., 2011.-18 с.
-Библиогр.: c.17-18.
 
 59. Ануреев И.С. Язык Atoment: синтаксис и семантика.
-Новосибирск, 2010.-38 с.-(Препринт/ИСИ СО РАН; N 157).
 
 60. Ануреев И.С. Язык Atoment: стандартная библиотека.
-Новосибирск, 2010.-31 с.-(Препринт/ИСИ СО РАН; N 158).
 
 61. Information Security: Revised Selected Papers/13th 
International Conference, ISC 2010, Boca Raton,FL,USA, 
October 2010/Ed. by  M.Burmester, G.Tsudic, S.Magliveras, 
I.Ilic.-Berlin: Springer, 2011.-Vol. 6531.-446 p.-(Lecture 
Notes in Computer Science).
 
 62. Topics in Cryptology - CT-RSA 2011: Proc./The 
Cryptographers' Track at the RSA Conference 2011, San 
Francisco,CA,USA, February 2011/Ed. by  A.Kiayias.-Berlin: 
Springer, 2011.-Vol. 6558.-417 p.-(Lecture Notes in Computer 
Science).
 
 63. Security Protocols: Revised Selected Papers/15th 
International Workshop, Brno, Czech Republic, April 2007/Ed. 
by  B.Christianson, B.Crispo, J.A.Malcolm, M.Roe.-Berlin: 
Springer, 2010.-Vol. 5964.-257 p.-(Lecture Notes in Computer 
Science).
 
 64. Advances in Information and Computer Security: 
Proc./5th International Workshop on Security, IWSEC 2010, 
Kobe, Japan, November 2010/Ed. by  I.Echizen, N.Kunihiro, 
R.Sasaki.-Berlin: Springer, 2010.-Vol. 6434.-371 p.-(Lecture 
Notes in Computer Science).
 
 65. Advances in Cryptology - ASIACRYPT 2010: Proc./16th 
International Conference on the Theory and Aplications of 
Cryptology and Infermation Security, Singapore, December 2010
/Ed. by  M.Abe.-Berlin: Springer, 2010.-Vol. 6477.-634 p.
-(Lecture Notes in Computer Science).
 
 66. Progress in Cryptology - INDOCRYPT 2010: Proc./11th 
International Conference on Cryptology in India, Hyderabad, 
India, December 2010/Ed. by  G.Gong, K.Ch.Gupta.-Berlin: 
Springer, 2010.-Vol. 6498.-366 p.-(Lecture Notes in Computer 
Science).
 
 67. Information Security and Cryptology: Revised Selected 
Papers/5th International Conference, Inscrypt 2009, Beijing, 
China, December 2009/Ed. by  F.Bao, M.Yung, D.Lin, J.Jing.
-Berlin: Springer, 2010.-Vol. 6151.-460 p.-(Lecture Notes in 
Computer Science).
 
 68. Decision and Game Theory for Security: Proc./First 
International Conference, GameSec 2010, Berlin, Germany, 
November 2010/Ed. by  T.Alpcan, L.Buttyan, J.S.Baras.-Berlin:
 Springer, 2010.-Vol. 6442.-281 p.-(Lecture Notes in 
Computer Science).
 
 69. Pairing-Based Gryptography - Pairing 2010: Proc./4th 
International Conference, Yamanaka Hot Spring, Japan, 
December 2010/Ed. by  M.Joye, A.Miyaji, A.Otsuka.-Berlin: 
Springer, 2010.-Vol. 6487.-467 p.-(Lecture Notes in Computer 
Science).
 
 70. Cryptology and Network Security: Proc./9th 
International Conference, CANS 2010, Kuala Lumpur, Malaysia, 
December 2010/Ed. by  S.-H.Heng, R.N.Wright, B.-M.Goi.-Berlin:
 Springer, 2010.-Vol. 6467.-355 p.-(Lecture Notes in 
Computer Science).
 
 71. Information and Communications Security: Proc./12th 
International Conference, ICICS 2010, Barcelona, Spain, 
December 2010/Ed. by  M.Soriano, S.Qing, J.Lopez.-Berlin: 
Springer, 2010.-Vol. 6476.-474 p.-(Lecture Notes in Computer 
Science).
 
 72. Radio Frequency Identification: Security and Privacy 
Issues: Revised Selected Papers/6th International Workshop, 
RFIDSec 2010, Istanbul, Turkey, June 2010/Ed. by  
S.B.O.Yalcin.-Berlin: Springer, 2010.-Vol. 6370.-271 p.
-(Lecture Notes in Computer Science).
 
 73. Information System Security: Proc./6th International 
Conference, ICISS 2010, Gandhinagar, India, December 2010/
Ed. by  S.Jha, A.Mathuria.-Berlin: Springer, 2010.-Vol. 6503.
-261 p.-(Lecture Notes in Computer Science).
 
 74. Public Key Infrastructures, Services and Applications: 
Revised Selectes Papers/6th European Workshop, EuroPKI 2009, 
Pisa, Italy, September 2009/Ed. by  F.Martinelly, B.Preneel.
-Berlin: Springer, 2010.-Vol. 6391.-303 p.-(Lecture Notes in 
Computer Science).
 
 75. Димитриенко О.Ю. Кластерно-континуальная модель 
динамики рынка продаж при маркетинговых воздействиях: 
Автореф. дис... канд. ф.-м. наук: 05.13.18.-М., 2010.-18 с.
-Библиогр.: c.16-18.



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