Our Beautiful, Fragile World features a career-spanning look at the images of photojournalist Peter Essick taken while on assignment for National Geographic magazine. In this book, Essick showcases a diverse series of photographs from some of the most beautiful natural areas in the world and documents major contemporary...

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in...

The ANTS-IX Program Committee consisted of 12 members whose names are listed on the next...

During the Middle Ages, castles and other fortified buildings were a common feature of the European landscape. As central powers rose and fell, the insecurity of the time inspired a revival of fortification techniques first introduced in the Roman Empire. Despite limitations in construction techniques and manpower, medieval fortifications...

Wrox Professional guides are planned and written by working programmers to meet the real-world needs of...

In Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems, the authors take a novel approach of presenting methods and examples for the synthesis of arithmetic circuits that better reflects the needs of today's computer system designers and engineers....

Written by best-selling PC repair author and educator Jean Andrews, the seventh edition of A+ Guide to Managing and Maintaining Your PC maps fully to CompTIA's 2009 A+ Exam objectives. This full-color guide is the most complete, step-by-step book available for learning the fundamentals of supporting and troubleshooting computer hardware...