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.
Differential Algebra & Algebraic Groups
Author:
Publisher: Academic Press
ISBN: 0080873693
Category : Mathematics
Languages : en
Pages : 469
Book Description
Differential Algebra & Algebraic Groups
Publisher: Academic Press
ISBN: 0080873693
Category : Mathematics
Languages : en
Pages : 469
Book Description
Differential Algebra & Algebraic Groups
Theory of Stability of Motion
Author: Ioėlʹ Gilʹevich Malkin
Publisher:
ISBN:
Category : Motion
Languages : en
Pages : 474
Book Description
Publisher:
ISBN:
Category : Motion
Languages : en
Pages : 474
Book Description
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.