Electronic Books

Total Books: 841 - 860 /990

Software Verification and Validation

Software Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need ...

Software Visualization

Software visualization encompasses the development and evaluation of methods for graphically representing different aspects ...

Software and Data Technologies : First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers

This book is organized in topical sections on programming languages, software engineering, distributed and parallel systems, ...

Software for Algebraic Geometry

Algorithms in algebraic geometry go hand in hand with software packages that implement them. Together they have established ...

Software for Data Analysis : Programming with R

This book guides the reader through programming with R, beginning with simple interactive use and progressing by gradual ...

Software for Exascale Computing - SPPEXA 2016-2019

This book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software ...

Software-Implemented Hardware Fault Tolerance

Software-Implemented Hardware Fault Tolerance addresses the innovative topic of software-implemented hardware fault tolerance ...

Software-Intensive Systems and New Computing Paradigms : Challenges and Visions

The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...

Solving PDEs in Python : The FEniCS Tutorial I

This book offers a concise and gentle introduction to finite element programming in Python based on the popular FEniCS software ...

Spring Recipes : A Problem-Solution Approach

Spring Recipes covers Spring 2.5 from basic to advanced, including Spring IoC container, Spring AOP and AspectJ, Spring data ...

Stabilization, Safety, and Security of Distributed Systems

This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...

Standardized Functional Verification

Standardized Functional Verification describes the science of functional verification that applies to any digital hardware ...

Static Analysis (vol. # 3672)

"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...

Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...

Strategic IT Management

Growth, mergers, restructuring, innovation - all these important topics of today’s companies cannot be implemented without ...

Strategy, Planning and Organization of Test Processes : Basis for Successful Project Execution in Software Testing / Frank Witte

Provides concrete tips for the successful organization of software tests. Because: Planning and conception in advance are ...

Structural Sensitivity Analysis and Optimization 2

Structural design sensitivity analysis concerns the relationship between design variables available to the design engineer ...

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 ...

Supercomputing

This book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held ...

Total Books: 841 - 860 /990