New Releases by David Anthony

Contains a treatment of syntax and semantics, and coverage of several complementary semantic methods, with emphasis on using formal specification. There is brief coverage of underlying theory, and an introduction to action semantics - a new method of specifying semantics.

Software -- Programming Techniques.

Through ancient artifacts and modern science, this richly illustrated handbook traces the development of four domesticated animals—the horse, dog, cow, and cat—important to the human community as pets, major food producers, and powerful work animals.

This book is meant for a first course in computer programming. It uses Pascal as a vehicle for learning programming principles and a methodical approach to procedural computer programming. Data structures are introduced as well.

The History of Man-Powered Flight provides a comprehensive history of man-powered aircraft. This book discusses the flight in early civilizations; Leonardo da Vinci- a scientist among skeptical philosophers; formation of the Man-Powered Aircraft Committee at Cranfield; Kremer Competition- catalyst for worldwide activity, and the first entrant; and United Kingdom "Miscellany” of the 1960s. The topics on man-powered rotorcraft and the persistence of the "bird-men”; "Toucan” and other machines; and future prospects on man-powered flight are also deliberated in this text. This publication is inten.

Between December 1965 and March 1968 AFCRL conducted a series of experimental aerial gravity measurements to determine the feasibility of large scale aerial gravity surveys. This report gives the results of the program and includes a program background, instrumentation description including the four gravimeters tested, upward continuation of gravity methods and evaluation in the test area, data processing procedures including corrections and smoothing methods applied, representative sample profiles, accuracy achieved in terms of profile and mean anomalies, and other aerial gravity tests and studies including helicopter gravity tests, a systems analysis of aerial gravimetry, and gravimetry by means of gradient measurements. (Author).

A number of feasible terrestrial and space applications exist for a sensor capable of measuring gravity gradients from a stationary or moving base. These applications include: aerial, marine, and satellite gravimetry; navigation and guidance; mass detection for location of tunnels and for inspection and evaluation of containers, satellites, and on-site missiles; lunar and planetary potential measurements, and asteroid mass measurements. Several different gradiometer designs can be used for these applications and are briefly reviewed. (Author).

While battling the Pantheon, Superman and Batman learn of the their origin.

A Reprint of ''The Superman-Batman Split!'' Actor Jason Desmond''s dying performance is an attempt to fool Superman and Batman into believing he is two aliens, one hunting the other; but his story rings false and Superman lets Batman in on the hoax, which ends up fooling Supergirl, Batgirl, Robin and Jimmy Olsen anyway.

Ronald Jason, an actor who has only a few weeks of life left after an explosion of ''artificial radioactive element,'' tries to pit Superman and Batman against one another!

Batman and Superman discover the secret of the Cosmic Tree and encounter the aliens who programmed it.

Swordfish, Batman, and Superman all want to free Barracuda from her icy confines.