Mathematical logic

This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of att...

 Computational Aspects of Polynomial Identities

A comprehensive study of the main research done in polynomial identities over the last 25 years, including Kemer's solution to the Specht problem in characteristic O and examples in the characteristic p situation. The authors also cover codimension the...

 Insight into Images Principles and practice for segmentation, registration, and image analysis

A companion to the Insight Toolkit An introduction to the theory of modern medical image processing, including the analysis of data from X-ray computer tomography, magnetic resonance imaging, nuclear medicine, and ultrasound. Using an algorith...

 Fundamentals of computer graphics

Look under the hood of graphics programs and learn the fundamentals of computers graphics!This modern comprehensive text covers The fundamental mathematics used in graphics programs The basics of the graphics pipeline BSP trees Ray tracing Surface sh...

 AI for Games and Animation A Cognitive Modeling Approach

Simply put, AI for Games and Animation: A Cognitive Modeling Approach shows how video game characters can be taught to "think" for themselves. This groundbreaking title points the way for the future of intelligent gaming. While this book features formal m...

 Cloth Modeling and Animation

Written by leaders in the field of computer clothing design and simulation, Cloth Modeling and Animation is a vital resource for researchers and developers of cloth simulation software as well as computer animators and graphics programmers. Readers will l...

 Spatial Augmented Reality Merging Real and Virtual Worlds

Like virtual reality, augmented reality is becoming an emerging platform in new application areas for museums, edutainment, home entertainment, research, industry, and the art communities using novel approaches which have taken augmented reality beyond tr...

 The Cryptoclub Using Mathematics to Make and Break Secret Codes

Join the Cryptokids as they apply basic mathematics to make and break secret codes. This book has many hands-on activities that have been tested in both classrooms and informal settings. Classic coding methods are discussed, such as Caesar, substitution, ...

 Robots Unlimited Life in a Virtual Age

Consider this: Robots will one day be able to write poetry and prose so touching that it will make men weep; compose dozens or even hundreds of symphonies that will rival the work of Mozart; judge a court case with absolute impartiality and fairness; or e...

 Fundamentals of Mathematical Logic

This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based...

 Graphics Tools The JGT Editor's Choice

Computer Graphics professionals can now find in one volume a collection of 32 "gems" chosen by the editors of the journal of graphics tools, one of the leading publications in the field. These selected papers provide practical ideas and techniques that so...

 Audio anecdotes Tools, tips, and techniques for digital audio

Audio Anecdotes tells the story of digital sound and music: analyzing, processing, creating, and recording. It is packed with articles focusing on the opportunities created by digital media, now possible because of inexpensive and readily available equipm...

 Discrete Algorithmic Mathematics

The third edition of this well-known and highly regarded text has been revised for improved clarity and streamlined to fit a one-semester course. It includes a broad variety of applications, from economics and finance to natural and social science. New...

 Aspects of Incompleteness Lecture Notes in Logic 10

This thoroughly revised second edition of a classic book on the main ideas and results of general meta-mathematics contains new results and simplified proofs, as well as an up to date bibliography. In addition to the standard results of Godel and others o...

  Audio Anecdotes II Tools, Tips, and Techniques for Digital Audio

This collection of articles provides practical and relevant tools, tips, and techniques for those working in the digital audio field. Volume II, with contributions from experts in their fields, includes articles on: Field recording Synthesis Signal p...