There is very little specialist literature available on IMAP servers, and no
current documentation deals with the subject in sufficient depth.
There is a real need for a guide to IMAP. A quick look at relevant mailing
lists shows that they are full of questions and problems, indicating that the
software solutions now in use...
Image data compression is concerned with minimization of the number of information
carrying units used to represent an image. Image compression schemes can
be divided into two broad classes: lossless compression schemes and lossy compression
schemes. Lossless compression techniques, as their name implies aim at
exact reconstruction...
An Autodesk Official Training Guide to 3ds Max 2011
3ds Max is a popular 3D animation-and-effects software used in movies, visual effects, games, cartoons, short films, commercials, and other animation. However, it also presents a number of challenges to newcomers. This introduction to the latest version breaks down the...
Thirty years ago, when the first edition of this book was published, little had
been written about the management of libraries and information centers.
Those seeking advice, examples, and information about how to manage libraries
were forced to search for answers in the literature of public administration
or business management. Since...
C# Programming: From Problem Analysis to Program Design requires no previous introduction
to programming and only a mathematical background of high school algebra. The
book uses C# as the programming language for software development; however, the basic
programming concepts presented can be applied to a number of other languages....
After studying this text, you should be able to apply switching theory to the solution of
logic design problems.This means that you will learn both the basic theory of switching
circuits and how to apply it. After a brief introduction, you will study Boolean algebra,
which is the basic mathematical tool needed to analyze and synthesize...
was very pleased to be asked to produce the sixth edition of my artificial intelligence
book. It is a compliment to the earlier editions, started over twenty years ago, that our
approach to AI has been so highly valued. It is also exciting that, as new development in
the field emerges, we are able to present much of it in each new...
In this age of universal electronic connectivity, of viruses and hackers, of electronic eavesdropping
and electronic fraud, there is indeed no time at which security does not matter.Two
trends have come together to make the topic of this book of vital interest. First, the explosive
growth in computer systems and their interconnections...
In numerous computer applications there is a need of storing large sets of objects in such a way that some questions about those objects can be answered efficiently. Data structures that store such sets of objects can be either static (built for a fixed set of objects) or dynamic (insertions of new objects and deletions of existing objects...
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...
Moodle is the leading open source learning management system. Using Moodle, teachers can easily construct richly-textured web-based courses. A course can consist of a number of lessons, with each lesson including reading materials; activities such as quizzes, tests, surveys, and projects; and social elements that encourage interaction and...
Connections between the theory of hyperbolic manifolds and the theory of
automata are deeply interwoven in the history of mathematics of this century.
The use of symbol sequences to study dynamical systems originates in the
work of Kocbe [Koc27, Koe29] and Morse [Mor87j, who both used symbol
saliences to code geodesies on a...