23.01.2012

Hовые поступления с 5 декабря 2011 года по 10 января 2012 года

  1. Software Engineering and Formal Methods: Proc./9th 
International Conference, SEFM 2011, Montevideo, Uruguay, 
November 2011/Ed. by  G.Barthe, A.Pardo, G.Schneider.-Berlin: 
Springer, 2011.-Vol. 7041.-504 p.-(Lecture Notes in Computer 
Science).
 
  2. Quantum Interaction: Revised Selected Papers/5th 
International Symposium, QI 2011, Aberdeen, UK, June 2011/Ed. by  
D.Song, M.Melucci, I.Frommholz, P.Zhang.-Berlin: Springer, 2011.
-Vol. 7052.-229 p.-(Lecture Notes in Computer Science).
 
  3. Formal Methods and Software Engineering: Proc./13th 
International Conference on Formal Engineering Methods, ICFEM 
2011, Durham, UK, October 2011/Ed. by  S.Qin, Z.Qiu.-Berlin: 
Springer, 2011.-Vol. 6991.-670 p.-(Lecture Notes in Computer 
Science).
 
  4. Testing Software and Systems: Proc./23rd IFIP WG 6.1 
International Conference, ICTSS 2011, Paris, France, November 2011
/Ed. by  B.Wolff, F.Zaidi.-Berlin: Springer, 2011.-Vol. 7019.-226 
p.-(Lecture Notes in Computer Science).
 
  5. Formal Methods: Foundations and Applications: Revised 
Selected Papers/14th Brazilian Symposium, SBMF 2011, Sao Paulo, 
Brazil, September 2011/Ed. by  A.Simao, C.Morgan.-Berlin: Springer,
 2011.-Vol. 7021.-205 p.-(Lecture Notes in Computer Science).
 
  6. Agent-Oriented Software Engineering XI: Revised Selected 
Papers/11th International Workshop, AOSE 2010, Toronto, Canada, 
May 2010/Ed. by  D.Weyns, M.-P.Gleizes.-Berlin: Springer, 2011.
-Vol. 6788.-249 p.-(Lecture Notes in Computer Science).
 
  7. Advanced Parallel Processing Technologies: Proc./9th 
International Symposium, APPT 2011, Shanghai, China, September 
2011/Ed. by  O.Temam, P.-C.Yew, B.Zang.-Berlin: Springer, 2011.
-Vol. 6965.-190 p.-(Lecture Notes in Computer Science).
 
  8. Conceptual Modeling - ER 2011: Proc./30th International 
Conference, ER 2011, Brussels, Belgium, October/November 2011/Ed. 
by  M.A.Jeusfeld, L.Delcambre, T.W.Ling.-Berlin: Springer, 2011.
-Vol. 6998.-530 p.-(Lecture Notes in Computer Science).
 
  9. Advances in Conceptual Modeling. Recent Developments and New 
Directories: Proc./ER 2011 Worksops FP-UML, MoRE-BI, Onto-CoM, 
SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 2011/
Ed. by  O.De_Troyer, C.B.Medeiros, R.Billen, P.Hallot.-Berlin: 
Springer, 2011.-Vol. 6999.-396 p.-(Lecture Notes in Computer 
Science).
 
 10. String Processing and Information Retrieval: Proc./18th 
International Symposium, SPIRE 2011, Pisa, Italy, October 2011/
Ed. by  R.Grossi, F.Sebastiani, F.Silvestri.-Berlin: Springer, 
2011.-Vol. 7024.-428 p.-(Lecture Notes in Computer Science).
 
 11. Stabilization, Safety, and Security of Distributed Systems: 
Proc./13th International Symposium, SSS 2011, Grenoble, France, 
October 2011/Ed. by  X.Defago, F.Petit, V.Villain.-Berlin: 
Springer, 2011.-Vol. 6976.-452 p.-(Lecture Notes in Computer 
Science).
 
 12. Algorithmic Game Theory: Proc./4th International Symposium, 
SAGT 2011, Amalfi, Italy, October 2011/Ed. by  G.Persiano.-Berlin:
 Springer, 2011.-Vol. 6982.-327 p.-(Lecture Notes in Computer 
Science).
 
 13. Algorithms and Architectures for Parallel Processing, Part 
I: Proc./11th International Conference, ICA3PP 2011, Melbourne, 
Australia, October 2011/Ed. by  Y.Xiang, A.Cuzzocrea, M.Hobbs, 
W.Zhou.-Berlin: Springer, 2011.-Vol. 7016.-497 p.-(Lecture Notes 
in Computer Science).
 
 14. Algorithms and Architectures for Parallel Processing, Part 
II: Proc./ 11th International Conference, ICA3PP 2011, Melbourne, 
Australia, October 2011/Ed. by  X.Xiang, A.Cuzzocrea, M.Hobbs, 
W.Zhou.-Berlin: Springer, 2011.-Vol. 7017.-411 p.-(Lecture Notes 
in Computer Science).
 
 15. Computer Performance Engineering: Proc./8th European 
Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, 
October 2011/Ed. by  N.Thomas.-Berlin: Springer, 2011.-Vol. 6977.
-341 p.-(Lecture Notes in Computer Science).
 
 16. Formal Modeling: Actors, Open Systems, Biological Systems: 
Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th 
Birthday/Ed. by  G.Agha, O.Danvy, J.Meseguer.-Berlin: Springer, 
2011.-Vol. 7000.-447 p.-(Lecture Notes in Computer Science).
 
 17. Dependable and Historic Computing: Essays Dedicated to Brian 
Randell on the Occasion of His 75th Birthday/Ed. by  C.B.Jones, 
J.L.Lloyd.-Berlin: Springer, 2011.-Vol. 6875.-523 p.-(Lecture 
Notes in Computer Science).
 
 18. Algebraic Foundations in Computer Science: Essays Dedicated 
to Symeon Bozapalidis on the Occasion of His Retirement/Ed. by  
W.Kuich, G.Rahonis.-Berlin: Springer, 2011.-Vol. 7020.-363 p.
-(Lecture Notes in Computer Science).
 
 19. Principles of Distributed Systems: 15th International 
Conference, OPODIS 2011, Toulouse, France, December 2011/Ed. by  
A.F.Anta, G.Lipari, M.Roy.-Berlin: Springer, 2011.-Vol. 7109.-564 
p.-(Lecture Notes in Computer Science).
 
 20. Information Retrieval Technology: Proc./7th Asia Information 
Retrieval Societies Conference, AIRS 2011, Dubai, United Arab 
Emirates, December 2011/Ed. by  M.Vall, M.Salem, K.Shaalan, 
F.Oroumchian.-Berlin: Springer, 2011.-Vol. 7097.-626 p.-(Lecture 
Notes in Computer Science).
 
 21. Middleware 2011: Proc./ ACM/IFIP/USENIX 12th International 
Middleware Conference, Lisbon, Portugal, December 2011/Ed. by  
F.Kon, A.-M.Kermarrec.-Berlin: Springer, 2011.-Vol. 7049.-500 p.
-(Lecture Notes in Computer Science).
 
 22. Computer Architecture: Revised Selected Papers/ISCA 2010 
International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, 
Saint-Malo, France, June 2010/Ed. by  A.L.Varbanescu, A.Malnos, 
R.Van_Nieuwpoort.-Berlin: Springer, 2011.-Vol. 6161.-378 p.
-(Lecture Notes in Computer Science).
 
 23. Service-Oriented Computing: Proc./9th International 
Conference, ICSOC 2011, Paphos, Cyprus, December 2011/Ed. by  
G.Kappel, Z.Maamar, H.R.Motahari-Nezhad.-Berlin: Springer, 2011.
-Vol. 7084.-682 p.-(Lecture Notes in Computer Science).
 
 24. Future Generation Information Technology: Proc./3rd 
International Conference, FGIT 2011 in Conjuction with GDC 2011, 
Jeju Island, Korea, December 2011/Ed. by  T.Kim, H.Adeli, 
D.Slezak, F.E.Sandnes.-Berlin: Springer, 2011.-Vol. 7105.-424 p.
-(Lecture Notes in Computer Science).

 25. Distributed Computing: Proc./25th International Symposium, 
DISC 2011, Rome, Italy, September 2011/Ed. by  D.Peleg.-Berlin: 
Springer, 2011.-Vol. 6950.-506 p.-(Lecture Notes in Computer 
Science).
 
 26. Static Analysis: Proc./18th International Symposium, SAS 
2011, Venice, Italy, September 2011/Ed. by  E.Yahav.-Berlin: 
Springer, 2011.-Vol. 6887.-387 p.-(Lecture Notes in Computer 
Science).
 
 27. Implementation and Application of Functional Languages: 
Revised Selected Papers/22nd International Symposium, IFL 2010, 
Alphen aan den Rijn, The Netherlands, September 2010/Ed. by  
J.Hage, M.T.Morazan.-Berlin: Springer, 2011.-Vol. 6647.-217 p.
-(Lecture Notes in Computer Science).
 
 28. Computer Algebra in Scientific Computing: Proc./13th 
International Workshop, CASC 2011, Kassel, Germany, September 2011
/Ed. by  V.P.Gerdt, W.Koepf, E.W.Mayr, E.V.Vorozhtsov.-Berlin: 
Springer, 2011.-Vol. 6885.-359 p.-(Lecture Notes in Computer 
Science).
 
 29. CONCUR 2011 - Concurrency Theory: Proc./22nd International 
Conference, CONCUR 2011, Aachen,Germany, September 2011/Ed. by  
J.-P.Katoen, B.Konig.-Berlin: Springer, 2011.-Vol. 6901.-560 p.
-(Lecture Notes in Computer Science).
 
 30. Comparative Evaluation of Focused Retrieval: Revised 
Selected Papers/9th International Workshop, INEX 2010, Vught, The 
Netherlands, December 2011/Ed. by  S.Geva, J.Kamps, R.Schenkel, 
A.Trotman.-Berlin: Springer, 2011.-Vol. 6932.-98 p.-(Lecture 
Notes in Computer Science).
 
 31. Implementation and Application of Functional Languages: 
Revised Selected Papers/20th International Symposium, IFL 2008, 
Hatfield, UK, September 2008/Ed. by  S.-B.Scholz, O.Chitil.-Berlin:
 Springer, 2011.-Vol. 5836.-291 p.-(Lecture Notes in Computer 
Science).
 
 32. Automated Technology for Verification and Analysis: 
Proc./9th International Symposium, ATVA 2011, Taipei, Taiwan, 
October 2011/Ed. by  T.Bultan, P.-A.Hsiung.-Berlin: Springer, 2011.
-Vol. 6996.-532 p.-(Lecture Notes in Computer Science).
 
 33. Databases in Networked Information Systems: Proc./7th 
International Workshop, DNIS 2011, Aizu-Wakamatsu, Japan, 
December 2011/Ed. by  S.Kikuchi, A.Madaan, S.Sachdeva, S.Bhalla.
-Berlin: Springer, 2011.-Vol. 7108.-325 p.-(Lecture Notes in 
Computer Science).
 
 34. Advances in Databases: Revised Selected Papers/28th British 
National Conference on Databases, BNCOD 28, Manchester, UK, July 
2011/Ed. by  A.A.A.Fernandes, A.J.G.Gray, K.Belhajjame.-Berlin: 
Springer, 2011.-Vol. 7051.-238 p.-(Lecture Notes in Computer 
Science).
 
 35. Advances in Intelligent Data Analysis X: Proc./10th 
International Symposium, IDA 2011, Porto, Portugal, October 2011/
Ed. by  J.Gama, E.Bradley, J.Hollmen.-Berlin: Springer, 2011.
-Vol. 7014.-425 p.-(Lecture Notes in Computer Science).
 
 36. Graph-Theoretic Concepts in Computer Science: Revised 
Papers/37th International Workshop, WG 2011, Tepla Monastery, 
Czech Republic, June 2011/Ed. by  P.Kolman, J.Kratochvil.-Berlin: 
Springer, 2011.-Vol. 6986.-344 p.-(Lecture Notes in Computer 
Science).

 37. Information Computing and Applications: Proc./2nd 
International Conference, ICICA 2011, Qinhuangdao, China, October 
2011/Ed. by  B.Liu, Ch.Chai.-Berlin: Springer, 2011.-Vol. 7030.
-775 p.-(Lecture Notes in Computer Science).
 
 38. Algorithms and Computation: Proc./22nd International 
Symposium, ISAAC 2011, Yakohama, Japan, December 2011/Ed. by  
T.Asano, S.Nakano, Y.Okamoto, O.Watanabe.-Berlin: Springer, 2011.
-Vol. 7074.-775 p.-(Lecture Notes in Computer Science).
 
 39. Programming Languages and Systems: Proc./9th Asian 
Symposium, APLAS 2011, Kenting, Taiwan, December 2011/Ed. by  
H.Yang.-Berlin: Springer, 2011.-Vol. 7078.-372 p.-(Lecture Notes 
in Computer Science).
 
 40. Certified Programs and Proofs: Proc./1st International 
Conference, CPP 2011, Kenting, Taiwan, December 2011/Ed. by  
J.-P.Jouannaud, Z.Shao.-Berlin: Springer, 2011.-Vol. 7086.-401 p.
-(Lecture Notes in Computer Science).
 
 41. SDL 2011 - Integrating System and Software Modeling: Revised 
