Algebraic Methods: Theory, Tools and Applications
Author: Martin Wirsing
Publisher: Springer Science & Business Media
Published: 1989-09-20
Total Pages: 572
ISBN-13: 9783540516989
DOWNLOAD EBOOKPosts
Algebraic Methods II: Theory, Tools and Applications
Author: Jan A. Bergstra
Publisher: Springer Science & Business Media
Published: 1991-04-10
Total Pages: 448
ISBN-13: 9783540539124
DOWNLOAD EBOOKThe proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The Netherlands, September 1989. The volume includes five invited contributions based on workshop talks given by A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten further papers by members of the METEOR team are based on talks given at the workshop. The workshop was a successor to an earlier one held in Passau, Germany, June 1987, the proceedings of which were published as Lecture Notes in Computer Science, Vol. 394.
Algebraic Methods in Statistical Mechanics and Quantum Field Theory
Author: Dr. Gérard G. Emch
Publisher: Courier Corporation
Published: 2014-08-04
Total Pages: 336
ISBN-13: 0486151719
DOWNLOAD EBOOKThis systematic algebraic approach offers a careful formulation of the problems' physical motivations as well as self-contained descriptions of the mathematical methods for arriving at solutions. 1972 edition.
Algebraic Methods in Quantum Chemistry and Physics
Author: Francisco M. Fernandez
Publisher: CRC Press
Published: 1995-10-24
Total Pages: 284
ISBN-13: 9780849382925
DOWNLOAD EBOOKAlgebraic Methods in Quantum Chemistry and Physics provides straightforward presentations of selected topics in theoretical chemistry and physics, including Lie algebras and their applications, harmonic oscillators, bilinear oscillators, perturbation theory, numerical solutions of the Schrödinger equation, and parameterizations of the time-evolution operator. The mathematical tools described in this book are presented in a manner that clearly illustrates their application to problems arising in theoretical chemistry and physics. The application techniques are carefully explained with step-by-step instructions that are easy to follow, and the results are organized to facilitate both manual and numerical calculations. Algebraic Methods in Quantum Chemistry and Physics demonstrates how to obtain useful analytical results with elementary algebra and calculus and an understanding of basic quantum chemistry and physics.
Concurrency
Author: Akinori Yonezawa
Publisher: Springer Science & Business Media
Published: 1991-04-10
Total Pages: 354
ISBN-13: 9783540539322
DOWNLOAD EBOOKThis volume is a collection of papers on topics focused around concurrency, based on research work presented at the UK/Japan Workshop held at Wadham College, Oxford, September 25-27, 1989. The volume is organized into four parts: - Papers on theoretical aspects of concurrency which reflect strong research activities in the UK, including theories on CCS and temporal logic RDL. - Papers on object orientation and concurrent languages which reflect major research activities on concurrency in Japan. The languages presented include extensions of C, Prolog and Lisp as well as object-based concurrent languages. - Papers on parallel architectures and VLSI logic, including a rewrite rule machine, a graph rewriting machine, and a dataflow architecture. - An overview of the workshop including the abstracts of the talks and the list of participants. The appendix gives a brief report of the first UK/Japan Workshop in Computer Science, held at Sendai, Japan, July 6-9, 1987.
ICDT '90
Author: Serge Abiteboul
Publisher: Springer Science & Business Media
Published: 1990-12-03
Total Pages: 540
ISBN-13: 9783540535072
DOWNLOAD EBOOKThe emergence of new paradigms for data management raises a variety of exciting challenges. An important goal of database theory is to answer these challenges by providing sound foundations for the development of the field. This volume contains the papers selected for the third International Conference on Database Theory, ICDT'90. The conferences in this series are held biannually in beautiful European cities, Rome in 1986 and Bruges in 1988 with proceedings published as volumes 234 and 326 in the same series. ICDT'90 was organized in Paris by the Institut National de Recherche en Informatique et Automatique. The conference features 2 invited presentations and 31 papers selected from 129 submissions. The papers describe original ideas and new results on the foundations of databases, knowledge bases, object-oriented databases, relational theory, transaction management, data structures and deductive databases. The volume offers a good overview of the state of the art and the current trends in database theory. It should be a valuable source of information for researchers interested in the field.
Mathematical Foundations of Computer Science 1988
Author: Michal P. Chytil
Publisher: Springer Science & Business Media
Published: 1988-08-10
Total Pages: 582
ISBN-13: 9783540501107
DOWNLOAD EBOOKThis volume contains 11 invited lectures and 42 communications presented at the 13th Conference on Mathematical Foundations of Computer Science, MFCS '88, held at Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Most of the papers present material from the following four fields: - complexity theory, in particular structural complexity, - concurrency and parellelism, - formal language theory, - semantics. Other areas treated in the proceedings include functional programming, inductive syntactical synthesis, unification algorithms, relational databases and incremental attribute evaluation.
Classical and Quantum Dynamics
Author: Walter Dittrich
Publisher: Springer Science & Business Media
Published: 2001-06-18
Total Pages: 800
ISBN-13: 9783540420668
DOWNLOAD EBOOKPhysics students who want to become familiar with advanced computational strategies in classical and quantum dynamics will find here a detailed treatment many worked examples. This new edition has been revised and enlarged with chapters on the action principle in classical electrodynamics, on the functional derivative approach, and on computing traces.
Advances in Petri Nets 1990
Author: Grzegorz Rozenberg
Publisher: Springer Science & Business Media
Published: 1991-03-13
Total Pages: 534
ISBN-13: 9783540538639
DOWNLOAD EBOOKThe main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. The papers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1990 covers the Tenth International Conference on Applications and Theory of Petri Nets held in Bonn, Germany, in June 1989. Additional highlights of this volume include a tutorial on refinements of Petri nets by W. Brauer, R. Gold, and W. Vogler, and a tutorial on analysis and synthesis of free choice systems by J. Esparza and M. Silva, both prepared in the framework of the ESPRIT Basic Research Actions Project DEMON.
TAPSOFT '91 - Volume 2
Author: S. Abramsky
Publisher: Springer Science & Business Media
Published: 1991-03-28
Total Pages: 502
ISBN-13: 9783540539810
DOWNLOAD EBOOKTAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Advances in Distributed Computing (ADC) - Colloquium on Trees in Algebra and Programming (CAAP) - Colloquium on Combining Paradigms for Software Development (CCPSD) The proceedings are published in two volumes. The first volume (LNCS, Vol. 493) contains the papers from CAAP. The second volume (LNCS, Vol. 494) contains the papers from the ADC and CCPSD. The ADC talks by distinguished invited speakers surveys current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The CCPSD papers address aspects of the trend in software enginering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches.
