Book picks similar to
Systems and Software Verification: Model-Checking Techniques and Tools by B. Berard
book-collection
computer
computer-science
science
Test Of Greatness: Britain’s Struggle for the Atom Bomb
Brian Cathcart - 2016
He ordered a superhuman effort to make Britain a nuclear power. Although Britain had been a junior partner in the Manhattan Project which had produced the American bombs, no British scientist had more than partial knowledge of the complex physics involved. The war over, the Americans cut off all help. At a time of daunting economic difficulty and amid the growing tension of the Cold War, the project hurriedly took shape behind a cloak of almost paranoid secrecy and in an atmosphere of constant stringency and shortage. Brian Cathcart’s book ranges over politics, diplomacy, espionage and science, but above all it tells the story of the brilliant young scientist William Penney, his team and their struggle. The men who worked behind the security fences at Aldermaston have been allowed to speak. The tales include fearsome risks, vast resourcefulness, bureaucratic obstruction, naval intransigence and a measure of black humour. The veil is also lifted on the extraordinary contribution of Klaus Fuchs, the Soviet spy. Finally the high drama of the test itself, conducted off the coast of Australia after a naval operation which came close to total fiasco, is recounted in gripping detail. Test of Greatness draws on what at the time the book was published were newly declassified documents. Cathcart also speaks uses primary sources, such as the words of the participants, illustrating and illuminating in vivid, human terms a secret but crucial chapter of post-war British history. Praise for Brian Cathcart: ‘The story of the British bomb mixes science, politics, espionage, Essex and morality. A nation is changed for ever when it decides to become a nuclear power. Brian Cathcart takes this complicated array of factors and makes them rise out of the page and walk to a very wide audience.’ – Sir Peter Hennessy, military historian Brian Cathcart was Assistant Editor of the Independent on Sunday when he wrote Test of Greatness. Since then he has taken up a position at Kingston University London and founded Hacked Off in the aftermath of the tabloid phone-hacking scandal. He has just published his eighth book, The News from Waterloo. His previous works include accounts of the murders of Jill Dando and Stephen Lawrence.
Triassic
Julian Michael Carver - 2020
They are unsure of what happened in space or how they crashed into an uncharted planet. Upon exploration of the new world, they soon realize their destination: The Triassic, the first chapter of the Mesozoic Era. A plan is formulated to escape this terrifying landscape plagued with dinosaurs and prehistoric beasts. The survivors soon discover that there may be an even larger threat looming under the trees than just the dinosaurs, threatening to cut their mission short and trap them all forever in the primitive depths of the Triassic.
Summer Visitors
Susan Sallis - 1988
It was there she and her mother went to recover from a heartrending family tragedy - there she was forced reluctantly into marriage - there she fell into a wild and passionate wartime love. And it was there she saw her children grow and love and cope with the secret legacies the years had left them, until finally they became more than just summer visitors.
The Sarah Winman Collection: WHEN GOD WAS A RABBIT and A YEAR OF MARVELLOUS WAYS
Sarah Winman - 2017
Discover one of the UK's most eloquent and moving writers through her Sunday Times bestselling, critically acclaimed literary sensations.
'Winman's narrative voice is beautifully true' The TimesIf you've never read the phenomenon that is WHEN GOD WAS A RABBIT, now is your chance. It's a book about a brother and sister. It's a book about childhood and growing up, friendships and families, triumph and tragedy and everything in between. More than anything, it's a book about love in all its forms.Then experience the sheer joy of A YEAR OF MARVELLOUS WAYS, a book that Rosamund Lupton described as 'a glorious poem of a novel'. This is a story about Marvellous Ways, an eighty-nine-year-old woman who sits by a creek in Cornwall, waiting for a last adventure. It's about Francis Drake, a young soldier who washes up there, reeling from war and broken-hearted. It's about the magic in everyday life and the lure of the sea, and how we carry on when grief comes snapping at our heels.
Two stories. Two journeys. Two reading experiences you'll never forget.
Windows 10: The Missing Manual
David Pogue - 2015
Windows 10 (a free update to users of Windows 8 or Windows 7) fixes a number of the problems introduced by the revolution in Windows 8 and offers plenty of new features, such as the new Spartan web browser, Cortana voice-activated "personal assistant," new universal apps (that run on tablet, phone, and computer), and more. But to really get the most out of the new operating system, you're going to need a guide.Thankfully, Windows 10: The Missing Manual will be there to help. Like its predecessors, this book from the founder of Yahoo Tech, previous New York Times columnist, bestselling author, and Missing Manuals creator David Pogue illuminates its subject with technical insight, plenty of wit, and hardnosed objectivity for beginners, veteran standalone PC users, new tablet owners, and those who know their way around a network.
The Intelligent Web: Search, Smart Algorithms, and Big Data
Gautam Shroff - 2013
These days, linger over a Web page selling lamps, and they will turn up at the advertising margins as you move around the Internet, reminding you, tempting you to make that purchase. Search engines such as Google can now look deep into the data on the Web to pull out instances of the words you are looking for. And there are pages that collect and assess information to give you a snapshot of changing political opinion. These are just basic examples of the growth of Web intelligence, as increasingly sophisticated algorithms operate on the vast and growing amount of data on the Web, sifting, selecting, comparing, aggregating, correcting; following simple but powerful rules to decide what matters. While original optimism for Artificial Intelligence declined, this new kind of machine intelligence is emerging as the Web grows ever larger and more interconnected.Gautam Shroff takes us on a journey through the computer science of search, natural language, text mining, machine learning, swarm computing, and semantic reasoning, from Watson to self-driving cars. This machine intelligence may even mimic at a basic level what happens in the brain.
Disruptive Possibilities: How Big Data Changes Everything
Jeffrey Needham - 2013
As author Jeffrey Needham points out in this eye-opening book, big data can provide unprecedented insight into user habits, giving enterprises a huge market advantage. It will also inspire organizations to change the way they function."Disruptive Possibilities: How Big Data Changes Everything" takes you on a journey of discovery into the emerging world of big data, from its relatively simple technology to the ways it differs from cloud computing. But the big story of big data is the disruption of enterprise status quo, especially vendor-driven technology silos and budget-driven departmental silos. In the highly collaborative environment needed to make big data work, silos simply don't fit.Internet-scale computing offers incredible opportunity and a tremendous challenge--and it will soon become standard operating procedure in the enterprise. This book shows you what to expect.
Hello World: Being Human in the Age of Algorithms
Hannah Fry - 2018
It’s time we stand face-to-digital-face with the true powers and limitations of the algorithms that already automate important decisions in healthcare, transportation, crime, and commerce. Hello World is indispensable preparation for the moral quandaries of a world run by code, and with the unfailingly entertaining Hannah Fry as our guide, we’ll be discussing these issues long after the last page is turned.
Distributed Operating Systems: Concepts and Design
Pradeep K. Sinha - 1996
Each chapter addresses de-facto standards, popular technologies, and design principles applicable to a wide variety of systems. Complete with chapter summaries, end-of-chapter exercises and bibliographies, Distributed Operating Systems concludes with a set of case studies that provide real-world insights into four distributed operating systems.
Journey to the Center of the Earth
Nicholas Harris - 1999
A three-dimensional journey is conveyed by the use of a window on the cover and cut-outs on each spread to show the Earth's layers. A double gatefold provides the starting point for this fascinating scientific adventure that explores territory never seen by humankind. Dimensions (inches): 10 x 12
Alan Turing: The Enigma
Andrew Hodges - 1983
His breaking of the German U-boat Enigma cipher in World War II ensured Allied-American control of the Atlantic. But Turing's vision went far beyond the desperate wartime struggle. Already in the 1930s he had defined the concept of the universal machine, which underpins the computer revolution. In 1945 he was a pioneer of electronic computer design. But Turing's true goal was the scientific understanding of the mind, brought out in the drama and wit of the famous "Turing test" for machine intelligence and in his prophecy for the twenty-first century.Drawn in to the cockpit of world events and the forefront of technological innovation, Alan Turing was also an innocent and unpretentious gay man trying to live in a society that criminalized him. In 1952 he revealed his homosexuality and was forced to participate in a humiliating treatment program, and was ever after regarded as a security risk. His suicide in 1954 remains one of the many enigmas in an astonishing life story.
Turing's Cathedral: The Origins of the Digital Universe
George Dyson - 2012
In Turing’s Cathedral, George Dyson focuses on a small group of men and women, led by John von Neumann at the Institute for Advanced Study in Princeton, New Jersey, who built one of the first computers to realize Alan Turing’s vision of a Universal Machine. Their work would break the distinction between numbers that mean things and numbers that do things—and our universe would never be the same. Using five kilobytes of memory (the amount allocated to displaying the cursor on a computer desktop of today), they achieved unprecedented success in both weather prediction and nuclear weapons design, while tackling, in their spare time, problems ranging from the evolution of viruses to the evolution of stars. Dyson’s account, both historic and prophetic, sheds important new light on how the digital universe exploded in the aftermath of World War II. The proliferation of both codes and machines was paralleled by two historic developments: the decoding of self-replicating sequences in biology and the invention of the hydrogen bomb. It’s no coincidence that the most destructive and the most constructive of human inventions appeared at exactly the same time. How did code take over the world? In retracing how Alan Turing’s one-dimensional model became John von Neumann’s two-dimensional implementation, Turing’s Cathedral offers a series of provocative suggestions as to where the digital universe, now fully three-dimensional, may be heading next.
Richard Dawkins' God Delusion: A Repentant Refutation
Klaus Nürnberger - 2010
Part I asks: Is evolving Nature all there is – self-generated, self-sustaining, self-contained? Are human beings, as the topmost outgrowth of Nature, responsible to none other but themselves? That is the stance of naturalist and atheist Richard Dawkins. Or is evolving reality derived from, and dependent on, a transcendent Source and Destiny, to whom humans are accountable and whose benevolence reaches out to humans as persons because humans are persons? That is the conviction of the Christian faith. Part II shows that Dawkins’ interpretation of religion is deficient even in evolutionary terms and lacks the objectivity and impartiality of genuine science.Backed with in-depth study and thorough research, Richard Dawkins’ God Delusion: A repentant refutation is a masterfully written work that attempts to provide answers to believers and non-believers by presenting scientific and religious reasoning.