Библиотека

09.12.2014

Hовые поступления с 10 ноября по 1 декабря 2014 года

  1. The Semantic Web - ISWC 2014, Part I: Proc./13th 
International Semantic Web Conference, Riva del Garda, Italy, 
October 2014/Ed. by  P.Mika, T.Tudorache, A.Bernstein, C.Welty.
-Berlin: Springer, 2014.-Vol. 8796.-623 p.-(Lecture Notes in 
Computer Science).
 
  2. The Semantic Web - ISWC 2014, Part II: Proc./13th 
International Semantic Web Conference, Riva del Garda, Italy, 
October 2014/Ed. by  P.Mika, T.Tudorache, A.Bernstein, C.Welty.
-Berlin: Springer, 2014.-Vol. 8797.-555 p.-(Lecture Notes in 
Computer Science).
 
  3. Reasoning Web. Reasoning on the Web in the Big Data Era: 
Proc./10th International Summer School 2014, Athens, Greece, 
September 2014/Ed. by  M.Koubarakis, G.Stamou, G.Stoilos, 
I.Horrocks.-Berlin: Springer, 2014.-Vol. 8714.-390 p.-(Lecture 
Notes in Computer Science).
 
  4. System Analysis and Modeling: Models and Reusability: 
Proc./8th Internatonal Conference, SAM 2014, Valencia, Spain, 
September 2014/Ed. by  D.Amyot, P.F.Casas, G.Mussbacher.-Berlin: 
Springer, 2014.-Vol. 8769.-314 p.-(Lecture Notes in Computer 
Science).
 
  5. Advances in Conceptual Modeling: Proc./ER 2014 Workshops, 
ENMO, MoBiD,MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, 
Atlanta,GA,USA, October 2014/Ed. by  M.Indulska, S.Purao.-Berlin: 
Springer, 2014.-Vol. 8823.-310 p.-(Lecture Notes in Computer 
Science).
 
  6. Conceptual Modeling: Proc./33rd International Conference, ER 
2014, Atlanta,GA,USA, October 2014/Ed. by  E.Yu, G.Dobbie, 
M.Jarke, S.Purao.-Berlin: Springer, 2014.-Vol. 8824.-476 p.
-(Lecture Notes in Computer Science).
 
  7. Business Process Management: Proc./12th International 
Conference, BPM 2014, Haifa, Israel, September 2014/Ed. by  
S.Sadiq, P.Soffer, H.Volzer.-Berlin: Springer, 2014.-Vol. 8659.
-434 p.-(Lecture Notes in Computer Science).
 
  8. Model-Driven Engineering Languages and Systems: Proc./17th 
International Conference, MODELS 2014, Valencia, Spain, September 
2014/Ed. by  J.Dingel, W.Schulte, I.Ramos, S.Abrahao.-Berlin: 
Springer, 2014.-Vol. 8767.-688 p.-(Lecture Notes in Computer 
Science).
 
  9. Leveraging Applications of Formal Methods, Virification and 
Validation: Technologies for Mastering Change, Part I: Proc./6th 
International Symposium, ISoLA 2014, Imperial, Corfu, Greece, 
October 2014/Ed. by  T.Margaria, B.Steffen.-Berlin: Springer, 2014.
-Vol. 8802.-547 p.-(Lecture Notes in Computer Science).
 
 10. Leveraging Application of Formal Methods, Verification and 
Validation: Specialized Techniques and Applications, Part II: 
Proc./6th International Symposium, ISoLA 2014, Imperial, Corfu, 
Greece, October 2014/Ed. by  T.Margaria, B.Steffen.-Berlin: 
Springer, 2014.-Vol. 8803.-644 p.-(Lecture Notes in Computer 
Science).
 
 11. Computational Logistics: Proc./5th International Conference, 