Papers/15th International SDL Forum, Toulouse, France, July 2011/
Ed. by  Iu.Ober, Il.Ober.-Berlin: Springer, 2011.-Vol. 7083.-277 
p.-(Lecture Notes in Computer Science).
 
 42. Trusted Systems: Revised Selected Papers/2nd International 
Conference, INTRUST 2010, Beijing, China, December 2010/Ed. by  
L.Chen, M.Yung.-Berlin: Springer, 2011.-Vol. 6802.-362 p.
-(Lecture Notes in Computer Science).
 
 43. Transactions on High-Performance Embedded Architectures and 
Compilers IV/Ed. by  P.Stenstrom.-Berlin: Springer, 2011.-Vol. 
6760.-430 p.-(Lecture Notes in Computer Science).
 
 44. Казаков В.В. Разработка технологии поддержки мультимедийных 
ресурсов обучения: Автореф. дис... канд. тех. наук: 05.25.05.
-Новосибирск, 2011.-18 с.-Библиогр.: c.17-18.
 
 45. Чернышев С.В. Модели, методы и алгоритмы эффективного 
решения задачи маршрутизации транспорта на грфах больших 
размерностей: Автореф. дис... канд. ф.-м. наук: 05.13.18.-М., 2011.
-22 с.-Библиогр.: c.21-22.
 
 46. Ботов П.В. Оценки вероятности переобучения многомерных 
семейств алгоритмов классификации: Автореф. дис... канд. ф.-м. 
наук: 05.13.17.-М., 2011.-20 с.-Библиогр.: c.20.
 
 47. Кочедыков Д.А. Оценки обобщающей способности на основе 
характеристик расслоения и связности семейств функций: Автореф. 
дис... канд. ф.-м. наук: 05.13.17.-М., 2011.-22 с.-Библиогр.: 
c.21-22.
 
 48. Торшин И.Ю. Модели и алгоритмы обнаружения локальных 
закономерностей в задаче распознавания вторичной структуры белка: 
Автореф. дис... канд. ф.-м. наук: 05.13.17.-М., 2011.-21 с.
-Библиогр.: c.21.
 
 49. Лексин В.А. Вероятностные модели в анализе клиентских сред: 
Автореф. дис... канд. ф.-м. наук: 01.01.09.-М., 2011.-18 с.
-Библиогр.: c.16-18.
 
 50. Халявин А.В. О построении и оценках характеристик 
корреляционно-имунных булевых функций и сложных комбинаторных 
объектов: Автореф. дис... канд. ф.-м. наук: 05.13.19.-М., 2011.
-17 с.-Библиогр.: c.16-17.
 
 51. Друца А.В. О решении некоторых задач динамики океана: 
Автореф. дис... канд. ф.-м. наук: 01.01.07.-М., 2011.-20 с.
-Библиогр.: c.20.
 
 52. Родионова З.В. Моделирование и разработка информационной 
системы формализации и актуализации прав доступа: Автореф. дис... 
канд. тех. наук: 05.25.05.-Новосибирск, 2011.-21 с.-Библиогр.: 
c.20-21.
 
 53. Мехедов И.С. Многолистная фигура и ее медиальные 
дескрипторы: Автореф. дис... канд. ф.-м. наук: 05.13.17.-М., 2011.
-22 с.-Библиогр.: c.22.
 
 54. Кудинов П.Ю. Адаптивные методы извлечения информации из 
статистических таблиц, представленных в текстовом виде: Автореф. 
дис... канд. тех. наук: 05.13.17.-М., 2011.-22 с.-Библиогр.: 
c.21-22.
 
 55. Tarasyuk I.V. Equivalences for modular performance analysis 
in dtsPBC.-Oldenburg, 2011.-42 p.-(Rep./Univ. Oldenburg; N 04/11).
 
 56. Dertouzos M.L., Iannucci R.A. A Multiprocessor Emulation 
Facility, 1983.-22 p.-(Rep./MIT; N MIT/LCS/TR-302).
 
 57. Pingali K. Efficient Demand-driven Evaluation, 1983.-53 p.
-(Rep./MIT; N MIT/LCS/TM-243).
 
 58. Transactions on Large-Scale Data-and Knowledge-Centered 
Systems IV. Special Issue on Database Systems for Biomedical 
Applications/Ed. by  A.Hameurlain, J.Kung, R.Wagner.-Berlin: 
Springer, 2011.-Vol. 6990.-209 p.-(Lecture Notes in Computer 
Science).
 
 59. Rule-Based Modeling and Computing on the Semantic Web: 
