03.05.2012

Hовые поступления со 2 апреля по 2 мая 2012 года

  1. Ерусалимский Я.М. Нестандартная достижимость на 
ориентированных графах и сетях: Автореф. дис... докт. ф.-м. наук: 
01.01.09.-Ярославль, 2012.-36 с.-Библиогр.: c.33-36.
 
  2. Intelligent Information and Database Systems, Part I: 
Proc./4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 
2012/Ed. by  J.-S.Pan, S.-M.Chen, N.T.Nguyen.-Berlin: Springer, 
2012.-Vol. 7196.-503 p.-(Lecture Notes in Artificial 
Intelligence).
 
  3. Intelligent Information and Database Systems, Part II: 
Proc./4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 
2012/Ed. by  J.-S.Pan, S.-M.Chen, N.T.Nguyen.-Berlin: Springer, 
2012.-Vol. 7197.-575 p.-(Lecture Notes in Artificial 
Intelligence).
 
  4. Intelligent Information and Database Systems, Part III: 
Proc./4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 
2012/Ed. by  J.-S.Pan, S.-M.Chen, N.T.Nguyen.-Berlin: Springer, 
2012.-Vol. 7198.-529 p.-(Lecture Notes in Artificial 
Intelligence).
 
  5. Medical Content-Based Retrieval for Clinical Decision 
Support: Revised Selected Papers/2nd MICCAI International 
Workshop, MCBR-CDS 2011, Toronto,ON,Canada, September 2011/Ed. by 
H.Muller, H.Greenspan, T.Syeda-Mahmood.-Berlin: Springer, 2012.
-Vol. 7075.-153 p.-(Lecture Notes in Computer Science).
 
  6. Reconfigurable Computing: Architectures, Tools and 
Applications: Proc./8th International Symposium, ARC 2012, Hong 
Kong, China, March 2012/Ed. by  O.C.S.Choy, R.C.C.Cheung, 
P.Athanas, K.Sano.-Berlin: Springer, 2012.-Vol. 7199.-386 p.
-(Lecture Notes in Computer Science).
 
  7. Selected Areas in Cryptography: Revised Selected Papers/18th 
International Conference, SAC 2011, Toronto,ON,Canada, August 2011
/Ed. by  A.Miri, S.Vaudenay.-Berlin: Springer, 2012.-Vol. 7118.
-431 p.-(Lecture Notes in Computer Science).
 
  8. Cryptography and Security: From Theory to Applications: 
Essays Dedicated to Jean-Jacques Quisquater on the Occasion of 
His 65th Birthday/Ed. by  D.Naccache.-Berlin: Springer, 2012.
-Vol. 6805.-502 p.-(Lecture Notes in Computer Science).
 
  9. Advances in User Modeling: Revised Selected Papers/ UMAP 
2011 Workshops, Girona, Spain, July 2011/Ed. by  L.Ardissono, 
T.Kuflik.-Berlin: Springer, 2012.-Vol. 7138.-416 p.-(Lecture 
Notes in Computer Science).
 
 10. Latent Variable Analysis and Signal Separation: Proc./10th 
International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 
2012/Ed. by  F.Theis, A.Cichocki, A.Yeredor, M.Zibulevsky.-Berlin:
 Springer, 2012.-Vol. 7191.-538 p.-(Lecture Notes in Computer 
Science).
 
 11. Traffic Monitoring and Analysis: Proc./4th International 
Workshop, TMA 2012, Vienna, Austria, March 2012/Ed. by  
A.Pescape, L.Salgarelli, X.Dimitropoulos.-Berlin: Springer, 2012.
-Vol. 7189.-200 p.-(Lecture Notes in Computer Science).
 
 12. Self-Organizing Systems: Proc./6th IFIP TC 6 International 
Workshop, IWSOS 2012, Delft, The Netherlands, March 2012/Ed. by  
F.A.Kuipers, P.E.Heegaard.-Berlin: Springer, 2012.-Vol. 7166.-130 
p.-(Lecture Notes in Computer Science).
 

 13. Fundamental Approaches to Software Engineering: Proc./15th 
International Conference, FASE 2012 Held as Part of the European 
Joint Conferences, ETAPS 2012, Tallinn, Estonia, March 2012/Ed. 
by  J.De_Lara, A.Zisman.-Berlin: Springer, 2012.-Vol. 7212.-518 p.
-(Lecture Notes in Computer Science).
 
 14. Measurement, Modelling, and Evaluation of Computing Systems 
and Dependability and Fault Tolerance: Proc./16th International 
GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, 
March, 2012/Ed. by  J.B.Schmitt.-Berlin: Springer, 2012.-Vol. 7201.
-331 p.-(Lecture Notes in Computer Science).
 
 15. Abdominal Imaging. Computational and Clinical Applications: 
Revised Selected Papers/3rd International Workshop, Held in 
Conjunction with MICCAI 2011, Toronto,ON,Canada, September 2011/
Ed. by  H.Yoshida, G.Sakas, M.G.Linguraru.-Berlin: Springer, 2012.
-Vol. 7029.-274 p.-(Lecture Notes in Computer Science).
 
 16. Formal Aspects of Component Software: Revised Selected 
Papers/7th International Workshop, FACS 2010, Guimaraes, 
Portugal, October 2010/Ed. by  L.S.Barbosa, M.Lumpe.-Berlin: 
Springer, 2012.-Vol. 6921.-305 p.-(Lecture Notes in Computer 
Science).
 
 17. Passive and Active Measurement: Proc./13th International 
Conference, PAM 2012, Vienna, Austria, March 2012/Ed. by  N.Taft, 
F.Ricciato.-Berlin: Springer, 2012.-Vol. 7192.-280 p.-(Lecture 
Notes in Computer Science).
 
 18. Resource Discovery: Revised Selected Papers/3rd 
International Workshop, RED 2010, Paris, France, November 2010/
Ed. by  Z.Lacroix, M.E.Vidal.-Berlin: Springer, 2012.-Vol. 6799.
-191 p.-(Lecture Notes in Computer Science).
 
 19. Language and Automata Theory and Applications: Proc./6th 
International Conference, LATA 2012, A Coruna, Spain, March 2012/
Ed. by  A.-H.Dediu, C.Martin-Vide.-Berlin: Springer, 2012.-Vol. 
7183.-556 p.-(Lecture Notes in Computer Science).
 
 20. Computational Linguistics and Intelligent Text Pricessing, 
Part I: Proc./13th International Conference, CICLing 2012, New 
Delhi, India, March 2012/Ed. by  A.Gelbukh.-Berlin: Springer, 2012.
-Vol. 7181.-617 p.-(Lecture Notes in Computer Science).
 
 21. Computational Linguistics and Intelligent Text Processing, 
Part II: Proc./13th International Conference, CICLing 2012, New 
Delhi, India, March 2012/Ed. by  A.Gelbukh.-Berlin: Springer, 2012.
-Vol. 7182.-517 p.-(Lecture Notes in Computer Science).
 
 22. Building a National Distributed e-Infrastructure - PL-Grid: 
Scientific and Technical Achievements/Ed. by  M.Bubak, 
T.Szepieniec, K.Wiatr.-Berlin: Springer, 2012.-Vol. 7136.-354 p.
-(Lecture Notes in Computer Science).
 
 23. Foundations of Information and Knowledge Systems: Proc./7th 
International Symposium, FolKS 2012, Kiel, Germany, March 2012/
Ed. by  Th.Lukasiewicz, A.Sali.-Berlin: Springer, 2012.-Vol. 7153.
-405 p.-(Lecture Notes in Computer Science).
 
 24. Mathematical Modeling and Computational Science: Revised 
Selected Papers/ International Conference, MMCP 2011, Stara 
Lesna, Slovakia, July 2011/Ed. by  G.Adam, J.Busa, M.Hnatic.
-Berlin: Springer, 2012.-Vol. 7125.-336 p.-(Lecture Notes in 
Computer Science).
 

 25. Logic and Programming, Artificial Intelligence, and 
Reasoning: Proc./18th International Conference, LPAR-18, Merida, 
Venezuela, March 2012/Ed. by  N.Bjorner, A.Voronkov.-Berlin: 
Springer, 2012.-Vol. 7180.-446 p.-(Lecture Notes in Computer 
Science).
 
 26. Multi-Agent-Based Simulation XII: Revised Selected Papers/ 
International Workshop, MABS 2011, Taipei, Taiwan, May 2011/Ed. 
by  D.Villatoro, J.Sabater-Mir, J.S.Sichman.-Berlin: Springer, 
2012.-Vol. 7124.-127 p.-(Lecture Notes in Artificial 
Intelligence).
 
 27. Adaptive and Learning Agents: Revised Selected Papers/ 
International Workshop, ALA 2011 Held at AAMAS 2011, Taipei, 
Taiwan, May 2011/Ed. by  P.Vrancx, M.Knudson, M.Grzes.-Berlin: 
Springer, 2012.-Vol. 7113.-135 p.-(Lecture Notes in Artificial 
Intelligence).
 
 28. Марьясов И.В. Верификация С-программ с помощью смешанной 
аксиоматической семантики: Автореф. дис... канд. ф.-м. наук: 
05.13.11.-Новосибирск, 2012.-17 с.-Библиогр.: c.15-17.
 
 29. Чиркунов К.С. Мультиагентный подход и моделирование 
поведения взаимодействующих иерархических систем экономической 
природы: Автореф. дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 
2012.-25 с.-Библиогр.: c.23-25.
 
 30. Дацун Н.Н. Разработка и исследование модели и алгоритма 
недекларированных возможностей в автоматизированных системах: 
Автореф. дис... канд. тех. наук: 05.13.19.-Санкт-Петербург, 2012.
-17 с.-Библиогр.: c.16-17.
 
 31. Кольцов П.П. Разработка методологии сравнительного 
исследования компьютерных методов обработки изображений: Автореф. 
дис... докт. тех. наук: 05.13.17.-М., 2012.-38 с.-Библиогр.: 
c.36-38.
 
 32. Data Privacy Management and Autonomous Spontaneus Security: 
Revised Selected Papers/6th International Workshop, DPM 2011 and 
4th International Workshop, SETOP 2011, Leuven, Belgium, 
September 2011/Ed. by  J.Garcia-Alfaro, G.Navarro-Arribas.-Berlin:
 Springer, 2012.-Vol. 7122.-319 p.-(Lecture Notes in Computer 
Science).
 
 33. Current Trends in Web Engieering: Revised Selected 
Papers/Workshops, Doctoral Symposium, and Tutorials Held at ICWE 
2011, Paphos, Cyprus, June 2011/Ed. by  A.Harth, N.Koch.-Berlin: 
Springer, 2012.-Vol. 7059.-361 p.-(Lecture Notes in Computer 
Science).
 
 34. Social Computing, Behavioral-Cultural Modeling and 
Prediction: Proc./5th International Conference, SBP 2012, College 
Park,MD,USA, April 2012/Ed. by  Sh.J.Yang, A.M.Greenberg, 
M.Endsley.-Berlin: Springer, 2012.-Vol. 7227.-366 p.-(Lecture 
Notes in Computer Science).
 
 35. Transactions on Computational Science XV/Ed. by  
M.L.Gavrilova, C.J.K.Tan, C.-V.Phan.-Berlin: Springer, 2012.-Vol. 
7050.-217 p.-(Lecture Notes in Computer Science).
 
 36. Transactions on Data Hiding and Multimedia Security VII/Ed. 
by  Y.Q.Shi.-Berlin: Springer, 2012.-Vol. 7110.-115 p.-(Lecture 
Notes in Computer Science).
 

 37. Parameterized and Exact Computation: Revised Selected 
Papers/6th International Symposium, IPEC 2011, Saarbrucken, 
Germany, September 2011/Ed. by  D.Marx, P.Rossmanith.-Berlin: 
Springer, 2012.-Vol. 7112.-273 p.-(Lecture Notes in Computer 
Science).
 
 38. Web-Age Information Management: Revised Selected Papers/WAIM 
2011 International Workshops: WGIM 2011, XMLDM 2011, SNA 2011, 
Wuhan, China, September 2011/Ed. by  L.Wang, J.Jiang, J.Lu, L.Hong.
-Berlin: Springer, 2012.-Vol. 7142.-223 p.-(Lecture Notes in 
Computer Science).
 
 39. Requirements Engineering: Foundations for Software Quality: 
Proc./18th International Working Conference, REFSQ 2012, Essen, 
Germany, March 2012/Ed. by  B.Rignell, D.Damian.-Berlin: Springer,
 2012.-Vol. 7195.-322 p.-(Lecture Notes in Computer Science).
 
 40. Economics of Grids, Clouds, Systems, and Services: Revised 
Selected Papers/8th International Workshop, GECON 2011, Paphos, 
Cyprus, December 2011/Ed. by  K.Vanmechelen, J.Altmann, O.F.Rana.
-Berlin: Springer, 2012.-Vol. 7150.-199 p.-(Lecture Notes in 
Computer Science).
 
 41. Theory of Cryptography: Proc./9th Theory of Cryptography 
