Your shopping cart is empty!
Business & Management
- Accounting & Finance
- Business & Society
- Business Ethics
- Business Self-Help
- Business Statistics & Maths
- Business Technology
- Carreer Development
- Finance & Investment
- General & Introductory Business Management
- Intellectual Property & licensing
- Marketing & Sales
- Production Operations Management
- Project Management
- Property & Real Estate
- Public Administration & Management
- Quality Management
- Small Business
- Computer Science & Information Technology
- Language & linguistics
Medicine & Health Sciences
- Anesthesia, intensive care, pain management
- Clinical Medicine
- Emergency medicine
- Epidemiology, public health and medical statistics
- Geriatric medicine
- Infectious disease
- Internal medicine
- Medical imaging
- Medical law, ethics and forensic medicine
- Medicine: general interest
- Mental health, psychiatry and clinical psychology
- Neurology and clinical neuroscience
- Obstetrics and gynecology, reproductive medicine
- Pathology and laboratory science
- Pediatrics and child health
- Respiratory medicine
- Personal Development
- Science and engineering
- Social sciences
Programming languages and applied logic
Intelligence can be characterised both as the ability to absorb and process information and as the ability to reason. Humans and other animals have both of these abilities to a greater or lesser degree, but the search for artificial intelligence has been hampered by our inability to create a theory ..
Scala is a highly expressive, concise and scalable language. It is also the most prominent method of the new and exciting methodology known as object-functional programming. In this book, the authors show how Scala grows to the needs of the programmer, whether professional or hobbyist. They teach Sc..
This book may be used as a self-contained manual for BBC-BASIC, the main language of the BBC Microcomputer and Master Series Computers. Information is presented in a form handy for reference. Page 163, for example, tabulates all characters in the ASCII range; pages 124-5 summarize all information ne..
Richard Bird takes a radically new approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming problem drawn from sources as diverse as games and puzzles, intriguing combinatorial tasks, and more familiar areas such as data compression..
Chaitin, the inventor of algorithmic information theory, presents in this book the strongest possible version of Gödel's incompleteness theorem, using an information theoretic approach based on the size of computer programs. One half of the book is concerned with studying the halting probability of ..
This book is devoted to recursion in programming, the technique by which the solution to a problem is expressed partly in terms of the solution to a simpler version of the same problem. Ultimately the solution to the simplest version must be given explicitly. In functional programming, recursion has..
A common attraction to functional programming is the ease with which proofs can be given of program properties. A common disappointment with functional programming is the difficulty of expressing input/output (I/O), while at the same time being able to verify programs. Here, the author shows how a t..
Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this long-awaited new..
Michael McMillan provides a complete presentation of the object-oriented features of the Visual Basic .NET language for advanced Visual Basic programmers. Beginning with an introduction to abstract data types and their initial implementation using structures, he explains standard OOP topics includin..
Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain profic..
Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of a clausal logic with equality, known as the Clausal Theory of Types. By restricting this logic to Hor..
Structured methodologies are a popular and powerful tool in information systems development. Many different ones exist, each employing a number of models and so a specification must be converted from one form to another during the development process. To solve this problem, Dr Tse here proposes a un..
Showing 1 to 12 of 117 (10 Pages)