1
Algebraic Informatics [E-Book] : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /
2
Analytical and Stochastic Modelling Techniques and Applications [E-Book] : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings /
3
Applications of Graph Transformations with Industrial Relevance [E-Book]: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers /
4
Automated Deduction in Geometry [E-Book] : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /
5
Automated Deduction in Geometry [E-Book] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /
6
Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings /
7
Combinatorics on Words [E-Book] : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /
8
Finite Difference Methods,Theory and Applications [E-Book] : 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /
9
Formal Concept Analysis [E-Book]: 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings /
10
Formal Concept Analysis [E-Book] : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings /
11
Fundamentals of Computation Theory [E-Book] : 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings /
12
Graph Transformation [E-Book] : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings /
13
Graph Transformation [E-Book] : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings /
14
Graph Transformations [E-Book]: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings /
15
Internet and Network Economics [E-Book] : 8th International Workshop, WINE 2012, Liverpool, UK, December 10-12, 2012. Proceedings /
16
Latent Variable Analysis and Signal Separation [E-Book]: 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings /
17
Latent Variable Analysis and Signal Separation [E-Book] : 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings /
18
Logic-Based Program Synthesis and Transformation [E-Book] : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers /
19
Logic-Based Program Synthesis and Transformation [E-Book] : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
20
Logic-Based Program Synthesis and Transformation [E-Book] : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /