Volume I covers: JG 1 Oesau, JG 2 Richthofen, JG 3 Udet, JG 4, JG 5 Eismeer, JG 6 Horst Wessel, JG 7 Nowotny, JG 11, JG 26 Schlageter, JG 27, JV 44, JG 51 MAlders, and JG 52.

More than any other technology, cars have transformed our culture. Cars have created vast wealth as well as novel dreams of freedom and mobility. They have transformed our sense of distance and made the world infinitely more available to our eyes and our imaginations. They have inspired cinema, music and literature; they have, by their need for roads, bridges, filling stations, huge factories and global supply chains, re-engineered the world. Almost everything we now need, want, imagine or aspire to assumes the existence of cars in all their limitless power and their complex systems of meanings. This book celebrates the immense drama and beauty of the car, of the genius embodied in the Ford Model T, of the glory of the brilliant-red Mercedes Benz S-Class made by workers for Nelson Mandela on his release from prison, of Kanye West's 'chopped' Maybach, of the salvation of the Volkswagen Beetle by Major Ivan Hirst, of Elvis Presley's 100 Cadillacs, of the Rolls-Royce Silver Ghost and the BMC Mini and even of that harbinger of the end - the Tesla Model S and its creator Elon Musk. As the age of the car as we know it comes to an end, Bryan Appleyard's brilliantly insightful book tells the story of the rise and fall of the incredible machine that made the modern world what it is today.

More than any other technology, cars have transformed our culture. Cars have created vast wealth as well as novel dreams of freedom and mobility. They have transformed our sense of distance and made the world infinitely more available to our eyes and our imaginations. They have inspired cinema, music and literature; they have, by their need for roads, bridges, filling stations, huge factories and global supply chains, re-engineered the world. Almost everything we now need, want, imagine or aspire to assumes the existence of cars in all their limitless power and their complex systems of meanings. This book celebrates the immense drama and beauty of the car, of the genius embodied in the Ford Model T, of the glory of the brilliant-red Mercedes Benz S-Class made by workers for Nelson Mandela on his release from prison, of Kanye West's 'chopped' Maybach, of the salvation of the Volkswagen Beetle by Major Ivan Hirst, of Elvis Presley's 100 Cadillacs, of the Rolls-Royce Silver Ghost and the BMC Mini and even of that harbinger of the end - the Tesla Model S and its creator Elon Musk. As the age of the car as we know it comes to an end, Bryan Appleyard's brilliantly insightful book tells the story of the rise and fall of the incredible machine that made the modern world what it is today.

A facsimile reprint of the original NATOPS flight manual for the F-4J.

There is no part of our bodies that fully rotates be it a wrist or ankle or arm in a shoulder socket, we are made to twist only so far. And yet, there is no more fundamental human invention than the wheel a rotational mechanism that accomplishes what our physical form cannot. Throughout history, humans have developed technologies powered by human strength, complementing the physical abilities we have while overcoming our weaknesses. Providing a unique history of the wheel and other rotational devices, like cranks, cranes, carts, and capstans, Why the Wheel Is Round examines the contraptions and tricks we have devised in order to more efficiently move and move through the physical world. Steven Vogel combines his engineering expertise with his remarkable curiosity about how things work to explore how wheels and other mechanisms were, until very recently, powered by the push and pull of the muscles and skeletal systems of humans and other animals. Why the Wheel Is Round explores all manner of treadwheels, hand-spikes, gears, and more, as well as how these technologies diversified into such things as hand-held drills and hurdy-gurdies. Surprisingly, a number of these devices can be built out of everyday components and materials, and Vogel's accessible and expansive book includes instructions and models so that inspired readers can even attempt to make their own muscle-powered technologies, like trebuchets and ballista. Appealing to anyone fascinated by the history of mechanics and technology as well as to hobbyists with home workshops, Why the Wheel Is Round offers a captivating exploration of our common technological heritage based on the simple concept of rotation. From our leg muscles powering the gears of a bicycle to our hands manipulating a mouse on a roller ball, it will be impossible to overlook the amazing feats of innovation behind our daily devices.

The worlds first operational jet fighter in its variety of types.

A richly illustrated introduction to the engineering triumphs that made America modern

In this age of microchips and deep space probes, it's hard to imagine life before electricity or passenger trains. An astonishing series of engineering innovations paved the way to the twentieth century, and transformed America into the world's mightiest industrial power. The Innovators tells the exciting story of the engineering pioneers whose discoveries so dramatically altered commerce, industry, and world history. The book takes readers into the workshops of America's early engineering geniuses, explaining how they came up with their ideas and later applied them in the marketplace. Devotees of history and technology will appreciate the finely drawn profiles of America's technical wizards, from the famous—including Robert Fulton, the inventor of the steamboat; Samuel F.B. Morse, the inventor of the telegraph; and Thomas Edison, inventor of the first electrical power network—to the lesser known, such as J. Edgar Thompson, who built the Pennsylvania Railroad.

• From the author of the critically acclaimed The Tower and the Bridge
• Features over 80 illustrations of the engineers and their inventions

DAVID P. BILLINGTON (Princeton, New Jersey), a professor of civil engineering at Princeton University, is the author of The Tower and the Bridge, and Robert Maillart's Bridges: The Art of Engineering, which won the 1979 Dexter Prize as the outstanding book on the history of technology.

In this new edition of Greek and Roman Technology, the authors translate and annotate key passages from ancient texts to provide a history and analysis of the origins and development of technology in the classical world. Sherwood and Nikolic, with Humphrey and Oleson, provide a comprehensive and accessible collection of rich and varied sources to illustrate and elucidate the beginnings of technology. Among the topics covered are energy, basic mechanical devices, hydraulic engineering, household industry, medicine and health, transport and trade, and military technology. This fully revised Sourcebook collects more than 1,300 passages from over 200 ancient sources and a diverse range of literary genres, such as the encyclopaedic Natural History of Pliny the Elder, the poetry of Homer and Hesiod, the philosophies of Plato, Aristotle, and Lucretius, the agricultural treatises of Varro, Columella, and Cato, the military texts of Philo of Byzantium and Aeneas Tacticus, as well as the medical texts of Galen, Celsus, and the Hippocratic Corpus. Almost 100 line drawings, indexes of authors and subjects, introductions outlining the general significance of the evidence, notes to explain the specific details, and current bibliographies are included. This new and revised edition of Greek and Roman Technology will remain an important and vital resource for students of technology in the ancient world, as well as those studying the impact of technological change on classical society.

This book provides an overview of metal casting technologies starting from its historical evolution to casting design strategies that are being followed today in foundries and other metal casting industries. The details of most of the casting processes and their applications are also included for completeness. Foundry practices such as mold materials and molding techniques, pattern making and cores, furnaces, pouring, cleaning and heat treatment etc. are discussed in detail. Finally, current practices in casting design are demonstrated. Further developments in the field through computational methods and virtual reality are also described.

Many different types of figureheads are pictured in color and b/w photos with a fascinating historical text that explains their use and the sculptors who made them. Figurehead lions, dragon heads, and human forms are primarily from the nineteenth century. Court sculptors and independent figurehead carvers are introduced whose work appears on royal pleasure craft.

This book presents extensive information related to the history of IUTAM. The initial chapters focus on IUTAM's history and selected organizational aspects. Subsequent chapters provide extensive data and statistics, while the closing section showcases photos from all periods of the Union's history. The history of IUTAM, the International Union on Theoretical and Applied Mechanics, began at a conference in 1922 in Innsbruck, Austria, where von Karman put forward the idea of an international congress including the whole domain of applied mechanics. In 1946 IUTAM was then formally launched in Paris/France. IUTAM has since time organized more than 24 world congresses and 380 symposia, representing all fields of mechanics and highlighting advances by prominent international researchers. The efforts of IUTAM and its about 50 member countries serve to promote the mechanical sciences and the advancement of human society, addressing many key challenges. In this context, IUTAM preserves important traditions while at the same time recognizing new challenges and adapting its structures and processes accordingly. The first edition of this book was published in 1988. This new book now offers an updated and completely revised edition reflecting the substantial developments in the interim.

