 |
|
|
 The Geek Atlas: 128 Places Where Science and Technology Come AliveThe history of science is all around us, if you know where to look. With this unique traveler's guide, you'll learn about 128 destinations around the world where discoveries in science, mathematics, or technology occurred or is happening now. Travel to Munich to see the world's largest science museum, watch Foucault's pendulum swinging in Paris,... | | The Anatomy of Programming LanguagesThis comprehensive discussion of the components of a programming language emphasises how a language is built. It covers core concepts including specification, objects, expressions, control and types with discussions of fundamentals, implementations strategies and related semantic issues. The book also focuses on current topics such as modules and... | | An Introduction to 3D Computer Vision Techniques and Algorithms
Computer vision encompasses the construction of integrated vision systems and the application of vision to problems of real-world importance. The process of creating 3D models is still rather difficult, requiring mechanical measurement of the camera positions or manual alignment of partial 3D views of a scene. However using algorithms, it is... |
|
Theory of Finite Automata With an Introduction to Formal LanguagesIt often seems that mathematicians regularly provide answers well before the rest of the world finds reasons to ask the questions. The operation of the networks of relays used in the first computers is exactly described by Boolean functions. George Boole thereby made his contribution to computer science in the mid-1800s, and Boolean algebra is used... | | A Half-Century of Automata Theory: Celebration and InspirationSuggests Automata Theory may be poised for another period of significant advance, similar to that in the 1960s and 1970s. -- Mathematical Reviews, 2002
This volume gathers lectures by 8 distinguished pioneers of automata theory, including two Turing Award winners. In each contribution, the early developments of... | | A Second Course in Formal Languages and Automata TheoryIntended for graduate students and advanced undergraduates in computer science, A Second Course in Formal Languages and Automata Theory treats topics in the theory of computation not usually covered in a first course. After a review of basic concepts, the book covers combinatorics on words, regular languages, context-free languages, parsing and... |
|
Introduction to Precise Numerical Methods, Second EditionNow that powerful PCs and Macs are everywhere available, when solving a numerical problem, we should no longer be content with an indefinite answer, that is, an answer where the error bound is either unknown or a vague guess. This book’s software allows you to obtain your numerical answers to a prescribed number of correct decimal places. For... | | Unconventional Computation: 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008, ProceedingsThis book constitutes the refereed proceedings of the 7th International Conference on Unconventional Computation, UC 2008, held in Vienna, Austria, in August 2008.
The 16 revised full papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers are devoted to all aspects of... | | Essentials of Programming Languages, 3rd Edition
This book brings you face-to-face with the most fundamental idea in computer programming:
The interpreter for a computer language is just another program. It sounds obvious, doesn’t it? But the implications are profound. If you are a computational theorist, the interpreter idea recalls Gödel’s discovery of... |
|
| Result Page: 6 5 4 3 2 1 |
