This is a research monograph intended primarily for those researchers in Theoretical Computer Science interested in the areas of logics of programs, programming language semantics and program verification. It is also aimed at mathematically-inclined researchers in Logic, Linguistics and Philosophy, interested in a well-motivated...

Even at the beginning of the 21st century, we are far from becoming paperless. Pen and paper is still the only truly ubiquitous information processing technology. Pen-and-paper user interfaces bridge the gap between paper and the digital world. Rather than replacing paper with electronic media, they seamlessly integrate both worlds in a...

This book demonstrates bene?ts of abstract and qualitative reasoning that have not received much attention in the context of autonomous robotics before. Bremen, Christian Freksa December 2007 Director of the SFB/TR 8 Spatial Cognition Preface This book addresses spatial representations and reasoning techniques for - bile robot mapping,...

The traditional project coaching takes place mostly in a number of face-to-face coaching sessions. However, under conditions of time pressure in IT projects, a physical presence of coaches could form a bottleneck. These facts led to the idea of using Internet technologies to support  the project coaching. The benefits of the web based...

The Foundations of Signal Integrity is the first of its kind—a reference that examines the physical foundation of system integrity based on electromagnetic theory derived from Maxwell's Equations. Drawing upon the cutting-edge...

If you want to know all about AppleScript--the how, where, and why of using it--dig into AppleScript: The Definitive Guide. It doesn't make the mistake that other books do: it isn't about scripting this or that particular application, and it doesn't assume that learning AppleScript is easy or obvious. Instead, the book teaches and...