|
|
|
|
| | | | 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... |
|
|
Implementing SOA Using Java EE
The Practitioner’s Guide to Implementing SOA with Java EE Technologies
This book brings together all the practical insight you need to successfully architect enterprise solutions and implement them using SOA and Java... | | 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... | | 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: 809 808 807 806 805 804 803 802 801 800 799 798 797 796 795 794 793 792 791 |