This book presents a unique foundation for producing almost every quantitative graphic found in scientific journals, newspapers, ...
Continue readingThe first step towards success in a software project is to ensure a professional setup. This includes a metrics-based formal ...
Continue readingThe objective of this work is to detect Alzheimer’s disease using Magnetic Resonance Imaging. For this, we use a three-dimensional ...
Continue reading"Kurbel … has succeeded in writing a book that collects a wealth of information on software engineering without being ...
Continue readingDiscusses theoretically and empirically the trade-off relationship between the frequency of product adaptation activities ...
Continue readingThis book constitutes the 14th edition of the annual Multi-Agent Programming Contest, MAPC 2019, and presents its participants. The ...
Continue readingThis Book State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project ...
Continue readingThe authors, a uniquely skilled team of longtime industry experts, detail how you can build privacy into products, processes, ...
Continue readingThe papers included in this volume cover a broad spectrum of important safety issues. They provide a combination of industrial ...
Continue readingThe book is organized in topical sections on agents, application ontologies, applications, formal languages, foundational ...
Continue reading"The Testing Network" presents an integrated approach to testing based on cutting-edge methodologies, processes and tools ...
Continue readingThe Universal Generating Function in Reliability Analysis and Optimization is the first book that gives a comprehensive description ...
Continue readingThis thorough yet understandable introduction to the boundary element method presents an attractive alternative to the finite ...
Continue readingThis book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...
Continue readingThe aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
Continue readingIs there nothing more to programming? How can you develop your skill if all you do is hunt for the prescribed routine in ...
Continue readingThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Continue readingThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Continue readingThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Continue readingThis two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue reading