Camp. & Marhs. wrfh Apple Vol. IO, No. 2, pp. 191-205, 1984 Pergamon Press Ltd. Printed I” the U.S.A

BOOK REPORTS

The Book Reports section is a regular feature of Computers and Mathematics with Applications. It is an unconventional section. The Editors decided to break with the long standing custom of publishing either lengthy and discursive reviews of a few books, or just a brief listing of titles. Instead, we decided to publish every important material detail concerning those books submitted to us by publishers, which we judge to be of potential interest to our readers. Hence, breaking with custom, we also publish a complete table of contents for each such book, but no review of it as such. We welcome our readers comments concerning this enterprise. Publishers should submit books intended for review to the Editor-in-Chief,

Prof. Ervin Y. Rodin Box 1040

Washington University St. Louis

MO 63130, U.S.A.

191

192 Book Reports

Intermediate Statistical :lethods and Applications, A Computer Package Approach,

Mark L. Berenson, David M. Levine, Yatthew Goldstein. Prentice-Hall, 1983.

579 pages. 529.95. Contents:

Part I. Preliminary Concepts

1. Fundamental Satistical Methods: A Reference and Review

2. Introduction to Computer Packages Part II. Linear Models: Experimental Design and Regression Analysis

3. One-Way Anova: Completely Randomized Design

4. Multiple Comparisons and Contrasts

5. Two-Way Anova: Randomized Complete Block Design

6. Two-Way Anova With Equal Observations in Each Cell

7. Analysis of Nonorthogonal Factorial Designs

8. Simple Linear Regression and Correlation Anslysis

9. A Matrix Approach to Simple Linear Regression

10. Multiple Regression: An Introduction And Basic Concepts

11. Polynomial and Other Regression Models 12. The Interrelationship Between Regression And Experimental Design:

A Comparison of Fitted Models 13. Selection of an Appropriate Regression Model 14. Violating the Assumptions and Other Problems in Regression Analyeis

Part III. Multivariate Methods

15. Dimensionality REduction: Principal Components and Factor Analysis

16. Multidimensional Scaling and Cluster Analysis 17. Cross-Classified Categorical Data 18. Discriminant Analysis

Computer-System Requirements, Kenneth J. Thurber, Peter C. Patton. D. C. Heath

and Company, 1983. 115 pages. $15.95. Contents:

1. The Architectural Process and Its Relationship to Requirement Studies

2. System Requirements

3. General-Purpose Systems

4. Functional-Requirements Analysis for a Large User Group

5. A Specific-Application Requirement Analysis

6. Selection Process

7. An Interim-Successor Architecture Design 8. Requirements-Oriented Design of Data-Processing Networks

9. Local-Government Information-Systems Requirements and Criminal-Justice

Data Bases 10. A Specialized Microprocessor-Based System for Archeological-Data

Capture Requirements

Introduction to Computers, Elias M. Awad. Prentice-Hall, Inc., 1983. 491 pages.

$19.95. Contents:

I. Information Systems and Computer Fundamentals

1. The Systems Concept and Computer Fundamentals

2. Introduction to the Computer

3. The Computer: Past, Present, Future

4 . Computer Classifications and Processing Systems

II. Computer Structure and Organization

5. The Central Processing Unit and Data Representation

6. Input to the Computer

7. Output from the Computer

8. Mass Storage and File Organization 9. Data Communication 10. Data Base and Distributed Computing

III. Analysis and Design of Computer-Based Business Applications 11. Systems Analysis 12. Systems Design and Implementation

Book Reports 193

The Theorv And Applications of Graphs (Proceedings of the Fourth International Conference on the Theory and Applications of Graphs), Ed. by G. Chartrand,

Y. Alavi, D. L. Goldsmith, L. Lesniak-Foster, D. R. Lick. John Wiley and

Sons, 1981. 611 pages. $22.00. Contents:

J.

A.

C.

D.

L.

N.

G.

G.

R.

J.

A.

F.

S.

M.

G.

G.

G.

A.

P.

F.

F.

R.

D.

D.

R.

D I .

P.

R.

0.

F.

L.

J.

Akiyama and F. Harary A Graph and Its Complement With Specified Properties VII: A Survey

F. Alameddine Directed Graphs and Convergence

Bailey, J. Kennedy, and E. Palmer

Points by Degree and Orbit Size in Chemical Trees, I

Bauer, F. Boesch, C. Suffel, and R. Tindell Connectivity Extremal Problems and the Design of Reliable Probabilistic

Networks W. Beineke and J. W. Moon (31 Bipartite Tournaments and Scores

L. Biggs Covering Biplanes

S. Bloom, A. Gewirtz, J. W. Kennedy, and P. J. Wexler Eodetmdromes: A Graph-Theoretical Tool for Linguistics

S. Bloom, J. W. Kennedy, and L. V. Quintas Distance Degree Regular Graphs Bolze and H. Harborth

The Ramsey Number r(Kq - x,K5)

A. Bondy Integrity in Graph Theory Bouchet Covering Triangulations with Folds Buckley and L. Superville The Ajointed Number and Graph Homomorphism Problems

A. Burr, P. Erdos, R. J. Faudree, C. C. Rousseau, and R. H. Schelp

Ramsey-Minimal Graphs for Matchings Capobianco Collinearity, Distance, and Connectedness of Graphs Chartrand, R. J. Gould, A. D. Polimeni, and C. E. Wall Bigraphical Sets Chartrand and E. A. Nordhaus

Graphs Hamiltonian-Connected From a Vertex Chartrand, A. D. Polimeni, C. C. Rousseau, J. Sheehan, and M. J. Stewart On Star-Book Ramsey Numbers

G. Chetwynd and R. J. Wilson Snarks and Supersnarks 2. Chinn, F. R. K. Chmg, P. Erdos, R. L. Graham 3n the Bandwidths of a Graph and Its Complement R. I:. Chung

Some Problems and Results in Labelings of Graphs R. K. Chung, D. Coppersmith, and R. L. Graham On Trees Containing All Small Trees J. Cook

?lulti-Embeddings and Generalized Thickness Cvetkovic

A Project for Using Computers in Further Development of Graph Theory Duffus, R. J. Bould, and M. S. Jacobson Forbidden Subgraphs and the Hamiltonian Theme

Entringer Girth of Cubic Graphs with Annular Symmetry Erdos Problems and Results in Graph Theory Erdos and S. Schuster Existence of Complementary Graphs with Specified Independence Numbers

J. Faudree, C. C. Rousseau, and R. II. Schelp

Generalizations of a Ramsey Result of Chvatal

Frank On P,andom Planar Graphs

Harary Generalized Ramsey Theory I to XIII: Achievement and Avoidance Numbers

B. Hopkins and W. T. Trotter A Bound on the Interval Number of a Complete Multipartite Graph W. Kennedy

Icycles - I

194

R.

R,

U.

L.

C.

R.

A.

G.

2.

P.

P.

D.

M.

C.

C.

Book Reports

J. Kimble, Jr. Existence of Graphs Where Almost Every Edis is Pseuodosimilar J. Kimble, Jr. and A. J. Schwenk On Universal Caterpillars Krusenstjerna-Hofstrom and B. Toft Some Remarks on Hadwiger's Conjecture and Its Relation to a Conjecture of Lovasz Lesniak-Foster and R. Ringeisen Decision Points in Mission Networks M. Mynhardt A Generalization of a Theorem of Blanche Descartes J. Opsut and F. S. Roberts On the Fleet Maintenance, Mobile Radio Frequency, Task Assignment, and Traffic Phasing Problems Il. Polimeni, H. J. Straight, and J. Yellen Arrowing Results for Trees Versus Complete Graphs Ringel A Nine Color Theorem for the TONS and the Klein Bottle Skupien On Homogeneously Traceable Nonhamiltonian Digraphs and Oriented Graphs J. Slater Centrality of Paths and Vertices in a Graph: Cores and Pits K. Stockmeyer Which Reconstruction Results are Significant? P. Sumner Subtrees of a Graph and the Chromatic Number M. Syslo Cn Some Problems Related to Fundamental Cycle Sets of a Graph Thomassen Landau's Characterization of Tournament Score Sequences Zamfirescu Local and Global Characterizations of Middle Digraphs

Dynamic Programming, Models and Applications, Eric V. I)enardo. Prentice-Hall, 1982. 227 pages. $26.95.

Contents: 1. Introduction to Sequential Decision Processes 2. The Prototype Sequential Decision Process 3. Allocation, Marginal Analysis, and Lagrange Multipliers 4. Stages, Grids, and Discretizing Control Problems

5. Production Control and Network Flow 6. A LMarkov Decision Model 7. Inventory Control: (s,S)-Policies a. A Discounted Markov Decision Model

The Architecture of Pipelined Computers, Peter M. Kogge. McGraw-Hill, Inc., 1981. 334 pages. $27.95.

Contents; 1. Introduction 2. Hardware Design and Stage Cascading 3. Timing, Control, and Performance 4. Static Pipelined Systems-Vector Processors 5. The Programming of Pipelined Vector Processors 6. Pipelining in SISD Machine Designs 7. Future Trends

Elementary Computability, Formal Languages, and Automata, Robert :IcNaughton.

Prentice-Hall, Inc., 1982. 400 pages. $24.95.

Contents: 1. The Concept of Algorithm 2. Turing Machines 3. The Foundational Programming Languages 4. Computable Functions 5. Godel Numbering and Church's Thesis 6. Unsolvable Problems 7. Context-Free Grammars for Formal Languages

Book Reports 195

a. Parsing

9. Regular Languages and Finite Automata

Appendix I. Euclidean Algorithm: Correctness Proof

Appendix II. Labyrinth Algorithm: Correctness Proof

Appendix III. Basic Issues of Formal Languages

Appendix IV. Critique of Algorithms: Computational Complexity

Appendix V. Proofs by Mathematical Induction

Appendix VI. The Diagonal Method

Combinatorial Optimization: Algorithms and Complexity, C. H. Papadimitriou,

