Theory and applications of models of computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings / T.V. Gopal, Gerhard Jäger, Silvia Steila (eds.).
TAMC (Conference) (14th : 2017 : Bern, Switzerland); Gopal, T. V., editor.; Jäger, Gerhard, Dr., editor.; Steila, Silvia, editor.
2017
QA76.9.M35 T35 2017eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Theory and applications of models of computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings / T.V. Gopal, Gerhard Jäger, Silvia Steila (eds.).
Meeting Name TAMC (Conference) (14th : 2017 : Bern, Switzerland)
ISBN 9783319559117 (electronic book)
3319559117 (electronic book)
9783319559100
DOI https://doi.org/10.1007/978-3-319-55911-7
Published Cham, Switzerland : Springer, 2017.
Language English
Description 1 online resource (xxvi, 698 pages) : illustrations.
Item Number 10.1007/978-3-319-55911-7 doi
Call Number QA76.9.M35 T35 2017eb
Dewey Decimal Classification 004.01/51
Summary 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 45 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 103 submissions. The main themes of TAMC 2017 have been computability, computer science logic, complexity, algorithms, and models of computation and systems theory.
Note International conference proceedings.
Bibliography, etc. Note Includes bibliographical references and author index.
Access Note Access limited to authorized users.
Digital File Characteristics text file PDF
Source of Description Online resource; title from PDF title page (SpringerLink, viewed April 19, 2017).
Added Author Gopal, T. V., editor.
Jäger, Gerhard, Dr., editor.
Steila, Silvia, editor.
Series Lecture notes in computer science ; 10185. 0302-9743
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form Print version: 9783319559100
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Computability
Computer science logic
Complexity
Algorithms
Models of computation and systems theory.

Browse Subjects

Show more subjects...

Statistics

from
to
Export