|
|
|
|
The Calculus of Computation: Decision Procedures with Applications to VerificationComputational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art... | | Physics for Game DevelopersColliding billiard balls. Missile trajectories. Cornering dynamics in speeding cars. By applying the laws of physics, you can realistically model nearly everything in games that bounces around, flies, rolls, slides, or isn't sitting still, to create compelling, believable content for computer games, simulations, and animation. Physics for Game... | | System Engineering and Automation: An Interactive Educational Approach
This book provides insight and enhanced appreciation of analysis, modeling and control of dynamic systems. The reader is assumed to be familiar with calculus, physics and some programming skills. It might develop the reader’s ability to interpret physical significance of mathematical results in system analysis. The book also prepares... |
|
|
| | Mathematica by Example
Mathematica bv Example is intended to bridge the gap which has existed between the very
elementary handbooks available on Mathematica and those reference books written for the more
advanced Mathematica users. This book is an extension of a manuscript which was developed to
quickly introduce enough Mathematica commands to a group of... | | Symbian OS C++ for Mobile PhonesProgramming Symbian OS is a key skill for mass market phone application development. Whether you are developing a services for shipping mobile phones, or involved in pre-market mobile phone development, this book will help you unde fundamental theory behind developing Symbian OS C++ code for constrained devices.
• A... |
|
Pattern Recognition and Machine Intelligence: 4th International Conference, PReMI 2011, Moscow, Russia, June 27 - July 1, 2011, Proceedings
This volume contains the proceedings of the 4th International Conference on
Pattern Recognition and Machine Intelligence (PReMI-2011) which was held at
the National Research University Higher School of Economics (HSE), Moscow,
Russia, during June 27 - July 1, 2011. This was the fourth conference in the
series. The first three... | | | | OpenCL Parallel Programming Development Cookbook
OpenCL (Open Computing Language) is the first royalty-free standard for cross platform, parallel programming of modern processors found in personal computers, servers, mobiles, and embedded devices. OpenCL greatly improves speed and responsiveness for a wide spectrum of applications in numerous market categories, from gaming and entertainment... |
|
|
Result Page: 81 80 79 78 77 76 75 74 73 72 71 70 |