30.09.2013

Hовые поступления с 3 по 30 сентября 2013 года

  1. CONCUR 2013 - Concurrency Theory: Proc./24th International 
Conference, CONCUR 2013, Buenos Aires, Argentina, August 2013/Ed. 
by  P.R.D'Argenio, H.Melgratti.-Berlin: Springer, 2013.-Vol. 8052.
-562 p.-(Lecture Notes in Computer Science).
 
  2. Approximation, Randomization, and Combinatorial 
Optimization: Algorithms and Techniques: Proc./16th International 
Workshop, APPROX 2013 and 17th International Workshop, RANDOM 
2013, Berkley,CA,USA, August 2013/Ed. by  P.Raghavendra.-Berlin: 
Springer, 2013.-Vol. 8096.-716 p.-(Lecture Notes in Computer 
Science).
 
  3. Similarity-Based Pattern Recognition: Proc./2nd 
International Workshop, SIMBAD 2013, York, UK, July 2013/Ed. by  
E.Hancock, M.Pelillo.-Berlin: Springer, 2013.-Vol. 7953.-297 p.
-(Lecture Notes in Computer Science).
 
  4. Design Science at the Intersection of Physical and Virtual 
Design: Proc./8th International Conference, DESRIST 2013, 
Helsinki, Finland, June 2013/Ed. by  J.Vom_Brocke, R.Hekkala, 
S.Ram, M.Rossi.-Berlin: Springer, 2013.-Vol. 7939.-528 p.
-(Lecture Notes in Computer Science).
 
  5. Advances in Cryptology - CRYPTO 2013, Part I: Proc./33rd 
Annual Cryptology Conference, Santa Barbara,CA,USA, August 2013/
Ed. by  R.Canetti, J.A.Garay.-Berlin: Springer, 2013.-Vol. 8042.
-590 p.-(Lecture Notes in Computer Science).
 
  6. Advances in Cryptology - CRYPTO 2013, Part II: Proc./33rd 
Annual Cryptology Conference, Santa Barbara,CA,USA, August 2013/
Ed. by  R.Canetti, J.A.Garay.-Berlin: Springer, 2013.-Vol. 8043.
-556 p.-(Lecture Notes in Computer Science).
 
  7. Data and Applications Security and Privacy XXVII: Proc./27th 
Annual IFIP WG 11.3 Conference, DBSec 2013, Newark,NJ,USA, July 
2013/Ed. by  L.Wang, B.Shafig.-Berlin: Springer, 2013.-Vol. 7964.
-305 p.-(Lecture Notes in Computer Science).
 
  8. Privacy Enhancing Technologies: Proc./13th International 
Symposium, PETS 2013, Bloomington,IN,USA, July 2013/Ed. by  
E.De_Cristofaro, M.Wright.-Berlin: Springer, 2013.-Vol. 7981.-265 
p.-(Lecture Notes in Computer Science).
 
  9. Detection of Intrusions and Malware, and Vulnerability 
Assessment: Proc./10th International Conference, DIMVA 2013, 
Berlin, Germany, July 2013/Ed. by  K.Rieck, P.Stewin, J.-P.Seifert.
-Berlin: Springer, 2013.-Vol. 7967.-207 p.-(Lecture Notes in 
Computer Science).
 
 10. Integrated Uncertainty in Knowledge Modelling and Decision 
Making: Proc./ International Symposium, IUKM 2013, Beijing, 
China, July 2013/Ed. by  Z.Qin, V,-N.Huynh.-Berlin: Springer, 2013.
-Vol. 8032.-219 p.-(Lecture Notes in Artificial Intelligence).
 
 11. Advances in Nonlinear Speech Processing: Proc./6th 
International Conference, NOLISP 2013, Mons, Belgium, June 2013/
Ed. by  Th.Drugman, Th.Dutoit.-Berlin: Springer, 2013.-Vol. 7911.
-217 p.-(Lecture Notes in Artificial Intelligence).
 
 12. Advances in Brian Inspired Cognitive Systems: Proc./6th 
International Conference, BICS 2013, Beijing, China, June 2013/
Ed. by  D.Liu, C.Alippi, D.Zhao, A.Hussain.-Berlin: Springer, 2013.
-Vol. 7888.-418 p.-(Lecture Notes in Artificial Intelligence).

 13. Pattern Recognition in Bioinformatics: Proc./8th IAPR 
International Conference, PRIB 2013, Nice, France, June 2013/Ed. 
by  A.Ngom, E.Formenti, J.-K.Hao, X.-M.Zhao.-Berlin: Springer, 
2013.-Vol. 7986.-290 p.-(Lecture Notes in Bioinformatics).
 
 14. User Modeling, Adaptation, and Personalization: Proc./21th 
International Conference, UMAP 2013, Rome, Italy, June 2013/Ed. 
by  S.Carberry, S.Weibelzahl, A.Micarelli, G.Semeraro.-Berlin: 
Springer, 2013.-Vol. 7899.-416 p.-(Lecture Notes in Computer 
Science).
 
 15. Natural Language Processing and Information Systems: 
Proc./18th International Conference, NLBL 2013, Salford, UK, June 
2013/Ed. by  E.Metais, F.Meziane, M.Saraee, V.Sugumaran.-Berlin: 
Springer, 2013.-Vol. 7934.-426 p.-(Lecture Notes in Computer 
Science).
 
 16. Ахматов А.А. Начальный курс пользователя операционной 
системы Linux.- М.: ЗАО "Новый издательский дом", 2004.- 448 с.
-Библиогр.: c.438-440.
 
 17. Андерсон Дж. Дискретная математика и комбинаторика/с англ. 
М.М.Белова.- М.: Издательский дом "Вильямс", 2003.- 960 с.
-Библиогр.: c.850-855.
 
 18. Ляхов Д. Linux для начинающих.- М.: Бестселлер, 2003.- 256 с.
 
 19. Human-Computer Interaction. Human-Centred Design Approaches, 
Methods, Tools, and Environments, Part I: Proc./15th 
International Conference, HCI International 2013, Las 
Vegas,NV,USA, July 2013/Ed. by  M.Kurosu.-Berlin: Springer, 2013.
-Vol. 8004.-640 p.-(Lecture Notes in Computer Science).
 
 20. Human-Computer Interaction. Applications and Services, Part 
II: Proc./15th International Conference, HCI International 2013, 
Las Vegas,NV,USA, July 2013/Ed. by  M.Kurosu.-Berlin: Springer, 
2013.-Vol. 8005.-670 p.-(Lecture Notes in Computer Science).
 
 21. Human-Computer Interaction. Users and Contexts of Use, Part 
III: Proc./15th International Conference, HCI International 2013, 
Las Vegas,NV,USA, July 2013/Ed. by  M.Kurosu.-Berlin: Springer, 
2013.-Vol. 8006.-510 p.-(Lecture Notes in Computer Science).
 
 22. Human-Computer Interaction. Interaction Modalities and 
Techniques, Part IV: Proc./15th International Conference, HCI 
International 2013, Las Vegas,NV,USA, July 2013/Ed. by  M.Kurosu.
-Berlin: Springer, 2013.-Vol. 8007.-768 p.-(Lecture Notes in 
Computer Science).
 
 23. Human-Computer Interaction. Towards Intelligent and Implicit 
Interaction, Part V: Proc./15th International Conference, HCI 
Interaction 2013, Las Vegas,NV,USA, July 2013/Ed. by  M.Kurosu.
-Berlin: Springer, 2013.-Vol. 8008.-514 p.-(Lecture Notes in 
Computer Science).
 
 24. Universal Access in Human-Computer Interaction. Design 
Methods, Tools, and Interaction Techniques for elnclusion, Part 
I: Proc./7th International Conference, UAHCI 2013 Held as Part of 
HCI International 2013, Las Vegas,NV,USA, July 2013/Ed. by  
M.Antona.-Berlin: Springer, 2013.-Vol. 8009.-707 p.-(Lecture 
Notes in Computer Science).

 25. Universal Access in Human-Computer Imteraction. User and 
