Learn IT - Books tags formal

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

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

Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010

Springer, 2011

The present volume contains the proceedings of the seventh international workshop on Formal Aspects of Security and Trust (FAST 2010), held in Pisa, Italy, 16–17 September 2010, as part of the 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010).

FAST aims to foster cooperation among...

Rules of Play: Game Design Fundamentals

MIT Press, 2003

For hundreds of years, the field of game design has drifted along under the radar of culture, producing timeless masterpieces and masterful time-wasters without drawing much attention to itself-without, in fact, behaving like a "field" at all. Suddenly, powered by the big bang of computer technology, game design has...

The Project Management Life Cycle: A Complete Step-By-Step Methodology for Initiating, Planning, Executing & Closing a Project Successfully

Kogan Page, 2006

Over the past 20 years, businesses around the world have undergone rapid change. No longer are customers happy with their ‘status quo’ products or services: they expect businesses to adapt rapidly to the changing environment by providing more offerings, cheaper and faster than before. This rate of change has forced businesses to...

Declarative Programming for Knowledge Management: 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP

Springer, 2007

Knowledge means power – but only if it is available at the right time, the right place, and in the hands of the right people. Structured, engineered, repeatable methods to gather, transport, and apply knowledge are collectively called knowledge management.

Declarative programming strives for the ideal of programming by wish: the...

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