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...
Computer programs arc fun to write, and well-written computer pro
grams are fun to read. One of life's greatest pleasures can be the
composition of a computer program that you know will be a pleasure
for other people to read, and for yourself to read.
Computer programs can also do useful work. One of life's greatest...
This book is intended for an object-oriented course in data structures and algorithms. The implementation
language is Java, and it is assumed that students have taken a first course in programming, not necessarily
in Java. That course should have covered the fundamental statements and data types, as well as arrays.
Chapter 0 supplies...
At last, here is a book about the computers that people really use, with practical tips about how to
use them. Practical PC provides a state-of-the-art introduction to Windows-based PCs, written in
an easy-to-read style. In addition to the printed book, you receive a multimedia version of the entire
textbook with videos and interactive...
Why is astronomy considered a science while astrology is considered only a pseudoscience?
In other words, how can we prove that a theory faithfully describes reality,
and that this theory can then be used to predict unknown facts? Karl Popper, the
well-known philosopher, studied these problems and summarized his conclusions in
one...
Welcome to the Brief Version of Starting Out with C++: From Control Structures through
Objects, 6th edition. This book is intended for use in a one or two-semester C++ programming
course. Students new to programming, as well as those with prior course work in
other languages, will find this text beneficial. The fundamentals of...
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...
Since the first part of the twentieth century, cybernetics and systems research have been developed as
scientific disciplines. Investigations, launched in the area of cybernetics, previously dealt with control
and information processing. In a more narrow sense, they consisted in the consideration of analogies
of the control and the...
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...
I suspect Martin plied me to write this foreword while out one evening during the 2010 Plone Conference in Bristol. Full from an excellent dinner and even better conversation, beer in hand, who could say no?
I've long envied Martin's ability to write. Text and code flow from his fingers at a rate that I can't even begin...
This book is an introduction to C++ and computer programming that focuses on the
essentials—and on effective learning. The book is designed to serve a wide range of
student interests and abilities and is suitable for a first course in programming for
computer scientists, engineers, and students in other disciplines. No prior...
The modern world offers lots of readily available online resources for learning. Wikipedia,
Google, news sources, millions of Web sites and blogs, even YouTube, offer access to
information in nearly any subject that triggers your curiosity and interest. Nonetheless, I
continue to believe that for deep understanding of something, nothing...