Context Diversity, Part II: Proc./7th International Conference, 
UAYCI 2013 Held as Part of HCI International 2013, Las 
Vegas,NV,USA, July 2013/Ed. by  C.Stephanidis, M.Antona.-Berlin: 
Springer, 2013.-Vol. 8010.-741 p.-(Lecture Notes in Computer 
Science).
 
 26. Universal Access in Human-Computer Interaction. Applications 
and Services for Quality of Life, Part III: Proc./7th 
International Conference, UAHCI 2013 Held as Part of HCI 
International 2013, Las Vegas,NV,USA, July 2013/Ed. by  M.Antona.
-Berlin: Springer, 2013.-Vol. 8011.-697 p.-(Lecture Notes in 
Computer Science).
 
 27. Design, User Experience, and Usability. Design Philosoophy, 
Methods, and Tools, Part I: Proc./2nd International Conference, 
DUXU 2013 Held as Part of HCI International 2013, Las 
Vegas,NV,USA, July 2013/Ed. by  A.Marcus.-Berlin: Springer, 2013.
-Vol. 8012.-646 p.-(Lecture Notes in Computer Science).
 
 28. Design, User Experience, and Usability. Health, Learning, 
Playing, Cultural and Cross-Cultural User Experince, Part II: 
Proc./2nd International Conference, DUXU 2013 Held as Part of HCI 
International 2013, Las Vegas,NV,USA, Juky 2013/Ed. by  A.Marcus.
-Berlin: Springer, 2013.-Vol. 8013.-622 p.-(Lecture Notes in 
Computer Science).
 
 29. Design, User Experience, and Usability. User Experience in 
Novel Technological Environments, Part III: Proc./2nd 
International Conference, DUXU 2013 Held as Part of HCI 
International 2013, Las Vegas,NV,USA, July 2013/Ed. by  A.Marcus.
-Berlin: Springer, 2013.-Vol. 8014.-612 p.-(Lecture Notes in 
Computer Science).
 
 30. Design, User Experience, and Usability, Web, Mobile, and 
Product Design, Part IV: Proc./2nd International Conference, DUXU 
2013 Held as Part of HCI International 2013, Las Vegas,NV,USA, 
July 2013/Ed. by  A.Marcus.-Berlin: Springer, 2013.-Vol. 8015.
-758 p.-(Lecture Notes in Computer Science).
 
 31. Human Interface and the Management of Information. 
Information and Interaction Design, Part I: Proc./15th 
International Conference, HCI International 2013, Las 
Vegas,NV,USA, July 2013/Ed. by  S.Yamamoto.-Berlin: Springer, 2013.
-Vol. 8016.-685 p.-(Lecture Notes in Computer Science).
 
 32. Human Interface and the Management of Information. 
Information and Interaction for Health, Safety, Mobility and 
Complex Environment, Part II: Proc./15th International 
Conference, HCI International 2013, Las Vegas,NV,USA, July 2013/
Ed. by  S.Yamamoto.-Berlin: Springer, 2013.-Vol. 8017.-619 p.
-(Lecture Notes in Computer Science).
 
 33. Human Interface and the Management of Information, 
Information and Interaction for Learning, Culture, Collaboration 
and Business, Part III: Proc./15th International Conference, HCI 
International 2013, Las Vegas,NV,USA, July 2013/Ed. by  S.Yamamoto.
-Berlin: Springer, 2013.-Vol. 8018.-665 p.-(Lecture Notes in 
Computer Science).
 
 34. Engineering Psychology and Cognitive Ergonomics, 
Understanding Human Cognition, Part I: Proc./10th International 
Conference, EPCE 2013 Held as Part of HCI International 2013, Las 
Vegas,NV,USA, July 2013/Ed. by  D.Harris.-Berlin: Springer, 2013.
-Vol. 8019.-375 p.-(Lecture Notes in Artificial Intelligence).

 35. Engineering Psychology and Cognitive Ergonomics. 
Applications and Services, Part II: Proc./10th International 
Conference, EPCE 2013 Held as Part of HCI International 2013, Las 
Vegas,NV,USA, July 2013/Ed. by  D.Harris.-Berlin: Springer, 2013.
-Vol. 8020.-383 p.-(Lecture Notes in Artificial Intelligence).
 
 36. Lightweight Cryptography for Security and Privacy: Revised 
Selected Papers/2nd International Workshop, LightSec 2013, Gebze, 
Turkey, May 2013/Ed. by  G.Avoine, O.Kara.-Berlin: Springer, 2013.
-Vol. 8162.-143 p.-(Lecture Notes in Computer Science).
 
 37. Communications and Multimedia Security: Proc./14th IFIP TC 
6/TC 11 International Conference, CMS 2013, Magdeburg, Germany, 
September 2013/Ed. by  B.De_Decker, J.Dittmann, Ch.Kraetzer, 
C.Vielhauer.-Berlin: Springer, 2013.-Vol. 8099.-249 p.-(Lecture 
Notes in Computer Science).
 
 38. Computer Safety, Reliability, and Security: Proc./32nd 
Internatinal Conference, SAFECOMP 2013, Toulouse, France, 
September 2013/Ed. by  F.Bitsch, J.Guiochet, M.Kaaniche.-Berlin: 
Springer, 2013.-Vol. 8153.-304 p.-(Lecture Notes in Computer 
Science).
 
 39. Public Key Infrastructures, Services and Applications: 
Revised Selected Papers/9th European Workshop, EuroPKI 2012, 
Pisa, Italy, September 2012/Ed. by  S.De_Capitani_Di_Vimercati, 
C.Mitchell.-Berlin: Springer, 2013.-Vol. 7868.-195 p.-(Lecture 
Notes in Computer Science).
 
 40. Trust, Privacy, and Security in Digital Business: Proc./10th 
International Conference, TrustBus 2013, Prague, Czech Republic, 
August 2013/Ed. by  S.Furnell, C.Lambrinoudakis, J.Lopez.-Berlin: 
Springer, 2013.-Vol. 8058.-199 p.-(Lecture Notes in Computer 
Science).
 
 41. Financial Cryptography and Data Security: Revised Selected 
Papers/17th International Conference, FC 2013, Okinawa. Japan, 
April 2013/Ed. by  A.-R.Sadeghi.-Berlin: Springer, 2013.-Vol. 7859.
-406 p.-(Lecture Notes in Computer Science).
 
 42. Cryptographic Hardware and Embedded Systems - CHES 2013: 
Proc./15th International Workshop, Santa Barbara,CA,USA, August 
2013/Ed. by  G.Bertoni, J.-S.Coron.-Berlin: Springer, 2013.-Vol. 
8086.-490 p.-(Lecture Notes in Computer Science).
 
 43. Internet of Things, Smart Spaces, and Next Generation 
Networking: Proc./13th International Conference, NEW2AN 2013 and 
6th Conference, ruSMART 2013, St,Petersburg, Russia, August 2013/
Ed. by  S.Balandin, S.Andreev, Ye.Koucheryavy.-Berlin: Springer, 
2013.-Vol. 8121.-440 p.-(Lecture Notes in Computer Science).
 
 44. Web Engineering: Proc./13th International Conference, ICWE 
2013, Aalborg, Denmark, July 2013/Ed. by  F.Dsniel, P.Dolog, Q.Li.
-Berlin: Springer, 2013.-Vol. 7977.-528 p.-(Lecture Notes in 
Computer Science).
 
 45. Ad-hoc, Mobile, and Wireless Network: Proc./12th 
International Conference, ADHOC-NOW 2013, Wroclaw, Poland, July 
2013/Ed. by  J.Cichon, M.Gebala, M.Klonowski.-Berlin: Springer, 
2013.-Vol. 7960.-329 p.-(Lecture Notes in Computer Science).
 
 46. E-Voting and Identity: Proc./4th International Conference, 
