Book picks similar to
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering by John Wordsworth
might-read
no-reviews
programming
tsundoku-nonfiction
Digital Apollo: Human and Machine in Spaceflight
David A. Mindell - 2008
Neil Armstrong responded by switching off the automatic mode and taking direct control. He stopped monitoring the computer and began flying the spacecraft, relying on skill to land it and earning praise for a triumph of human over machine. In Digital Apollo, engineer-historian David Mindell takes this famous moment as a starting point for an exploration of the relationship between humans and computers in the Apollo program. In each of the six Apollo landings, the astronaut in command seized control from the computer and landed with his hand on the stick. Mindell recounts the story of astronauts' desire to control their spacecraft in parallel with the history of the Apollo Guidance Computer. From the early days of aviation through the birth of spaceflight, test pilots and astronauts sought to be more than "spam in a can" despite the automatic controls, digital computers, and software developed by engineers.Digital Apollo examines the design and execution of each of the six Apollo moon landings, drawing on transcripts and data telemetry from the flights, astronaut interviews, and NASA's extensive archives. Mindell's exploration of how human pilots and automated systems worked together to achieve the ultimate in flight -- a lunar landing -- traces and reframes the debate over the future of humans and automation in space. The results have implications for any venture in which human roles seem threatened by automated systems, whether it is the work at our desktops or the future of exploration.
The Art of Software Security Assessment: Identifying and Preventing Software Vulnerabilities
Mark Dowd - 2006
Drawing on their extraordinary experience, they introduce a start-to-finish methodology for "ripping apart" applications to reveal even the most subtle and well-hidden security flaws.
The Medicine
Karen Hitchcock - 2020
In an overcrowded, underfunded medical system, she explores how more of us can be healthier, and how listening carefully to a patient’s experience can be as important as prescribing a pill. These dazzling essays show Hitchcock to be one of the most fearless and illuminating medical thinkers of our time – reasonable, insightful and deeply humane.
The Low Bird
David L. Robbins - 2016
Stranded in a valley teeming with enemy troops, Sol scrambles to survive and evade capture. Pararescueman Bo Bolick has been given just twenty-four hours to find Sol before a US carpet bombing destroys every living thing in the valley, friend or foe.As Bo’s search intensifies, Minh, a young Hanoi woman who entertains the fighters and travelers along the Ho Chi Minh Trail, becomes inextricably caught up in the raging battle between her North Vietnamese troops and the American forces sent to rescue Sol. In the midst of heavy combat, Minh tries to find and understand love for the first time in her life.But the clock is ticking. A curtain of fire is going to descend. The desperate realities of jungle warfare are about to collide with a warrior’s code that says no man will be left behind.
The Fighting 30th Division: They Called Them Roosevelt's SS
Martin King - 2015
In World War II it spent more consecutive days in combat than almost any other outfit. Recruited mainly from the Carolinas and Georgia and Tennessee, they were one of the hardest-fighting units the U.S. ever fielded in Europe. What was it about these men that made them so indomitable? They were tough and resilient for a start, but this division had something else. They possessed intrinsic zeal to engage the enemy that often left their adversaries in awe. Their U.S. Army nickname was the “Old Hickory” Division. But after encountering them on the battlefield, the Germans themselves came to call them “Roosevelt’s SS.”This book is a combat chronicle of this illustrious division that takes the reader right to the heart of the fighting through the eyes of those who were actually there. It goes from the hedgerows of Normandy to the 30th’s gallant stand against panzers at Mortain, to the brutal slugs around Aachen and the Westwall, and then to the Battle of the Bulge. Each chapter is meticulously researched and assembled with accurate timelines and after-action reports. The last remaining veterans of the 30th Division and attached units who saw the action firsthand relate their remarkable experiences here for the first, and probably the last time. This is precisely what military historians mean when they write about “fighting spirit.” There have been only a few books written about the 30th Division and none contained direct interviews with the veterans. This work follows their story from Normandy to the final victory in Germany, packed with previously untold accounts from the survivors. These are the men whose incredible stories epitomize what it was to be a GI in one of the toughest divisions in WWII.
Challenges for Game Designers
Brenda Brathwaite - 2008
Each chapter covers a different topic important to game designers, and was taken from actual industry experience. After a brief overview of the topic, there are five challenges that each take less than two hours and allow you to apply the material, explore the topic, and expand your knowledge in that area. Each chapter also includes 10 -non-digital shorts- to further hone your skills. None of the challenges in the book require any programming or a computer, but many of the topics feature challenges that can be made into fully functioning games. The book is useful for professional designers, aspiring designers, and instructors who teach game design courses, and the challenges are great for both practice and homework assignments. The book can be worked through chapter by chapter, or you can skip around and do only the challenges that interest you. As with anything else, making great games takes practice and Challenges for Game Designers provides you with a collection of fun, thoughtprovoking, and of course, challenging activities that will help you hone vital skills and become the best game designer you can be.
The Warrior's Knife: A 26th Century Murder Mystery
Eric Thomson - 2017
Starships engaged in commerce have replaced the battlecruisers, and much of that commerce flows through free ports established on what was once a disputed frontier. Yet even long after the armistice, the relationship between humans and an unfathomable, easily offended species remains tense. When someone assassinates a Shrehari trade emissary on Aquilonia Station, a human-owned free port dug into the crust of an airless moon, leaving a Commonwealth Navy officer as the sole suspect, everyone fears the worst.An alien envoy killed by a member of the Armed Services is a case for the Commonwealth Constabulary, humanity's interstellar police force. And with galactic peace at stake, the investigation lands on the desk of Chief Superintendent Caelin Morrow.As head of the Rim Sector's internal affairs division, Morrow has one of the more challenging and unpleasant jobs in the Constabulary. She investigates those in authority -- members of the police, the military or government officials. That makes her one of the most disliked if not outright hated cops in the Commonwealth. However, Morrow and her officers are also known as the last of the incorruptibles. They're the ones with nothing left to lose, those who are highly skilled at uncovering and prosecuting malfeasance, no matter how powerful or wealthy their suspects might be. It makes them the ideal investigators to satisfy an angry Shrehari government.But soon after Morrow arrives on Aquilonia to establish the truth, she realizes there is something more ominous behind the Shrehari envoy's assassination than one of the seven deadly sins that usually motivate violent crimes. Was his murder an act of passion, or an act of politics? And what will the results of her investigation mean for the future of humanity's relations with its restive alien neighbor?
Physical Computing: Sensing and Controlling the Physical World with Computers
Dan O'Sullivan - 2004
With a multiple book buying audience, this book doesn't require a specific background or technical experience. It is designed to help make a more interesting connection between the physical world and the computer world. The audience size is comparable to that of the Robot builder market. In addition to this audience, physical computing is also taught at several universities across the US. This book is a great source of information and knowledge for anyone interested in bridging the gap between the physical and the virtual.
Java Network Programming
Elliotte Rusty Harold - 1997
It is a clear, complete introduction to developing network programs (both applets and applications) using Java, covering everything from networking fundamentals to remote method invocation (RMI).
Java Network Programming, 3rd Edition includes chapters on TCP and UDP sockets, multicasting protocol and content handlers, servlets, multithreaded network programming, I/O, HTML parsing and display, the Java Mail API, and the Java Secure Sockets Extension. There's also significant information on the New I/O API that was developed in large part because of the needs of network programmers.
This invaluable book is a complete, single source guide to writing sophisticated network applications. Packed with useful examples, it is the essential resource for any serious Java developer.
UNIX: A History and a Memoir
Brian W. Kernighan - 2019
Brian Kernighan was a member of the original group of Unix developers, the creator of several fundamental Unix programs, and the co-author of classic books like "The C Programming Language" and "The Unix Programming Environment."
Running Linux
Matthias Kalle Dalheimer - 2005
Matt Welsh wrote the original Linux Installation and Getting Started guide; Matthias Dalheimer now leads the KDE Foundation. Their knowledge shows, whether they re talking about system administration, multimedia, or programming. You ll start by getting comfortable and productive: navigating command lines and GUIs; using browsers and office software; even gaming. Then, the authors lead you into the heart of Linux. You ll build kernels, process text, manage startup, troubleshoot X Window video. You ll implement print, file, network, and Internet services. There s even a full chapter on building LAMP application environments. Along the way, the authors introduce a raft of new topics, from encrypted email to groupware -- all with the clarity and accuracy you need to get results. Bill Camarda, from the February 2006 href="http://www.barnesandnoble.com/newslet... Only