BOOK REPORTS · 2016. 12. 8. · Book Reports 193 The Theorv And Applications of Graphs...
Transcript of BOOK REPORTS · 2016. 12. 8. · Book Reports 193 The Theorv And Applications of Graphs...
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