****************************************************** PRENTICE HALL COMPUTER SCIENCE E-CATALOG -- April 1990 ****************************************************** We are pleased to be able to post this catalog of Computer Science books. We have classified titles by major subject area. To keep the file size down, we only list the table of contents in one place. Try a key word search to locate the full description, or to find titles in related fields. Because of space limits, some titles are not listed. In order to make this e-mail service work effectively, please follow these instructions for ordering books: ********** 1. If you teach at a university in the U.S., and want to consider TEXTBOOKS to adopt for a course: Send a request to books@prenhall.com or uunet!prenhal!books. Make sure to tell us the course name, the enrollment, when you will be teaching this course, what book you used the last time you taught the course, and whether our book will be required or recommended. Most REFERENCE books cannot be sent free. Please don't forget your U.S. Mail (school) address so we can ship the books. You may also call your local Prentice Hall representative or (800) 526-0485. * * * 2. If you teach at a university OUTSIDE OF THE UNITED STATES, and want to consider TEXTBOOKS to adopt for a course: Send a request to books@prenhall.com or uunet!prenhal!books. Make sure to tell us the course name, the enrollment, when you will be teaching this course, what book you used the last time you taught the course, and whether our book will be required or recommended. We will forward this information to the Prentice Hall representative in your area. You may also call the PH offices in: Canada (416) 293-3621 UK, Europe, Africa, Middle East: (44) 442-231555 (London) FAX: (44) 442-57115 Australia/NZ: (61) 02-939-1333 S.E. Asia (65) 278-9611 (Singapore) Japan (81) 3-238-1050 India (91) 11-332-9078 (New Delhi) Mexico (201) 592-3158 (New Jersey) Carribean (at Heinemann Educational Books): (809) 927-6859 Most of these titles are available worldwide, with a few exceptions. * * * 3. If you want to PURCHASE single copies of books: In the U.S., call (201) 767-5937. Our Mail Order Billing Dept. will handle the details of pricing, shipping, and billing. Outside the U.S., call your local PH representative or one of the phone numbers listed above. If you have trouble placing an order, send email to books@prenhall.com or Henderson@cup.portal.com or uunet!prenhal!books, and we will forward it to the proper office. In addition, these books are available at better bookstores. 4. For U.S. GOVERNMENT (domestic) orders, please contact: a. For Virginia, Maryland, Washington DC: Bob Johnson at (703) 425-6242 b. For the rest of the 50 states: Marcy Leif at (201) 767-5154 5. For U.S. CORPORATE orders (of more than 20 copies of one title), please contact: Lorraine Longo at (201) 592-2498 * * * We welcome comments on this service, and on our books. Seth Reichlin Director of Market Research ARTIFICIAL INTELLIGENCE/EXPERT SYSTEMS Introduction to Artificial Intelligence and Expert Systems Dan W. Patterson Univ of Texas, El Paso CONTENTS: PART I: INTRODUCTION TO ARTIFICIAL INTELLIGENCE. Overview of AI. Knowledge: General Concepts. LISP and Other AI Programming Languages. PART II: KNOWLEDGE REPRESENTATION. Formalized Symbolic Logics. Dealing with Inconsistencies and Uncertainties. Probabilistic Reasoning. Structured Knowledge: Graphics Frames and Related Structure. Object-Oriented Representations. PART III: KNOWLEDGE ORGANIZATION AND MANIPULATION. Search and Control Strategies. Matching Techniques. Memory Organization. PART IV: PERCEPTION AND COMMUNICATION. Natural Language Processing. Pattern Recognition. Visual Image Understanding. Expert Systems Architecture. PART V: KNOWLEDGE ACQUISITION. General Concepts in Knowledge Acquisition. Early Work in Machine Learning. Learning by Induction. Examples of Other Inductive Learners. Analogical and Explanation-Based teaming. @ 1990, 450pp., cloth (47710-9) 0-13-4771 00-1 INSTRUCTOR'S MANUAL WITH PROGRAM DISK (47711-7) 0-13-477118-4 Problem Solving in Artificial Intelligence J. L. Lauriere CONTENTS: Artificial Intelligence. Representation of a Problem. Formal Systems. Classical Methods for Problem Solving. Methods of Propagation and Enumeration. Game Playing Programs; Psychological Studies. Expert Systems. ALICE ("A Language for Intelligent Combinatorial Exploration"). teaming. @1989,500pp.,paper(71174-7 0-13-711748-5 Common LISP and Artificial Intelligence Patrick R. Harrison US Naval Academy CONTENTS: The Magic of LISP Symbols and Numbers. Lists. Elementary Functions. Macros. Advanced Data Structures. Program Development. State Space Search. Unification and Pattern-Directed Inference. Goal-Directed Inference and Uncertainty. Appendix. @ 1990, 288pp., cloth (1 5524-2) 0-13-155243-0 SOLUTIONS MANUAL AVAILABLE Knowledge Systems Design: For Expert Systems and Deductive Database Systems J.K. Debenham Univ of Technology, Sydney CONTENTS: Perspective. Logic as a Knowledge Language. The Knowledge Processing Machine. The Knowledge Systems Design Problem. Normal Forms. Knowledge Acquisition. Knowledge Analysis. Knowledge Base Engineering. Knowledge Base Implementation. Management and Maintenance. @ 1990,750pp., paper (51642-7) 0-13-516428-1 Managing Artificial Intelligence and Expert Systems Daniel A. DeSalvo MCI Telecommunications Corporation Jay Liebowitz George Washington Univ CONTENTS: TEAMWORK. Staffing Your New AI Groups, Daryl J. Furno. Apprenticeships and Technology Transfer, Jeff C. Tanner. YouIbo Can Become a Knowledge Engineer, if. . .,Jay Liebowitz. The Archivist's Assistant: From the Expert's Perspective, Renee M. Jaussaud STRATEGIES. Evolution of the Knowledge Systems Marketplace: The Intellicorp Experience, David L Mishelevich. Cost Justifying Expert Systems, Donna M. Thompson and Jerald L. Feinstein. A Critical Review of Legal Issues in Artificial Intelligence, Janet S. Zeide and Jay Leibowitz. TACTICS. AI Corporations Enter the Market, Dr. Larry R. Harris. Managing the Development of Generic Expert System Products, Walter Reitman. Development of Natural Language Processing Systems from a Manager's Perspective, Antonio Zamora and Elena M. Zamora. Strategies for Managers to Reduce Employee Fear When Introducing a New Technology, Deborah A Glazer @ 1990, 240pp., cloth (55178-8) 0-13-551789-3 An OPS5 Primer: An Introduction to Rule-Based Expert Systems Porter D. Sherman CONTENTS: (Scan elsewhere in this catalog) Expert Systems For Business and Management Jay Liebowitz George Washington Univ Daniel A. DeSalvo MCI CONTENTS: Introducing Expert Systems into the Prin, Jay Liebowitz. An Expert System in Taxation: The Taxpayer Service Assistant, Thomas J. Beckman. Modeling and Reasoning: Integrating Decision Support with Expert Systems, David King. Expert Systems and Decision Support Systems in Auditing, Daniel E. OLeary and Paul Watkins. ANSWERS: An Expert System for Financial Analysis, Edward Blocher The Financial Statement Analyzer, Chun Ka Mui, Lisa Curtis, and Carolyn H. Hasser The Development of an Expert System that Estimates Casualty Insurance Loss Reserves, Betty C. Horri. Expert Systems in Health Insurance: Case Studies at Blue Cross of Western Pennsylvania, David J. Gorney. Expert Systems in Sales and Marketing, Louis L. Odette. An Expert System at the U.S. Energy Information Administration for Quality Assurance/Statistical Survey Support, Jerald L Feinstein, Howard Majors, David Bailey, and Gary Gettig. Expert Systems for Crisis Management: The HIT Project, Richard G. Vedder. An Expert System Development Methodology as Applied to Project Management, William Casey Mattimore and Robert T Plant. CESA: An Expert System Prototype for Aiding U.S. Department of Defense Research Contracting, Jay Liebowitz. @ 1990, cloth (29646-7) 0-13-296468-6 Expert Systems in Law Alan L. Tyree Univ of Sydney, Australia CONTENTS: what Are Expert Systems? Introduction to Knowledge Representation. Methods for Highly Structured Problems: 'Trees and Finite State Machines. Rule Based Systems. Poorly Structured Problems. Application of Rule Based Systems to a Legal Problem. Systems Based on Similarity Concept: The Problems Precedent in Case Laws. Unstructured Problems: Using the Data to Define the Structure by Means of Inductive Procedures. Problems and Prospects: The Problems of Quality Control in Advice Giving Systems. @ 1990,150pp., cloth (29565-9) 0-13-295650-0 Expert Systems in Accounting Alex Edwards Kingston Business School, England Con Connell The Univ of Southampton, England CONTENTS: PART 1: THE RESEARCH AND DEVELOPMENT OF CONTEXT. Introduction. Decision Support Systems in Accounting. Background to Expert Systems. Expert Systems Research and Development in Accounting. Future Developments. PART II: A CASE STUDY. Developing an Expert System. The Case Study. The Knowledge Elicitation Experience. The Demonstrator. The Tools Used. Conclusion. 1990, 227pp., cloth (29575-8) 0-13-295759-0 Fundamentals of Robotics: Analysis and Control Roben J. Schilling Clarkson Univ CONTENTS: Robotic Manipulation. Direct Kinematics: The Arm Equation. Inverse Kinematics: Solving the Arm Equation. Workspace Analysis and trajectory Planning. Differential Motion and Statics. Manipulator Dynamics Robot Control. Robot Vision. Task Planning. Appendices. @ 1990, 496pp., cloth (34443-2) 0-13-344433-3 n INSTRUCTOR'S MANUAL (34447-3) 0-13-344474-0 LABORATORY MANUAL AND SIMULATION SOFTWARE (34444-0) 0-13-344441-4 Robotic Manipulation Strategies Michael A. Peshkin Northwestern Univ CONTENTS: Introduction. Minimum Power Mechanics. The Center of Rotation Locus for a Sliding Object. Example: Aligning an Object by Pushing with a Fence. Planning Manipulation Strategies. Experiments. Suggestions for Further Work. @ 1990,128pp., cloth (78149-2) 0-13-781493-3 Neural Networks: An Introduction to Theory and Applications Bart Kosko U of Southern California CONTENTS: PART I: LEARNING. Unsupervised Associate Learning. Competitive Learning in Vision. Supervised Learning with Gaussian Potentials. PART II: SIGNAL AND IMAGE PROCESSING. Image Processing. Speech Recognition. Adaptive Cumulant Estimation. PART III: HARDWARE. Optical Neural Networks. VLSI Neural Networks. PART IV: ADDITIONAL APPLICATIONS. Adaptive Robotics. Schema Networks. Fuzzy Associative Memories. @ 1990,400pp., cloth (61143-4) 0-13-611435-0 n SOLUTIONS MANUAL (61144-2) 0-13-611443-1 Common LISP: The Language, Second Edition Guy L. Steele Jr. Thinking Machines Corp. CONTENTS: Introduction. Data Types. Scope and Extent. Type Specifiers. Program Structure. Predicates. Control Structure. Loop. Macros. Declarations. Symbols. Packages. Numbers. Characters. Sequences. Series. Generators and Gatherers. Lists. Hash Tables. Arrays. Strings. Structures. The Evaluator. Streams. Input/Output. Pretty Printing. Ehle System Interface. Errors. Conditions. CLOS. Miscellaneous Features. References. Detailed Index. @ 1990, paper (15241-3) 0-13-152414-3 (A Digital Press Book) LISP: A Portable Implementation Sharon Hekmatpour Melbourne Univ Designed for those who are interested in learning the principles of design and implementation of LISP-like languages, and for those who intend to use a symbol manipulation package for implementing portable software systems. It provides a detailed description of a complete LISP interpreter-Kernel. Carefully modularizes the Kernel source code, guides readers step-by-step through the source code modules, and describe how each function of the system is implemented. @ 1989, cloth (53749-8) 0-13-537490-1 Artificial Intelligence through Prolog Rowe @ 1988,368pp. (04867-8) 0-13-048679-5 Expert Systems Programming in Turbo Prolog Marcellus @ 1989, 266pp. (29584-0) 0-13-295841-4 Mathematical Methods for Artificial Intelligence and Autonomous Systems Dougherty/Giardina @ 1988, 448pp. (56091-2) 0-13-560913-5 Computer Vision for Robotic Systems: An Introduction Fairhurst @ 1988 (16692-6) 0-13-166927-3 Knowledge Acquisition: Principles and Guidelines McGraw/Harbison-Briggs @ 1989 (51643-5) 0-13-516436-2 Stable Adaptive Systems Narendra/Annaswamy @ 1989,416pp. (83999-3) 0-13-839994-8 Learning Automata: An Introduction Narendra/Thathachar @ 1989, 368pp. (48555-7) 0-13-485558-2 Guide to Commercial Artificial Intelligence: Fundamentals and Real-World Applications Rauch-Hinden @ 1987,592pp. (36877-9) 0-13-368770-8 Expert Systems: Principles and Practices Bonnet/Haton/Truong/Noc @ 1988 (29563-4) 0-13-295635-7 Robotic Engineering: An Integrated Approach Krafter @ 1989,608pp. (46875-1) 0-13-468752-3 APPLIED MATH/COMPUTATIONAL METHODS Solving Problems on Concurrent Processors Volume II: Software for Concurrent Processors Ian G. Angus et al. CONTENTS: Preamble. Tutorial. Introduction. Communication Environments. The Implementation of CrOS III on Concurrent Processors. The CUBIX Concurrent I/O System. Extended CrOS III. NSIM: A Hypercube Simulator. Tutorial Systems for Concurrent Computation. The Application Program s. A Suite of Parallel Benchmark Programs. Wrap Up. References. Appendices. Index. @ 1990 (82971-3) 0-13-829714-2 The Mathematics of Petri-Nets Christopher Reutenauer Univ of Quebec Presents a self-contained introduction to the concepts necessary to gain an understanding of Petri-Nets. Emphasizes the accessibility decidability theorem, which is completely proved. CONTENTS: Petri-Nets and Vector Addition Systems. Graphs and Ordered Sets. Rational Subsets in a Monoid and Semi-Line Sets. Vectors Addition Systems with States. Chains and Reachability. Complements. @ 1990,150pp., cloth (56188-6) 0-13-561887-8 Category Theory for Computer Scientists Michael Barr McGill Univ Charles Wells Case Western Reserve Univ An introduction to category theory written for researchers and students in computing science. Accessible to graduate students and advanced undergraduates with a previous course in Discrete Mathematics. Presents the basic concepts of category theory with examples from computing science, mathematics and logic, and with many references to applications in the literature. CONTENTS: Preliminaries. Categories. Functors. Diagrams, Natural transformations, and Sketches. Products and Sums. Cartesian Closed Categories. Finite Discrete Sketches. Limits and Colimits. Finite Limit Sketches. The Category of Sketches. Categories as Algebraic Structures. Adjoints. Algebras for Endofunctors. Toposes. @ 1990,350pp., cloth (12048-5) 0-13-120486-6 Algorithmic Graph Theory James A. McHugh New Jersey Inst of Technology This book covers graph algorithms, pure graph theory, and applications of graph theory to computer systems, and includes many new random and parallel graph algorithms. For courses in Graph Theory. CONTENTS: Introduction to Graph Theory. Algorithmic Techniques. Shortest Paths. Trees and Acyclic Digraphs. Depth First Search. Connectivity and Routing. Graph Coloring. Covers, Domination, Independent Sets, Matchings, and Factors. Parallel Algorithms. Computational Complexity. Bibliography. @ 1990,480pp., cloth (02361-4) 0-13-023615-2 INSTRUCTOR'S MANUAL WITH SOFTWARE DEMO DISK(15505-1) 0-13-155052-7 Domains for Denotational Semantics A.W. Roscoe G.M. Reed both of Oxford Univ Computing Lab An advanced undergraduate/graduate text on an important aspect of theoretical computer science the solutions to reflexive domain equations and their use in the denotational semantics of the programming languages. CONTENTS: The Motivation for Domain Theory. Partial Orders. Information Systems. Constructing Domains. More about Domain Equations. Power Domains. The I-Calculus. More about the I-Calculus. A Realistic Functional Language. The Semantics of Imperative Languages. Continuation Semantics. Summary of Other Approaches to Domain Theory. @ 1990,300pp., cloth (21902-2) 0-13-219023-0 INSTRUCTOR'S MANUAL(21785-1) 0-13-217852-4 Fundamentals of Computing: Theory and Practice Alagar @ 1989, 672pp. (33530-7) 0-13-335308-7 Discrete Mathematics for Computer Scientists and Mathematicians Mott/Kandel/Baker @ 1986, 563pp. (RI 391-3) 08359-1391-0 Discrete Mathematics Second Edition Ross/Wright @ 1988, 624pp. (21542-6) 0-13-215427-7 Discrete Mathematical Structures for Computer Science Second Edition Kolman/Busby @ 1987, 480pp. (21600-2) 0-13-216003-X Discrete Mathematics in Computer Science Stanat/McAllister @ 1977, 401 pp. (21615-0) 0-13-216150-8 Numerical Methods and Software Kahaner/Nash/Moler @ 1989,384pp. (62725-7) 0-13-6:27258-4 Applied Numerical Linear Algebra Hager @ 1988, 528pp. (04129-3) 0-13-041294-5 Design and Analysis of Parallel Algorithms Akl @ 1989,400pp. (20005-5) 0-13-200056-3 Parallel and Distributed Computation: Numerical Methods Bertsekas/Tsitsiklis @ 1989,672pp. (64870-9) 0-13-648700-9 Algorithmics: Theory and Practice Brassard/Bratley @ 1988, 320pp. (02324-2) 0-13-023243-2 Theory of Finite Automata with an Introduction to Formal Languages Carroll/Long @ 1989, 432pp. (91370-7) 0-13-913708-4 Computation: Finite and Infinite Machines Minsky @ 1967, 317pp. (16556-3) Elements of the Theory of Computation Lewis/Papadimitriou @ 1981, 466pp. (27341-7) 0-13-273417-6 GRAPHICS Programming Graphics in GKS Peter Bono, et al. CONTENTS: Introduction to GKS. Basic Functions. Other Primitives and Control Functions. Attributes. Segments. Metafiles. Graphic Input. Supplements. GKS-3D: The GKS for 3-D Applications. Additional Graphic Standards-Overview. Window Management System (WMS). Literature Appendices. Programming Examples. Index. @ 1990,350pp., paper (65443-4) 0-13-654435-5 Graphics Design and Animation on the IBM Microcomputers Julio Sanchez Clatsop Community College CONTENTS: Elements of Computer Graphics. IBM Video and Graphics Resources. Graphics Software. Graphics Programming Tools. Logical and Mathematical Program Elements. Programming the Graphics Hardware. Graphics Programming in the OS/2 Environment. Developing the Device Drivers. Developing the Graphics Primitives. Appendices. @ 1990, 416pp., paper (36306-9) 0-13-363060-9; cloth (36307-7) 0-13-363078-1 Principles of Visual Programming Systems Shi-Kuo Chang et al. CONTENTS: Principles of Visual Languages, Shi-Kuo Chang. Visual Interface Design Systems, Kuan-Tsae Huang. Nontextual Programming Environments, Ephraim R Glinert. Formal Specification Methods and Visualization, Alfs Berztiss. Building a Visual Designer's Environment, Michael Graf A Visual Programming Language for Novices, J. G. Bonar and B. W. Liffick. @ 1990, 352pp., cloth (71076-4) 0-13-710765-X Computer Graphics Hearn/Baker @ 1986, 500pp. (1 6538-1) 0-13-165382-2 Computer Graphics Software Construction Rankin @ 1989, 448pp. (16279-2) 0-13-162793-7 Principles of Pictorial Information Systems Design Chang @ 1989,480pp. (71019-4) 0-13-710195-3 X WINDOW SYSTEM Multimedia Applications Development with the Andrew Toolkit Nathaniel S. Borenstein Bell Communications Research CONTENTS: Basic Andrew Toolkit Programming. Insets: The ATK Building Blocks. Output to the Screen. Getting Input from the User. The Data Stream Epilogue: Whence from Here? Appendices. @ 1990, 224pp., paper (03663-2) 0-13-036633-1 Introduction to the X Window System Programming and Applications with XT, OSF/Motif@ Edition Douglas A. Young Hewlett-Packard Laboratories This text is an application developer's guide to the X Toolkit, also known as Xt. It assists professional programmers who are beginning to develop programs using the X Window System, and students who want to add professional quality interfaces to their projects. This edition concentrates on OSF/Motif@ rather than the HP widget set. CONTENTS: An Introduction to the X Window System. Programming with the Xt Intrinsics. The X Resource Manager. Programming with Widgets. Handling Events. Using Color. Manipulating Raster Images. Graphics Contexts. Text and Fonts. Using the X Graphics Primitives. Inter-client Communication. Creating New Widgets. Creating Composite Widgets. Creating Constraint Widgets. @ 1990, 512pp., paper (49707-3) 0-13-497074-8 Introduction to the X Window System Jones @ 1989,528pp. (49999-6) 0-13-499997-5 X Window: C Library and Protocol Reference Scheifler/Gettys/Newman @ 1990,608pp. (97215-8) 0-13-972159-2 X Window System: Programming and Applications with XT Young @ 1989,480pp. (97216-6) 0-13-972167-3