The Oxford Handbook of Philosophy of Technology gives readers a view into this increasingly vital and urgently needed domain of philosophical understanding, offering an in-depth collection of leading and emerging voices in the philosophy of technology. The thirty-two contributions in this volume cut across and connect diverse philosophical traditions and methodologies. They reveal the often-neglected importance of technology for virtually every subfield of philosophy, including ethics, epistemology, philosophy of science, metaphysics, aesthetics, philosophy of language, and political theory. The Handbook also gives readers a new sense of what philosophy looks like when fully engaged with the disciplines and domains of knowledge that continue to transform the material and practical features and affordances of our world, including engineering, arts and design, computing, and the physical and social sciences. The chapters reveal enduring conceptual themes concerning technology's role in the shaping of human knowledge, identity, power, values, and freedom, while bringing a philosophical lens to the profound transformations of our existence brought by innovations ranging from biotechnology and nuclear engineering to artificial intelligence, virtual reality, and robotics. This new collection challenges the reader with provocative and original insights on the history, concepts, problems, and questions to be brought to bear upon humanity's complex and evolving relationship to technology.

Samuel Smiles published his "Lives of the Engineers" in 1862, presenting engineers as heroic characters, conquering nature and often overcoming impossible problems on their way to success. He also invented much of it, so while an interesting historical document, it must be taken with a pinch of salt. Anthony Burton has turned his attention to a new book collating the lives of the great engineers of the 18th and 19th centuries, the extraordinary men who made the industrial revolution possible. This definitive study investigates the common themes that run between each man's story, and how they learned from one another, truly standing on the shoulders of giants. This book presents ten incredible engineers: Jack Metcalf, James Brindley, John Smeaton, William Jessop, John Rennie, Thomas Telford, James Watt, Richard Trevithick, George and Robert Stephenson, and Isambard Brunel.

How did the popularity of underwear in the twelfth century lead to the invention of the printing press?
How did the waterwheel evolve into the computer?
How did the arrival of the cannon lead eventually to the development of movies?

In this highly acclaimed and bestselling book, James Burke brilliantly examines the ideas, inventions, and coincidences that have culminated in the major technological advances of today. With dazzling insight, he untangles the pattern of interconnecting events: the accidents of time, circumstance, and place that gave rise to the major inventions of the world.
Says Burke, "My purpose is to acquaint the reader with some of the forces that have caused change in the past, looking in particular at eight innovations -- the computer, the production line, telecommunications, the airplane, the atomic bomb, plastics, the guided rocket, and television -- which may be most influential in structuring our own futures....Each one of these is part of a family of similar devices, and is the result of a sequence of closely connected events extending from the ancient world until the present day. Each has enormous potential for humankind's benefit -- or destruction."
Based on a popular TV documentary series, "Connections" is a fascinating scientific detective story of the inventions that changed history -- and the surprising links that connect them.

This volume brings together a selection of key papers by this soil mechanics pioneer. The papers have been selected on the basis of their importance in the development of soil mechanics and to highlight the nature and range of subjects that Bishop investigated during the thirty-seven years of his career. Bishop's most influential paper was presented at an ASCE (American Society of Civil Engineers) conference in Boulder, Colorado, in 1960, and while it made a big impression at the time, it is now in danger of disappearing from sight. In addition, two of Bishop's very significant papers were published in the late 1970s in the Philosophical Transactions of the Royal Society, not normal reading for the soil mechanics fraternity, and thus became known to only a few people. That has remained the case to this day, and the fact that these two papers have not been republished was the initial motivation for creating this volume. In addition, it is nearly 40 years since Bishop retired from his professorial position at Imperial College and a fitting time to remember Bishop with both a biography, The Bishop Method, and this volume of his papers. In addition to the Bishop papers, there is a paper by Laurie Wesley and Richard Pugh reflecting their research with Bishop. Separate papers were to have been written after the completion of their PhDs, with Bishop as the lead author, but because of his illness this didn't happen. The opportunity has now been taken to present the comprehensive research in these papers, as a tribute to their supervisor and mentor.

