Featured Springer Titles
All Springer Titles
-
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.
-
Variation-Aware Design of Custom Integrated Circuits: A Hands-on Field Guide
This book targets custom IC designers who are encountering variation issues in their designs, especially for modern process nodes at 45nm and below. It sets out state-of-the-art variation-aware design tools that will help them fix their problems efficiently.
-
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.
-
Value-Based Software Engineering
Stefan Biffl, Aybüke Aurum, Barry Boehm, Hakan Erdogmus, Paul Grünbacher
-
Valuation in Life Sciences 3rd Edition
Here, in an updated edition with new examples, is a complete guide to valuation in life sciences. Using real-life cases, the authors show how to value projects, patents, licences, firms and stocks, including complex licence and company structures.
-
Validated Designs for Object-oriented Systems
John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef
-
Using Microsoft Dynamics AX 2012 2nd Edition
-
User-Centered Interaction Design Patterns for Interactive Digital Television Applications
With a focus on the usability of iTV applications, this book provides clear guidelines for designing the user interfaces on interactive TV applications. And the approach presented is generic, so it can be applied to other platforms and technologies.
-
This book offers a theoretical analysis of symmetry-based clustering techniques. It includes extensive real-world applications in data mining, remote sensing imaging, MR brain imaging, gene expression data analysis, and face detection.
-
This title introduces the hierarchical structure, principles, applications, kernel, shells, development and management of UNIX operation systems. It clarifies the bond between UNIX implementation and general operating system and software engineering theories.









