Hовые поступления с 18 декабря 2013 года по 4 февраля 2013 года
1. Learning and Intelligent Optimization: Revised Selected Papers/6th International Conference, LION 6, Paris, France, January 2012/Ed. by Y.Hamadi, M.Schoenauer.-Berlin: Springer, 2012.-Vol. 7219.-514 p.-(Lecture Notes in Computer Science). 2. Ambient Intelligence: Proc./3rd International Joint Conference, Aml 2012, Pisa, Italy, November 2012/Ed. by F.Paterno, B.De_Ruyter, P.Markopoulos, C.Santoro.-Berlin: Springer, 2012.-Vol. 7683.-461 p.-(Lecture Notes in Computer Science). 3. Neural Infomation Processing, Part I: Proc./19th International Conference, ICONIP 2012, Doha, Qatar, November 2012/ Ed. by T.Huang, Z.Zeng, C.Li, C.S.Leung.-Berlin: Springer, 2012. -Vol. 7663.-565 p.-(Lecture Notes in Computer Science). 4. Neural Information Processing, Part II: Proc./19th International Conference, ICONIP 2012, Doha, Qatar, November 2012/ Ed. by T.Huang, Z.Zeng, C.Li, C.S.Leung.-Berlin: Springer, 2012. -Vol. 7664.-712 p.-(Lecture Notes in Computer Science). 5. Neural Information Processing, Part III: Proc./19th International Conference, ICONIP 2012, Doha, Qatar, November 2012/ Ed. by T.Huang, Z.Zeng, C.Li, C.S.Leung.-Berlin: Springer, 2012. -Vol. 7665.-722 p.-(Lecture Notes in Computer Science). 6. Neural Information Processing, Part IV: Proc./19th International Conference, ICONIP 2012, Doha, Qatar, Novemer 2012/ Ed. by T.Hoang, Z.Zeng, C.Li, C.S.Leung.-Berlin: Springer, 2012. -Vol. 7666.-710 p.-(Lecture Notes in Computer Science). 7. Neural Information Processing, Part V: Proc./19th International Conference, ICONIP 2012, Doha, Qatar, November 2012/ Ed. by T.Huang, Z.Zeng, C.Li, C.S.Leung.-Berlin: Springer, 2012. -Vol. 7667.-756 p.-(Lecture Notes in Computer Science). 8. Argumentation in Multi-Agent Systems: Revised Selected Papers/8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 2011/Ed. by P.Mcburney, S.Parsons, I.Rahwan.-Berlin: Springer, 2012.-Vol. 7543.-231 p.-(Lecture Notes in Artificial Intelligence). 9. Computational Collective Intelligence. Technologies and Applications, Part I: Proc./4th International Conference, ICCCI 2012, Ho Chi Minh City, Vietnam, November 2012/Ed. by N.T.Nguyen, K.Hoang, P.Jedrzejowicz.-Berlin: Springer, 2012.-Vol. 7653.-565 p.-(Lecture Notes in Artificial Intelligence). 10. Computational Collective Intelligence. Technologies and Applications, Part II: Proc./4th International Conference, ICCCI 2012, Ho Chi Minh City, Vietnam, November 2012/Ed. by N.T.Nguyen, K.Hoang, P.Jedrzejowicz.-Berlin: Springer, 2012.-Vol. 7654.-565 p.-(Lecture Notes in Artificial Intelligence). 11. AI 2012: Advances in Artificial Intelligence: Proc./25th Australasian Joint Conference, Sydney, Australia, December 2012/ Ed. by M.Thielscher, D.Zhang.-Berlin: Springer, 2012.-Vol. 7691. -917 p.-(Lecture Notes in Artificial Intelligence). 12. Brain Informatics: Proc./ International Conference, BI 2012, Macao, China, December 2012/Ed. by F.M.Zanzotto, N.Taatgen, S.Tsumoto, Y.Yao.-Berlin: Springer, 2012.-Vol. 7670.-374 p. -(Lecture Notes in Artificial Intelligence). 13. Foundations of Intelligent Systems: Proc./20th International Symposium, ISMIS 2012, Macao, China, December 2012/Ed. by L.Chen, A.Felfernig, J.Liu, Z.W.Ras.-Berlin: Springer, 2012.-Vol. 7661.-468 p.-(Lecture Notes in Artificial Intelligence). 14. Advances in Artificial Intelligence - IBERAMIA 2012: Proc./13th Ibero-American Conference on AI, Cartagena de Indias, Colombia, November 2012/Ed. by J.Pavon, N.D.Duque-Mendez, R.Fuentes-Ternandez.-Berlin: Springer, 2012.-Vol. 7637.-745 p. -(Lecture Notes in Artificial Intelligence). 15. Оптико-информационные измерительные и лазерные технологии и системы. Юбилейный сборник избранных трудов/СО РАН. КТИ НП; Ред. Ю.В.Чугуй.-Новосибирск: Академическое изд-во "Гео", 2012.-456 с. 16. Титлянова А.А. История одной сибирской семьи.- М., Новосибирск: ФОЛИУМ, 2011.- 164 с. 17. Computational Issues in Fluid Construction Grammer: A New Formalism for the Representation of Lexicons and Grammars/Ed. by L.Steels.-Berlin: Springer, 2012.-Vol. 7249.-331 p.-(Lecture Notes in Computer Science). 18. Implementation and Application of Functional Languages: Revised Selected Papers/23rd International Symposium, IFL 2011, Lawrence,KS,USA, October 2011/Ed. by A.Gill, J.Hage.-Berlin: Springer, 2012.-Vol. 7257.-181 p.-(Lecture Notes in Computer Science). 19. Programming Languages and Systems: Proc./10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 2012/Ed. by R.Jhala, A.Igarashi.-Berlin: Springer, 2012.-Vol. 7705.-389 p. -(Lecture Notes in Computer Science). 20. Information Retrieval Technology: Proc./8th Asia Information Retrieval Societies Conference, AIRS 2012, Tianjin, China, December 2012/Ed. by Y.Hou, J.-Y.Nie, L.Sun, B.Wang.-Berlin: Springer, 2012.-Vol. 7675.-540 p.-(Lecture Notes in Computer Science). 21. Certified Programs and Proofs: Proc./2nd International Conference, CPP 2012, Kyoto, Japan, December 2012/Ed. by C.Hawblitzel, D.Miller.-Berlin: Springer, 2012.-Vol. 7679.-305 p. -(Lecture Notes in Computer Science). 22. Transactions on Petri Nets and Other Models of Concurrency VI /Ed. by K.Jensen.-Berlin: Springer, 2012.-Vol. 7400.-365 p. -(Lecture Notes in Computer Science). 23. Simulated Evolution and Learning: Proc./9th International Conference, SEAL 2012, Hanoi, Vietnam, December 2012/Ed. by L.T.Bui, Y.S.Ong, N.X.Hoai, H.Ishibuchi.-Berlin: Springer, 2012. -Vol. 7673.-512 p.-(Lecture Notes in Computer Science). 24. Biometric Recognition: Proc./7th Chinese Conference, CCBR 2012, Guangzhou, China, December 2012/Ed. by W.-S.Zheng, Z.Sun, Y.Wang, X.Chen.-Berlin: Springer, 2012.-Vol. 7701.-390 p. -(Lecture Notes in Computer Science). 25. Logic-Based Program Synthesis and Transformation: Revised Selected Papers/ 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 2011/Ed. by G.Vidal.-Berlin: Springer, 2012. -Vol. 7225.-254 p.-(Lecture Notes in Computer Science). 26. Design and Analysis of Algorithms: Proc./1st Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 2012/Ed. by G.Even, D.Rawitz.-Berlin: Springer, 2012. -Vol. 7659.-261 p.-(Lecture Notes in Computer Science). 27. Search Computing: Broadening Web Search/Ed. by S.Ceri, M.Brambilla.-Berlin: Springer, 2012.-Vol. 7538.-255 p.-(Lecture Notes in Computer Science). 28. Motion in Games: Proc./5th International Conference, MIG 2012, Rennes, France, November 2012/Ed. by M.Kallmann, K.Bekris. -Berlin: Springer, 2012.-Vol. 7660.-384 p.-(Lecture Notes in Computer Science). 29. Combinatorial Image Analysis: Proc./15th International Workshop, IWCIA 2012, Austin,TX,USA, November 2012/Ed. by R.V.Barneva, V.E.Brimkov, J.K.Aggarwal.-Berlin: Springer, 2012. -Vol. 7655.-313 p.-(Lecture Notes in Computer Science). 30. The Semantic Web - ISWC 2012. Part I: Proc./11th International Semantic Web Conference, Boston,MA,USA, November 2012/Ed. by Ph.Cudre-Mauroux, J.Heflin, E.Sirin, T.Tudorache. -Berlin: Springer, 2012.-Vol. 7649.-677 p.-(Lecture Notes in Computer Science). 31. The Semantic Web - ISWC 2012, Part II: Proc./11th International Semantic Web Conference, Boston,MA,USA, November 2012/Ed. by Ph.Cudre-Mauroux, J.Heflin, E.Sirin, T.Tudorache. -Berlin: Springer, 2012.-Vol. 7650.-677 p.-(Lecture Notes in Computer Science). 32. Hardware and Software: Verification and Testing: Revised Selected Papers/7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 2011/Ed. by K.Eder, J.Lourenco, O.Shehory.-Berlin: Springer, 2012.-Vol. 7261.-263 p. -(Lecture Notes in Computer Science). 33. Testing Software and Systems: Proc./24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 2012/Ed. by B.Nielsen, C.Weise.-Berlin: Springer, 2012.-Vol. 7641. -263 p.-(Lecture Notes in Computer Science). 34. Computer Network Security: Proc./6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St.Petersburg, Russia, October 2012/Ed. by I.Kotenko, V.Skormin.-Berlin: Springer, 2012. -Vol. 7531.-319 p.-(Lecture Notes in Computer Science). 35. Fast Software Encryption: Revised Selected Papers/19th International Workshop, FSE 2012, Washington,DC,USA, March 2012/ Ed. by A.Canteaut.-Berlin: Springer, 2012.-Vol. 7549.-463 p. -(Lecture Notes in Computer Science). 36. Research in Cryptology: Revised Selected Papers/4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 2011/Ed. by F.Armknecht, S.S.Lucks.-Berlin: Springer, 2012.-Vol. 7246.-151 p. -(Lecture Notes in Computer Science). 37. Information Security and Cryptology: Revised Selected Papers/7th International Conference, Inscrypt 2011, Beijing, China, November 2011/Ed. by C.-K.Wu, M.Yung, D.Lin.-Berlin: Springer, 2012.-Vol. 7537.-394 p.-(Lecture Notes in Computer Science). 38. Computer Safety, Reliability, and Security: Proc./ SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg. Germany, September 2012/Ed. by F.Ortmeier, P.Daniel. -Berlin: Springer, 2012.-Vol. 7613.-530 p.-(Lecture Notes in Computer Science). 39. Progress in Cryptology - INDOCRYPT 2012: Proc./13th International Conference on Cryptology in India, Kolkata, India, December 2012/Ed. by S.Galbraith, M.Nandi.-Berlin: Springer, 2012. -Vol. 7668.-566 p.-(Lecture Notes in Computer Science). 40. Information System Security: Proc./8th International Conference, ICISS 2012, Guwahati, India, December 2012/Ed. by V.Venkatakrishnan, D.Goswami.-Berlin: Springer, 2012.-Vol. 7671. -353 p.-(Lecture Notes in Computer Science). 41. Trusted Systems: Proc./4th International Conference, INTRUST 2012, London, UK, December 2012/Ed. by C.J.Mitchell, A.Tomlinson. -Berlin: Springer, 2012.-Vol. 7711.-117 p.-(Lecture Notes in Computer Science). 42. Information Security Applications: Revised Selected Papers/13th International Workshop, WISA 2012, Jedu Island, Korea, August 2012/Ed. by D.H.Lee, M.Yung.-Berlin: Springer, 2012. -Vol. 7690.-371 p.-(Lecture Notes in Computer Science). 43. Transactions on Large-Scale Data-and Knowledge-Centered Systems VI: Special Issue on Database-and Expert-Systems Applications/Ed. by A.Hameurlain, J.Kung, R.Wagner.-Berlin: Springer, 2012.-Vol. 7600.-259 p.-(Lecture Notes in Computer Science). 44. Provenance and Annotation of Data and Processes: Revised Selected Papers/4th Internatiomal Workshop, IPAW 2012, Santa Barbara,CA,USA, June 2012/Ed. by P.Groth, J.Frew.-Berlin: Springer, 2012.-Vol. 7525.-256 p.-(Lecture Notes in Computer Science). 45. Advances in Computer Entertainment: Proc./9th International Conference, ACE 2012, Kathmandu, Nepal, November 2012/Ed. by A.Nijholt, T.Romao, D.Reidsma.-Berlin: Springer, 2012.-Vol. 7624. -599 p.-(Lecture Notes in Computer Science). 46. Machine Learning and Interpretation in Neuroimaging: Revised Selected and Invited Papers/ International Workshop, MLINI 2012, Held at NIPS 2011, Sierra Nevada, Spain, December 2011/Ed. by G.Langs, I.Rish, M.Grosse-Wentrup, B.Murphy.-Berlin: Springer, 2012.-Vol. 7263.-266 p.-(Lecture Notes in Computer Science). 47. Computational Methods in Systems Biology: Proc./10th International Conference, CMSB 2012, London, UK, October 2012/Ed. by D.Gilbert, M.Heiner.-Berlin: Springer, 2012.-Vol. 7605.-396 p. -(Lecture Notes in Bioinformatics). 48. Multi-Agent Systems: Revised Selected Papers/9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 2011/ Ed. by M.Cossentino, M.Kaisers, K.Tuyls, G.Weiss.-Berlin: Springer, 2012.-Vol. 7541.-259 p.-(Lecture Notes in Artificial Intelligence). 49. Neural Networks: Tricks of the Trade: Second Edition/Ed. by G.Montavon, G.B.Orr, K.-R.Muller.-Berlin: Springer, 2012.-Vol. 7700.-769 p.-(Lecture Notes in Computer Science). 50. Transactions on Large-Scale Data-and Knowledge-Centered Systems VII/Ed. by A.Hameurlain, J.Kung, R.Wagner.-Berlin: Springer, 2012.-Vol. 7720.-171 p.-(Lecture Notes in Computer Science). 51. Economics of Grids, Clouds, Systems, and Services: Proc./9th International Conference, GECON 2012, Berlin, Germany, November 2012/Ed. by K.Vanmechelen, J.Altmann, O.F.Rana.-Berlin: Springer, 2012.-Vol. 7714.-245 p.-(Lecture Notes in Computer Science). 52. Energy Efficient Data Centers: Revised Selected Papers/1st International Workshop, E2DC 2012, Madrid, Spain, May 2012/Ed. by J.Huusko, H.De_Meer, S.Klingert, A.Somov.-Berlin: Springer, 2012. -Vol. 7396.-153 p.-(Lecture Notes in Computer Science). 53. Algorithms and Computation: Proc./23th International Symposium, ISAAC 2012, Taipei, Taiwan, December 2012/Ed. by K.-M.Chao, T.-S.Hsu, D.-T.Lee.-Berlin: Springer, 2012.-Vol. 7676. -702 p.-(Lecture Notes in Computer Science). 54. Advances in New Technologies, Interactive Interfaces and Communicability: Revised Selected Papers/2nd International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 2011/ Ed. by F.Cipolla-Ficarra, K.Veltman, D.Verber, M.Cipolla-Ficarra. -Berlin: Springer, 2012.-Vol. 7547.-263 p.-(Lecture Notes in Computer Science). 55. Human-Computer Interaction, Tourism and Cultural Heritage: Revised Selected Papers/2nd International Workshop, HCITOCH 2011, Cordoba, Argentina, September 2011/Ed. by F.Cipolla-Ficarra, K.Veltman, H.Chih-Fang, A.Kratky.-Berlin: Springer, 2012.-Vol. 7546.-157 p.-(Lecture Notes in Computer Science). 56. Swarm, Evolutionary, and Memetic Computing: Proc./3rd International Conference, SEMCCO 2012, Bhubaneswar, India, December 2012/Ed. by B.K.Panigrahi, S.Das, P.N.Suganthan, P.K.Nanda.-Berlin: Springer, 2012.-Vol. 7677.-813 p.-(Lecture Notes in Computer Science). 57. Computational Geometry: Revised Selected Papers/XIV Spanish Meeting on CG, EGC 2011 Dedicated to Ferran Hurtado on the Occasion of His 60th Birthday, Alcala de Henares, Spain, June 2011 /Ed. by A.Marquez, P.Ramos, J.Urrutia.-Berlin: Springer, 2012. -Vol. 7579.-283 p.-(Lecture Notes in Computer Science). 58. Замулин А.В. Интегральная языковая среда для описания и реализации баз данных различных моделей: Дис... докт. ф.-м. наук: 05.13.11.-Новосибирск, 1986.-219 с.-Библиогр.: c.195-205. 59. Khoury C., Gaudel M.C., Dauchy P. Unite Assosiee au CNRS URA 410: AL KHOWARIZMI, 1997.-23 p.-(Rep./Univ. Paris; N 1119). 60. Lellahi C.K. Categorical Abstract Data Type (CADT).-Paris, 1989.-23 p.-(Rep./Univ. Paris VII; N 21). 61. Рамбо Д., Якобсон А., Буч Г. UML Специальный справочник/пер. с англ.- Санкт-Петербург: Питер, 2002.- 652 с. 62. Питц-Моултис Н., Лирл Ч. XML - Современная технология создания документов для Internet/пер. с англ.- Санкт-Петербург: BHV - Санкт-Петербург, 2000.- 736 c. 63. Пузаренко В.Г. Натуральные числа и обобщенная вычислимость: Автореф. дис... докт. ф.-м. наук: 01.01.06.-Новосибирск, 2013.-24 с.-Библиогр.: c.19-24. 64. Осуга С. Обработка знаний.пер. с японского В.И.Этова.- М.: Мир, 1989.- 292 с. 65. Приобретение знаний/С. Осуга, Ю. Саэки, Х. Судзуки и др.; пер. с японского Ю.Н.Чернышова.- М.: Мир, 1990.- 304 с.