Learn IT - Books tags formal

Microeconomics: Theory and Applications with Calculus Value Package (includes Study Guide for Microeconomics: Theory and Applications with Calculus)

Prentice Hall, 2008

his book is a new type of intermediate macroeconomics textbook- Until now, the choice was between books that use calculus to present formal theory dryly and with few, if any, applications to the real world and books that include applications but present theory using only graphs and algebra. This book uses calcu- lus, algebra, and graphs to...

Beginning Perl for Bioinformatics

O'Reilly, 2001

With its highly developed capacity to detect patterns in data, Perl has become one of the most popular languages for biological data analysis. But if you're a biologist with little or no programming experience, starting out in Perl can be a challenge. Many biologists have a difficult time learning how to apply the language to bioinformatics. The...

Distributed Control of Robotic Networks: A Mathematical Approach to Motion Coordination Algorithms (Princeton Series in Applied Mathematics)

Princeton Press, 2009

This book covers its subject very thoroughly. The framework the authors have established is very elegant and, if it catches on, this book could be the primary reference for this approach. I don't know of any other book that covers this set of topics.
(Richard M. Murray, California Institute of Technology )

This...

Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms (Synthesis Lectures on Artificial Intelligence and Machine Learning)

Morgan and Claypool Publishers, 2013

Graphical models (e.g., Bayesian and constraint networks, influence diagrams, and Markov decision processes) have become a central paradigm for knowledge representation and reasoning in both artificial intelligence and computer science in general. These models are used to perform many reasoning tasks, such as scheduling, planning and...

Objects, Abstraction, Data Structures and Design: Using C++

John Wiley & Sons, 2005

Our goal in writing this book was to combine a strong emphasis on problem solving and software design with the study of data structures. To this end, we discuss applications of each data structure to motivate its study. After providing the specification (a header file) and the implementation of an abstract data type, we cover case...

Mathematical Methods for Physics and Engineering: A Comprehensive Guide

Cambridge University Press, 2006

From reviews of previous editions: '...a great scientific textbook. It is a tour de force ... to write mathematical sections that are both complete and at an appropriate academic level. The authors have clearly succeeded in this challenge, making this a remarkable pedagogical book ... The choice of exercises is excellent and possibly the best...

Knowledge Representation, Reasoning and Declarative Problem Solving

Cambridge University Press, 2010

This book is about the language of logic programming with answer set semantics and its application to knowledge representation reasoning and declarative problem solving This book will be useful to researchers in logic programming declarative programming articial intelligence knowledge representation and autonomous agents to...

Automated Database Applications Testing: Specification Representation for Automated Reasoning

World Scientific Publishing, 2010

This book introduces SpecDB, an intelligent database created to represent and host software specifications in a machine-readable format, based on the principles of artificial intelligence and unit testing database operations. SpecDB is demonstrated via two automated intelligent tools. The first automatically generates database constraints...

Model-Based Software Testing and Analysis with C#

Cambridge University Press, 2007

This book teaches new methods for specifying, analyzing, and testing software; essentials for creating high-quality software. These methods increase the automation in each of these steps, making them more timely, more thorough, and more effective. The authors work through several realistic case studies in-depth and detail, using a toolkit built on...

Chemical Analysis of Contaminated Land (Sheffield Analytical Chemistry)

Blackwell Publishing Limited, 2003

This book sets out to provide a description of the chemical analysis of potentially contaminated land for all those involved in risk assessment. It is not intended as a recipe book of analytical methods. Indeed, with the wide range of techniques and options available, it would be impracticable and unnecessary to document all potential methods, and...

Applied Ontology Engineering in Cloud Services, Networks and Management Systems

Springer, 2012

Metadata standards in today’s ICT sector are proliferating at unprecedented levels, while automated information management systems collect and process exponentially increasing quantities of data. With interoperability and knowledge exchange identified as a core challenge in the sector, this book examines the role ontology engineering...

The Physical Nature of Consciousness (Advances in Consciousness Research)

John Benjamins Publishing, 2001

The Physical Nature of Consciousness contains twelve chapters that discuss recent and new perspectives on the relation between modern physics and consciousness.
Stuart Hameroff opens with an extended and updated exposition of the Penrose/Hameroff Orch-OR model, and subsequently addresses recent criticisms of quantum approaches...

Result Page: 57 56 55 54 53 52 51 50 49 48 47 46 45