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