Verification of Communication Protocols in Web Services: Model-Checking Service Compositions

Data Mining Techniques in Grid Computing Environments

The Beginning of Infinity: Explanations that Transform The World

Cloud Computing: Principles and Paradigms

Fundamentals of Distributed Object Systems: The CORBA Perspective

Lost in Math: How Beauty Leads Physics Astray

Pipelined Processor Farms: Structured Design for Embedded Parallel Systems

Quanta and Fields: The Biggest Ideas in the Universe

Fundamentals of Computer Organization and Architecture

UPC: Distributed Shared Memory Programming

Mathematics for the Physical Sciences

Advanced Computer Architecture and Parallel Processing

High-Performance Computing: Paradigm and Infrastructure

The Principia: The Authoritative Translation: Mathematical Principles of Natural Philosophy

Parallel Metaheuristics: A New Class of Algorithms

Emerging Wireless LANs, Wireless PANs, and Wireless MANs: IEEE 802.11, IEEE 802.15, 802.16 Wireless Standard Family

Task Scheduling for Parallel Systems

Relativity - The Special and General Theory

Architecture-Independent Programming for Wireless Sensor Networks