The Nature of Computation. Logic, Algorithms, Applications [electronic resource] :9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe.
by Bonizzoni, Paola [editor.]; Brattka, Vasco [editor.]; Löwe, Benedikt [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 7921Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.Description: XVIII, 446 p. 42 illus. online resource.ISBN: 9783642390531.Subject(s): Computer science | Computer software | Logic design | Computational complexity | Logic, Symbolic and mathematical | Computer Science | 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 FoundationsDDC classification: 004.0151 Online resources: Click here to access online
In:
Springer eBooksSummary: This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013. The 48 revised papers presented together with 1 invited lecture and 2 tutorials were carefully reviewed and selected with an acceptance rate of under 31,7%. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | QA75.5-76.95 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
| QA276-280 Statistical Models for Proportions and Probabilities | TJ210.2-211.495 A Journey from Robot to Digital Human | TK7876-7876.42 Propagation of SLF/ELF Electromagnetic Waves | QA75.5-76.95 The Nature of Computation. Logic, Algorithms, Applications | Q334-342 Case-Based Reasoning Research and Development | QA75.5-76.95 Advances in Neural Networks – ISNN 2013 | QA75.5-76.95 Advances in Neural Networks – ISNN 2013 |
This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013. The 48 revised papers presented together with 1 invited lecture and 2 tutorials were carefully reviewed and selected with an acceptance rate of under 31,7%. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing.
There are no comments for this item.