Notepad
The notepad is empty.
The basket is empty.
Free shipping possible
Please wait - the print view of the page is being prepared.
The print dialogue opens as soon as the page has been completely loaded.
If the print preview is incomplete, please close it and select "Print again".

Theory and Applications of Models of Computation

14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
BookPaperback
Ranking8443in
CHF124.00

Description

This book constitutes the refereed proceedings of the 14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017, held in Bern, Switzerland, in April 2017. The main themes of TAMC 2017 have been computability, computer science logic, complexity, algorithms, and models of computation and systems theory.
More descriptions

Details

ISBN/GTIN978-3-319-55910-0
Product TypeBook
BindingPaperback
PublisherSpringer
Publishing date21/03/2017
Edition1st ed. 2017
SeriesLecture Notes in Computer Science
Series no.10185
Pages698 pages
LanguageEnglish
SizeWidth 155 mm, Height 235 mm
Weight10818 g
IllustrationsXXVI, 698 p. 80 illus., schwarz-weiss Illustrationen
Article no.4801935
CatalogsBuchzentrum
Data source no.22414225
More details

Series

Author

Subjects

BZ
Algorithm Analysis and Problem Complexity
Algorithms
Algorithms & data structures
Analysis ~ Algorithm Analysis and Problem Complexity
Artificial Intelligence
Automata ~ Formal Languages and Automata Theory
C
Complexity ~ Algorithm Analysis and Problem Complexity
Computer Science Logic and Foundations of Programming
Computer architecture & logic design
Computer logic
Computer programming / software engineering
Computer science (Data structures)
Computer science-Mathematics
Computing ~ Mathematics of Computing
Data Structures and Information Theory
Data structures (Computer science)
Formal Languages and Automata Theory
Formal ~ Mathematical Logic and Formal Languages
Foundations ~ Computer Science Logic and Foundations of Programming
Information theory
Information ~ Data Structures and Information Theory
Intelligence ~ Artificial Intelligence
Languages ~ Formal Languages and Automata Theory
Languages ~ Mathematical Logic and Formal Languages
Logic ~ Computer Science Logic and Foundations of Programming
Logic ~ Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical logic
Mathematical theory of computation
Mathematics of Computing
Mathematics ~ Computer science-Mathematics
Maths for computer scientists
Meanings ~ Logics and Meanings of Programs
Problem ~ Algorithm Analysis and Problem Complexity
Programming ~ Computer Science Logic and Foundations of Programming
Programs ~ Logics and Meanings of Programs
Science ~ Computer Science Logic and Foundations of Programming
Structures ~ Data Structures and Information Theory
Theory ~ Data Structures and Information Theory
Theory ~ Formal Languages and Automata Theory
and ~ Algorithm Analysis and Problem Complexity
and ~ Computer Science Logic and Foundations of Programming
and ~ Data Structures and Information Theory
and ~ Formal Languages and Automata Theory
and ~ Logics and Meanings of Programs
and ~ Mathematical Logic and Formal Languages
architecture ~ Computer architecture & logic design
computation ~ Mathematical theory of computation
computer science
computer ~ Maths for computer scientists
data ~ Algorithms & data structures
design ~ Computer architecture & logic design
engineering ~ Computer programming / software engineering
for ~ Maths for computer scientists
logic ~ Computer architecture & logic design
logic ~ Computer logic
logic ~ Mathematical logic
programming ~ Computer programming / software engineering
science ~ Computer science-Mathematics
science ~ Data structures (Computer science)
science ~ computer science
scientists ~ Maths for computer scientists
software ~ Computer programming / software engineering
structures ~ Algorithms & data structures
structures ~ Data structures (Computer science)
theory ~ Information theory
theory ~ Mathematical theory of computation
VLB main reading rationale