Operating Systems
Programming Languages
Microsoft Technologies
Computer Science
Formal Methods
MM & Game Dev.
Theory Computing
DS & Algorithms
Software Engineering
Web Programming
Web Technologies

Contact Us | What's New | Missing Link | Feedback

CS -> Theory

Book Title : An Introduction to the Theory of Computation (Principles of Computer Science Series)
eBook download format(s) : HTML HTML 
ISBN-10 : 0716781824 
ISBN-13 : 978-0-716781-82-0 
Author(s) : Eitan Gurari
Publisher : Computer Science Pr (Apr 1989)
Section : CS -> Theory
Book Review:

From the book
Computations are designed to solve problems. Programs are descriptions of computations written for execution on computers. The field of computer science is concerned with the development of methodologies for designing programs, and with the development of computers for executing programs. It is therefore of central importance for those involved in the field that the characteristics of programs, computers, problems, and computation be fully understood. Moreover, to clearly and accurately communicate intuitive thoughts about these subjects, a precise and well-defined terminology is required.

This book explores some of the more important terminologies and questions concerning programs, computers, problems, and computation. The exploration reduces in many cases to a study of mathematical theories, such as those of automata and formal languages; theories that are interesting also in their own right. These theories provide abstract models that are easier to explore, because their formalisms avoid irrelevant details.

Organized into seven chapters, the material in this book gradually increases in complexity. In many cases, new topics are treated as refinements of old ones, and their study is motivated through their association to programs.

add to                 Digg!

You may use anyone of the download options

eBook VersionBuy this book from Amazon
Front Cover

Missing Link?, Report It and try these 2 + 1 alternates...

Tell a Friend!

Similar Book titles in CS -> Theory section:
Introduction to Computer Science I
Foundations of Computer Science
Graph Theory
How to Think Like a Computer Scientist: Learning with Python
Introduction to Symbolic Computation
An Introduction to Multigrid Methods
Type Theory and Functional Programming
How to Think Like a Computer Scientist: Learning with LOGO
How to Think Like a Computer Scientist: Learning with Java
How to Think Like a Computer Scientist: Learning with Cpp
Information Theory, Inference and Learning Algorithms
Computer Organization and Design Fundamentals
Essentials of Theoretical Computer Science
Categories, Types And Structures - An Introduction to Category Theory for The Working Computer Scientist
Computational Semantics and Type Theory
Queueing Theory
Parallel Complexity Theory
Lecture Notes on Algorithm Analysis and Computational Complexity (4th Edition)
How Computers Work: Processor and Main Memory
Algorithmic Information Theory, Third Printing
The Secret Guide to Computers, 29th Edition
Trapped in the Net: The Unanticipated Consequences of Computerization
Computational Category Theory
A Short Introduction to Queueing Theory
Quantitative System Performance - Computer System Analysis Using Queueing Network Models
Capability-Based Computer Systems
Introduction to Computational Complexity
An Introduction to Computing
A Gentle Introduction to Haskell
Notes on Coding Theory
Computation Complexity
Ballard and Brown's Computer Vision
Global Optimization Algorithms - Theory and Application
A College Student's Guide to Computers in Education
Introduction to Objective Caml

Similar Book titles in Other sections:

Section: Bio-Chemistry
Chemistry of Health - National Institute of General Medical Sciences
Inside the Cell - National Institute of General Medical Sciences
Introduction to Glycolysis
Structures of Life - National Institute of General Medical Sciences
Computational Molecular Biology: An Introduction
Show all..

Section: CS -> Compilers and Languages
Semantics with Applications: A Formal Introduction
Programming in Martin-Lof's Type Theory
An Introduction to GCC
Introduction to Programming Languages
Theory of Codes
Show all..

Section: Data Structures and Algorithms
Introduction to Computer Graphics
Concepts, Techniques, and Models of Computer Programming
Introduction to Algorithms
Design and Analysis of Computer Algorithms
Computers, Graphics, & Learning
Show all..

Section: Multimedia & Game Development
Simulating Humans: Computer Graphics Animation and Control
So you want to be a Computer Game Developer?

Section: CS -> Hardware
Computer Architecture Tutorial
Advanced Computer Architecture Notes
Advanced Computer Architecture Tutorials
Computer Structures: Principles and Examples
Computer Structures: Readings and Examples
Show all..

Section: DB -> Datawarehousing
Algorithmic Information Theory
Data Mining - An Introduction Student Notes

Section: DB -> Others
Introduction to Databases for the Web
Introduction to Databases for Web Developers
Introduction to Sybase
Teach Yourself Intrabuilder in 21 Days (Teach Yourself Series)
The Theory of Relational Databases
Show all..

Section: DB -> Postgre SQL
PostgreSQL: Introduction and Concepts
An Introduction to MySQL

Section: DB -> SQL
Introduction to SQL
A Gentle Introduction to SQL
Structured Query Language (SQL) : A Practical Introduction

Section: Computer Hardware
The Hand-Me-Down PC: Upgrading and Repairing Personal Computers
Beginning Computer Hardware Guide
Scott Mueller Library - Computer Dictionary
Build Your Own Laptop - An Impractical Guide to Building a Laptop Computer
Computer Repair with Diagnostic Flowcharts
Show all..

Section: Device Drivers
Introduction to Writing Windows CE Display Drivers

Section: Logic Design and Architecture
Computer Aids for VLSI Design, Second Edition
An Introduction to VHDL

Section: Microprocessor
CAN (Controller Area Network): Introduction and Fundamentals
Introduction to Microcontrollers
Introduction to PLC controllers
Introduction to 8080/8085 Assembly Language Programming

Section: Peripherals
Introduction to PCI