ICCL 2014, Valparaiso, Chile, September 2014/Ed. by  
R.G.Gonzalez-Ramirez, F.Schulte, S.Voss, J.A.C.Diaz.-Berlin: 
Springer, 2014.-Vol. 8760.-179 p.-(Lecture Notes in Computer 
Science).
 
 12. Internet and Distributed Computing Systems: Proc./7th 
International Conference, IDCS 2014, Calabria, Italy, September 
2014/Ed. by  G.Fortino, G.Di_Fatta, W.Li, S.Ochoa.-Berlin: 
Springer, 2014.-Vol. 8729.-458 p.-(Lecture Notes in Computer 
Science).
 
 13. Automated Technology for Verification and Analysis: 
Proc./12th International Symposium, ATVA 2014, 
Sydney,NSW,Australia, November 2014/Ed. by  F.Cassez, J.-F.Raskin.
-Berlin: Springer, 2014.-Vol. 8837.-430 p.-(Lecture Notes in 
Computer Science).
 
 14. Parallel Problem Solving from Nature - PPSN XIII: Proc./13th 
International Conference, Ljubljana, Slovenia, September 2014/Ed. 
by  Th.Bartz-Beielstein, J.Branke, B.Filipic, J.Smith.-Berlin: 
Springer, 2014.-Vol. 8672.-955 p.-(Lecture Notes in Computer 
Science).
 
 15. Distributed Computing: Proc./28th International Symposium, 
DISC 2014, Austin,TX,USA, October 2014/Ed. by  F.Kuhn.-Berlin: 
Springer, 2014.-Vol. 8784.-574 p.-(Lecture Notes in Computer 
Science).
 
 16. Algorithmic Game Theory: Proc./7th International Symposium, 
SAGT 2014, Haifa, Israel, September 2014/Ed. by  R.Lavi.-Berlin: 
Springer, 2014.-Vol. 8768.-297 p.-(Lecture Notes in Computer 
Science).
 
 17. Service-Oriented and Cloud Computing: Proc./3rd European 
Conference, ESOCC 2014, Manchester, UK, September 2014/Ed. by  
M.Villari, W.Zimmermann, K.-K.Lau.-Berlin: Springer, 2014.-Vol. 
8745.-188 p.-(Lecture Notes in Computer Science).
 
 18. Bayesian and grAphical Models for Biomedical Imaging: 
Revised Selected Papers/1st International Workshop, BAMBI 2014, 
Cambridge,MA,USA, September 2014/Ed. by  M.J.Cardoso, I.Simpson, 
T.Arbel, D.Precup.-Berlin: Springer, 2014.-Vol. 8677.-131 p.
-(Lecture Notes in Computer Science).
 
 19. Security and Trust Management: Proc./10th International 
Workshop, STM 2014, Wroclaw, Poland, September 2014/Ed. by  
S.Mauw, C.D.Jensen.-Berlin: Springer, 2014.-Vol. 8743.-210 p.
-(Lecture Notes in Computer Science).
 
 20. Reachability Problems: Proc./8th International Workshop, RP 
2014, Oxford, UK, September 2014/Ed. by  J.Ouaknine, I.Potapov, 
J.Worrell.-Berlin: Springer, 2014.-Vol. 8762.-246 p.-(Lecture 
Notes in Computer Science).
 
 21. Computer Performance Engineering: Proc./11th European 
Workshop, EPEW 2014, Florence, Italy, September 2014/Ed. by  
A.Horvath, K.Wolter.-Berlin: Springer, 2014.-Vol. 8721.-271 p.
-(Lecture Notes in Computer Science).
 
 22. Transactions on Computational Collective Intelligence XV/Ed. 
by  N.T.Nguyen, R.Kowalczyk.-Berlin: Springer, 2014.-Vol. 8670.
-183 p.-(Lecture Notes in Computer Science).
 
 23. Concurrent Objects and Beyond: Papers dedicated to Akinori 
