1
Theory and Applications of Models of Computation [E-Book] : 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings /
2
Computation and Logic in the Real World [E-Book] / Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings
3
Theory and Applications of Models of Computation [E-Book] : 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /
4
Theory and Applications of Models of Computation [E-Book] : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings /
5
New Computational Paradigms [E-Book] / First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
6
Theory and Applications of Models of Computation [E-Book] / Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings
7
Do-All Computing in Distributed Systems [E-Book] : Cooperation in the Presence of Adversity /
8
Dissemination of Information in Communication Networks [E-Book] : Broadcasting, Gossiping, Leader Election, and Fault-Tolerance /
9
Genetic Programming Theory and Practice II [E-Book] /
10
Hypercomputation [E-Book] : Computing Beyond the Church-Turing Barrier /
11
Super-Recursive Algorithms [E-Book] /
12
Algorithmic Adventures [E-Book] : From Knowledge to Magic /
13
Information Computing and Applications [E-Book] : International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /
14
Genetic Programming Theory and Practice IV [E-Book] /
15
Genetic Programming Theory and Practice V [E-Book] /
16
Handbook of Nature-Inspired and Innovative Computing [E-Book] : Integrating Classical Models with Emerging Technologies /
17
Genetic Programming Theory and Practice VIII [E-Book] /
18
Information Computing and Applications [E-Book] : International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I /
19
Time-Dependent Scheduling [E-Book] /
20
The Calculus of Computation [E-Book] : Decision Procedures with Applications to Verification /