1
The Mathematics of Language [E-Book] : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers /
2
Natural Computing [E-Book] : 2nd International Workshop on Natural Computing, Nagoya, Japan, December 2007, Proceedings  /
3
Infinity in Logic and Computation [E-Book] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers /
4
Classification and Learning Using Genetic Algorithms [E-Book] : Applications in Bioinformatics and Web Intelligence /
5
Theoretische Informatik [E-Book] : Formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie /
6
Logic, Language, Information and Computation [E-Book] : 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings /
7
Computation and Logic in the Real World [E-Book] / Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings
8
Theory and Applications of Models of Computation [E-Book] : 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings /
9
Petri Nets and Other Models of Concurrency - ICATPN 2007 [E-Book] / 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceeding
10
Die Macht der Abstraktion [E-Book] : Einführung in die Programmierung /
11
Evolutionary Algorithms for Solving Multi-Objective Problems [E-Book] : Second Edition /
12
Natural Language Processing and Text Mining [E-Book] /
13
Modelling Distributed Systems [E-Book] /
14
Linear Genetic Programming [E-Book] /
15
High Performance Computing for Computational Science - VECPAR 2006 [E-Book] : 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /
16
Evolutionäre Algorithmen [E-Book] /
17
Computer Science – Theory and Applications [E-Book] : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings /
18
Theoretical Aspects of Local Search [E-Book] /
19
Genetic Programming Theory and Practice IV [E-Book] /
20
The Calculus of Computation [E-Book] : Decision Procedures with Applications to Verification /