Yonezawa on the Occasion of His 65th Birthday/Ed. by  G.Agha, 
A.Igarashi, N.Kobayashi, H.Masuhara.-Berlin: Springer, 2014.-Vol. 
8665.-447 p.-(Lecture Notes in Computer Science).

 24. Inductive Logic Programming: Revised Selected Papers/23rd 
International Conference, ILP 2013, Rio de Janeiro, Brazil, 
August 2013/Ed. by  G.Zaverucha, V.S.Costa, A.Paes.-Berlin: 
Springer, 2014.-Vol. 8812.-141 p.-(Lecture Notes in Artificial 
Intelligence).
 
 25. Transactions on Computational Collective Intelligence XIV/
Ed. by  N.T.Nguyen.-Berlin: Springer, 2014.-Vol. 8615.-197 p.
-(Lecture Notes in Computer Science).
 
 26. Smart Health: Proc./International Conference, ICSH 2014, 
Beijing, China, July 2014/Ed. by  X.Zheng, D.Zeng, H.Chen, Y.Zhang.
-Berlin: Springer, 2014.-Vol. 8549.-233 p.-(Lecture Notes in 
Computer Science).
 
 27. Electronic Government and the Information Systems 
Perspective: Proc./3rd International Conference, EGOVIS 2014, 
Munich, Germany, September 2014/Ed. by  A.Ko, E.Francesconi.
-Berlin: Springer, 2014.-Vol. 8650.-307 p.-(Lecture Notes in 
Computer Science).
 
 28. Advances in Information and Computer Security: Proc./9th 
International Workshop, IWSEC 2014, Hirosaki, Japan, August 2014/
Ed. by  K.Mouri, M.Yoshida.-Berlin: Springer, 2014.-Vol. 8639.
-287 p.-(Lecture Notes in Computer Science).
 
 29. Digital Human Modeling: Application in Health, Safety, 
Ergonomics and Risk Management: Proc./5th International 
Conference, DHM 2014 Held as Part of HCI International 2014, 
Heraclion, Crete, Greece, June 2014/Ed. by  V.G.Duffy.-Berlin: 
Springer, 2014.-Vol. 8529.-673 p.-(Lecture Notes in Computer 
Science).
 
 30. Verified Software: Theories, Tools and Experiments: Revised 
Selected Papers/6th International Conference, VSTTE 2014, Vienna, 
Austria, July 2014/Ed. by  D.Giannakopoulou, D.Kroening.-Berlin: 
Springer, 2014.-Vol. 8471.-287 p.-(Lecture Notes in Computer 
Science).
 
 31. Advanced Information Systems Engineering: Proc./26th 
International Conference, CAiSE 2014, Thessaloniki, Greece, June 
2014/Ed. by  M.Jarke, J.Mylopoulos, C.Quix, C.Rolland.-Berlin: 
Springer, 2014.-Vol. 8484.-674 p.-(Lecture Notes in Computer 
Science).
 
 32. Reliable Software Technologies - Ada-Europe 2014: Proc./19th 
Ada-Europe International Conference on RST, Paris, France, June 
2014/Ed. by  L.George, T.Vardanega.-Berlin: Springer, 2014.-Vol. 
8454.-193 p.-(Lecture Notes in Computer Science).
 
 33. Model and Data Engineering: Proc./4th International 
Conference, MEDI 2014, Larnaca, Cyprus, September 2014/Ed. by  
Y.A.Ameur, L.Bellatreche, G.A.Papadopoulos.-Berlin: Springer, 2014.
-Vol. 8748.-340 p.-(Lecture Notes in Computer Science).
 
 34. String Processing and Information Retrieval: Proc./21st 
International Symposium, SPIRE 2014, Ouro Preto, Brazil, October 
2014/Ed. by  E.Moura, M.Crochemore.-Berlin: Springer, 2014.-Vol. 
8799.-279 p.-(Lecture Notes in Computer Science).
 
 35. Using and Improving OpenMP for Devices, Tasks, and More: 
Proc./10th International Workshop on OpenMP, IWOMP 2014, Salvadr, 
Brazil, September 2014/Ed. by  L.Derose, B.R.De_Supinski, 
S.L.Olivier, B.M.Chapman.-Berlin: Springer, 2014.-Vol. 8766.-231 
p.-(Lecture Notes in Computer Science).

 36. Formal Methods and Software Engineering: Proc./16th 
International Conference on FEM, ICFEM 2014, Luxembourg, November 
2014/Ed. by  S.Merz, J.Pang.-Berlin: Springer, 2014.-Vol. 8829.
-460 p.-(Lecture Notes in Computer Science).
 
 37. Post-Quantum Cryptography: Proc./6th International Workshop, 
PQCrypto 2014, Waterloo,ON,Canada, October 2014/Ed. by  M.Mosca.
-Berlin: Springer, 2014.-Vol. 8772.-284 p.-(Lecture Notes in 
Computer Science).
 
 38. Advances in Data Mining: Applications and Theoretical 
Aspects: Proc./14th Industrial Conference, ICDM 2014, 
St.Petersburg, Russia, July 2014/Ed. by  P.Perner.-Berlin: 
Springer, 2014.-Vol. 8557.-229 p.-(Lecture Notes in Artificial 
Intelligence).
 
 39. Spatial Cognition IX: Proc./International Conference, 
Spatial Cognition 2014, Bremen, Germany, September 2014/Ed. by  
Ch.Freksa, B.Nebel, M.Hegarty, Th.Barkowsky.-Berlin: Springer, 
2014.-Vol. 8684.-397 p.-(Lecture Notes in Artificial 
Intelligence).
 
 40. Бессмертный И.А. Методы, модели и программные средства для 
построения интеллектуальных систем на продукционной модели 
знаний: Автореф. дис... докт. тех. наук: 05.13.11.-Санкт-Петербург,
 2014.-32 с.-Библиогр.: c.28-32.
 
 41. Хрестоматия по истории информатики /Автор-составитель Я.И.Фет
/Ред. Б.Г.Михайленко; ИВМ и МГ СО РАН. .- Новосибирск: 
Академическое изд-во "Гео", 2014.- 559 с.
 
 42. Web Information Systems Engineering - WISE 2014, Part I: 
Proc./15th International Conference, Thessaloniki, Greece, 
October 2014/Ed. by  B.Benatallah, A.Bestavros, Ya.Manolopoulos, 
A.Vakali.-Berlin: Springer, 2014.-Vol. 8786.-548 p.-(Lecture 
Notes in Computer Science).
 
 43. Web Information Systems Engineering - WISE 2014, Part II: 
Proc./15th International Conference, Thessoloniki, Greece, 
October 2014/Ed. by  B.Benatallah, A.Bestavros, Ya.Manolopoulos, 
A.Vakali.-Berlin: Springer, 2014.-Vol. 8787.-551 p.-(Lecture 
Notes in Computer Science).
 
 44. Design, User Experience, and Usability, Part I: Proc./3rd 
International Conference, DUXU 2014 Held as Part of HCI 
International 2014, Heraklion, Crete, Greece, June 2014/Ed. by  
A.Marcus.-Berlin: Springer, 2014.-Vol. 8517.-704 p.-(Lecture 
Notes in Computer Science).
 
 45. Design, User Experience, and Usability, Part II: Proc./3rd 
International Conference, DUXU 2014 Held as Part of HCI 
International 2014, Heraklion, Crete, Greece, June 2014/Ed. by  
A.Marcus.-Berlin: Springer, 2014.-Vol. 8518.-814 p.-(Lecture 
Notes in Computer Science).
 
 46. Design, User Experience, and Usability, Part III: Proc./3rd 
International Conference DUXU 2014 Held as Part of HCI 
International 2014, Heraklion, Crete, Greece, June 2014/Ed. by  
A.Marcus.-Berlin: Springer, 2014.-Vol. 8519.-748 p.-(Lecture 
Notes in Computer Science).
 
 47. Design, User Experience, and Usability, Part IV: Proc./3rd 
International Conference, DUXU 2014 Held as Part of HCI 
International 2014, Heraclion, Crete, Greece, June 2014/Ed. by  
Marcus A.-Berlin: Springer, 2014.-Vol. 8520.-488 p.-(Lecture 
Notes in Computer Science).

 48. Secure IT Systems: Proc./19th Nordic Conference, NordSec 
2014, Tromso, Norway, October 2014/Ed. by  K.Bernsmed, 
S.Fisher-Hubner.-Berlin: Springer, 2014.-Vol. 8788.-296 p.
-(Lecture Notes in Computer Science).
 
 49. Software Engineering for Resilient Systems: Proc./6th 
International Workshop, SERENE 2014, Budapest, Hungary, October 
2014/Ed. by  I.Majzik, M.Vieira.-Berlin: Springer, 2014.-Vol. 8785.
-185 p.-(Lecture Notes in Computer Science).
 
 50. Security, Privacy, and Applied Cryptography Engineering: 
Proc./4th International Conference, SPACE 2014, Pune, India, 
October 2014/Ed. by  R.S.Chakraborty, V.Matyas, P.Schaumont.
-Berlin: Springer, 2014.-Vol. 8804.-333 p.-(Lecture Notes in 
Computer Science).
 
 51. Model-Based Safety and Assessment: Proc./4th International 
Symposium, IMBSA 2014, Munich, Germany, October 2014/Ed. by  
F.Ortmeier, A.Rauzy.-Berlin: Springer, 2014.-Vol. 8822.-209 p.
-(Lecture Notes in Computer Science).
 
 52. Cryptology and Network Security: Proc./13th International 
Conference, CANS 2014, Heraklion, Crete, Greece, October 2014/Ed. 
by  D.Gritzalis, A.Kiayias, I.Askoxylakis.-Berlin: Springer, 2014.
-Vol. 8813.-401 p.-(Lecture Notes in Computer Science).
 
 53. Stabilization. Safety, and Security of Distributed Systems: 
Proc./16th International Symposium, SSS 2014, Paderborn, Germany, 
September 2014/Ed. by  P.Felber, V.Garg.-Berlin: Springer, 2014.
-Vol. 8756.-370 p.-(Lecture Notes in Computer Science).
 
 54. Cryptographic Hardware and Embedded Systems - CHES 2014: 
Proc./16th International Workshop, Busan, South Korea, September 
2014/Ed. by  L.Batina, M.Robshaw.-Berlin: Springer, 2014.-Vol. 
8731.-618 p.-(Lecture Notes in Computer Science).
 
 55. Algorithms and Architectures for Parallel Processing, Part 
I: Proc./14th International Conference, ICA3PP 2014, Dalian, 
China, August 2014/Ed. by  X.Sun, W.Qu, I.Stojmenovic, W.Zhou.
-Berlin: Springer, 2014.-Vol. 8630.-849 p.-(Lecture Notes in 
Computer Science).
 
 56. Algorithms and Architectures for Parallel Processing, Part 
II: Proc./14th International Conference, ICA3PP 2014, Dalian, 
China, August 2014/Ed. by  I.Stojmenovic, X.Sun, W.Qu, W.Zhou.
-Berlin: Springer, 2014.-Vol. 8631.-689 p.-(Lecture Notes in 
Computer Science).
 
 57. Computer Information Systems and Industrial Management: 
Proc./13th IFIP TC8 International Conference, CISIM 2014, Ho Chi 
Minh City, Vietnam, November 2014/Ed. by  K.Saeed, V.Snasel.
-Berlin: Springer, 2014.-Vol. 8838.-702 p.-(Lecture Notes in 
Computer Science).
 
 58. Advances in Intelligent Data Analysis XIII: Proc./13th 