K. Steiglitz. Prentice-Hall, Inc., 1982. 496 pages.

Contents:

1. 2.

3. 4.

5. 6.

7. 8.

9. 10.

11. 12. 13. 14. 15. 16. 17. 18. 19.

Optimization Problems The Simplex Algorithm

Duality Computational Considerations for the Simplex Algorithm

The Primal-Dual Algorithm Primal-Dual Algorithms for &ax-Flow and Shortest Path: Ford-Fulkerson

and Dijkstra Primal-Dual Algorithms for Min-Cost Flow Algorithms and Complexity

Efficient Algorithms for the Max-Flow Problem Algorithms for Matching

Weighted Matching Spanning Trees and Matroids

Integer Linear Programming

A Cutting-Plane Algorithm for Integer Linear Programs NP-Complete Problems

More About NP-Completeness Approximation Algorithms

Branch-and-Bound and Dynamic Programming Local Search

Computer Applications in the Earth Sciences, An Update of the 7Os, Daniel F. xerriam.

Plenum Press, 1981. 385 pages. $45.00

Contents: Systems Behavior and Geoscience Problem-Solving, by J. C. Griffiths Developments at the Man-Machine Interface, by D. R. McIntyre Computers as an Aid in Mineral-Resource Evaluation, by F. P. Agterberg Quantitative Biostratigraphy, 1830-1980, by J. C. Brower Computers in Geological Photointerpretation, By K. L. Bums Looking Harder and Finding Less-Use of the Computer in Petroleum Exploration,

by J. C. Davis Use of Computers in Seismic Reflection Prospecting, by M. B. Dobrin Regional Mineral and Fuel Resource Forcasting-a Major Challenge and

Opportunity for Mathematical Geologists, by 3. W. Harbaugh Computers in Oceanography (abstract), by W. W. Hay

Computer Applications in Exploration and Mining Geology: Ten Years of Progress, by G. S. Koch, Jr.

Some Developments in Computer Applications in Petrology, by R. W. Le Maitre

Stratigraphic Analysis: Decades of Revolution (1970-1979) and Refinement

(1980-1989), by C. J. Mann

Computer Methods for Geochemical and Petrologic Mixing Problems, by A. T. Miesch

Computer as a Research Tool in Paleontology, by D. M. Raup The Computer in Paleoecology, by R. A. Reyment The Future of Information Systems in the Earth Sciences, by P. G. Sutterlin Trends in Computer Applications in Structural Geology: 1969-1979, by

E. H. T. Whitten

A Forecast for Use of Computers by Geologists in the Coming Decade of the 8Os, by D. F. Merriam

Lecture Notes in Medical Informatics 14, Medical Informatics, An Introduction, Ed. D. A. B. Lindberg and P. L. Reichertz. Springer-Verlag, 1981. 247 pages.

Contents: 1. Information Processing in Medicine 2. Informatics 3. Classification 4. Medical Linguistics 5. Subfields of Medical Informatics 6. Special Applications

196 Book Reports

Formal Specification and Software Development, D. Bjorner, C. B. Jones. Prentice-Hall, Inc., 1982. 501 pages. $32.00.

Contents: I. Formal Speaification Meta-Language

1. Main Approaches to Formal Specifications 2. The Meta-Language 3. Mathematical Foundations

II. VDM and Programming Languages 4. Modelling Concepts of Programming Languages 5. More on Exception Mechanism 6. ALGOL 60 7. Pascal a. Compiler Design 9. Rigorous Development of Interpreters & Compilers

III. VDM and Other Systems 10. Program Design by Data Refinement 11. Stepwise Transformation of Software Architectures 12. Formalization of Data Models 13. Realization of Database Management Systems

Resource Management Concepts for Large Systems, Rajan Suri. Pergamon Press, 1981. 83 pages. $14.50.

Contents: 1. Introduction 2. Concepts of Resource Management 3. Existence of Decentralized Solutions 4. Solution Algorithms for the Resource Management Problem 5. Applications of Resource Management Techniques 6. Conclusions: Some New Directions for Solving Large-Scale

Systems Problems

Introduction to Dynamic Programming, Leon Cooper, Mary W. Cooper. Pergamon Press, 1981. 288 pages.

Contents: 1. Introduction 2. Some Simple Examples 3. Functional Equations: Basic Theory 4. One-dimensional Dynamic Programming: Analytic Solutions 5. (he-dimensional Dynamic Programming: Computational Solutions 6. Multidimensional Problems 7. Reduction of State Dimensionality and Approximations 8. Stochastic Processes and Dynamic Programming 9. Dynamic Programming and the Calculus of Variations 10. Applications of Dynamic Programming

Finite Elements, Mathematical Aspects, Vol. IV, J. Tinsley Oden and Graham

F. Carey. Prentice-Hall, Inc., 1983. 195 pages. $29.00. Contents:

1. Preliminaries 2. Finite Element Interpolation Theory 3. Finite Element Approximation of Elliptic Boundary-Value Problems 4. Mixed Methods 5. Hybrid Methods

Computer Science: A Modem Introduction, L. Goldschlager, A. Lister. Prentice-

Hall, Int., 1982. 303 pages. $12.95. Contents:

1. Introduction 2. The Design of Algorithms 3. The Theory of Algorithms 4. The Execution of Algorithms: Computer Architecture 5. The Execution of Algorithms: System Software 6. Algorithms in Action: Some Computer Applications 7. Social Issues

Book Reports 197

Principles of Concurrent Programming, M. Ben-Ari. Prentice-Hall, Wt., 1982. 172 pages. $18.00

Contents: 1. What is Concurrent Programming? 2. The Concurrent Programming Abstraction 3. The Mutual Exclusion Problem 4. Semaphores 5. Monitors 6. The Ada Rendezvous 7. The Dining Philosophers

Lecture Notes in Computer Science, 136, Ed. G. Goos and J. Hartmanis, Group-Theoretic Algorithms and Graph Isomorphism, C. ?I. Hoffmann, Springer-Verlag, 1982. 311 pages. $18.00

Contents: 1. Introduction 2. Basic Concepts 3. Labelled Graph Automorphisms, Cone Graphs, and p-Groups 4. Isomorphism of Trivalent Graphs and of Cone Graphs of Degree Two 5. Graphs of Fixed Valence and Cone Graphs of Fixed Degree 6. Group-Theoretic Problems

The Finite Element Method in Thin Shell Theory: Application to Arch Dam Simulations, M. Bemadou, J. M. Boisseri. Birkhauser, 1982. 199 pages.

Contents: I. Numerical Analysis of a Linear Thin Shell Model

1. The Continuous Problem 2. The Discrete Problem 3. Implementation

II. Application to Arch Dam Simulations 4. Geometrical Definition of the Dam 5. Variational Formulation of the Arch Dam Problem 6. Implementation - Presentation of Results 7. Numerical Experiments

Logic Programming, K. L. Clark and S.-A. Tamlund. Academic Press, 1982. 366 pages. $34.50.

Contents: 1. Introduction to Logic Programming 2. Applications of Logic Programming 3. Natural Language Understanding 4. Implementation Issues 5. Specification and Transformation 6. Metalevel Inference 7. Control Issues a. Logic Programming Lsnguages 9. Logic in Lisp 10. Horn Clause Computability

Comparative Studies in Software Acquisition, Steven Glaseman. Lexington Books, 1982. 132 pages.

Con tents :

1. Introduction 2. Organizational Adaptation 3. The Industry's Software Development Process 4. Air Force Embedded Software Acquisition Management 5. Comparative Analysis 6. Impediments and Incentives 7. Policy Recommendations 8. Extensions

User-Designed Computing, Louis, Schlueter, Jr. 145 pages.

Lexington Books, 1982. $17.95.

Contents: 1. Computer Programming and Users 2. Real-Time Information 3. Program Specifications

Book Reports 198

4. 5. 6. 7. a. 9.

10. 11. 12. 13. 14. 15. 16. 17. la. 19. 20.

Report-Processing Systems An Unstructured, Real-Time, Reporting Application Report-Processing System Coordination

The Evolution of a User: Report-Generator (RPG) Designer Coordination of Report-Generator Design and Use

Data-Base Concepts and Standardization Free Enterprise Computing Data-Base Theory

Distributed Processing: Cure or Cancer? Free Enterprise Report Processing Instead of Distributed Processing Implications for Data Processing Auditing Report-Processing Services Purchase Considerations for User-Oriented Software Systems

Putting Free Enterprise Computing in Your Operation Rights to Support Free Enterprise Computing The MAPPER System: Proof of Free Enterprise Computing Concepts Evolution of the Report-Processing Concept Santa Fe Railway's OK Project: The World's Largest User-Developed Computer System

21. GTE Automatic Electric Operations, Management, and MAPPER

22. Free Enterprise Computing: In Summary

Designing and Programming Modern Computers and Systems, Vol. I, LSI Modular

Computer Systems, S. P. Kartashev, Steven I. Kartashev. Prentice-Hall, Inc.

1982. 643 pages. $37 .so. Contents:

1. Historic Progress in Architectures for Computers and Systems

2. Reconfigurable Parallel Array Systems

3. Designing and Programming Supersystems with Dynamic Architectures

4. Verification of Complex Programs and Microprograms

5. Requirements Engineering for Modular Computer Systems

6. Design and Diagnosis of Reconfigurable Modular Digital Systems

Advances in Information Systems Science, Vol. 8, Julius T. Tou. Plenum Press,

1981. 332 pages.

Contents: Volume

1.

2. 3. 4. 5.

Volume

1. 2. 3. 4. 5.

Volume

1. 2. 3. 4. 5.

Volume

1. 2. 3.

4.

5.

Volume 1. 2. 3. 4.

1 Theory of Algorithms and Discrete Processors, V. M. Clushkov and

A. A. Letichevskii Programming Languages, A. C. di Forino Formula Manipulation-The User's Point of View, M. E. Engeli Engineering Principles of Pattern Recognition, .I. T. Tou

Learning Control Systems K. S. Fu 2 Learning Systems, Ya. 2. Tsypkin Stochastic Computing Systems, B. R. Gaines Semantics of Programming Languages, J. W. de Bakker Information Storage and Retrieval Systems, M. E. Senko

Some Characteristics of Human Information Processing, E. Hunt and

w. Makous 3 Pattern Recognition: Heuristics or Science?, V. A. Kovalevsky

Feature Compression, S. Watanabe

Image Processing Principles and Techniques, J. K. Hawkins Computer Graphics, R. J. Pankhurst Logical Design of Optimal Digital Networks by Integer Programming,

S. Muroga

4 Augmentation of Machine Language Level, V. K. Smirnov On the Relation Between Grammars and Automata, M. A. Harrison

An Introduction to Information Structures and Paging Considerations for On-Line Text Editing Systems, D. E. Rice and A. van Dam An Introduction to the Structure of Time-Shared Computers, C. Gordon Bell and M. M. Gold Error-Correcting Codes in Computer Arithmetic, J. L. Massey and Oscar N. Garcia 5 Data Organization and Access Methods, P. C. Patton

Design of Software for On-Line Minicomputer Applications, J. D. Schoeffler A Survey of the Status of Microprogramming, C. V. Ramamoorthy Some Grammars and Recognizers for Formal and Natural Languages,

J. A. Moyne

Volume 1.

2.

3. 4.

Volume 1.

2.

3.

4.

5.

Book Reports 199

6 Theory of Parallel Programming, Part I: Survey of Practical Aspects,

V. E. Kotov Theory of Parallel Programming, Part II: Survey of Formal Models,

A. S. Narin'yani Data Structure Models in Information System Design, W. M. Turshi The Mathematical Theory of L Systems, G. Rozenberg and A. Salomaa 7 Diagnosis Techniques and Methodologies for Digital Systems, T. Kitamura, S. Tashiro and M. Inagaki Design for a Distributed Information Network, P. A. D. de Maine and

D. E. Whitten Modeling and Design of Distributed Information Systems, S. K. Chang and C. N. Liu Hardware, Firmware, Software Technology in Microcomputer Systems, T. G. Lewis Data Structures and Pattern Recognition, A. Klinger

Digital Logic Design and Applications, L. B. McCurdy and A. L. McHenry. Prentice-Hall, Inc., 1981. 122 pages. $12.95.

Contents: 1. Diode and Transistor Logic Gates 2. DTL Gate Drive Considerations 3. Introduction to Integrated Logic Families 4. Introduction to Logic Building' Blocks 5. Standard Boolean Function Forms 6. Code Conversions Using Karnaugh-Maps 7. Multiplexer and Demultiplexer Circuit Design a. Binary Adders and Subtractors 9. MUX Applications in Design 10. Two-Word, Two-Bit Comparator Design 11. Three-Bit by Two-Bit Multiplier Design 12. Combinational Design Using Decoders and Memory Devices 13. RS and JK Flip-Flops 14. JK Flip-Flop Applications 15. Analysis of Counters and Sequence Generators 16. Six-Phase Counter Design 17. Modulo-Five Counter Design la. Variable-Modulus Counter Design 19. N-Bit Serial Adder Design 20. Parallel Divider Design 21. Digital-To-Analog Conversion 22. Analog-To-Digital Conversion

Work, Organizations, and Technological Change, G. Mensch and R. J. Niehaus. Plenum Press, 1982. 412 pages. $49.50.

Contents: 1. Keynote Address 2. Technological Change and Human Resources 3. Labor Market Impacts on Human Resource Planning 4. Introduction of Technology Into Actual Work Settings 5. Approaches for Organizational Efficiency 6. Studies in Organizational Effectiveness 7. Methods for Mobility Analysis a. Conceptual Issues

Programming Embedded Systems With ADA, Valerie A. Downes and S. J. Goldsack. Prentice-Hall, Inc., 1982. 377 pages. $22.50.

Contents: 1. Introduction-The Genesis of ADA 2. The Engineering of Large-Scale Software 3. Embedded Computer Systems 4. Cast Study-Problem Specification 5. Program Construction 6. Modelling the Problem Domain 7. Expressions and Statements a. Subprograms and Blocks 9. Parallelism 10. Packages 11. Generics 12. Building Data Structures 13. Low Level and Real Time Features 14. Visibility and Program Structure 15. Case Study-Engineering a Solution 16. Case Study-ADA Program

200 Book Reports

Introduction to Data Analysis and Statistical Inference, C. N. Norris and

J. E. Ralph. Prentice-Hall, Inc., 1981. 389 pages. $13.95. Contents:

1. 2.

3. 4. 5. 6. 7.

8.

9. 10. 11. 12. 13. 14.

Introduction Simple Descriptive Statistics Simple Linear Regression: Curve Fitting, Correlation, and Prediction Multiple Regression, Partial and Multiple Correlation Probability And Statistical Distributions

Statistical Inference Analysis of Variance Logit Regression for Binary Dependent Variables

Model Specification and Residual Plotting Robust Estimation Nonparametric and Goodness-of-Fit Inference Bayes and Empirical Bayes Inference

Sampling Methods Experimental Design: Problems in Planning Experiments Involving

Human Populations to Evaluate Social Programs

An End-User's Guide to Data Base, James Martin. Prentice-Hall, Inc., 1981. 144 pages. $21.95.

Contents:

1. 2. 3.

4. 5. 6.

7. a. 9. 10. 11.

What is Data Base? Productivity and Flexibility Who Does What?

What are Data? Data Xodeling Design Tools for End Users How to Succeed with Data Modeling Data-Base Languages for End Users

Ownership of Data, and Privacy Considerations Which Affect Machine Performance

Separate End-User Systems

The Minicomputer in On-Line Systems, M. Healey and D. Hebditch. !Jinthrop Publishers, Inc., 1981. 334 pages. $22.95.

Contents: 1.

2. 3. 4. 5. 6. 7. a. 9. 10.

The Role of the Minicomputer in Data Communication and Distributed

Processing Systems The Minicomputer: Technology and Architecture

Data Transmission and Terminals Transaction Processign and a Review of Minicomputer Software Data Communications Handling on Minicomputers Data Communications Software Minicomputer Operating Systems: Some Examples High-Level Packages

Acquisition and Implementation Case Studies

Computer-Assisted Cartography, Principles and Prospects, M. S. Monmonier.

Prentice-Hall, Inc., 1982. 214 pages. $20.95.

Contents:

1. An Introduction

2. Computers and Algorithms

3. Raster Symbols and Surface Mapping

4. Raster-Mode Measurement and Analysis

5. Vector Symbols

6. Cartometry and Map Projections

7. Cartographic Data Structures

a. Computer-Assisted Map Design

Finite Elements, An Introduction, Vol. I, E. B. Becker, G. F. Carey and

J. T. Oden. Prentice-Hall, Inc., 1981. 258 pages. $24.95. Contents:

1. A Model Problem 2. One-Dimensional Problems

3. Development of a Finite Element Program

4. Two-Dimensional Problems 5. Two-Dimensional Element Calculations

6. Extensions

Book Reports 201

Computing in the Humanities, P. C. Patton, R. A. Holoien. Lexington Books,

1981. 404 pages. $29.95. Contents:

1. Introduction to Computing in the Humanities 2. A Computer-Assisted Analysis of the Greek New Testament Text 3. Computer Aids to Sumerian Lexicography 4. EYEBALL and the Analysis of Literary Style 5. Computer-Aided Analysis of Old English 6. Form Analysis of Mishnaic Sentences 7. A Computer-Assisted Study in Graphemic Analysis 8. TAGEDIT: A Computer Tool for Literacy and Linguistic Research

9. Concordances of Troubadour Poetry in Old Occitan 10. A Computer Data Base for Babylonian Economic Documents 11. CATO: A Computer Simulation of a Roman Wine and Oil Plantation 12. Caesar's Army in Gaul: A Computer-Aided Prosopography 13. Minnesota Archaeological-Survey Data Base 14. Computer-Aided Instruction in Archaeology 15. Sumerian: An Experiment in CA1 Language Learning 16. A Computer-Based Course in Ancient Egyptian Hieroglyphics 17. A Small-Computer CA1 Course in Classical Greek 18. A Latin Course on a Small Computer 19. A Computer-Assisted Music Course and Its Implementation 20. A Computer Project in Music Analysis 21. Computer Fundamentals for the Artist 22. A Gallery of Artists: Katherine Nash 23. A Gallery of Artists: Ruth Leavitt 24. A Gallery of Artists: Jean Davies Nordlund 25. A Gallery of Artists: Debra Millard 26. A Gallery of Artists: Kevin McMahon

Interfacing Microcomputers to the Real World, M. Sargent, III and R. L. Shoemaker. Addison-Wesley Publishing Co., 1981. 288 pages. $14.50.

Contents: 1. Introduction to Digital Logic 2. Programming the 280 Microprocessor 3. Processor-Input/Output Interfacing 4. Controlling/Monitoring Various Real World Devices 5. Serial Input/Output 6. Microcomputer Systems 7. Software 8. Hands-on Experience

Computer Solution of Large Sparse Positive Definite Systems, Alan George and Joseph W-H Liu. Prentice-Hall, Inc., 1981. 324 pages. $24.95.

Contents: 1. Introduction 2. Fundamentals 3. Some Graph Theory Notation and Its Use in the Study of Sparse

Symmetric Matrices 4. Band and Envelope Methods 5. General Sparse Methods 6. Quotient Tree Methods for Finite Element and Finite Difference

Problems 7. One-Way Dissection Methods for Finite Element Problems 8. Nested Dissection Methods 9. Numerical Experiments

Systems Programmer's Problem Solver, William S. Mosteller. Inc., 1981. 223 pages.

Winthrop Publishers,

Contents: 1. Debugging 2. Operating Procedures and Tools 3. Prevention 4. Coding Practices 5. Keeping It Symbolic 6. Testing 7. Management

202 Book Reports

Modern Programming Practices, A Report from Industry, Robert L. Glass.

Prentice-Hall, Inc., 1982. 311 pages. s21.95.

Contents: 1. Introduction

2. The Environment-Projects and People

3. Technical Practices 4. Xanagement Practices

5. Evaluation Methods

6. Conclusions and Recommendations

7. Research Needs

Microcomputers and Physiological Simulation, James E. Randall. Addison- Wesley Publishing Co., 1980. 235 pages. $14.50.

Contents:

1. Introduction

2. Microcomputer Components

3. Operating Systems and Programming Languages

4. Hardware Enhancements for Simulation

5. Representative Microcomputers

6. Compartmental Kinetics: A First Example

7. The Glucose Tolerance Test

8. Cardiovascular System Mechanics

9. Arterial Pulse Pressure

10. Vectorcardiography and the Limb Leads

11. Distortion of Waveforms

12. Axon Action Potentials

13. Cardla Action Potentials

14. Formatting Student Exercises

CAI Sourcebook, Background and Procedures for Computer Assisted Instruction in Education and Industrial Training,, Robert L. Burke. Prentice-Hall, Inc.,

1982. 210 pages. $14.95. Contents:

1. Becoming a Computer Assisted Instruction Author 2. What is CAI?

3. Microcomputers and CA1 4. Systems Thinking and CAI

5. Instructional Writing and CA1

6. CA1 Frame Protocols 7. CA1 Lesson Designs

8. Validation of CA1 Lessons 9. Developing the CA1 Lesson 10. CA1 Courseware Review 11. Cashing In

12. The Future in Microcomputer CA1

Computers for Imagemaking, Audio-Visual Media for Education and Research-Vol. 2,

David R. Clark. Pergamon Press, Inc., 1981. 156 pages. $14.50.

Contents:

1. The Technical Foundations of Computer Imagemaking

2. Seeing Hypotheses

3. Matching the System to the Goals or TV or not TV

4. Computer Character Animation - Is It Possible?

5. Facilities

6. Problem Solving on a Centralized Interactive Computer Graphics System

7. Combining Computer Animation and Television Presentation: A Case

Study - The Open University Mathematics Course

8. Computer Animation as an Aid to Comprehending the Universe

Computer Methods for Partial Differential Equations, Vol. 1, Elliptic Equa- tions and the Finite-Element Method. Robert Vichnevetskv. Prentice-Hall.

Inc., 1981. 357 pages. $28.00.

Contents:

1. Introduction

2. Fourier Series

3. Finite-Difference Approximations

4. Two-Point Boundary-Value Problems I

5. Finite-Difference Approximation of Elliptic Equationa

6. Numerical Solution of Algebraic Equations

7. Special Tools

8. Rayleigh-Ritz and Galerkin Methods

9. Two-Point Boundary-Value Problems II

Book Reports 203

10. Poisson's Equation 11. Theory and Geometry 12. Geometric Transformations and Isoparametric Elements

Pathways to Solutions, Fixed Points, and Equilibria, W. I. Zangwill and

C. B. Garcia. Prentice-Hall, Inc., 1981. 479 pages.

Contents:

1. Solutions, Homotopies, and Paths

2. The Basic Differential Equations

3. Fixed Points, Equations, and Degree Theory

4. Nonlinear Programming: Dynamic, Parametric, and Algorithmic

5. Equilibrium Programming

6. Economic Equilibria

7. Obtaining the Competitive Equilibrium

8. Game Theory

9. Network Equilibrium and Elasticity

10. Catastrophe Theory

11. Path-Following Algorithms

12. The Flex-Simplicial Algorithm

13. Triangulation Algorithms

14. Integer Labels

15. Differential Equations

16. Predictor-Coorector Methods

17. Special Functions: Contrac'tion and Separability

18. All Solutions

19. The Linear Complementarity Problem

20. Linear Complementarity in Action

21. The Kakutani Theorem and the Economic Equilibrium Revisited 22. Relaxation of Regularity and Differentiability

Digital Computer Treatment of Partial Differential Equations, V. Vemuri and

Walter J. Karplus. Prentice-Hall, Inc., 1981. 450 pages. '$28.95, Contents:

1. 2.

Mathematical Models and the Computer The Physical Basis for Partial Differential Equations Characterizing Fields

3. Posing the Mathematical Problem 4. Finite Difference Approximations 5. Boundary Value Problems 6. Initial Value Problems 7. Special Topics 8. Interpolation and Approximation 9. The Finite Element Method 10. Computational Linear Algebra

11. Software Packages for Partial Differential Equations

12. Trends in Computer Hardware and Their Impact on Field Simulation

13. Example Programs: Finite Difference Xethods

14. Example Programs: Finite Element Method

Numerical Methods for Unconstrained Optimization and Nonlinear Equations, J. E. Dennis, Jr. and Robert B. Schnabel. Prentice-Hall, Inc., 1983.

378 pages. $28.95. Contents:

1. 2.

3. 4. 5. 6. 7. 8. 9. 10. 11.

Introduction Nonlinear Problems in One Variable

Numerical Linear Algebra Background Multivariable Calculus Background Newton's Method for Nonlinear Equations and Unconstrained Minimization

Globally Convergent Modifications of Newton's Method Stopping, Scaling, and Testing

Secant Methods for Systems of Nonlinear Equations Secant Methods for Unconstrained Minimization Nonlinear Least Squares Methods for Problems with Special Structure

204 Book Reports

Error-Correction Coding for Digital Communications, G. C. Clark, Jr. and J. Bibb Cain. Plenum Press, 1981. 422 pages.

Contents: 1. 2. 3. 4. 5. 6. 7. 8.

Fundamental Concepts of Coding Group Codes Simple Nonalgebraic Decoding Techniques for Group Codes Soft Decision Decoding of Block Codes Algebraic Techniques for Multiple Error Correction Convolutional code Structure and Viterbi Decoding Other Convolutional Decoding Techniques System Applications

Formal Methods of Program Verification and Specification, H. K. Berg, W. E. Boebert, W. R. Franta and T. G. Moher. Prentice-Hall, Inc., 1982. 207 pages. $21.95.

Contents: 1. Introduction 2. Models of Computation 3. Verification Methods 4. Approaches to Proofs of Partial Correctness 5. Approaches to Proofs of Total Correctness 6. Correctness of Parallel Programs 7. Applications of the Verification Approaches 8. Approaches to Specification 9. State of the Art and Summary

~C68000, 16-BIT Microprocessor, User's Manual, Motorola. Prentice-Hall, Lnc 1982. 231 pages. $14.95.

Contents: 1. General Description 2. Data Organization and Addressing Capabilities 3. Instruction Set Summary 4. Signal and Bus Operation Description 5. Exception Processing 6. Interface with MG800 Peripherals

Econometric Theory and Applications, David A. Katz. Prentice-Hall, Inc., 1982. 280 pages. $24.95.

Contents: 1. Introduction to Econometrics 2. A Brief Review of Some Important Statistical Concepts 3. The 'Iwo-Variable Regression Model 4. The Multiple Regression Model 5. Forecasting 6. The Importance of Time and Lags in a Regression Model 7. Simultaneous Equations Models 8. Introduction to Simulation

Introduction to Mathematical Analysis, W. R. Parzynski and P. W. Zipse. McGraw-Hill, 1982. 359 pages.

Contents: 1. Real Numbers and Functions 2. Sequences and Sets of'Rea1 Numbers 3. Functions and Limits 4. Continuous Functions 5. Differentiable Functions 6. The Riemann Integral 7. Sequences and Series of Functions 8. Differentiable Functions of Several Variables 9. Multiple Integrals 10. Metric Spaces

Discrete System Simulation, W. G. Bulgren. Prentice-Hall, Inc., 1982. 230 pages. $21.95.

Contents: 1. Introduction 2. Introduction to Simscropt 11.5 3. Introduction to GPSS 4. Analysis of Some Queuing Models 5. Simulation Experimentation and Verification 6. Which Test Statistic? 7. Generating Pseudo-Random Numbers 8. Generation of Stochastic Variates 9. Examples

Book Reports 205

Programming Concepts, A Second Course, W. B. Jones. Prentice-Hall, Inc., 1982. 319 pages. $19.95.

Contents: 1. Introduction to Pascal 2. Structured Programming and All That 3. Files: Searching and Sorting 4. Dynamic Data Structures: Linear Representation

5. Dynamic Data Structures: Linked Representations

6. Recursion 7. Random Numbers 8. Hash-Table Searching 9. Sequential File Processing 10. Real Numbers

Human Performance Engineering, A Guide for System Designers, R. W. Bailey. Prentice-Hall, Inc., 1982. 656 pages. $36.00.

Contents: 1. Psychology and Systems 2. History of Human Performance 3. Human Limits and Differences 4. Sensing 5. The Body and Performance 6. Cognitive Processing and Performance 7. Perception, Problem Solving and Decision Making 8. Memory 9. Motivation 10. Designing For People 11. Basic Design 12. Displays, Controls, and Workplace Design 13. Speech Communication 14. Human/Computer Interface 15. Forms and CRT Screen Design 16. Code Design 17. Supporting Human Performance 18. Selection Criteria 19. Printed Instructions 20. Performance Aids 21. Training Development 22. Physical and Social Environments 23. Data Collection 24. Performance Testing 25. Conducting Comparison Studies

~8000 CPU User's Reference Manual, Zilog. Prentice-Hall, Inc., 1982. 290

pages. $19.95. Contents:

1. 28000 Processor Overview 2. Architecture 3. Address Spaces 4. CPU Operation 5. Addressing Modes 6. Instruction Set 7. Exceptions 8. Refresh 9. External Interface

Writing Efficient Programs, J. L. Bentley. Prentice-Hall, Inc., 1982. 170 pages. $22.95.

Contents: 1. Introduction 2. An Example 3. The Context 4. Modifying Data Structures 5. Modifying Code 6. System-Dependent Efficiency 7. Applying the Techniques 8. Sorting and Searching