Hundreds of Mathematics books at half price + FREE shipping! Get yours now >>

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 74,96 €
price for Spain (gross)
  • ISBN 978-3-319-55911-7
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 93,60 €
price for Spain (gross)
  • ISBN 978-3-319-55910-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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 (49 chapters)

  • Cognitive Reasoning and Trust in Human-Robot Interactions

    Kwiatkowska, Marta

    Pages 3-11

    Preview Buy Chapter 30,19 €
  • On Choice Rules in Dependent Type Theory

    Maietti, Maria Emilia

    Pages 12-23

    Preview Buy Chapter 30,19 €
  • Natural Language Processing, Moving from Rules to Data

    Dediu, Adrian-Horia (et al.)

    Pages 24-38

    Preview Buy Chapter 30,19 €
  • An All-or-Nothing Flavor to the Church-Turing Hypothesis

    Wolf, Stefan

    Pages 39-56

    Preview Buy Chapter 30,19 €
  • Turbo-Charging Dominating Set with an FPT Subroutine: Further Improvements and Experimental Analysis

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

    Pages 59-70

    Preview Buy Chapter 30,19 €

Buy this book

eBook 74,96 €
price for Spain (gross)
  • ISBN 978-3-319-55911-7
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 93,60 €
price for Spain (gross)
  • ISBN 978-3-319-55910-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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