Like all engineering activities, computer programming is both craft and science. Building a bridge or a computer program requires familiarity with the known techniques for the overall design of similar artifacts. And making intelligent choices among the available techniques and designs requires understanding of the mathematical principles...
Over the last two decades a revolution has taken place concerning the way physicists view the fundamental processes taking place in our universe. This revolution has its basis in the belief that all fundamental interactions are associated with a particularly beautiful and powerful kind of quantum field theory-a theory of local gauge fields. This...
The book explains and deduces mathematically the working principle of many architectures, and presents commented examples (good ones) in structured English (very similar to Pascal). I used it as the basis for many NN's and felt quite satisfied in all cases.
The appearance of digital computers and the development of modern theories...
Sometime ago I had the opportunity to meet William Cooper and his wife Annie. It was part of my job to verify whether this man did indeed speak the truth or was just another person seeking fame and fortune. What I found was a rugged, bulldog, driven individual who was kind, thoughtful and tenderhearted. He was truly concerned about you and your...
This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to...
Quantum gravity is notoriously a subject where problems vastly outnumber results. This is no surprise at short distances, on the order of the Planck length, where most of us expect quantum fluctuations in the metric to cause space-time itself to lose its meaning and gravity to be subsumed (along with the other so-called fundamental interactions)...
Since the first edition of this book was published, much has happened in the field of neural networks. The authors reflect these changes by updating and introducing material on new developments including neurocontrol, pattern analysis and dynamic systems. This book should be useful for undergraduate students of neural networks.
This book is the result of an evolutionary process which took place over a number of years. The contents of this book are based on my seminar for experienced software developers, which I instruct internationally, andon courses which I have taught as an external lecturer in the Informatics Department of the Johann Wolfgang Goethe University in...
This guide, intended as an explanation of the POSIX standard and as a reference for the POSIX.1 programming library, helps you write more portable programs. Most UNIX systems today are POSIX compliant because the federal government requires it for its purchases. Even OSF and UI agree on support for POSIX. Unfortunately, given the manufacturer's...
This edition of the Amiga ROM Kernel Reference Manual: Libraries provides the latest information on how to program the Amiga line of personal computers from Commodore. It has been updated for Release 2 of the Amiga operating system and covers the newest Amiga computer systems including the A3000.
I am very pleased to have this new book in the Aho/Ullman series Principles of Computer Science. I see this book as a major step toward making computer science theory accessible to the wide range of students who need to know the subject. It covers a good segment of the classical material on data structures and algorithms, but it does so in a...
