Author: G. N. Watson
Publisher: Cambridge University Press
ISBN: 9780521483919
Category : Mathematics
Languages : en
Pages : 816
Book Description
This monumental 1995 treatise by the late Professor G. N. Watson wil be indispensable to mathematicians and physicists.
A Treatise on the Theory of Bessel Functions
Author: G. N. Watson
Publisher: Cambridge University Press
ISBN: 9780521483919
Category : Mathematics
Languages : en
Pages : 816
Book Description
This monumental 1995 treatise by the late Professor G. N. Watson wil be indispensable to mathematicians and physicists.
Publisher: Cambridge University Press
ISBN: 9780521483919
Category : Mathematics
Languages : en
Pages : 816
Book Description
This monumental 1995 treatise by the late Professor G. N. Watson wil be indispensable to mathematicians and physicists.
Tools and Algorithms for the Construction and Analysis of Systems
Author: Tiziana Margaria
Publisher: Springer
ISBN: 3540453199
Category : Computers
Languages : en
Pages : 602
Book Description
This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques and tools, implementation techniques, semantics and compositional verification, logics and model checking, and ETAPS tool demonstration.
Publisher: Springer
ISBN: 3540453199
Category : Computers
Languages : en
Pages : 602
Book Description
This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques and tools, implementation techniques, semantics and compositional verification, logics and model checking, and ETAPS tool demonstration.
Pictorial History of the Civil War V2
Author: Benson Lossing
Publisher: Applewood Books
ISBN: 1429020326
Category :
Languages : en
Pages : 648
Book Description
Supreme Court Justice Oliver Wendell Holmes claimed that historian Benson J. Lossing did more than any other man to make history interesting and popular. Lossing wrote his comprehensive three-volume history of the Civil War at a time when the facts were still fresh. Originally published in 1867, Volume Two covers the period immediately following the Battle of Bull Run in the summer of 1861 to the summer of 1863 and the fall of Vicksburg. To research this volume, the author traveled several thousand miles to visit principal battlefields of the war. Lossing accompanies his narratives of marches, battles, and sieges with maps and plans, includes biographical sketches of the prominent people from both sides of the conflict, and illustrates his history with hundreds of drawings and engravings by the author and others.
Publisher: Applewood Books
ISBN: 1429020326
Category :
Languages : en
Pages : 648
Book Description
Supreme Court Justice Oliver Wendell Holmes claimed that historian Benson J. Lossing did more than any other man to make history interesting and popular. Lossing wrote his comprehensive three-volume history of the Civil War at a time when the facts were still fresh. Originally published in 1867, Volume Two covers the period immediately following the Battle of Bull Run in the summer of 1861 to the summer of 1863 and the fall of Vicksburg. To research this volume, the author traveled several thousand miles to visit principal battlefields of the war. Lossing accompanies his narratives of marches, battles, and sieges with maps and plans, includes biographical sketches of the prominent people from both sides of the conflict, and illustrates his history with hundreds of drawings and engravings by the author and others.
Collected Reprints
Author:
Publisher:
ISBN:
Category : Fisheries
Languages : en
Pages : 640
Book Description
Publisher:
ISBN:
Category : Fisheries
Languages : en
Pages : 640
Book Description
Multilinear Algebra
Author: Russell Merris
Publisher: CRC Press
ISBN: 9789056990787
Category : Mathematics
Languages : en
Pages : 344
Book Description
The prototypical multilinear operation is multiplication. Indeed, every multilinear mapping can be factored through a tensor product. Apart from its intrinsic interest, the tensor product is of fundamental importance in a variety of disciplines, ranging from matrix inequalities and group representation theory, to the combinatorics of symmetric functions, and all these subjects appear in this book. Another attraction of multilinear algebra lies in its power to unify such seemingly diverse topics. This is done in the final chapter by means of the rational representations of the full linear group. Arising as characters of these representations, the classical Schur polynomials are one of the keys to unification. Prerequisites for the book are minimized by self-contained introductions in the early chapters. Throughout the text, some of the easier proofs are left to the exercises, and some of the more difficult ones to the references.
Publisher: CRC Press
ISBN: 9789056990787
Category : Mathematics
Languages : en
Pages : 344
Book Description
The prototypical multilinear operation is multiplication. Indeed, every multilinear mapping can be factored through a tensor product. Apart from its intrinsic interest, the tensor product is of fundamental importance in a variety of disciplines, ranging from matrix inequalities and group representation theory, to the combinatorics of symmetric functions, and all these subjects appear in this book. Another attraction of multilinear algebra lies in its power to unify such seemingly diverse topics. This is done in the final chapter by means of the rational representations of the full linear group. Arising as characters of these representations, the classical Schur polynomials are one of the keys to unification. Prerequisites for the book are minimized by self-contained introductions in the early chapters. Throughout the text, some of the easier proofs are left to the exercises, and some of the more difficult ones to the references.
Lectures on Theoretical Physics
Author: Hendrik Antoon Lorentz
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 432
Book Description
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 432
Book Description
Nonlinear Dynamics and Chaos
Author: Steven H. Strogatz
Publisher: CRC Press
ISBN: 0429961111
Category : Mathematics
Languages : en
Pages : 532
Book Description
This textbook is aimed at newcomers to nonlinear dynamics and chaos, especially students taking a first course in the subject. The presentation stresses analytical methods, concrete examples, and geometric intuition. The theory is developed systematically, starting with first-order differential equations and their bifurcations, followed by phase plane analysis, limit cycles and their bifurcations, and culminating with the Lorenz equations, chaos, iterated maps, period doubling, renormalization, fractals, and strange attractors.
Publisher: CRC Press
ISBN: 0429961111
Category : Mathematics
Languages : en
Pages : 532
Book Description
This textbook is aimed at newcomers to nonlinear dynamics and chaos, especially students taking a first course in the subject. The presentation stresses analytical methods, concrete examples, and geometric intuition. The theory is developed systematically, starting with first-order differential equations and their bifurcations, followed by phase plane analysis, limit cycles and their bifurcations, and culminating with the Lorenz equations, chaos, iterated maps, period doubling, renormalization, fractals, and strange attractors.
A Treatise on the Theory of Bessel Functions
Author: George Neville Watson
Publisher:
ISBN:
Category : Bessel functions
Languages : en
Pages : 817
Book Description
Publisher:
ISBN:
Category : Bessel functions
Languages : en
Pages : 817
Book Description
Aerodynamics
Author: Frederick William Lanchester
Publisher:
ISBN:
Category : Aerodynamics
Languages : en
Pages : 540
Book Description
Publisher:
ISBN:
Category : Aerodynamics
Languages : en
Pages : 540
Book Description
Thermodynamics
Author: Stephen R. Turns
Publisher: Cambridge University Press
ISBN: 1316154319
Category : Technology & Engineering
Languages : en
Pages : 765
Book Description
The focus of Thermodynamics: Concepts and Applications is on traditional thermodynamics topics, but structurally the book introduces the thermal-fluid sciences. Chapter 2 includes essentially all material related to thermodynamic properties clearly showing the hierarchy of thermodynamic state relationships. Element conservation is considered in Chapter 3 as a way of expressing conservation of mass. Constant-pressure and volume combustion are considered in Chapter 5 - Energy Conservation. Chemical and phase equilibria are treated as a consequence of the 2nd law in Chapter 6. 2nd law topics are introduced hierarchically in one chapter, important structure for a beginner. The book is designed for the instructor to select topics and combine them with material from other chapters seamlessly. Pedagogical devices include: learning objectives, chapter overviews and summaries, historical perspectives, and numerous examples, questions and problems and lavish illustrations. Students are encouraged to use the National Institute of Science and Technology (NIST) online properties database.
Publisher: Cambridge University Press
ISBN: 1316154319
Category : Technology & Engineering
Languages : en
Pages : 765
Book Description
The focus of Thermodynamics: Concepts and Applications is on traditional thermodynamics topics, but structurally the book introduces the thermal-fluid sciences. Chapter 2 includes essentially all material related to thermodynamic properties clearly showing the hierarchy of thermodynamic state relationships. Element conservation is considered in Chapter 3 as a way of expressing conservation of mass. Constant-pressure and volume combustion are considered in Chapter 5 - Energy Conservation. Chemical and phase equilibria are treated as a consequence of the 2nd law in Chapter 6. 2nd law topics are introduced hierarchically in one chapter, important structure for a beginner. The book is designed for the instructor to select topics and combine them with material from other chapters seamlessly. Pedagogical devices include: learning objectives, chapter overviews and summaries, historical perspectives, and numerous examples, questions and problems and lavish illustrations. Students are encouraged to use the National Institute of Science and Technology (NIST) online properties database.