Hовые поступления с 1 мая по 6 июня 2008 года
1. Progress in WWW Research and Development: Proc./10th Asia-Pacific Web Conference, APWeb 2008. Shenyang, China, April 2008/Ed. by Y.Zhang, G.Yu, E.Bertino, G.Xu.-Berlin, Heidelberg: Springer, 2008. -Vol. 4976.-699 p.-(Lecture Notes in Computer Science). 2. Formal Methods and Testing: Revised Selected Papers/An Outcome of the FOREST Network/Ed. by R.M.Hierons, J.P.Bowen, M.Harmann.-Berlin, Heidelberg: Springer, 2008. -Vol. 4949.-367 p.-(Lecture Notes in Computer Science). 3. Theory and Applications of Models of Computation: Proc./5th International Conference, TAMC 2008. Xi'an, China, April 2008/Ed. by M.Agrawal, D.Du, Zh.Duan, A.Li. -Berlin, Heidelberg: Springer, 2008.-Vol. 4978. -598 p.-(Lecture Notes in Computer Science). 4. Combinatorial Image Analysis: Proc./12th International Workshop, IWCIA 2008. Buffalo, NY, USA, April 2008/Ed. by V.E.Brimkov, R.P.Barneva, H.A.Hauptman.-Berlin, Heidelberg: Springer, 2008.-Vol. 4958.-446 p.-(Lecture Notes in Computer Science). 5. Logic-Based Program Synthesis and Transformation: Revised Selected Papers/17th International Symposium, LOPSTR 2007. Kongens Lyngby, Denmark, August 2007/Ed. by A.King. -Berlin, Heidelberg: Springer, 2008.-Vol. 4915. -219 p.-(Lecture Notes in Computer Science). 6. Algorithms and Models for the Web-Graph: Revised Papers/Fourth International Workshop, WAW 2006. Banff, Canada, November/December 2006/Ed. by W.Aiello, A.Broder, J.Janssen, E.Milios.-Berlin, Heidelberg: Springer, 2008. -Vol. 4936.-167 p.-(Lecture Notes in Computer Science). 7. Trustworthy Global Computing: Revised Selected Papers/Third Symposium, TGC 2007. Sophia-Antipolis, France, November 2007/Ed. by G.Barthe, C.Fournet.-Berlin, Heidelberg: Springer, 2008.-Vol. 4912.-401 p.-(Lecture Notes in Computer Science). 8. Advances in Information Retrieval: Proc./30th European Conference on IR Research, ECIR 2008. Glasgow, UK, March/April 2008/Ed. by C.Macdonald, I.Ounis, V.Plachouras, I.Ruthven.-Berlin, Heidelberg: Springer, 2008.-Vol. 4956.-719 p.-(Lecture Notes in Computer Science). 9. Privacy, Security, and Trust in KDD: Revised Selected Papers/First ACM SIGKDD International Workshop, PinKDD 2007. San Jose, CA, USA, August 2007/Ed. by F.Bonchi, E.Ferrari, B.Malin, Y.Saygin.-Berlin, Heidelberg: Springer, 2008.-Vol. 4890.-173 p. -(Lecture Notes in Computer Science). 10. Reconfigurable Computing: Architectures, Tools and Applications: Proc./4th International Workshop, ARC 2008. London, UK, March 2008/Ed. by R.Woods, K.Compton, Ch.Bouganis, Diniz P.C.-Berlin, Heidelberg: Springer, 2008.-Vol. 4943.-344 p.-(Lecture Notes in Computer Science). 11. Advances in Web Based Learning - ICWL 2007: Proc./6th International Conference. Edinburgh, UK, August 2007/Ed. by H.Leung, F.Li, R.Lau, Q.Li.-Berlin, Heidelberg: Springer, 2008.-Vol. 4823.-654 p.-(Lecture Notes in Computer Science). 12. Compiler Construction: 17th International Conference, CC 2008 - part of ETAPS 2008. Budapest, Hungary, March/April 2008/Ed. by L.Hendren.-Berlin, Heidelberg: Springer, 2008.-Vol. 4959.-307 p.-(Lecture Notes in Computer Science). 13. Programming Languages and Systems: Proc./17th European Symposium on Programming, ESOP 2008, Part of ETAPS 2008. Budapest, Hungary, March/April 2008/Ed. by Drossopoulou S.-Berlin, Heidelberg: Springer, 2008.-Vol. 4960.-399 p.-(Lecture Notes in Computer Science). 14. Fundamental Approaches to Software Engineering: Proc./11th International Conference, FASE 2008, Part of ETAPS 2008. Budapest, Hungary, March/April 2008/Ed. by J.L.Fiadeiro, P.Inverardi.-Berlin, Heidelberg: Springer, 2008.-Vol. 4961.-430 p.-(Lecture Notes in Computer Science). 15. Foundations of Software Science and Computational Structures: Proc./11th International Conference, FOSSACS 2008, Part of ETAPS 2008/Ed. by R.Amadio.-Berlin, Heidelberg: Springer, 2008.-Vol. 4962.-505 p. -(Lecture Notes in Computer Science). 16. Tools and Algorithms for the Construction and Analysis of Systems: Proc./14th International Conference, TACAS 2008, Part of ETAPS 2008. Budapest, Hungary, March/April 2008/Ed. by C.R.Ramakrishnan, J.Rehof.-Berlin, Heidelberg: Springer, 2008. -Vol. 4963.-518 p.-(Lecture Notes in Computer Science). 17. E-Voting and Identity: First International Conference, VOTE-ID 2007. Bochum, Germany, October 2007/Ed. by A.Alkassar, M.Volkamer.-Berlin, Heidelberg: Springer, 2008.-Vol. 4896.-189 p.-(Lecture Notes in Computer Science). 18. Advances in Geometric Modeling and Processing: Proc./5th International Conference, GMP 2008. Hangzhou, China, April 2008/Ed. by F.Chen, B.Juettler.-Berlin, Heidelberg: Springer, 2008.-Vol. 4975.-606 p. -(Lecture Notes in Computer Science). 19. Topics in Cryptology - CT-RSA 2008: Proc./The Cryptographer's Track at the RSA Conference 2008. San Francisco, CA, USA, April 2008/Ed. by T.Malkin.-Berlin, Heidelberg: Springer, 2008.-Vol. 4964.-437 p. -(Lecture Notes in Computer Science). 20. Discrete Geometry for Computer Imagery: Proc./14th IAPR International Conference, DGCI 2008. Lyon, France, April 2008/Ed. by D.Coeurjolly, I.Sivignon, L.Tougne, F.Dupont. -Berlin, Heidelberg: Springer, 2008.-Vol. 4992. -554 p.-(Lecture Notes in Computer Science). 21. Integer Programming and Combinatorial Optimization: Proc./13th International Conference, IPCO 2008. Bertinoro, Italy, May 2008/Ed. by A.Lodi, A.Panconesi, G.Rinaldi. -Berlin, Heidelberg: Springer, 2008.-Vol. 5035. -477 p.-(Lecture Notes in Computer Science). 22. High-Confidence Software Reuse in Large Systems: Proc./10th International Conference on Software Reuse, ICSR 2008. Beijing, China, May 2008/Ed. by H.Mei.-Berlin, Heidelberg: Springer, 2008.-Vol. 5030.-402 p.-(Lecture Notes in Computer Science). 23. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Proc./5th International Conference, CPAIOR 2008. Paris, France, May 2008/Ed. by L.Perron, M.A.Trick. -Berlin, Heidelberg: Springer, 2008.-Vol. 5015. -394 p.-(Lecture Notes in Computer Science). 24. Advances in Grid and Pervasive Computing: Proc./Third International Conference, GPC 2008. Kunming, China, May 2008 /Ed. by S.Wu, L.T.Yang, T.L.Xu.-Berlin, Heidelberg: Springer, 2008.-Vol. 5036.-518 p. -(Lecture Notes in Computer Science). 25. FM 2008: Formal Methods: Proc./15th International Symposium on Formal Methods. Turku, Finland, May 2008/Ed. by J.Cuellar, T.Maibaum, K.Sere.-Berlin, Heidelberg: Springer, 2008.-Vol. 5014.-436 p.-(Lecture Notes in Computer Science). 26. Experimental Algorithms: Proc./7th International Workshop, WEA 2008. Provincetown, MA, USA, May/June 2008/Ed. by C.C.Mcgeoch.-Berlin, Heidelberg: Springer, 2008.-Vol. 5038.-363 p.-(Lecture Notes in Computer Science). 27. Pervasive Computing: Proc./6th International Conference, Pervasive 2008. Sydney, Australia, May 2008/Ed. by J.Indulska, D.J.Patterson, T.Rodden, M.Ott. -Berlin, Heidelberg: Springer, 2008.-Vol. 5013. -315 p.-(Lecture Notes in Computer Science). 28. Information Security Theory and Practices: Smart Devices, Convergence and Next Generation Networks: Proc./Second IFIP WG 11.2 International Workshop, WISTP 2008. Seville, Spain, May 2008/Ed. by J.A.Onieva, D.Sauveron, S.Chaumette, D.Gollmann.-Berlin, Heidelberg: Springer, 2008.-Vol. 5019.-151 p. -(Lecture Notes in Computer Science). 29. Job Scheduling Strategies for Parallel Processing: Revised Papers/13th International Workshop, JSSPP 2007. Seattle, WA, USA, June 2007/Ed. by E.Frachtenberg, U.Schwiegelshohn. -Berlin, Heidelberg: Springer, 2008.-Vol. 4942. -189 p.-(Lecture Notes in Computer Science). 30. Web Services and Formal Methods: Proc./4th International Workshop, WS-FM 2007. Brisbane, Australia, September 2007/Ed. by M.Dumas, R.Heckel.-Berlin, Heidelberg: Springer, 2008.-Vol. 4937.-169 p.-(Lecture Notes in Computer Science). 31. Service-Oriented Computing: Agents, Semantics, and Engineering: Proc./AAMAS 2008 International Workshop, SOCASE 2008. Estoril, Portugal, May 2008/Ed. by R.Kowalczyk, M.Huhns, M.Klusch, Z.Maamar.-Berlin, Heidelberg: Springer, 2008.-Vol. 5006.-149 p. -(Lecture Notes in Computer Science). 32. Tests and Proofs: Proc./Second International Conference, TAP 2008. Prato, Italy, April 2008/Ed. by B.Beckert, R.Haehnle. -Berlin, Heidelberg: Springer, 2008.-Vol. 4966. -193 p.-(Lecture Notes in Computer Science). 33. OpenMP in a New Era of Parallelism: Proc./4th International Workshop, IWOMP 2008. West Lafayette, IN, USA, May 2008/Ed. by R.Eigenmann, Supinski B.R.De.-Berlin, Heidelberg: Springer, 2008.-Vol. 5004.-191 p. -(Lecture Notes in Computer Science). 34. Service Availability: Proc./5th International Service Availability Symposium, ISAS 2008. Tokyo, Japan, May 2008/Ed. by T.Nanya, F.Maruyama, A.Pataricza, M.Malek. -Berlin, Heidelberg: Springer, 2008.-Vol. 5017. -225 p.-(Lecture Notes in Computer Science). 35. Parameterized and Exact Computation: Proc./Third International Workshop, IWPEC 2008. Victoria, Canada, May 2008/Ed. by M.Grohe, R.Niedermeier.-Berlin, Heidelberg: Springer, 2008.-Vol. 5018.-225 p.-(Lecture Notes in Computer Science). 36. Arabic and Chinese Handwriting Recognition: Selected Papers/SACH 2006 Summit. College Park, MD, USA, September 2006/ Ed. by D.Doermann, S.Jaeger.-Berlin, Heidelberg: Springer, 2008.-Vol. 4768.-279 p. -(Lecture Notes in Computer Science). 37. Agent-Oriented Software Engineering VIII: Revised Selected Papers/8th International Workshop, AOSE 2007. Honolulu, HI, USA, May 2007/Ed. by M.Luck, L.Padgham. -Berlin, Heidelberg: Springer, 2008.-Vol. 4951. -225 p.-(Lecture Notes in Computer Science). 38. Computational Intelligence: Research Frontiers: Plenary/Invited Papers/IEEE World Congress on Computational Intelligence, WCCI 2008. Hong Kong, China, June 2008/Ed. by J.M.Zurada, G.G.Yen, J.Wang.-Berlin, Heidelberg: Springer, 2008.-Vol. 5050.-389 p. -(Lecture Notes in Computer Science). 39. Modeling Communication with Robots and Virtual Humans: Revised Selected Papers/2nd ZiF Research Group Intl WS on Embodied Communication in Humans and Machines. Bielefeld, Germany, April 2006/Ed. by I.Wachsmuth, G.Knoblich.-Berlin, Heidelberg: Springer, 2008.-Vol. 4930.-337 p.-(Lecture Notes in Computer Science). 40. Passive and Active Network Management: Proc./9th International Conference, PAM 2008. Cleveland, OH, USA, April 2008/Ed. by M.Claypool, S.Uhlig.-Berlin, Heidelberg: Springer, 2008.-Vol. 4979.-233 p.-(Lecture Notes in Computer Science). 41. Virtual Systems and Multimedia: Revised Selected Papers/13th International Conference, VSMM 2007. Brisbane, Australia, September 2007/Ed. by Th.G.Wyeld, S.Kenderdine, M.Docherty.-Berlin, Heidelberg: Springer, 2008.-Vol. 4820.-215 p.-(Lecture Notes in Computer Science). 42. Algorithmic Game Theory: Proc./First International Symposium, SAGT 2008. Paderborn, Germany, April/May 2008/Ed. by B.Monien, U.-P.Schroeder.-Berlin, Heidelberg: Springer, 2008.-Vol. 4997.-363 p.-(Lecture Notes in Computer Science). 43. Relations and Kleene Algebra in Computer Sciece: Proc./10th Intl Conf on Relational Methods in CS & 5th Intl Conf on Applications of Kleene Algebra, RelMiCS/AKA 2008. Frauenwoerth, Germany, April 2008/Ed. by R.Berghammer, B.Moeller, G.Struth.-Berlin, Heidelberg: Springer, 2008.-Vol. 4988.-397 p. -(Lecture Notes in Computer Science). 44. Functional and Logic Programing: Proc./9th International Symposium, FLOPS 2008. Ise, Japan, April 2008/Ed. by J.Garrigue, M.Hermenegildo.-Berlin, Heidelberg: Springer, 2008.-Vol. 4989.-337 p.-(Lecture Notes in Computer Science). 45. Theory and Applications of Satisfiability Testing - SAT 2008: Proc./11th International Conference. Guangzhou, China, May 2008/Ed. by Buenig H.Kleine, X.Zhao. -Berlin, Heidelberg: Springer, 2008.-Vol. 4996. -305 p.-(Lecture Notes in Computer Science). 46. Wireless Sensor Networks: Proc./5th European Conference, EWSN 2008. Bologna, Italy, January/February 2008/Ed. by R.Verdone. -Berlin, Heidelberg: Springer, 2008.-Vol. 4913. -388 p.-(Lecture Notes in Computer Science). 47. Information Security Practice and Experience: Proc./4th International Conference, ISPEC 2008. Sydney, Australia, April 2008/Ed. by L.Chen, Y.Mu, W.Susilo. -Berlin, Heidelberg: Springer, 2008.-Vol. 4991. -420 p.-(Lecture Notes in Computer Science). 48. Artificial Evolution: Revised Selected Papers/8th International Conference, Evolution Artificielle, EA 2007. Tours, France, October 2007/Ed. by N.Monmarche, Talbi E.-G., P.Collet, M.Schoenauer.-Berlin, Heidelberg: Springer, 2008.-Vol. 4926.-330 p. -(Lecture Notes in Computer Science). 49. Graph Drawing: Revised Papers/15th Internaional Symposium, GD 2007. Sydney, Australia, September 2007/Ed. by S.-H.Hong, T.Nishizeki, W.Quan.-Berlin, Heidelberg: Springer, 2008.-Vol. 4875.-402 p.-(Lecture Notes in Computer Science). 50. Making Globally Distributed Software Development a Success Story: Proc./International Conference on Software Process, ICSP 2008. Leipzig, Germany, May 2008 /Ed. by Q.Wang, D.Pfahl, D.M.Raffo.-Berlin, Heidelberg: Springer, 2008.-Vol. 5007.-422 p. -(Lecture Notes in Computer Science). 51. Financial Cryptography and Data Security: Revised Selected Papers/11th International Conference, FC 2007, and 1st International Workshop on Usable Security, USEC 2007. Scarborough, Trinidad e Tobago, February 2007/Ed. by S.Dietrich, R.Dhamija. -Berlin, Heidelberg: Springer, 2008.-Vol. 4886. -390 p.-(Lecture Notes in Computer Science). 52. Advances in Computer Science - ASIAN 2006: Secure Software and Related Issues: Revised Selected Papers/11th Asian Computing Science Conference. Tokyo, Japan, December 2006/Ed. by M.Okada, I.Satoh.-Berlin, Heidelberg: Springer, 2008.-Vol. 4435.-361 p. -(Lecture Notes in Computer Science). 53. Foundations of Information and Knowledge Systems: Proc./5th International Symposium, FolKS 2008. Pisa, Italy, February 2008/Ed. by S.Hartmann, G.Kern-Isberner.-Berlin, Heidelberg: Springer, 2008.-Vol. 4932.-397 p. -(Lecture Notes in Computer Science). 54. Practice and Theory of Automated Timetabling VI: Revised Selected Papers/6th International Conference, PATAT 2006. Brno, Czech Republic, August/September 2006/Ed. by E.K.Burke, H.Rudova.-Berlin, Heidelberg: Springer, 2008.-Vol. 3867.-413 p.-(Lecture Notes in Computer Science). 55. Practical Aspects of Declarative Languages: Proc./10th International Symposium, PADL 2008. San Francisco, CA, USA, January 2008/Ed. by P.Hudak, D.S.Warren. -Berlin, Heidelberg: Springer, 2008.-Vol. 4902. -333 p.-(Lecture Notes in Computer Science). 56. Formal Methods for Components and Objects: Revised Lectures/5th International Symposium, FMCO 2006. Amsterdam, The Netherlands, November 2006/Ed. by Boer F.S.De, M.M.Bonsangue, S.Graf, Roever W.-P.De. -Berlin, Heidelberg: Springer, 2008.-Vol. 4709. -297 p.-(Lecture Notes in Computer Science). 57. Large-Scale Scientific Computing: Revised Papers/6th International Conference, LSSC 2007. Sozopol, Bulgaria, June 2007/Ed. by I.Lirkov, S.Margenov, J.Wasniewski. -Berlin, Heidelberg: Springer, 2008.-Vol. 4818. -755 p.-(Lecture Notes in Computer Science). 58. Advances in Multimedia Modeling: Proc./14th International Multimedia Modeling Conference, MMM 2008. Kyoto, Japan, January 2008/Ed. by Sh.Satoh, F.Nack, M.Etoh. -Berlin, Heidelberg: Springer, 2008.-Vol. 4903. -510 p.-(Lecture Notes in Computer Science). 59. Computer Vision Systems: Proc./6th International Conference, ICVS 2008. Santorini, Greece, May 2008/Ed. by A.Gasteratos, M.Vincze, J.K.Tsotsos .-Berlin, Heidelberg: Springer, 2008.-Vol. 5008.-560 p. -(Lecture Notes in Computer Science). 60. NETWORKING 2008: Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet: Proc./7th International IFIP-TC6 Networking Conference. Singapore, May 2008/ Ed. by A.Das, H.K.Pung, F.B.S.Lee, L.W.Ch.Wong.-Berlin, Heidelberg: Springer, 2008.-Vol. 4982.-945 p.-(Lecture Notes in Computer Science). 61. Computer Science - Theory and Applications: Proc./Third International Computer Science Symposium in Russia, CSR 2008. Moscow, Russia, June 2008/Ed. by E.A.Hirsch, A.A.Razborov, A.Semenov, A.Slissenko.-Berlin, Heidelberg: Springer, 2008.-Vol. 5010.-411 p.-(Lecture Notes in Computer Science). 62. Advances in Cryptology - EUROCRYPT 2008: Proc./27th Annual International Conference on the Theory and Applications of Cryptographic Techniques. Istanbul, Turkey, April 2008/Ed. by N.Smart.-Berlin, Heidelberg: Springer, 2008.-Vol. 4965.-564 p.-(Lecture Notes in Computer Science). 63. Hybrid Systems: Computation and Control: Proc./11th International Workshop, HSCC 2008. St.Louis, MO, USA, April 2008/Ed. by M.Egerstedt, B.Mishra.-Berlin, Heidelberg: Springer, 2008.-Vol. 4981.-680 p.-(Lecture Notes in Computer Science). 64. Advances in Multimedia Information Processing - PCM 2007: Proc./8th Pacific Rim Conference on Multimedia. Hong Kong, China, December 2007/Ed. by H.H.-S.Ip, O.C.Au, H.Leung, M.-T.S.-Berlin, Heidelberg: Springer, 2008.-Vol. 4810.-834 p.-(Lecture Notes in Computer Science). 65. Distributed Computing and Networking: Proc./9th International Conference, ICDCN 2008. Kolkatta, India, January 2008/Ed. by Sh.Rao, M.Chatterjee, P.Jayanti, Murty C.S.Ram. -Berlin, Heidelberg: Springer, 2008.-Vol. 4904. -588 p.-(Lecture Notes in Computer Science). 66. Algorithmic Number Theory: Proc./8th International Symposium, ANTS-VIII. Banff, Canada, May 2008/Ed. by Van Der Poorten A.J., A.Stein.-Berlin, Heidelberg: Springer, 2008.-Vol. 5011.-455 p.-(Lecture Notes in Computer Science). 67. Bioinformatics Research and Applications: Proc./Fourth International Symposium, ISBRA 2008. Atlanta, GA, USA, May 2008/Ed. by I.Mandoiu, R.Sunderraman, A.Zelikovsky.-Berlin, Heidelberg: Springer, 2008.-Vol. 4983.-510 p.-(Lecture Notes in Bioinformatics). 68. Argumentation in Multi-Agent Systems: Revised Selected and Invited Papers/4th International Workshop, ArgMAS 2007. Honolulu, HI, USA, May 2007/Ed. by I.Rahwan, S.Parsons, Ch.Reed.-Berlin, Heidelberg: Springer, 2008.-Vol. 4946.-235 p.-(Lecture Notes in Artificial Intelligence). 69. Programming Multi-Agent Systems: Revised and Invited Papers/5th International Workshop, ProMAS 2007. Honolulu, HI, USA, May 2007/Ed. by M.Dastani, A.F.Seghrouchni, A.Ricci, M.Winikoff.-Berlin, Heidelberg: Springer, 2008.-Vol. 4908.-267 p.-(Lecture Notes in Artificial Intelligence). 70. Concept Lattices and Their Applications: Selected Papers/Fourth International Conference, CLA 2006. Tunis, Tunisia, October/November 2006/Ed. by Yahia S.Ben, E.M.Nguifo, R.Belohlavek.-Berlin, Heidelberg: Springer, 2008.-Vol. 4923.-283 p.-(Lecture Notes in Artificial Intelligence). 71. Coordination, Organizations, Institutions, and Norms in Agent Systems III: Revised Selected Papers/COIN 2007 IWs. Honolulu, USA, May 2007 & Durham, UK, September 2007/Ed. by Sichman J.Simao, J.Padget, A.Ossowski, P.Noriega.-Berlin, Heidelberg: Springer, 2008.-Vol. 4870.-331 p. -(Lecture Notes in Artificial Intelligence). 72. Advances in Artificial Intelligence: Proc./21st Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2008. Windsor, Canada, May 2008/ Ed. by S.Bergler.-Berlin, Heidelberg: Springer, 2008.-Vol. 5032.-382 p.-(Lecture Notes in Artificial Intelligence). 73. Foundations of Intelligent Systems: Proc./17th International Symposium, ISMIS 2008. Toronto, Canada, May 2008/Ed. by A.An, S.Matwin, Z.W.Ras, D.Slezak.-Berlin, Heidelberg: Springer, 2008.-Vol. 4994.-653 p. -(Lecture Notes in Artificial Intelligence). 74. Rough Sets and Knowledge Technology: Proc./Third International Conference, RSKT 2008. Chengdu, China, May 2008/Ed. by G.Wang, T.Li, J.W.Grzymala-Busse, D.Miao. -Berlin, Heidelberg: Springer, 2008.-Vol. 5009. -765 p.-(Lecture Notes in Artificial Intelligence). 75. Advances in Knowledge Discovery and Data Mining: Proc./12th Pacific-Asia Conference, PAKDD 2008. Osaka, Japan, May 2008/Ed. by T.Washio, E.Suzuki, K.M.Ting, A.Inokuchi. -Berlin, Heidelberg: Springer, 2008.-Vol. 5012. -1102 p.-(Lecture Notes in Artificial Intelligence). 76. Transactions on Computational Science I/ Ed. by M.L.Gavrilova, Tan C.J.Kenneth. -Berlin, Heidelberg: Springer, 2008.-Vol. 4750. -181 p.-(Lecture Notes in Computer Science). 77. Левин Д., Малюх В., Ушаков Д. Энциклопедия PLM.- Новосибирск: Издательский дом "Азия", 2008.- 445 с. 78. Докукин А.А. Синтез полиномов над экстремальными алгоритмами вычисления оценок: Автореф. дисc. канд. ф.-м. наук: 01.01.09. -Москва, 2008.-19 с.-Библиогр.: c.18-19. 79. Гончар Д.Р. Методы планирования вычислений в САПР систем реального времени: Автореф. дис... канд. техн. наук: 05.13.11. -Москва, 2008.-24 с.-Библиогр.: c.22-24. 80. Матвеев П.П. Принципы и решения по совершенствованию эффективности функционирования операционных систем и приложений микропроцессорных карт: Автореф. дис... канд. техн. наук: 05.13.11.-Москва, 2008.-19 с.-Библиогр.: c.19. 81. Скворцов Е.С. Об эффективных алгоритмах для задачи CSP и их программной реализации: Автореф. дис... канд. ф.-м. наук: 05.13.18. -Екатеринбург, 2008.-21 с.-Библиогр.: c.18-21. 82. Лукичев А.Н. Денотативно-объектная модель вычислений для встроенных систем: Автореф. дис... канд. техн. наук: 05.13.12. -Санкт-Петербург, 2008.-16 с.-Библиогр.: c.16. 83. Матвеев В.И. Модели оценки стоимости опционов на программные системы и формирования оптимальных портфелей заказов: Автореф. дис... канд. экон. наук: 08.00.13. -Санкт-Петербург, 2008.-17 с.-Библиогр.: c.17. 84. Флерова А.Ю. Исследование гипотезы Коуза: Автореф. дис... канд. ф.-м. наук: 05.13.18.-М., 2008.-24 с.-Библиогр.: c.22-24. 85. Березкин В.Е. Методы аппроксимации границы парето в нелинейных задачах многокритериальной оптимизации: Автореф. дис... канд. ф.-м. наук: 05.13.18.-М., 2008. -20 с.-Библиогр.: c.18-20. 86. Эдиев Д.М. Теория и приложения демографических потенциалов: Автореф. дис... докт. ф.-м. наук: 05.13.18.-М., 2008.-36 с. -Библиогр.: c.33-36. 87. Методы и инструменты конструирования программ/ИСИ СО РАН; Ред. В.Н.Касьянов. -Новосибирск, 2007.-253 с.