Militarizing Outer Space explores the dystopian and destructive dimensions of the Space Age and challenges conventional narratives of a bipolar Cold War rivalry. Concentrating on weapons, warfare and vio lence, this provocative volume examines real and imagined endeavors of arming the skies and conquering the heavens. The third and final volume in the groundbreaking European Astroculture trilogy, Militarizing Outer Space zooms in on the interplay between security, technopolitics and knowledge from the 1920s through the 1980s. Often hailed as the site of heavenly utopias and otherworldly salvation, outer space transformed from a promised sanctuary to a present threat, where the battles of the future were to be waged. Astroculture proved instrumental in fathoming forms and functions of warfare's futures past, both on earth and in space. The allure of dominating outer space, the book shows, was neither limited to the early twenty-first century nor to current American space force rhetorics.

Tracing the story of computing from Babylonian counting boards to smartphones, this inspiring textbook provides a concise overview of the key events in the history of computing, together with discussion exercises to stimulate deeper investigation into this fascinating area. Features: provides chapter introductions, summaries, key topics, and review questions; includes an introduction to analogue and digital computers, and to the foundations of computing; examines the contributions of ancient civilisations to the field of computing; covers the first digital computers, and the earliest commercial computers, mainframes and minicomputers; describes the early development of the integrated circuit and the microprocessor; reviews the emergence of home computers; discusses the creation of the Internet, the invention of the smartphone, and the rise of social media; presents a short history of telecommunications, programming languages, operating systems, software engineering, artificial intelligence, and databases.

This highly acclaimed study approaches the space race as a problem in comparative public policy. Drawing on published literature, archival sources in both the United States and Europe, interviews with many of the key participants, and important declassified material, such as the National Security Council's first policy paper on space, McDougall examines U.S., European, and Soviet space programs and their politics. Opening with a short account of Nikolai Kibalchich, a late nineteenth-century Russian rocketry theoretician, McDougall argues that the Soviet Union made its way into space first because it was the world's first "technocracy"--which he defines as "the institutionalization of technological change for state purpose." He also explores the growth of a political economy of technology in both the Soviet Union and the United States.

All life on earth is dependent on energy from the sun, but one species has evolved to be especially efficient in tapping that supply. This is the story of the human species and its dedicated effort to sustain and elevate itself by making the earth s stores of energy its own. A story of slow evolutionary change and sharp revolutionary departures, it takes readers from the origins of the species to our current fork in the road.

With a winning blend of wit and insight, Alfred W. Crosby reveals the fundamental ways in which humans have transformed the world and themselves in their quest for energy. When they first started, humans found fuel much like other species in the simple harvesting of wild plants and animals. A major turn in the human career came with the domestication of fire, an unprecedented achievement unique to the species. The greatest advantage from this breakthrough came in its application to food. Cooking vastly increased the store of organic matter our ancestors could tap as food, and the range of places they could live. As they spread over the earth, humans became more complicated harvesters, negotiating alliances with several other species plant and animal leading to the birth of agriculture and civilizations. For millennia these civilizations tapped sun energy through the burning of recently living biomass wood, for instance. But humans again took a revolutionary turn in the last two centuries with the systematic burning of fossilized biomass. Fossil fuels have powered our industrial civilization and in turn multiplied our demand for sun energy. Here we are then, on the verge of exceeding what the available sources of sun energy can conventionally afford us, and suffering the ill effects of our seemingly insatiable energy appetite. A found of the field of global history, Crosby gives a book that glows with illuminating power."

