41
Logical Approaches to Computational Barriers [E-Book] / Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
42
Modelling Autonomic Communication Environments [E-Book] : 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings /
43
New Computational Paradigms [E-Book] / First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
44
The P=NP Question and Gödel’s Lost Letter [E-Book] /
45
Parameterized and Exact Computation [E-Book] : 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers /
46
Parameterized and Exact Computation [E-Book] : 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings /
47
Parameterized Complexity Theory [E-Book] /
48
Pillars of Computer Science : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday [E-Book]/
49
Programming Languages and Systems [E-Book] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
50
Quantum Interaction [E-Book] : 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers /
51
Quantum Interaction [E-Book] : Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings /
52
Reachability Problems [E-Book] : 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings /
53
Rigorous Methods for Software Construction and Analysis [E-Book] : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday /
54
Theory and Applications of Models of Computation [E-Book] / Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings
55
Search Computing [E-Book] : Challenges and Directions /
56
Search Computing [E-Book] : Trends and Developments /
57
Super-Recursive Algorithms [E-Book] /
58
Theoretical Aspects of Computing - ICTAC 2009 [E-Book] : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings /
59
Theoretical Aspects of Local Search [E-Book] /
60
Theory and Applications of Models of Computation [E-Book] : 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings /