Table of Contents

"Aerospace Applications of Artificial Intelligence, James R. Johnson Artificial Intelligence on Wall Street, Roy S. Freedman Computer Reliability, J. J. Stiffler and Dhiraj K. Pradhan Control Functions: Microprogramming, Michael J. Eager Data Flow Modeling, Mehdi T. Harandi Data Repair, John B. Leber Dynamic Memory, V. Rajaraman End-User Computing, Kate M. Kaiser High-Level Synthesis, Raul Camposano Intelligent Computer-Aided Design, David C. Brown Large-Scale Numerical Optimization: Introduction and Overview, Thomas F. Coleman Literal Intelligence of Computers and Documents, Julian Warner Positron Emission Tomography, Mongi Al Abidi and Paul Benjamin Davis Program Verification, James H. Fetzer Reliable Distributed Systems, Tony P. Ng Structured Analysis, Paul T. Ward Study of Geophysical Phenomena Using Computers, William Harbert Technological Substitutions in the Computer Industry, Theodore Modis 3-D Imaging in Medicine, Andreas Pommert, Michael Bomans, Martin Riemer, Ulf Tiede, and Karl Heinz Höhne Tree Structures, Yannis Manolopoulos "