Learn IT - Books tags formal

Robot Building for Beginners (Technology in Action)

Apress, 2010

This book continues its aim at teenagers and adults who have an avid interest in science and dream of building household explorers. No formal engineering education is assumed.

The robot described and built in this book is battery powered and about the size of a lunchbox. It is autonomous. That is, it isn’t remote...

Coding for Data and Computer Communications

Springer, 2010

On the evening of 23 June 1995, the well-known painter Franz Hutting (not his real name) sent a digitized copy of his latest masterpiece Barricade from his studio in New York to his friend Percival Bartlebooth in Paris. In itself, this data transmission was not different from the millions of other, similar transmissions taking place all over...

Algorithms: A Functional Programming Approach (International Computer Science Series)

Addison Wesley, 1999

This book is primarily an introduction to the design of algorithms for problem solving. Its prominent feature is to use a functional language as an implementation language. Because of the high level of abstraction provided, functional programs tend to be shorter, clearer and faster to develop than their imperative counterparts. This...

Special Edition Using XML (2nd Edition)

Que, 2002

Special Edition Using XML, Second Edition gives developers a formal introduction to XML technology, starting with indepth coverage of basic syntax and fundamental "pieces" of XML, including DTDs, Schemas, and Namespaces. The authors then cover various applications of XML, including transforming and displaying XML documents using CSS...

Models and Languages of Object-Oriented Databases (International Computer Science Series)

Addison Wesley, 1997

Brings together key developments in OO databases from areas such as semantic modelling, formal data models, language design issues, object algebra and rule-based query languages. Shows how these elements may interact within an object-oriented database system. Paper. DLC: Object-oriented database.

Object-oriented databases have been...

Microfinance, Risk-taking Behaviour and Rural Livelihood

Springer, 2013

Nearly 60 % of India’s mammoth 1.2 billion population lives in rural areas. Unfortunately, India’s rural population contributes only 8 % of the gross domestic product. India’s formal financial services sector is yet to meet the growing need of the rural population. The testimony is India’s booming informal...

How Mathematicians Think: Using Ambiguity, Contradiction, and Paradox to Create Mathematics

Princeton Press, 2007

To many outsiders, mathematicians appear to think like computers, grimly grinding away with a strict formal logic and moving methodically--even algorithmically--from one black-and-white deduction to another. Yet mathematicians often describe their most important breakthroughs as creative, intuitive responses to ambiguity, contradiction, and...

Logic and Philosophy of Mathematics in the Early Husserl (Synthese Library)

Springer, 2009

Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl’s work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, philosophy of logic and philosophy of mathematics....

Mathematical and Computational Modeling of Tonality: Theory and Applications

Springer, 2014

From the Preface:

Blending ideas from operations research, music psychology, music theory, and cognitive science, this book aims to tell a coherent story of how tonality pervades our experience, and hence our models, of music.

The story is told through the developmental stages of the Spiral Array model for tonality, a...

Leading Global Projects

Routledge, 2011

This book is a must-read for anyone responsible for projects and initiatives that span functional and geographical divides. Authors Moran and Youngdahl bring extensive experience and learning from industry practice to present a clear and straightforward treatment of the leadership skills and knowledge required to lead projects that are global...

Recent Developments in Computational Collective Intelligence (Studies in Computational Intelligence)

Springer, 2013

The book consists of 19 extended and revised chapters based on original works presented during a poster session organized within the 5th International Conference on Computational Collective Intelligence that was held between 11 and 13 of September 2013 in Craiova, Romania. The book is divided into three parts. The first part is titled...

Understanding Your Dog For Dummies (Pets)

For Dummies, 2007

Find out about canine communication and motivation

The fun and easy way® to get into your dog's head and be the leader of your pack

What makes Spot go? What makes Cujo psycho? This friendly guide helps you understand the emotional makeup and drives of your dog. All kinds of...

Result Page: 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2