1
Computation and Logic in the Real World [E-Book] / Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings

Full text 
Favorites
Saved in:
2
Logic, Language, Information and Computation [E-Book] : 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings /

Full text 
Favorites
Saved in:
3
Logical Approaches to Computational Barriers [E-Book] / Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings

Full text 
Favorites
Saved in:
4
New Computational Paradigms [E-Book] / First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings

Full text 
Favorites
Saved in:
5
The P=NP Question and Gödel’s Lost Letter [E-Book] /

Full text 
Favorites
Saved in:
6
Parameterized and Exact Computation [E-Book] : 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers /

Full text 
Favorites
Saved in:
7
Parameterized and Exact Computation [E-Book] : 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings /

Full text 
Favorites
Saved in:
8
Parameterized Complexity Theory [E-Book] /

Full text 
Favorites
Saved in:
9
Pillars of Computer Science : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday [E-Book]/

Full text 
Favorites
Saved in:
10
Rigorous Methods for Software Construction and Analysis [E-Book] : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday /

Full text 
Favorites
Saved in:

Narrow Search Results