This book is organized in topical sections on applications, collective operations, library internals, message passing for ...
Continue readingThe book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...
Continue readingThis book constitutes the refereed proceedings of the 19th Annual International Conference on Research in Computational Molecular ...
Continue readingThis book describes how elite studies theoretically and methodologically construct their object, i.e. how particular conceptualizations ...
Continue readingThe book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
Continue readingThe size of technically producible integrated circuits increases continuously. But the ability to design and verify these ...
Continue readingThis book constitutes the refereed proceedings of the 31st Conference on Current Trends in Theory and Practice of Computer ...
Continue readingThis book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held ...
Continue readingThe Symposium on Theoretical Aspects of Computer Science (STACS) is alternately held in France and in Germany. The conference ...
Continue readingBiometrics is becoming increasingly common in establishments that require high security such as state security and financial ...
Continue readingTelecommunications networks are a critical component of the economic and social infrastructures in which we live. Each day, ...
Continue readingThis book constitutes the refereed proceedings of the 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, ...
Continue readingThis book constitutes the refereed proceedings of the Second IEEE International Workshop on Self-Managed Networks, Systems, ...
Continue readingAmong the topics addressed are semantics-aware data models and query languages; ontology-based views, mapping, transformations, ...
Continue readingThis book reports on the state of the art of the growing of quantum dots, the theory of self-organised growth, the theory ...
Continue readingThis methodic manual presents a survey of the form-related and functional elements of the bulk silicon microtechnique. It ...
Continue readingQuantum size effects are becoming increasingly important in microelectronics as the dimensions of the structures shrinks ...
Continue readingReference on structural design, giving architects and designers a concise introduction to the structures commonly used for ...
Continue readingThis book provides a broad overview of the many card systems and solutions that are in practical use today. This state-of-the ...
Continue readingThis book is organized in topical sections on programming languages, software engineering, distributed and parallel systems, ...
Continue reading