Библиотека

02.03.2015

Hовые поступления с 17 января по 2 марта 2015 года

  1. Applications of Evolutionary Computation: Revised Selected 
Papers/17th European Conference, EvoApplications 2014, Granada, 
Spain, April 2014/Ed. by  A.I.Esparcia-Alcazar.-Berlin: Springer, 
2014.-Vol. 8602.-969 p.-(Lecture Notes in Computer Science).
 
  2. MultiMedia Modeling, Part I: Proc./21st International 
Conference, MMM 2015, Sydney, NSW, Australia, January 2015/Ed. by 
X.He, S.Luo, D.Tao, C.Xu.-Berlin: Springer, 2015.-Vol. 8935.-586 
p.-(Lecture Notes in Computer Science).
 
  3. MultiMedia Modeling, Part II: Proc./21st International 
Conference, MMM 2015, Sydney, NSW, Australia, January 2015/Ed. by 
X.He, S.Luo, D.Tao, C.Xu.-Berlin: Springer, 2015.-Vol. 8936.-576 
p.-(Lecture Notes in Computer Science).
 
  4. Advances in Visual Computing, Part I: Proc./10th 
International Symposium, ISVC 2014, Las Vegas,NV,USA, December 
2014/Ed. by  G.Bebis.-Berlin: Springer, 2014.-Vol. 8887.-842 p.
-(Lecture Notes in Computer Science).
 
  5. Advances in Visual Computing, Part II: Proc./10th 
International Symposium, ISVC 2014, Las Vegas,NV,USA, December 
2014/Ed. by  G.Bebis.-Berlin: Springer, 2014.-Vol. 8888.-952 p.
-(Lecture Notes in Computer Science).
 
  6. Combinatorial Optimization and Applications: Proc./8th 
International Conference, COCOA 2014, Wailea, Maui,HI,USA, 
December 2014/Ed. by  Z.Zhang, L.Wu, W.Xu, D.-Z.Du.-Berlin: 
Springer, 2014.-Vol. 8881.-774 p.-(Lecture Notes in Computer 
Science).
 
  7. Advances in Multimedia Information Processing - PCM 2014: 
Proc./15th Pacific-Rim Conference on Multimedia, Kuching, 
Malaysia, December 2014/Ed. by  W.T.Ooi, C.G.M.Snoek, H.K.Tan, 
C,-K.Ho.-Berlin: Springer, 2014.-Vol. 8879.-384 p.-(Lecture Notes 
in Computer Science).
 
  8. Algorithms and Computation: Proc./25th International 
Symposium, ISAAC 2014, Jeonju, Korea, December 2014/Ed. by  
H.-K.Ahn, C.-S.Shin.-Berlin: Springer, 2014.-Vol. 8889.-781 p.
-(Lecture Notes in Computer Science).
 
  9. Big Data Benchmarks, Performance Optimization, and Emerging 
Hardware: Revised Selected Papers/4th and 5th Workshops, BPOE 
2014, Salt Lake City, USA, March 2014, and Hangzhou, China, 
September 2014/Ed. by  R.Han, J.Zhan, C.Weng.-Berlin: Springer, 
2014.-Vol. 8807.-221 p.-(Lecture Notes in Computer Science).
 
 10. Symbiotic Interaction: Proc./3rd International Workshop, 
Symbiotic 2014, Helsinki, Finland, October 2014/Ed. by  
G.Jacucci, L.Gamberini, J.Freeman, A.Spagnolli.-Berlin: Springer, 
2014.-Vol. 8820.-145 p.-(Lecture Notes in Computer Science).
 
 11. Euro-Par 2014: Parallel Processing Workshops, Part I: 
Revised Selected Papers/Euro-Par 2014 International Workshops, 
Porto, Portugal, August 2014/Ed. by  L.Lopes.-Berlin: Springer, 
2014.-Vol. 8805.-587 p.-(Lecture Notes in Computer Science).
 
 12. Euro-Par 2014: Parallel Processing Workshops, Part II: 
Revised Selected Papers/Euro-Par 2014 International Workshops, 
Porto, Portugal, August 2014/Ed. by  L.Lopes.-Berlin: Springer, 
2014.-Vol. 8806.-618 p.-(Lecture Notes in Computer Science).

 13. Service-Oriented Computing: Proc./12th International 
Conference, ICSOC 2014, Paris, France, November 2014/Ed. by  
X.Franch, A.K.Ghose, G.A.Lewis, S.Bhiri.-Berlin: Springer, 2014.
-Vol. 8831.-600 p.-(Lecture Notes in Computer Science).
 
 14. Advancing Big Data Benchmarks: Revised Selected Papers/Proc. 
of the 2013 Workshops WBDB.cn, Xi'an, China, July 2013 and 
WBDB.us, San Jose,CA,USA, October 2013/Ed. by  T.Rabl, 
N.Raghunath, M.Poess.-Berlin: Springer, 2014.-Vol. 8585.-203 p.
-(Lecture Notes in Computer Science).
 
 15. Multidisciplinary Information Retrieval: Proc./7th 
Information Retrieval Facility Conference, IRFC 2014, Copenhagen, 
Denmark, November 2014/Ed. by  D.Lamas, P.Buitelaar.-Berlin: 
Springer, 2014.-Vol. 8849.-133 p.-(Lecture Notes in Computer 
Science).
 
 16. Intelligent Data Engineering and Automated Learning - IDEAL 
2014: Proc./15th International Conference, Salamanca, Spain, 
September 2014/Ed. by  E.Corchado, J.A.Lozano, H.Quintian, H.Yin.
-Berlin: Springer, 2014.-Vol. 8669.-508 p.-(Lecture Notes in 
Computer Science).
 
 17. A Pipelined Multi-core MIPS Machine: Hardware Implementation 
and Correctness Proof/Ed. by  M.Kovalev, S.M.Muller, W.J.Paul.
-Berlin: Springer, 2014.-Vol. 9000.-352 p.-(Lecture Notes in 
Computer Science).
 
 18. Discrete and Computational Geometry and Graphs: Revised 
Selected Papers/16th Japanes Conference, JCDCGG 2013, Tokyo, 
Japan, September 2013/Ed. by  J.Akiyama, H.Ito, T.Sakai.-Berlin: 
Springer, 2014.-Vol. 8845.-191 p.-(Lecture Notes in Computer 
Science).
 
 19. Transactions on Computational Collective Intelligence XVII/
Ed. by  N.T.Nguyen, R.Kowalczyk.-Berlin: Springer, 2014.-Vol. 8790.
-295 p.-(Lecture Notes in Computer Science).
 
 20. Software Reuse for Dynamic Systems in the Cloud and Beyond: 
Proc./14th International Conference, ICSR 2015, Miami,FL,USA, 
January 2015/Ed. by  I.Schaefer, I.Stamelos.-Berlin: Springer, 
2014.-Vol. 8919.-366 p.-(Lecture Notes in Computer Science).
 
 21. Logic and Its Applications: Proc./6th Indian Conference, 
ICLA 2015, Mumbai, India, January 2015/Ed. by  M.Banerjee, 
S.N.Krishna.-Berlin: Springer, 2015.-Vol. 8923.-236 p.-(Lecture 
Notes in Computer Science).
 
 22. Simulated Evolution and Learning: Proc./10th International 
Conference, SEAL 2014, Dunedin, New Zealand, December 2014/Ed. by 
G.Dick, W.N.Browne, P.Whigham, M.Zhang.-Berlin: Springer, 2014.
-Vol. 8886.-862 p.-(Lecture Notes in Computer Science).
 
 23. Big Data Analytics: Proc./3rd International Conference, BDA 
2014, New Delhi, India, December 2014/Ed. by  S.Srinivasa, S.Mehta.
-Berlin: Springer, 2014.-Vol. 8883.-197 p.-(Lecture Notes in 
Computer Science).
 
 24. Graph Drawing: Revised Selected Papers/22nd International 
Symposium, GD 2014, Wurzburg, Germany, September 2014/Ed. by  
Ch.Duncan, A.Symvonis.-Berlin: Springer, 2014.-Vol. 8871.-530 p.
-(Lecture Notes in Computer Science).

 25. Sequences and Their Applications - SETA 2014: Proc./8th 
International Conference, Melbourne, VIC, Australia, November 2014
/Ed. by  K.-U.Schmidt, A.Winterhof.-Berlin: Springer, 2014.-Vol. 
8865.-315 p.-(Lecture Notes in Computer Science).
 
 26. Advances in Neural Networks - ISNN 2014: Proc./11th 
International Symposium on NN, ISNN 2014, Hong Kong and Macao, 
China, November 2014/Ed. by  Z.Zeng, Y.Li, I.King.-Berlin: 
Springer, 2014.-Vol. 8866.-649 p.-(Lecture Notes in Computer 
Science).
 
 27. Graph-Theoretic Concepts in Computer Science: Revised 
Selected Papers/40th International Workshop, WG 2014, 
Nouan-le-Fuzelier, France, June 2014/Ed. by  D.Kratsch, I.Todinca.
-Berlin: Springer, 2014.-Vol. 8747.-422 p.-(Lecture Notes in 
Computer Science).
 
 28. Brain-Inspired Computing: Revised Selected 
Papers/International Workshop, BrainComp 2013, Cetraro, Italy, 
July 2013/Ed. by  L.Grandinetti, T.Lippert, N.Petkov.-Berlin: 
Springer, 2014.-Vol. 8603.-213 p.-(Lecture Notes in Computer 
Science).
 
 29. Languages and Compilers for Parallel Computing: Revised 
Selected Papers/26th International Workshop, LCPC 2013, San 
Jose,CA,USA, September 2013/Ed. by  C.Cascaval, P.Montesinos.
-Berlin: Springer, 2014.-Vol. 8664.-357 p.-(Lecture Notes in 
Computer Science).
 
 30. Stochastic Model Checking: International Autumn School, 
ROCKS 2012, Vahrn, Italy, October 2012/Ed. by  A.Remke, 
M.Stoelinga.-Berlin: Springer, 2014.-Vol. 8453.-281 p.-(Lecture 
Notes in Computer Science).
 
 31. Product-Focused Software Process Improvement: Proc./15th 
International Conference, PROFES 2014, Helsinki, Finland, 
December 2014/Ed. by  A.Jedlitschka, P.Kuvaja, M.Kuhrmann, 
T.Mannisto.-Berlin: Springer, 2014.-Vol. 8892.-328 p.-(Lecture 
Notes in Computer Science).
 
 32. Artificial Evolution: Revised Selected Papers/11th 
International Conference, EA 2013, Bordeaux, France, October 2013/
Ed. by  P.Legrand, M.-M.Corsini, J.K.Hao, N.Monmarche.-Berlin: 
Springer, 2014.-Vol. 8752.-271 p.-(Lecture Notes in Computer 
Science).
 
 33. Foundational and Practical Aspects of Resource Analysis: 
Revised Selected Papers/3rd International Workshop, FOPARA 2013, 
Bertinoro, Italy, August 2013/Ed. by  U.D.Lago, R.Pena.-Berlin: 
Springer, 2014.-Vol. 8552.-161 p.-(Lecture Notes in Computer 
Science).
 
 34. High Performance Computing Systems: Revised Selected 
Papers/4th International Workshop, PMBS 2013, Denver,CO,USA, 
November 2013/Ed. by  S.Jarvis, S.Wright, S.Hammond.-Berlin: 
Springer, 2014.-Vol. 8551.-295 p.-(Lecture Notes in Computer 
Science).
 
 35. Knowledge Engineering and Knowledge Management: Proc./19th 
International Conference, EKAW 2014, Linkoping, Sweden, November 
2014/Ed. by  K.Janowicz, S.Schlobach, P.Lambrix, E.Hyvonen.-Berlin:
 Springer, 2014.-Vol. 8876.-620 p.-(Lecture Notes in Artificial 
Intelligence).

 36. Mining Intelligence and Knowledge Exploration: Proc./2nd 
International Conference, MIKE 2014, Cork, Ireland, December 2014/
Ed. by  R.Prasath, P.O'Reilly, T.Kathirvalavakumar.-Berlin: 
Springer, 2014.-Vol. 8891.-426 p.-(Lecture Notes in Artificial 
Intelligence).
 
 37. Artificial Intelligence and Symbolic Computation: Proc./12th 
International Conference, AISC 2014, Seville, Spain, December 2014
/Ed. by  G.A.Aranda-Corral, J.Calmet, F.J.Martin-Mateos.-Berlin: 
Springer, 2014.-Vol. 8884.-206 p.-(Lecture Notes in Artificial 
Intelligence).
 
 38. Игорь Андреевич Полетаев. 1915-1983/Отв. 
редактор-составитель А.А.Титлянова. .- Новосибирск: Изд-во 
Института математики, 2015.- 160 с.
 
 39. Artificial Life and Computational Intelligence: Proc./1st 
Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, 
February, 2015/Ed. by  S.K.Chalup, A.D.Blair, M.Randall.-Berlin: 
Springer, 2015.-Vol. 8955.-448 p.-(Lecture Notes in Artificial 
Intelligence).
 
 40. Engineering Multi-Agent Systems: Revised Selected Papers/2nd 
International Workshop, EMAS 2014, Paris, France, May 2014/Ed. by 
F.Dalpiaz, J.Dix, M.B.Van_Riemsdijk.-Berlin: Springer, 2014.-Vol. 
8758.-451 p.-(Lecture Notes in Artificial Intelligence).
 
 41. Multimodal Pattern Recognition of Social Signals in 
Human-Computer-Interaction: Revised Selected Papers/3rd IAPR TC3 
Workshop, MPRSS 2014, Stockholm, Sweden, August 2014/Ed. by  
F.Schwenker, S.Scherer, L.-Ph.Morency.-Berlin: Springer, 2015.
-Vol. 8869.-145 p.-(Lecture Notes in Artificial Intelligence).
 
 42. Advances in Artificial Intelligence - IBERAMIA 2014: 
Proc./14th Ibero-American Conference on AI, Santiago de Chile, 
Chile, November 2014/Ed. by  A.L.C.Bazzan, K.Pichara.-Berlin: 
Springer, 2014.-Vol. 8864.-807 p.-(Lecture Notes in Artificial 
Intelligence).
 
 43. Mining, Modeling, and Recommending 'Things' in Social Media: 
Revised Selected Papers/4th International Workshops MUSE 2013, 
Prague, Czech Republic, September 2013 and MSM 2013, Paris, 
France, May 2013/Ed. by  M.Atzmueller, A.Chin, C.Scholz, 
C.Trattner.-Berlin: Springer, 2015.-Vol. 8940.-151 p.-(Lecture 
Notes in Artificial Intelligence).
 
 44. Multi-Agent-Based Simulation XV: Revised Selected Papers/ 
International Workshop, MABS 2014, Paris, France, May 2014/Ed. by 
F.Grimaldo, E.Norling.-Berlin: Springer, 2015.-Vol. 9002.-253 p.
-(Lecture Notes in Artificial Intelligence).
 
 45. Advances in Communication Networking: Revised Selected 
Papers/20th EUNICE/IFIP EG 6.2, 6.6 International Workshop, 
Rennes, France, September 2014/Ed. by  Y.Kermarrec.-Berlin: 
Springer, 2014.-Vol. 8846.-227 p.-(Lecture Notes in Computer 
Science).
 
 46. In Memory Data Management and Analysis: Revised Selected 
Papers/1st and 2nd International Workshops, IMDM 2013, Riva del 
Garda, Italy, Agusr 2013, IMDM 2014, Hongzhou, China, September 
2014/Ed. by  A.Jagatheesan, J.Levandoski, T.Neumann, A.Pavlo.
-Berlin: Springer, 2015.-Vol. 8921.-151 p.-(Lecture Notes in 
Computer Science).

 47. Augmented and Virtual Reality: Revised Selected Papers/1st 
International Conference, AVR 2014, Lecce, Italy, September 2014/
Ed. by  L.T.De_Paolis, A.Mongelli.-Berlin: Springer, 2014.-Vol. 
8853.-466 p.-(Lecture Notes in Computer Science).
 
 48. Principles of Distributed Systems: Proc./18th International 
Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 2014/
Ed. by  M.K.Aguilera, L.Querzoni, M.Shapiro.-Berlin: Springer, 
2014.-Vol. 8878.-502 p.-(Lecture Notes in Computer Science).
 
 49. Energy Minimization Methods in Computer Vision and Pattern 
Recogition: Proc./10th International Conference, EMMCVPR 2015, 
Hong Kong, China, January/Ed. by  X.-C.Tai, E.Bae, T.F.Chan, 
M.Lysaker.-Berlin: Springer, 2015.-Vol. 8932.-506 p.-(Lecture 
Notes in Computer Science).
 
 50. New Horizons in Web Based Learning: Revised Selected 
Papers/ICWL 2014 International Workshops SPeL, PRASAE, IWMPL, 
OBIE, and KMEL, FET, Tallinn, Estonia, August 2014/Ed. by  Y.Cao, 
T.Valjataga, J.K.T.Tang, H.Leung.-Berlin: Springer, 2014.-Vol. 
8699.-295 p.-(Lecture Notes in Computer Science).
 
 51. Secure and Trustworthy Service Composition: The Aniketos 
Approach/Ed. by  A.D.Brucker, F.Dalpiaz, P.Giorgini, P.H.Meland.
-Berlin: Springer, 2014.-Vol. 8900.-247 p.-(Lecture Notes in 
Computer Science).
 
 52. Transactions on Large-Scale Data-and Knowledge-Centered 
Systems XV/Ed. by  A.Hameurlain, J.Kung, R.Wagner.-Berlin: 
Springer, 2014.-Vol. 8920.-125 p.-(Lecture Notes in Computer 
Science).
 
 53. Transactions on Petri Nets and Other Models of Concurrency IX
/Ed. by  M.Koutny.-Berlin: Springer, 2014.-Vol. 8910.-179 p.
-(Lecture Notes in Computer Science).
 
 54. Transactions on Large-Scale Data-and Knowledge-Centered 
Systems XVI/Ed. by  A.Hameurlain, J.Kung, R.Wagner.-Berlin: 
Springer, 2014.-Vol. 8960.-103 p.-(Lecture Notes in Computer 
Science).
 
 55. Transactional Memory: Foundations, Algorithms, Tools, and 
Applications: COST Action Euro-TM IC1001/Ed. by  R.Guerraoui, 
P.Romano.-Berlin: Springer, 2015.-Vol. 8913.-469 p.-(Lecture 
Notes in Computer Science).
 
 56. Advances in Knowledge Representation, Logic Programming, and 
Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the 
Occasion on His 60th Birthday/Ed. by  T.Eiter, H.Strass, 
M.Truszczynski, S.Woltran.-Berlin: Springer, 2015.-Vol. 9060.-361 
p.-(Lecture Notes in Computer Science).
 
 57. SOFSEM 2015: Theory and Practice of Computer Science: 
Proc./41st International Conference on Current Trends in Theory 
and Practice of CS, Pec pod Snezkou, Czech Republic, January 2015/
Ed. by  G.F.Italiano, T.Margaria-Steffen, J.Pokorny, 
J.-J.Quisquater.-Berlin: Springer, 2015.-Vol. 8939.-616 p.
-(Lecture Notes in Computer Science).
 
 58. Trustworthy Global Computing: Revised Selected Papers/9th 
International Symposium, TGS 2014, Rome, Italy, September 2014/
Ed. by  M.Maffei, E.Tuosto.-Berlin: Springer, 2014.-Vol. 8902.
-193 p.-(Lecture Notes in Computer Science).

 59. Algorithms and Discrete Applied Mathematics: Proc./1st 
International Conference, CALDAM 2015, Kanpur, India, February 
2015/Ed. by  S.Ganguly, R.Krishnamurti.-Berlin: Springer, 2015.
-Vol. 8959.-300 p.-(Lecture Notes in Computer Science).
 
 60. Economics of Grids, Clouds, Systems, and Services: Revised 
Selected Papers/11th International Conference, GECON 2014, 
Cardiff, UK, September 2014/Ed. by  J.Altmann, K.Vanmechelen, 
O.F.Rana.-Berlin: Springer, 2014.-Vol. 8914.-231 p.-(Lecture 
Notes in Computer Science).
 
 61. Verification, Model Checking, and Abstract Interpretation: 
Proc./16th International Conference, VMCAI 2015, Mumbai, India, 
January, 2915/Ed. by  D.D'Souza, A.Lal, K.G.Larsen.-Berlin: 
Springer, 2015.-Vol. 8931.-468 p.-(Lecture Notes in Computer 
Science).
 
 62. Memrane Computing: Revised Selected Papers/15th 
International Conference, CMC 2014, Prague, Czech Republic, 
August 2014/Ed. by  M.Gheorghe, G.Rozenberg, A.Salomaa, P.Sosik.
-Berlin: Springer, 2014.-Vol. 8961.-397 p.-(Lecture Notes in 
Computer Science).
 
 63. Distributed Computing and Internet Technology: Proc./11th 
International Conference, ICDCIT 2015, Bhubaneswar, India, 
February, 2015/Ed. by  R.Natarajan, G.Barua, M.R.Patra.-Berlin: 
Springer, 2015.-Vol. 8956.-462 p.-(Lecture Notes in Computer 
Science).
 
 64. Computing with New Resources: Essays Dedicated to Jozef 
Gruska on the Occasion of His 80th Birthday/Ed. by  C.S.Calude, 
R.Freivalds, I.Kazuo.-Berlin: Springer, 2014.-Vol. 8808.-473 p.
-(Lecture Notes in Computer Science).
 
 65. Knowledge Representation for Health Care: Revised Selected 
Papers/6th International Workshop, KR4HC 2014 Held as Part of the 
ienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014/Ed. 
by  S.Miksch, D.Riano, A.Teije.-Berlin: Springer, 2014.-Vol. 8903.
-175 p.-(Lecture Notes in Artificial Intelligence).
 
 66. Advances Data Mining and Applications: Proc./10th 
International Conference, ADMA 2014, Guilin, China, December 2014/
Ed. by  X.Luo, J.X.Yu, Z.Li.-Berlin: Springer, 2014.-Vol. 8933.
-741 p.-(Lecture Notes in Artificial Intelligence).
 
 67. Гак В.Г., Ганшина К.А. Новый французско-русский словарь.- М.:
 Русский язык, 1999.- 1195 с.
 
 68. Algorithms for Sensor System: Revised Selected Papers/10th 
International Symposium, ALGOSENSORS 2014, Wroclaw, Poland, 
September 2014/Ed. by  J.Gao, A.Efrat, S.P.Fekete, Ya.Zhang.
-Berlin: Springer, 2015.-Vol. 8847.-169 p.-(Lecture Notes in 
Computer Science).
 
 69. Trends in Functional Programming: Revised Selected 
Papers/15th International Symposium, TFP 2014, Soesterberg, The 
Netherlands, May 2014/Ed. by  J.Hage, J.Mccarthy.-Berlin: Springer,
 2015.-Vol. 8843.-143 p.-(Lecture Notes in Computer Science).
 
 70. Formal Methods: Foundations and Applications: Proc./17th 
Brazilian Symposium, SBMF 2014, Maceio,AL,Brazil, September 2014/
Ed. by  C.Braga, N.Marti-Oliet.-Berlin: Springer, 2015.-Vol. 8941.
-179 p.-(Lecture Notes in Computer Science).

 71. Rewriting Logic and Its Applications: Revised Selected 
Papers/10th International Workshop, WRLA 2014 Held as Satellite 
Event of ETAPS, Grenoble, France, April 2014/Ed. by  S.Escobar.
-Berlin: Springer, 2014.-Vol. 8663.-297 p.-(Lecture Notes in 
Computer Science).
 
 72. Digital Heritage: Progress in Cultural Heritage: 
Documentation, Preservation, and Protection: Proc./5th 
International Conference, EuroMed 2014, Limassol, Cyprus, 
November 2014/Ed. by  M.Ioannides, N.Magnenat-Thalmann, E.Fink, 
R.Zarnic.-Berlin: Springer, 2014.-Vol. 8740.-832 p.-(Lecture 
Notes in Computer Science).
 
 73. Advances in Conceptual Modeling: Revised Selected Papers/ER 
2013 Workshops, LSAWM, MoBiD, RIGiM, SeCoGIS, WISM, DaSeM, SCME, 
and PhD Symposium, Hong Kong, China, November 2013/Ed. by  
J.Parsons, D.Chiu.-Berlin: Springer, 2014.-Vol. 8697.-300 p.
-(Lecture Notes in Computer Science).
 
 74. Transactions on Computational Science XXIV/Ed. by  
M.G.Gavrilova, C.J.K.Tan.-Berlin: Springer, 2014.-Vol. 8911.-148 
p.-(Lecture Notes in Computer Science).
 
 75. Logic-Based Program Synthesis and Transformation: Revised 
Selected Papers/23rd International Symposium, LOPSTR 2013, 
Madrid, Spain, September 2013/Ed. by  G.Gupta, R.Pena.-Berlin: 
Springer, 2014.-Vol. 8901.-237 p.-(Lecture Notes in Computer 
Science).
 
 76. Parameterized and Exact Computation: Revised Selected 
Papers/9th International Symposium, IPEC 2014, Wroclaw, Poland, 
September 2014/Ed. by  M.Cygan, P.Heggernes.-Berlin: Springer, 
2014.-Vol. 8894.-343 p.-(Lecture Notes in Computer Science).
 
 77. PRIMA 2014: Principles and Practice of Multi-Agent Systems: 
Proc./17th International Conference, Gold Coast,QLD,Australia, 
December 2014/Ed. by  H.K.Dam, J.Pitt, Y.Xu, G.Governatori.-Berlin:
 Springer, 2014.-Vol. 8861.-464 p.-(Lecture Notes in Artificial 
Intelligence).
 
 78. Trends and Applications in Knowledge Discovery and Data 
Mining: Revised Selected Papers/PAKDD 2014 International 
Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, 
DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA, Tainan, Taiwan, May 
2014/Ed. by  W.Peng.-Berlin: Springer, 2014.-Vol. 8643.-833 p.
-(Lecture Notes in Artificial Intelligence).
 
 79. Advances in Bioinformatics and Computational Biology: 
Proc./9th Brazilian Symposium on Bioinformatics, BSB 2014, Belo 
Horizonte, Brazil, October 2014/Ed. by  S.Campos.-Berlin: Springer,
 2014.-Vol. 8826.-155 p.-(Lecture Notes in Bioinformatics).
 
 80. Computational Methods in Systems Biology: Proc./12th 
International Conference, CMSB 2014, Manchester, UK, November 2014
/Ed. by  P.Mendes, J.O.Dada, K.Smallbone.-Berlin: Springer, 2014.
-Vol. 8859.-266 p.-(Lecture Notes in Bioinformatics).