Electronic Books

Total Books: 941 - 960 /1108

This book constitutes the thoroughly refereed post-proceedings of the 5th IFIP WG 10.2 International Workshop on Software ...

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and ...

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

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

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

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

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

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 addresses the innovative topic of software-implemented hardware fault tolerance ...

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

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

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

The Springer Handbook of Experimental Solid Mechanics documents both the traditional techniques as well as the new methods ...

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

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

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

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

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

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

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

Total Books: 941 - 960 /1108