Learn IT - Books tags formal

Mobile Robot Navigation with Intelligent Infrared Image Interpretation

Springer, 2009

Mobile robots require the ability to make decisions such as "go through the hedges" or "go around the brick wall." Mobile Robot Navigation with Intelligent Infrared Image Interpretation describes in detail an alternative to GPS navigation: a physics-based adaptive Bayesian pattern classification model that uses a...

Introduction to Engineering Statistics and Six Sigma: Statistical Quality Control and Design of Experiments and Systems

Springer, 2006

Many have heard that six sigma methods are necessary to survive, let alone thrive, in today’s competitive markets, but are not really sure what the methods are or how or when to use them.

Introduction to Engineering Statistics and Six Sigma contains precise descriptions of all of the many related methods and details...

Cost Management: Accounting and Control, 6th Edition

South-Western College, 2007

Over the past twenty years, changes in the business environment have profoundly affected cost accounting and cost management. A few examples of these changes are an increased emphasis on providing value to customers, total quality management, time as a competitive element, advances in information and manufacturing technology,...

Mystic Microsoft: A Journey of Transformation in the Halls of High Technology

Kraig Brockschmidt, 2007

Where do you go to grow spiritually? A church? A monastery? India? Tibet? What about the heart of corporate multinationalism? Mystic Microsoft demonstrates that with sincerity and self-offering, God can (and will) guide one's inner growth in any setting, not just formal religious channels. Here, one of Microsoft's most visible technology experts...

Model-Driven Development with Executable UML (Wrox Programmer to Programmer)

Wrox Press, 2009

Motivated by the viewpoint that software development efficiency can most certainly be improved, author Dragan Milicev proposes a technique that raises the level of abstraction and reduces accidental complexity in software development. This comprehensive reference focuses on an executable profile of UML and a method that allows you to save...

Modelling Systems: Practical Tools and Techniques in Software Development

Cambridge University Press, 2009

For developers of computer-based systems, capturing and understanding the complex functional requirements and behaviour of software components has come to represent a considerable challenge. This book aims to equip readers with skills and techniques which will help them to address this challenge. It does so by stressing the value of...

Encyclopedia of Parallel Computing (Springer Reference)

Springer, 2011

Parallelism, the capability of a computer to execute operations concurrently, has been a constant throughout the history of computing. It impacts hardware, software, theory, and applications. The fastest machines of the past few decades, the supercomputers, owe their performance advantage to parallelism. Today, physical limitations...

Simply Scheme - 2nd Edition: Introducing Computer Science

MIT Press, 1999

There are two schools of thought about teaching computer science. We might caricature the two views this way:

· The conservative view: Computer programs have become too large and complex to encompass in a human mind.
Therefore, the job of computer science education is to teach people how to discipline their work in such a way...

CAFE: An Industrial-Strength Algebraic Formal Method

Elsevier Limited, 2000

This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project involved more than 40 people from more than 10...

Handbook of Electrical Design Details (Handbook)

McGraw-Hill, 2003

A COMPREHENSIVE SOURCE OF TECHNICAL DETAILS ON ELECTRICAL POWER FROM GENERATION TO PRACTICAL APPLICATIONS

Reliable, low-cost electric power is a fundamental requirement for modern society, making possible such vital services as lighting, HVAC, transportation, communication, and data processing, in addition to driving motors of...

Logic in Computer Science: Modelling and Reasoning about Systems

Cambridge University Press, 2004

"Huth and Ryan explain a variety of fundamental topics in formal computer science logic and help readers understand how to follow and expand on them." H.J. Bender, Any Language Communications, Inc., CHOICE

"Readers searching for a good book on formal methods will find it here." Choice

The...

Semantic Web: Concepts, Technologies and Applications

Springer, 2006

Although the Web is growing at an astounding pace, surpassing the 8 billion page mark, most pages are still designed for human consumption and cannot be processed by machines. Computers are used to display the information, but human intervention is still required to interpret the results. The Semantic Web unleashes a revolution of new possibilities...

Result Page: 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9