As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.

One approach especially intrigued me. John Guttag and Jim...

Wireless Mesh Networking provides everything needed to create in-demand wireless mesh networks that provide wireless broadband access over wide areas. This resource presents a complete roadmap to the design and...

• This short, concise, and practical guide is packed with real-world examples of building microservices with Go
• It is easy to read and will benefit smaller teams who want to extend the functionality of their existing systems
• Using this practical approach will save your money in...

SPACE AND TIME BY EMILE BOREL Honorary Director of LEcole Normalc Supcrieure Professor of the Faculte des Sciences of Paris Member of the Institute BLACKIE SON LIMITED LONDON AND GLASGOW 1926 Preface The reader will not find here a didactic account of Einsteins theories. Such an account requires the use of the formulas of mathematical physics...

Sensor Technologies: Healthcare, Wellness and Environmental Applications explores the key aspects of sensor technologies, covering wired, wireless, and discrete sensors for the specific application domains of healthcare, wellness and environmental sensing.  It discusses the social, regulatory, and design...

• Learn to apply the nuances of the Go language, and get to know the open source community that surrounds it to implement a wide range of start-up quality projects
• Write interesting, and clever but simple code, and learn skills and techniques that are directly transferrable to your own...