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

The Theoretical Minimum: What You Need to Know to Start Doing Physics

Knowledge Discovery in Life Science Literature: International Workshop, KDLL 2006, Singapore, April 9, 2006, Proceedings

Pipelined Processor Farms: Structured Design for Embedded Parallel Systems

Lost in Math: How Beauty Leads Physics Astray

Fundamentals of Computer Organization and Architecture

UPC: Distributed Shared Memory Programming

Quanta and Fields: The Biggest Ideas in the Universe

Advanced Computer Architecture and Parallel Processing

High-Performance Computing: Paradigm and Infrastructure

Mathematics for the Physical Sciences

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

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