The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although...
This book exposes a number of mathematical models for fracture of growing difficulty. All models are treated in a unified way, based on incremental energy minimization. They differ from each other by the assumptions made on the inelastic part of the total energy, here called the "cohesive energy". Each model describes a specific...
Janet Tavakoli takes you into the world of Warren Buffett by way of the recent mortgage meltdown. In correspondence and discussion with him over 2 years, they both saw the writing on the wall, made clear by the implosion of Bear Stearns. Tavakoli, in clear and engaging prose, explains how the credit mess happened beginning with the mortgage...
What is the theory of computation all about? The theory of computation embodies
the principle by which computers have become the basis of modern digital technology,
which makes a computer perform as desired, and which, consequently, has
led to the prosperity of our advanced information society (just as physical sciences
constitute the...
This book is a selection of the revised contributions that were initially submitted to the International Workshop on Adaptive Multimedia Retrieval (AMR 2007). The workshop was organized at the University Pierre and Marie Curie in Paris, France, during July 5–6, 2007.
The goal of the AMR workshops is to intensify the exchange...
While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined – ideally there exist complete precise descriptions of the source and target languages, while additional...
Getting started with iPhone application development is relatively easy thanks to online tutorials and especially to books like Beginning iPhone Development by Dave Mark and Jeff LaMarche. But sometimes, software is just hard.
A year and a half after receiving an iPhone as a birthday present, I am still amazed. It looks so simple and...
Employee participation encompasses the range of mechanisms used to involve the workforce in decisions at all levels of the organization - whether direct or indirect - conducted with employees or through their representatives. In its various guises, the topic of employee participation has been a recurring theme in industrial relations and...
Verity Stob is the comedienne of the programming world. She has been writing satirical chronicles of techie life since 1988. Her column first appeared in the legendary .EXE Magazine, then Dr. Dobbs' Journal, and it now graces The Register.
Geometric algebra (GA) is a powerful new mathematical system for computational geometry. Although its origins can be traced back to Hermann Grassmann (1844), its development as a language for space–time geometry with applications to all of physics did not begin until 1966. Suddenly, in the year 2000 it was recognized that a specialized...
Assisted-GNSS is an interesting field to work in at present. Demand for accurate location is increasing and new satellites and signals are coming online through the GPS modernization program and the emergence of new GNSSs.
This book is a practical exploration of A-GNSS with particular focus on A-GPS. It provides some theoretical...
