Theory and Applications of Models of Computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings /

Theory and Applications of Models of Computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Gopal, T.V. (Editor), Jäger, Gerhard. (Editor), Steila, Silvia. (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Theoretical Computer Science and General Issues ; 10185
Subjects:
Mathematical logic.
Computer science-Mathematics.
Algorithms.
Computer logic.
Data structures (Computer science).
Artificial intelligence.
Mathematical Logic and Formal Languages.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Data Structures and Information Theory.
Artificial Intelligence.
Table of Contents:
  • Computability
  • Computer science logic
  • Complexity
  • Algorithms
  • Models of computation and systems theory.

Similar Items