Learn IT - Books tags formal

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...

From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl (Lecture Notes in Computer Science)

Springer, 2004

This book is dedicated to the memory of Ole-Johan Dahl who passed away in June 2002 at the age of 70, shortly after he had received, together with his colleague Kristen Nygaard, the ACM Alan M. Turing Award:

"For ideas fundamental to the emergence of object-oriented programming, through their design of the programming languages Simula I...

Learner-Centered Theory and Practice in Distance Education: Cases From Higher Education

Lawrence Erlbaum Associates, 2003

Learner-Centered Theory and Practice in Distance Education: Cases From Higher Education brings the voice of the learning sciences to the study and design of distance learning. The contributors examine critical issues in the design of theoretically and pedagogically based distance education programs.

Eight distance education...

Computational Approaches to Morphology and Syntax (Oxford Surveys in Syntax & Morphology)

Oxford University Press, 2007

"This book should undoubtedly be of great interest to students and researchers of morphology, syntax, computational linguistics, and natural language processing. The book provides an excellent systematics overivew of the current state-of-the-art of the field. The book includes extensive descriptions of the formal characterization of...

Biology Demystified (TAB Demystified)

McGraw-Hill, 2003

Guide to understanding basic and applied scientific information, for those who've had not formal training in biology. Includes more than 150 illustrations, a pronunciation guide, self-tests, and reviews. Softcover. DLC: Biology.

UNDERSTAND BIOLOGY -- WITHOUT DISSECTING ANYTHING!

If you're years removed...

Embedded System Design: Modeling, Synthesis and Verification

Springer, 2009

Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques for both computation and communication at different levels of abstraction, such as specification, transaction level and cycle-accurate level. It discusses synthesis methods for system level...

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