Test Pattern Generation Using Boolean Proof Engines

The Last Kids on Earth gets a fantasy twist in this exciting first book in a new, highly illustrated middle grade series about the adventures of a boy who's the only human student at an academy for future explorers.Coop Cooperson lives in the Land of Eem, a fantastical realm where many different species live together and there is always more magic to be discovered by those up to the task. The Dungeoneer Academy trains future explorers with classes like Dungeons and Mazes, Creatures and Critters, and Swords and Sorcery. Coop believes in the academy's mission and the Dungeoneer's Code, but being the only human student can make it difficult to fit insometimes he wonders if he really belongs. Lucky for Coop, his best friend Oggie the bugbear has his back, as do the two other members of their exploring team, Daz the boggart and Mindy the imp. They have to rely on each other more than ever as the test for their Junior Dungeoneer Badges looms closer. If Coop and his friends fail to run the f

In this third “thrilling” (Kirkus Reviews) installment in the New York Times bestselling series from Edgar Award winner James Ponti, the young group of spies help a fellow agent in another international adventure perfect for fans of Spy School and Mrs. Smith’s Spy School for Girls.After taking down a mole within their organization, the City Spies are ready for their next mission—once again using their unique skills and ability to infiltrate places adults can’t. The sinister Umbra has their sights set on recruiting a North Korean nuclear physicist by any means necessary, and the City Spies plan to keep an eye on his son by sending Paris to the chess prodigy’s tournaments in Moscow and Beijing.Meanwhile, Sydney’s embedded as a junior reporter for a teen lifestyle site as she follows the daughter of a British billionaire on tour with the biggest act on her father’s music label to uncover what links both the band and the billionaire have to a recent threat from an old Soviet missile base.F

Tom and his friends' service project cleaning up a local lake becomes a deep dive into suspicious behavior in in the eighth novel in Tom Swift Inventors' Academyperfect for fans of The Hardy Boys or Alex Rider.Tom and his friends are excited to be spending their spring break out at Lake Carlopa, where they'll be camping and testing inventions to clean up the shores as part of a service project sponsored by Swift Enterprises. Rock star of the engineering world Jonathan J. Jefferson is even set to make an appearance as part of the event. Tom's also really looking forward to using the trip as an opportunity to test out his most ambitious creation yeta two-man submarine! Lake Carlopa is a haven for scuba divers because of its clear waters, and it will be the perfect place for the sub's maiden voyage. But when a scuba diving team shows up at the campsite and seems to be there for more than just pleasure diving, Tom and his friends wonder what they're really up to. Are the divers using the e

The classic first Moonbear story by National Book Award–winning author-illustrator Frank Asch gets a loving refresh to bring the bear who loves the moon to a new generation of young readers!When Bear looks up and sees the moon for the very first time, it’s love at first sight. Night after night, Bear admires the moon, but soon realizes it’s growing smaller and smaller and smaller. Can Bear help stop the Moon from disappearing forever?Originally published in 1978, Moonbear’s spare, sweet story and distinctive and intricate pen and ink drawings are sure to enchant young readers fascinated by nature and the night sky.

Storybook characters collide in this first book in a new trilogy of twisted fairy tales from New York Times bestselling author James Riley, set in the world of his popular Half Upon a Time seriesperfect for fans of Fablehaven and Chris Colfer's A Tale of Magic series!Five and a half feet might seem pretty tall for a twelve-year-old, but it's not when your parents are giants. Lena has kept the fact that she's a tiny giant secret, using magic to grow when out in the giant village. But hiding who she is has always felt wrong, even though she knows the other giants might not accept her. Fortunately, Lena has friends down in the Cursed City who understand that looking different doesn't make her less of a giant. Someone who knows not to judge by appearances is Jin, a young genie currently serving one thousand and thirty-eight years of genie training that requires him to fulfill the wish of whoever holds his magical ring. In Jin's case, it's the power-hungry Golden King. At least the king on

Storybook characters collide in this first book in a new trilogy of twisted fairy tales from New York Times bestselling author James Riley, set in the world of his popular Half Upon a Time seriesperfect for fans of Fablehaven and Chris Colfer's A Tale of Magic series!Five and a half feet might seem pretty tall for a twelve-year-old, but it's not when your parents are giants. Lena has kept the fact that she's a tiny giant secret, using magic to grow when out in the giant village. But hiding who she is has always felt wrong, even though she knows the other giants might not accept her. Fortunately, Lena has friends down in the Cursed City who understand that looking different doesn't make her less of a giant. Someone who knows not to judge by appearances is Jin, a young genie currently serving one thousand and thirty-eight years of genie training that requires him to fulfill the wish of whoever holds his magical ring. In Jin's case, it's the power-hungry Golden King. At least the king on

In this third installment in the New York Times bestselling series from Edgar Award winner James Ponti, the young group of spies help a fellow agent in another international adventure perfect for fans of Spy School and Mrs. Smith’s Spy School for Girls.After taking down a mole within their organization, the City Spies are ready for their next mission—once again using their unique skills and ability to infiltrate places adults can’t. The sinister Umbra has their sights set on recruiting a North Korean nuclear physicist by any means necessary, and the City Spies plan to keep an eye on his son by sending Paris to the chess prodigy’s tournaments in Moscow and Beijing.Meanwhile, Sydney’s embedded as a junior reporter for a teen lifestyle site as she follows the daughter of a British billionaire on tour with the biggest act on her father’s music label to uncover what links both the band and the billionaire have to a recent threat from an old Soviet missile base.From a daring break-in at one