



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...   Pattern Calculus: Computing with Functions and Structures
The pattern calculus is a new foundation for computation, in which the expressive power of functions and of data structures are combined within patternmatching functions. The best existing foundations focus on either functions, as in the lambdacalculus, or on data structures, as in Turing machines, or on compromises involving both, as in...   Computer Science: The Hardware, Software and Heart of It
Computer Science: The Hardware, Software and Heart of It focuses on the deeper aspects of the two recognized subdivisions of Computer Science, Software and Hardware. These subdivisions are shown to be closely interrelated as a result of the storedprogram concept. Computer Science: The Hardware, Software and Heart of It includes certain... 



New Computational Paradigms: Changing Conceptions of What is ComputableIn recent years, classical computability has expanded beyond its original scope to address issues related to computability and complexity in algebra, analysis, and physics. The deep interconnection between "computation" and "proof" has originated much of the most significant work in constructive mathematics and mathematical...   Think Complexity: Complexity Science and Computational Modeling
This book is inspired by boredom and fascination: boredom with the usual presentation of data structures and algorithms, and fascination with complex
systems. The problem with data structures is that they are often taught without a motivating context; the problem with complexity science is that it is
usually not taught at...   Computer Viruses: from theory to applications (Collection IRIS)This book deals with computer viruses envisaged from three different points of view, namely the theoretical fundamentals of computer virology, algorithmic and practical aspects of viruses and their potential applications to various areas. The theoretical formalization by means of Turing machines, selfreproducing automata and recursive functions... 


Result Page: 6 5 4 3 2 1 