Software Technologies for Embedded and Ubiquitous Systems
This book constitutes the thoroughly refereed post-proceedings of the 5th IFIP WG 10.2 International Workshop on Software ...
Lee mas
Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers
This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and ...
Lee mas
Software Verification and Validation
Software Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need ...
Lee mas
Software Visualization
Software visualization encompasses the development and evaluation of methods for graphically representing different aspects ...
Lee mas
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, ...
Lee mas
Software for Algebraic Geometry
Algorithms in algebraic geometry go hand in hand with software packages that implement them. Together they have established ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Software-Implemented Hardware Fault Tolerance
Software-Implemented Hardware Fault Tolerance addresses the innovative topic of software-implemented hardware fault tolerance ...
Lee mas
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 ...
Lee masSolving 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 ...
Lee mas
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 ...
Lee mas
Springer Handbook of Experimental Solid Mechanics
The Springer Handbook of Experimental Solid Mechanics documents both the traditional techniques as well as the new methods ...
Lee mas
Stabilization, Safety, and Security of Distributed Systems
This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...
Lee mas
Standardized Functional Verification
Standardized Functional Verification describes the science of functional verification that applies to any digital hardware ...
Lee mas
Static Analysis (vol. # 3672)
"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
Lee mas
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, ...
Lee mas
Strategic IT Management
Growth, mergers, restructuring, innovation - all these important topics of today’s companies cannot be implemented without ...
Lee mas
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 ...
Lee mas
Structural Sensitivity Analysis and Optimization 2
Structural design sensitivity analysis concerns the relationship between design variables available to the design engineer ...
Lee mas