Proc./5th International Symposium, RuleML 2011-America, 
Ft.Lauderdale,FL,USA, Novembrt 2011/Ed. by  F.Olken, M.Palmirani, 
D.Sottara.-Berlin: Springer, 2011.-Vol. 7018.-313 p.-(Lecture 
Notes in Computer Science).
 
 60. Pattern Recognition in Bioinformatics: Proc./6th IAPR 
International Conference, PRIB 2011, Delft, The Netherlands, 
November 2011/Ed. by  M.Loog, L.Wessel, M.J.T.Reinders, 
D.De_Ridder.-Berlin: Springer, 2011.-Vol. 7036.-342 p.-(Lecture 
Notes in Bioinformatics).
 
 61. Advances in Artificial Intelligence, Part I: Proc./10th 
Mexican International Conference, MICAI 2011, Puebla, Mexico, 
November 2011/Ed. by  I.Batyrshin, G.Sidorov.-Berlin: Springer, 
2011.-Vol. 7094.-598 p.-(Lecture Notes in Artificial 
Intelligence).
 
 62. Advances in Soft Computing, Part II: Proc./10th Mexican 
International Conference, MICAI 2011, Puebla, Mexico, November 
2011/Ed. by  I.Batyrshin, G.Sidorov.-Berlin: Springer, 2011.-Vol. 
7095.-540 p.-(Lecture Notes in Artificial Intelligence).
 
 63. Knowledge, Information, and Creativity Support Systems: 
Revised Selected Papers/5th International Conference, KICSS 2010, 
Chiang Mai, Thailand, November 2010/Ed. by  T.Theeramunkong, 
S.Kunifuji, V.Sornlertlamvanich, C.Nattee.-Berlin: Springer, 2011.
-Vol. 6746.-263 p.-(Lecture Notes in Artificial Intelligence).
 
 64. Advances in Artificial Intelligence: Proc./14th Conference 
of the Spanish Assocoation for AI, CAEPIA 2011, La Laguna, Spain, 
November 2011/Ed. by  J.A.Lozano, J.A.Gamez, J.A.Moreno.-Berlin: 
Springer, 2011.-Vol. 7023.-506 p.-(Lecture Notes in Artificial 
Intelligence).
 
 65. Flexible Query Answering Systems: Proc./9th International 
Conference, FQAS 2011, Ghent, Belgium, October 2011/Ed. by  
H.Christiansen, G.De_Tre, A.Yazici, S.Zadrozny.-Berlin: Springer, 
2011.-Vol. 7022.-510 p.-(Lecture Notes in Artificial 
Intelligence).
 
 66. Advances in Nonlinear Speech Processing: Proc./5th 
International Conference, NOLISP 2011, Las Palamos de Gran 
Canaria, Spain, November 2011/Ed. by  C.M.Travieso-Gonzalez, 
J.B.Alonso-Hernandez.-Berlin: Springer, 2011.-Vol. 7015.-280 p.
-(Lecture Notes in Artificial Intelligence).
 
 67. Agents in Principle, Agents in Practice: Proc./14th 
International Conference, PRIMA 2011, Wollongong, Australia, 
November 2011/Ed. by  D.Kinny, J.Y.Hsu, G.Governatori, A.Ghose.
-Berlin: Springer, 2011.-Vol. 7047.-534 p.-(Lecture Notes in 
Artificial Intelligence).
 
 68. Computational Collective Intelligence. Technologies and 
Applications, Part I: Proc./3nd International Conference, ICCCI 
2011, Gdynia, Poland, September 2011/Ed. by  P.Jedrzejowicz, 
N.T.Nguyen, K.Hoang.-Berlin: Springer, 2011.-Vol. 6922.-635 p.
-(Lecture Notes in Artificial Intelligence).
 
 69. Computational Collective Intelligence. Technologies and 
Applications, Part II: Proc./3rd International Conference, ICCCI 
2011, Gdynia, Poland, September 2011/Ed. by  P.Jedrzejowicz, 
N.T.Nguyen, K.Hoang.-Berlin: Springer, 2011.-Vol. 6923.-517 p.
-(Lecture Notes in Artificial Intelligence).
 
 70. Integrated Uncertainty in Knowledge Modelling and Decision 
Making: Proc./International Symposium, IUKM 2011, Hangzhou, 
China, October 2011/Ed. by  Y.Tang, V.-N.Huyng, J.Lawry.-Berlin: 
Springer, 2011.-Vol. 7027.-272 p.-(Lecture Notes in Artificial 
Intelligence).
 



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