Get 40% off our selection of bestselling print books in Engineering through October 31st!

Theoretical Computer Science and General Issues

Theory and Applications of Models of Computation

14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Editors: Gopal, TV, Jaeger, Gerhard, Steila, Silvia (Eds.)

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-319-55911-7
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.99
price for USA in USD
  • ISBN 978-3-319-55910-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (47 chapters)

  • Cognitive Reasoning and Trust in Human-Robot Interactions

    Kwiatkowska, Marta

    Pages 3-11

  • On Choice Rules in Dependent Type Theory

    Maietti, Maria Emilia

    Pages 12-23

  • Natural Language Processing, Moving from Rules to Data

    Dediu, Adrian-Horia (et al.)

    Pages 24-38

  • An All-or-Nothing Flavor to the Church-Turing Hypothesis

    Wolf, Stefan

    Pages 39-56

  • Turbo-Charging Dominating Set with an FPT Subroutine: Further Improvements and Experimental Analysis

    Abu-Khzam, Faisal N. (et al.)

    Pages 59-70

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-319-55911-7
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.99
price for USA in USD
  • ISBN 978-3-319-55910-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Theory and Applications of Models of Computation
Book Subtitle
14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
Editors
  • TV Gopal
  • Gerhard Jaeger
  • Silvia Steila
Series Title
Theoretical Computer Science and General Issues
Series Volume
10185
Copyright
2017
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG
eBook ISBN
978-3-319-55911-7
DOI
10.1007/978-3-319-55911-7
Softcover ISBN
978-3-319-55910-0
Edition Number
1
Number of Pages
XXVI, 698
Number of Illustrations and Tables
80 b/w illustrations
Topics