Learn IT - Books tags formal

Mastering 3D Printing in the Classroom, Library, and Lab (Technology in Action)

Apress, 2018

Learn how to manage and integrate the technology of 3D printers in the classroom, library, and lab. With this book, the authors give practical, lessons-learned advice about the nuts and bolts of what happens when you mix 3D printers, teachers, students, and the general public in environments ranging from K-12 and university classrooms...

Problem Solving: Methods, Programming and Future Concepts

Elsevier Limited, 1995

Problem solving is the very area of artificial intelligence (AI) which, probably, will never result in a complete set of formalized theories, in a kind of pragmatic philosophy, or in a "universal" applied discipline. Studying the questions concerning this area encompasses different concepts, models and theories.

In this...

Pro JavaFX Platform: Script, Desktop and Mobile RIA with Java Technology

Apress, 2009

JavaFX was born amid a particularly interesting confluence of upheavals in the technology industry and the way commerce was conducted in the developed world. At the turn of the twenty-first century, companies were looking for ways to do business directly with their customers. Whether they had goods to sell, information to impart, or entertainment...

Python Testing: Beginner's Guide

Packt Publishing, 2010

Automated testing moves much of the labor of testing off the developer and makes it easier as well as quicker to find bugs and fix them. Automated tests run faster, increase test coverage, and lower costs. However, testing is neither an easy process nor remotely exciting for most developers. But with the right techniques and tools, testing can...

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

Machine Learning, Neural and Statistical Classification (Ellis Horwood Series in Artificial Intelligence)

Prentice Hall, 1994

The aim of this book is to provide an up-to-date review of different approaches to classification,
compare their performance on a wide range of challenging data-sets, and draw
conclusions on their applicability to realistic industrial problems.

Before describing the contents, we first need to define what we mean by...

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

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