Vote-ID 2013, Guildorf, UK, July 2013/Ed. by  J.Heather, 
S.Schneider, V.Teague.-Berlin: Springer, 2013.-Vol. 7985.-211 p.
-(Lecture Notes in Computer Science).

 47. Web Reasoning and Rule Systems: Proc./7th International 
Conference, RR 2013, Mannheim, Germany, July 2013/Ed. by  
W.Faber, D.Lembo.-Berlin: Springer, 2013.-Vol. 7994.-272 p.
-(Lecture Notes in Computer Science).
 
 48. Constructive Side-Channel Analysis and Secure Design: 
Revised Selected Papers/4th International Workshop, COSADE 2013, 
Paris, France, March 2013/Ed. by  E.Prouff.-Berlin: Springer, 2013.
-Vol. 7864.-215 p.-(Lecture Notes in Computer Science).
 
 49. Benchmarking Peer-To-Peer Systems: Understandig Quality of 
Service in Large-Scale Distribured Systems/Ed. by  W.Effelsberg, 
R.Steinmetz, Th.Strufe.-Berlin: Springer, 2013.-Vol. 7847.-197 p.
-(Lecture Notes in Computer Science).
 
 50. Intelligence and Security Informatics: Proc./ Pacific Asia 
Workshop, PAISI 2013, Beijing, China, August 2013/Ed. by  
G.A.Wang, X.Zheng, M.Chau, H.Chen.-Berlin: Springer, 2013.-Vol. 
8039.-117 p.-(Lecture Notes in Computer Science).
 
 51. Reasoning Web. Semantic Technologies for Intelligent Data 
Access: Proc./9th International Summer Schook 2013, Mannheim, 
Germany, July 2013/Ed. by  S.Rudolph, G.Gottlob, I.Horrocks, 
F.Van_Harmelen.-Berlin: Springer, 2013.-Vol. 8067.-285 p.
-(Lecture Notes in Computer Science).
 
 52. Trust and Trustworthy Computing: Proc./6th International 
Conference, TRUST 2013, London, UK, June 2013/Ed. by  M.Huth, 
N.Asokan, S.Capkun, I.Flechais.-Berlin: Springer, 2013.-Vol. 7904.
-278 p.-(Lecture Notes in Computer Science).
 
 53. Information Security and Privacy: Proc./18th Australasian 
Conference, ACISP 2013, Brisbane,QLD,Australia, June 2013/Ed. by  
C.Boyd, L.Simpson.-Berlin: Springer, 2013.-Vol. 7959.-437 p.
-(Lecture Notes in Computer Science).
 
 54. Information Processing in Computer-Assisted Interventions: 
Proc./4th International Conference, IPCAI 2013, Heidelberg, 
Germany, June 2013/Ed. by  D.Barratt, S.Cotin, G.Fichtinger, 
P.Jannin.-Berlin: Springer, 2013.-Vol. 7915.-111 p.-(Lecture 
Notes in Computer Science).
 
 55. Post-Quantum Cryptography: Proc./5th International Workshop, 
PQCrypto 2013, Limoges, France, June 2013/Ed. by  Ph.Gaborit.
-Berlin: Springer, 2013.-Vol. 7932.-259 p.-(Lecture Notes in 
Computer Science).
 
 56. Applied Cryptography and Network Security: Proc./11th 
International Conference, ACNS 2013, Banff,AB,Canada, June 2013/
Ed. by  M.Jacobson, M.Locasto, P.Mohassel, R.Safavi-Naini.-Berlin:
 Springer, 2013.-Vol. 7954.-572 p.-(Lecture Notes in Computer 
Science).
 
 57. Emerging Management Mechanisms for the Future Internet: 
Proc./7th IFIP WG 6.6 International Conference, on Autonomous 
Infrastructure, Management, and Security, AIMS 2013, Barcelona, 
Spain, June 2013/Ed. by  G.Doyen, M.Waldburger, P.Celeda, 
A.Sperotto.-Berlin: Springer, 2013.-Vol. 7943.-161 p.-(Lecture 
Notes in Computer Science).
 
 58. Virtual, Augmented and Mixed Reality. Designing and 