The definitive story of a game so great, even the Cold War couldn't stop itTetris is perhaps the most instantly recognizable, popular video game ever made. But how did an obscure Soviet programmer, working on frail, antiquated computers, create a product which has now earned nearly 1 billion in sales? How did a makeshift game turn into a worldwide sensation, which has been displayed at the Museum of Modern Art, inspired a big-budget sci-fi movie, and been played in outer space?A quiet but brilliant young man, Alexey Pajitnov had long nurtured a love for the obscure puzzle game pentominoes, and became obsessed with turning it into a computer game. Little did he know that the project that he laboured on alone, hour after hour, would soon become the most addictive game ever made.In this fast-paced business story, reporter Dan Ackerman reveals how Tetris became one of the world's first viral hits, passed from player to player, eventually breaking through the Iron Curtain into the West. British, American, and Japanese moguls waged a bitter fight over the rights, sending their fixers racing around the globe to secure backroom deals, while a secretive Soviet organization named ELORG chased down the game's growing global profits. The Tetris Effect is an homage to both creator and creation, and a must-read for anyone who's ever played the game- which is to say everyone.

Home Fires tells the fascinating story of how changes in home heating over the nineteenth century spurred the growth of networks that helped remake American society. Sean Patrick Adams reconstructs the ways in which the "industrial hearth" appeared in American cities, the methods that entrepreneurs in home heating markets used to convince consumers that their product designs and fuel choices were superior, and how elite, middle-class, and poor Americans responded to these overtures. Adams depicts the problem of dwindling supplies of firewood and the search for alternatives; the hazards of cutting, digging, and drilling in the name of home heating; the trouble and expense of moving materials from place to place; the rise of steam power; the growth of an industrial economy; and questions of economic efficiency, at both the individual household and the regional level. Home Fires makes it clear that debates over energy sources, energy policy, and company profit margins have been around a long time. The challenge of staying warm in the industrializing North becomes a window into the complex world of energy transitions, economic change, and emerging consumerism. Readers will understand the struggles of urban families as they sought to adapt to the ever-changing nineteenth-century industrial landscape. This perspective allows a unique view of the development of an industrial society not just from the ground up but from the hearth up.

