



  The Calculus of Computation: Decision Procedures with Applications to VerificationComputational logic is a fastgrowing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of firstorder logic to stateoftheart...   Introduction to Precise Numerical Methods, Second EditionNow that powerful PCs and Macs are everywhere available, when solving a numerical problem, we should no longer be content with an indefinite answer, that is, an answer where the error bound is either unknown or a vague guess. This book’s software allows you to obtain your numerical answers to a prescribed number of correct decimal places. For... 

Algorithms Unplugged
Algorithms specify the way computers process information and how they execute tasks. Many recent technological innovations and achievements rely on algorithmic ideas – they facilitate new applications in science, medicine, production, logistics, traffic, communi¬cation and entertainment. Efficient algorithms not only enable your...   Microchip Mathematics: Number Theory for Computer Users
In the Autumn of 1983, in the face of the phenomenal growth of home computer sales in the U.K., the national British newspaper The Guardian decided to produce, each week, a 'Computer Page'. Noone was quite sure exactly what should go into the page on a regular basis, but it was thought that a fortnightly column on computer mathematics...   


Spectral Logic and Its Applications for the Design of Digital Devices
Spectral techniques facilitate the design and testing of today's increasingly complex digital devices
There is heightened interest in spectral techniques for the design of digital devices dictated by ever increasing demands on technology that often cannot be met by classical approaches. Spectral methods provide a uniform...   Ramsey Theory for Discrete Structures
This monograph covers some of the most important developments in Ramsey theory from its beginnings in the early 20th century via its many breakthroughs to recent important developments in the early 21st century.
The book first presents a detailed discussion of the roots of Ramsey theory before offering a thorough discussion of the...   Pointers in C: A Hands on Approach (Expert's Voice in C)
Pointers in C provides a resource for professionals and advanced students needing indepth but handson coverage of pointer basics and advanced features. The goal is to help programmers in wielding the full potential of pointers.
In spite of its vast usage, understanding and proper usage of pointers remains a significant... 


Result Page: 13 12 11 10 9 8 7 6 5 4 