This work is a historical and philosophical study of the programming work carried out by John von Neumann in the period 1945-8. At the heart of the book is an examination of a manuscript featuring the earliest known surviving example of von Neumann’s coding, a routine written in 1945 to ‘mesh’ two sequences of data and intended to be part of a larger program implementing the algorithm now known as mergesort. The text of the manuscript itself, along with a preliminary document describing the code he used to write this program, are reproduced as appendices. The program is approached in three chapters describing the historical background to von Neumann’s work, the significance of the sorting application itself, and the development of the EDVAC, the machine for which the program was written. The subsequent chapters widen the focus again, discussing the subsequent evolution of the program and the crucial topic of subroutines, before concluding by situating von Neumann’s work in a number of wider contexts. The book also offers a unifying philosophical interpretation of von Neumann’s approach to coding.

A NEW YORK TIMES EDITORS’ CHOICE Kevin Moore, once a high-flying Virginia attorney, hits rock bottom after a tumultuous summer leaves him disbarred and separated from his wife. Short on cash and looking for work, he lands in the middle of nowhere with a job at SUBstitution, the world’s saddest sandwich shop. His closest confidants: a rambunctious rescue puppy and the twenty-year-old computer whiz manning the restaurant counter beside him. Kevin’s determined to set his life right again, but the troubles keep coming, including a visit from a mysterious stranger who wanders into the shop armed with a threatening “invitation” to join a multimillion-dollar scam. Before long, Kevin will need every bit of his legal savvy just to stay out of prison. In The Substitution Order, Martin Clark—hailed by Entertainment Weekly as “hands down our best legal-thriller writer”—takes readers on a remarkable tour of the law’s tricks and hidden trapdoors and delivers a wildly entertaining novel that will keep you guessing and rooting for its tenacious hero until the very last page.

Many students, engineers, scientists and researchers have benefited from the practical, programming-oriented style of the previous editions of Programming the Finite Element Method, learning how to develop computer programs to solve specific engineering problems using the finite element method. This new fifth edition offers timely revisions that include programs and subroutine libraries fully updated to Fortran 2003, which are freely available online, and provides updated material on advances in parallel computing, thermal stress analysis, plasticity return algorithms, convection boundary conditions, and interfaces to third party tools such as ParaView, METIS and ARPACK. As in the previous editions, a wide variety of problem solving capabilities are presented including structural analysis, elasticity and plasticity, construction processes in geomechanics, uncoupled and coupled steady and transient fluid flow and linear and nonlinear solid dynamics. Key features: • Updated to take into account advances in parallel computing as well as new material on thermal stress analysis • Programs use an updated version of Fortran 2003 • Includes exercises for students • Accompanied by website hosting software Programming the Finite Element Method, Fifth Edition is an ideal textbook for undergraduate and postgraduate students in civil and mechanical engineering, applied mathematics and numerical analysis, and is also a comprehensive reference for researchers and practitioners. Further information and source codes described in this text can be accessed at the following web sites: • www.inside.mines.edu/~vgriffit /PFEM5 for the serial programs from Chapters 4-11 • www.parafem.org.uk for the parallel programs from Chapter 12

The title of this book contains the words ALGORITHMIC LANGUAGE, in the singular. This is meant to convey the idea that it deals not so much with the diversity of program ming languages, but rather with their commonalities. The task of formal program develop It allows classifying ment proved to be the ideal frame for demonstrating this unity. concepts and distinguishing fundamental notions from notational features; and it leads immediately to a systematic disposition. This approach is supported by didactic, practical, and theoretical considerations. The clarity of the structure of a programming language de signed according to the principles of program transformation is remarkable. Of course there are various notations for such a language. The notation used in this book is mainly oriented towards ALGOL 68, but is also strongly influenced by PASCAL - it could equally well have been the other way round. In the appendices there are occa sional references to the styles used in ALGOL, PASCAL, LISP, and elsewhere.

The contents of this book originate from a collection of selected papers presented at the 9th CIRP International Seminar on CAT held in April, 2005 at Arizona State University, USA. The CIRP plans this seminar every two years, and the book is one in a series of Proceedings on CAT. It contains 33 papers by experts from around the world on subjects that range from theoretical models to practical applications.

This title demonstrates how to develop computer programmes which solve specific engineering problems using the finite element method. It enables students, scientists and engineers to assemble their own computer programmes to produce numerical results to solve these problems. The first three editions of Programming the Finite Element Method established themselves as an authority in this area. This fully revised 4th edition includes completely rewritten programmes with a unique description and list of parallel versions of programmes in Fortran 90. The Fortran programmes and subroutines described in the text will be made available on the Internet via anonymous ftp, further adding to the value of this title.