Normal view MARC view ISBD view

How the World Computes [Recurso electrónico] : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe.

Cooper, S. Barry.
Contributor(s): Dawar, Anuj | Löwe, Benedikt.
Material type: materialTypeLabelBook; Format: electronic Series: Lecture Notes in Computer Science ; 7318.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012ISBN: 9783642308703.Subject(s): Computer science | Computer software | Computational complexity | Algebra -- Data processing | Logic, Symbolic and mathematical | Computer Science | Computation by Abstract Devices | Algorithm Analysis and Problem Complexity | Discrete Mathematics in Computer Science | Symbolic and Algebraic Manipulation | Mathematical Logic and FoundationsAdditional physical formats: Printed edition:: No titleOnline resources: Texto completo
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
No physical items for this record

Restringido a usuarios de la UCA

Modo de acceso: World Wide Web

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha