1
Proofs and Algorithms [E-Book] : An Introduction to Logic and Computability /
2
Genetic Programming Theory and Practice VIII [E-Book] /
3
Concise Guide to Computation Theory [E-Book] /
4
Information Computing and Applications [E-Book] : International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I /
5
Theoretische Informatik [E-Book] : Formale Sprachen, Berechenbarkeit, Komplexitätstheorie,Algorithmik, Kommunikation und Kryptographie /
6
Transactions on Rough Sets XIV [E-Book] /
7
Optical Supercomputing [E-Book] : Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers /
8
Applied Informatics and Communication [E-Book] : International Conference, ICAIC 2011,Xi’an, China, August 20-21, 2011, Proceedings, Part I /
9
Applied Informatics and Communication [E-Book] : International Conference, ICAIC 2011, Xi’ian, China, August 20-21, 2011. Proceedings, Part III /
10
Applied Informatics and Communication [E-Book] : International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part V /
11
Applied Informatics and Communication [E-Book] : International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part II /
12
The Mathematics of Language [E-Book] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings /
13
Cartesian Genetic Programming [E-Book] /
14
Universal Semantic Communication [E-Book] /
15
Mobility in Process Calculi and Natural Computing [E-Book] /
16
Logic, Rationality, and Interaction [E-Book] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings /
17
Apartness and Uniformity [E-Book] : A Constructive Development /
18
Genetic Programming Theory and Practice IX [E-Book] /
19
Geospatial Abduction [E-Book] : Principles and Practice /
20
High Performance Computing for Computational Science – VECPAR 2010 [E-Book] : 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers /