Hовые поступления с 27 февраля по 3 апреля 2006 года
1. Окунишникова Е.В. Отображение Estelle-спецификаций в раскрашенные сети Петри и его обоснование.-Новосибирск, 2001. -59 с.-(Препринт/ИСИ СО РАН; N 90). 2. Discrete and Computational Geometry: Revised Selected Papers/Japanese Conference, JCDCG 2004. Tokyo, Japan, October 2004/Ed. by J.Akiyama, M.Kano, X.Tan.-Berlin, Heidelberg: Springer, 2005.-Vol. 3742.-213 p.-(Lecture Notes in Computer Science). 3. Advances in Computer Science - ASIAN 2005: Data Management on the Web: Proc./10th Asian Computing Science Congference. Kunming, China, December 2005/Ed. by S.Grumbach, L.Sui, V.Vianu.-Berlin, Heidelberg: Springer, 2005.-Vol. 3818.-294 p.-(Lecture Notes in Computer Science). 4. Virtual Storytelling: Using Virtual Reality Technologies for Storytelling: Proc./Third International Conference, ICVS 2005. Strasbourg, France, November/December 2005/Ed. by G.Subsol.-Berlin, Heidelberg: Springer, 2005. -Vol. 3805.-289 p.-(Lecture Notes in Computer Science). 5. Types for Proofs and Programs: Revised Selected Papers/International Workshop, TYPES 2004. Jouy-en-Josas, France, December 2004/Ed. by J.-Ch.Filliatre, Ch.Paulin-Mohring, B.Werner.-Berlin, Heidelberg: Springer, 2005.-Vol. 3839.-275 p.-(Lecture Notes in Computer Science). 6. Foundations of Information and Knowledge Systems: Proc./4th International Symposium, FolKS 2006. Budapest, Hungary, February 2006/Ed. by J.Dix, S.J.Hegner.-Berlin, Heidelberg: Springer, 2006.-Vol. 3861.-331 p.-(Lecture Notes in Computer Science). 7. Topics in Cryptology - CT-RSA 2006: Proc./The Cryptographer' Track at the RSA Conference 2006. San Jose, CA, USA, February 2006/Ed. by D.Pointcheval.-Berlin, Heidelberg: Springer, 2006.-Vol. 3860.-365 p.-(Lecture Notes in Computer Science). 8. Graph Drawing: Revised Papers: 13th International Symposium, GD 2005. Limerick, Ireland, September 2005/Ed. by P.Healy, N.S.Nikolov.-Berlin, Heidelberg: Springer, 2006. -Vol. 3843.-536 p.-(Lecture Notes in Computer Science). 9. Journal on Data Semantics V/Ed. by S.Spaccapietra. -Berlin, Heidelberg: Springer, 2006.-Vol. 3870.-237 p. -(Lecture Notes in Computer Science). 10. Satellite Events at the MoDELS 2005 Conference: Revised Selected Papers/MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium. Montego Bay, Jamaica, October 2005/Ed. by J.-M.Bruel.-Berlin, Heidelberg: Springer, 2006.-Vol. 3844.-360 p.-(Lecture Notes in Computer Science). 11. Automated Deduction in Geometry: Revised Papers/5th International Workshop, ADG 2004. Gainesville, FL, USA, September 2004/Ed. by H.Hong, D.Wang.-Berlin, Heidelberg: Springer, 2006.-Vol. 3763.-213 p.-(Lecture Notes in Artificial Intelligence). 12. Federation over the Web: Revised Selected Papers/International Workshop. Dagstuhl Castle, Germany, May 2005/Ed. by K.P.Jantke, A.Lunzer, N.Spyratos, Y.Tanaka. -Berlin, Heidelberg: Springer, 2006.-Vol. 3847.-215 p. -(Lecture Notes in Artificial Intelligence). 13. Fuzzy Logic and Applications: Revised Selected Papers/5th International Workshop, WILF 2003. Naples, Italy, October 2003/Ed. by Gesu V.Di, F.Masulli, A.Petrosino. -Berlin, Heidelberg: Springer, 2006.-Vol. 2955.-342 p. -(Lecture Notes in Artificial Intelligence). 14. Nonlinear Analyses and Algorithms for Speech Processing: Revised Selected Papers/International Conference on Non-Linear Speech Processing, NOLISP 2005. Barcelona, Spain, April 2005/Ed. by M.Faundez-Zanuy, L.Janer, A.Esposito, A.Satue-Villar.-Berlin, Heidelberg: Springer, 2006.-Vol. 3817.-380 p.-(Lecture Notes in Artificial Intelligence). 15. Logic for Programming, Artificial Intelligenec, and Reasoning: Proc./12th International Conference, LPAR 2005. Montego Bay, Jamaica, December 2005/Ed. by G.Sutcliffe, A.Voronkov.-Berlin, Heidelberg: Springer, 2006.-Vol. 3835. -744 p.-(Lecture Notes in Artificial Intelligence). 16. Constraint-Based Mining and Inductive Databases: Revised Selected Papers/European Workshop on Inductive Databases and Constraint Based Mining. Hinterzarten, Germany, March 2004/Ed. by J.-F.Boulicaut, Raedt L.De, H.Mannila.-Berlin, Heidelberg: Springer, 2005.-Vol. 3848. -401 p.-(Lecture Notes in Artificial Intelligence). 17. Job Scheduling Strategies for Parallel Processing: Revised Selected Papers/11th International Workshop, JSSPP 2005. Cambridge, MA, USA, June 2005/Ed. by D.Feitelson, E.Frachtenberg, L.Rudolph, U.Schwiegelshohn.-Berlin, Heidelberg: Springer, 2005.-Vol. 3834.-283 p.-(Lecture Notes in Computer Science). 18. Practical Aspects of Declarative Languages: Proc./8th International Symposium, PADL 2006. Charleston, SC, USA, January 2006/Ed. by Hentenryck P.Van.-Berlin, Heidelberg: Springer, 2006.-Vol. 3819.-231 p.-(Lecture Notes in Computer Science). 19. Power-Aware Computer Systems: Revised Selected Papers/4th International Workshop, PACS 2004. Protland, OR, USA, December 2004/Ed. by B.Falsafi, T.N.Vijaykumar. -Berlin, Heidelberg: Springer, 2006.-Vol. 3471.-181 p. -(Lecture Notes in Computer Science). 20. Security and Privacy in Ad-hoc and Sensor Networks: Revised Selected Papers/Second European Workshop, ESAS 2005. Visegrad, Hungary, July 2005/Ed. by R.Molva, G.Tsudik, G.Westhoff.-Berlin, Heidelberg: Springer, 2006.-Vol. 3813. -219 p.-(Lecture Notes in Computer Science). 21. Database Programming Languages: Revised Selected Papers/10th International Symposium, DBPL 2005. Trondheim, Norway, August 2005/Ed. by G.Bierman, Ch.Koch.-Berlin, Heidelberg: Springer, 2006.-Vol. 3774.-295 p.-(Lecture Notes in Computer Science). 22. Formal Modeling and Analysis of Timed Systems: Proc./Third International Conference, FORMATS 2005. Uppsala, Sweden, September 2005/Ed. by P.Petterson, W.Yi.-Berlin, Heidelberg: Springer, 2006.-Vol. 3829.-305 p.-(Lecture Notes in Computer Science). 23. Languages and Compilers for Parallel Computing: Revised Papers/15th Workshop, LCPC 2002. College Park, MD, USA, July 2002/Ed. by B.Pugh, Ch.-W.Tseng.-Berlin, Heidelberg: Springer, 2005.-Vol. 2481.-377 p.-(Lecture Notes in Computer Science). 24. Information Hiding: Revised Selected Papers/7th International Workshop, IH 2005. Barcelona, Spain, June 2005/ Ed. by M.Barni, J.Herrera-Joancomarti, S.Katzenbeisser, F.Perez-Gonzalez.-Berlin, Heidelberg: Springer, 2005.-Vol. 3727.-414 p.-(Lecture Notes in Computer Science). 25. Advaces in Cryptology - ASIACRYPT 2005: Proc./11th International Conference on the Theory and Application of Cryptology and Information Security. Chennai, India, December 2005/Ed. by B.Roy.-Berlin, Heidelberg: Springer, 2005.-Vol. 3788.-703 p.-(Lecture Notes in Computer Science). 26. Verification, Model Checking, and Abstract Interpretation: Proc./7th International Conference, VMCAI 2006. Charleston, SC, USA, January 2006/Ed. by E.A.Emerson, K.S.Namjoshi.-Berlin, Heidelberg: Springer, 2006.-Vol. 3855. -443 p.-(Lecture Notes in Computer Science). 27. Advances in Biometrics: Proc./International Conference, ICB 2006. Hong Kong, China, January 2006/Ed. by D.Zhang, A.K.Jain.-Berlin, Heidelberg: Springer, 2006.-Vol. 3832.-796 p.-(Lecture Notes in Computer Science). 28. Distributed Computing - IWDC 2005: Proc./7th International Workshop. Kharagpur,India, December 2005/Ed. by A.Pal, A.D.Kshemkalyani, R.Kumar, A.Gupta.-Berlin, Heidelberg: Springer, 2005.-Vol. 3741.-587 p.-(Lecture Notes in Computer Science). 29. Embedded and Ubiquitous Computing - EUC 2005 Workshops: Proc./EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES. Nagasaki, Japan, December 2005/Ed. by T.Enokido, L.Yan, B.Xao, Et Al. D.Kim.-Berlin, Heidelberg: Springer, 2005.-Vol. 3823.-1317 p.-(Lecture Notes in Computer Science). 30. Transactions on Computational Systems Biology III/Ed. by C.Priami.-Berlin, Heidelberg: Springer, 2005.-Vol. 3737. -169 p.-(Lecture Notes in Bioinformatics). 31. Visual Information and Information Systems: Revised Selected Papers/8th International Conference, VISUAL 2005. Amsterdam, The Netherlands, July 2005/Ed. by S.Bres, R.Laurini.-Berlin, Heidelberg: Springer, 2006.-Vol. 3736. -291 p.-(Lecture Notes in Computer Science). 32. Cryptography and Coding: Proc./10th IMA International Conference. Cirencester, UK, December 2005/Ed. by N.P.Smart. -Berlin, Heidelberg: Springer, 2005.-Vol. 3796.-461 p. -(Lecture Notes in Computer Science). 33. Graph-Theoretic Concepts in Computer Science: Revised Selected Papers/31st International Workhshop, WG 2005. Metz, France, June 2005/Ed. by D.Kratsch.-Berlin, Heidelberg: Springer, 2005.-Vol. 3787.-470 p.-(Lecture Notes in Computer Science). 34. Journal on Data Semantics IV/Ed. by S.Spaccapietra. -Berlin, Heidelberg: Springer, 2005.-Vol. 3730.-341 p. -(Lecture Notes in Computer Science). 35. Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends/Ed. by C.Atkinson, Ch.Bunse, H.-G.Gross, Ch.Peper.-Berlin, Heidelberg: Springer, 2005.-Vol. 3778.-345 p.-(Lecture Notes in Computer Science). 36. Processes, Terms, and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday/Ed. by A.Middeldorp, Oostrom V.Van, F.Vanraamsdonk, Vrijer R.De.-Berlin, Heidelberg: Springer, 2005.-Vol. 3838.-639 p.-(Lecture Notes in Computer Science). 37. Socionics: Scalability of Complex Social Systems/Ed. by K.Fischer, M.Florian, Th.Malsch.-Berlin, Heidelberg: Springer, 2005.-Vol. 3413.-315 p.-(Lecture Notes in Artificial Intelligence). 38. Intelligent Technologies for Interactive Entertainment: Proc./First International Conference, INTETAIN 2005. Madonna di Campiglio, Italy, November/December 2005/Ed. by M.Maybury, O.Stock, W.Wahlster.-Berlin, Heidelberg: Springer, 2005.-Vol. 3814.-342 p.-(Lecture Notes in Artificial Intelligence). 39. Professional Knowledge Management: Revised Selected Papers/Third International Conference, WM 2005. Kaiserslautern, Germany, April 2005/Ed. by K.-D.Althoff, A.Dengel, R.Bergmann, Et Al. M.Nick.-Berlin, Heidelberg: Springer, 2005.-Vol. 3782.-739 p.-(Lecture Notes in Artificial Intelligence). 40. Data Management in Grids: Revised Selected Papers/First VLDB Workshop, DMG 2005. Trondheim, Norway, September 2005/ Ed. by J.-M.Pierson.-Berlin, Heidelberg: Springer, 2005. -Vol. 3836.-143 p.-(Lecture Notes in Computer Science). 41. Software Engineering, Research, Management, and Applications: Selected Revised Papers/Second International Conference, SERA 2004. Los Angeles, CA, USA, May 2004/Ed. by W.Dosch, R.Y.Lee, Ch.Wu.-Berlin, Heidelberg: Springer, 2005. -Vol. 3647.-261 p.-(Lecture Notes in Computer Science). 42. Adaptive Multimedia Retrieval: User, Context, and Feedback: Revised Selected Papers/Third International Workshop, AMR 2005. Glasgow, UK, July 2005/Ed. by M.Detyniecki, J.M.Jose, A.Nuernberger, Rijsbergen C.J.Van. -Berlin, Heidelberg: Springer, 2005.-Vol. 3877.-279 p. -(Lecture Notes in Computer Science). 43. Computers and Games: Revised Papers/4th International Conference, CG 2004. Ramat-Gan, Israel, July 2004/Ed. by Den Herik H.J.Van, Y.Bjoernsson, N.S.Netanyahu.-Berlin, Heidelberg: Springer, 2005.-Vol. 3846.-333 p.-(Lecture Notes in Computer Science). 44. Wireless Sensor Networks: Proc./Third European Workshop, EWSN 2006. Zurich, Switzerland, February 2006/Ed. by K.Roemer, H.Karl, F.Mattern.-Berlin, Heidelberg: Springer, 2006.-Vol. 3868.-343 p.-(Lecture Notes in Computer Science). 45. Approximation and Online Algorithms: Revised Papers/Third International Workshop, WAOA 2005. Palma de Mallorca, Spain, October 2005/Ed. by Th.Erlebach, G.Persiano. -Berlin, Heidelberg: Springer, 2006.-Vol. 3879.-349 p. -(Lecture Notes in Computer Science). 46. Implementation and Application of Automata: Revised Selected Papers/10th International Conference, CIAA 2005. Sophia Antipolis, France, June 2005/Ed. by J.Farre, I.Litovsky, S.Schmitz.-Berlin, Heidelberg: Springer, 2006. -Vol. 3845.-360 p.-(Lecture Notes in Computer Science). 47. Information Security Applications: Revised Selected Papers/6th International Workshop, WISA 2005. Jeju Island, Korea, August 2005/Ed. by J.Song, T.Kwon, M.Yung.-Berlin, Heidelberg: Springer, 2006.-Vol. 3786.-378 p.-(Lecture Notes in Computer Science). 48. Biologically Inspired Approaches to Advances Information Technologies: Proc./Second International Workshop, BioADIT 2006. Osaka, Japan, January 2006/Ed. by A.J.Ijspeert, T.Masuzawa, Sh.Kusumoto.-Berlin, Heidelberg: Springer, 2006.-Vol. 3853.-388 p.-(Lecture Notes in Computer Science). 49. Membrane Computing: Revised Selected and Invited Papers/6th International Workshop, WMC 2005. Vienna, Austria, July 2005/Ed. by R.Freund, Gh.Paun, G.Rozenberg, A.Salomaa.-Berlin, Heidelberg: Springer, 2006.-Vol. 3850. -371 p.-(Lecture Notes in Computer Science). 50. Trustworthy Global Computing: Revised Selected Papers/International Symposium, TGC 2005. Edinburgh, UK, April 2005/Ed. by Nicola R.De, D.Sangiorghi.-Berlin, Heidelberg: Springer, 2005.-Vol. 3705.-371 p.-(Lecture Notes in Computer Science). 51. Document Analysis Systems VII: Proc./7th International Workshop, DAS 2006. Nelson, New Zealand, February 2006/Ed. by H.Bunke, A.L.Spitz.-Berlin, Heidelberg: Springer, 2005. -Vol. 3872.-630 p.-(Lecture Notes in Computer Science). 52. STACS 2006: Proc./23rd Annual Symposium on Theoretical Aspects of Computer Science. Marseille, France, February 2006 /Ed. by B.Durand, W.Thomas.-Berlin, Heidelberg: Springer, 2005.-Vol. 3884.-714 p.-(Lecture Notes in Computer Science). 53. Large-Scale Scientific Computing: Revised Papers/5th International Conference, LSSC 2005. Sozopol, Bulgaria, June 2005/Ed. by I.Lirkov, S.Margenov, J.Wasniewski.-Berlin, Heidelberg: Springer, 2006.-Vol. 3743.-704 p.-(Lecture Notes in Computer Science). 54. Machine Learning for Multimodal Interaction: Revised Selected Papers/Second International Workshop, MLMI 2005. Edunburgh, UK, July 2005/Ed. by S.Renals, S.Bengio.-Berlin, Heidelberg: Springer, 2006.-Vol. 3869.-490 p.-(Lecture Notes in Computer Science). 55. Unifying the Software Process Spectrum: Revised Selected Papers/International Software Process Workshop, SPW 2005. Beijing, China, May 2005/Ed. by M.Li, B.Boehm, L.J.Osterweil.-Berlin, Heidelberg: Springer, 2005.-Vol. 3840. -522 p.-(Lecture Notes in Computer Science). 56. Frontiers of WWW Research and Development - APWeb 2006: Proc./8th Asia-Pacific Web Conference. Harbin, China, January 2006/Ed. by X.Zhou, J.Li, H.T.Shen, M.Kitsuregawa. -Berlin, Heidelberg: Springer, 2005.-Vol. 3841.-1223 p. -(Lecture Notes in Computer Science). 57. Advanced Web and Network Technologies, and Applications: Proc./APWeb 2006 International Workshops: XRA, IWSN, MEGA, and ICSE. Harbin, China, January 2006/Ed. by Shen H.Tao, J.Li, M.Li, J.Ni.-Berlin, Heidelberg: Springer, 2006.-Vol. 3842.-1057 p.-(Lecture Notes in Computer Science). 58. SOFSEM 2006: Theory and Practice of Computer Science: Proc./32nd Conference on Current Trends in Theory and Practice of Computer Science. Merin, Czech Republic, January 2006/Ed. by J.Wiedermann, G.Tel, J.Pokorny, M.Bielikova. -Berlin, Heidelberg: Springer, 2006.-Vol. 3831.-576 p. -(Lecture Notes in Computer Science). 59. Computer Vision - ACCV 2006 - Part I: Proc./7th Asian Conference on Computer Vision. Hyderabad, India, January 2006 /Ed. by P.J.Narayanan, Sh.K.Nayar, H.-Y.Shum.-Berlin, Heidelberg: Springer, 2006.-Vol. 3851.-973 p.-(Lecture Notes in Computer Science). 60. Computer Vision - ACCV 2006 - Part II: Proc./7th Asian Conference on Computer Vision. Hyderabad, India, January 2006 /Ed. by P.J.Narayanan, Sh.K.Nayar, H.-Y.Shum.-Berlin, Heidelberg: Springer, 2006.-Vol. 3852.-977 p.-(Lecture Notes in Computer Science). 61. Independent Component Analysis and Blind Signal Separation: Proc./6th International Conference, ICA 2006. Charleston, SC, USA, March 2006/Ed. by J.Rosca, D.Erdogmus, J.C.Principe, S.Haykin.-Berlin, Heidelberg: Springer, 2006. -Vol. 3889.-980 p.-(Lecture Notes in Computer Science). 62. Efficient Approximation and Online Algorithms: Recent Progress on Classical Combinatorial Optimization Problems and New Applications/Ed. by E.Bampis, K.Jansen, C.Kenyon. -Berlin, Heidelberg: Springer, 2006.-Vol. 3484.-349 p. -(Lecture Notes in Computer Science). 63. Agent-Mediated Electronic Commerce VI: Theories for and Engineering of Distributed Systems: Revised Papers/AAMAS 2004 Workshop, AMEC 2004. New York, NY, USA, July 2004/Ed. by P.Faratin, J.A.Rodriguez-Aguilar.-Berlin, Heidelberg: Springer, 2005.-Vol. 3435.-215 p.-(Lecture Notes in Artificial Intelligence). 64. Formal Concept Analysis: Proc./4th International Conference, ICFCA 2006. Dresden, Germany, February 2006/Ed. by R.Missaoui, J.Schmid.-Berlin, Heidelberg: Springer, 2006. -Vol. 3874.-309 p.-(Lecture Notes in Artificial Intelligence). 65. Mathematical Knowledge Management: Revised Selected Papers/4th International Conference, MKM 2005. Bremen, Germany, July 2005/Ed. by M.Kohlhase.-Berlin, Heidelberg: Springer, 2006.-Vol. 3863.-405 p.-(Lecture Notes in Artificial Intelligence). 66. Вопросы истории информатики: предварительные публикации. Выпуск 1.-Новосибирск, 2000.-70 с.-(Препринт/ИВМ и МГ СО РАН; N 1148). 67. Вопросы истории информатики. Выпуск 5.-Новосибирск, 2006. -78 с.-(Препринт/ИВМ и МГ СО РАН; N 1163). 68. Бодин Е.В., Калинина Н.А., Шилов Н.В. Проект верифицирующего компилятора F@BOOL@. Часть 1: Общее описание проекта F@BOOL@, его место в компонентном подходе к программированию. Язык Mini-Nil - прототип языка виртуальной машины проекта.-Новосибирск, 2005.-22 с.-(Препринт/ИСИ СО РАН; N 131). 69. Боснякова Д.Ю. Поиск признаков в сигналах головного мозга: Автореф. дис... канд. техн. наук: 05.13.17.-Москва, 2006.-20 с.-Библиогр.: c.18-20. 70. Инякин А.С. Покрытие целочисленной матрицы и задача кластерного анализа: Автореф. дис... канд. ф.-м. наук: 05.13.17.-Москва, 2006.-21 с.-Библиогр.: c.19-21. 71. Панюкова Т.А. Задачи маршрутизации специального вида в плоских графах: свойства, алгоритмы, программное обеспечение: Автореф. дис... канд. ф.-м. наук: 05.13.17. -Москва, 2006.-18 с.-Библиогр.: c.16-18. 72. Хорошилов А.В. Спецификация и тестирование компонентов с асинхронным интерфейсом: Автореф. дис... канд. ф.-м. наук: 05.13.11.-Москва, 2006.-21 с.-Библиогр.: c.21. 73. Коваленко А.Г. Развитие математических моделей и методов теории гидравлических сетей и их применение для моделирования рассредоточенного рынка: Автореф. дис... канд. ф.-м. наук: 05.13.18.-Москва, 2006.-39 с.-Библиогр.: c.33-39. 74. Институт катализа им. Г. К. Борескова СО РАН: Хроника 1958-2000 гг/Ред. Р.А.Буянов; Институт катализа им. Г. К. Борескова СО РАН. .- Новосибирск, 2005.- 353 с. 75. Кинг А. Windows 95 изнутри/Ред. В.Усманов; пер. с англ. С.Топоров.- Спб: Питер, 1995.- 489 с. 76. Бертсекас Д., Галлагер Р. Сети передачи данных/Ред. Б.С.Цыбаков; пер. с англ. Н.Б.Лиханов, В.А.Михайлов, С.П.Федорцов.- Москва: Мир, 1989.- 544 с.-Библиогр.: c.526-536. 77. Технологии Microsoft в теории и практики программирования: тезисы докладов/Конференция-конкурс работ студентов, аспирантов и молодых ученых. Новосибирск, Академгородок, 22-24 февраля 2006/НГУ. Microsoft Corporation; Ред. О.В.Дробышевич.-Новосибирск, 2006.-247 с.