Computability: Turing, Gödel, Church, and Beyond
In the 1930s a series of seminal works published by Alan Turing, Kurt Gödel, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive investigations into the foundations of mathematics. In the...
Perl One-Liners: 130 Programs That Get Things Done
Part of the fun of programming in Perl lies in tackling tedious tasks with short, efficient, and reusable code. Often, the perfect tool is the one-liner, a small but powerful program that fits in one line of code and does one thing really well.
In Perl One-Liners, author and impatient hacker Peteris...
Designing and Implementing Test Automation Frameworks with QTP
With test automation becoming the norm, this is an essential course in framework designing with QTP. Mixing conceptual and practical elements, it imparts all the know-how you need to implement the framework.
A simple and easy demonstration of the important concepts will enable you to translate...
Applications of q-Calculus in Operator Theory
The approximation of functions by linear positive operators is an important research topic in general mathematics and it also provides powerful tools to application areas such as computer-aided geometric design, numerical analysis, and solutions of differential equations. q-Calculus is a generalization of many subjects, such as...
Perception: Essays After Frege
Charles Travis presents a series of connected essays on current topics in philosophy of perception. The book is informed throughout by a number of central insights of Gottlob Frege's, notably about some intrinsic differences between objects of thought and objects of perception, and about the essential publicity of thought, and hence of...
|Result Page: Previous 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 Next |