1
Algorithmic Aspects of Cloud Computing [E-Book] : 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers /
2
Foundations of Software Science and Computation Structures [E-Book] : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /
3
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II /
4
Graph Drawing and Network Visualization [E-Book] : 29th International Symposium, GD 2021, Tübingen, Germany, September 14-17, 2021, Revised Selected Papers /
5
Theoretische Informatik -- ganz praktisch [E-Book] /
6
Combinatorics on Words [E-Book] : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /
7
High Performance Computing [E-Book] : 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings /
8
Declarative Programming and Knowledge Management [E-Book] : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers /
9
Supercomputing [E-Book] : 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedings /
10
Recent Trends in Algebraic Development Techniques [E-Book]: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers /
11
Parameterized and Exact Computation [E-Book]: 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers /