Delphi Graphics and Game Programming ExposedThe majority of the book is dedicated to the mechanics of creating a game in Delphi, and will therefore be concerned mainly with exactly how to do something, such as fast flicker-free animation. Some parts address more theoretical issues, such as game design, and are very light in their coverage. Other parts are at a more intermediate level,... | | 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... | | Security Technologies for the World Wide Web, Second EditionThis newly revised edition of the Artech House bestseller offers the most up-to-date comprehensive analysis of the current trends in WWW security available, with brand new chapters on authentication and authorization infrastructures, server-side security, and risk management. Practitioners will also find coverage of entirely new topics such as... |
|