Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a ...

Three-time Grammy winner Tom Chapin both reads and sings this timeless folk song. The book by Peter Spier provides the springboard for the familiar song, about a fox who forages for food in the village to bring to his family back in the den.Young listeners will delight in this exceptional new recording of the popular Caldecott Honor Book.A Live Oak Media audio production.

Ecosystem ecology regards living organisms, including people, and the elements of their environment as components of a single integrated system. The comprehensive coverage in this textbook examines the central processes at work in terrestrial ecosystems, including their freshwater components. It traces the flow of energy, water, carbon, and nutrients from their abiotic origins to their cycles through plants, animals, and decomposer organisms. As well as detailing the processes themselves, ...

The leading introduction to computer algorithms in use today, including fifty algorithms every programmer should knowPrinceton Computer Science professors, Robert Sedgewick and Kevin Wayne, survey the most important computer algorithms in use and of interest to anyone working in science, mathematics, and engineering, and those who use computation in the liberal arts. They provide a full treatment of data structures and algorithms for key areas that enable you to co...

System developers have used modeling languages for decades to specify, visualize, construct, and document systems. The Unified Modeling Language (UML) is one of those languages. UML makes it possible for team members to collaborate by providing a common language that applies to a multitude of different systems. Essentially, it enables you to communicate solutions in a consistent, tool-supported language.Today, UML has become the standard method for modeling software systems, which ...

In 1936 a German chemist identified certain organic molecules that he had extracted from ancient rocks and oils as the fossil remains of chlorophyll--presumably from plants that had lived and died millions of years in the past. It was another twenty-five years before this insight was developed and the term "biomarker" coined to describe fossil molecules whose molecular structures could reveal the presence of otherwise elusive organisms and processes. Echoes of Life is the story of...

Analyzing how hacks are done, so as to stop them in the futureReverse engineering is the process of analyzing hardware or software and understanding it, without having access to the source code or design documents. Hackers are able to reverse engineer systems and exploit what they find with scary results. Now the good guys can use the same tools to thwart these threats. Practical Reverse Engineering goes under the hood of reverse engineering for security a...

The second edition of The Biomarker Guide is a fully updated and expanded version of this essential reference. Now in two volumes, it provides a comprehensive account of the role that biomarker technology plays both in petroleum exploration and in understanding Earth history and processes. Biomarkers and Isotopes in the Environment and Human History details the origins of biomarkers and introduces basic chemical principles relevant to their study. It discusses analytical techniques, and ap...

In coastal seas, from the tropics to the poles, seaweeds supply the energy required to support diverse coastal marine life and provide habitat for invertebrates and fish. Retaining the highly successful approach and structure of the first edition, this is a synthesis of the role of seaweeds in underpinning the functioning of coastal ecosystems worldwide. It has been fully updated to cover the major developments of the past twenty years, including current research on the endosymbiotic origi...

Joe Celkos SQL for Smarties: Advanced SQL Programming offers tips and techniques in advanced programming. This book is the fourth edition and it consists of 39 chapters, starting with a comparison between databases and file systems. It covers transactions and currency control, schema level objects, locating data and schema numbers, base tables, and auxiliary tables. Furthermore, procedural, semi-procedural, and declarative programming are explored in this book. The book also presents the d...

This new edition of an established textbook provides a comprehensive and stimulating introduction to rivers, lakes and wetlands, and was written as the basis for a complete course on freshwater ecology. Designed for undergraduate and early postgraduate students who wish to gain an overall view of this vast subject area, this accessible guide to freshwater ecosystems and man's activities will also be invaluable to anyone interested in the integrated management of freshwaters. The author mai...

Structured Parallel Programming offers the simplest way for developers to learn patterns for high-performance parallel programming. Written by parallel computing experts and industry insiders Michael McCool, Arch Robison, and James Reinders, this book explains how to design and implement maintainable and efficient parallel algorithms using a composable, structured, scalable, and machine-independent approach to parallel computing. It presents both theory and practice, and provides detailed ...