Cover image for The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
Title:
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
Author:
Bonizzoni, Paola. editor.
ISBN:
9783642390531
Physical Description:
XVIII, 446 p. 42 illus. online resource.
Series:
Lecture Notes in Computer Science, 7921
Subject Term:
Computer science.

Computer software.

Logic design.

Computational complexity.

Logic, Symbolic and mathematical.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Discrete Mathematics in Computer Science.

Math Applications in Computer Science.

Logics and Meanings of Programs.

Mathematical Logic and Foundations.
Added Author:
Brattka, Vasco.

Löwe, Benedikt.
Added Corporate Author:
SpringerLink (Online service)
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-39053-1
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
 E-Book 334718-1001 ONLINE(334718.1)
Searching...

On Order