Logical approaches to computational barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006: proceedings /

Yazar: Conference on Computability in Europe, Beckmann, Arnold.
Baskı/Yayın Bilgisi 2006.

Computation and logic in the real world Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings /

Yazar: Conference on Computability in Europe, Cooper, Barry S., Löwe, Benedikt., Sorbi, Andrea.
Baskı/Yayın Bilgisi 2007.

How the world computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, proceedings /

Yazar: Conference on Computability in Europe, Cooper, Barry S., Dawar, Anuj., Löwe, Benedikt.
Baskı/Yayın Bilgisi 2012.

New computational paradigms first Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings /

Yazar: Conference on Computability in Europe, Cooper, Barry S., Löwe, Benedikt., Torenvliet, Leen.
Baskı/Yayın Bilgisi 2005.

Logic and theory of algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings /

Yazar: Conference on Computability in Europe, Beckmann, Arnold., Dimitracopoulos, Costas., Löwe, Benedikt.
Baskı/Yayın Bilgisi c2008

Mathematical theory and computational practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : proceedings /

Yazar: Conference on Computability in Europe, Ambos-Spies, K., Löwe, Benedikt., Merkle, Wolfgang.
Baskı/Yayın Bilgisi 2009.

The nature of computation: logic, algorithms, applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, proceedings /

Yazar: Conference on Computability in Europe, CiE 2013, Bonizzoni, Paola., Brattka, Vasco, Löwe, Benedikt.
Baskı/Yayın Bilgisi 2013.