1
Language and Automata Theory and Applications [E-Book] : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /
2
WALCOM: Algorithms and Computation [E-Book] : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015. Proceedings /
3
Arithmetic of Finite Fields [E-Book] : 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers /
4
Automated Deduction in Geometry [E-Book] : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /
5
Relational and Algebraic Methods in Computer Science [E-Book] : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings /
6
Language and Automata Theory and Applications [E-Book] : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings /
7
Algebraic and Algorithmic Aspects of Differential and Integral Operators [E-Book] : 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers /
8
Computer Algebra in Scientific Computing [E-Book] : 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings /
9
Algorithms and Computation [E-Book] : 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014, Proceedings /
10
WALCOM: Algorithms and Computation [E-Book] : 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings /
11
Computer Algebra in Scientific Computing [E-Book] : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings /
12
Algebraic Informatics [E-Book] : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /
13
Graph Drawing [E-Book] : 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers /
14
Automated Deduction in Geometry [E-Book] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /
15
Combinatorial Algorithms [E-Book] : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers /
16
Logic, Rationality, and Interaction [E-Book] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
17
Principles of Distributed Systems [E-Book] : 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings /
18
Parameterized and Exact Computation [E-Book]: 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers /
19
Computer Algebra in Scientific Computing [E-Book]: 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings /
20
Logic, Language, Information and Computation [E-Book]: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings /