Related Books

A Connotational Theory of Program Structure
Language: en
Pages: 196
Authors: James S. Royer
Categories: Computers
Type: BOOK - Published: 1987-08-26 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents developments of a language independent theory of program structure. The theory features a simple, natural notion of control structure which i
Complexity Theory Retrospective
Language: en
Pages: 242
Authors: Alan L. Selman
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

In 1965 Juris Hartmanis and Richard E. Stearns published a paper "On the Computational Complexity of Algorithms". The field of complexity theory takes its name
Fundamentals of Computation Theory
Language: en
Pages: 369
Authors: Witold Charatonik
Categories: Computers
Type: BOOK - Published: 2009-07-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 17th International Symposium Fundamentals of Computation Theory, FCT 2009, held in Wroclaw, Poland in Augu
Fundamentals of Computation Theory
Language: en
Pages: 369
Authors: Miroslaw Kutylowski
Categories: Computers
Type: BOOK - Published: 2009-09-19 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 17th International Symposium Fundamentals of Computation Theory, FCT 2009, held in Wroclaw, Poland in Augu
A Recursive Introduction to the Theory of Computation
Language: en
Pages: 155
Authors: Carl Smith
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The aim of this textbook is to present an account of the theory of computation. After introducing the concept of a model of computation and presenting various e