This book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, ...
Lire la suiteData Mining and Knowledge Discovery Handbook organizes all major concepts, theories, methodologies, trends, challenges and ...
Lire la suiteIn DevOps for Digital Leaders, deep collective experience on both sides of the dev–ops divide informs the global thought ...
Lire la suiteThis book covers all current issues in distributed computing, including theory, design, analysis, implementation, and application ...
Lire la suiteThis book covers all current issues in distributed computing, including theory, design, analysis, implementation, and application ...
Lire la suiteThis book constitutes the refereed proceedings of the 19th International Conference on Distributed Computing, DISC 2005, ...
Lire la suiteDISC, the International Symposium on DIStributed Computing, is an annual forum for presentation of research on all facets ...
Lire la suiteThis book constitutes the refereed proceedings of the 22nd International Symposium on Distributed Computing, DISC 2008, held ...
Lire la suiteThis book provides a taster for using symbolic analysis, graph theory, and set-oriented methods in a quest to understand ...
Lire la suiteThis established, didactically excellent textbook unifies intuitiveness with extraordinary precision of its terminology and ...
Lire la suiteCovers the flux pinning mechanisms and properties and the electromagnetic phenomena caused by the flux pinning common for ...
Lire la suiteThis book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Lire la suiteGrids are a crucial enabling technology for scientific and industrial development. Peer-to-peer computing, grid, distributed ...
Lire la suiteThe book covers recent progress on genome research in soybeans, including the genetic map with classical, RFLP, SSR and SNP ...
Lire la suiteGenomics of Tropical Crop Plants summarizes recent progress on genomic research, including the development of molecular markers, ...
Lire la suiteThis textbook introduces geometric measure theory through the notion of currents. Currents—continuous linear functionals ...
Lire la suiteThis book covers a wide spectrum of techniques, algorithms and modeling methodologies that address the challenges in service-oriented ...
Lire la suiteGrid Computing: Achievements and Prospects, the 9th edited volume of the CoreGRID series, includes selected papers from the ...
Lire la suiteThe Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...
Lire la suiteHighlights the very latest research output of several EU satellite-related projects and addresses many unresolved issues ...
Lire la suite