- Email: [email protected]
Advances in computer methods for partial differential equations IV
356
Book Reviews
mation, this text covers all aspects of industrial modelling from setting up a model shop to construction of design models. Sections 1 to 24 describe the various types of industrial models, techniques and materials of construction. Sections 25 to 32 provide a wide variety of modelling projects including petrochemical, fossil fuel power generation, nuclear power, geothermal power and solar power installations. The text is illustrated with over 500 photographs, charts an line drawings. J.L. Peterson: Petri Net Theory and the Modeling of Systems. Prentice-Hall International, 1981,288 pages E14.90,13-661983-5 In this advanced book for graduate courses on modelling in computer science, mathematics and electrical engineering departments the authors brings together existing results in Petri net research and gives a comprehensive exposition of the field. Basic definitions and applications are discussed, central theories and proofs are explained and new work on Petri net languages and related models of parallel computation are examined. Contents: Introduction. Basic Definitions. Modeling with Petri Net. Analysis of Petri Nets. Complexity and Decidability. Petri Net Languages, Extended and Restricted Petri Net Models. Related Models of Parallel Computation. A. Tanenbaum: Computer Networks. Toward Distributed Processing Systems. Prentice-Hall Software Series, 1981,544 pages. E18.20, 13-165183-8. This thorough introduction to computer network for intermediate and advanced computing and electrical engineering courses covers traditional packet switching, satellite networks and local networks. The book emphasises network architectures and protocols, from the physical layer, through the data link, network, transport, session, and presentation layers, to the application layer. Upon completing the book, readers without previous knowledge of computer networks will understand the principles and algorithms upon which present and future networks are based. Over 200 problems and programming exercises are provided as well as numerous figures, diagrams, tables and programs to illustrate principles. Contents: Introduction, Network Topology. The Physical Layer. The Data Link Layer. The Network
Layer I; Point-to-Point Networks. The Network Layer II: Satellite and Packet Radio Networks. The Network III: Local Networks. The Transport and Session Layers. The Presentation Layer. The Application Layer. Reading List and Bibliography. R.D. Tennent: Principles of Programming Languages. Prentice-Hall International, 1981,280 pages, t12.95, 13-709873-I Based upon recent research on semantics, this comprehensive textbook provides a thorough but informal study of the fundamental concepts and principles underlying programming languages in current use. Stressing semantics rather than syntax or implementation techniques, the author emphasises similarities and differences between language concepts rather than surface features. Pascal is used as the standard example although other languages are discussed in case studies; such as LISP, APL, SNOBOL, ALGOL 60, ALGOL 68 and SIMULA. The latest developments in language design are included, for example programmer-defined types, polymorphic procedures and communicating processes. For students of computer science and software engineering as well as programmers and designers of programming languages, this book requires only basic knowledge of sets and functions and sufficient programming experience with high-level languages to appreciate basic tenets of programming methodology. Exercises, project suggestions and bibliographies are provided in each chapter. R. Vichnevetsky and R.S. Stepleman (Editors): Advances in Computer Methods for Partial Differential Equations IV. Proceedings of the 4th IMACS Symposium on Computer Methods for Partial Differential Equations, Bethlehem, USA, June 30-July 2. 198 1. Published by IMACS, 4 18 pages. This book is the Proceedings of the 4th IMACS Symposium on Computer Methods for Partial Differential Equations, held at the Lehigh University in Bethlehem, Pensylvania, USA from June 30 to July 2, 198 1. It is the fourth of a series of symposiums held every two years at the same institution, and which are now reputed for the quality of the paper produced. These proceedings contain the 83 papers presented during this meeting. Among those papers, 16 are devoted to the Finite Element method, 5 to the
Book Reviews
Gradient Method, 6 to the Galerkin Method, 4 to the Finite Difference Method, 7 to the Method of Lines, and 1 to a Monte Carlo Method. 14 papers are concerned with the solution of parabolic equations, 7 with elliptic equations, 5 with hyperbolic equations, 2 with Integral Equations and 2 with Biharmonic Equations. 5 papers are interested in the accuracy and error estimates and 3 in the stability of computation
357
methods. Miscellaneous application fields are considered, among which 14 papers concern the fluid mechanics. The abstracts of these paper will be published in the bibliographical section of this journal. The proceedings may be ordered through IMACS secretariat in Brussels, or directly at the Rutgers University, IMACS Symposium, Department of Computer Science, New Brunswick, NJ 08903, USA.
Book Reviews
mation, this text covers all aspects of industrial modelling from setting up a model shop to construction of design models. Sections 1 to 24 describe the various types of industrial models, techniques and materials of construction. Sections 25 to 32 provide a wide variety of modelling projects including petrochemical, fossil fuel power generation, nuclear power, geothermal power and solar power installations. The text is illustrated with over 500 photographs, charts an line drawings. J.L. Peterson: Petri Net Theory and the Modeling of Systems. Prentice-Hall International, 1981,288 pages E14.90,13-661983-5 In this advanced book for graduate courses on modelling in computer science, mathematics and electrical engineering departments the authors brings together existing results in Petri net research and gives a comprehensive exposition of the field. Basic definitions and applications are discussed, central theories and proofs are explained and new work on Petri net languages and related models of parallel computation are examined. Contents: Introduction. Basic Definitions. Modeling with Petri Net. Analysis of Petri Nets. Complexity and Decidability. Petri Net Languages, Extended and Restricted Petri Net Models. Related Models of Parallel Computation. A. Tanenbaum: Computer Networks. Toward Distributed Processing Systems. Prentice-Hall Software Series, 1981,544 pages. E18.20, 13-165183-8. This thorough introduction to computer network for intermediate and advanced computing and electrical engineering courses covers traditional packet switching, satellite networks and local networks. The book emphasises network architectures and protocols, from the physical layer, through the data link, network, transport, session, and presentation layers, to the application layer. Upon completing the book, readers without previous knowledge of computer networks will understand the principles and algorithms upon which present and future networks are based. Over 200 problems and programming exercises are provided as well as numerous figures, diagrams, tables and programs to illustrate principles. Contents: Introduction, Network Topology. The Physical Layer. The Data Link Layer. The Network
Layer I; Point-to-Point Networks. The Network Layer II: Satellite and Packet Radio Networks. The Network III: Local Networks. The Transport and Session Layers. The Presentation Layer. The Application Layer. Reading List and Bibliography. R.D. Tennent: Principles of Programming Languages. Prentice-Hall International, 1981,280 pages, t12.95, 13-709873-I Based upon recent research on semantics, this comprehensive textbook provides a thorough but informal study of the fundamental concepts and principles underlying programming languages in current use. Stressing semantics rather than syntax or implementation techniques, the author emphasises similarities and differences between language concepts rather than surface features. Pascal is used as the standard example although other languages are discussed in case studies; such as LISP, APL, SNOBOL, ALGOL 60, ALGOL 68 and SIMULA. The latest developments in language design are included, for example programmer-defined types, polymorphic procedures and communicating processes. For students of computer science and software engineering as well as programmers and designers of programming languages, this book requires only basic knowledge of sets and functions and sufficient programming experience with high-level languages to appreciate basic tenets of programming methodology. Exercises, project suggestions and bibliographies are provided in each chapter. R. Vichnevetsky and R.S. Stepleman (Editors): Advances in Computer Methods for Partial Differential Equations IV. Proceedings of the 4th IMACS Symposium on Computer Methods for Partial Differential Equations, Bethlehem, USA, June 30-July 2. 198 1. Published by IMACS, 4 18 pages. This book is the Proceedings of the 4th IMACS Symposium on Computer Methods for Partial Differential Equations, held at the Lehigh University in Bethlehem, Pensylvania, USA from June 30 to July 2, 198 1. It is the fourth of a series of symposiums held every two years at the same institution, and which are now reputed for the quality of the paper produced. These proceedings contain the 83 papers presented during this meeting. Among those papers, 16 are devoted to the Finite Element method, 5 to the
Book Reviews
Gradient Method, 6 to the Galerkin Method, 4 to the Finite Difference Method, 7 to the Method of Lines, and 1 to a Monte Carlo Method. 14 papers are concerned with the solution of parabolic equations, 7 with elliptic equations, 5 with hyperbolic equations, 2 with Integral Equations and 2 with Biharmonic Equations. 5 papers are interested in the accuracy and error estimates and 3 in the stability of computation
357
methods. Miscellaneous application fields are considered, among which 14 papers concern the fluid mechanics. The abstracts of these paper will be published in the bibliographical section of this journal. The proceedings may be ordered through IMACS secretariat in Brussels, or directly at the Rutgers University, IMACS Symposium, Department of Computer Science, New Brunswick, NJ 08903, USA.