Author: Paul Franchi-Zannettacci
Publisher: Springer Science & Business Media
ISBN: 9783540164432
Category : Computers
Languages : en
Pages : 316

View

Book Description

Author: V.V. Gorbatsevich
Publisher: Springer Science & Business Media
ISBN: 9783540612223
Category : Mathematics
Languages : en
Pages : 552

View

Book Description
From the reviews: "..., the book must be of great help for a researcher who already has some idea of Lie theory, wants to employ it in his everyday research and/or teaching, and needs a source for customary reference on the subject. From my viewpoint, the volume is perfectly fit to serve as such a source, ... On the whole, it is quite a pleasure, after making yourself comfortable in that favourite office armchair of yours, just to keep the volume gently in your hands and browse it slowly and thoughtfully; and after all, what more on Earth can one expect of any book?" --The New Zealand Mathematical Society Newsletter

Author: Philippe Flajolet
Publisher: Cambridge University Press
ISBN: 1139477161
Category : Mathematics
Languages : en
Pages : 825

View

Book Description
Analytic combinatorics aims to enable precise quantitative predictions of the properties of large combinatorial structures. The theory has emerged over recent decades as essential both for the analysis of algorithms and for the study of scientific models in many disciplines, including probability theory, statistical physics, computational biology, and information theory. With a careful combination of symbolic enumeration methods and complex analysis, drawing heavily on generating functions, results of sweeping generality emerge that can be applied in particular to fundamental structures such as permutations, sequences, strings, walks, paths, trees, graphs and maps. This account is the definitive treatment of the topic. The authors give full coverage of the underlying mathematics and a thorough treatment of both classical and modern applications of the theory. The text is complemented with exercises, examples, appendices and notes to aid understanding. The book can be used for an advanced undergraduate or a graduate course, or for self-study.

Author: John Nichols
Publisher:
ISBN:
Category :
Languages : en
Pages : 1334

View

Book Description

Author: Rabe v. Randow
Publisher: Springer Science & Business Media
ISBN: 3642516548
Category : Business & Economics
Languages : en
Pages : 522

View

Book Description
The fields of integer programming and combinatorial optimization continue to be areas of great vitality, with an ever increasing number of publications and journals appearing. A classified bibliography thus continues to be necessary and useful today, even more so than it did when the project, of which this is the fifth volume, was started in 1970 in the Institut fur Okonometrie und Operations Research of the University of Bonn. The pioneering first volume was compiled by Claus Kastning during the years 1970 - 1975 and appeared in 1976 as Volume 128 of the series Lecture Notes in Economics and Mathematical Systems published by the Springer Verlag. Work on the project was continued by Dirk Hausmann, Reinhardt Euler, and Rabe von Randow, and resulted in the publication of the second, third, and fourth volumes in 1978, 1982, and 1985 (Volumes 160, 197, and 243 of the above series). The present book constitutes the fifth volume of the bibliography and covers the period from autumn 1984 to the end of 1987. It contains 5864 new publications by 4480 authors and was compiled by Rabe von Randow. Its form is practically identical to that of the first four volumes, some additions having been made to the subject list.

Author: Alan L. Selman
Publisher: Springer Science & Business Media
ISBN: 9783540164869
Category : Computers
Languages : en
Pages : 412

View

Book Description

Author: Hartmut Ehrig
Publisher: Springer Science & Business Media
ISBN: 9783540544968
Category : Computers
Languages : en
Pages : 396

View

Book Description
The algebraic specification of abstract data types is now a well establishedresearch topic in computer science. This area influences both applications and theoretical foundations of methodologies which support the design and formal development of reliable software. The Seventh Workshop on Specification of Abstract Data Types took place in Wusterhausen/Dosse, April17-20, 1990, and was organized in cooperation with the ESPRIT Basic Research Working Group COMPASS. The main topics covered by the workshop were: - Modularization - Object orientation - Higher-order types anddependent types - Inductive completion - Algebraic high-level nets.

Author: Roland Hausser
Publisher: Springer Science & Business Media
ISBN: 9783540167815
Category : Computers
Languages : en
Pages : 550

View

Book Description

Author: Bozzano G Luisa
Publisher: Elsevier
ISBN: 0080933920
Category : Mathematics
Languages : en
Pages : 1288

View

Book Description
The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.

Author: George Neil Stewart
Publisher:
ISBN:
Category : Physiology
Languages : en
Pages : 822

View

Book Description