 |
|
 Biologically Inspired Artificial Intelligence for Computer GamesAs game developers a few years from now, we may look back at current generation AI with astonishment and possibly with a hint of nostalgia. We will notice the extreme simplicity of the systems and behaviours we created, asking ourselves whether it was in fact by design or more by necessity. More importantly, we will be surprised by the amount of... | | Practical Rails Projects (Expert's Voice)If you are a web developer who has already realized the power of Ruby on Rails but wants to take your Rails knowledge further, this book will be invaluable to you. Practical Rails Projects assumes you know the basics of using the framework, concentrating instead on taking you through the creation of a multitude of practical real-world... | | Microsoft Windows Vista UnleashedMicrosoft® Windows® Vista™ Unleashed is a book for people, like you, who don’t consider themselves to be “average users.” It’s a book for anyone who finds that doing things the official way is slower, less efficient, and less powerful because Windows Vista was designed from the ground up to avoid confusing... |
|
|
Data Analysis Using SQL and ExcelGordon Linoff and I have written three and a half books together. (Four, if we get to count the second edition of Data Mining Techniques as a whole new book; it didn’t feel like any less work.) Neither of us has written a book without the other before, so I must admit to a tiny twinge of regret upon first seeing the cover of this one without... | | CAFE: An Industrial-Strength Algebraic Formal MethodThis book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project involved more than 40 people from more than 10... | | High Performance Computing in Remote SensingThe recent use of latest-generation sensors in airborne and satellite platforms is producing a nearly continual stream of high-dimensional data, which, in turn, is creating new processing challenges. To address the computational requirements of time-critical applications, researchers have begun incorporating high performance computing (HPC) models... |
|
Software Verification and Validation: An Engineering and Scientific ApproachThe world needs an in-depth technical book describing the methods and techniques used to provide confidence in our system software. In todays market, not only are governments more focused on software safety, but private industry and academia are as well. The methods and techniques used to provide such confidence is commonly called software... | | Using OpenMP: Portable Shared Memory Parallel Programming"The advent of readily-available inexpensive multi-core processors has made parallel programming more important and more accessible than ever before. OpenMP is a popular way to write parallel programs, and this book makes OpenMP knowledge available to the average programmer in an understandable, easy-to-apply fashion, while still providing... | | Logic in Computer Science: Modelling and Reasoning about Systems"Huth and Ryan explain a variety of fundamental topics in formal computer science logic and help readers understand how to follow and expand on them." H.J. Bender, Any Language Communications, Inc., CHOICE
"Readers searching for a good book on formal methods will find it here." Choice
The... |
|
| Result Page: 789 788 787 786 785 784 783 782 781 780 779 778 777 776 775 774 773 772 771 |
