1
Advances in Computer Games [E-Book] : 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers /
2
Algebraic Informatics [E-Book] : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings /
3
The Algorithm Design Manual [E-Book] /
4
Algorithmic Aspects of Cloud Computing [E-Book] : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers /
5
Algorithms - ESA 2015 [E-Book] : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /
6
Analytical and Stochastic Modelling Techniques and Applications [E-Book] : 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings /
7
Applied Parallel and Scientific Computing [E-Book]: 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I /
8
Applied Parallel and Scientific Computing [E-Book]: 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II /
9
Automated Reasoning [E-Book] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /
10
Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
11
Computational Methods in Systems Biology [E-Book] : 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings /
12
Computational Methods in Systems Biology [E-Book] : 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings /
13
Descriptive Set Theoretic Methods in Automata Theory [E-Book] : Decidability and Topological Complexity /
14
Engineering Secure Software and Systems [E-Book] : 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings /
15
Facing the Multicore - Challenge II [E-Book]: Aspects of New Paradigms and Technologies in Parallel Computing /
16
Graph Transformation [E-Book] : 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings /
17
Graphical Models for Security [E-Book] : Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers /
18
Guide to Scientific Computing in C++ [E-Book] /
19
High Performance Computing in Science and Engineering [E-Book] : Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers /
20
Information Systems and Design [E-Book] : Third International Conference, ICID 2022, Tashkent, Uzbekistan, September 12-13, 2022, Revised Selected Papers /