Section: Internet
Computer Security Basics 2nd Edition

Section: Advanced Java
Introduction to Computer Science Using Java

Section: Java Enterprise Edition
Enterprise Java Beans, an Introduction

Section: Java User Interface
Java 2D: An Introduction and Tutorial

Section: Java Language
Introduction to Programming Using Java
Introduction to Interactive Programming In Java
Introduction to Programming (in Java) - An Interdisciplinary Approach
Introduction to Neural Networks with Java

Section: Life & Health
The Mind At Night - The New Science Of How And Why We Dream
The Filipino Fighting / Martial Arts: Theory and Practice

Section: Mathematics
An Introduction to Neural Networks
Mathematical Foundations of Computer Science
Introduction to Group Theory
Vector Math for 3D Computer Graphics - An Interactive Tutorial
The Unknowable (Discrete Mathematics and Theoretical Computer Science)
Show all..

Section: Miscellaneous
The Art of Computer Game Design
Computer Vision and Image Processing
An introduction to Cryptography
Academic Careers for Experimental Computer Scientists and Engineers
Introduction to Sound Processing
Show all..

Section: Microsoft C Sharp (C#)
A Programmer's Introduction to C# (Second Edition)
Programmer Introduction to C#

Section: Networking
Introduction to Data Communications
Introduction to Computer, Internet & Network Systems Security
Computer Networks and Internets
Computer Networks
IP Routing Fundamentals (The Cisco Press Fundamental Series)
Show all..

Section: Other Engineering
Spheroidal Wave Functions in Electromagnetic Theory (Wiley Series in Microwave and Optical Engineering)

Section: GNU/Linux OS
Introduction to Linux
Introduction to Socket Programming
An Introduction to Tkinter
The Easiest Linux Guide You'll Ever Read - an Introduction to Linux for Windows Users

Section: Embedded and RTOS
Introduction to Robotics: Mechanics and Control

Section: OS Theory
A Short Introduction to Operating Systems

Section: Unix OS
Introduction to Unix for Web Developers

Section: Physics
Frontiers in High Energy Density Physics: The X-Games of Contemporary Science
Stephen Hawking: A Life in Science
Connecting Quarks with the Cosmos: Eleven Science Questions for the New Century
Storms from the Sun: The Emerging Science of Space Weather

Section: Assembly Language
Introduction to RISC Assembly Language Programming
Programmed Introduction to MIPS Assembly Language
The Art of Computer Programming
Introduction to Reverse Engineering Software

Section: C Language
Introduction to C and C++ Programming
Introduction to C Programming

Section: C++ Language
An Introduction to C++ and Object Oriented Programming
An Introduction to C++ Programming
Compilers and Compiler Generators: an introduction with C++
Introduction to C++ Programming I
Introduction to Object-Oriented Programming Using C++
Show all..

Section: Other Programming
Common Lisp: A Gentle Introduction to Symbolic Computation
Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)
Ada Distilled: An Introduction to Ada Programming
Common Lisp: An Interactive Approach (Principles of Computer Science Series)
An Introduction to Programming in Emacs Lisp
Show all..

Section: Scripting
An Introduction to Scheme and its Implementation
Introduction to TCL/TK
Concrete Abstractions: An Introduction to Computer Science Using Scheme
An Introduction to Python

Section: Smalltalk
The Art and Science of Smalltalk
Smalltalk: An Introduction to Application Development Using VisualWorks
Smalltalk and Object Orientation: An Introduction

Section: Redbooks Draft
IBM/Cisco Multiprotocol Routing: An Introduction and Implementation
GDPS Family - An Introduction to Concepts and Capabilities
IBM System Storage DS3000: Introduction and Implementation Guide
IBM System z9 Business Class Technical Introduction
Introduction to Workload Partition Management in IBM AIX Version 6
Show all..

Section: Redbooks
IBM TotalStorage: Introduction to SAN Routing
IBM System z9 Business Class Technical Introduction
Introduction to the New Mainframe: z/OS Basics
AIX V6 Advanced Security Features Introduction and Configuration
SAN Multiprotocol Routing: An Introduction and Implementation
Show all..

Section: Redpapers
IBM System p5 510 and 510Q Technical Overview and Introduction
IBM BladeCenter JS21 Technical Overview and Introduction
IBM System p5 185 Technical Overview and Introduction
IBM System p5 560Q Technical Overview and Introduction
IBM IntelliStation POWER 185 Technical Overview and Introduction
Show all..

Section: Redpapers Draft
IBM System p5 505 and 505Q Technical Overview and Introduction
IBM System p5 550 and 550Q Technical Overview and Introduction
IBM System p5 510 and 510Q Technical Overview and Introduction
IBM System p5 590 and 595 Technical Overview and Introduction
System x3755 Technical Introduction
Show all..

Section: Software Engineering
How to Design Programs: An Introduction to Programming and Computing
Supercomputers: Directions in Technology and Applications
Task-Centered User Interface Design - A Practical Introduction

Section: Travel and Routes
The Global Nomad: Backpacker Travel in Theory and Practice

Section: Web Programming
Voodoo's Introduction to JavaScript
Introduction to Databases for the Web
A Programmer's Introduction to PHP 4.0

Section: Web Technology
Introduction to Dynamic HTML
Introduction to Adobe Photoshop
Introduction to Web Design
Introduction to HTML
Introduction to Web Design
Show all..

Section: XML, XSL & UML
A Gentle Introduction to XML
Introduction to XML for Web Developers
A Technical Introduction to XML (N. Walsh)
Introduction to XForms
Introduction to XML Programming
Show all..

Similar Books from Amazon :

Tell a Friend!

©2008 - Home - Privacy Policy - Program Policy, Terms and Conditions