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