This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue readingThis two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Continue readingThis two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Continue readingThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Continue readingThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Continue readingThis definitive textbook by a renowned field observer and analyst of trace fossils concentrates on the most distinctive examples, ...
Continue readingThis book is entirely about triangulations. With emphasis on computational issues, we present the basic theory necessary ...
Continue readingGreek military victories at Marathon, Salamis, and Plataia during the Persian Wars profoundly shaped fifth-century politics ...
Continue readingThe scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
Continue readingThe ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism ...
Continue readingTthis volume are organized in topical sections on data acquisition and modelling, visualization methods / audio, sensors ...
Continue readingThis volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
Continue readingThis volume provides overview of the mechanics of granular materials, ranging from sparse media to soils. With chapters exploring ...
Continue readingThis book has focused on helping human analysts to detect anomalies and patterns, particularly in computer network defense.
Continue readingNetworked computers are ubiquitous, and are subject to attack, misuse, and abuse. One method to counteracting this cyber ...
Continue readingThis book features original research in the areas of algorithms and data structures, combinatorial algorithms, graph drawings ...
Continue readingThis volume presents a detailed study of partial differential equations on planar graphs modeling networked flexible mechanical ...
Continue readingMany elements of our society are embedded in network structures in which actors depend on each other as well as the structural ...
Continue readingThe articles in this book, written by seven internationally known experts, present the fundamentals and practical applications ...
Continue readingThis book shows the breadth and various facets of e-Science, while also illustrating their shared core. Changes in scientific ...
Continue reading