Dictionaries tell stories of many kinds. The history of dictionaries, of how they were produced, published and used, has much to tell us about the language and the culture of the past. This monumental work of scholarship draws on published and archival material to survey a wide range of dictionaries of western European languages (including...

Recent innovations in modern radar for designing transmitted waveforms, coupled with new algorithms for adaptively selecting the waveform parameters at each time step, have resulted in improvements in tracking performance. Of particular interest are waveforms that can be mathematically designed to have reduced ambiguity function sidelobes, as...

Few people ever read a preface, and those who do often just glance at the first few lines. So we begin by answering the question most frequently asked by the readers of our manuscript: "What does [BB] mean?" Like most undergraduate texts in mathematics these days, answers to some of our exercises appear at the back of the book....

The bulk of this book was written over a period of two years between the middle of 2008 and April 2010. In that time the world’s media systems were caught up in a massive vortex of uncertainty and change. News 2.0 captures the flavour of that period and sets it against an historical background. In short: Where did the news media’s...

Welcome to the proceedings of the 20th International Workshop on Power and TimingModeling, Optimization and Simulations, PATMOS 2010. Over the years, PATMOS has evolved into an important European event, where researchers from both industry and academia discuss and investigate the emerging challenges in future and contemporary applications,...

"Classical and Object-Oriented Software Engineering, 7/E" presents an excellent introduction to software engineering fundamentals, covering both traditional and object-oriented techniques. The coverage of both Agile processes and Open Source Software has been considerably expanded. In addition, the Osbert Oglesby running case study...

About four years ago David Luckham hinted to me the possibility of verifying a "real" compiler. At that time the idea seemed unrealistic, even absurd. After looking closer at the problem and getting more familiar with the possibilities of the Stanford verifier a verified compiler appeared not so impossible after all. In...

In my first book on geometric algebra in 2007 the preface described how I had been completely surprised by the existence of geometric algebra, especially after having recently completed a book on vector analysis where it was not even mentioned! So why am I writing a second book on the same subject?Well it’s not because I have...

At the instigation of the Iron and Steel Federation, the late Bernard Godfrey began work in 1952 on the first edition of the Steel Designers’ Manual. As principal author he worked on the manuscript almost continuously for a period of two years. On many Friday evenings he would meet with his co-authors, Charles Gray, Lewis Kent...

Though we did not know it at the time, this book’s genesis began with the arrival of Cris Calude in New Zealand. Cris has always had an intense interest in algorithmic information theory. The event that led to much of the recent research presented here was the articulation by Cris of a seemingly innocuous question. This question...

They order books, watch videos, read online documentation, and go to other classes. Many are frustrated and say the same...

Palimpsest seems...