Conference, TCC 2012, Taormina, Sicily, Italy, March 2012/Ed. by  
R.Cramer.-Berlin: Springer, 2012.-Vol. 7194.-656 p.-(Lecture 
Notes in Computer Science).
 
 42. Tools and Algorithms for the Construction and Analysis of 
Systems: Proc./18th International Conference, TACAS 2012 Held as 
Part of the European Joint Conferences, ETAPS 2012, Tallinn, 
Estonia, March 2012/Ed. by  C.Flanagan, B.Konig.-Berlin: Springer,
 2012.-Vol. 7214.-560 p.-(Lecture Notes in Computer Science).
 
 43. Programming Languages and Systems: Proc./21st European 
Symposium on Programming, ESOP 2012 Held as Part of the European 
Joint Conferences ETAPS 2012, Tallinn, Estonia, March 2012/Ed. by 
H.Seidl.-Berlin: Springer, 2012.-Vol. 7211.-602 p.-(Lecture Notes 
in Computer Science).
 
 44. Foundations of Software Science and Computational 
Structures: Proc./15th International Conference, FOSSACS 2012 
Held as Part of the European Joint Conferences, ETAPS 2012, 
Tallinn, Estonia, March 2012/Ed. by  L.Birkedal.-Berlin: Springer,
 2012.-Vol. 7213.-484 p.-(Lecture Notes in Computer Science).
 
 45. Principles of Security and Trust: Proc./1st International 
Conference, POST 2012 Held as Part of the European Joint 
Conferences, ETAPS 2012, Tallinn, Estonia, March 2012/Ed. by  
P.Degano, J.D.Guttman.-Berlin: Springer, 2012.-Vol. 7215.-431 p.
-(Lecture Notes in Computer Science).
 
 46. Compiler Construction: Proc./21st International Conference, 
CC 2012 Held as Part of the European Joint Conferences ETAPS 
2012, Tallinn, Estonia, March 2012/Ed. by  M.O'Boyle.-Berlin: 
Springer, 2012.-Vol. 7210.-245 p.-(Lecture Notes in Computer 
Science).
 
 47. Hibrid Artificial Intelligent Systems, Part I: Proc./7th 
International Conference, HAIS 2012, Salamanca, Spain, March 2012/
Ed. by  E.Corchado, V.Snasel, A.Abraham, M.Wozniak.-Berlin: 
Springer, 2012.-Vol. 7208.-708 p.-(Lecture Notes in Artificial 
Intelligence).
 

 48. Hybrid Artificial Intelligent Systems, Part II: Proc./7th 
International Conference, HAIS 2012, Salamanca, Spain, March 2012/
Ed. by  E.Corchado, V.Snasel, A.Abraham, M.Wozniak.-Berlin: 
Springer, 2012.-Vol. 7209.-606 p.-(Lecture Notes in Artificial 
Intelligence).
 
 49. Пестрякова Н.В. Метод распознавания символов, основанный на 
полиномиальной регрессии: Автореф. дис... докт. тех. наук: 
05.13.01.-М., 2012.-32 с.-Библиогр.: c.29-32.
 
 50. Нечта И.В. Разработка методов обеспечения безопасности 
использования информационных технологий, базирующихся на идеях 
стеганографии: Автореф. дис... канд. тех. наук: 05.13.17.
-Новосибирск, 2012.-29 с.-Библиогр.: c.19-20.
 
 51. Новиков Д.Б. Метод и алгоритмы принятия решений при 
управлении сложными объектами на основе экспертных систем: 
Автореф. дис... канд. тех. наук: 05.13.11.-М., 2012.-19 с.
-Библиогр.: c.18-19.
 
 52. Евстигнеев В.А., Касьянов В.Н. Русско-анлийский и 
англо-русский словарь по графам в информатике/ИСИ СО РАН. .- 
Новосибирск: ООО "Сибирское научное издательство", 2012.- 219 с.
 
 53. Непомнящий В.А., Бодин Е.В., Веретнов С.О. Применение языка 
DYNAMIC-REAL для анализа и верификации распределенных систем. 
специфицированных на языке SDL.-Новосибирск, 2012.-52 с.
-(Препринт/ИСИ СО РАН; N 161).
 
 54. Чиркунов К.С. Мультиагентный подход и моделирование 
поведения взаимодействующих иерархических систем экономической 
природы: Дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2012.
-159 с.-Библиогр.: c.154-159.



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