Библиотека

02.09.2013

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).