A computational model is a framework for doing computations according to certain specified rules on some input data. These models come for example from automata theory, formal language theory, logic, or circuit theory. The computational power of such a model can be judged by evaluating certain problems with respect to that model.
The theory of computations is the study of the inherent difficulty of computational problems, that is, their computational complexity. This monograph analyzes the computational complexity of the satisfiability, equivalence, and almost-equivalence problems with...

Considered To Be One Of The Best-Selling Programming Books Ever Written, The Eighth Edition Has Now Been Edited, Revised, And Updated. Simplicity And An Easy Narration Style Are The Hallmarks Of The Book, Which Have Made Its Previous Seven Editions Immensely Successful. Today'S C Programmer (Still The Language Of Choice In Science, Engineering, Game Programming And For Handheld Devices) Has To Master The Complexities Of The Language And Contend With Its Usage In Environments Like Windows, Linux, And For The Internet. Let Us C, Eighth Edition Covers These Three Aspects Of C Programming And...

Designed for a short course on control systems or as a review for the professional engineer, this book provides a lucid introduction to modern control systems topics. The five chapters, State-Variable Analysis of Continuous-Time Systems, Analysis of Discrete-Time Systems, Stability Analysis of Non-Linear Systems, Optimal Control, and Adaptive Control have been written to emphasize concepts and provide the basic mathematical derivations. Complete coverage of standard topics, e.g., eigenvalues, eigenvectors, the z-transform, Lyapunovs Method, controllability, observability, etc. are discussed....

The Competence And Quality Of Software Testers Are Often Judged By The Various Testing Techniques They Have Mastered. As The Name Suggests, Software Testing Provides A Self-Study Format And Is Designed For Certification Course Review, And For "Freshers" As Well As Professionals Who Are Searching For Opportunities In The Software Testing Field. Along With Software Testing Basics, The Book Covers Software Testing Techniques And Interview Questions (E.G., Six Sigma And CMMI) Which Are Important From The Software Quality Assurance (SQA) Perspective. It Also Has In-Depth Coverage Of Software...

Describes the aspects of mathematical logic which are related to computer science. This book deals with both the peculiarities of logical systems and the requirements of computer science. In this edition, the proofs and explanations have been increased and rewritten, with new terms and notations.

This introduction to the SQL database manipulation language, based around the 1986 ANSI standard, uses DB2, dBASE IV SQL, Informix and Oracle as representatives of the range of over 50 SQL implementations.

A description of the principles of and practices in human-computer interfacing, based on applied psychology, while integrating the approach with methods of software engineering. Tasks analysis, command language grammar, display and control interfaces and interface evaluation are examined.

The aim of this student text is to provide support for practical programming in concurrency, using the OCCAM 2 computer language. Although readers do not require previous experience of writing parallel computer programs, a general knowledge of programming techniques is assumed.