Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
This book breaks new ground by presenting an interdisciplinary approach to a crucial problem – system dependability. Computer-based ...
اقرأ المزيد
Studying Human Populations : An Advanced Course in Statistics
Studying Human Populations is a textbook for graduate students and research workers in social statistics and related subject ...
اقرأ المزيد
Successfully Implementing Microsoft Dynamics™
Does the implementation of Microsoft Dynamics™ contribute to the goals of your company? Does your company itself have the ...
اقرأ المزيد
Supercomputing
This book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held ...
اقرأ المزيد
Support Vector Machines: Theory and Applications
The support vector machine (SVM) has become one of the standard tools for machine learning and data mining. This carefully ...
اقرأ المزيد
Suppressing Terrorist Financing and Money Laundering
this book examines the evolution and implementation of int- national standards on countering the financing of terrorism. ...
اقرأ المزيدSustainable Design Basics : A methodology for the schematic design of sustainable buildings
An accessible, climate-diverse guide that transforms readers from sustainable design novices to whole-solution problem solvers. ...
اقرأ المزيد
System Analysis and Modeling
This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on SDL and MSC, SAM 2004, ...
اقرأ المزيد
System Analysis and Modeling: Language Profiles
This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...
اقرأ المزيد
System-level Test and Validation of Hardware
New manufacturing technologies have made possible the integration of entire systems on a single chip. This new design paradigm, ...
اقرأ المزيد
SystemVerilog for Verification
Provides practical information for hardware and software engineers using the SystemVerilog language to verify electronic ...
اقرأ المزيدSystematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms ...
اقرأ المزيد
Systems Engineering of Software-Enabled Systems / Richard E. Fairley
Presents an approach to developing software-enabled systems that integrates the incremental approach used by systems engineers ...
اقرأ المزيد
Systems and Virtualization Management. Standards and New Technologies : Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings
This book include virtualization, key management issues, web services and SOA, new management paradigms, experience implementing ...
اقرأ المزيد
Systems, Software and Services Process Improvement
This volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...
اقرأ المزيد
Taking Your iPod touch to the Max
Fast and fun to read, Taking Your iPod touch to the Max gives you all the tips and techniques you could ever think of to ...
اقرأ المزيد
Taxonomies for the Development and Verification of Digital Systems
"In the complicated world of system-on-chip design, we need a common language so we know what we're talking about. By ...
اقرأ المزيد
Technical Translation
This book is an introduction to technical translation and usability for translators and researchers. It draws on a broad ...
اقرأ المزيد
Technical, Economic and Societal Effects of Manufacturing 4.0 Automation, Adaption and Manufacturing in Finland and Beyond
This book is among the first cross-disciplinary works about Manufacturing 4.0. It includes chapters about the technical, ...
اقرأ المزيد
Temporal Logic and State Systems
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
اقرأ المزيد
