Free Wrench Collection

Steam-powered airships rule the skies in a world blanketed by a toxic fug. Join Nita, Lil, Coop, Cap’n Mack, and the rest of the Wind Breaker crew in a steampunk adventure that will leave you reeling. Free-Wrench Collection: Volume 1 combines the first three novels of this exciting steampunk series into one amazing anthology. Here’s what you get: Free-Wrench - Beyond the islands of Caldera the world is a vicious place. A terrible calamity has poisoned the land. Those too ruthless or stubborn to die have crafted steam-powered mechanical wonders and taken to the sky. Yet somewhere in that wretched land there is a cure for a dire disease. With the eccentric crew of an airship called The Wind Breaker, Nita Graus means to find that cure, whatever the price. Skykeep - Several months have passed since Nita Graus left her home in Caldera to soar with the crew of the Wind Breaker, and life is anything but easy. Their prior exploits have earned them quite a reputation among surface-dwellers and made them a perpetual target of the manipulative residents of the fug. Now a new plot could split the crew and ground the Wind Breaker once and for all. Ichor Well - Ever since Nita joined the Wind Breaker crew, the airship's reputation has been growing. The destruction of the mighty dreadnought and the escape from the legendary Skykeep have made the crew the stuff of legend. Alas, legendary heroes always attract worthy villains. Luscious P. Alabaster strives to be just that foe. The Free-Wrench series is an ongoing steampunk adventure from Joseph R. Lallo, author of The Book of Deacon and Big Sigma series.

Steam-powered airships rule the skies in a world blanketed by a toxic fug. These are the continuing adventures of Nita, Lil, Coop, Cap’n Mack, and the rest of the Wind Breaker crew in a series of steampunk adventures that comprise the second half of the main story arc of the Free-Wrench series. The collection includes three full novels: The Calderan Problem - The Wind Breaker earns a safe harbor in Caldera and brings its conflict with it. Cipher Hill - The Wind Breaker Crew goes on the offensive, dead set on dethroning the biggest thorn in their side. Contaminant Six - The fug takes a terrible toll on the Wind Breaker crew, but just as this journey began as a search for a cure, so shall the journey end. It also includes two short stories: Lil and Coop - The tale of how the Cooper siblings came to be a part of the Wind Breaker Crew The New Inspector - The story of how the ship got its surly ship's inspector.

Steam-powered airships rule the skies in a world blanketed by a toxic fug. Join Nita, Lil, Coop, Cap'n Mack, and the rest of the Wind Breaker crew in a steampunk adventure that will leave you reeling.Free-Wrench Collection: Volume 1 combines the first three novels of this exciting steampunk series into one amazing anthology. Here's what you get:Free-Wrench - Beyond the islands of Caldera the world is a vicious place. A terrible calamity has poisoned the land. Those too ruthless or stubborn to die have crafted steam-powered mechanical wonders and taken to the sky. Yet somewhere in that wretched land there is a cure for a dire disease. With the eccentric crew of an airship called The Wind Breaker, Nita Graus means to find that cure, whatever the price.Skykeep - Several months have passed since Nita Graus left her home in Caldera to soar with the crew of the Wind Breaker, and life is anything but easy. Their prior exploits have earned them quite a reputation among surface-dwellers and made them a perpetual target of the manipulative residents of the fug. Now a new plot could split the crew and ground the Wind Breaker once and for all.Ichor Well - Ever since Nita joined the Wind Breaker crew, the airship's reputation has been growing. The destruction of the mighty dreadnought and the escape from the legendary Skykeep have made the crew the stuff of legend. Alas, legendary heroes always attract worthy villains. Luscious P. Alabaster strives to be just that foe.The Free-Wrench series is an ongoing steampunk adventure from Joseph R. Lallo, author of The Book of Deacon and the Big Sigma series.

This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.

The islands of Caldera are a shining jewel in a rather bleak world. A terrible calamity in the past had blanketed much of the world with a toxic "fug." Those who survived were forced to take to the mountains and the skies in wondrous airships. Life has since been a struggle, with only the most ruthless and crafty able to survive. To spare themselves the same fate, the Calderans erected a battery of guns to fend off the airships of the mainland. They isolated themselves from the madness of the world, choosing instead to focus on the pursuits of art and creativity. Few believe the technologically advanced but socially barbarous outsiders have anything to offer. Amanita Graus, though, is hoping that they do. Nita's mother has lost her livelihood and perhaps soon her life to a terrible disease. Already the black sheep of the family for embracing engineering rather than art, Nita resolves to leave the safety of her home and do whatever it takes to find a cure. For a price, the bizarre crew of an airship called The Wind Breaker are willing to grant her a meeting with their mysterious benefactors, and thus a chance to procure the one thing with a chance to save her mother. Free-Wrench follows Nita’s adventures in a steampunk world of airships and lunatics. Helping her in her journey are an eccentric crew of smugglers; the gruff Cap’n Mack, the simple but enthusiastic Lil and Coop, the arrogant marksman Gunner, the surly surgeon Butch, and the irritable mascot Wink. To survive and find what she seeks she’ll need to earn their trust, follow their rules, and meet face to face with the people who pull the strings of their society.