Learn IT - Books tags formal

Calculus Second Edition

W. H. Freeman, 2012

On Teaching Mathematics

As a young instructor, I enjoyed teaching but I didn’t appreciate how difficult it is to communicate mathematics effectively. Early in my teaching career, I was confronted with a student rebellion when my efforts to explain epsilon-delta proofs were not greeted with the enthusiasm I...

Dynamic Epistemic Logic (Synthese Library)

Springer, 2007

"I am very glad to see that three people so active in this area of knowledge update are bringing out this book. It should be of great help to graduate students as well as established researchers." Rohit Parikh, Distinguished Professor, City University of New York Dynamic Epistemic Logic is the logic of knowledge change. This...

Grey Information: Theory and Practical Applications (Advanced Information and Knowledge Processing)

Springer, 2005

This book is a crystallization of the authors' work over the last twenty-five years. The book covers the latest advances in grey information and systems research, providing a state-of-the-art overview of this important field. Covering the theoretical foundation, fundamental methods and main topics in grey information and systems research, this book...

Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook

Springer, 2004

With increasing acceptance of agent-based computing, a great deal of new research related to the identification and definition of suitable models, and techniques to support the development of complex Multiagent Systems (MAS) has emerged. This research generally identified as Agent-Oriented Software Engineering (AOSE), continually proposes new...

The Haskell Road to Logic, Maths and Programming (Texts in Computing S.)

College Publications, 2004

Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply “There is no royal road to mathematics.” Where there was no shortcut for Alexander, there is no shortcut for us. Still, the fact that we have access to computers and mature programming languages means that there...

Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia

Springer, 2004

The growing complexity of agent systems calls for models and technologies that allow for system predictability and enable feature discovery and verification. Formal methods and declarative technologies have recently attracted a growing interest as a means for dealing with such issues.

This book presents revised and extended versions of 11...

Problems and Solutions in Biological Sequence Analysis

Cambridge University Press, 2006

Bioinformatics, an integral part of post-genomic biology, creates principles and ideas for computational analysis of biological sequences. These ideas facilitate the conversion of the flood of sequence data unleashed by the recent information explosion in biology into a continuous stream of discoveries. Not surprisingly, the new biology of the...

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) (v. 129)

Springer, 1982

Concurrent processes can exhibit extremely complicated behavior, and neither informal reasoning nor testing is reliable enough to establish their correctness. In this thesis, we develop a new technique for the verification of parallel programs. The technique is stated in terms of axioms and inference rules, and it is used to prove...

A Statistical Guide for the Ethically Perplexed

CRC Press, 2012

For disciplines concerned with human well-being, such as medicine, psychology, and law, statistics must be used in accordance with standards for ethical practice. A Statistical Guide for the Ethically Perplexed illustrates the proper use of probabilistic and statistical reasoning in the behavioral, social, and biomedical...

Credit and Community: Working-Class Debt in the UK since 1880

Oxford University Press, 2009

Credit's centrality to the current economic crisis makes the publication of Sean O'Connell's social history of working-class credit consumption particularly timely. Although the credit crunch came too late to be included in this book, the portrait of a complex relationship between lenders and borrowers over the past 120 years should be required...

Verification Techniques for System-Level Design (Systems on Silicon)

Morgan Kaufmann, 2007

A must-read in formal and semi-formal verification!

This book will explain how to verify SoC logic designs using formal and semi-formal verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the...

PHP Master: Write Cutting Edge Code

SitePoint Pty Ltd, 2011

PHP Master is aimed at intermediate PHP developers—those who have left their newbie status behind, and are looking to advance their skills and knowledge. Our aim as authors is to enable developers to refine their skills across a number of areas, and so we’ve picked topics that we felt have stood us in the best stead to grow...

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