Test Pattern Generation Using Boolean Proof Engines

Using a deck of Loteraia cards as her muse, eleven-year-old Luz Castillo, a ward of the state who has retreated into silence, finds each shuffle sparking a random memory that, pieced together, brings

When battlefield nurse Bess Crawford, while contending with wounded soldiers and influenza patients, stumbles upon the body of an officer and family friend who has been murdered, she, using her father

A rebellion is brewing in the New Mexico territories. An Indian who rides with white men—a Navajo renegade using the name of a legendary fallen warrior—is stirring up fear and rage and blo

There is no better way to tap into today's soup craze than with this glorious cookbook, filled with more than 100 deliciously low-fat soup recipes. Author Judith Barrett lost pounds and inches using t

Liar’s Poker meets The Social Network in an irreverent exposé of life inside the tech bubble, from industry provocateur Antonio García Martínez, a former Twitter advisor, Facebook product manager and startup founder/CEO.The reality is, Silicon Valley capitalism is very simple:Investors are people with more money than time.Employees are people with more time than money.Entrepreneurs are the seductive go-between.Marketing is like sex: only losers pay for it. Imagine a chimpanzee rampaging through a datacenter powering everything from Google to Facebook. Infrastructure engineers use a software version of this “chaos monkey” to test online services’ robustness—their ability to survive random failure and correct mistakes before they actually occur. Tech entrepreneurs are society’s chaos monkeys, disruptors testing and transforming every aspect of our lives, from transportation (Uber) and lodging (AirBnB) to television (Netflix) and dating (Tinder). One of Silicon Valley’s most audaciou

Scotland Yard's Ian Rutledge must contend with two dangerous enemies in this latest complex mystery in the New York Times bestselling series"Todd once and for all establishes the shell-shocked Rutledg