International Symposium, IDA 2014, Leuven, Belgium, October 2014/
Ed. by  H.Blockeel, M.Van_Leeuwen, V.Vinciotti.-Berlin: Springer, 
2014.-Vol. 8819.-394 p.-(Lecture Notes in Computer Science).
 
 59. Entertainment Computing - ICEC 2014: Proc./13th 
International Conference, ICEC 2014, Sydney, Australia, October 
2014/Ed. by  Yu.Pisan, N.M.Sgouros, T.Marsh.-Berlin: Springer, 
2014.-Vol. 8770.-248 p.-(Lecture Notes in Computer Science).

 60. Interactive Storytelling: Proc./7th International Conference 
on Interactive Digital Storytelling, ICIDS 2014, Singapore, 
November 2014/Ed. by  A.Mitchell, C.Fernandez-Vara, D.Thue.-Berlin:
 Springer, 2014.-Vol. 8832.-266 p.-(Lecture Notes in Computer 
Science).
 
 61. Provable Security: Proc./8th International Conference, 
ProvSec 2014, Hong Kong, China, October 2014/Ed. by  S.S.M.Chow, 
J.K.Liu, L.C.K.Hui, S.M.Yiu.-Berlin: Springer, 2014.-Vol. 8782.
-351 p.-(Lecture Notes in Computer Science).
 
 62. Biomedical Simulation: Proc./6th International Symposium, 
ISBMS 2014, Strasbourg, France, October 2014/Ed. by  F.Bello, 
S.Cotin.-Berlin: Springer, 2014.-Vol. 8789.-244 p.-(Lecture Notes 
in Computer Science).
 
 63. Computer Vision and Graphics: Proc./International 
Conference, ICCVG 2014, Warsaw, Poland, September 2014/Ed. by  
L.J.Chmielewski, R.Kozera, B.-S.Shin, K.Wojciechowski.-Berlin: 
Springer, 2014.-Vol. 8671.-691 p.-(Lecture Notes in Computer 
Science).
 
 64. Graphics Recognition: Current Trends and Challenges: Revised 
Selected Papers/10th International Workshop, GREC 2013, 
Bethlehem,PA,USA, August 2013/Ed. by  B.Lamiroy, J.-M.Ogier.
-Berlin: Springer, 2014.-Vol. 8746.-267 p.-(Lecture Notes in 
Computer Science).
 
 65. Algorithmic Learning Theory: Proc./25th International 
Conference, ALT 2014, Bled, Slovenia, October 2014/Ed. by  
P.Auer, A.Clark, Th.Zeugmann, S.Zilles.-Berlin: Springer, 2014.
-Vol. 8776.-351 p.-(Lecture Notes in Artificial Intelligence).
 
 66. KI 2014: Advances in Artificial Intelligence: Proc./37th 
Annual German Conference on AI, Stuttgart, Germany, September 2014
/Ed. by  C.Lutz, M.Thielscher.-Berlin: Springer, 2014.-Vol. 8736.
-321 p.-(Lecture Notes in Artificial Intelligence).
 
 67. Artificial Neural Networks and Machine Learning - ICANN 
2014: Proc./24th International Conference on ANN, Hamburg, 
Germany, September 2014/Ed. by  S.Wermter, C.Weber, W.Duch, 
T.Honkela.-Berlin: Springer, 2014.-Vol. 8681.-852 p.-(Lecture 
Notes in Computer Science).
 
 68. Open Learning and Teaching in Educational Communities: 
Proc./9th European Conference on Technology Enhanced Learning, 
EC-TEL 2014, Graz, Austria, September 2014/Ed. by  Ch.Rensing, 
S.De_Freitas, P.J.Munoz-Merino, T.Ley.-Berlin: Springer, 2014.
-Vol. 8719.-602 p.-(Lecture Notes in Computer Science).
 
 69. Linked Open Data - Creating Knowledge Out of Interlinked 