Developing Augmented and Virtual Environments, Part I: Proc./5th 
International Conference, VAMR 2013 Held as Part of HCI 
International 2013, Las Vegas,NV,USA, July 2013/Ed. by  R.Shumaker.
-Berlin: Springer, 2013.-Vol. 8021.-399 p.-(Lecture Notes in 
Computer Science).

 59. Virtual, Augmented and Mixed Reality. Systems and 
Applications, Part II: Proc./5th International Conference, VAMR 
2013 Held as Part of HCI International 2013, Las Vegas,NV,USA, 
July 2013/Ed. by  R.Shumaker.-Berlin: Springer, 2013.-Vol. 8022.
-445 p.-(Lecture Notes in Computer Science).
 
 60. Cross-Cultural Design. Methods, Practice, and Case Studies, 
Part I: Proc./ 5th International Conference, CCD 2013 Held as 
Part of HCI International 2013, Las Vegas,NV,USA, July 2013/Ed. 
by  P.L.P.Rau.-Berlin: Springer, 2013.-Vol. 8023.-548 p.-(Lecture 
Notes in Computer Science).
 
 61. Cross-Cultural Design. Cultural Differences in Everyday 
Life, Part II: Proc./5th International Conference, CCD 2013 Held 
as Part of HCI International 2013, Las Vegas,N,USA, July 2013/Ed. 
by  P.L.P.Rau.-Berlin: Springer, 2013.-Vol. 8024.-488 p.-(Lecture 
Notes in Computer Science).
 
 62. Digital Human Modeling and Applications in Health, Safety, 
Ergonomics, and Risk Management, Part I: Proc./4th International 
Conference, DHM 2013 Held as Part of HCI International 2013, Las 
Vegas,NV,USA, July 2013/Ed. by  V.G.Duffy.-Berlin: Springer, 2013.
-Vol. 8025.-386 p.-(Lecture Notes in Computer Science).
 
 63. Digital Human Modeling and Applications in Health, Safety, 
Ergonomics, and Risk Management, Part II: Proc./4th International 
Conference, DHM 2013, Held as Part of HCI International 2013, Las 
Vegas,NV,USA, July 2013/Ed. by  V.G.Duffy.-Berlin: Springer, 2013.
-Vol. 8026.-412 p.-(Lecture Notes in Computer Science).
 
 64. Foundations of Augmented Cognition: Proc./7th International 
Conference, AC 2013, Held as Part of HCI International 2013, Las 
Vegas,NV,USA, July 2013/Ed. by  D.D.Schmorrow, C.M.Fidopiastis.
-Berlin: Springer, 2013.-Vol. 8027.-796 p.-(Lecture Notes in 
Artificial Intelligence).
 
 65. Distributed, Ambient, and Pervasive Interactions: Proc./1st 
International Conference, DAPI 2013, Held as Part of HCI 
International 2013, Las Vegas, NV,USA, July 2013/Ed. by  
N.Streitz, C.Stephanidis.-Berlin: Springer, 2013.-Vol. 8028.-517 
p.-(Lecture Notes in Computer Science).
 
 66. Online Communities and Social Computing: Proc./5th 
Internatioal Conference, OCSC 2013, Hela as Part of HCI 
International 2013, Las Vegas, NV,USA, July 2013/Ed. by  
A.A.Ozok, R.Zaphiris.-Berlin: Springer, 2013.-Vol. 8029.-452 p.
-(Lecture Notes in Computer Science).
 
 67. Human Aspects of Information Security, Privacy, and Trust: 
Proc./1st International Conference, HAS 2013, Held as Part of HCI 
International 2013, Las Vegas, NV,USA, July 2013/Ed. by  
L.Marinos, I.Askoxylakis.-Berlin: Springer, 2013.-Vol. 8030.-378 
p.-(Lecture Notes in Computer Science).
 
 68. Web-Age Information Management: Proc./14th International 
Conference, WAIM 2013, Beidaihe, China, June 2013/Ed. by  J.Wang, 
H.Xiong, Y.Ishikava, J.Xu.-Berlin: Springer, 2013.-Vol. 7923.-812 
p.-(Lecture Notes in Computer Science).
 
 69. Wireless Access Flexibility: Proc./1st International 
Workshop, WiFlex 2013, Kaliningrad, Russia, September 2013/Ed. by 
G.Bianchi, A.Lyakhov, E.Khorov.-Berlin: Springer, 2013.-Vol. 8072.
-159 p.-(Lecture Notes in Computer Science).
 
 70. Wireless Algorithms, Systems, and Applications: Proc./8th 
International Conference, WASA 2013, Zhangjiajie, China, August 
2013/Ed. by  K.Ren, X.Liu, W.Liang, M.Xu.-Berlin: Springer, 2013.
-Vol. 7992.-536 p.-(Lecture Notes in Computer Science).
 
 71. Mobile Web Information Systems: Proc./10th International 
Conference, MobiWIS 2013, Paphos, Cyprus, August 2013/Ed. by  
F.Daniel, G.A.Papadopoulos, Ph.Thiran.-Berlin: Springer, 2013.
-Vol. 8093.-306 p.-(Lecture Notes in Computer Science).
 
 72. Euro-Par 2013 Parallel Processing: Proc./19th International 
Conference, Aachen, Germany, August 2013/Ed. by  F.Wolf, B.Mohr, 
D.An_Mey.-Berlin: Springer, 2013.-Vol. 8097.-890 p.-(Lecture 
Notes in Computer Science).
 
 73. Information Technologies for Performing Arts, Media Access, 
and Entertainment: Revised Selected Papers/2nd International 
Conference, ECLAP 2013, Porto, Portugal, April 2013/Ed. by  
P.Nesi, R.Santucci.-Berlin: Springer, 2013.-Vol. 7990.-289 p.
-(Lecture Notes in Computer Science).
 
 74. Intelligent Computing Theories: Proc./9th International 
Conference, ICIC 2013, Nanning, China, July 2013/Ed. by  
D.-S.Huang, V.Bevilacqua, J.C.Figueroa, P.Premaratne.-Berlin: 
Springer, 2013.-Vol. 7995.-651 p.-(Lecture Notes in Computer 
Science).
 
 75. Implementation and Application of Automata: Proc./18th 
International Conference, CIAA 2013, Halifax,NS,Canada, July 2013/
Ed. by  S.Konstantinidis.-Berlin: Springer, 2013.-Vol. 7982.-358 
p.-(Lecture Notes in Computer Science).
 
 76. Product-Focused Software Process Improvemet: Proc./14th 
International Conference, PROFES 2013, Paphos, Cyprus, June 2013/
Ed. by  J.Heidrich, M.Oivo, A.Jedlitschka, M.T.Baldassarre.-Berlin:
 Springer, 2013.-Vol. 7983.-374 p.-(Lecture Notes in Computer 
Science).
 
 77. Descriptional Complexity of Formal Systems: Proc./15th 
International Workshop, DCFS 2013, London,ON,Canada, July 2013/
Ed. by  H.Jurgensen, R.Reis.-Berlin: Springer, 2013.-Vol. 8031.
-289 p.-(Lecture Notes in Computer Science).
 
 78. Analytical and Stochastic Modelling Techniques and 
Applications: Proc./20th International Conference, ASMTA 2013, 
Ghent, Belgium, July 2013/Ed. by  A.Dudin, K.De_Turck.-Berlin: 
Springer, 2013.-Vol. 7984.-474 p.-(Lecture Notes in Computer 
Science).
 
 79. Hardware and Software: Verification and Testing: Revised 
Selected Papers/8th International Haifa Verification Conference, 
HVC 2012, Haifa, Israel, November 2012/Ed. by  A.Biere, A.Nahir, 
T.Vos.-Berlin: Springer, 2013.-Vol. 7857.-281 p.-(Lecture Notes 
in Computer Science).
 
 80. Inclusive Society: Health and Wellbeing in the Community, 
and Care at Home: Proc./11th International Conference on Smart 
Homes and Health Telematics, ICOST 2013, Singapore, June 2013/Ed. 
by  J.Biswas, H.Kobayashi, L.Wong, B.Abdulrazak.-Berlin: Springer,
 2013.-Vol. 7910.-332 p.-(Lecture Notes in Computer Science).
 
 81. Statistical Language and Speech Processing: Proc./1st 
International Conference, SLSP 2013, Tarragona, Spain, July 2013/
Ed. by  A.-H.Dediu, C.Martin-Vide, R.Mitkov, B.Truthe.-Berlin: 
Springer, 2013.-Vol. 7978.-309 p.-(Lecture Notes in Artificial 
Intelligence).

 82. Intelligent Computing Theories and Technology: Proc./9th 
International Conference, ICIC 2013, Nanning, China, July 2013/
Ed. by  D.-S.Huang, K.-H.Jo, Y.-Q.Zhou, K.Han.-Berlin: Springer, 
2013.-Vol. 7996.-693 p.-(Lecture Notes in Artificial 
Intelligence).
 
 83. Генрихов И.Е. Построение и исследование полных решающих 
деревьев для задач классификации по прецедентам: Автореф. дис... 
наукф.-м. наук: 05.13.17.-М., 2013.-23 с.-Библиогр.: c.22-23.
 
 84. Гольдштейн В.Б. Оценки чисел Борсука и Грюнбаума для (0,1)- 
и (-1,0,1)-многогранников в пространствах малой размерности: 
Автореф. дис... канд. ф.-м. наук: 01.01.09.-М., 2013.-11 с.
-Библиогр.: c.11.
 
 85. Решетняк Ю.Г., Кутателадзе С.С. Воспоминания об 
А.Д.Александрове.-Новосибирск, 2000.-35 с.-(Препринт/Институт 
математики СО РАН; N 80).
 
 86. Ткачев Ю.И. Методы решения задачи восстановления зависимости 
коллективами распознающих алгоритмов: Автореф. дис... канд. ф.-м. 
наук: 05.13.17.-М., 2013.-15 с.-Библиогр.: c.14-15.
 
 87. Principles and Practice of Constraint Programming/Ed. by  
V.Saraswat, P.V.Hentenryck.-Cambridge,Ms, London: The MIT Press, 
1995.-475 p.
 
 88. Scientific Computing, Validated Numerics, Interval Methods/
Ed. by  W.Kramer.-New York, Boston: Kluwer Academic Publishers, 
2000.-398 p.
 
 89. Constraint-Based Reasoning/Ed. by  E.C.Freuder, A.K.Mackworth.
-Cambridge, Ms, London: The MIT Press, 1994.-403 p.
 
 90. Constraint Logic Programming: Select Research/Ed. by  
F.Benhamou, A.Colmerauer.-Cambridge,Ms, London: The MIT Press, 
1993.-486 p.
 
 91. Automatic Differentiation of Algorithms: From Simulation to 
Optimization/Ed. by  G.Corlis, Ch.Faure, A.Griewank, L.Hascoet.
-New York, Berlin: Springer, 2002.-432 p.
 
 92. Gerstein L.J. Introduction to Mathematical Structures and 
Proofs.- New York, Berlin: Springer, 1996.- 350 p.
 
 93. Kowalski T.J., Levy L.S. Rule-Based Programming.- Boston, 
London: Kluwer Academic Publishers, 1996.- 305 p.
 
 94. Динь Вьет Шанг Алгоритмы подбора параметров комбинирования 
ациклических графов соседства в задачах обработки текстурных 
изображений: Автореф. дис... канд. тех. наук: 05.13.17.-Тула, 2013.
-23 с.-Библиогр.: c.23.



Вы обнаружили ошибку в следующем тексте:
Просто нажмите кнопку "Отправить сообщение об ошибке" для завершения. Вы можете также ввести комментарий (желательно).