Hовые поступления с 26 апреля по 31 мая 2010 г.
1. Information Security Applications: Revised Selected Papers/10th International Workshop, WISA 2009, Busan, Korea, August 2009/Ed. by H.Y.Youm, M.Yung.-Berlin: Springer, 2009. -Vol. 5932.-386 p.-(Lecture Notes in Computer Science). 2. Information and Communication Security: Proc./11th International Conference, ICICS 2009, Beijing, China, December 2009/Ed. by S.Qing, Ch.J.Mitchel, G.Wang.-Berlin: Springer, 2009.-Vol. 5927.-504 p.-(Lecture Notes in Computer Science). 3. Advances in Cryptology - ASIACRIPT 2009: Proc./15th International Conference, Tokyo, Japan, December 2009/Ed. by M.Matsui.-Berlin: Springer, 2009.-Vol. 5912.-722 p.-(Lecture Notes in Computer Science). 4. Identity and Privacy in the Internet Age: Proc./14th Nordic Conference on Secure IT Systems, NordSec 2009, Oslo, Norway, October 2009/Ed. by A.Josang, T.Maseng, S.J.Knapskog. -Berlin: Springer, 2009.-Vol. 5838.-303 p.-(Lecture Notes in Computer Science). 5. Advances in Information and Computer Security: Proc./4th International Workshop on Securuty, IWSEC 2009, Toyama, Japan, October 2009/Ed. by T.Takagi, M.Mambo.-Berlin: Springer, 2009.-Vol. 5824.-229 p.-(Lecture Notes in Computer Science). 6. Recent Advances in Intrusion Detection: Proc./12th International Symposium, RAID 2009, Saint-Malo, France, September 2009/Ed. by E.Kirda, S.Jha, D.Balzarotti.-Berlin: Springer, 2009.-Vol. 5758.-384 p.-(Lecture Notes in Computer Science). 7. Privacy in Location-Based Applications: Research Issues and Emerging Trends/Ed. by C.Bettini, S.Jajodia, P.Samarati, X.S.Wang.-Berlin: Springer, 2009.-Vol. 5599.-217 p.-(Lecture Notes in Computer Science). 8. Applied Cryptography and Network Security: Proc./7th International Conference, ACNS 2009, Paris-Rocquencourt, France, June 2009/Ed. by M.Abdalla, D.Pointcheval, P.-A.Fouque, D.Vergnaud.-Berlin: Springer, 2009.-Vol. 5536. -535 p.-(Lecture Notes in Computer Science). 9. Trustworthy Software Development Processes: Proc./International Conference on Software Process, ICSP 2009, Vancouver, Canada, May 2009/Ed. by Q.Wang, V.Garousi, R.Madachy, D.Pfahl.-Berlin: Springer, 2009.-Vol. 5543.-412 p. -(Lecture Notes in Computer Science). 10. Critical Information Infrastructures Security:Revised Papers/3nd International Workshop, CRITIS 2008, Rome, Italy, October 2008/Ed. by R.Setola, S.Geretshuber.-Berlin: Springer, 2009.-Vol. 5508.-396 p.-(Lecture Notes in Computer Science). 11. Trastworthy Global Computing: Revised Selected Papers/4th International Symposium, TGC 2008, Barcelona, Spain, November 2008/Ed. by Ch.Kaklamanis, F.Nielson.-Berlin: Springer, 2009.-Vol. 5474.-217 p.-(Lecture Notes in Computer Science). 12. Information Security and Cryptology - ICISC 2008: Revised Selected Papers/11th International Conference, Seoul, Korea, December 2008/Ed. by P.J.Lee, J.H.Cheon. -Berlin: Springer, 2009.-Vol. 5461.-433 p.-(Lecture Notes in Computer Science). 13. Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration/Ed. by V.Cortier, C.Kirchner, M.Okada, H.Sakurada.-Berlin: Springer, 2009. -Vol. 5458.-199 p.-(Lecture Notes in Computer Science). 14. Methods, Models and Tools for Fault Tolerance/Ed. by M.Butler, C.Jones, A.Romanovsky, E.Traubitsyna.-Berlin: Springer, 2009.-Vol. 5454.-343 p.-(Lecture Notes in Computer Science). 15. Security Protocols: Revised Selected Papers/14th International Workshop, Cambridge, UK, March 2006/Ed. by B.Christianson, B.Crispo, J.A.Malcolm, M.Roe.-Berlin: Springer, 2009.-Vol. 5087.-287 p.-(Lecture Notes in Computer Science). 16. Safety and Security in Multiagent Systems: Research Results from 2004-2006/Ed. by M.Barley, H.Mouratidis, A.Unruh, D.Spears.-Berlin: Springer, 2009.-Vol. 4324.-343 p. -(Lecture Notes in Artificial Intelligence). 17. Artificial Life: Borrowing from Biology: Proc./4th Australian Conference, ACAL 2009, Melbourne, Australia, December 2009/Ed. by K.Korb, M.Randall, T.Hendtlass.-Berlin: Springer, 2009.-Vol. 5865.-283 p.-(Lecture Notes in Artificial Intelligence). 18. Advances in Bioinformatics and Computational Bioljgy: Proc./4th Brazilian Symposium on BI, BSB 2009, Porto Alegre, Brazil, July 2009/Ed. by K.S.Guimaraes, A.Panchenko, T.M.Przytycka.-Berlin: Springer, 2009.-Vol. 5676.-169 p. -(Lecture Notes in Bioinformatics). 19. Selected Areas in Cryptography: Revised Selected Papers/16th Annual International Workshop, SAC 2009, Calgary, Alberta, Canada, August 2009/Ed. by M.J.Jacobson.Jr., V.Rijmen, R.Safavi-Naini.-Berlin: Springer, 2009.-Vol. 5867.-467 p.-(Lecture Notes in Computer Science). 20. DNA Computing and Molecular Programming: Revised Selected Papers/15th International Conference, DNA 15, Fayetteville,AR.USA, June 2009/Ed. by R.Deaton, A.Suyama. -Berlin: Springer, 2009.-Vol. 5877.-165 p.-(Lecture Notes in Computer Science). 21. Cryptology and Network Security: Proc./8th International Conference, CANS 2009,Kanazawa, Japan, December 2009/Ed. by J.A.Garay, A.Miyaji, A.Otsuka.-Berlin: Springer, 2009.-Vol. 5888.-538 p.-(Lecture Notes in Computer Science). 22. Information System Security: Proc./5th International Conference, ICISS 2009, Kolkata, India, December 2009/Ed. by A.Prakash, I.S.Gupta.-Berlin: Springer, 2009.-Vol. 5905.-327 p.-(Lecture Notes in Computer Science). 23. Modelling the Physiological Human: Proc./3D Physiological Human Workshop, 3DPH 2009, Zermatt, Switzerland, November/December 2009/Ed. by N.Magnenat-Thalmann.-Berlin: Springer, 2009.-Vol. 5903.-229 p.-(Lecture Notes in Computer Science). 24. Cryptography and Coding: Proc./12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 2009/Ed. by M.G.Parker.-Berlin: Springer, 2009. -Vol. 5921.-495 p.-(Lecture Notes in Computer Science). 25. Progress in Cryptology - INDOCRYPT 2009: Proc./10th International Conference, New Delhi, India, December 2009/ Ed. by B.Roy, N.Sendrier.-Berlin: Springer, 2009.-Vol. 5922. -443 p.-(Lecture Notes in Computer Science). 26. Data Privacy Management and Autonomous Spontaneous Security: Revised Selected Papers/4th IW,DPM 2009 and 2nd IW,SETOP 2009, St.Malo,France,September 2009/Ed. by J.Garcia-Alfaro, G.Navarro-Arribas, N.Cuppens-Boulahia, Y.Roudier.-Berlin: Springer, 2010.-Vol. 5939.-265 p. -(Lecture Notes in Computer Science). 27. Biomedical Simulation: Proc./5th International Symposium, ISBMS 2010, Phoenix,AZ,USA, January 2010/Ed. by F.Bello, S.Cotin.-Berlin: Springer, 2010.-Vol. 5958.-193 p. -(Lecture Notes in Computer Science). 28. Theory of Cryptography: Proc./7th Theory of Cryptography Conference, TCC 2010, Zurich, Switzerland, February 2010/Ed. by D.Micciancio.-Berlin: Springer, 2010. -Vol. 5978.-607 p.-(Lecture Notes in Computer Science). 29. High Performance Computing and Applacations: Revised Selected Papers/2nd International Conference, HPCA 2009, Shanghai, China, August 2009/Ed. by W.Zhang, Z.Chen, C.C.Douglas, W.Tong.-Berlin: Springer, 2010.-Vol. 5938.-589 p.-(Lecture Notes in Computer Science). 30. Performance Evaluation and Benchmarking: Revised Selected Papers/1st TPC Technology Conference, TPCTC 2009, Lyon, Frence, August 2009/Ed. by R.Nambiar, M.Poess.-Berlin: Springer, 2009.-Vol. 5895.-267 p.-(Lecture Notes in Computer Science). 31. Wireless Sensor Networks: Proc./7th European Conference, EWSN 2010, Coimbra, Portugal, February 2010/Ed. by J.Sa_Silva, B.Krishnamachari, F.Boavida.-Berlin: Springer, 2010.-Vol. 5970.-340 p.-(Lecture Notes in Computer Science). 32. Replication: Theory and Practice/Ed. by B.Charron-Bost, F.Pedone, A.Schipper.-Berlin: Springer, 2010. -Vol. 5959.-290 p.-(Lecture Notes in Computer Science). 33. Foundations of Information and Knowledge Systems: Proc./6th International Symposium, FolKS 2010, Sofia, Bulgaria, February 2010/Ed. by S.Link, H.Prade.-Berlin: Springer, 2010.-Vol. 5956.-370 p.-(Lecture Notes in Computer Science). 34. Medical Content-Based Retrieval for Clinical Decision Support: Revised Selected Papers/1st MICCAI International Workshop, MCBR-CDS 2009, London,UK, September 2009/Ed. by B.Caputo, H.Muller, T.Syeda-Mahmood, J.S.Duncan.-Berlin: Springer, 2010.-Vol. 5853.-121 p.-(Lecture Notes in Computer Science). 35. The Semantic Web: Proc./4th Asian Conference, ASWC 2009, Shanghai, China, December 2009/Ed. by A.Gomez-Perez, Y.Yu, Y.Ding.-Berlin: Springer, 2009.-Vol. 5926.-376 p. -(Lecture Notes in Computer Science). 36. Middleware 2009: Proc/ ACM/IFIP/USENIX 10th International Middleware Conference, Urbana,IL,USA, November/December 2009/Ed. by J.M.Bacon, B.F.Cooper.-Berlin: Springer, 2009.-Vol. 5896.-438 p.-(Lecture Notes in Computer Science). 37. Network Control and Optimization: Proc/Third Euro-NF Conference, NET-COOP 2009, Endhoven, The Netherlands, November 2009/Ed. by R.Nunez-Queija, J.Resing.-Berlin: Springer, 2009.-Vol. 5894.-279 p.-(Lecture Notes in Computer Science). 38. GeoSpatial Semantics: Proc./Third International Conference, GeoS 2009, Mexico City, Mexico, December 2009/ Ed. by K.Janowicz, M.Raubal, S.Levashkin.-Berlin: Springer, 2009.-Vol. 5892.-205 p.-(Lecture Notes in Computer Science). 39. Semantic Multimadia: Proc./4th International Conference on Semantic and Digital Media Trchnologies, SAMT 2009, Graz, Austria, December 2009/Ed. by T.-S.Chua, Y.Kompatsiaris, B.Merialdo, W.Haas.-Berlin: Springer, 2009.-Vol. 5887.-197 p. -(Lecture Notes in Computer Science). 40. Web and Wireless Geographical Information Systems: Proc./9th International Symposium, W2GIS 2009, Maynooth, Ireland, December 2009/Ed. by J.D.Carswell, A.S.Fotheringham, G.Mcardle.-Berlin: Springer, 2009.-Vol. 5886.-199 p.-(Lecture Notes in Computer Science). 41. Optical Supercomputing: Proc./2nd International Workshop, OSC 2009, Bertonoro, Italy, November 2009/Ed. by Sh.Dolev, M.Oltean.-Berlin: Springer, 2009.-Vol. 5882.-155 p. -(Lecture Notes in Computer Science). 42. Advances in Multimedia Information Processing - PCM 2009: Proc./10th Pacific Rim Conference on MM, Bangkok, Thailand, December 2009/Ed. by P.Muneesawang, F.Wu, I.Kumazava, A.Roeksabutr.-Berlin: Springer, 2009.-Vol. 5879. -1323 p.-(Lecture Notes in Computer Science). 43. Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy. Part I: Proc./3nd International Work-Conference, IWINAC 2009, Spain, June 2009/Ed. by J.Mira, J.M.Ferrandez, J.R.Alvares, F.De_La_Paz.-Berlin: Springer, 2009.-Vol. 5601. -530 p.-(Lecture Notes in Computer Science). 44. Adaptive and Learning Agents: Revised Selected Papers/2nd Workshop, ALA 2009 Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 2009/Ed. by M.E.Taylor, K.Tuyls.-Berlin: Springer, 2010.-Vol. 5924.-155 p.-(Lecture Notes in Artificial Intelligence). 45. Declarative Agent Languages and Technologies VII: Revised Selected and Invited Papers/7th Internatiional Workshop, DALT 2009, Budapest, Hungary, May 2009/Ed. by M.Baldoni, J.Bentahar, M.B.Van_Riemsdijk, J.Lloyd.-Berlin: Springer, 2010.-Vol. 5948.-263 p.-(Lecture Notes in Artificial Intelligence). 46. Tarasyuk I. Equivalence relations for behaviour-preserving reduction and modular performance evaluation in dtsPBC.-Oldenburg, 2010.-75 p.-(Rep./Univ. Oldenburg; N 01/10). 47. Tarasyuk I.V., Macia H., Valerio V. Discrete time stochastic Petri box calculus with immediate multiactions. -Albacete, 2010.-25 p.-(Rep./Univ. de Castilla-La Mancha; N DIAB-10-03-1). 48. Abstract State Machines, Alloy, B and Z: Proc./2nd International Conference, ABZ 2010, Orford,QC,Canada, February 2010/Ed. by M.Frappier, U.Gasser, S.Khurshid, R.Laleau.-Berlin: Springer, 2010.-Vol. 5977.-416 p.-(Lecture Notes in Computer Science). 49. Architecture of Computing Systems - ARCS 2010: Proc./23rd International Conference, Hannover. Germany, February 2010/Ed. by Ch.Muller-Schloer, W.Karl, S.Yehia. -Berlin: Springer, 2010.-Vol. 5974.-247 p.-(Lecture Notes in Computer Science). 50. Distributed Computing and Internet Technology: Proc./6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 2010/Ed. by T.Janowski, H.Mohanty.-Berlin: Springer, 2010.-Vol. 5966.-283 p. -(Lecture Notes in Computer Science). 51. Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever/Ed. by D.Dams, U.Hannemann, M.Steffen.-Berlin: Springer, 2010.-Vol. 5930. -377p.-(Lecture Notes in Computer Science). 52. Principles of Distributed Systems: Proc./13th International Conference, OPODIS 2009, Nimes, France, December 2009/Ed. by T.Abdelzaher, M.Raynal, N.Santoro. -Berlin: Springer, 2009.-Vol. 5923.-373 p.-(Lecture Notes in Computer Science). 53. Self-Organizing Systems: Proc./4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 2009/Ed. by Th.Spyropoulos, K.A.Hummel.-Berlin: Springer, 2009.-Vol. 5918.-269 p.-(Lecture Notes in Computer Science). 54. Advances in Multimedia Modeling: Proc./16th International Conference, MMM 2010, Cjngqing, China, January 2010/Ed. by S.Boll, Q.Tian, L.Zhang, Z.Zhang.-Berlin: Springer, 2010.-Vol. 5916.-806 p.-(Lecture Notes in Computer Science). 55. Service-Oriented Computing: Proc./7th International Joint Conference, ICSOC-Service Wave 2009, Stockholm, Sweden, November 2009/Ed. by L.Baresi, C.-H.Chi, J.Suzuki. -Berlin: Springer, 2009.-Vol. 5900.-637 p.-(Lecture Notes in Computer Science). 56. Transactions on Computational Science VII/Ed. by M.L.Gavrilova, C.J.K.Tan.-Berlin: Springer, 2010.-Vol. 5890. -163 p.-(Lecture Notes in Computer Science). 57. Software Technologies for Embedded and Ubiquitous Systems: Proc./7th IFIP WG 10.2 International Workshop, SEUS 2009, Newport Beach,CA,USA, November 2009/Ed. by S.Lee, P.Narasimhan.-Berlin: Springer, 2009.-Vol. 5860.-378 p. -(Lecture Notes in Computer Science). 58. Mathematical Methods for Curves and Surfaces: Revised Selected Papers/7th International Conference, MMCS 2008, Tonsberg, Norway, June/July 2008/Ed. by M.Daehlen, M.Floater, T.Lyche, J.-L.Merrien.-Berlin: Springer, 2010. -Vol. 5862.-445 p.-(Lecture Notes in Computer Science). 59. Structural Information and Communication Complexity: Revised Selected Papers/16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 2009/Ed. by S.Kutten, J.Zerovnik.-Berlin: Springer, 2010.-Vol. 5869.-350 p. -(Lecture Notes in Computer Science). 60. Graph Drawing: Revised Papers/17th International Symposium, GD 2009, Chicago,IL,USA, September 2009/Ed. by D.Eppstein, E.R.Gansner.-Berlin: Springer, 2010.-Vol. 5849. -425 p.-(Lecture Notes in Computer Science). 61. Learning and Intelligent Optimization: Selected Papers/Third International Conference, LION 3, Trento, Italy, January 2009/Ed. by Th.Stutzle.-Berlin: Springer, 2009.-Vol. 5851.-273 p.-(Lecture Notes in Computer Science). 62. Evaluating Systems for Multilingual and Multimodal Infomation Access: Revised Selected Papers/9th Workshop ofthe Cross-Language Evaluation Forum, CLEF 2008, Aarhus, Denmark, September 2008/Ed. by C.Peters.-Berlin: Springer, 2009.-Vol. 5706.-1002 p.-(Lecture Notes in Computer Science). 63. Database Systems for Advanced Applications. Part I: Proc./15th International Conference, DASFAA 2010, Tsukuba, Japan, April 2010/Ed. by H.Kitagawa, Yo.Ishikawa, Q.Li, Ch.Watanabe.-Berlin: Springer, 2010.-Vol. 5981.-623 p. -(Lecture Notes in Computer Science). 64. Database Systems for Advanced Applications. Part II: Proc./15th International Conference, DASFAA 2010, Tsukuba, Japan, April 2010/Ed. by H.Kitagawa, Y.Ishikawa, Q.Li, Ch.Watanabe.-Berlin: Springer, 2010.-Vol. 5982.-485 p. -(Lecture Notes in Computer Science). 65. Reconfigurable Computing: Architectures, Tools and Applications: Proc./6th International Symposium, ARC 2010, Bangkok, Thailand, March 2010/Ed. by Ph.Sirisuk, F.Morgan, T.El-Ghazawi, H.Amano.-Berlin: Springer, 2010.-Vol. 5992. -446 p.-(Lecture Notes in Computer Science). 66. Software Language Engineering: Revised Selected Papers/2nd International Conference, SLE 2009, Denver,CO,USA, October 2009/Ed. by M.Van_Den_Brand, D.Gasevic, J.Gray.-Berlin: Springer, 2010.-Vol. 5969.-390 p. -(Lecture Notes in Computer Science). 67. Advances in Databases and Information Systems: Revised Selected Papers/ Associated Workshop and Doctoral Consortium of the 13th East European Conference, ADBIS 2009, Riga, Latvia, September 2009/Ed. by J.Grundspenkis, M.Kirikova, Ya.Manolopoulos, L.Novickis.-Berlin: Springer, 2010.-Vol. 5968.-258 p.-(Lecture Notes in Computer Science). 68. Task Models and Diagrams for User Interface Design: Revised Selected Papers/8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 2009/Ed. by D.England, Ph.Palanque, J.Vanderdonckt, P.J.Wild.-Berlin: Springer, 2010. -Vol. 5963.-165 p.-(Lecture Notes in Computer Science). 69. Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: Rev. Sel. Ps/19th IW, PATMOS 2009, Delft, The Netherlands, September 2009/Ed. by J.Monteiro, R.Van_Leuken.-Berlin: Springer, 2010.-Vol. 5953. -370 p.-(Lecture Notes in Computer Science). 70. Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems/Ed. by G.Puppis.-Berlin: Springer, 2010.-Vol. 5955. -206 p.-(Lecture Notes in Artificial Intelligence). 71. Human Error, Safety and System Development: Revised Selected Papers/7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium< September 2009/Ed. by P.Palanque, J.Vanderdonckt, M.Wickler.-Berlin: Springer, 2010.-115 p. -(Lecture Notes in Computer Science). 72. Transactions on Computational Systems Biology XII: Special Issue on Modeling Methodologies/Ed. by C.Priami. -Berlin: Springer, 2010.-Vol. 5945.-263 p.-(Lecture Notes in Bioinformatics). 73. Teaching Fundamental Concepts of Informatics: Proc./4th International Conference, ISSEP 2010, Zurich, Switzerland, January 2010/Ed. by J.Hromkovich, R.Kralovich, J,Vahrenhold. -Berlin: Springer, 2010.-Vol. 5941.-206 p.-(Lecture Notes in Computer Science). 74. Multiple Classifier Systems: Proc./9th International Workshop, MCS 2010, Cairo, Egypt, April 2010/Ed. by N.El_Gayar, J.Kittler, F.Roli.-Berlin: Springer, 2010.-Vol. 5997.-328 p.-(Lecture Notes in Computer Science). 75. Advances in Information Retrieval: Proc./32nd European Conference on IR Research, ECIR 2010, Milton Keynes, UK, March 2010/Ed. by C.Gurrin, Y.He, G.Kazai, U.Kruschwitz. -Berlin: Springer, 2010.-Vol. 5993.-677 p.-(Lecture Notes in Computer Science). 76. Artificial Neural Networks in Pattern Recognition: Proc./4th IAPR TC3 Workshop, ANNPR 2010, Cairo, Egypt, April 2010/Ed. by F.Schwenker, N.El_Gayar.-Berlin: Springer, 2010. -Vol. 5998.-280 p.-(Lecture Notes in Artificial Intelligence). 77. Advances in Nonlinear Speech Processing: Revised Selected Papers/ International Conference, NOLISP 2009, Vic, Spain, June 2009/Ed. by J.Sole-Casals, V.Zaiats.-Berlin: Springer, 2010.-Vol. 5933.-200 p.-(Lecture Notes in Artificial Intelligence). 78. Булычев А.В. Системный подход к анализу скрытых закономерностей в больших массивах слабоструктурированных данных: Автореф. дис... канд. тех. наук: 05.13.01.-М., 2010. -25 с.-Библиогр.: c.24-25. 79. Тарабухина Н.К. Методы извлечения бизнес-логики на основе семантических свойств программ: Автореф. дис... канд. физ.-мат. наук: 05.13.11.-Новосибирск, 2010.-18 с. -Библиогр.: c.17-18. 80. Станиславский А.Б. Управление рисками нарушения безопасности инфраструктуры транспортного комплекса: Автореф. дис... докт. тех. наук: 05.13.11.-М., 2010.-49 с. -Библиогр.: c.46-49. 81. Овсянникова Н.И. Задача оптимального управления в модели эпидемии: Автореф. дис... канд. физ.-мат. наук: 01.01.09.-М., 2010.-22 с.-Библиогр.: c.21-22. 82. Гончаров Ю.В. Минимаксный подход к построению оптимального классификатора методом SVM с одновременным выбором оптимального подпространства признаков: Автореф. дис... канд. физ.-мат. наук: 01.01.09.-М., 2010.-21 с. -Библиогр.: c.21. 83. Идрисов Р.И. Межпроцедурный анализ и распараллеливание потоковых программ на базе графа исполнений вызовов: Автореф. дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2010. -17 с.-Библиогр.: c.16-17. 84. Труфанов А.В. Аналитические методы решения нелинейных операторно-функциональных уравнений в нерегулярных случаях: Автореф. дис... канд. ф.-м. наук: 01.01.02.-Иркутск, 2010. -17 с.-Библиогр.: c.16-17. 85. Тарабухина Н.К. Методы извлечения бизнес-логики на основе семантических свойств программ: Дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2010.-123 с.-Библиогр.: c.109-113. 86. Токарев М.П. Разработка алгоритмов и программного обеспечения для обработки изображений в методах цифровой трассерной визуализации: Дис... канд. тех. наук: 05.13.18. -Новосибирск, 2010.-190 с.-Библиогр.: c.180-189. 87. Идрисов Р.И. Межпроцедурный анализ и распараллеливание потоковых программ на базе графа исполнений вызовов: Дис... канд. ф.-м. наук: 05.13.11.-Новосибирск, 2010.-143 с. -Библиогр.: c.128-136. 88. Масалович А.А. Численные методы детектирования и исправления геометрических искажений в изображениях текстовых документов: Автореф. дис... канд. ф.-м. наук: 05.13.11.-М., 2010.-18 с.-Библиогр.: c.18. 89. Скрипов С.А. Математические модели и оптимизация передачи данных в беспроводных сетях со специальной топологией: Автореф. дис... канд. ф.-м. наук: 05.13.18. -Челябинск, 2010.-18 с.-Библиогр.: c.17-18. 90. Захарова И.В. Математическая модель семантического поиска с использованием онтологического подхода: Автореф. дис... канд. ф.-м. наук: 05.13.18.-Челябинск, 2010.-21 с. -Библиогр.: c.20-21. 91. Труды Института системного программрования РАН/Институт системного программирования РАН; Ред. В.П.Иванников.-М., 2009. -Т. 17.-208 с. 92. Кичигин Д.Ю. Метод редукции тестового набора для интеграционного тестирования: Автореф. дис... канд. ф.-м. наук: 05.13.11.-М., 2010.-24 с.-Библиогр.: c.24. 93. Карнаухов Н.С., Першин Д.Ю., Шелехов В.И. Язык предикатного программирования Р.-Новосибирск, 2010.-42 с. -(Препринт/ИСИ СО РАН; N 153). 94. Десятов А.Д. Модели и алгоритмы анализа функционирования систем информационно-технической поддержки с переменной структурой на предприятии: Автореф. дис... канд. тех. наук: 05.13.17.-Воронеж, 2010.-20 с.-Библиогр.: c.19-20. 95. Иткес А.А. Управление доступом к ресурсам распределенных информационных систем на основе отношений доверия: Автореф. дис... канд. ф.-м. наук: 05.13.19.-М., 2010. -20 с.-Библиогр.: c.19-20. 96. Чижов И.В. Пространство ключей криптосистемы Мак-Элиса-Сидельникова: Автореф. дис... канд. ф.-м. наук: 05.13.19.-М., 2010.-20 с.-Библиогр.: c.19-20.