1
Language and Automata Theory and Applications [E-Book] : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /
2
Experimental Algorithms [E-Book] : 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings /
3
Computing and Combinatorics [E-Book] : 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings /
4
Advances in Spatial and Temporal Databases [E-Book] : 14th International Symposium, SSTD 2015, Hong Kong, China, August 26-28, 2015. Proceedings /
5
Combinatorics on Words [E-Book] : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /
6
Automated Deduction in Geometry [E-Book] : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /
7
Genetic Programming [E-Book] : 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /
8
SOFSEM 2015: Theory and Practice of Computer Science [E-Book] : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings /
9
Logic and Its Applications [E-Book] : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings /
10
Logic-Based Program Synthesis and Transformation [E-Book] : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
11
Integration of AI and OR Techniques in Constraint Programming [E-Book] : 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings /
12
DNA Computing and Molecular Programming [E-Book] : 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings /
13
Evolutionary Computation in Combinatorial Optimization [E-Book] : 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /
14
Formal Concept Analysis [E-Book] : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings /
15
SOFSEM 2014: Theory and Practice of Computer Science [E-Book] : 40th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings /
16
Graph Structures for Knowledge Representation and Reasoning [E-Book] : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers /
17
Deontic Logic and Normative Systems [E-Book] : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings /
18
Parallel Problem Solving from Nature – PPSN XIII [E-Book] : 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings /
19
Advances in Swarm Intelligence [E-Book] : 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part I /
20
Advances in Swarm Intelligence [E-Book] : 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part II /