This textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of systems for specifying and proving program behavior. It encompasses imperative and functional programming, as well as the ways of integrating these aspects into more general languages. Basic...

Four previous editions can’t be wrong: this book is the perfect introduction to 3D and Maya. Learn to build and animate your own digital models and scenes with step-by-step instruction and fun and practical examples, while you draw inspiration from the striking examples...

• Learn how to build your own pentesting lab environment to practice advanced techniques
• Customize your own scripts, and learn methods to exploit 32-bit and 64-bit...

• Learn something new in an Instant! A short, fast, focused guide delivering immediate results
• Understand how to test unit code using PowerMock, through hands-on-examples
• Learn how to avoid unwanted behaviour of code using...

For intermediate programmers, beginning sound designers.

Sound gives your native, web, or mobile apps that extra dimension, and it's essential for games. Rather than using canned samples from a sample library, learn how to build sounds from the ground up and produce them for web projects using the Pure Data...

"While providing insightful guidance on a holistic approach to tackling the Dirty Dozen of PCI, this book also teaches the fundamental principles of information security management. The PCI DSS Handbook is a must-read for all levels of...

Over the past sixty years, the spectacular growth of the technologies associated with the computer is visible for all to see and experience. Yet, the science underpinning this technology is less visible and little understood outside the professional computer science community. As a scientific discipline, computer science stands alongside the...

You probably already know that Macs were made for...