Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 134
Book Description
Canadian Mathematical Bulletin
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 134
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 134
Book Description
Catalog of Copyright Entries
Author: Library of Congress. Copyright Office
Publisher:
ISBN:
Category : Copyright
Languages : en
Pages : 1426
Book Description
Publisher:
ISBN:
Category : Copyright
Languages : en
Pages : 1426
Book Description
Catalogue of Title-entries of Books and Other Articles Entered in the Office of the Librarian of Congress, at Washington, Under the Copyright Law ... Wherein the Copyright Has Been Completed by the Deposit of Two Copies in the Office
Author: Library of Congress. Copyright Office
Publisher:
ISBN:
Category : American drama
Languages : en
Pages : 1074
Book Description
Publisher:
ISBN:
Category : American drama
Languages : en
Pages : 1074
Book Description
Applied Mechanics Reviews
Author:
Publisher:
ISBN:
Category : Mechanics, Applied
Languages : en
Pages : 620
Book Description
Publisher:
ISBN:
Category : Mechanics, Applied
Languages : en
Pages : 620
Book Description
Retrial Queues
Author: J.G.C. Templeton
Publisher: Taylor & Francis
ISBN: 1351418661
Category : Mathematics
Languages : en
Pages : 344
Book Description
Based on the careful analysis of several hundred publications, this book uniformly describes basic methods of analysis and critical results of the theory of retrial queues. Chapters discuss: analysis of single-server retrial queues, including stationary and transient distribution of the number in the system, busy period, waiting time process, limit theorems, stochastic inequalities, traffic measurement multiserver retrial queues - ergodicity, explicit formulas, algorithmic solutions, limit theorems, approximations advanced single-server and multiserver retrial queues - models with priority subscribers, non-ersistent subscribers, finite source queues Lecturers, researchers, and students in probability, statistics, operations research, telecommunications, and computer systems modeling analysis will find Retrial Queues to be an invaluable resource.
Publisher: Taylor & Francis
ISBN: 1351418661
Category : Mathematics
Languages : en
Pages : 344
Book Description
Based on the careful analysis of several hundred publications, this book uniformly describes basic methods of analysis and critical results of the theory of retrial queues. Chapters discuss: analysis of single-server retrial queues, including stationary and transient distribution of the number in the system, busy period, waiting time process, limit theorems, stochastic inequalities, traffic measurement multiserver retrial queues - ergodicity, explicit formulas, algorithmic solutions, limit theorems, approximations advanced single-server and multiserver retrial queues - models with priority subscribers, non-ersistent subscribers, finite source queues Lecturers, researchers, and students in probability, statistics, operations research, telecommunications, and computer systems modeling analysis will find Retrial Queues to be an invaluable resource.
Interpolation and Definability
Author: Dov M. Gabbay
Publisher: Clarendon Press
ISBN: 019154535X
Category : Mathematics
Languages : en
Pages : 524
Book Description
This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language. Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (second edition), J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2, and David J. Pym and Eike Ritter's Reductive Logic and Proof Search: Proof theory, semantics and control.
Publisher: Clarendon Press
ISBN: 019154535X
Category : Mathematics
Languages : en
Pages : 524
Book Description
This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language. Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (second edition), J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2, and David J. Pym and Eike Ritter's Reductive Logic and Proof Search: Proof theory, semantics and control.
Turing's Legacy
Author: Rod Downey
Publisher: Cambridge University Press
ISBN: 1139916831
Category : Mathematics
Languages : en
Pages : 540
Book Description
Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking effort at Bletchley Park in World War II, he proposed the theoretical foundations of modern computing and anticipated developments in areas from information theory to computer chess. His ideas have been extraordinarily influential in modern mathematics and this book traces such developments by bringing together essays by leading experts in logic, artificial intelligence, computability theory and related areas. Together, they give insight into this fascinating man, the development of modern logic, and the history of ideas. The articles within cover a diverse selection of topics, such as the development of formal proof, differing views on the Church–Turing thesis, the development of combinatorial group theory, and Turing's work on randomness which foresaw the ideas of algorithmic randomness that would emerge many years later.
Publisher: Cambridge University Press
ISBN: 1139916831
Category : Mathematics
Languages : en
Pages : 540
Book Description
Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking effort at Bletchley Park in World War II, he proposed the theoretical foundations of modern computing and anticipated developments in areas from information theory to computer chess. His ideas have been extraordinarily influential in modern mathematics and this book traces such developments by bringing together essays by leading experts in logic, artificial intelligence, computability theory and related areas. Together, they give insight into this fascinating man, the development of modern logic, and the history of ideas. The articles within cover a diverse selection of topics, such as the development of formal proof, differing views on the Church–Turing thesis, the development of combinatorial group theory, and Turing's work on randomness which foresaw the ideas of algorithmic randomness that would emerge many years later.
Use of Mathematical Literature
Author: A.R. Dorling
Publisher: Butterworth-Heinemann
ISBN: 1483164721
Category : Mathematics
Languages : en
Pages : 273
Book Description
Use of Mathematical Literature discusses the bibliographic concerns of mathematical literature. The book is comprised of 14 chapters that cover characteristics of mathematical literature and provide reviews of some of the major literature in various mathematical fields. The text first discusses the role of the literature in mathematics, and then proceeds to tackling major organizations, journals, and reference materials. Next, the book provides critical accounts of the major literature in various mathematical fields, such as combinatorics, topology, and mathematical programming. The book will be of great use to students, practitioners, and researchers of mathematics. Other profession handling math literature, such as teachers, librarians, and translators will also find this book invaluable.
Publisher: Butterworth-Heinemann
ISBN: 1483164721
Category : Mathematics
Languages : en
Pages : 273
Book Description
Use of Mathematical Literature discusses the bibliographic concerns of mathematical literature. The book is comprised of 14 chapters that cover characteristics of mathematical literature and provide reviews of some of the major literature in various mathematical fields. The text first discusses the role of the literature in mathematics, and then proceeds to tackling major organizations, journals, and reference materials. Next, the book provides critical accounts of the major literature in various mathematical fields, such as combinatorics, topology, and mathematical programming. The book will be of great use to students, practitioners, and researchers of mathematics. Other profession handling math literature, such as teachers, librarians, and translators will also find this book invaluable.
Mathematical Theorems
Author: Lyudmila Alexeyeva
Publisher: BoD – Books on Demand
ISBN: 1838800719
Category :
Languages : en
Pages : 149
Book Description
The main content of this book is related to construction of analytical solutions of differential equations and systems of mathematical physics, to development of analytical methods for solving boundary value problems for such equations and the study of properties of their solutions. A wide class of equations (elliptic, parabolic, and hyperbolic) is considered here, on the basis of which complex wave processes in biological and physical media can be simulated.The method of generalized functions presented in the book for solving boundary value problems of mathematical physics is universal for constructing solutions of boundary value problems for systems of linear differential equations with constant coefficients of any type. In the last sections of the book, the issues of calculating functions based on Padé approximations, binomial expansions, and fractal representations are considered. The book is intended for specialists in the field of mathematical and theoretical physics, mechanics and biophysics, students of mechanics, mathematics, physics and biology departments of higher educational institutions.
Publisher: BoD – Books on Demand
ISBN: 1838800719
Category :
Languages : en
Pages : 149
Book Description
The main content of this book is related to construction of analytical solutions of differential equations and systems of mathematical physics, to development of analytical methods for solving boundary value problems for such equations and the study of properties of their solutions. A wide class of equations (elliptic, parabolic, and hyperbolic) is considered here, on the basis of which complex wave processes in biological and physical media can be simulated.The method of generalized functions presented in the book for solving boundary value problems of mathematical physics is universal for constructing solutions of boundary value problems for systems of linear differential equations with constant coefficients of any type. In the last sections of the book, the issues of calculating functions based on Padé approximations, binomial expansions, and fractal representations are considered. The book is intended for specialists in the field of mathematical and theoretical physics, mechanics and biophysics, students of mechanics, mathematics, physics and biology departments of higher educational institutions.
Russian Meteorology and Hydrology
Author:
Publisher:
ISBN:
Category : Hydrology
Languages : en
Pages : 416
Book Description
Publisher:
ISBN:
Category : Hydrology
Languages : en
Pages : 416
Book Description