How to Prove It: A Structured Approach


Daniel J. Velleman - 1994
    The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. To help students construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. Previous Edition Hb (1994) 0-521-44116-1 Previous Edition Pb (1994) 0-521-44663-5

Gordon Ramsay's Just Desserts


Gordon Ramsay - 2001
    His methods are classical, his desserts extraordinary, and his flair for teaching the basic building blocks for all 100 of these delicious recipes makes every masterpiece completely achievable. From the first few chapters dealing with simpler methods, like roasting fruit to draw out their natural essence or rolling out classic cookies, Gordon paces cooks, step-by-step, through the more delicate pastry techniques, expanding their range with the confidence to whip souffle s that defy gravity. Desserts are never mandatory, but Gordon's mission to share his passion for flavor makes these treats simply irresistible. Since its original release in the fall of 2001, Gordon Ramsay's Just Desserts has been praised in over 80 publications nationwide, reaching a combined audience of more than 4,700,000 readers. Here is a sampling of the acclaim for the renowned chef's mouth-watering dessert collection."

Learn Spanish With Stories (B1): Fantasmas del Pasado - Spanish Intermediate


Juan Fernández - 2018
    Encuentra fotos de sus padres, de la calle donde jugaba de niño, del colegio donde estudiaba, de la playa donde iba de vacaciones... También encuentra algunas fotos antiguas de María, la chica de la que una vez estuvo enamorado y que hace más de veinte años que no ha visto. Son fantasmas del pasado. Y los fantasmas del pasado a veces vuelven. Learn Spanish by Reading FANTASMAS DEL PASADO is a short story specially written for students with an intermediate level of Spanish. It will help you learn, revise and consolidate the vocabulary and grammar of level B1. Reading short stories like FANTASMAS DEL PASADO is one of the most effective and pleasant ways to learn a Foreign Language. By reading, you can learn vocabulary and grammar structures in context, without memorising lists of isolated words or studying endless grammar rules. Hablar del Pasado This story was originally released as a series of short videos for the online Spanish course HABLAR DEL PASADO. The main purpose of the videos, which feature live narration of the story, was to show the use of the past tenses in context. The story appeared in the course with the original title of Juan y María: una historia del pasado.

The Art of Statistics: How to Learn from Data


David Spiegelhalter - 2019
      Statistics are everywhere, as integral to science as they are to business, and in the popular media hundreds of times a day. In this age of big data, a basic grasp of statistical literacy is more important than ever if we want to separate the fact from the fiction, the ostentatious embellishments from the raw evidence -- and even more so if we hope to participate in the future, rather than being simple bystanders. In The Art of Statistics, world-renowned statistician David Spiegelhalter shows readers how to derive knowledge from raw data by focusing on the concepts and connections behind the math. Drawing on real world examples to introduce complex issues, he shows us how statistics can help us determine the luckiest passenger on the Titanic, whether a notorious serial killer could have been caught earlier, and if screening for ovarian cancer is beneficial. The Art of Statistics not only shows us how mathematicians have used statistical science to solve these problems -- it teaches us how we too can think like statisticians. We learn how to clarify our questions, assumptions, and expectations when approaching a problem, and -- perhaps even more importantly -- we learn how to responsibly interpret the answers we receive. Combining the incomparable insight of an expert with the playful enthusiasm of an aficionado, The Art of Statistics is the definitive guide to stats that every modern person needs.

Cassandra: The Definitive Guide


Eben Hewitt - 2010
    Cassandra: The Definitive Guide provides the technical details and practical examples you need to assess this database management system and put it to work in a production environment.Author Eben Hewitt demonstrates the advantages of Cassandra's nonrelational design, and pays special attention to data modeling. If you're a developer, DBA, application architect, or manager looking to solve a database scaling issue or future-proof your application, this guide shows you how to harness Cassandra's speed and flexibility.Understand the tenets of Cassandra's column-oriented structureLearn how to write, update, and read Cassandra dataDiscover how to add or remove nodes from the cluster as your application requiresExamine a working application that translates from a relational model to Cassandra's data modelUse examples for writing clients in Java, Python, and C#Use the JMX interface to monitor a cluster's usage, memory patterns, and moreTune memory settings, data storage, and caching for better performance

Spare Change


Dustin Stevens - 2017
     It was supposed to have been a celebration. A night out among friends. A chance to celebrate the culmination of ten long years. For the last decade, Kyle Clady has served as a Navy SEAL. He has endured sleepless nights, hellish environments, personal injury, strained relations. He has fought enemies foreign and domestic, and multiple continents. At long last, it is over. He is free to return home to San Diego, to the wife that has endured by his side, to the plans they have made for the future. Little does he know that waiting there for him is an eventuality far worse than anything he ever encountered in the military...

Style: Toward Clarity and Grace


Joseph M. Williams - 1981
    A logical, expert, easy-to-use plan for achieving excellence in expression, Style offers neither simplistic rules nor endless lists of dos and don'ts. Rather, Joseph Williams explains how to be concise, how to be focused, how to be organized. Filled with realistic examples of good, bad, and better writing, and step-by-step strategies for crafting a sentence or organizing a paragraph, Style does much more than teach mechanics: it helps anyone who must write clearly and persuasively transform even the roughest of drafts into a polished work of clarity, coherence, impact, and personality."Buy Williams's book. And dig out from storage your dog-eared old copy of The Elements of Style. Set them side by side on your reference shelf."—Barbara Walraff, Atlantic"Let newcoming writers discover this, and let their teachers and readers rejoice. It is a practical, disciplined text that is also a pleasure to read."—Christian Century"An excellent book....It provides a sensible, well-balanced approach, featuring prescriptions that work."—Donald Karzenski, Journal of Business Communication"Intensive fitness training for the expressive mind."—Booklist(The college textbook version, Style: Ten Lessons in Clarity and Grace, 9th edition, is available from Longman. ISBN 9780321479358.)

Types and Programming Languages


Benjamin C. Pierce - 2002
    The study of type systems--and of programming languages from a type-theoretic perspective--has important applications in software engineering, language design, high-performance compilers, and security.This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.

Soft Skills: The Software Developer's Life Manual


John Z. Sonmez - 2014
    In it, developer and life coach John Sonmez addresses a wide range of important "soft" topics, from career and productivity to personal finance and investing, and even fitness and relationships, all from a developer-centric viewpoint.For most software developers, coding is the fun part. The hard bits are dealing with clients, peers, and managers, staying productive, achieving financial security, keeping yourself in shape, and finding true love. This book is here to help.Soft Skills: The software developer's life manual is a guide to a well-rounded, satisfying life as a technology professional. In it, developer and life coach John Sonmez offers advice to developers on important "soft" subjects like career and productivity, personal finance and investing, and even fitness and relationships. Arranged as a collection of 71 short chapters, this fun-to-read book invites you to dip in wherever you like. A Taking Action section at the end of each chapter shows you how to get quick results. Soft Skills will help make you a better programmer, a more valuable employee, and a happier, healthier person.What's InsideBoost your career by building a personal brandJohn's secret ten-step process for learning quicklyFitness advice to turn your geekiness to your advantageUnique strategies for investment and early retirement

Final Exams: True Crime Cases from Cyril Wecht


Cyril H. Wecht - 2013
    Wecht, M.D., J.D., one of America’s most respected forensic pathologists. Coauthored by crime writer Dawna Kaufmann, Final Exams explores both the technical and the human side of murder. From the heartbreaking case of abducted child, Jessica Lunsford, held captive within shouting distance of her loved ones, to the peculiar story of a murder for hire with a most unlikely victim, Final Exams takes the reader behind the scenes. Secrets about the private lives of both predators and victims are revealed as the authors detail the events that turned rage to tragedy. Fans of CSI will appreciate how Wecht and Kaufmann share the real life process of solving crimes with clues left with the victim.

Amrapali


Adurthi Subba Rao
    Amrapali craved peace; Upagupta’s bearing exuded contentment. Amrapali depended on the adulation of her audience; Upagupta spurned the attentions of the rich and famous. Their stories were different, but the Buddha’s wise teachings linked their lives – and the lessons to be learned from them.

Wolf's Destiny


Lynn Nodima - 2018
    All Janelle wants is to graduate from college, get back to her pack, and find her mate, but werepanthers are hunting her. She escapes to San Antonio, where the werepanthers find her. Out of options, she jumps into vacationing SAPD Detective Nate Rollins’ car. Little does he know his old life is over.Now, he must protect them both from creatures he never knew existed.But things are not as they seem.Nate has a secret even he doesn’t know. A secret that throws them both into more danger.His old life is gone.Can he survive his new one?

Falconer's Law


Jason Manning - 1996
    Setting out across the harsh desert in order to forge a new path to 1837 California, daring mountain man Hugh Falconer leads his band of roughnecks and outcasts through the dangerous land against menacing odds.

Mercenary Warden


Miles Rozak - 2020
    Betrayal will make him a legend. Eleven years after the invasion, the galaxy lives in an uneasy peace and Chandler Vail has been changed by war. A killing machine with no battlefield, now he works for a PMC in Special Operations. But when he’s sent to extract a runaway, and the kid dies at the hands of mysterious hitmen, he tracks the killers to a utopian mega-ship built for the galaxy’s wealthy. What he discovers onboard is nothing short of terrifying. Passengers and crew alike show up dead in gruesome, unexplained ways. Outside access to its hatches are sealed, and all contact with the flight deck’s been lost. The ship is flying to a heading unknown… And every person onboard wants him dead. Descending into a fight for survival, soon he discovers an enemy onboard with shocking ties to his past… And a stranglehold on the galaxy. Mercenary Warden is the first scifi thriller in the Shadow Empire series. If you like the gritty combat of The Last Reaper, the camaraderie of Galaxy's Edge, or the fun of The Mandalorian, you won’t be able to stop reading this new action-packed scifi adventure.

Our Final Invention: Artificial Intelligence and the End of the Human Era


James Barrat - 2013
    Corporations & government agencies around the world are pouring billions into achieving AI’s Holy Grail—human-level intelligence. Once AI has attained it, scientists argue, it will have survival drives much like our own. We may be forced to compete with a rival more cunning, more powerful & more alien than we can imagine. Thru profiles of tech visionaries, industry watchdogs & groundbreaking AI systems, James Barrat's Our Final Invention explores the perils of the heedless pursuit of advanced AI. Until now, human intelligence has had no rival. Can we coexist with beings whose intelligence dwarfs our own? Will they allow us to?