|
|
|
|
| | 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... | | AdvancED Flex Application Development: Building Rich Media XMany Flex books cover the basics—this book does something different, and goes far further. The authors, leading Flash platform developers at Almer/Blank, working with Adobe User Group communities, are the creators of the Rich Media Exchange (RMX), a social media network for Adobe developers. In covering just how the RMX was built, this book... |
|
The Logic of Scientific Discovery (Routledge Classics)`One of the most important documents of the twentieth century.' - Sir Peter Medawar, New Scientist
`One cannot help feeling that, if it had been translated as soon as it had been originally published, philosophy in this country might have been saved some detours. Professor Popper's thesis has that quality of greatness that, once... | | The Hidden Power of Photoshop CSAlthoughI wasn’t really thinking about it at the time, in a way, I really started writing this book in 1992 when I first started using Photoshop professionally (with Photoshop 2). At the time I wasn’t planning to write a book, but I had already been involved with scanning and editing digital artwork for several years. I had become... | | |
|
|
3ds Max Modeling: Bots, Mechs, and Droids (Wordware Game and Graphics Library)
3ds Max Modeling: Bots, Mechs, and Droids offers an unparalleled, project-based learning strategy for anyone who is interested in modeling with 3ds Max. From the very first pages, readers will discover how to use the Max toolset to create sophisticated models, including a spider bot, hunter-killer, battle mech, and android. Learn how to use... | | Reason 4 Ignite (Book)
Reason 4 Ignite! helps you get up to speed in Reason quickly by dropping you right into the action with the author's guidance so that before you know it, you are really in the Reason groove! This book is not hard work. You will not find long lists of features and difficult theoretical explanations to wrap your head around. Instead, in... | | Human-in-the-Loop Simulations: Methods and Practice
Both the editors of this book were exposed to human-in-the-loop simulations while
pursuing their doctoral degrees in the Center for Human-Machine Systems at
Georgia Tech. In fact, S. Narayanan served as Ling Rothrock’s teaching assistant
for the simulation course taught by Prof. Christine Mitchell. It has been over 15
years... |
|
|
Result Page: 850 849 848 847 846 845 844 843 842 841 840 839 838 837 836 835 834 833 832 |