This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and ...
WeiterlesenSoftware Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need ...
WeiterlesenSoftware visualization encompasses the development and evaluation of methods for graphically representing different aspects ...
WeiterlesenThis book is organized in topical sections on programming languages, software engineering, distributed and parallel systems, ...
WeiterlesenAlgorithms in algebraic geometry go hand in hand with software packages that implement them. Together they have established ...
WeiterlesenThis book guides the reader through programming with R, beginning with simple interactive use and progressing by gradual ...
WeiterlesenThis book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software ...
WeiterlesenSoftware-Implemented Hardware Fault Tolerance addresses the innovative topic of software-implemented hardware fault tolerance ...
WeiterlesenThe objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...
WeiterlesenThis book presents the results and findings of the HESPERIA (High Energy Solar Particle Events forecasting and Analysis) ...
WeiterlesenAims to present specific complicated and puzzling challenges encountered for application of the Finite Element Method (FEM) ...
WeiterlesenThis book offers a concise and gentle introduction to finite element programming in Python based on the popular FEniCS software ...
WeiterlesenSourcing Strategy is about sourcing as a long term strategic activity. Myopic purchasing management stops short with describing ...
WeiterlesenSpring Recipes covers Spring 2.5 from basic to advanced, including Spring IoC container, Spring AOP and AspectJ, Spring data ...
WeiterlesenSquare-wave voltammetry is a technique readily available to every researcher, scientist, engineer and practitioner applying ...
WeiterlesenThis book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...
WeiterlesenStandardized Functional Verification describes the science of functional verification that applies to any digital hardware ...
Weiterlesen"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
WeiterlesenThis book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. The book ...
WeiterlesenThe book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Weiterlesen