Hовые поступления с 12 августа по 2 сентября 2013 года
1. Молчанов А.М. Труды/Институт математических проблем биологии РАН. .- Пущино, 2013. 2. Ануреев И.С. Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем, 2012.-28 с.-(Препринт/ИСИ СО РАН; N 165). 3. Семинар "Исторя информатики в Сибири": Труды 7-й международной конференции памяти академика А.П.Ершова "Перспективы систем информатики", Новосибирск, Россия, июнь 2009/ Ред. В.Н.Касьянов.-Новосибирск, 2009.-148 с. 4. Воеводин В.В., Воеводин Вл.В. Параллельные вычисления.- Санкт-Петербург: БХВ-Петербург, 2002.- 608 с. 5. Информационные технологии для историков/Ред. Л.И.Бородкин; МГУ. .- М.: Изд-во МГУ, 2006.- 235 с.-(Труды исторического факультета МГУ; Вып. 36). 6. Mahoney M.S. Histories of Computing.- Cambridge,Ms, London: Harvard University Press, 2011.- 250 p. 7. Dyson G. Turing's Cathedral: The Origings of the Digital Universe.- New York: Pantheon Books, 2012.- 402 p. 8. Теория и практика общественно-научной информации/РАН. Институт научной информации по общественным наукам; .-М., 2013, Вып. 21.-297 с. 9. Computer Aided Verification: Proc./25th International Conference, CAV 2013, Saint Petersburg, Russia, July 2013/Ed. by N.Sharygina, H.Veith.-Berlin: Springer, 2013.-Vol. 8044.-1015 p. -(Lecture Notes in Computer Science). 10. Formal Grammar: Proc./17th and 18th International Conferences FG 2012 Opole, Poland, August 2012 and FG 2013 Dusseldorf, Germany, August 2013/Ed. by G.Morrill, M.-J.Nederhof. -Berlin: Springer, 2013.-Vol. 8036.-293 p.-(Lecture Notes in Computer Science). 11. Multicore Software Engineering, Performance, and Tools: Proc./ International Conference, MUSEPAT 2013, St.Petersburg, Russia, August 2013/Ed. by J.M.Lourenco, E.Farchi.-Berlin: Springer, 2013.-Vol. 8063.-111 p.-(Lecture Notes in Computer Science). 12. Algorithms and Data Structures: Proc./13th International Symposium, WADS 2013, London,ON,Canada, August 2013/Ed. by F.Dehne, R.Solis-Oba, J.-R.Sack.-Berlin: Springer, 2013.-Vol. 8037. -538 p.-(Lecture Notes in Computer Science). 13. SDL 2013: Model-Drived Dependability Engineering: Proc./16th International SDL Forum, Montreal, Canada, June, 2013/Ed. by F.Khendek, M.Toeroe, A.Gherbi, R.Reed.-Berlin: Springer, 2013. -Vol. 7916.-291 p.-(Lecture Notes in Computer Science). 14. Reversible Computation: Proc./ 5th International Conference, RC 2013, Victoria,DC,Canada. July 2013/Ed. by G.W.Dueck, D.M.Miller.-Berlin: Springer, 2013.-Vol. 7948.-263 p.-(Lecture Notes in Computer Science). 15. Safe and Secure Software Reuse: Proc./13th Unternational Conference on Software Reuse, ICSR 2013, Pisa, Italy, June 2013/ Ed. by J.Favaro, M.Morisio.-Berlin: Springer, 2013.-Vol. 7925. -362 p.-(Lecture Notes in Computer Science). 16. Static Analysis: Proc./20th International Symposium, SAS 2013, Seattle,WA,USA, June 2013/Ed. by F.Lagozzo, M.Fahndrich. -Berlin: Springer, 2013.-Vol. 7935.-499 p.-(Lecture Notes in Computer Science). 17. ECOOP 2013 - Object-Oriented Programming: Proc./27th European Conference, Montpellier, France, July 2013/Ed. by G.Gastagna.-Berlin: Springer, 2013.-Vol. 7920.-746 p.-(Lecture Notes in Computer Science). 18. Typed Lambda Calculi and Applications: Proc./11th International Conference, TLCA 2013, Eindhoven, THe Netherlands, June 2013/Ed. by M.Hasegawa.-Berlin: Springer, 2013.-Vol. 7941. -251 p.-(Lecture Notes in Computer Science). 19. Tests and Proofs: Proc./7th International Conference, TAP 2013, Budapest, Hungary, June 2013/Ed. by M.Veanes, L.Vigano. -Berlin: Springer, 2013.-Vol. 7942.-233 p.-(Lecture Notes in Computer Science). 20. Transactions on Computational Collective Intelligence X/Ed. by N.T.Nguyen, J.Kolodziej, T.Burcznski, M.Biba.-Berlin: Springer, 2013.-Vol. 7776.-207 p.-(Lecture Notes in Computer Science). 21. Combinatorial Pattern Matching: Proc./24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 2013/Ed. by J.Fischer, P.Sanders.-Berlin: Springer, 2013.-Vol. 7922.-259 p.-(Lecture Notes in Computer Science). 22. High Performance Computing for Computational Science - VECPAR 2012: Revised Selected Papers/10th International Conference, Kobe, Japan, June 2012/Ed. by M.Dayde, O.Marques, K.Nakajima.-Berlin: Springer, 2013.-Vol. 7851.-468 p.-(Lecture Notes in Computer Science). 23. Formal Methods for Dynamical Systems: Advanced Lectures/13th International School on Formak Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 2013/Ed. by M.Bernardo, E.De_Vink, A.Di_Pierro, H.Wiklicky.-Berlin: Springer, 2013.-Vol. 7938.-181 p. -(Lecture Notes in Computer Science). 24. Dependable Computing: Proc./14th European Workshop, EWDC 2013, Coimbra, Portugal, May 2013/Ed. by M.Vieira, J.C.Cunha. -Berlin: Springer, 2013.-Vol. 7869.-207 p.-(Lecture Notes in Computer Science). 25. Mathematics and Computation in Music: Proc./4th International Conference, MCM 2013, Montreal,QC,Canada, June 2013/ Ed. by J.Yust, J.Wild, J.A.Burgoyne.-Berlin: Springer, 2013. -Vol. 7937.-241 p.-(Lecture Notes in Artificial Intelligence). 26. Knowledge Science, Engineering and Management: Proc./6th International Conference, KSEM 2013, Dalian, China, August 2013/ Ed. by M.Wang.-Berlin: Springer, 2013.-Vol. 8041.-604 p. -(Lecture Notes in Artificial Intelligence). 27. Intelligent Computer Mathematics: Proc./MKM, Calculemus, DML, and System and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 2013/Ed. by J.Carette, D.Aspinall, Ch.Lange, P.Sojka.-Berlin: Springer, 2013.-Vol. 7961.-384 p.-(Lecture Notes in Artificial Intelligence). 28. Advances in Data Mining. Applications and Theoretical Aspects: Proc./13th Industrial Conference, ICDM 2013, New York,NY,USA, July 2013/Ed. by P.Perner.-Berlin: Springer, 2013. -Vol. 7987.-281 p.-(Lecture Notes in Artificial Intelligence). 29. RoboCup 2012: Robot Soccer World Cup XVI/Ed. by X.Chen, P.Stone, L.E.Sucar, T.Van_Der_Zant.-Berlin: Springer, 2013.-Vol. 7500.-392 p.-(Lecture Notes in Artificial Intelligence). 30. Biometric and Biohybrid Systems: Proc./2nd International Conference, Living Machines 2013, London, UK, July 2013/Ed. by N.E.Lepora, A.Mura, H.G.Krapp, P.F.M.J.Verschure.-Berlin: Springer, 2013.-Vol. 8064.-463 p.-(Lecture Notes in Artificial Intelligence). 31. Transactions on Large-Scale Data-Knowledge-Centered Systems IX/Ed. by A.Hameurlain, J.Kung, R.Wagner.-Berlin: Springer, 2013. -Vol. 7980.-123 p.-(Lecture Notes in Computer Science). 32. Advances in Neural Networks - ISNN 2013, Part I: Proc./10th International Symposium on NN, Dalian, China, July 2013/Ed. by C.Guo, Z.-G.Hou, Zh.Zeng.-Berlin: Springer, 2013.-Vol. 7951.-687 p.-(Lecture Notes in Computer Science). 33. Advances in Neural Networks - ISNN 2013, Part II: Proc./10th International Symposium on NN, Dalian, China, July 2013/Ed. by C.Guo, Z.-G.Hou, Zh.Zeng.-Berlin: Springer, 2013.-Vol. 7952.-653 p.-(Lecture Notes in Computer Science). 34. Human Factors in Computing and Informatics: Proc./1st International Conference, SouthCHI 2013, Maribor, Slovenia, July 2013/Ed. by A.Holzinger, M.Ziefle, M.Hitz, M.Debevc.-Berlin: Springer, 2013.-Vol. 7946.-845p.-(Lecture Notes in Computer Science). 35. Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data: Proc./3rd International Workshop, HCI-KDD 2013, Held at SouthCHI 2013, Maribor, Slovenia, July 2013/Ed. by A.Holzinger, G.Pasi.-Berlin: Springer, 2013. -Vol. 7947.-442 p.-(Lecture Notes in Computer Science). 36. Algorithms and Complexity: Proc./8th International Conference, CIAC 2013, Barcelona, Spain, May 2013/Ed. by P.G.Spirakis, M.Serna.-Berlin: Springer, 2013.-Vol. 7878.-384 p. -(Lecture Notes in Computer Science). 37. Applications and Theory of Petri Nets and Concurrency: Proc./34th International Conference, PETRI NETS 2013, Milan, Spain, June 2013/Ed. by J,-M.Colom, J.Desel.-Berlin: Springer, 2013.-Vol. 2927.-411 p.-(Lecture Notes in Computer Science). 38. Theory and Practice of Model Transformations: Proc./6th International Conference, ICMT 2013, Budapest, Hungary, June 2013/ Ed. by K.Duddy, G.Kappel.-Berlin: Springer, 2013.-Vol. 7909.-221 p.-(Lecture Notes in Computer Science). 39. Integrated Formak Methods: Proc./10th International Conference, IFM 2013, Turku, Finland, June 2013/Ed. by E.B.Johnsen, L.Petre.-Berlin: Springer, 2013.-Vol. 7940.-443 p. -(Lecture Notes in Computer Science). 40. Experimental Algorithms: Proc./12th International Symposium, SEA 2013, Rome, Italy, June 2013/Ed. by V.Bonifaci, C.Demetrescu, A.Marchetti-Spaccamela.-Berlin: Springer, 2013. -Vol. 7933.-416 p.-(Lecture Notes in Computer Science). 41. Transactions on Computational Science XVIII/Ed. by M.L.Gavrilova, C.J.K.Tan.-Berlin: Springer, 2013.-Vol. 7848.-265 p.-(Lecture Notes in Computer Science). 42. Software Architecture: Proc./7th European Conference, ECSA 2013, Montpellier, France, July 2013/Ed. by K.Drira.-Berlin: Springer, 2013.-Vol. 7957.-354 p.-(Lecture Notes in Computer Science). 43. Unconventional Computation and Natural Computation: Proc./12th International Conference, UCNC 2013, Milan, Italy, July 2013/Ed. by G.Mauri, A.Dennunzio, L.Manzoni, A.E.Porreca. -Berlin: Springer, 2013.-Vol. 7956.-262 p.-(Lecture Notes in Computer Science). 44. Modelling Foundations and Applications: Proc./9th European Conference, ECMFA 2013, Montpellier, France, July 2013/Ed. by P.Van_Gorp, T.Ritter, L.M.Rose.-Berlin: Springer, 2013.-Vol. 7949. -237 p.-(Lecture Notes in Computer Science). 45. Advanced Information Systems Engineering: Proc./25th International Conference, CAiSE 2013, Valencia, Spain, June 2013/ Ed. by C.Salinesi, M.C.Norrie, O.Pastor.-Berlin: Springer, 2013. -Vol. 7908.-706 p.-(Lecture Notes in Computer Science). 46. Gerth Ch. Business Process Models: Change Management.- Berlin: Springer, 2013.- 218 p.-(Lecture Notes in Computer Science; Vol. 7849). 47. Frontiers in Algorithms and Algorithmic Aspects in Information and Management: Proc./3rd Joint International Conference, FAW-AAIM 2013, Dalian, China, June 2013/Ed. by M.Fellows, X.Tan, B.Zhu.-Berlin: Springer, 2013.-Vol. 7924.-364 p. -(Lecture Notes in Computer Science). 48. Big Data: Proc./29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 2013/Ed. by G.Gottlob, G.Grasso, D.Olteanu, Ch.Schallhart.-Berlin: Springer, 2013.-Vol. 7968.-303 p.-(Lecture Notes in Computer Science). 49. Inductive Logic Programming: Revised Selected Papers/22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 2012/Ed. by F.Riguzzi, F.Zelezny.-Berlin: Springer, 2013.-Vol. 7842.-273 p.-(Lecture Notes in Artificial Intelligence). 50. Artificial General Intelligence: Proc./6th International Conference, AGI 2013, Beijing, China, July 2013/Ed. by K.-U.Kuhnberger, S.Rudolph, P.Wang.-Berlin: Springer, 2013.-Vol. 7999.-207 p.-(Lecture Notes in Artificial Intelligence). 51. Artificial Intelligence in Education: Proc./16th International Conference, AIED 2013, Memphis,TN,USA, July 2013/ Ed. by H.C.Lane, K.Yacef, J.Mostow, Ph.Pavlik.-Berlin: Springer, 2013.-Vol. 7926.-961 p.-(Lecture Notes in Artificial Intelligence). 52. Machine Learning and Data Mining in Pattern Recognition: Proc./9th International Conference. MLDM 2012, New York,NY,USA, July 2013/Ed. by P.Perner.-Berlin: Springer, 2013.-Vol. 7988. -660 p.-(Lecture Notes in Artificial Intelligence). 53. Agreement Technologies: Proc./2nd International Conference, AT 2013, Beijing, China, August 2013/Ed. by C.I.Chesnevar, E.Onaindia, S.Ossowski, G.Vouros.-Berlin: Springer, 2013.-Vol. 8068.-241 p.-(Lecture Notes in Artificial Intelligence). 54. Case-Based Reasoning Research and Development: Proc./21st International Conference, ICCBR 2013, Saratoga Springs,NY,USA, July 2013/Ed. by S.J.Delany, S.Ontanon.-Berlin: Springer, 2013. -Vol. 7969.-374 p.-(Lecture Notes in Artificial Intelligence). 55. Multi-Agent-Based Simulation XIII: Revised Selected Papers/ International Workshop, MABS 2012, Valencia, Spain, June 2012/Ed. by F.Giardini, F.Amblard.-Berlin: Springer, 2013.-Vol. 7838.-157 p.-(Lecture Notes in Artificial Intelligence). 56. Programming Multi-Agent Systems: Revised Selected Papers/10th International Workshop, ProMAS 2012, Valencia, Spain, June 2012/Ed. by M.Dastani, J.F.Hubner, B.Logan.-Berlin: Springer, 2013.-Vol. 7837.-245 p.-(Lecture Notes in Artificial Intelligence). 57. Data Integration in the Life Science: Proc./9th International Conference, DILS 2013, Montreal,QC,Canada, July 2013 /Ed. by Ch.J.O.Baker, G.Butler, I.Jurisica.-Berlin: Springer, 2013.-Vol. 7970.-169 p.-(Lecture Notes in Bioinformatics). 58. Web-Age Information Management: Proc./WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June 2013/Ed. by Y.Gao, K.Shim, Zh.Ding, P.Jin. -Berlin: Springer, 2013.-Vol. 7901.-396 p.-(Lecture Notes in Computer Science). 59. Smart Health: Proc./International Conference, ICSH 2013, Beijing, China, August 2013/Ed. by D.Zeng, Ch.C.Yang, V.S.Tseng, Ch.Xing.-Berlin: Springer, 2013.-Vol. 8040.-151 p.-(Lecture Notes in Computer Science). 60. Transactions on Computational Science XIX: Special Issue on Computer Graphics/Ed. by M.L.Gavrilova, C.J.K.Tan.-Berlin: Springer, 2013.-Vol. 7870.-169 p.-(Lecture Notes in Computer Science). 61. Hybrid Learning and Continuing Education: Proc./6th International Conference, ICHL 2013, Toronto,ON,Canada, August 2013/Ed. by S.K.S.Cheung, J.Fong, W.Fong, F.L.Wang.-Berlin: Springer, 2013.-Vol. 8038.-411 p.-(Lecture Notes in Computer Science). 62. Transactions on Pattern Languages of Programming III/Ed. by J.Noble, R.Johnson.-Berlin: Springer, 2013.-Vol. 7840.-195 p. -(Lecture Notes in Computer Science). 63. Developments in Language Theory: Proc./17th International Conference, DLT 2013, Marne-la-Vallee, France, June 2013/Ed. by M.-P.Beal, O.Carton.-Berlin: Springer, 2013.-Vol. 7907.-460 p. -(Lecture Notes in Computer Science). 64. Language Processing and Intelligent Information Systems: Proc./20th International Conference, IIS 2013, Warsaw, Poland, June 2013/Ed. by M.A.Klopotek, J.Koronacki, M.Marciniak, A.Mykowiecka.-Berlin: Springer, 2013.-Vol. 7912.-269 p.-(Lecture Notes in Computer Science). 65. Unifying Theories of Programming and Formal Engineering Methods: Advanced Lectures/ International Training School on Software Engineering Held as ICTAC 2013, Shanghai, China, August 2013/Ed. by Z.Liu, J.Woodcock, H.Zhu.-Berlin: Springer, 2013. -Vol. 8050.-283 p.-(Lecture Notes in Computer Science). 66. Theory, Practice, and Applications of Rules on the Web: Proc./7th International Symposium, RuleML 2013, Seattle,WA,USA, July 2013/Ed. by L.Morgenstern, P.Stefaneas, F.Levy, A.Wyner. -Berlin: Springer, 2013.-Vol. 8035.-249 p.-(Lecture Notes in Computer Science). 67. Interactive Theorem Proving: Proc./4th International Conference, ITP 2013, Rennes, France, July 2013/Ed. by S.Blazy, Ch.Paulin-Mohring, D.Pichardie.-Berlin: Springer, 2013.-Vol. 7998. -498 p.-(Lecture Notes in Computer Science). 68. Model Checking Software: Proc./20th International Symposium, SPIN 2013, Stony Brook,NY,USA, July 2013/Ed. by E.Bartocci, C.R.Ramakrishnan.-Berlin: Springer, 2013.-Vol. 7976.-377 p. -(Lecture Notes in Computer Science). 69. Theoretical Aspects of Computing - ICTAC 2013: Proc./10th International Colloquium, Shanghai, China, September 2013/Ed. by Z.Liu, J.Woodcock, H.Zhu.-Berlin: Springer, 2013.-Vol. 8049.-445 p.-(Lecture Notes in Computer Science). 70. Search Based Software Engineering: Proc./5th International Symposium, SSBSE 2013, St.Petersburg, Russia, August 2013/Ed. by G.Ruhe, Y.Zhang.-Berlin: Springer, 2013.-Vol. 8084.-326 p. -(Lecture Notes in Computer Science). 71. The Nature of Computation: Proc./9th Conference on Computability in Europea, CiE 2013, ilan, Italy, July 2013/Ed. by P.Bonizzoni, V.Brattka, B.Lowe.-Berlin: Springer, 2013.-Vol. 7921. -446 p.-(Lecture Notes in Computer Science). 72. Theory and Applications of Satisfiability Testing - SAT 2013: Proc./16th International Conference, Helsinki, Finland, July 2013/Ed. by M.Jarvisalo, A.Van_Gelder.-Berlin: Springer, 2013.-Vol. 7962.-437 p.-(Lecture Notes in Computer Science). 73. Automata, Languages, and Programming, Part I: Proc./40th International Colloquium, ICALP 2013, Riga, Latvia, July 2013/Ed. by F.V.Fomin, R.Freivalds, M.Kwiatkowska, D.Peleg.-Berlin: Springer, 2013.-Vol. 7965.-854 p.-(Lecture Notes in Computer Science). 74. Automata, Languages, and Programming, Part II: Proc./40th International Colloquium, ICALP 2013, Riga, Latvia, July 2013/Ed. by F.V.Fomin, R.Freivalds, M.Kwiatkowska, D.Peleg.-Berlin: Springer, 2013.-Vol. 7966.-698 p.-(Lecture Notes in Computer Science). 75. Symbolic and Quantitative Approaches to Reasoning with Uncertainty: Proc./12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 2013/Ed. by L.C.Van_Der_Gaag. -Berlin: Springer, 2013.-Vol. 7958.-536 p.-(Lecture Notes in Artificial Intelligence).