A comprehensive guide to distributed algorithms that emphasizes examples and exercises rather than mathematical argumentation.
This book offers students and researchers a guide to distributed algorithms that emphasizes examples and exercises rather than the intricacies of mathematical models. It avoids mathematical...
Today engineering and technology have become important factors in global competitiveness. Under a fierce competitive environment, engineering and technology managers are forced to achieve marketable results by focusing on areas such as speed, quality, and cost. This can only be achieved through effective planning, organization,...
More than 50 years ago the discovery and understanding of radiation led to the idea of a beam of elementary particles. Since then the development of processes for the collection, focusing, and acceleration of such beams has given rise to a growing number of facilities designed to produce a variety of particle beams for a multitude of purposes. ...
This volume contains the proceedings of the 17th International SPIN Workshop
on Model Checking Software (SPIN 2010). The workshop was organized by and
held at the University of Twente, The Netherlands, on 27–29 September 2010.
The workshop was co-located with the 5th International Conference on Graph
Transformation (ICGT 2010)...
Haskell is a deep language; we think learning it is a hugely rewarding experience. We
will focus on three elements as we explain why. The first is novelty: we invite you to
think about programming from a different and valuable perspective. The second is
power: we’ll show you how to create software that is short, fast, and safe....
Re-architect relational applications to NoSQL, integrate relational database management systems with the Hadoop ecosystem, and transform and migrate relational data to and from Hadoop components. This book covers the best-practice design approaches to re-architecting your relational applications and transforming your relational data to...
In this IBM Redbook we discuss primary processes and various alternatives that prepare you in implementing a DB2 near-realtime business intelligence environment. We discuss architectural alternatives and include overviews of software products that you can use in an implementation. As a primary focus, we tested the capabilities for supporting...
Building libraries is an important task. The activity goes back to the earliest days of computing, when Wilkes, Wheeler, and Gill introduced subroutines as instruments for packaging useful software. Sadly, this activity lost its academic glamour and is often relegated to the boiler room of programming. It is essential that we start building...
This text presents the most comprehensive treatment of the Go programming language you can
find. It draws on the whole spectrum of Go sources available: online documentation and blogs,
books, articles, audio and video, and my own experience in software engineering and teaching
programming languages and databases, organizing the...
Time is a precious commodity, especially if you're a system administrator. No other job pulls people in so many directions at once. Users interrupt you constantly with requests, preventing you from getting anything done. Your managers want you to get long-term projects done but flood you with requests for quick-fixes that...