Data: Results of the LOD2 Project/Ed. by  S.Auer, V.Bryl, S.Tramp.
-Berlin: Springer, 2014.-Vol. 8661.-215 p.-(Lecture Notes in 
Computer Science).
 
 70. Networked Systems: Revised Selected Papers/2nd International 
Conference, NETYS 2014, Marrakech, Morocco, May 2014/Ed. by  
G.Noubir, M.Raynal.-Berlin: Springer, 2014.-Vol. 8593.-348 p.
-(Lecture Notes in Computer Science).
 
 71. Web Technologies and Applications: Proc./16th Asia-Pacific 
Web Conference, APWeb 2014, Changsha, China, September 2014/Ed. 
by  L.Chen, Y.Jia, T.Sellis, G.Liu.-Berlin: Springer, 2014.-Vol. 
8709.-681 p.-(Lecture Notes in Computer Science).

 72. eScience on Distributed Computing Infrastructure: 
Achievements of PLGrid Plus Domain-Specific Services and Tools/
Ed. by  M.Bubak, J.Kitowski, K.Wiatr.-Berlin: Springer, 2014.
-Vol. 8500.-538 p.-(Lecture Notes in Computer Science).
 
 73. Machine Learning in Medical Imaging: Proc./5th International 
Workshop, MLMI 2014 Held in Conjanction with MICCAI 2014, 
Baston,MA,USA, September 2014/Ed. by  G/Wu, D.Zhang, L.Zhou.
-Berlin: Springer, 2014.-Vol. 8679.-332 p.-(Lecture Notes in 
Computer Science).
 
 74. Learning and Intelligent Optimization: Revised Selected 
Papers/8th International Conference, Lion 8, Gainesville,FL,USA, 
February 2014/Ed. by  P.M.Pardalos, M.G.C.Resende, C.Vogiatzis, 
J.L.Walteros.-Berlin: Springer, 2014.-Vol. 8426.-392 p.-(Lecture 
Notes in Computer Science).
 
 75. Theoretical Aspects of Computing - ICTAC 2014: Proc./11th 
International Colloquium, Bucharest, Romania, September 2014/Ed. 
by  G.Ciobanu, D.Mery.-Berlin: Springer, 2014.-Vol. 8687.-478 p.
-(Lecture Notes in Computer Science).
 
 76. Advances in Databases and Information Systems: Proc./18th 
East European Conference, ADBIS 2014, Ohrid, Macedonia, September 
2014/Ed. by  Ya.Manolopoulos, G.Trajcevski, M.Kon-Popovska.-Berlin:
 Springer, 2014.-Vol. 8716.-384 p.-(Lecture Notes in Computer 
Science).
 
 77. Runtime Verification: Proc./5th International Conference, RV 
2014, Toronto,ON,Canada, September 2014/Ed. by  B.Bonakdarpour, 
S.A.Smolka.-Berlin: Springer, 2014.-Vol. 8734.-358 p.-(Lecture 
Notes in Computer Science).
 
 78. Similarity Search and Application: Proc./7th International 
Conference, SISAP 2014, Los Cabos, Mexico, October 2014/Ed. by  
A.J.M.Traina, C.Traina, R.L.F.Cordeiro.-Berlin: Springer, 2014.
-Vol. 8821.-302 p.-(Lecture Notes in Computer Science).
 
 79. Programming Languages: Proc./18th Brazilian Symposium, SBLP 
2014, Maceiro, Brazilm October 2014/Ed. by  F.M.Q.Pereira.-Berlin:
 Springer, 2014.-Vol. 8771.-161 p.-(Lecture Notes in Computer 
Science).
 
 80. Progress in Pattern Recognition, Image Analysis, Computer 
Vision, and Applications: Proc./19th Iberoamerican Congress, 
CIARP 2014, Puerto Vallarta, Mexico, November 2014/Ed. by  
E.Bayro-Corrochano, E.Hancock.-Berlin: Springer, 2014.-Vol. 8827.
-1050 p.-(Lecture Notes in Computer Science).
 
 81. Развитие вычислительной техники и ее программного 
обеспечения в России и странах бывшего СССР: история и 
перспективы: Труды международной конференции SORUCOM-2014, 
Казань, Россия, октябрь 2014/IEEE Computer Society. ИСИ СО РАН; 
Ред. А.Н.Томилин.-Казань, 2014.-410 с.
 
 82. Городняя Л.В. Парадигмы программирования. Часть 1: Сравнение 
парадигм программирования.-Новосибирск, 2014.-114 с.
-(Препринт/ИСИ СО РАН; N 172).
 
 83. Adaptive and Intelligent Systems: Proc./3rd International 
Conference, ICAIS 2014, Bournemouth, UK, September 2014/Ed. by  
A.Bouchachia.-Berlin: Springer, 2014.-Vol. 8779.-193 p.-(Lecture 
Notes in Artificial Intelligence).

 84. Computational Collective Intelligence: Technologies and 
Applications: Proc./6th International Conference, ICCCI 2014, 
Seoul, Korea, September 2014/Ed. by  D.Hwang, J.J.Jung, N.T.Nguyen.
-Berlin: Springer, 2014.-Vol. 8733.-704 p.-(Lecture Notes in 
Artificial Intelligence).
 
 85. Computational Processing of the Portuguese Language: 
Proc./11th International Conference, PROPOR 2014, Sao Carlos/SP, 
Brazil. October 2014/Ed. by  J.Baptista, N.Mamede, S.Candeias, 
I.Paraboni.-Berlin: Springer, 2014.-Vol. 8775.-300 p.-(Lecture 
Notes in Artificial Intelligence).
 
 86. Scalable Incertainty Management: Proc./8th International 
Conference, SUM 2014, Oxford, UK, September 2014/Ed. by  
U.Straccia, A.Cali.-Berlin: Springer, 2014.-Vol. 8720.-322 p.
-(Lecture Notes in Artificial Intelligence).
 
 87. Artificial Neural Networks in Pattern Recognition: Proc./6th 
IAPR TC 3 International Workshop, ANNPR 2014, Montreal,QC,Canada, 
October 2014/Ed. by  N.E.Gayar, F.Schwenker, C.Suen.-Berlin: 
Springer, 2014.-Vol. 8774.-289 p.-(Lecture Notes in Artificial 
Intelligence).
 
 88. Multiagent System Technologies: Proc./12th German 
Conference, MATES 2014, Stuttgart, Germany, September 2014/Ed. by 
J.P.Muller, M.Weyrich, A.L.C.Bazzan.-Berlin: Springer, 2014.-Vol. 
8732.-284 p.-(Lecture Notes in Artificial Intelligence).
 
 89. Social Robotics: Proc./6th International Conference, ICSR 
2014, Sydney,NSW,Australia, October 2014/Ed. by  M.Beetz, 
B.Johnston, M.-A.Williams.-Berlin: Springer, 2014.-Vol. 8755.-412 
p.-(Lecture Notes in Artificial Intelligence).
 
 90. Transactions on Computational Collective Intelligence XVI/
Ed. by  N.T.Nguyen, R.Kowalczyk.-Berlin: Springer, 2014.-Vol. 8780.
-191 p.-(Lecture Notes in Computer Science).
 
 91. Губарев В.В. Введение в теоретическую информатику: учебное 
пособие/НГТУ. .- Новосибирск: Изд-во НГТУ, 2014.- 420 с.; Т. 1.
-Библиогр.: c.377-378.
 
 92. Губарев В.В., Казанская О.В. Квалификационные 
исследовательские работы: учебное пособие/НГТУ. .- Новосибирск: 
Изд-во НГТУ, 2014.- 80 с.-Библиогр.: c.51-53.