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