ThisvolumehasitsoriginsinameetingheldatMicrosoftResearch,Cambridge,in April2009tocelebrateTonyHoare's75thBirthday(actually11Jan2009). Allthe technicalpapersexceptforthosewrittenbyAbramsky,Jackson,JonesandMeyer arebased-sometimesclosely,sometimesnot-onpresentationsgivenatthatme- ing. TheideaforthemeetingaroseinconversationsbetweenourselvesandAndrew HerbertofMicrosoft,whohostedatrulymemorableandhappyevent. ThemeetingwasorganisedbyourselvesandKenWood,withthe?nancials- portofMicrosoftResearchandFormalSystems(Europe)Ltd,andheldovertwo days. We wouldlike to recordparticularthanksto Angela Still of Microsoftfor makingallthelocalarrangementsatCambridgeandmuchmore:themeetingwould nothavehappenedwithouther. Whilethemajorityofthepapersinthisvolumearetechnical,weaskedauthorsto re?ectonthein?uenceofHoare'sworkontheirown?eldsandtomakeappropriate remarksonit. Allthetechnicalpaperswererefereed. DiscussionswithWayneWheelerofSpringerinspiredthetwoofustowritethe scienti?cbiographyofHoarethatisthe?rstpaperinthisvolume. Thoughwehave bothknownTonywellformanyyears,wewereamazedathowmanydiscoveries abouthimwemadeduringtheprocessofwritingthisarticle. WewouldlikethankWayneandhisassistantSimonReesfortheirhelpinprep- ingthisvolumeaswellastheirpatience. Muchoftheworkingatheringthepapers, ensuringconsistencyofLaTeXstyles,etc. ,wasdonebyLucyLiofOxfordUniv- sityComputingLaboratoryandwethankherwarmly. Tragically,KenWood'swifeLisadiedafteralongillnessinSeptember2009. Wededicatethisvolumetohermemory. January2010 CliffJones BillRoscoe ix Contents 1 Insight,InspirationandCollaboration...1 C. B. JonesandA. W. Roscoe 2 FromCSPtoGameSemantics...33 SamsonAbramsky 3 OnMereologiesinComputingScience...47 DinesBjorner 4 Roles,Stacks,Histories:ATripleforHoare...71 Johannes Borgstrom, .. Andrew D. Gordon, andRiccardoPucella 5 ForwardwithHoare...101 MikeGordonandHel 'ene ' Collavizza 6 ProbabilisticProgrammingwithCoordination...123 HeJifeng 7 TheOperationalPrincipleandProblemFrames...143 MichaelJackson 8 TheRoleofAuxiliaryVariablesintheFormal DevelopmentofConcurrentPrograms...167 C. B. Jones 9 AvoidaVoid:TheEradicationofNullDereferencing...189 BertrandMeyer,AlexanderKogtenkov,andEmmanuelStapf 10 UnfoldingCSP...213 MikkelBundgaardandRobinMilner xi xii Contents 11 Quicksort:CombiningConcurrency,Recursion, andMutableDataStructures...2 29 DavidKitchin,AdrianQuark,andJayadevMisra 12 TheThousand-and-OneCryptographers...255 A. K. McIverandC. C. Morgan 13 On Process-AlgebraicExtensions of Metric TemporalLogic...283 ChristophHaase,Joel .. Ouaknine,andJamesWorrell 14 FunwithTypeFunctions...301 OlegKiselyov,SimonPeytonJones,andChung-chiehShan 15 OnCSPandtheAlgebraicTheoryofEffects...333 RobvanGlabbeekandGordonPlotkin 16 CSPisExpressiveEnoughfor ...371 A. W. Roscoe 17 TheTokeneerExperiments...405 JimWoodcock,EmineGokc .. ,eAydal,andRodChapman Chapter1 Insight,InspirationandCollaboration C. B. JonesandA. W. Roscoe Abstract TonyHoare'smanycontributionstocomputingsciencearemarkedby insightthatwasgroundedinpracticalprogramming. Manyofhispapershavehada profoundimpactontheevolutionofour?eld;theyhavemoreoverprovidedasource ofinspirationtoseveralgenerationsofresearchers. Weexaminethedevelopmentof hisworkthroughareviewofthedevelopmentofsomeofhismostin?uentialpieces ofworksuchasHoarelogic,CSPandUnifyingTheories. 1. 1 Introduction To many who know Tony Hoare only through his publications, they must often looklikepolishedgemsthatcomefromamindthatrarelymakesfalsesteps,nor evenperhapshastoworkattheircreation. Assooften,thisimpressionisafurther complimenttosomeonewhoactuallyaddstoveryhardworkandmanydiscarded attempts the ?nal polish thatmakes complexideas relatively easy for the reader tocomprehend. Asindicatedonpagexiof[HJ89],hisideastypicallygothrough manyrevisions. ThetwoauthorsofthecurrentpapereachhadthehonourofTonyHoaresuperv- ingtheirdoctoralstudiesinOxford. Theyknowat?rsthandhiskindandgenerous styleandwillcountitasanachievementifthispapercanconveysomethingofthe workingmethodsofsomeonebigenoughtoeschewcompetitionandpointscoring. Indeedit willbe apparentfromthe followingsectionshowoften,havingstarted somenewwayofthinkingorexcitingideas,hehappilyleavestheirexplorationand developmenttoothers. Wehavebothbene?tedpersonallyfromthis. C. B. Jones( ) SchoolofComputingScience,NewcastleUniversity,UK e-mail:cliff. jones@ncl. ac. uk A. W. Roscoe OxfordUniversityComputingLaboratory,UK e-mail:Bill. Roscoe@comlab. ox. ac. uk C. B. Jonesetal. (eds. ),Re?ectionsontheWorkofC. A. R.