This book addresses an urgent issue on which little organized information exists. It reflects experience in Africa but is ...
Lire la suite
Data Envelopment Analysis: A Comprehensive Text with Models, Applications, References, And DEA-Solver Software, 2nd Edition ...
Lire la suite
This two volume set (CCIS 1257 and 1258) constitutes the refereed proceedings of the 6th International Conference of Pioneering ...
Lire la suite
This book constitutes the refereed proceedings of the 13th International Conference on Database Systems for Advanced Applications, ...
Lire la suite
This volume constitutes the refereed proceedings of the three workshops held at the 31st International Conference on Database ...
Lire la suite
The double volumes LNCS 12391-12392 constitutes the papers of the 31st International Conference on Database and Expert Systems ...
Lire la suite
The double volumes LNCS 12391-12392 constitutes the papers of the 31st International Conference on Database and Expert Systems ...
Lire la suite
A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ...
Lire la suite
A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ...
Lire la suiteManufacturing is the backbone of any industrialized nation. Recent worldwide advances in manufacturing technologies have ...
Lire la suite
This book focuses on both the theory and practice associated with the tools and approaches for decisionmaking in the face ...
Lire la suite
The book concentrates on decision procedures for first-order theories that are commonly used in automated verification and ...
Lire la suite
What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? ...
Lire la suite
Constitutes the refereed post-proceedings of the First International Workshop on Deep Structure, Singularities, and Computer ...
Lire la suite
This study has become increasingly important in algebraic geometry in every context where variational phenomena come into ...
Lire la suite
This study has become increasingly important in algebraic geometry in every context where variational phenomena come into ...
Lire la suite
Mechatronic design processes have become shorter and more parallelized, induced by growing time-to-market pressure. Methods ...
Lire la suite
This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
Lire la suite
This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
Lire la suite
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...
Lire la suite