Apress

All Theory of Computation Titles

Grid or a List

Set Ascending Direction

Books 25-36 of 40

per page
Page:
  1. 1
  2. 2
  3. 3
  4. 4
  • Computation Engineering

    Computation Engineering Cover

    Ganesh Gopalakrishnan

    Many Computation Engineering textbooks emphasize automata theory only, not logic, losing a the opportunity to tie these subjects together and reinforce learning. This textbook ties theory and logic together, using interactive tools, such as simple BDD and SAT tools. By providing a blend of theory and practical applications the material is presented as both inviting and current. Key concepts are illustrated in multiple domains so that information is reinforced and students can begin to tie theory and logic together.
  • Computable Models

    Computable Models Cover

    raymond turner

    Computational models can be found everywhere in present day science and engineering. In providing a logical framework and foundation for the specification and design of specification languages, the author uses this framework to study computable models.

Grid or a List

Set Ascending Direction

Books 25-36 of 40

per page
Page:
  1. 1
  2. 2
  3. 3
  4. 4