Library of American University of Madaba
Your cart is empty.
Bonizzoni, Paola.
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / [electronic resource] : edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe. - XVIII, 446 p. 42 illus. online resource. - Lecture Notes in Computer Science, 7921 0302-9743 ; .
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.
9783642390531
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 Foundations.
QA75.5-76.95
004.0151
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / [electronic resource] : edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe. - XVIII, 446 p. 42 illus. online resource. - Lecture Notes in Computer Science, 7921 0302-9743 ; .
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.
9783642390531
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 Foundations.
QA75.5-76.95
004.0151