for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
A computational perspective on partial order and lattice theory, focusing on algorithms and their applications This book provides a uniform treatment of the theory and applications of lattice theory.
During the IFAC/IFIP I-ESA international conference, supported by the INTEROP NoE and the ATHENA IP, three workshops and a doctoral symposium were organized in order to strengthen some key topics related to interoperability for enterprise applications and software.
Accessible VBA coding for complex financial modelling How to Implement Market Models Using VBA makes solving complex valuation issues accessible to any financial professional with a taste for mathematics.
At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in... Læs mere
A critical work covering high-performance heterogeneous computing Analyzes issues encountered when programming heterogeneous networks Overviews software for... Læs mere
This title brings together the best papers on a range of topics raised at the annual International Conference on Principles and Practice of Constraint Programming. This... Læs mere
While geographic redundancy can obviously be a huge benefit for disaster recovery, it is far less obvious what benefit is feasible and likely for more typical non-catastrophic hardware, software, and human failures.
The testing market is growing at a fast pace and ISTQB certifications are being increasingly requested, with more than 180,000 persons currently certified throughout the world.
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc.