Learn IT - Books tags formal

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

Practical Statistics for Data Scientists: 50 Essential Concepts

O'Reilly, 2017

Statistical methods are a key part of of data science, yet very few data scientists have any formal statistics training. Courses and books on basic statistics rarely cover the topic from a data science perspective. This practical guide explains how to apply various statistical methods to data science, tells you how to avoid their...

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

Instructional Engineering in Networked Environments (Tech Training Series)

Pfeiffer, 2003

A Dynamic, Research-Based Approach to Knowledge Management

In this book, Gilbert Paquette–an internationally recognized expert in the field of technology-based training–offers IT professionals, trainers, and consultants a revolutionary method for going beyond simple information management. Instructional Engineering in Networked...

Supercomputing, Collision Processes, and Applications (Physics of Atoms and Molecules)

Springer, 1999

This book contains 18 scientific papers setting out the latest developments in the scientific disciplines and endeavours to which Professor P. G. Burke has contributed over the last 40 years, prior to his formal retirement in September 1998. The aim of the volume is to provide an up-to-date survey of the latest developments in many areas of...

Knowledge Processing and Data Analysis: First International Conference, KONT 2007, Novosibirsk, Russia

Springer, 2011

This volume collects the proceedings of two related international conferences on foundations and practical applications of mathematical methods of data analysis, of Formal Concept Analysis and of methods for information extraction from natural language texts. The first conference, named Knowledge - Ontology - Theory 2007 (KONT 2007),...

Result Page: 56 55 54 53 52 51 50 49 48 47 46 45 44 43 42 41 40 39 38