Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings / [electronic resource] :
edited by Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker.
- 1a ed.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
- v.: digital
- Lecture Notes in Computer Science, 3988 0302-9743 ; .
9783540354680
Computer science Information theory Computer software Electronic data processing Bioinformatics Algorithms Computer Science Theory of Computation Algorithm Analysis and Problem Complexity Mathematics of Computing Computing Methodologies Bioinformatics Algorithms