Learn IT - Books tags logic

The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science)

Cambridge University Press, 1999

All traditional implementation techniques for functional languages fail to avoid useless repetition of work. They are not "optimal" in their implementation of sharing, often causing a catastrophic, exponential explosion in reduction time. Optimal reduction is an innovative graph reduction technique for functional expressions, introduced...

Advances in Information Processing and Protection

Springer, 2007

This book contains a selection of the best papers given at the Advanced Computer Systems Conference in October 2006 in Poland. The book is partitioned into four topical areas:

The Artificial Intelligence section includes papers on Humatronics, Fuzzy Logic, Robotics, Cell, Genetic and Probabilistic Algorithms, Incomplete Data and Similarity...

Applied Microsoft Analysis Services 2005: And Microsoft Business Intelligence Platform

Prologika Press, 2005

Knowledge is power! As its name suggests, the promise of Microsoft SQL Server Analysis Services 2005 is to promote better data analytics by giving information workers the right tool to analyze consistent, timely, and reliable data. Empowered with Analysis Services and Microsoft Business Intelligence Platform, you are well positioned to solve the...

Playing with Infinity: Mathematical Explorations and Excursions

Dover Publications, 1976

Popular account ranges from counting to mathematical logic and covers the many mathematical concepts that relate to infinity: graphic representation of functions; pairings and other combinations; prime numbers; logarithms and circular functions; formulas, analytical geometry; infinite lines, complex numbers, expansion in the power series;...

Ontology and the Semantic Web: Volume 156 Frontiers in Artificial Intelligence and Applications

IOS Press, 2007

In order for information systems supporting two different organizations to interoperate, there must be an agreement as to what the words mean. There are many such agreements in place, supporting information systems interoperation in many different application areas. Most of these agreements have been created as part of diverse systems development...

Itanium Architecture for Software Developers

Intel Press, 2000

"Reading the Itanium Architecture for Software Developers book saved us days, maybe weeks on project development." -- Dong Wei, System Architect for Servers, Hewlett-Packard

Product Description
This unique description of the Intel® Itanium™ application architecture helps...

PC Systems, Installation and Maintenance, Second Edition

Newnes, 2004

Written in a straightforward, easy to read style, Rob Beales provides the knowledge and techniques needed to build, troubleshoot, and maintain personal computer systems.

Divided into three parts, Part 1 forms an introduction to digital computers, leading the reader through the various parts of a modern PC system,...

From Writing to Computers

Routledge, 1994

... the broad and clear analysis of writing and language, and of automata theory, formal logic, and computability theory he uses to reach [his conclusion] is well worth reading.
–H. D. Warner, Western New England College

From Writing to Computers takes as its central theme the issue of a...

Hybrid Methods in Pattern Recognition

Wordware Publishing, 2002

The discipline of pattern recognition has seen enormous progress since its beginnings more than four decades ago. Over the years various approaches have emerged, based on statistical decision theory, structural matching and parsing, neural networks, fuzzy logic, artificial intelligence, evolutionary computing, and others. Obviously, these...

Cocoon 2 Programming: Web Publishing with XML and Java

Sybex, 2002

Thanks to the tireless efforts of open-source developers, Cocoon has quickly gained visibility as the preeminent XML-based Web publishing framework. Unfortunately, its documentation remains a significant shortcoming. If you’re new to Cocoon, gaining a sense of exactly what you can do with it can be difficult, and actually...

Intelligent Data Analysis

Springer, 2007

This monograph is a detailed introductory presentation of the key classes of intelligent data analysis methods. The ten coherently written chapters by leading experts provide complete coverage of the core issues.

The first half of the book is devoted to the discussion of classical statistical issues, ranging from the basic concepts of...

The Quantum Mechanics of Minds and Worlds

Oxford University Press, 2001

The book is at its best when it is distinguishing between the various versions of the Everett interpretation, and would certainly be useful to anyone who whishes to pursue Everett's approach. Barrett wisely separates out what can be reasonably ascribed to Everett, and what work remains to turn Everetts writings into a complete interpretation....

Result Page: 87 86 85 84 83 82 81 80 79 78 77 76 75 74 73 72 71 70 69