1
Mathematics of Program Construction [E-Book] : 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /
2
Combinatorics on Words [E-Book] : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /
3
Constructive Side-Channel Analysis and Secure Design [E-Book] : 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised Selected Papers /
4
Integer Programming and Combinatorial Optimization [E-Book] : 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014. Proceedings /
5
Graph Drawing [E-Book] : 22nd International Symposium, GD 2014, Würzburg, Germany, September 24-26, 2014, Revised Selected Papers /
6
Relational and Algebraic Methods in Computer Science [E-Book] : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings /
7
Multivariate Network Visualization [E-Book] : Dagstuhl Seminar #13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions /
8
Pristine Perspectives on Logic, Language, and Computation [E-Book] : ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers /
9
Advances in Spatial and Temporal Databases [E-Book] : 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings /
10
Computer Algebra in Scientific Computing [E-Book] : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings /
11
Graph-Theoretic Concepts in Computer Science [E-Book] : 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers /
12
Combinatorial Pattern Matching [E-Book] : 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings /
13
Public Key Cryptography – PKC 2012 [E-Book]: 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings /
14
Approximation and Online Algorithms [E-Book]: 9th International Workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers /
15
Foundations of Information and Knowledge Systems [E-Book]: 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings /
16
Parameterized and Exact Computation [E-Book]: 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers /
17
Cryptology and Network Security [E-Book] : 11th International Conference, CANS 2012, Darmstadt, Germany, December 12-14, 2012. Proceedings /
18
Graph Transformations [E-Book]: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings /
19
Arithmetic of Finite Fields [E-Book] : 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings /
20
Research in Cryptology [E-Book]: 4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 20-22, 2011, Revised Selected Papers /