Intelligent Computer Mathematics : 10th International Conference,CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Advances in Data Mining. Applications and Theoretical Aspects : 17th Industrial Conference,ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceeding
Developments in Language Theory : 21st International Conference,DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Electronic Government and the Information Systems Perspective : 6th International Conference,EGOVIS 2017, Lyon, France, August 28-31, 2017, Proceedin
Mobile Web and Intelligent Information Systems : 14th International Conference,MobiWIS 2017, Prague, Czech Republic, August 21-23, 2017, Proceedings
Formal Modeling and Analysis of Timed Systems : 15th International Conference,FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Experimental IR Meets Multilinguality,Multimodality, and Interaction : 8th International Conference of the CLEF Association, CLEF 2017, Dublin, Irela
Quantitative Evaluation of Systems : 14th International Conference,QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Algorithmic Game Theory : 10th International Symposium,SAGT 2017, LAquila, Italy, September 12-14, 2017, Proceedings
Cooperative Design,Visualization, and Engineering : 14th International Conference, CDVE 2017, Mallorca, Spain, September 17-20, 2017, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference,TABLEAUX 2017, Brasília, Brazil, September 25-28, 201
Computational Methods in Systems Biology : 15th International Conference,CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings