All Computer Science Titles
-
Virtual Reality and Animation for MATLAB® and Simulink® Users
This book demonstrates the simulation and animation of physical systems using the MATLAB® Virtual Reality Toolbox. Taking a problem-based approach, each chapter teaches a group of essential principles, following a step-by-step solution to a particular issue.
-
Virtual Reality & Augmented Reality in Industry
-
Virtual Communities, Social Networks and Collaboration
Social networks and virtual communities are often in the news, either being censored or facilitating academic cooperation. Here, leading researchers cover cutting-edge topics such as the requirements for effective collaboration in on-line communities.
-
View-Dependent Character Animation
-
This book details a large scale distributed video processing system. It develops an algorithm that allows parallel and distributed task processing and addresses the problems characterized by the seasonal demand for large volumes of video processing.
-
Verification of Sequential and Concurrent Programs 3rd Edition
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Amir Pnueli
This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.
-
Verification and Validation in Systems Engineering
Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh
As well as an overview of UML and the more recent SysML, Debbabi and his co-authors investigate varied methodologies and techniques for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages. -
Vector Analysis for Computer Graphics
An ideal course book for mathematics undergraduates and graduates alike, this is a complete introduction to vector analysis/ Each topic covered is given a practical application within computer graphics.
-
Variable-length Codes for Data Compression
-
Value-Range Analysis of C Programs
Value-Range Analysis of C Programs describes a static analysis for detecting buffer overflows. While the book focuses on a sound analysis of C, it will be useful to researchers and students interested in static analysis of real-world programming languages.
Your Cart
You don't have any books in your shopping cart yet!
Companion eBooks
Why limit yourself to one format? If you’ve purchased the print edition of most Apress titles then we’re happy to offer you the eBook edition for just $10.
User Group Program
Register your user group with Apress to take advantage of discounts on books, receive review copies, door prizes, and much, much more…
Academic Resources
Let Apress assist in the development of your academic programs and coursework.
Bulk Sales Discount
Bulk discounts apply when you buy ten or more copies of individual Apress or Friends of ED titles in either hard copy or eBook format.