1
Advanced Functional Programming [E-Book] : 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures /
2
Algorithmic Adventures [E-Book] : From Knowledge to Magic /
3
Algorithms and Architectures for Parallel Processing [E-Book] : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I /
4
Algorithms and Architectures for Parallel Processing [E-Book] : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /
5
Applications and Theory of Petri Nets [E-Book] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings /
6
Bioinspired Computation in Combinatorial Optimization [E-Book] : Algorithms and Their Computational Complexity /
7
The Calculus of Computation [E-Book] : Decision Procedures with Applications to Verification /
8
Compiler Construction [E-Book] : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
9
Complexity Theory and Cryptology [E-Book] : An Introduction to Cryptocomplexity /
10
Computability and Complexity Theory [E-Book] /
11
Computation and Logic in the Real World [E-Book] / Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings
12
Computer Science -- Theory and Applications [E-Book] / First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings
13
Computer Science - Theory and Applications [E-Book] : Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings /
14
Computer Science – Theory and Applications [E-Book] : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings /
15
CONCUR 2009 - Concurrency Theory [E-Book] : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings /
16
Discrete Mathematics and Theoretical Computer Science [E-Book] : 4th International Conference, DMTCS 2003 Dijon, France, July 7–12, 2003 Proceedings /
17
Dissemination of Information in Communication Networks [E-Book] : Broadcasting, Gossiping, Leader Election, and Fault-Tolerance /
18
Dissemination of Information in Optical Networks [E-Book] : From Technology to Algorithms In Cooperation with Ralf Klasing /
19
Do-All Computing in Distributed Systems [E-Book] : Cooperation in the Presence of Adversity /
20
Evolutionary Algorithms for Solving Multi-Objective Problems [E-Book] : Second Edition /